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

LC:
 	14 * num0
	-3 * num3
	9 * num4
	= 1
 
LC0:
 	-20 * num0
	13 * num1
	4 * num2
	3 * num3
	-8 * num4
	= 8
 
LC0-prime:
 	-14 * num0
	3 * num3
	-9 * num4
	= -1
 
LC1:
 	12 * num2
	4 * num3
	= 10
 
LC1-prime:
 	-26 * num0
	26 * num1
	-4 * num2
	-1 * num3
	-7 * num4
	= 7
 
LC2:
 	19 * num0
	9 * num1
	-14 * num2
	19 * num4
	= 20
 
LC2-prime:
 	-9 * num0
	9 * num1
	-2 * num2
	10 * num3
	1 * num4
	= 28
 
LC3:
 	6 * num0
	5 * num1
	17 * num2
	14 * num3
	-13 * num4
	= -4
 
LC3-prime:
 	1 * num0
	-4 * num1
	31 * num2
	11 * num3
	-23 * num4
	= -23
 
LC4:
 	-39 * num0
	4 * num1
	6 * num2
	-1 * num3
	-27 * num4
	= -22
 
LC4-prime:
 	20 * num0
	5 * num1
	17 * num2
	11 * num3
	-4 * num4
	= -3
 
LC5:
 	90 * num0
	2 * num1
	-2 * num2
	22 * num3
	28 * num4
	= 16
 
LC5-prime:
 	244 * num0
	-4 * num1
	-16 * num2
	49 * num3
	101 * num4
	= 75
 
