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

LC:
 	3 * num1
	7 * num2
	12 * num3
	4 * num4
	= 4
 
LC0:
 	13 * num2
	-17 * num3
	= -9
 
LC0-prime:
 	12 * num1
	15 * num2
	65 * num3
	16 * num4
	= 25
 
LC1:
 	16 * num1
	14 * num3
	= 4
 
LC1-prime:
 	-38 * num1
	-27 * num2
	-35 * num3
	-8 * num4
	= -7
 
LC2:
 	9 * num0
	17 * num1
	16 * num2
	4 * num3
	-14 * num4
	= 6
 
LC2-prime:
 	18 * num0
	50 * num1
	58 * num2
	-12 * num3
	-28 * num4
	= -2
 
LC3:
 	5 * num0
	-5 * num2
	3 * num3
	= -6
 
LC3-prime:
 	19 * num0
	-5 * num1
	-8 * num2
	-28 * num3
	-22 * num4
	= -18
 
LC4:
 	23 * num0
	18 * num1
	27 * num2
	-3 * num3
	-28 * num4
	= 2
 
LC4-prime:
 	5 * num0
	19 * num1
	2 * num2
	29 * num3
	4 * num4
	= 2
 
LC5:
 	46 * num0
	20 * num1
	41 * num2
	-3 * num3
	-56 * num4
	= 9
 
LC5-prime:
 	51 * num0
	14 * num1
	22 * num2
	-24 * num3
	-64 * num4
	= -5
 
LC6:
 	3 * num1
	7 * num2
	12 * num3
	4 * num4
	= 4
 
LC6-prime:
 	-69 * num0
	-28 * num1
	-69 * num2
	-21 * num3
	76 * num4
	= -24
 
LC7:
 	-32 * num0
	-19 * num1
	-43 * num2
	13 * num3
	42 * num4
	= -4
 
LC7-prime:
 	-124 * num0
	-59 * num1
	-125 * num2
	19 * num3
	154 * num4
	= -22
 
LC8:
 	9 * num0
	17 * num1
	29 * num2
	-13 * num3
	-14 * num4
	= -3
 
LC8-prime:
 	73 * num0
	55 * num1
	115 * num2
	-39 * num3
	-98 * num4
	= 5
 
