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

LC:
 	6 * num0
	11 * num1
	-11 * num3
	= 11
 
LC0:
 	-20 * num0
	-4 * num1
	4 * num3
	= 14
 
LC0-prime:
 	-8 * num0
	18 * num1
	-18 * num3
	= 36
 
LC1:
 	12 * num0
	-3 * num1
	1 * num2
	-5 * num3
	-8 * num4
	= -8
 
LC1-prime:
 	40 * num0
	-17 * num1
	1 * num2
	9 * num3
	-8 * num4
	= -58
 
LC2:
 	3 * num0
	-12 * num1
	-11 * num2
	= 13
 
LC2-prime:
 	2 * num0
	-16 * num1
	-20 * num2
	-24 * num3
	-16 * num4
	= 60
 
LC3:
 	9 * num1
	-2 * num3
	= -8
 
LC3-prime:
 	-21 * num0
	-22 * num1
	-12 * num2
	25 * num3
	8 * num4
	= -9
 
LC4:
 	52 * num0
	23 * num1
	1 * num2
	-17 * num3
	-8 * num4
	= -52
 
LC4-prime:
 	52 * num0
	40 * num1
	23 * num2
	-24 * num3
	-8 * num4
	= -51
 
LC5:
 	-70 * num0
	-14 * num1
	20 * num2
	26 * num3
	16 * num4
	= 50
 
LC5-prime:
 	-40 * num0
	17 * num1
	-1 * num2
	-9 * num3
	8 * num4
	= 58
 
