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

LC:
 	-19 * num0
	-16 * num2
	14 * num3
	-2 * num4
	= 3
 
LC0:
 	14 * num0
	11 * num1
	-17 * num2
	-7 * num3
	-2 * num4
	= 4
 
LC0-prime:
 	76 * num0
	64 * num2
	-56 * num3
	8 * num4
	= -12
 
LC1:
 	15 * num0
	-7 * num1
	14 * num2
	-19 * num3
	1 * num4
	= -12
 
LC1-prime:
 	-22 * num0
	-25 * num1
	13 * num2
	-3 * num3
	= -22
 
