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

LC:
 	11 * num0
	14 * num1
	3 * num2
	11 * num3
	-20 * num4
	= 5
 
LC0:
 	8 * num0
	10 * num1
	5 * num2
	18 * num3
	-7 * num4
	= 1
 
LC0-prime:
 	-11 * num0
	-14 * num1
	-3 * num2
	-11 * num3
	20 * num4
	= -5
 
