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

LC:
 	-4 * num0
	2 * num2
	-12 * num4
	= -7
 
LC0:
 	3 * num3
	17 * num4
	= 18
 
LC0-prime:
 	-4 * num0
	2 * num2
	-6 * num3
	-46 * num4
	= -43
 
LC1:
 	-11 * num0
	-12 * num1
	-14 * num2
	= 7
 
LC1-prime:
 	26 * num0
	24 * num1
	26 * num2
	12 * num4
	= -7
 
LC2:
 	-6 * num0
	-9 * num2
	-20 * num3
	= 15
 
LC2-prime:
 	-11 * num0
	-12 * num1
	-14 * num2
	-6 * num3
	-34 * num4
	= -29
 
LC3:
 	-19 * num0
	-5 * num1
	10 * num2
	18 * num4
	= 8
 
LC3-prime:
 	54 * num0
	34 * num1
	-1 * num2
	-20 * num3
	-36 * num4
	= -15
 
