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

LC:
 	17 * num0
	6 * num2
	= 14
 
LC0:
 	-8 * num0
	-11 * num1
	8 * num2
	19 * num3
	2 * num4
	= -7
 
LC0-prime:
 	-33 * num0
	-22 * num1
	10 * num2
	38 * num3
	4 * num4
	= -28
 
LC1:
 	-9 * num0
	17 * num1
	16 * num2
	8 * num4
	= -13
 
LC1-prime:
 	-8 * num0
	-11 * num1
	8 * num2
	19 * num3
	2 * num4
	= -7
 
LC2:
 	10 * num0
	16 * num1
	3 * num2
	-13 * num3
	-5 * num4
	= -3
 
LC2-prime:
 	-35 * num0
	-27 * num1
	-1 * num2
	32 * num3
	7 * num4
	= -18
 
