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

LC:
 	-3 * num0
	-20 * num1
	5 * num3
	= 1
 
LC0:
 	-1 * num0
	18 * num1
	= 3
 
LC0-prime:
 	-2 * num0
	-38 * num1
	5 * num3
	= -2
 
LC1:
 	7 * num0
	-19 * num1
	2 * num2
	-15 * num3
	-2 * num4
	= -19
 
LC1-prime:
 	2 * num0
	-36 * num1
	= -6
 
LC2:
 	-14 * num0
	-14 * num1
	-8 * num2
	4 * num3
	= 8
 
LC2-prime:
 	12 * num0
	39 * num1
	2 * num2
	-25 * num3
	-2 * num4
	= -18
 
LC3:
 	-1 * num0
	-19 * num2
	-11 * num4
	= 4
 
LC3-prime:
 	1 * num0
	56 * num1
	-5 * num3
	= 5
 
