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

LC:
 	-10 * num1
	18 * num3
	= -4
 
LC0:
 	-20 * num0
	1 * num4
	= 15
 
LC0-prime:
 	-30 * num1
	54 * num3
	= -12
 
LC1:
 	5 * num0
	-14 * num1
	-17 * num3
	= -14
 
LC1-prime:
 	-30 * num0
	-18 * num1
	-52 * num3
	2 * num4
	= 6
 
