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

LC:
 	-8 * num0
	20 * num1
	-13 * num3
	18 * num4
	= 7
 
LC0:
 	-17 * num1
	-2 * num2
	11 * num3
	-17 * num4
	= 3
 
LC0-prime:
 	24 * num0
	-43 * num1
	2 * num2
	28 * num3
	-37 * num4
	= -24
 
LC1:
 	16 * num0
	-17 * num1
	-20 * num2
	20 * num3
	12 * num4
	= -17
 
LC1-prime:
 	-40 * num0
	37 * num1
	38 * num2
	-42 * num3
	-23 * num4
	= 44
 
LC2:
 	17 * num0
	-15 * num2
	5 * num4
	= 9
 
LC2-prime:
 	6 * num1
	-22 * num2
	5 * num3
	31 * num4
	= 0
 
LC3:
 	-17 * num0
	5 * num1
	19 * num3
	-3 * num4
	= 4
 
LC3-prime:
 	-15 * num0
	24 * num1
	55 * num2
	-78 * num3
	-23 * num4
	= 17
 
LC4:
 	-2 * num0
	-47 * num1
	-20 * num2
	84 * num3
	-30 * num4
	= -23
 
LC4-prime:
 	51 * num0
	-5 * num1
	-30 * num2
	-19 * num3
	13 * num4
	= 14
 
LC5:
 	4 * num0
	104 * num1
	10 * num2
	-130 * num3
	64 * num4
	= 72
 
LC5-prime:
 	-42 * num0
	40 * num1
	-30 * num2
	63 * num3
	16 * num4
	= 41
 
LC6:
 	-13 * num0
	109 * num1
	10 * num2
	-111 * num3
	61 * num4
	= 76
 
LC6-prime:
 	10 * num0
	-406 * num1
	-40 * num2
	469 * num3
	-232 * num4
	= -289
 
