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

LC:
 	8 * num1
	4 * num3
	= 16
 
LC0:
 	-2 * num1
	-17 * num2
	3 * num3
	-6 * num4
	= 14
 
LC0-prime:
 	-12 * num1
	34 * num2
	-14 * num3
	12 * num4
	= -60
 
LC1:
 	13 * num0
	-14 * num4
	= -18
 
LC1-prime:
 	-26 * num0
	-20 * num1
	-34 * num2
	-2 * num3
	16 * num4
	= 32
 
LC2:
 	8 * num0
	2 * num1
	11 * num2
	-19 * num3
	19 * num4
	= -9
 
LC2-prime:
 	18 * num0
	-4 * num1
	-28 * num2
	22 * num3
	-53 * num4
	= -13
 
LC3:
 	-8 * num0
	-18 * num1
	-1 * num3
	17 * num4
	= -10
 
LC3-prime:
 	21 * num0
	6 * num1
	-23 * num2
	-9 * num3
	-7 * num4
	= 17
 
LC4:
 	26 * num0
	6 * num1
	-17 * num2
	7 * num3
	-34 * num4
	= -6
 
LC4-prime:
 	-39 * num0
	-22 * num1
	17 * num2
	-15 * num3
	48 * num4
	= -8
 
