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

LC:
 	2 * num1
	1 * num3
	-13 * num4
	= 7
 
LC0:
 	12 * num0
	17 * num4
	= -9
 
LC0-prime:
 	24 * num0
	-2 * num1
	-1 * num3
	47 * num4
	= -25
 
LC1:
 	-15 * num1
	11 * num4
	= -14
 
LC1-prime:
 	-24 * num0
	-2 * num1
	-1 * num3
	-21 * num4
	= 11
 
