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

LC:
 	-7 * num2
	18 * num3
	-17 * num4
	= -17
 
LC0:
 	-2 * num3
	-19 * num4
	= 7
 
LC0-prime:
 	7 * num2
	-18 * num3
	17 * num4
	= 17
 
LC1:
 	-9 * num2
	-17 * num3
	= -5
 
LC1-prime:
 	-14 * num2
	40 * num3
	4 * num4
	= -48
 
LC2:
 	12 * num0
	5 * num1
	18 * num2
	-20 * num3
	12 * num4
	= -12
 
LC2-prime:
 	12 * num0
	5 * num1
	32 * num2
	-52 * num3
	84 * num4
	= 8
 
EQ0:
    1 * num0
    -1 * num1
    = 0

EQ1:
    1 * num1
    -1 * num2
    = 0

EQ2:
    1 * num2
    -1 * num3
    = 0

EQ3:
    1 * num3
    -1 * num4
    = 0