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

LC:
 	-17 * num0
	19 * num1
	13 * num2
	-4 * num3
	2 * num4
	= 15
 
LC0:
 	5 * num2
	-7 * num3
	= 16
 
LC0-prime:
 	-10 * num2
	14 * num3
	= -32
 
EQ0:
    1 * num0
    -1 * num1
    = 0

EQ1:
    1 * num1
    -1 * num2
    = 0

EQ2:
    1 * num2
    -1 * num3
    = 0

EQ3:
    1 * num3
    -1 * num4
    = 0