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

LC:
 	-3 * num0
	-18 * num2
	-15 * num3
	= 17
 
LC0:
 	2 * num0
	-6 * num1
	-1 * num2
	3 * num3
	-15 * num4
	= -4
 
LC0-prime:
 	-1 * num0
	12 * num1
	20 * num2
	9 * num3
	30 * num4
	= -9
 
LC1:
 	8 * num0
	-6 * num1
	7 * num2
	13 * num3
	-19 * num4
	= 19
 
LC1-prime:
 	-6 * num0
	-8 * num2
	-10 * num3
	4 * num4
	= -23
 
LC2:
 	19 * num1
	-19 * num2
	19 * num4
	= 2
 
LC2-prime:
 	-11 * num0
	-13 * num1
	-6 * num2
	-28 * num3
	= -4
 
LC3:
 	-16 * num0
	19 * num2
	15 * num3
	= -7
 
LC3-prime:
 	19 * num0
	19 * num1
	-20 * num2
	19 * num4
	= -8
 
LC4:
 	8 * num0
	44 * num1
	-64 * num2
	-28 * num3
	57 * num4
	= -8
 
LC4-prime:
 	-37 * num0
	-44 * num1
	120 * num2
	73 * num3
	-57 * num4
	= -23
 
LC5:
 	-16 * num0
	12 * num1
	-14 * num2
	-26 * num3
	38 * num4
	= -38
 
LC5-prime:
 	-3 * num0
	-18 * num2
	-15 * num3
	= 17
 
