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

LC:
 	-16 * num2
	16 * num4
	= 3
 
LC0:
 	16 * num0
	17 * num1
	= -18
 
LC0-prime:
 	-16 * num0
	-17 * num1
	-64 * num2
	64 * num4
	= 30
 
LC1:
 	12 * num0
	-17 * num1
	-8 * num2
	-11 * num3
	-16 * num4
	= -7
 
LC1-prime:
 	-56 * num0
	48 * num2
	22 * num3
	= 44
 
LC2:
 	-17 * num1
	13 * num2
	16 * num3
	= -5
 
LC2-prime:
 	32 * num0
	51 * num1
	-13 * num2
	-16 * num3
	= -31
 
LC3:
 	6 * num0
	15 * num1
	-19 * num2
	20 * num3
	14 * num4
	= -4
 
LC3-prime:
 	12 * num0
	64 * num1
	-48 * num2
	8 * num3
	12 * num4
	= -1
 
LC4:
 	4 * num0
	34 * num1
	40 * num2
	11 * num3
	-16 * num4
	= -17
 
LC4-prime:
 	-10 * num0
	-83 * num1
	-11 * num2
	1 * num3
	18 * num4
	= 14
 
LC5:
 	-24 * num0
	-13 * num1
	46 * num2
	-29 * num3
	-12 * num4
	= 15
 
LC5-prime:
 	-34 * num0
	-62 * num1
	57 * num2
	-60 * num3
	-42 * num4
	= 30
 
LC6:
 	56 * num0
	-48 * num2
	-22 * num3
	= -44
 
LC6-prime:
 	-60 * num0
	-34 * num1
	24 * num2
	11 * num3
	= 58
 
LC7:
 	-152 * num0
	42 * num1
	268 * num2
	8 * num3
	-56 * num4
	= 84
 
LC7-prime:
 	360 * num0
	-84 * num1
	-600 * num2
	-38 * num3
	128 * num4
	= -209
 
LC8:
 	-124 * num0
	-30 * num1
	134 * num2
	4 * num3
	-28 * num4
	= 96
 
LC8-prime:
 	-140 * num0
	72 * num1
	214 * num2
	48 * num3
	-12 * num4
	= 79
 
