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

LC:
 	-16 * num0
	-11 * num1
	-7 * num2
	-1 * num3
	= 6
 
LC0:
 	-12 * num0
	-16 * num2
	8 * num3
	-18 * num4
	= 11
 
LC0-prime:
 	-48 * num0
	-33 * num1
	-21 * num2
	-3 * num3
	= 18
 
LC1:
 	-11 * num0
	4 * num4
	= 12
 
LC1-prime:
 	-66 * num0
	-22 * num1
	-30 * num2
	6 * num3
	-10 * num4
	= 47
 
LC2:
 	18 * num0
	-12 * num1
	1 * num3
	= 19
 
LC2-prime:
 	35 * num0
	-24 * num1
	-16 * num2
	10 * num3
	-22 * num4
	= 37
 
LC3:
 	9 * num0
	9 * num1
	10 * num2
	11 * num3
	-5 * num4
	= 13
 
LC3-prime:
 	2 * num0
	35 * num1
	7 * num2
	-1 * num3
	-8 * num4
	= -68
 
LC4:
 	3 * num0
	34 * num1
	14 * num2
	1 * num3
	4 * num4
	= -19
 
LC4-prime:
 	25 * num0
	6 * num1
	20 * num2
	23 * num3
	-6 * num4
	= 57
 
LC5:
 	-13 * num0
	9 * num1
	10 * num2
	11 * num3
	3 * num4
	= 37
 
LC5-prime:
 	-15 * num0
	16 * num1
	-6 * num2
	-21 * num3
	14 * num4
	= -45
 
LC6:
 	-8 * num0
	6 * num1
	20 * num2
	23 * num3
	6 * num4
	= 93
 
LC6-prime:
 	37 * num0
	33 * num1
	21 * num2
	3 * num3
	4 * num4
	= -6
 
LC7:
 	9 * num0
	9 * num1
	10 * num2
	11 * num3
	-5 * num4
	= 13
 
LC7-prime:
 	-21 * num0
	15 * num1
	30 * num2
	34 * num3
	9 * num4
	= 130
 
LC8:
 	-23 * num0
	15 * num1
	-10 * num2
	-13 * num3
	-3 * num4
	= -75
 
LC8-prime:
 	-80 * num0
	-22 * num1
	-94 * num2
	-96 * num3
	-8 * num4
	= -350
 
LC9:
 	43 * num0
	-15 * num1
	-30 * num2
	-34 * num3
	-17 * num4
	= -154
 
LC9-prime:
 	55 * num0
	-21 * num1
	30 * num2
	37 * num3
	1 * num4
	= 163
 
