PREFIX : <http://www.semanticweb.org/alisa/ontologies/2023/concrete-domain/artificial#> 

LC:
 	19 * num0
	20 * num1
	3 * num2
	-2 * num3
	= -16
 
LC0:
 	-14 * num0
	13 * num2
	-1 * num3
	-12 * num4
	= 6
 
LC0-prime:
 	71 * num0
	60 * num1
	-4 * num2
	-5 * num3
	12 * num4
	= -54
 
LC1:
 	14 * num0
	8 * num1
	18 * num2
	-7 * num3
	-11 * num4
	= -3
 
LC1-prime:
 	-56 * num0
	-16 * num1
	-10 * num2
	12 * num3
	-2 * num4
	= 18
 
LC2:
 	7 * num1
	-4 * num2
	-2 * num4
	= 1
 
LC2-prime:
 	38 * num0
	33 * num1
	10 * num2
	-4 * num3
	2 * num4
	= -33
 
LC3:
 	6 * num1
	-7 * num2
	7 * num3
	-13 * num4
	= -18
 
LC3-prime:
 	-24 * num0
	-18 * num1
	4 * num2
	-3 * num3
	-15 * num4
	= 31
 
LC4:
 	-28 * num0
	-23 * num1
	-32 * num2
	14 * num3
	24 * num4
	= 5
 
LC4-prime:
 	-47 * num0
	-24 * num1
	-53 * num2
	30 * num3
	-4 * num4
	= -14
 
LC5:
 	14 * num0
	2 * num1
	25 * num2
	-14 * num3
	2 * num4
	= 15
 
LC5-prime:
 	23 * num0
	17 * num1
	40 * num2
	-12 * num3
	-48 * num4
	= -10
 
LC6:
 	37 * num0
	26 * num1
	61 * num2
	-26 * num3
	-48 * num4
	= 6
 
LC6-prime:
 	-18 * num0
	13 * num1
	-76 * num2
	38 * num3
	20 * num4
	= -57
 
LC7:
 	-1 * num0
	-14 * num1
	55 * num2
	-22 * num3
	-48 * num4
	= 38
 
LC7-prime:
 	20 * num0
	-18 * num1
	201 * num2
	-78 * num3
	-194 * num4
	= 105
 
