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

LC:
 	19 * num0
	4 * num1
	-9 * num2
	11 * num3
	= -4
 
LC0:
 	13 * num0
	12 * num1
	8 * num3
	= 14
 
LC0-prime:
 	-25 * num0
	4 * num1
	18 * num2
	-14 * num3
	= 22
 
LC1:
 	6 * num0
	18 * num1
	-1 * num2
	-1 * num3
	9 * num4
	= 6
 
LC1-prime:
 	-44 * num0
	-26 * num1
	19 * num2
	-21 * num3
	-9 * num4
	= 2
 
LC2:
 	9 * num1
	-14 * num3
	= 4
 
LC2-prime:
 	19 * num0
	22 * num1
	-9 * num2
	-17 * num3
	= 4
 
LC3:
 	-5 * num1
	6 * num4
	= -12
 
LC3-prime:
 	38 * num0
	36 * num1
	-18 * num2
	-6 * num3
	-12 * num4
	= 24
 
