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

LC:
 	14 * num1
	-4 * num2
	= 16
 
LC0:
 	-3 * num2
	-12 * num3
	= 14
 
LC0-prime:
 	3 * num2
	12 * num3
	= -14
 
LC1:
 	17 * num0
	-10 * num1
	-18 * num2
	19 * num3
	12 * num4
	= 9
 
LC1-prime:
 	-28 * num1
	5 * num2
	-12 * num3
	= -18
 
LC2:
 	-5 * num0
	-7 * num1
	20 * num2
	2 * num4
	= -7
 
LC2-prime:
 	-27 * num0
	24 * num1
	50 * num2
	-19 * num3
	-8 * num4
	= 9
 
LC3:
 	-17 * num2
	-6 * num4
	= 3
 
LC3-prime:
 	-10 * num0
	14 * num1
	66 * num2
	16 * num4
	= 12
 
LC4:
 	17 * num0
	-10 * num1
	-18 * num2
	19 * num3
	12 * num4
	= 9
 
LC4-prime:
 	17 * num0
	-10 * num1
	-35 * num2
	19 * num3
	6 * num4
	= 12
 
LC5:
 	-5 * num0
	-7 * num1
	54 * num2
	14 * num4
	= -13
 
LC5-prime:
 	17 * num0
	18 * num1
	-26 * num2
	19 * num3
	12 * num4
	= 41
 
