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

LC:
 	17 * num0
	9 * num1
	-2 * num3
	10 * num4
	= -6
 
LC0:
 	-16 * num1
	4 * num2
	-1 * num3
	= -4
 
LC0-prime:
 	16 * num1
	-4 * num2
	1 * num3
	= 4
 
LC1:
 	18 * num0
	-9 * num1
	7 * num3
	= -20
 
LC1-prime:
 	19 * num0
	-27 * num1
	16 * num3
	-10 * num4
	= -34
 
LC2:
 	-4 * num0
	-1 * num1
	14 * num2
	-17 * num4
	= -2
 
LC2-prime:
 	23 * num0
	-58 * num1
	-6 * num2
	14 * num3
	7 * num4
	= -40
 
EQ0:
    1 * num0
    -1 * num1
    = 0

EQ1:
    1 * num1
    -1 * num2
    = 0

EQ2:
    1 * num2
    -1 * num3
    = 0

EQ3:
    1 * num3
    -1 * num4
    = 0