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

LC:
 	15 * num0
	-7 * num1
	-6 * num2
	-13 * num3
	-10 * num4
	= -3
 
LC0:
 	-3 * num0
	-14 * num1
	-20 * num2
	4 * num4
	= 18
 
LC0-prime:
 	-30 * num0
	14 * num1
	12 * num2
	26 * num3
	20 * num4
	= 6
 
LC1:
 	20 * num0
	13 * num1
	-15 * num2
	-2 * num3
	20 * num4
	= 18
 
LC1-prime:
 	-36 * num0
	-14 * num1
	-28 * num2
	26 * num3
	28 * num4
	= 42
 
LC2:
 	19 * num1
	1 * num2
	11 * num3
	12 * num4
	= 12
 
LC2-prime:
 	-9 * num0
	35 * num1
	46 * num2
	13 * num3
	2 * num4
	= -33
 
LC3:
 	17 * num0
	-14 * num1
	16 * num2
	11 * num4
	= -18
 
LC3-prime:
 	-1 * num0
	4 * num1
	55 * num2
	37 * num3
	36 * num4
	= -27
 
