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

LC:
 	9 * num0
	-4 * num1
	10 * num2
	-20 * num3
	1 * num4
	= -7
 
LC0:
 	14 * num0
	11 * num1
	17 * num2
	-9 * num3
	= 14
 
LC0-prime:
 	-5 * num0
	-15 * num1
	-7 * num2
	-11 * num3
	1 * num4
	= -21
 
LC1:
 	-19 * num0
	-1 * num1
	-16 * num2
	-8 * num3
	16 * num4
	= 16
 
LC1-prime:
 	75 * num0
	20 * num1
	76 * num2
	-22 * num3
	-31 * num4
	= -11
 
LC2:
 	18 * num0
	-19 * num1
	7 * num2
	13 * num3
	-10 * num4
	= -4
 
LC2-prime:
 	-55 * num0
	26 * num1
	-43 * num2
	19 * num3
	24 * num4
	= 34
 
