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

LC:
 	-16 * num1
	-4 * num3
	= 19
 
LC0:
 	14 * num0
	17 * num1
	8 * num3
	-15 * num4
	= -5
 
LC0-prime:
 	-14 * num0
	15 * num1
	15 * num4
	= -33
 
LC1:
 	-17 * num0
	9 * num1
	6 * num2
	15 * num4
	= 0
 
LC1-prime:
 	-45 * num0
	-25 * num1
	6 * num2
	-16 * num3
	45 * num4
	= 10
 
LC2:
 	-1 * num0
	19 * num1
	= 7
 
LC2-prime:
 	-61 * num0
	-67 * num1
	12 * num2
	-24 * num3
	60 * num4
	= 41
 
LC3:
 	-9 * num0
	-3 * num1
	8 * num3
	= 0
 
LC3-prime:
 	16 * num0
	44 * num1
	-16 * num3
	= 14
 
LC4:
 	-33 * num0
	-1 * num1
	12 * num2
	30 * num4
	= -7
 
LC4-prime:
 	16 * num0
	8 * num1
	-12 * num2
	24 * num3
	-30 * num4
	= -38
 
LC5:
 	-1 * num0
	35 * num1
	4 * num3
	= -12
 
LC5-prime:
 	-85 * num0
	43 * num1
	24 * num2
	24 * num3
	60 * num4
	= -45
 
LC6:
 	19 * num0
	-79 * num1
	-6 * num2
	-8 * num3
	-15 * num4
	= 24
 
LC6-prime:
 	-73 * num0
	227 * num1
	24 * num2
	24 * num3
	60 * num4
	= -79
 
