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

LC:
 	7 * num0
	11 * num2
	6 * num3
	-17 * num4
	= 13
 
LC0:
 	-11 * num0
	12 * num1
	-14 * num2
	-3 * num3
	-6 * num4
	= 1
 
LC0-prime:
 	22 * num0
	-24 * num1
	28 * num2
	6 * num3
	12 * num4
	= -2
 
LC1:
 	-17 * num2
	17 * num3
	4 * num4
	= 9
 
LC1-prime:
 	-36 * num0
	24 * num1
	-16 * num2
	-52 * num3
	14 * num4
	= -42
 
LC2:
 	-3 * num0
	9 * num1
	-4 * num2
	9 * num3
	6 * num4
	= -5
 
LC2-prime:
 	-13 * num0
	18 * num1
	-19 * num2
	12 * num3
	29 * num4
	= -23
 
LC3:
 	-17 * num0
	-3 * num2
	18 * num3
	18 * num4
	= -2
 
LC3-prime:
 	-42 * num0
	-18 * num1
	-20 * num2
	6 * num3
	58 * num4
	= -20
 
LC4:
 	27 * num0
	-22 * num2
	-25 * num3
	-15 * num4
	= 0
 
LC4-prime:
 	75 * num0
	6 * num2
	-49 * num3
	-85 * num4
	= 30
 
LC5:
 	17 * num0
	-30 * num1
	22 * num2
	-15 * num3
	-6 * num4
	= 9
 
LC5-prime:
 	-14 * num0
	-22 * num2
	-12 * num3
	34 * num4
	= -26
 
LC6:
 	14 * num0
	22 * num2
	12 * num3
	-34 * num4
	= 26
 
LC6-prime:
 	10 * num0
	-30 * num1
	11 * num2
	-21 * num3
	11 * num4
	= -4
 
LC7:
 	52 * num0
	-12 * num1
	14 * num2
	-10 * num3
	-43 * num4
	= 25
 
LC7-prime:
 	14 * num0
	22 * num2
	12 * num3
	-34 * num4
	= 26
 
LC8:
 	-17 * num0
	-3 * num2
	18 * num3
	18 * num4
	= -2
 
LC8-prime:
 	83 * num0
	-12 * num1
	39 * num2
	-16 * num3
	-95 * num4
	= 53
 
