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

LC:
 	-6 * num0
	-4 * num3
	= -5
 
LC0:
 	4 * num0
	19 * num3
	= -1
 
LC0-prime:
 	18 * num0
	12 * num3
	= 15
 
LC1:
 	-8 * num0
	-1 * num4
	= -4
 
LC1-prime:
 	-16 * num0
	-38 * num3
	-1 * num4
	= -2
 
LC2:
 	-7 * num2
	-14 * num4
	= -12
 
LC2-prime:
 	-4 * num0
	8 * num3
	-2 * num4
	= 2
 
LC3:
 	9 * num0
	-19 * num1
	-5 * num2
	= -12
 
LC3-prime:
 	18 * num0
	-38 * num1
	-3 * num2
	14 * num4
	= -12
 
LC4:
 	-14 * num0
	-15 * num3
	-2 * num4
	= -2
 
LC4-prime:
 	4 * num0
	-38 * num1
	-10 * num2
	-15 * num3
	-2 * num4
	= -26
 
LC5:
 	38 * num3
	-1 * num4
	= -6
 
LC5-prime:
 	20 * num0
	-57 * num3
	4 * num4
	= 19
 
LC6:
 	8 * num0
	-14 * num2
	38 * num3
	-28 * num4
	= -26
 
LC6-prime:
 	-12 * num0
	30 * num3
	-1 * num4
	= -16
 
LC7:
 	6 * num0
	4 * num3
	= 5
 
LC7-prime:
 	24 * num0
	16 * num3
	= 20
 
