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

LC:
 	-7 * num0
	16 * num1
	8 * num2
	-15 * num3
	-1 * num4
	= -2
 
LC0:
 	4 * num0
	4 * num4
	= -2
 
LC0-prime:
 	-7 * num0
	16 * num1
	8 * num2
	-15 * num3
	-1 * num4
	= -2
 
LC1:
 	2 * num0
	3 * num1
	-6 * num3
	15 * num4
	= -1
 
LC1-prime:
 	12 * num0
	-35 * num1
	-16 * num2
	36 * num3
	-13 * num4
	= 5
 
LC2:
 	8 * num0
	12 * num1
	-15 * num2
	-11 * num3
	2 * num4
	= -5
 
LC2-prime:
 	29 * num0
	11 * num1
	-38 * num2
	-13 * num3
	24 * num4
	= -11
 
LC3:
 	13 * num0
	18 * num3
	5 * num4
	= 1
 
LC3-prime:
 	-4 * num0
	-6 * num1
	15 * num2
	-1 * num3
	28 * num4
	= 3
 
LC4:
 	-34 * num0
	-12 * num1
	15 * num2
	-25 * num3
	-12 * num4
	= 3
 
LC4-prime:
 	95 * num0
	52 * num1
	-37 * num2
	60 * num3
	35 * num4
	= -11
 
LC5:
 	69 * num0
	52 * num1
	-37 * num2
	24 * num3
	25 * num4
	= -13
 
LC5-prime:
 	-116 * num0
	-124 * num1
	43 * num2
	-29 * num3
	-46 * num4
	= 25
 
LC6:
 	34 * num0
	12 * num1
	-15 * num2
	25 * num3
	12 * num4
	= -3
 
LC6-prime:
 	-54 * num0
	-56 * num1
	14 * num2
	-20 * num3
	-22 * num4
	= 10
 
LC7:
 	6 * num0
	-3 * num1
	6 * num3
	-7 * num4
	= -3
 
LC7-prime:
 	208 * num0
	102 * num1
	-120 * num2
	116 * num3
	90 * num4
	= -22
 
