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

LC:
 	9 * num0
	-11 * num1
	-9 * num2
	6 * num3
	-5 * num4
	= -18
 
LC0:
 	-14 * num0
	-12 * num1
	= -5
 
LC0-prime:
 	-32 * num0
	10 * num1
	18 * num2
	-12 * num3
	10 * num4
	= 31
 
LC1:
 	20 * num0
	14 * num2
	-14 * num3
	-7 * num4
	= -20
 
LC1-prime:
 	63 * num0
	1 * num1
	19 * num2
	-22 * num3
	-19 * num4
	= -53
 
LC2:
 	7 * num3
	12 * num4
	= -13
 
LC2-prime:
 	31 * num0
	11 * num1
	37 * num2
	-48 * num3
	-33 * num4
	= 4
 
LC3:
 	16 * num0
	-13 * num2
	4 * num3
	-16 * num4
	= -6
 
LC3-prime:
 	72 * num0
	2 * num2
	-20 * num3
	-46 * num4
	= -52
 
