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

LC:
 	-11 * num0
	-10 * num1
	7 * num2
	-16 * num4
	= -13
 
LC0:
 	-18 * num0
	18 * num1
	-17 * num2
	= -17
 
LC0-prime:
 	7 * num0
	-28 * num1
	24 * num2
	-16 * num4
	= 4
 
LC1:
 	-13 * num0
	-12 * num1
	9 * num2
	-16 * num3
	9 * num4
	= -6
 
LC1-prime:
 	-2 * num0
	-2 * num1
	2 * num2
	-16 * num3
	25 * num4
	= 7
 
LC2:
 	9 * num0
	-17 * num1
	8 * num2
	-2 * num3
	-11 * num4
	= 1
 
LC2-prime:
 	-31 * num0
	22 * num1
	-7 * num2
	-12 * num3
	31 * num4
	= -8
 
LC3:
 	3 * num0
	-14 * num1
	13 * num2
	-7 * num3
	-6 * num4
	= 11
 
LC3-prime:
 	34 * num0
	-4 * num1
	4 * num2
	46 * num3
	-38 * num4
	= -2
 
LC4:
 	-7 * num0
	44 * num1
	-23 * num2
	4 * num3
	38 * num4
	= 11
 
LC4-prime:
 	44 * num0
	-37 * num1
	27 * num2
	21 * num3
	-30 * num4
	= 17
 
