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

LC:
 	8 * num3
	6 * num4
	= 6
 
LC0:
 	-14 * num0
	3 * num1
	6 * num2
	-4 * num3
	-1 * num4
	= -17
 
LC0-prime:
 	-14 * num0
	3 * num1
	6 * num2
	-4 * num3
	-1 * num4
	= -17
 
LC1:
 	-16 * num3
	10 * num4
	= -17
 
LC1-prime:
 	-14 * num0
	3 * num1
	6 * num2
	-20 * num3
	-13 * num4
	= -29
 
LC2:
 	-20 * num0
	-5 * num1
	19 * num2
	18 * num3
	= -4
 
LC2-prime:
 	48 * num0
	-1 * num1
	-31 * num2
	-18 * num3
	18 * num4
	= 27
 
