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

LC:
 	-3 * num0
	-14 * num3
	= 6
 
LC0:
 	2 * num0
	11 * num1
	-16 * num2
	7 * num3
	-2 * num4
	= -13
 
LC0-prime:
 	4 * num0
	-11 * num1
	16 * num2
	21 * num3
	2 * num4
	= 1
 
LC1:
 	-15 * num0
	-4 * num1
	8 * num2
	= 17
 
LC1-prime:
 	-18 * num0
	-4 * num1
	8 * num2
	-14 * num3
	= 23
 
LC2:
 	-17 * num1
	15 * num2
	-13 * num4
	= 6
 
LC2-prime:
 	33 * num0
	-26 * num1
	14 * num2
	14 * num3
	-26 * num4
	= -28
 
LC3:
 	-10 * num0
	-6 * num2
	= -11
 
LC3-prime:
 	4 * num0
	34 * num1
	-24 * num2
	-28 * num3
	26 * num4
	= 11
 
LC4:
 	-7 * num0
	12 * num1
	2 * num2
	-28 * num3
	30 * num4
	= 20
 
LC4-prime:
 	-7 * num0
	-12 * num1
	-14 * num2
	56 * num3
	-30 * num4
	= -54
 
LC5:
 	27 * num0
	-29 * num1
	25 * num2
	28 * num3
	-43 * num4
	= 8
 
LC5-prime:
 	-3 * num0
	-14 * num3
	= 6
 
LC6:
 	27 * num0
	-29 * num1
	25 * num2
	28 * num3
	-43 * num4
	= 8
 
LC6-prime:
 	105 * num0
	-116 * num1
	100 * num2
	98 * num3
	-172 * num4
	= 38
 
LC7:
 	7 * num0
	-12 * num1
	-2 * num2
	28 * num3
	-30 * num4
	= -20
 
LC7-prime:
 	44 * num0
	-53 * num1
	21 * num2
	98 * num3
	-103 * num4
	= -38
 
LC8:
 	-27 * num0
	-42 * num1
	46 * num2
	14 * num3
	-26 * num4
	= 40
 
LC8-prime:
 	46 * num0
	108 * num1
	-88 * num2
	-56 * num3
	112 * num4
	= -52
 
LC9:
 	-48 * num0
	58 * num1
	-50 * num2
	-28 * num3
	86 * num4
	= -28
 
LC9-prime:
 	-3 * num0
	-14 * num3
	= 6
 
