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

LC:
 	1 * num0
	19 * num2
	-4 * num4
	= 5
 
LC0:
 	-13 * num0
	19 * num1
	-17 * num3
	-17 * num4
	= 15
 
LC0-prime:
 	-11 * num0
	19 * num1
	38 * num2
	-17 * num3
	-25 * num4
	= 25
 
LC1:
 	5 * num0
	19 * num3
	= 6
 
LC1-prime:
 	-1 * num0
	-19 * num2
	4 * num4
	= -5
 
LC2:
 	17 * num2
	19 * num3
	-16 * num4
	= -14
 
LC2-prime:
 	-19 * num0
	19 * num1
	-53 * num2
	-74 * num3
	19 * num4
	= 32
 
LC3:
 	4 * num0
	-3 * num2
	-14 * num4
	= 11
 
LC3-prime:
 	-15 * num0
	18 * num2
	-14 * num4
	= -56
 
