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

LC:
 	-1 * num0
	-4 * num2
	= 1
 
LC0:
 	7 * num2
	-8 * num4
	= 3
 
LC0-prime:
 	7 * num2
	-8 * num4
	= 3
 
LC1:
 	14 * num0
	-3 * num3
	= -15
 
LC1-prime:
 	-7 * num2
	8 * num4
	= -3
 
LC2:
 	1 * num1
	-1 * num3
	= -17
 
LC2-prime:
 	1 * num0
	4 * num2
	= -1
 
LC3:
 	-9 * num0
	-20 * num1
	18 * num2
	12 * num3
	= 15
 
LC3-prime:
 	-20 * num0
	-42 * num1
	28 * num2
	26 * num3
	= 66
 
LC4:
 	10 * num0
	-40 * num1
	36 * num2
	18 * num3
	= 0
 
LC4-prime:
 	-19 * num0
	-40 * num1
	32 * num2
	24 * num3
	= 31
 
LC5:
 	-10 * num0
	39 * num1
	-36 * num2
	-17 * num3
	= 17
 
LC5-prime:
 	22 * num0
	-78 * num1
	80 * num2
	34 * num3
	= -36
 
LC6:
 	-8 * num0
	-80 * num1
	72 * num2
	42 * num3
	= 30
 
LC6-prime:
 	35 * num0
	82 * num1
	-76 * num2
	-50 * num3
	= -93
 
