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

LC:
 	-8 * num0
	10 * num2
	= -18
 
LC0:
 	18 * num0
	8 * num1
	-2 * num2
	= -20
 
LC0-prime:
 	-28 * num0
	-16 * num1
	-6 * num2
	= 58
 
LC1:
 	5 * num1
	8 * num3
	= -13
 
LC1-prime:
 	-5 * num1
	-8 * num3
	= 13
 
LC2:
 	5 * num2
	15 * num4
	= -1
 
LC2-prime:
 	-18 * num0
	-13 * num1
	7 * num2
	-8 * num3
	15 * num4
	= 32
 
LC3:
 	3 * num1
	-8 * num2
	= 17
 
LC3-prime:
 	34 * num0
	24 * num1
	-43 * num2
	16 * num3
	-15 * num4
	= 25
 
