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

LC:
 	-11 * num3
	15 * num4
	= -12
 
LC0:
 	-5 * num1
	-9 * num2
	14 * num3
	= -8
 
LC0-prime:
 	5 * num1
	9 * num2
	8 * num3
	-30 * num4
	= 32
 
LC1:
 	16 * num0
	-1 * num4
	= 6
 
LC1-prime:
 	-10 * num1
	-18 * num2
	50 * num3
	-30 * num4
	= 8
 
