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

LC:
 	-18 * num1
	-20 * num3
	= 5
 
LC0:
 	12 * num0
	5 * num1
	-14 * num2
	-19 * num3
	20 * num4
	= 14
 
LC0-prime:
 	-12 * num0
	-5 * num1
	14 * num2
	19 * num3
	-20 * num4
	= -14
 
LC1:
 	12 * num0
	-14 * num1
	3 * num2
	3 * num3
	= 0
 
LC1-prime:
 	2 * num1
	-34 * num2
	-84 * num3
	40 * num4
	= 38
 
LC2:
 	-13 * num1
	-6 * num3
	= 19
 
LC2-prime:
 	74 * num1
	-34 * num2
	-4 * num3
	40 * num4
	= 18
 
