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

LC:
 	-14 * num0
	2 * num1
	-10 * num2
	20 * num3
	-3 * num4
	= 16
 
LC0:
 	-4 * num0
	19 * num3
	3 * num4
	= -8
 
LC0-prime:
 	-4 * num0
	19 * num3
	3 * num4
	= -8
 
LC1:
 	-2 * num0
	15 * num1
	-13 * num4
	= -16
 
LC1-prime:
 	-24 * num0
	-26 * num1
	-20 * num2
	40 * num3
	20 * num4
	= 64
 
LC2:
 	11 * num0
	19 * num1
	-11 * num2
	-8 * num3
	-20 * num4
	= -8
 
LC2-prime:
 	7 * num0
	-51 * num1
	21 * num2
	-12 * num3
	49 * num4
	= 24
 
LC3:
 	-2 * num1
	16 * num2
	-3 * num3
	-9 * num4
	= 18
 
LC3-prime:
 	-2 * num1
	16 * num2
	-3 * num3
	-9 * num4
	= 18
 
LC4:
 	-6 * num0
	17 * num1
	-16 * num2
	22 * num3
	-1 * num4
	= -42
 
LC4-prime:
 	16 * num0
	26 * num1
	20 * num2
	-2 * num3
	-14 * num4
	= -80
 
LC5:
 	30 * num0
	38 * num1
	-22 * num2
	-54 * num3
	-46 * num4
	= 0
 
LC5-prime:
 	16 * num0
	40 * num1
	-32 * num2
	-34 * num3
	-49 * num4
	= 16
 
LC6:
 	4 * num0
	-30 * num1
	26 * num4
	= 32
 
LC6-prime:
 	50 * num0
	48 * num1
	-54 * num2
	-88 * num3
	-69 * num4
	= 48
 
