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

LC:
 	-5 * num0
	20 * num1
	= -5
 
LC0:
 	-14 * num1
	3 * num3
	= -14
 
LC0-prime:
 	-15 * num0
	32 * num1
	6 * num3
	= -43
 
LC1:
 	15 * num0
	-20 * num3
	5 * num4
	= 18
 
LC1-prime:
 	-30 * num0
	-14 * num1
	43 * num3
	-10 * num4
	= -50
 
LC2:
 	3 * num0
	-7 * num2
	-11 * num3
	4 * num4
	= -6
 
LC2-prime:
 	-9 * num0
	-14 * num2
	-2 * num3
	3 * num4
	= -30
 
LC3:
 	-13 * num1
	10 * num3
	= 14
 
LC3-prime:
 	-23 * num0
	7 * num1
	7 * num2
	41 * num3
	-9 * num4
	= -3
 
LC4:
 	24 * num0
	14 * num2
	-18 * num3
	2 * num4
	= 48
 
LC4-prime:
 	45 * num0
	26 * num1
	35 * num2
	-45 * num3
	= 74
 
LC5:
 	9 * num0
	-14 * num1
	14 * num2
	5 * num3
	-3 * num4
	= 16
 
LC5-prime:
 	-33 * num0
	40 * num1
	-28 * num2
	-7 * num3
	1 * num4
	= -92
 
