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

LC:
 	-7 * num0
	7 * num1
	10 * num2
	= -17
 
LC0:
 	-8 * num0
	5 * num1
	-12 * num2
	12 * num3
	-15 * num4
	= -18
 
LC0-prime:
 	-16 * num0
	10 * num1
	-24 * num2
	24 * num3
	-30 * num4
	= -36
 
LC1:
 	17 * num0
	4 * num1
	8 * num2
	9 * num3
	-14 * num4
	= 2
 
LC1-prime:
 	-27 * num0
	-15 * num1
	-26 * num2
	-18 * num3
	28 * num4
	= 13
 
LC2:
 	17 * num1
	-17 * num2
	13 * num3
	-18 * num4
	= 20
 
LC2-prime:
 	48 * num0
	-40 * num1
	30 * num2
	-8 * num3
	8 * num4
	= -2
 
LC3:
 	11 * num1
	-2 * num2
	-4 * num3
	-19 * num4
	= 10
 
LC3-prime:
 	-7 * num0
	24 * num1
	-7 * num2
	13 * num3
	-18 * num4
	= 3
 
LC4:
 	-10 * num0
	-28 * num1
	-1 * num2
	-22 * num3
	32 * num4
	= -5
 
LC4-prime:
 	10 * num0
	6 * num1
	5 * num2
	30 * num3
	6 * num4
	= -15
 
