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

LC:
 	-6 * num2
	12 * num3
	= -3
 
LC0:
 	16 * num0
	5 * num1
	-6 * num3
	-17 * num4
	= -3
 
LC0-prime:
 	16 * num0
	5 * num1
	24 * num2
	-54 * num3
	-17 * num4
	= 9
 
LC1:
 	-17 * num0
	7 * num1
	-16 * num2
	= 20
 
LC1-prime:
 	-16 * num0
	-5 * num1
	12 * num2
	-18 * num3
	17 * num4
	= 9
 
LC2:
 	-1 * num0
	-10 * num1
	-20 * num2
	-13 * num3
	-11 * num4
	= -18
 
LC2-prime:
 	18 * num0
	3 * num1
	36 * num2
	13 * num3
	11 * num4
	= -2
 
LC3:
 	-9 * num0
	-10 * num1
	-16 * num2
	-10 * num3
	10 * num4
	= 0
 
LC3-prime:
 	-12 * num2
	24 * num3
	= -6
 
