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

LC:
 	6 * num0
	-7 * num2
	-4 * num4
	= 3
 
LC0:
 	19 * num0
	11 * num1
	-3 * num2
	11 * num3
	19 * num4
	= 3
 
LC0-prime:
 	13 * num0
	11 * num1
	4 * num2
	11 * num3
	23 * num4
	= 0
 
LC1:
 	-1 * num1
	12 * num3
	17 * num4
	= 15
 
LC1-prime:
 	31 * num0
	9 * num1
	-17 * num2
	35 * num3
	45 * num4
	= 39
 
LC2:
 	5 * num1
	15 * num2
	-4 * num3
	-6 * num4
	= 13
 
LC2-prime:
 	44 * num0
	29 * num1
	2 * num2
	-6 * num3
	-6 * num4
	= -8
 
LC3:
 	20 * num0
	18 * num1
	-8 * num2
	13 * num3
	-18 * num4
	= -1
 
LC3-prime:
 	-28 * num0
	-38 * num1
	2 * num2
	-2 * num3
	62 * num4
	= 38
 
LC4:
 	90 * num0
	58 * num1
	-36 * num2
	48 * num3
	-6 * num4
	= 10
 
LC4-prime:
 	191 * num0
	115 * num1
	-66 * num2
	78 * num3
	-6 * num4
	= 28
 
