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

LC:
 	13 * num0
	-17 * num1
	-2 * num4
	= -9
 
LC0:
 	3 * num2
	7 * num3
	2 * num4
	= -8
 
LC0-prime:
 	39 * num0
	-51 * num1
	-3 * num2
	-7 * num3
	-8 * num4
	= -19
 
