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

LC:
 	-10 * num0
	15 * num1
	-19 * num2
	19 * num3
	6 * num4
	= -7
 
LC0:
 	-4 * num1
	-13 * num2
	-2 * num3
	= -18
 
LC0-prime:
 	20 * num0
	-34 * num1
	25 * num2
	-40 * num3
	-12 * num4
	= -4
 
