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

LC:
 	13 * num0
	11 * num1
	-15 * num2
	-3 * num4
	= -11
 
LC0:
 	-9 * num0
	-8 * num4
	= 3
 
LC0-prime:
 	31 * num0
	11 * num1
	-15 * num2
	13 * num4
	= -17
 
LC1:
 	11 * num0
	10 * num1
	-18 * num2
	-17 * num3
	5 * num4
	= 13
 
LC1-prime:
 	8 * num0
	22 * num1
	-30 * num2
	-22 * num4
	= -16
 
LC2:
 	5 * num1
	-17 * num3
	-5 * num4
	= -9
 
LC2-prime:
 	-5 * num0
	-3 * num1
	6 * num2
	51 * num3
	-19 * num4
	= -36
 
LC3:
 	-2 * num0
	10 * num1
	-10 * num2
	-16 * num4
	= -8
 
LC3-prime:
 	31 * num0
	41 * num1
	-71 * num2
	-15 * num4
	= 17
 
LC4:
 	-6 * num0
	10 * num1
	-2 * num2
	17 * num3
	-29 * num4
	= -32
 
LC4-prime:
 	42 * num0
	-8 * num1
	-6 * num2
	-68 * num3
	74 * num4
	= 40
 
LC5:
 	-21 * num0
	24 * num2
	51 * num3
	-47 * num4
	= -69
 
LC5-prime:
 	-18 * num0
	12 * num1
	36 * num2
	119 * num3
	-97 * num4
	= -176
 
LC6:
 	-47 * num0
	-11 * num1
	47 * num2
	68 * num3
	-65 * num4
	= -79
 
LC6-prime:
 	-56 * num0
	-31 * num1
	75 * num2
	85 * num3
	-54 * num4
	= -84
 
