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

LC:
 	-1 * num0
	9 * num1
	-10 * num2
	-2 * num3
	-1 * num4
	= -10
 
LC0:
 	-1 * num0
	15 * num1
	10 * num2
	3 * num3
	1 * num4
	= -13
 
LC0-prime:
 	4 * num0
	-48 * num1
	-2 * num3
	= 46
 
LC1:
 	5 * num0
	-17 * num2
	-10 * num3
	16 * num4
	= -11
 
LC1-prime:
 	13 * num0
	-33 * num1
	-24 * num2
	-19 * num3
	33 * num4
	= 11
 
LC2:
 	-10 * num0
	-2 * num1
	-1 * num2
	11 * num4
	= -11
 
LC2-prime:
 	-14 * num0
	-19 * num1
	-29 * num2
	-13 * num3
	37 * num4
	= -20
 
LC3:
 	4 * num1
	-10 * num3
	7 * num4
	= -4
 
LC3-prime:
 	-14 * num0
	-19 * num1
	26 * num2
	32 * num3
	-18 * num4
	= 18
 
LC4:
 	-10 * num0
	-2 * num1
	-1 * num2
	11 * num4
	= -11
 
LC4-prime:
 	9 * num0
	19 * num1
	31 * num2
	18 * num3
	-15 * num4
	= -1
 
LC5:
 	-12 * num0
	28 * num1
	19 * num2
	6 * num3
	13 * num4
	= -37
 
LC5-prime:
 	-1 * num0
	-70 * num1
	-43 * num2
	3 * num3
	-29 * num4
	= 70
 
