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

LC:
 	13 * num0
	-19 * num1
	2 * num2
	-9 * num3
	20 * num4
	= 9
 
LC0:
 	10 * num0
	-1 * num1
	-8 * num2
	-10 * num3
	= 5
 
LC0-prime:
 	-46 * num0
	40 * num1
	12 * num2
	38 * num3
	-40 * num4
	= -28
 
LC1:
 	-6 * num0
	6 * num2
	= -6
 
LC1-prime:
 	27 * num0
	-21 * num1
	-8 * num2
	-29 * num3
	20 * num4
	= 13
 
LC2:
 	14 * num1
	-3 * num2
	= -8
 
LC2-prime:
 	32 * num0
	-52 * num1
	1 * num2
	-18 * num3
	40 * num4
	= 32
 
LC3:
 	16 * num0
	14 * num3
	-18 * num4
	= -9
 
LC3-prime:
 	-13 * num0
	-9 * num1
	4 * num2
	9 * num3
	-20 * num4
	= 7
 
LC4:
 	-32 * num0
	38 * num1
	2 * num2
	18 * num3
	-40 * num4
	= -24
 
LC4-prime:
 	16 * num0
	14 * num3
	-18 * num4
	= -9
 
LC5:
 	54 * num0
	-39 * num1
	-22 * num2
	-28 * num3
	40 * num4
	= 41
 
LC5-prime:
 	-26 * num0
	38 * num1
	-4 * num2
	18 * num3
	-40 * num4
	= -18
 
LC6:
 	64 * num0
	-104 * num1
	2 * num2
	-36 * num3
	80 * num4
	= 64
 
LC6-prime:
 	-156 * num0
	209 * num1
	22 * num2
	82 * num3
	-160 * num4
	= -151
 
LC7:
 	-38 * num0
	39 * num1
	22 * num2
	42 * num3
	-58 * num4
	= -50
 
LC7-prime:
 	-52 * num0
	130 * num1
	-48 * num2
	-12 * num3
	-44 * num4
	= -28
 
LC8:
 	-178 * num0
	156 * num1
	82 * num2
	140 * num3
	-196 * num4
	= -176
 
LC8-prime:
 	153 * num0
	-136 * num1
	-58 * num2
	-107 * num3
	158 * num4
	= 135
 
