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

LC:
 	4 * num1
	-7 * num3
	3 * num4
	= -20
 
LC0:
 	-15 * num0
	-1 * num4
	= -11
 
LC0-prime:
 	-30 * num0
	-8 * num1
	14 * num3
	-8 * num4
	= 18
 
LC1:
 	-10 * num0
	-4 * num1
	-17 * num2
	-16 * num4
	= 14
 
LC1-prime:
 	10 * num0
	-16 * num1
	-34 * num2
	14 * num3
	-36 * num4
	= 90
 
LC2:
 	3 * num0
	7 * num3
	= 8
 
LC2-prime:
 	-24 * num0
	-8 * num1
	28 * num3
	-8 * num4
	= 34
 
LC3:
 	-13 * num0
	-12 * num3
	-6 * num4
	= 6
 
LC3-prime:
 	-33 * num0
	-8 * num1
	-34 * num2
	-12 * num3
	-38 * num4
	= 34
 
LC4:
 	3 * num0
	-8 * num1
	21 * num3
	-6 * num4
	= 48
 
LC4-prime:
 	19 * num0
	-12 * num1
	47 * num3
	-3 * num4
	= 70
 
LC5:
 	-4 * num0
	-20 * num1
	-17 * num2
	42 * num3
	-28 * num4
	= 110
 
LC5-prime:
 	-5 * num0
	-56 * num1
	-34 * num2
	119 * num3
	-68 * num4
	= 308
 
LC6:
 	20 * num1
	-35 * num3
	15 * num4
	= -100
 
LC6-prime:
 	-7 * num0
	-60 * num1
	-17 * num2
	105 * num3
	-58 * num4
	= 302
 
LC7:
 	-26 * num0
	20 * num1
	17 * num2
	-42 * num3
	26 * num4
	= -132
 
LC7-prime:
 	-34 * num0
	-4 * num1
	-17 * num2
	14 * num3
	-18 * num4
	= 8
 
LC8:
 	-3 * num0
	-8 * num1
	7 * num3
	-6 * num4
	= 32
 
LC8-prime:
 	-55 * num0
	52 * num1
	34 * num2
	-112 * num3
	61 * num4
	= -332
 
LC9:
 	20 * num0
	8 * num1
	34 * num2
	32 * num4
	= -28
 
LC9-prime:
 	72 * num0
	-40 * num1
	98 * num3
	-26 * num4
	= 276
 
