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

LC:
 	-14 * num0
	-12 * num1
	6 * num2
	6 * num3
	2 * num4
	= 9
 
LC0:
 	1 * num1
	-18 * num4
	= -13
 
LC0-prime:
 	28 * num0
	22 * num1
	-12 * num2
	-12 * num3
	32 * num4
	= 8
 
LC1:
 	-14 * num2
	14 * num3
	= 6
 
LC1-prime:
 	14 * num0
	10 * num1
	-34 * num2
	22 * num3
	34 * num4
	= 29
 
LC2:
 	-13 * num2
	-14 * num3
	= 19
 
LC2-prime:
 	-14 * num0
	-14 * num1
	46 * num2
	20 * num3
	38 * num4
	= -9
 
EQ0:
    1 * num0
    -1 * num1
    = 0

EQ1:
    1 * num1
    -1 * num2
    = 0

EQ2:
    1 * num2
    -1 * num3
    = 0

EQ3:
    1 * num3
    -1 * num4
    = 0