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

LC:
 	9 * num3
	-16 * num4
	= -2
 
LC0:
 	-1 * num0
	14 * num2
	19 * num3
	3 * num4
	= 4
 
LC0-prime:
 	-2 * num0
	28 * num2
	65 * num3
	-42 * num4
	= 2
 
LC1:
 	7 * num0
	-10 * num1
	-1 * num2
	10 * num3
	-6 * num4
	= -17
 
LC1-prime:
 	-9 * num3
	16 * num4
	= 2
 
