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

LC:
 	-16 * num0
	-1 * num3
	-16 * num4
	= 8
 
LC0:
 	10 * num2
	10 * num4
	= 1
 
LC0-prime:
 	16 * num0
	-20 * num2
	1 * num3
	-4 * num4
	= -10
 
LC1:
 	-17 * num0
	10 * num2
	4 * num3
	13 * num4
	= 1
 
LC1-prime:
 	-50 * num0
	7 * num3
	-10 * num4
	= 8
 
