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

LC:
 	19 * num2
	-12 * num3
	= -1
 
LC0:
 	9 * num0
	-2 * num1
	-14 * num2
	= 3
 
LC0-prime:
 	9 * num0
	-2 * num1
	5 * num2
	-12 * num3
	= 2
 
LC1:
 	-6 * num0
	18 * num3
	-18 * num4
	= -1
 
LC1-prime:
 	21 * num0
	-2 * num1
	-33 * num2
	-24 * num3
	36 * num4
	= 6
 
LC2:
 	7 * num0
	-11 * num1
	5 * num3
	-2 * num4
	= 7
 
LC2-prime:
 	-2 * num0
	18 * num1
	10 * num2
	-16 * num3
	-14 * num4
	= -11
 
LC3:
 	-7 * num0
	11 * num1
	17 * num3
	= 10
 
LC3-prime:
 	-26 * num0
	22 * num1
	38 * num2
	2 * num3
	-32 * num4
	= -18
 
LC4:
 	19 * num0
	-11 * num1
	-75 * num3
	38 * num4
	= -25
 
LC4-prime:
 	9 * num0
	-33 * num1
	19 * num2
	39 * num3
	-42 * num4
	= 18
 
