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

LC:
 	18 * num0
	-14 * num1
	-4 * num2
	20 * num3
	-13 * num4
	= -11
 
LC0:
 	-8 * num1
	11 * num2
	-12 * num3
	= 9
 
LC0-prime:
 	8 * num1
	-11 * num2
	12 * num3
	= -9
 
LC1:
 	-2 * num1
	-9 * num2
	12 * num3
	= 15
 
LC1-prime:
 	18 * num0
	-22 * num1
	7 * num2
	8 * num3
	-13 * num4
	= -2
 
