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

LC:
 	-7 * num0
	-12 * num1
	16 * num2
	-5 * num3
	11 * num4
	= 19
 
LC0:
 	6 * num0
	-3 * num1
	12 * num3
	= 7
 
LC0-prime:
 	12 * num0
	-6 * num1
	24 * num3
	= 14
 
LC1:
 	-18 * num0
	14 * num1
	-20 * num4
	= -1
 
LC1-prime:
 	-49 * num0
	19 * num1
	16 * num2
	-17 * num3
	-29 * num4
	= 10
 
LC2:
 	3 * num0
	1 * num2
	-12 * num4
	= 8
 
LC2-prime:
 	-29 * num0
	40 * num1
	-16 * num2
	5 * num3
	-51 * num4
	= -21
 
LC3:
 	11 * num3
	9 * num4
	= -4
 
LC3-prime:
 	-13 * num0
	-12 * num1
	14 * num2
	-5 * num3
	35 * num4
	= 3
 
LC4:
 	6 * num0
	-6 * num1
	-2 * num2
	2 * num3
	6 * num4
	= 6
 
LC4-prime:
 	-6 * num0
	6 * num1
	2 * num2
	-24 * num3
	-24 * num4
	= 2
 
LC5:
 	62 * num0
	-10 * num1
	-32 * num2
	34 * num3
	18 * num4
	= -22
 
LC5-prime:
 	6 * num0
	-6 * num1
	-2 * num2
	2 * num3
	6 * num4
	= 6
 
LC6:
 	-3 * num0
	3 * num1
	1 * num2
	-12 * num3
	-12 * num4
	= 1
 
LC6-prime:
 	-111 * num0
	26 * num1
	46 * num2
	-39 * num3
	-23 * num4
	= 23
 
