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

LC:
 	7 * num0
	-7 * num4
	= 14
 
LC0:
 	-6 * num0
	-9 * num3
	-14 * num4
	= -7
 
LC0-prime:
 	1 * num0
	-9 * num3
	-21 * num4
	= 7
 
LC1:
 	-13 * num1
	-1 * num2
	= 2
 
LC1-prime:
 	-2 * num0
	13 * num1
	1 * num2
	18 * num3
	42 * num4
	= -16
 
LC2:
 	-5 * num2
	5 * num4
	= -13
 
LC2-prime:
 	-14 * num0
	-13 * num1
	9 * num2
	4 * num4
	= 0
 
LC3:
 	-13 * num0
	4 * num3
	= 16
 
LC3-prime:
 	20 * num0
	-5 * num2
	-4 * num3
	-2 * num4
	= -15
 
LC4:
 	-7 * num0
	26 * num1
	7 * num2
	2 * num4
	= -5
 
LC4-prime:
 	-13 * num0
	-52 * num1
	-14 * num2
	4 * num3
	10 * num4
	= -2
 
LC5:
 	-14 * num0
	26 * num1
	2 * num2
	14 * num4
	= -32
 
LC5-prime:
 	7 * num0
	-26 * num1
	3 * num2
	-12 * num4
	= 31
 
LC6:
 	-15 * num0
	78 * num1
	6 * num2
	-4 * num3
	28 * num4
	= -84
 
LC6-prime:
 	9 * num0
	-104 * num1
	-8 * num2
	8 * num3
	-35 * num4
	= 118
 
LC7:
 	-54 * num0
	104 * num1
	18 * num2
	-18 * num3
	4 * num4
	= -88
 
LC7-prime:
 	94 * num0
	-208 * num1
	-36 * num2
	36 * num3
	6 * num4
	= 148
 
