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

LC:
 	20 * num0
	-3 * num1
	2 * num2
	13 * num3
	= -3
 
LC0:
 	4 * num1
	13 * num2
	6 * num4
	= -16
 
LC0-prime:
 	-40 * num0
	14 * num1
	22 * num2
	-26 * num3
	12 * num4
	= -26
 
