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

LC:
 	-14 * num3
	-13 * num4
	= 19
 
LC0:
 	2 * num0
	14 * num1
	-18 * num2
	-10 * num3
	-5 * num4
	= -19
 
LC0-prime:
 	-2 * num0
	-14 * num1
	18 * num2
	24 * num3
	18 * num4
	= 0
 
LC1:
 	-1 * num2
	-6 * num4
	= 18
 
LC1-prime:
 	-4 * num0
	-28 * num1
	34 * num2
	-8 * num3
	-28 * num4
	= 112
 
LC2:
 	-2 * num1
	-1 * num2
	13 * num3
	= -16
 
LC2-prime:
 	2 * num0
	18 * num1
	-14 * num2
	-50 * num3
	-6 * num4
	= -4
 
