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

LC:
 	6 * num3
	-19 * num4
	= 8
 
LC0:
 	9 * num3
	= 15
 
LC0-prime:
 	-6 * num3
	-38 * num4
	= -14
 
LC1:
 	18 * num0
	-9 * num2
	-2 * num3
	14 * num4
	= 14
 
LC1-prime:
 	-36 * num0
	18 * num2
	1 * num3
	10 * num4
	= -29
 
LC2:
 	5 * num1
	10 * num3
	-17 * num4
	= -9
 
LC2-prime:
 	-6 * num3
	19 * num4
	= -8
 
LC3:
 	17 * num0
	-6 * num1
	8 * num3
	-16 * num4
	= 14
 
LC3-prime:
 	19 * num0
	-4 * num1
	-18 * num2
	-44 * num3
	59 * num4
	= 10
 
LC4:
 	53 * num0
	-6 * num1
	-18 * num2
	-8 * num3
	50 * num4
	= 26
 
LC4-prime:
 	2 * num0
	22 * num1
	-18 * num2
	3 * num3
	-12 * num4
	= -17
 
LC5:
 	17 * num0
	4 * num1
	22 * num3
	-31 * num4
	= -12
 
LC5-prime:
 	17 * num0
	-6 * num1
	2 * num3
	-54 * num4
	= 0
 
