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

LC:
 	10 * num1
	-1 * num3
	= -7
 
LC0:
 	-12 * num3
	-3 * num4
	= 7
 
LC0-prime:
 	10 * num1
	23 * num3
	6 * num4
	= -21
 
LC1:
 	-6 * num0
	-4 * num1
	4 * num2
	4 * num3
	-1 * num4
	= -13
 
LC1-prime:
 	-12 * num3
	-3 * num4
	= 7
 
