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

LC:
 	14 * num0
	-15 * num2
	19 * num3
	-16 * num4
	= -9
 
LC0:
 	16 * num0
	14 * num3
	= 4
 
LC0-prime:
 	12 * num0
	-30 * num2
	24 * num3
	-32 * num4
	= -22
 
