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

LC:
 	16 * num0
	15 * num1
	15 * num2
	-14 * num3
	-20 * num4
	= 1
 
LC0:
 	-16 * num0
	16 * num1
	7 * num2
	20 * num3
	= -7
 
LC0-prime:
 	-64 * num0
	-29 * num1
	-38 * num2
	62 * num3
	60 * num4
	= -10
 
LC1:
 	-20 * num0
	1 * num3
	= -6
 
LC1-prime:
 	32 * num0
	-32 * num1
	-14 * num2
	-40 * num3
	= 14
 
LC2:
 	15 * num0
	12 * num1
	12 * num2
	-19 * num3
	5 * num4
	= -15
 
LC2-prime:
 	-52 * num0
	-30 * num1
	-30 * num2
	29 * num3
	40 * num4
	= -8
 
LC3:
 	14 * num0
	14 * num1
	19 * num3
	= 10
 
LC3-prime:
 	23 * num0
	-13 * num1
	-27 * num2
	50 * num3
	15 * num4
	= 36
 
LC4:
 	14 * num0
	14 * num1
	19 * num3
	= 10
 
LC4-prime:
 	-30 * num0
	-24 * num1
	-24 * num2
	38 * num3
	-10 * num4
	= 30
 
LC5:
 	7 * num0
	42 * num1
	42 * num2
	-45 * num3
	-35 * num4
	= -25
 
LC5-prime:
 	-38 * num0
	-110 * num1
	-54 * num2
	-14 * num3
	30 * num4
	= 12
 
LC6:
 	42 * num0
	42 * num1
	57 * num3
	= 30
 
LC6-prime:
 	21 * num0
	56 * num1
	42 * num2
	-26 * num3
	-35 * num4
	= -15
 
LC7:
 	-54 * num0
	56 * num1
	84 * num2
	-126 * num3
	-70 * num4
	= -82
 
LC7-prime:
 	106 * num0
	-2 * num1
	-114 * num2
	268 * num3
	110 * num4
	= 140
 
LC8:
 	24 * num0
	16 * num1
	7 * num2
	18 * num3
	= 5
 
LC8-prime:
 	182 * num0
	-53 * num1
	-169 * num2
	359 * num3
	160 * num4
	= 203
 
