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

LC:
 	17 * num0
	-20 * num1
	18 * num2
	-20 * num3
	-11 * num4
	= -13
 
LC0:
 	17 * num2
	7 * num3
	= -3
 
LC0-prime:
 	51 * num0
	-60 * num1
	88 * num2
	-46 * num3
	-33 * num4
	= -45
 
LC1:
 	2 * num2
	-20 * num3
	1 * num4
	= 4
 
LC1-prime:
 	-34 * num0
	40 * num1
	-34 * num2
	20 * num3
	23 * num4
	= 30
 
LC2:
 	-10 * num0
	-11 * num1
	-13 * num2
	9 * num3
	-18 * num4
	= 11
 
LC2-prime:
 	-27 * num0
	9 * num1
	5 * num2
	23 * num3
	-6 * num4
	= 22
 
LC3:
 	-7 * num1
	14 * num4
	= 13
 
LC3-prime:
 	24 * num0
	-65 * num1
	25 * num2
	-51 * num3
	-11 * num4
	= 15
 
LC4:
 	10 * num0
	18 * num1
	11 * num2
	11 * num3
	3 * num4
	= -28
 
LC4-prime:
 	-17 * num0
	20 * num1
	-14 * num2
	-20 * num3
	13 * num4
	= 21
 
