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

LC:
 	-18 * num1
	10 * num3
	-13 * num4
	= 20
 
LC0:
 	10 * num0
	19 * num2
	-18 * num3
	= 18
 
LC0-prime:
 	-18 * num1
	10 * num3
	-13 * num4
	= 20
 
LC1:
 	-9 * num1
	-14 * num2
	15 * num3
	= 9
 
LC1-prime:
 	20 * num0
	-9 * num1
	52 * num2
	-41 * num3
	-13 * num4
	= 47
 
LC2:
 	-19 * num2
	-16 * num3
	9 * num4
	= -18
 
LC2-prime:
 	10 * num0
	36 * num1
	57 * num2
	-6 * num3
	8 * num4
	= 14
 
LC3:
 	20 * num1
	13 * num2
	19 * num4
	= -13
 
LC3-prime:
 	7 * num1
	20 * num2
	-9 * num3
	-15 * num4
	= 2
 
LC4:
 	-10 * num0
	-18 * num1
	-85 * num2
	16 * num3
	18 * num4
	= -36
 
LC4-prime:
 	10 * num0
	40 * num1
	92 * num2
	-22 * num3
	16 * num4
	= 12
 
LC5:
 	9 * num1
	-14 * num2
	5 * num3
	13 * num4
	= -11
 
LC5-prime:
 	10 * num0
	25 * num1
	58 * num2
	-21 * num3
	-11 * num4
	= 18
 
