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

LC:
 	17 * num1
	18 * num2
	-19 * num3
	-20 * num4
	= 6
 
LC0:
 	-8 * num0
	2 * num3
	-13 * num4
	= -11
 
LC0-prime:
 	-16 * num0
	-17 * num1
	-18 * num2
	23 * num3
	-6 * num4
	= -28
 
LC1:
 	8 * num2
	-13 * num3
	= -11
 
LC1-prime:
 	8 * num0
	-17 * num1
	-2 * num2
	-9 * num3
	33 * num4
	= -17
 
LC2:
 	1 * num0
	-6 * num3
	= 20
 
LC2-prime:
 	-2 * num0
	-34 * num1
	-52 * num2
	76 * num3
	40 * num4
	= -30
 
