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

LC:
 	9 * num0
	-12 * num2
	14 * num3
	= 1
 
LC0:
 	-19 * num1
	7 * num2
	= 8
 
LC0-prime:
 	9 * num0
	-12 * num2
	14 * num3
	= 1
 
LC1:
 	-5 * num1
	13 * num3
	= -6
 
LC1-prime:
 	9 * num0
	-33 * num1
	2 * num2
	1 * num3
	= 23
 
LC2:
 	19 * num2
	4 * num3
	= 2
 
LC2-prime:
 	-18 * num0
	-14 * num1
	69 * num2
	-33 * num3
	= 16
 
