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

LC:
 	-3 * num0
	1 * num4
	= 9
 
LC0:
 	-19 * num3
	2 * num4
	= 5
 
LC0-prime:
 	-19 * num3
	2 * num4
	= 5
 
LC1:
 	-13 * num0
	-16 * num1
	= -16
 
LC1-prime:
 	32 * num0
	32 * num1
	38 * num3
	-6 * num4
	= 4
 
LC2:
 	-9 * num0
	-2 * num1
	-2 * num2
	16 * num4
	= 13
 
LC2-prime:
 	-3 * num0
	-2 * num1
	-2 * num2
	14 * num4
	= -5
 
LC3:
 	2 * num0
	20 * num1
	-17 * num2
	-8 * num4
	= 8
 
LC3-prime:
 	28 * num0
	44 * num1
	-30 * num2
	-50 * num4
	= -28
 
LC4:
 	-9 * num0
	-28 * num1
	30 * num2
	48 * num4
	= 26
 
LC4-prime:
 	-14 * num0
	-16 * num1
	26 * num2
	80 * num4
	= 68
 
LC5:
 	4 * num0
	-12 * num1
	30 * num2
	48 * num4
	= 42
 
LC5-prime:
 	4 * num0
	52 * num1
	-90 * num2
	-145 * num4
	= -119
 
LC6:
 	-9 * num0
	-28 * num1
	30 * num2
	-19 * num3
	50 * num4
	= 31
 
LC6-prime:
 	1 * num0
	-40 * num1
	60 * num2
	-19 * num3
	96 * num4
	= 55
 
LC7:
 	13 * num0
	16 * num1
	= 16
 
LC7-prime:
 	25 * num0
	44 * num1
	-30 * num2
	19 * num3
	-51 * num4
	= -24
 
LC8:
 	24 * num0
	12 * num1
	17 * num2
	8 * num4
	= 24
 
LC8-prime:
 	8 * num0
	-4 * num1
	17 * num2
	9 * num4
	= 17
 
LC9:
 	-1 * num0
	-52 * num1
	90 * num2
	144 * num4
	= 110
 
LC9-prime:
 	56 * num0
	128 * num1
	-146 * num2
	-274 * num4
	= -190
 
