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

LC:
 	16 * num0
	-6 * num1
	-16 * num2
	12 * num3
	20 * num4
	= 6
 
LC0:
 	-10 * num0
	-20 * num1
	18 * num2
	18 * num3
	= -6
 
LC0-prime:
 	-4 * num0
	-46 * num1
	20 * num2
	48 * num3
	20 * num4
	= -6
 
LC1:
 	-14 * num0
	20 * num2
	-18 * num3
	-2 * num4
	= 3
 
LC1-prime:
 	-22 * num0
	32 * num1
	14 * num2
	-42 * num3
	-40 * num4
	= -6
 
LC2:
 	-8 * num0
	-14 * num1
	-11 * num2
	-17 * num3
	-20 * num4
	= 18
 
LC2-prime:
 	10 * num0
	-34 * num1
	-33 * num2
	37 * num3
	-16 * num4
	= 6
 
LC3:
 	16 * num1
	-8 * num3
	= 6
 
LC3-prime:
 	32 * num0
	22 * num1
	6 * num2
	46 * num3
	60 * num4
	= -30
 
LC4:
 	28 * num0
	16 * num1
	-40 * num2
	28 * num3
	4 * num4
	= 0
 
LC4-prime:
 	-24 * num0
	-8 * num1
	5 * num2
	-29 * num3
	-40 * num4
	= 12
 
LC5:
 	-36 * num0
	-14 * num1
	29 * num2
	-53 * num3
	-24 * num4
	= 24
 
LC5-prime:
 	28 * num0
	-40 * num2
	36 * num3
	4 * num4
	= -6
 
LC6:
 	-40 * num0
	-60 * num1
	49 * num2
	-5 * num3
	-4 * num4
	= 18
 
LC6-prime:
 	56 * num0
	34 * num1
	-42 * num2
	94 * num3
	28 * num4
	= -54
 
LC7:
 	64 * num0
	60 * num1
	-120 * num2
	-8 * num3
	-32 * num4
	= -12
 
LC7-prime:
 	-172 * num0
	-122 * num1
	230 * num2
	-74 * num3
	-36 * num4
	= 42
 
