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

LC:
 	-7 * num0
	17 * num1
	2 * num3
	-16 * num4
	= -18
 
LC0:
 	16 * num1
	9 * num4
	= 9
 
LC0-prime:
 	28 * num0
	-84 * num1
	-8 * num3
	55 * num4
	= 63
 
LC1:
 	15 * num0
	-14 * num2
	16 * num3
	-1 * num4
	= 8
 
LC1-prime:
 	-30 * num0
	28 * num2
	-32 * num3
	2 * num4
	= -16
 
LC2:
 	12 * num0
	3 * num4
	= -19
 
LC2-prime:
 	-16 * num0
	-34 * num1
	28 * num2
	-36 * num3
	34 * num4
	= 20
 
LC3:
 	17 * num0
	17 * num1
	16 * num2
	14 * num3
	-5 * num4
	= -8
 
LC3-prime:
 	-60 * num0
	-32 * num2
	-24 * num3
	-25 * num4
	= -1
 
LC4:
 	24 * num0
	-32 * num1
	16 * num2
	12 * num3
	-7 * num4
	= -8
 
LC4-prime:
 	17 * num0
	17 * num1
	16 * num2
	14 * num3
	-5 * num4
	= -8
 
LC5:
 	-33 * num0
	-51 * num1
	12 * num2
	-50 * num3
	39 * num4
	= 28
 
LC5-prime:
 	-32 * num0
	-132 * num1
	56 * num2
	-72 * num3
	32 * num4
	= 4
 
LC6:
 	90 * num0
	102 * num1
	-24 * num2
	100 * num3
	-72 * num4
	= -94
 
LC6-prime:
 	71 * num0
	17 * num1
	-12 * num2
	46 * num3
	-1 * num4
	= -30
 
LC7:
 	10 * num0
	34 * num1
	4 * num3
	-26 * num4
	= -74
 
LC7-prime:
 	-103 * num0
	-187 * num1
	24 * num2
	-110 * num3
	140 * num4
	= 260
 
LC8:
 	-7 * num0
	49 * num1
	2 * num3
	2 * num4
	= 0
 
LC8-prime:
 	-11 * num0
	117 * num1
	10 * num3
	-56 * num4
	= -110
 
LC9:
 	-22 * num0
	17 * num1
	14 * num2
	-14 * num3
	-15 * num4
	= -26
 
LC9-prime:
 	15 * num0
	32 * num1
	-14 * num2
	16 * num3
	17 * num4
	= 26
 
