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

LC:
 	-18 * num0
	3 * num1
	-1 * num2
	3 * num3
	= 17
 
LC0:
 	-19 * num1
	5 * num2
	= 10
 
LC0-prime:
 	18 * num0
	-3 * num1
	1 * num2
	-3 * num3
	= -17
 
