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

LC:
 	-12 * num0
	16 * num2
	-13 * num4
	= 10
 
LC0:
 	-10 * num0
	13 * num1
	-2 * num2
	2 * num3
	-16 * num4
	= 11
 
LC0-prime:
 	22 * num0
	-13 * num1
	-14 * num2
	-2 * num3
	29 * num4
	= -21
 
LC1:
 	14 * num0
	10 * num1
	-3 * num2
	3 * num4
	= 6
 
LC1-prime:
 	-12 * num0
	3 * num1
	-15 * num2
	2 * num3
	-6 * num4
	= -5
 
LC2:
 	-18 * num0
	-7 * num3
	= -20
 
LC2-prime:
 	30 * num0
	-16 * num2
	7 * num3
	13 * num4
	= 10
 
LC3:
 	-5 * num0
	16 * num1
	17 * num3
	18 * num4
	= -14
 
LC3-prime:
 	-18 * num0
	-7 * num3
	= -20
 
LC4:
 	-40 * num0
	-26 * num1
	36 * num2
	-18 * num3
	6 * num4
	= -42
 
LC4-prime:
 	94 * num0
	84 * num1
	-104 * num2
	70 * num3
	50 * num4
	= 36
 
LC5:
 	-40 * num0
	-26 * num1
	36 * num2
	-18 * num3
	6 * num4
	= -42
 
LC5-prime:
 	-12 * num0
	16 * num2
	-13 * num4
	= 10
 
LC6:
 	-42 * num0
	-64 * num1
	66 * num2
	-70 * num3
	-18 * num4
	= -44
 
LC6-prime:
 	-22 * num0
	38 * num1
	2 * num2
	52 * num3
	-2 * num4
	= 22
 
LC7:
 	52 * num0
	51 * num1
	-64 * num2
	68 * num3
	34 * num4
	= 33
 
LC7-prime:
 	-8 * num0
	-77 * num1
	36 * num2
	-72 * num3
	24 * num4
	= -75
 
LC8:
 	-84 * num0
	-128 * num1
	132 * num2
	-140 * num3
	-36 * num4
	= -88
 
LC8-prime:
 	192 * num0
	256 * num1
	-296 * num2
	280 * num3
	98 * num4
	= 156
 
