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

LC:
 	11 * num0
	-6 * num1
	= -16
 
LC0:
 	-15 * num0
	11 * num2
	= -14
 
LC0-prime:
 	52 * num0
	-12 * num1
	-22 * num2
	= -4
 
LC1:
 	-12 * num0
	-7 * num1
	-3 * num2
	-13 * num3
	19 * num4
	= 7
 
LC1-prime:
 	17 * num0
	26 * num1
	-5 * num2
	26 * num3
	-38 * num4
	= 32
 
