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

LC:
 	8 * num0
	14 * num1
	-3 * num4
	= 5
 
LC0:
 	18 * num0
	-8 * num3
	= 2
 
LC0-prime:
 	-14 * num0
	-56 * num1
	-8 * num3
	12 * num4
	= -18
 
LC1:
 	14 * num0
	-6 * num1
	-18 * num2
	4 * num3
	= -9
 
LC1-prime:
 	42 * num0
	-20 * num1
	-18 * num2
	-12 * num3
	3 * num4
	= -10
 
LC2:
 	5 * num0
	-2 * num1
	16 * num2
	-9 * num3
	-6 * num4
	= 15
 
LC2-prime:
 	-5 * num0
	4 * num1
	-52 * num2
	33 * num3
	3 * num4
	= -32
 
