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

LC:
 	-2 * num0
	15 * num1
	14 * num2
	-20 * num3
	18 * num4
	= -13
 
LC0:
 	9 * num0
	8 * num1
	-15 * num2
	-8 * num3
	4 * num4
	= -8
 
LC0-prime:
 	16 * num0
	31 * num1
	-16 * num2
	-36 * num3
	26 * num4
	= -29
 
LC1:
 	-10 * num2
	1 * num4
	= 7
 
LC1-prime:
 	-11 * num0
	7 * num1
	9 * num2
	-12 * num3
	16 * num4
	= 9
 
LC2:
 	-10 * num0
	3 * num1
	3 * num2
	-20 * num3
	5 * num4
	= 18
 
LC2-prime:
 	-19 * num0
	-5 * num1
	-2 * num2
	-12 * num3
	3 * num4
	= 40
 
LC3:
 	-17 * num0
	-3 * num1
	18 * num2
	14 * num3
	7 * num4
	= -17
 
LC3-prime:
 	-18 * num0
	-9 * num1
	-8 * num2
	-20 * num3
	-8 * num4
	= 49
 
LC4:
 	11 * num0
	-14 * num1
	-1 * num2
	48 * num3
	-13 * num4
	= -21
 
LC4-prime:
 	-29 * num0
	-47 * num1
	10 * num2
	96 * num3
	-30 * num4
	= -11
 
LC5:
 	25 * num0
	5 * num1
	-49 * num2
	-56 * num3
	-19 * num4
	= 68
 
LC5-prime:
 	-48 * num0
	37 * num1
	109 * num2
	10 * num3
	80 * num4
	= -124
 
LC6:
 	-59 * num0
	-18 * num1
	103 * num2
	120 * num3
	35 * num4
	= -121
 
LC6-prime:
 	-35 * num0
	50 * num1
	35 * num2
	-128 * num3
	59 * num4
	= 31
 
LC7:
 	-37 * num0
	-46 * num1
	101 * num2
	216 * num3
	9 * num4
	= -163
 
LC7-prime:
 	-33 * num0
	49 * num1
	-15 * num2
	-180 * num3
	37 * num4
	= 82
 
LC8:
 	87 * num0
	56 * num1
	-189 * num2
	-328 * num3
	-48 * num4
	= 292
 
LC8-prime:
 	-76 * num0
	-63 * num1
	160 * num2
	340 * num3
	34 * num4
	= -287
 
LC9:
 	-31 * num0
	20 * num1
	17 * num2
	-88 * num3
	22 * num4
	= 50
 
LC9-prime:
 	-137 * num0
	-66 * num1
	277 * num2
	440 * num3
	87 * num4
	= -421
 
