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

LC:
 	-5 * num0
	14 * num2
	= 5
 
LC0:
 	13 * num0
	-10 * num2
	-17 * num3
	12 * num4
	= -3
 
LC0-prime:
 	-5 * num0
	14 * num2
	= 5
 
LC1:
 	-11 * num0
	8 * num1
	17 * num2
	-15 * num3
	-4 * num4
	= -20
 
LC1-prime:
 	-16 * num0
	-8 * num2
	34 * num3
	-24 * num4
	= -4
 
LC2:
 	3 * num0
	11 * num1
	-4 * num2
	-18 * num3
	-20 * num4
	= -3
 
LC2-prime:
 	7 * num0
	-11 * num1
	-24 * num2
	18 * num3
	20 * num4
	= -7
 
LC3:
 	15 * num0
	3 * num4
	= -12
 
LC3-prime:
 	-4 * num0
	22 * num1
	-22 * num2
	-36 * num3
	-43 * num4
	= 1
 
LC4:
 	28 * num0
	11 * num1
	-32 * num2
	-18 * num3
	-17 * num4
	= -25
 
LC4-prime:
 	48 * num0
	11 * num1
	-4 * num2
	-18 * num3
	-11 * num4
	= -39
 
LC5:
 	48 * num0
	6 * num1
	-98 * num2
	-6 * num3
	-32 * num4
	= 14
 
LC5-prime:
 	8 * num0
	16 * num1
	34 * num2
	-30 * num3
	-2 * num4
	= -64
 
LC6:
 	26 * num0
	-8 * num1
	-17 * num2
	15 * num3
	7 * num4
	= 8
 
LC6-prime:
 	-10 * num0
	28 * num2
	= 10
 
LC7:
 	-43 * num0
	-6 * num1
	84 * num2
	6 * num3
	32 * num4
	= -19
 
LC7-prime:
 	-47 * num0
	16 * num1
	20 * num2
	-30 * num3
	-14 * num4
	= -21
 
