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

LC:
 	6 * num0
	-13 * num2
	-18 * num3
	10 * num4
	= -3
 
LC0:
 	-9 * num0
	-4 * num1
	9 * num2
	18 * num3
	= 3
 
LC0-prime:
 	6 * num0
	-13 * num2
	-18 * num3
	10 * num4
	= -3
 
LC1:
 	-5 * num0
	-14 * num1
	5 * num2
	18 * num3
	= -7
 
LC1-prime:
 	13 * num0
	24 * num1
	-27 * num2
	-54 * num3
	20 * num4
	= 11
 
LC2:
 	-12 * num0
	-20 * num2
	-14 * num3
	-13 * num4
	= 4
 
LC2-prime:
 	4 * num0
	28 * num1
	-43 * num2
	-68 * num3
	-3 * num4
	= 15
 
