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

LC:
 	-3 * num0
	-15 * num1
	-15 * num2
	-13 * num3
	-1 * num4
	= -7
 
LC0:
 	-10 * num0
	17 * num1
	12 * num2
	-1 * num3
	-18 * num4
	= -4
 
LC0-prime:
 	3 * num0
	15 * num1
	15 * num2
	13 * num3
	1 * num4
	= 7
 
LC1:
 	-8 * num0
	13 * num1
	1 * num2
	= 3
 
LC1-prime:
 	-8 * num0
	-26 * num1
	-19 * num2
	-27 * num3
	-20 * num4
	= -21
 
LC2:
 	-20 * num1
	-10 * num2
	-18 * num4
	= -18
 
LC2-prime:
 	-20 * num1
	-10 * num2
	-18 * num4
	= -18
 
LC3:
 	1 * num4
	= -9
 
LC3-prime:
 	-3 * num0
	25 * num1
	5 * num2
	-13 * num3
	35 * num4
	= 29
 
LC4:
 	-8 * num0
	13 * num1
	1 * num2
	= 3
 
LC4-prime:
 	-3 * num0
	-15 * num1
	-15 * num2
	-13 * num3
	-1 * num4
	= -7
 
