-
Notifications
You must be signed in to change notification settings - Fork 1
/
test_project.py
167 lines (156 loc) · 128 KB
/
test_project.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
'''
Created by Daniel Hocking
Test cases for COMP9318 Project questions 1 and 2
Note: If you run this and get no output then the test cases have passed
'''
from submission import viterbi_algorithm, top_k_viterbi, advanced_decoding
import numpy as np
def check_paths_match(paths_a, paths_b):
if len(paths_a) != len(paths_b):
print('Result not the same length as expected')
return
for i in range(len(paths_a)):
if not np.alltrue(np.equal(paths_a[i][:-1:], paths_b[i][:-1:])):
print(f'Path not equal: {paths_a[i]} : {paths_b[i]}')
return
if not np.isclose(paths_a[i][-1], paths_b[i][-1]):
print(f'Probability not equal: {paths_a[i][-1]} : {paths_b[i][-1]}')
return
return True
def check_labels_match(paths, labels_file):
right = wrong = 0
with open(labels_file) as f:
lines = f.readlines()
if len(lines) != len(paths):
print('Result not the same length as expected')
return
for i in range(len(lines)):
correct_labels = list(map(int, lines[i].split()))
if len(correct_labels) != (len(paths[i]) - 1):
print(f'Line {i + 1} of result not the same length as expected')
return
for j in range(len(correct_labels)):
if correct_labels[j] == paths[i][j]:
right += 1
else:
wrong += 1
return right, wrong
def check_margin(right, wrong):
if wrong < 120:
return True
else:
print(f'({right}, {wrong})')
return False
# The basic test provided
def test_1():
'''
>>> State_File ='./toy_example/State_File'
>>> Symbol_File='./toy_example/Symbol_File'
>>> Query_File ='./toy_example/Query_File'
>>> viterbi_result = viterbi_algorithm(State_File, Symbol_File, Query_File)
>>> check_paths_match(viterbi_result, [[3, 0, 0, 1, 2, 4, -9.843403], [3, 2, 1, 2, 4, -9.397116]])
True
'''
pass
# More advanced set
def test_2():
'''
>>> State_File ='./dev_set/State_File'
>>> Symbol_File='./dev_set/Symbol_File'
>>> Query_File ='./dev_set/Query_File'
>>> viterbi_result = viterbi_algorithm(State_File, Symbol_File, Query_File)
>>> check_paths_match(viterbi_result, [[24, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.407178051467], [24, 2, 3, 18, 4, 18, 5, 6, 25, -39.754151979072745], [24, 8, 9, 18, 4, 18, 5, 6, 25, -52.434767466887855], [24, 16, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -76.94428109077145], [24, 8, 8, 8, 9, 19, 1, 20, 1, 19, 1, 2, 18, 4, 18, 5, 6, 25, -138.52973619808222], [24, 0, 19, 2, 3, 18, 4, 18, 5, 6, 25, -57.933602617797774], [24, 0, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -67.23603253597994], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.29652777494088], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.16051205107227], [24, 8, 8, 9, 18, 2, 3, 4, 18, 4, 18, 5, 6, 25, -86.18266981585235], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -41.4564619663574], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -66.34472246856906], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.89034807054728], [24, 8, 9, 18, 4, 18, 5, 6, 25, -49.14004393438609], [24, 0, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -68.186353239099], [24, 8, 9, 15, 9, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -97.73059571252817], [24, 0, 18, 4, 4, 18, 2, 3, 18, 4, 18, 5, 6, 25, -80.04925807202758], [24, 0, 19, 1, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -83.99455458864036], [24, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.07773654305999], [24, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -58.339645642258155], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.007833199284136], [24, 8, 9, 18, 4, 18, 5, 6, 25, -51.32683245956923], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -66.72901286917302], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -60.04747713376548], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.01241453115328], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.742526375138006], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.368526026271006], [24, 0, 19, 1, 18, 4, 18, 5, 6, 25, -53.6343020429981], [24, 16, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -79.91942625196758], [24, 2, 3, 18, 4, 18, 5, 6, 25, -42.6094010353643], [24, 2, 3, 18, 4, 18, 5, 6, 25, -40.142775587458786], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.86786604191135], [24, 0, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -66.52089664682067], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -56.426409954381135], [24, 16, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -67.20645744850664], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.734255091117745], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.660708009813646], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.58691230104886], [24, 8, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -68.4581050631668], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.469233711801564], [24, 0, 19, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -73.3653081056723], [24, 2, 3, 18, 4, 18, 5, 6, 25, -45.10756137449559], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -65.03576798447783], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -68.27271208901884], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.08642575641911], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -54.962045513474024], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -52.55355100588994], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.4453337192611], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -50.56965642171899], [24, 0, 1, 2, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -73.92187884497085], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.94827027995954], [24, 16, 0, 19, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.45459331131069], [24, 0, 18, 8, 9, 18, 2, 2, 3, 18, 4, 18, 5, 6, 25, -79.55782082236264], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -60.24167993282755], [24, 0, 19, 1, 2, 18, 4, 18, 5, 6, 25, -63.206213499342965], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.61847068751436], [24, 0, 19, 2, 3, 18, 4, 18, 5, 6, 25, -69.06528910789815], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -65.91641292105788], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -50.320993150434084], [24, 2, 3, 18, 4, 18, 5, 6, 25, -42.09602663600471], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.099466774787025], [24, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -46.16609346609039], [24, 1, 2, 3, 18, 1, 2, 18, 4, 18, 5, 6, 25, -72.14212691254828], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -55.43504994195047], [24, 1, 2, 3, 18, 1, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -90.31990749732773], [24, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -57.58994915035009], [24, 1, 2, 2, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -87.38913040942698], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -52.719237418638855], [24, 1, 2, 20, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.17549923581448], [24, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -51.75431461630585], [24, 2, 3, 18, 4, 18, 5, 6, 25, -41.6699207687882], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.68858910993885], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -49.561123494508934], [24, 1, 2, 2, 3, 18, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -93.08913381658303], [24, 16, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.27281244521978], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -51.50002775099704], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -52.50741511366613], [24, 2, 3, 18, 4, 18, 5, 6, 25, -44.543155752099665], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -54.962045513474024], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.04819253478041], [24, 0, 19, 1, 20, 1, 2, 2, 20, 2, 3, 18, 4, 18, 5, 6, 25, -119.20619562871903], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -50.85324603329972], [24, 0, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -58.93493056527702], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -65.7419611085753], [24, 2, 3, 18, 4, 18, 5, 6, 25, -45.50406775316821], [24, 0, 1, 2, 3, 18, 4, 4, 4, 4, 4, 18, 5, 6, 25, -85.6096721148282], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.06108440267953], [24, 2, 3, 18, 4, 18, 5, 6, 25, -38.86472829113796], [24, 0, 19, 1, 18, 4, 4, 18, 5, 6, 25, -56.99022955932032], [24, 0, 19, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -72.6346652661331], [24, 0, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -74.45664744025565], [24, 2, 3, 18, 4, 18, 5, 6, 25, -44.45122388315245], [24, 8, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.3461010010974], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.785517122444126], [24, 2, 3, 18, 4, 18, 5, 6, 25, -49.545420061233415], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.913879689451385], [24, 2, 3, 18, 4, 4, 18, 5, 6, 25, -48.018279615695306], [24, 8, 8, 9, 19, 1, 18, 4, 4, 18, 5, 6, 25, -93.23348468803701], [24, 2, 3, 18, 4, 18, 5, 6, 25, -42.796017552066], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.61774196995776]])
True
'''
pass
# The basic test for part 2
def test_3():
'''
>>> State_File ='./toy_example/State_File'
>>> Symbol_File='./toy_example/Symbol_File'
>>> Query_File ='./toy_example/Query_File'
>>> top_k_result = top_k_viterbi(State_File, Symbol_File, Query_File, 1)
>>> check_paths_match(top_k_result, [[3, 0, 0, 1, 2, 4, -9.843403], [3, 2, 1, 2, 4, -9.397116]])
True
>>> top_k_result = top_k_viterbi(State_File, Symbol_File, Query_File, 2)
>>> check_paths_match(top_k_result, [[3, 0, 0, 1, 2, 4, -9.843403381747937], [3, 0, 0, 0, 2, 4, -10.131085454199718], [3, 2, 1, 2, 4, -9.397116279119517], [3, 0, 0, 2, 4, -9.551266958946776]])
True
>>> top_k_result = top_k_viterbi(State_File, Symbol_File, Query_File, 3)
>>> check_paths_match(top_k_result, [[3, 0, 0, 1, 2, 4, -9.843403381747937], [3, 0, 0, 0, 2, 4, -10.131085454199718], [3, 0, 0, 0, 0, 4, -10.20007832568667], [3, 2, 1, 2, 4, -9.397116279119517], [3, 0, 0, 2, 4, -9.551266958946776], [3, 0, 1, 2, 4, -9.551266958946776]])
True
>>> top_k_result = top_k_viterbi(State_File, Symbol_File, Query_File, 4)
>>> check_paths_match(top_k_result, [[3, 0, 0, 1, 2, 4, -9.843403381747937], [3, 0, 0, 0, 2, 4, -10.131085454199718], [3, 0, 0, 0, 0, 4, -10.20007832568667], [3, 1, 2, 1, 2, 4, -10.382399882480625], [3, 2, 1, 2, 4, -9.397116279119517], [3, 0, 0, 2, 4, -9.551266958946776], [3, 0, 1, 2, 4, -9.551266958946776], [3, 0, 0, 0, 4, -9.620259830433728]])
True
>>> top_k_result = top_k_viterbi(State_File, Symbol_File, Query_File, 5)
>>> check_paths_match(top_k_result, [[3, 0, 0, 1, 2, 4, -9.843403381747937], [3, 0, 0, 0, 2, 4, -10.131085454199718], [3, 0, 0, 0, 0, 4, -10.20007832568667], [3, 1, 2, 1, 2, 4, -10.382399882480625], [3, 0, 2, 1, 2, 4, -10.536550562307884], [3, 2, 1, 2, 4, -9.397116279119517], [3, 0, 0, 2, 4, -9.551266958946776], [3, 0, 1, 2, 4, -9.551266958946776], [3, 0, 0, 0, 4, -9.620259830433728], [3, 1, 2, 1, 4, -9.907941902885508]])
True
>>> top_k_result = top_k_viterbi(State_File, Symbol_File, Query_File, 6)
>>> check_paths_match(top_k_result, [[3, 0, 0, 1, 2, 4, -9.843403381747937], [3, 0, 0, 0, 2, 4, -10.131085454199718], [3, 0, 0, 0, 0, 4, -10.20007832568667], [3, 1, 2, 1, 2, 4, -10.382399882480625], [3, 0, 2, 1, 2, 4, -10.536550562307884], [3, 0, 0, 0, 1, 4, -10.641911077965709], [3, 2, 1, 2, 4, -9.397116279119517], [3, 0, 0, 2, 4, -9.551266958946776], [3, 0, 1, 2, 4, -9.551266958946776], [3, 0, 0, 0, 4, -9.620259830433728], [3, 1, 2, 1, 4, -9.907941902885508], [3, 1, 1, 2, 4, -9.956732067054942]])
True
>>> top_k_result = top_k_viterbi(State_File, Symbol_File, Query_File, 7)
>>> check_paths_match(top_k_result, [[3, 0, 0, 1, 2, 4, -9.843403381747937], [3, 0, 0, 0, 2, 4, -10.131085454199718], [3, 0, 0, 0, 0, 4, -10.20007832568667], [3, 1, 2, 1, 2, 4, -10.382399882480625], [3, 0, 2, 1, 2, 4, -10.536550562307884], [3, 0, 0, 0, 1, 4, -10.641911077965709], [3, 0, 0, 1, 1, 4, -10.913844793449352], [3, 2, 1, 2, 4, -9.397116279119517], [3, 0, 0, 2, 4, -9.551266958946776], [3, 0, 1, 2, 4, -9.551266958946776], [3, 0, 0, 0, 4, -9.620259830433728], [3, 1, 2, 1, 4, -9.907941902885508], [3, 1, 1, 2, 4, -9.956732067054942], [3, 0, 0, 1, 4, -10.062092582712767]])
True
>>> top_k_result = top_k_viterbi(State_File, Symbol_File, Query_File, 8)
>>> check_paths_match(top_k_result, [[3, 0, 0, 1, 2, 4, -9.843403381747937], [3, 0, 0, 0, 2, 4, -10.131085454199718], [3, 0, 0, 0, 0, 4, -10.20007832568667], [3, 1, 2, 1, 2, 4, -10.382399882480625], [3, 0, 2, 1, 2, 4, -10.536550562307884], [3, 0, 0, 0, 1, 4, -10.641911077965709], [3, 0, 0, 1, 1, 4, -10.913844793449352], [3, 2, 1, 1, 2, 4, -10.942015670416048], [3, 2, 1, 2, 4, -9.397116279119517], [3, 0, 0, 2, 4, -9.551266958946776], [3, 0, 1, 2, 4, -9.551266958946776], [3, 0, 0, 0, 4, -9.620259830433728], [3, 1, 2, 1, 4, -9.907941902885508], [3, 1, 1, 2, 4, -9.956732067054942], [3, 0, 0, 1, 4, -10.062092582712767], [3, 0, 2, 1, 4, -10.062092582712767]])
True
>>> top_k_result = top_k_viterbi(State_File, Symbol_File, Query_File, 9)
>>> check_paths_match(top_k_result, [[3, 0, 0, 1, 2, 4, -9.843403381747937], [3, 0, 0, 0, 2, 4, -10.131085454199718], [3, 0, 0, 0, 0, 4, -10.20007832568667], [3, 1, 2, 1, 2, 4, -10.382399882480625], [3, 0, 2, 1, 2, 4, -10.536550562307884], [3, 0, 0, 0, 1, 4, -10.641911077965709], [3, 0, 0, 1, 1, 4, -10.913844793449352], [3, 2, 1, 1, 2, 4, -10.942015670416048], [3, 0, 0, 2, 1, 4, -11.047376186073874], [3, 2, 1, 2, 4, -9.397116279119517], [3, 0, 0, 2, 4, -9.551266958946776], [3, 0, 1, 2, 4, -9.551266958946776], [3, 0, 0, 0, 4, -9.620259830433728], [3, 1, 2, 1, 4, -9.907941902885508], [3, 1, 1, 2, 4, -9.956732067054942], [3, 0, 0, 1, 4, -10.062092582712767], [3, 0, 2, 1, 4, -10.062092582712767], [3, 2, 1, 1, 4, -10.467557690820932]])
True
>>> top_k_result = top_k_viterbi(State_File, Symbol_File, Query_File, 10)
>>> check_paths_match(top_k_result, [[3, 0, 0, 1, 2, 4, -9.843403381747937], [3, 0, 0, 0, 2, 4, -10.131085454199718], [3, 0, 0, 0, 0, 4, -10.20007832568667], [3, 1, 2, 1, 2, 4, -10.382399882480625], [3, 0, 2, 1, 2, 4, -10.536550562307884], [3, 0, 0, 0, 1, 4, -10.641911077965709], [3, 0, 0, 1, 1, 4, -10.913844793449352], [3, 2, 1, 1, 2, 4, -10.942015670416048], [3, 0, 0, 2, 1, 4, -11.047376186073874], [3, 2, 0, 1, 2, 4, -11.096166350243307], [3, 2, 1, 2, 4, -9.397116279119517], [3, 0, 0, 2, 4, -9.551266958946776], [3, 0, 1, 2, 4, -9.551266958946776], [3, 0, 0, 0, 4, -9.620259830433728], [3, 1, 2, 1, 4, -9.907941902885508], [3, 1, 1, 2, 4, -9.956732067054942], [3, 0, 0, 1, 4, -10.062092582712767], [3, 0, 2, 1, 4, -10.062092582712767], [3, 2, 1, 1, 4, -10.467557690820932], [3, 0, 1, 1, 4, -10.62170837064819]])
True
>>> top_k_result = top_k_viterbi(State_File, Symbol_File, Query_File, 20)
>>> check_paths_match(top_k_result, [[3, 0, 0, 1, 2, 4, -9.843403381747937], [3, 0, 0, 0, 2, 4, -10.131085454199718], [3, 0, 0, 0, 0, 4, -10.20007832568667], [3, 1, 2, 1, 2, 4, -10.382399882480625], [3, 0, 2, 1, 2, 4, -10.536550562307884], [3, 0, 0, 0, 1, 4, -10.641911077965709], [3, 0, 0, 1, 1, 4, -10.913844793449352], [3, 2, 1, 1, 2, 4, -10.942015670416048], [3, 0, 0, 2, 1, 4, -11.047376186073874], [3, 2, 0, 1, 2, 4, -11.096166350243307], [3, 0, 1, 1, 2, 4, -11.096166350243307], [3, 2, 0, 0, 2, 4, -11.383848422695086], [3, 2, 0, 0, 0, 4, -11.452841294182038], [3, 1, 2, 1, 1, 4, -11.452841294182038], [3, 1, 1, 1, 2, 4, -11.50163145835147], [3, 2, 1, 2, 1, 4, -11.58637268680656], [3, 0, 2, 1, 1, 4, -11.606991974009297], [3, 2, 2, 1, 2, 4, -11.635162850975993], [3, 0, 1, 2, 1, 4, -11.74052336663382], [3, 1, 0, 1, 2, 4, -11.78931353080325], [3, 2, 1, 2, 4, -9.397116279119517], [3, 0, 0, 2, 4, -9.551266958946776], [3, 0, 1, 2, 4, -9.551266958946776], [3, 0, 0, 0, 4, -9.620259830433728], [3, 1, 2, 1, 4, -9.907941902885508], [3, 1, 1, 2, 4, -9.956732067054942], [3, 0, 0, 1, 4, -10.062092582712767], [3, 0, 2, 1, 4, -10.062092582712767], [3, 2, 1, 1, 4, -10.467557690820932], [3, 0, 1, 1, 4, -10.62170837064819], [3, 1, 2, 2, 4, -10.649879247614885], [3, 2, 0, 2, 4, -10.804029927442144], [3, 0, 2, 2, 4, -10.804029927442144], [3, 2, 0, 0, 4, -10.873022798929096], [3, 1, 2, 0, 4, -10.873022798929096], [3, 0, 2, 0, 4, -11.027173478756353], [3, 1, 1, 1, 4, -11.027173478756355], [3, 2, 2, 1, 4, -11.160704871380876], [3, 2, 0, 1, 4, -11.314855551208135], [3, 1, 0, 2, 4, -11.497177108002088]])
True
'''
pass
# The full test for part 2
def test_3b():
'''
>>> State_File ='./dev_set/State_File'
>>> Symbol_File='./dev_set/Symbol_File'
>>> Query_File ='./dev_set/Query_File'
>>> top_k_result = top_k_viterbi(State_File, Symbol_File, Query_File, 3)
>>> check_paths_match(top_k_result, [[24, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.407178051467], [24, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.455715093088514], [24, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.541036605690934], [24, 2, 3, 18, 4, 18, 5, 6, 25, -39.754151979072745], [24, 8, 3, 18, 4, 18, 5, 6, 25, -39.80403337977314], [24, 16, 3, 18, 4, 18, 5, 6, 25, -39.83778356765704], [24, 8, 9, 18, 4, 18, 5, 6, 25, -52.434767466887855], [24, 16, 0, 18, 4, 18, 5, 6, 25, -54.34020871578131], [24, 15, 9, 18, 4, 18, 5, 6, 25, -54.66170941687661], [24, 16, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -76.94428109077145], [24, 8, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -77.132880182979], [24, 8, 8, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -78.86770282664222], [24, 8, 8, 8, 9, 19, 1, 20, 1, 19, 1, 2, 18, 4, 18, 5, 6, 25, -138.52973619808222], [24, 8, 8, 8, 9, 19, 1, 20, 1, 19, 1, 9, 18, 4, 18, 5, 6, 25, -139.3362470686313], [24, 8, 8, 8, 9, 19, 1, 20, 1, 19, 1, 20, 18, 4, 18, 5, 6, 25, -139.51819711619137], [24, 0, 19, 2, 3, 18, 4, 18, 5, 6, 25, -57.933602617797774], [24, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -60.35340071384975], [24, 9, 19, 2, 3, 18, 4, 18, 5, 6, 25, -60.48559613899725], [24, 0, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -67.23603253597994], [24, 9, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -69.78802605717944], [24, 8, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -70.59022932785304], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.29652777494088], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.84852129614037], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.65072456681397], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.16051205107227], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.71250557227177], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.51470884294537], [24, 8, 8, 9, 18, 2, 3, 4, 18, 4, 18, 5, 6, 25, -86.18266981585235], [24, 8, 8, 9, 18, 1, 2, 3, 18, 4, 18, 5, 6, 25, -86.81488414693297], [24, 8, 8, 9, 18, 5, 3, 4, 18, 4, 18, 5, 6, 25, -86.92773212100323], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -41.4564619663574], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -43.117616590030366], [24, 8, 2, 3, 18, 4, 18, 5, 6, 25, -45.71002719315686], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -66.34472246856906], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -68.89671598976855], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.69891926044215], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.89034807054728], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.442341591746775], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.24454486242037], [24, 8, 9, 18, 4, 18, 5, 6, 25, -49.14004393438609], [24, 16, 0, 18, 4, 18, 5, 6, 25, -51.045485183279546], [24, 2, 3, 18, 4, 18, 5, 6, 25, -51.248339727827535], [24, 0, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -68.186353239099], [24, 9, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -68.6443064191975], [24, 15, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -69.70704897041443], [24, 8, 9, 15, 9, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -97.73059571252817], [24, 8, 8, 8, 9, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -98.69053948839428], [24, 16, 0, 19, 1, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -99.37495523244768], [24, 0, 18, 4, 4, 18, 2, 3, 18, 4, 18, 5, 6, 25, -80.04925807202758], [24, 9, 18, 4, 4, 18, 2, 3, 18, 4, 18, 5, 6, 25, -80.5072112521261], [24, 0, 18, 8, 9, 18, 2, 3, 18, 4, 18, 5, 6, 25, -81.22987183441889], [24, 0, 19, 1, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -83.99455458864036], [24, 9, 19, 1, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -86.54654810983985], [24, 8, 19, 1, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -87.34875138051345], [24, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.07773654305999], [24, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -61.636961094963155], [24, 8, 9, 2, 3, 18, 4, 18, 5, 6, 25, -62.08194392127393], [24, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -58.339645642258155], [24, 8, 9, 2, 3, 18, 4, 18, 5, 6, 25, -59.88324075723704], [24, 10, 2, 2, 3, 18, 4, 18, 5, 6, 25, -60.00080026593112], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.007833199284136], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.55982672048362], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.36202999115722], [24, 8, 9, 18, 4, 18, 5, 6, 25, -51.32683245956923], [24, 16, 0, 18, 4, 18, 5, 6, 25, -53.23227370846268], [24, 15, 9, 18, 4, 18, 5, 6, 25, -53.55377440955798], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -66.72901286917302], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.28100639037251], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.08320966104611], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -60.04747713376548], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -62.599470654964975], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.401673925638576], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.01241453115328], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.564408052352775], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.366611323026376], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.742526375138006], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -66.29451989633749], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.09672316701109], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.368526026271006], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.9205195474705], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.7227228181441], [24, 0, 19, 1, 18, 4, 18, 5, 6, 25, -53.6343020429981], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -53.642157063913636], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.82909214073081], [24, 16, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -79.91942625196758], [24, 8, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -80.10802534417512], [24, 8, 8, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -81.84284798783835], [24, 2, 3, 18, 4, 18, 5, 6, 25, -42.6094010353643], [24, 8, 3, 18, 4, 18, 5, 6, 25, -42.659282436064686], [24, 16, 3, 18, 4, 18, 5, 6, 25, -42.69303262394858], [24, 2, 3, 18, 4, 18, 5, 6, 25, -40.142775587458786], [24, 8, 3, 18, 4, 18, 5, 6, 25, -40.19265698815918], [24, 16, 3, 18, 4, 18, 5, 6, 25, -40.226407176043075], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.86786604191135], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.41985956311084], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.22206283378444], [24, 0, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -66.52089664682067], [24, 9, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -69.07289016802015], [24, 8, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -69.87509343869375], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -56.426409954381135], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.24562025107299], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -58.906774874745956], [24, 16, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -67.20645744850664], [24, 8, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -67.30804516372454], [24, 0, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -69.20454386260182], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.734255091117745], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.28624861231724], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.08845188299084], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.660708009813646], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.21270153101313], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.01490480168673], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.58691230104886], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.138905822248354], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.941109092921955], [24, 8, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -68.4581050631668], [24, 16, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -68.86734297171488], [24, 15, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.68504701315555], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.469233711801564], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.021227233001056], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.82343050367466], [24, 0, 19, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -73.3653081056723], [24, 8, 9, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -74.69029354865671], [24, 8, 8, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.04575005224885], [24, 2, 3, 18, 4, 18, 5, 6, 25, -45.10756137449559], [24, 8, 3, 18, 4, 18, 5, 6, 25, -45.15744277519598], [24, 16, 3, 18, 4, 18, 5, 6, 25, -45.191192963079885], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -65.03576798447783], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -67.58776150567732], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -68.38996477635092], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -68.27271208901884], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -70.82470561021833], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -71.62690888089193], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.08642575641911], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.6384192776186], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.440622548292204], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -54.962045513474024], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.781255810165874], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -57.442410433838845], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -52.55355100588994], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.10554452708943], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.90774779776303], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.4453337192611], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.997327240460585], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.799530511134186], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -50.56965642171899], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.12164994291848], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.92385321359208], [24, 0, 1, 2, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -73.92187884497085], [24, 19, 1, 2, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -74.97041588659236], [24, 9, 1, 2, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -75.05573739919478], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.94827027995954], [24, 8, 9, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -72.27325572294394], [24, 8, 8, 9, 2, 3, 18, 4, 4, 18, 5, 6, 25, -73.02599372713242], [24, 16, 0, 19, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.45459331131069], [24, 8, 9, 19, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.64319240351823], [24, 8, 8, 8, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -77.09474156697011], [24, 0, 18, 8, 9, 18, 2, 2, 3, 18, 4, 18, 5, 6, 25, -79.55782082236264], [24, 9, 18, 8, 9, 18, 2, 2, 3, 18, 4, 18, 5, 6, 25, -80.01577400246116], [24, 0, 18, 4, 9, 18, 2, 2, 3, 18, 4, 18, 5, 6, 25, -80.42621357062421], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -60.24167993282755], [24, 8, 9, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -61.56666537581196], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -62.79367345402704], [24, 0, 19, 1, 2, 18, 4, 18, 5, 6, 25, -63.206213499342965], [24, 0, 19, 1, 3, 18, 4, 18, 5, 6, 25, -63.263138063425856], [24, 0, 19, 1, 9, 18, 4, 18, 5, 6, 25, -65.41671830811134], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.61847068751436], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.170464208713845], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.97266747938745], [24, 0, 19, 2, 3, 18, 4, 18, 5, 6, 25, -69.06528910789815], [24, 0, 19, 12, 3, 18, 4, 18, 5, 6, 25, -69.20358166910218], [24, 0, 19, 17, 3, 18, 4, 18, 5, 6, 25, -69.78746170665278], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -65.91641292105788], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -68.46840644225738], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.27060971293098], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -50.320993150434084], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -52.87298667163357], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.67518994230717], [24, 2, 3, 18, 4, 18, 5, 6, 25, -42.09602663600471], [24, 8, 3, 18, 4, 18, 5, 6, 25, -42.1459080367051], [24, 16, 3, 18, 4, 18, 5, 6, 25, -42.179658224589005], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.099466774787025], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.6514602959865], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.453663566660104], [24, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -46.16609346609039], [24, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -47.21463050771191], [24, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -47.299952020314336], [24, 1, 2, 3, 18, 1, 2, 18, 4, 18, 5, 6, 25, -72.14212691254828], [24, 10, 2, 3, 18, 1, 2, 18, 4, 18, 5, 6, 25, -73.80328153622123], [24, 1, 2, 3, 18, 4, 4, 18, 4, 18, 5, 6, 25, -74.59507907641256], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -55.43504994195047], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.25426023864232], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -57.91541486231529], [24, 1, 2, 3, 18, 1, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -90.31990749732773], [24, 8, 4, 4, 18, 1, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -90.56954600042639], [24, 16, 4, 4, 18, 1, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -90.60329618831028], [24, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -57.58994915035009], [24, 10, 2, 2, 3, 18, 4, 18, 5, 6, 25, -59.25110377402305], [24, 8, 9, 2, 3, 18, 4, 18, 5, 6, 25, -60.51983862644886], [24, 1, 2, 2, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -87.38913040942698], [24, 8, 9, 2, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -87.83411323573776], [24, 0, 19, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -87.94122306959883], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -52.719237418638855], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.538447715330705], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -55.199602339003675], [24, 1, 2, 20, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.17549923581448], [24, 16, 0, 20, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.67697305344238], [24, 8, 9, 20, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.72837102413644], [24, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -51.75431461630585], [24, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -52.80285165792736], [24, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -52.8881731705298], [24, 2, 3, 18, 4, 18, 5, 6, 25, -41.6699207687882], [24, 8, 3, 18, 4, 18, 5, 6, 25, -41.7198021694886], [24, 16, 3, 18, 4, 18, 5, 6, 25, -41.7535523573725], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.68858910993885], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.24058263113833], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.04278590181193], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -49.561123494508934], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -51.222278118181904], [24, 8, 9, 3, 18, 4, 18, 5, 6, 25, -51.835137184844996], [24, 1, 2, 2, 3, 18, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -93.08913381658303], [24, 10, 2, 2, 3, 18, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -94.750288440256], [24, 8, 9, 2, 3, 18, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -95.93201191569217], [24, 16, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.27281244521978], [24, 0, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.31987326100391], [24, 8, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.560023826095424], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -51.50002775099704], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.052021272196534], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.854224542870135], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -52.50741511366613], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.05940863486561], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.86161190553921], [24, 2, 3, 18, 4, 18, 5, 6, 25, -44.543155752099665], [24, 8, 3, 18, 4, 18, 5, 6, 25, -44.59303715280006], [24, 16, 3, 18, 4, 18, 5, 6, 25, -44.62678734068396], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -54.962045513474024], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.781255810165874], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -57.442410433838845], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.04819253478041], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.600186055979904], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.402389326653505], [24, 0, 19, 1, 20, 1, 2, 2, 20, 2, 3, 18, 4, 18, 5, 6, 25, -119.20619562871903], [24, 8, 9, 1, 20, 1, 2, 2, 20, 2, 3, 18, 4, 18, 5, 6, 25, -120.53118107170343], [24, 0, 19, 1, 19, 1, 2, 2, 20, 2, 3, 18, 4, 18, 5, 6, 25, -120.66131266591515], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -50.85324603329972], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.40523955449921], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.20744282517281], [24, 0, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -58.93493056527702], [24, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -59.983467606898536], [24, 9, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -60.06878911950096], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -65.7419611085753], [24, 0, 19, 2, 2, 3, 18, 4, 18, 5, 6, 25, -66.83876405079934], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -68.29395462977477], [24, 2, 3, 18, 4, 18, 5, 6, 25, -45.50406775316821], [24, 8, 3, 18, 4, 18, 5, 6, 25, -45.5539491538686], [24, 16, 3, 18, 4, 18, 5, 6, 25, -45.5876993417525], [24, 0, 1, 2, 3, 18, 4, 4, 4, 4, 4, 18, 5, 6, 25, -85.6096721148282], [24, 19, 1, 2, 3, 18, 4, 4, 4, 4, 4, 18, 5, 6, 25, -86.65820915644971], [24, 9, 1, 2, 3, 18, 4, 4, 4, 4, 4, 18, 5, 6, 25, -86.74353066905213], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.06108440267953], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.61307792387902], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.41528119455262], [24, 2, 3, 18, 4, 18, 5, 6, 25, -38.86472829113796], [24, 8, 3, 18, 4, 18, 5, 6, 25, -38.91460969183835], [24, 16, 3, 18, 4, 18, 5, 6, 25, -38.94835987972225], [24, 0, 19, 1, 18, 4, 4, 18, 5, 6, 25, -56.99022955932032], [24, 8, 8, 9, 18, 4, 4, 18, 5, 6, 25, -57.462259517809024], [24, 8, 9, 1, 18, 4, 4, 18, 5, 6, 25, -58.31521500230473], [24, 0, 19, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -72.6346652661331], [24, 8, 9, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -73.95965070911751], [24, 1, 2, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.1046065701894], [24, 0, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -74.45664744025565], [24, 19, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.50518448187715], [24, 9, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.59050599447959], [24, 2, 3, 18, 4, 18, 5, 6, 25, -44.45122388315245], [24, 8, 3, 18, 4, 18, 5, 6, 25, -44.50110528385285], [24, 16, 3, 18, 4, 18, 5, 6, 25, -44.53485547173675], [24, 8, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.3461010010974], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.016847831666986], [24, 16, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.17347387662104], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.785517122444126], [24, 1, 2, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.9668909561833], [24, 8, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.11050256542854], [24, 2, 3, 18, 4, 18, 5, 6, 25, -49.545420061233415], [24, 8, 3, 18, 4, 18, 5, 6, 25, -49.5953014619338], [24, 16, 3, 18, 4, 18, 5, 6, 25, -49.6290516498177], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.913879689451385], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -66.46587321065088], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.26807648132448], [24, 2, 3, 18, 4, 4, 18, 5, 6, 25, -48.018279615695306], [24, 8, 3, 18, 4, 4, 18, 5, 6, 25, -48.06816101639569], [24, 16, 3, 18, 4, 4, 18, 5, 6, 25, -48.101911204279595], [24, 8, 8, 9, 19, 1, 18, 4, 4, 18, 5, 6, 25, -93.23348468803701], [24, 8, 8, 8, 8, 9, 18, 4, 4, 18, 5, 6, 25, -93.39254044437602], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -94.03273718309603], [24, 2, 3, 18, 4, 18, 5, 6, 25, -42.796017552066], [24, 8, 3, 18, 4, 18, 5, 6, 25, -42.84589895276639], [24, 16, 3, 18, 4, 18, 5, 6, 25, -42.87964914065029], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.61774196995776], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -66.16973549115725], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -66.97193876183086]])
True
>>> State_File ='./dev_set/State_File'
>>> Symbol_File='./dev_set/Symbol_File'
>>> Query_File ='./dev_set/Query_File'
>>> top_k_result = top_k_viterbi(State_File, Symbol_File, Query_File, 5)
>>> check_paths_match(top_k_result, [[24, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.407178051467], [24, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.455715093088514], [24, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.541036605690934], [24, 15, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.665509518314934], [24, 8, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.707251109644545], [24, 2, 3, 18, 4, 18, 5, 6, 25, -39.754151979072745], [24, 8, 3, 18, 4, 18, 5, 6, 25, -39.80403337977314], [24, 16, 3, 18, 4, 18, 5, 6, 25, -39.83778356765704], [24, 10, 3, 18, 4, 18, 5, 6, 25, -40.044836120702854], [24, 0, 3, 18, 4, 18, 5, 6, 25, -40.113398234029695], [24, 8, 9, 18, 4, 18, 5, 6, 25, -52.434767466887855], [24, 16, 0, 18, 4, 18, 5, 6, 25, -54.34020871578131], [24, 15, 9, 18, 4, 18, 5, 6, 25, -54.66170941687661], [24, 0, 19, 18, 4, 18, 5, 6, 25, -56.055384847728845], [24, 8, 8, 18, 4, 18, 5, 6, 25, -56.5010823313127], [24, 16, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -76.94428109077145], [24, 8, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -77.132880182979], [24, 8, 8, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -78.86770282664222], [24, 1, 2, 2, 1, 2, 3, 18, 4, 18, 5, 6, 25, -79.29926787639593], [24, 15, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -79.35982213296774], [24, 8, 8, 8, 9, 19, 1, 20, 1, 19, 1, 2, 18, 4, 18, 5, 6, 25, -138.52973619808222], [24, 8, 8, 8, 9, 19, 1, 20, 1, 19, 1, 9, 18, 4, 18, 5, 6, 25, -139.3362470686313], [24, 8, 8, 8, 9, 19, 1, 20, 1, 19, 1, 20, 18, 4, 18, 5, 6, 25, -139.51819711619137], [24, 8, 9, 15, 9, 19, 1, 20, 1, 19, 1, 2, 18, 4, 18, 5, 6, 25, -139.76701699955234], [24, 8, 9, 16, 0, 19, 1, 20, 1, 19, 1, 2, 18, 4, 18, 5, 6, 25, -139.78189442186], [24, 0, 19, 2, 3, 18, 4, 18, 5, 6, 25, -57.933602617797774], [24, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -60.35340071384975], [24, 9, 19, 2, 3, 18, 4, 18, 5, 6, 25, -60.48559613899725], [24, 8, 9, 2, 3, 18, 4, 18, 5, 6, 25, -60.79838354016053], [24, 8, 19, 2, 3, 18, 4, 18, 5, 6, 25, -61.28779940967085], [24, 0, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -67.23603253597994], [24, 9, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -69.78802605717944], [24, 8, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -70.59022932785304], [24, 16, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -70.62397951573693], [24, 10, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -70.83103206878275], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.29652777494088], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.84852129614037], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.65072456681397], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.68447475469787], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.89152730774368], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.16051205107227], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.71250557227177], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.51470884294537], [24, 16, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.54845903082926], [24, 10, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.75551158387508], [24, 8, 8, 9, 18, 2, 3, 4, 18, 4, 18, 5, 6, 25, -86.18266981585235], [24, 8, 8, 9, 18, 1, 2, 3, 18, 4, 18, 5, 6, 25, -86.81488414693297], [24, 8, 8, 9, 18, 5, 3, 4, 18, 4, 18, 5, 6, 25, -86.92773212100323], [24, 1, 2, 3, 18, 2, 3, 4, 18, 4, 18, 5, 6, 25, -87.00188011254421], [24, 8, 8, 9, 18, 13, 3, 4, 18, 4, 18, 5, 6, 25, -87.14341174999468], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -41.4564619663574], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -43.117616590030366], [24, 8, 2, 3, 18, 4, 18, 5, 6, 25, -45.71002719315686], [24, 16, 2, 3, 18, 4, 18, 5, 6, 25, -45.743777381040765], [24, 23, 2, 3, 18, 4, 18, 5, 6, 25, -45.95082993408658], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -66.34472246856906], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -68.89671598976855], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.69891926044215], [24, 16, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.73266944832605], [24, 10, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.93972200137186], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.89034807054728], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.442341591746775], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.24454486242037], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.27829505030427], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.485347603350085], [24, 8, 9, 18, 4, 18, 5, 6, 25, -49.14004393438609], [24, 16, 0, 18, 4, 18, 5, 6, 25, -51.045485183279546], [24, 2, 3, 18, 4, 18, 5, 6, 25, -51.248339727827535], [24, 8, 3, 18, 4, 18, 5, 6, 25, -51.29822112852793], [24, 16, 3, 18, 4, 18, 5, 6, 25, -51.331971316411824], [24, 0, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -68.186353239099], [24, 9, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -68.6443064191975], [24, 15, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -69.70704897041443], [24, 8, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -69.74879056174404], [24, 16, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -70.47568793018789], [24, 8, 9, 15, 9, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -97.73059571252817], [24, 8, 8, 8, 9, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -98.69053948839428], [24, 16, 0, 19, 1, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -99.37495523244768], [24, 8, 9, 19, 1, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -99.56355432465521], [24, 0, 19, 15, 9, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -99.82515678987411], [24, 0, 18, 4, 4, 18, 2, 3, 18, 4, 18, 5, 6, 25, -80.04925807202758], [24, 9, 18, 4, 4, 18, 2, 3, 18, 4, 18, 5, 6, 25, -80.5072112521261], [24, 0, 18, 8, 9, 18, 2, 3, 18, 4, 18, 5, 6, 25, -81.22987183441889], [24, 0, 18, 4, 4, 18, 4, 3, 18, 4, 18, 5, 6, 25, -81.36128836952132], [24, 15, 18, 4, 4, 18, 2, 3, 18, 4, 18, 5, 6, 25, -81.569953803343], [24, 0, 19, 1, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -83.99455458864036], [24, 9, 19, 1, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -86.54654810983985], [24, 8, 19, 1, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -87.34875138051345], [24, 16, 19, 1, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -87.38250156839734], [24, 10, 19, 1, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -87.58955412144316], [24, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.07773654305999], [24, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -61.636961094963155], [24, 8, 9, 2, 3, 18, 4, 18, 5, 6, 25, -62.08194392127393], [24, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.126273584681506], [24, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.21159509728393], [24, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -58.339645642258155], [24, 8, 9, 2, 3, 18, 4, 18, 5, 6, 25, -59.88324075723704], [24, 10, 2, 2, 3, 18, 4, 18, 5, 6, 25, -60.00080026593112], [24, 1, 20, 2, 3, 18, 4, 18, 5, 6, 25, -60.77081501076728], [24, 8, 10, 2, 3, 18, 4, 18, 5, 6, 25, -60.90071346683518], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.007833199284136], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.55982672048362], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.36202999115722], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.395780179041125], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.60283273208694], [24, 8, 9, 18, 4, 18, 5, 6, 25, -51.32683245956923], [24, 16, 0, 18, 4, 18, 5, 6, 25, -53.23227370846268], [24, 15, 9, 18, 4, 18, 5, 6, 25, -53.55377440955798], [24, 0, 1, 18, 4, 18, 5, 6, 25, -54.0695233786712], [24, 0, 19, 18, 4, 18, 5, 6, 25, -54.94744984041022], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -66.72901286917302], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.28100639037251], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.08320966104611], [24, 16, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.11695984893001], [24, 10, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.32401240197582], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -60.04747713376548], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -62.599470654964975], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.401673925638576], [24, 16, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.43542411352247], [24, 10, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.642476666568285], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.01241453115328], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.564408052352775], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.366611323026376], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.40036151091027], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.607414063956085], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.742526375138006], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -66.29451989633749], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.09672316701109], [24, 16, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.13047335489499], [24, 10, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.3375259079408], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.368526026271006], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.9205195474705], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.7227228181441], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.756473006027996], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.96352555907381], [24, 0, 19, 1, 18, 4, 18, 5, 6, 25, -53.6343020429981], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -53.642157063913636], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.82909214073081], [24, 8, 9, 1, 18, 4, 18, 5, 6, 25, -54.95928748598251], [24, 9, 19, 1, 18, 4, 18, 5, 6, 25, -56.186295564197586], [24, 16, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -79.91942625196758], [24, 8, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -80.10802534417512], [24, 8, 8, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -81.84284798783835], [24, 0, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -81.96329759927717], [24, 15, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -82.33496729416386], [24, 2, 3, 18, 4, 18, 5, 6, 25, -42.6094010353643], [24, 8, 3, 18, 4, 18, 5, 6, 25, -42.659282436064686], [24, 16, 3, 18, 4, 18, 5, 6, 25, -42.69303262394858], [24, 10, 3, 18, 4, 18, 5, 6, 25, -42.900085176994395], [24, 0, 3, 18, 4, 18, 5, 6, 25, -42.96864729032124], [24, 2, 3, 18, 4, 18, 5, 6, 25, -40.142775587458786], [24, 8, 3, 18, 4, 18, 5, 6, 25, -40.19265698815918], [24, 16, 3, 18, 4, 18, 5, 6, 25, -40.226407176043075], [24, 10, 3, 18, 4, 18, 5, 6, 25, -40.43345972908889], [24, 0, 3, 18, 4, 18, 5, 6, 25, -40.50202184241573], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.86786604191135], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.41985956311084], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.22206283378444], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.25581302166834], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.46286557471415], [24, 0, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -66.52089664682067], [24, 9, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -69.07289016802015], [24, 8, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -69.87509343869375], [24, 16, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -69.90884362657766], [24, 10, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -70.11589617962348], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -56.426409954381135], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.24562025107299], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -58.906774874745956], [24, 16, 8, 9, 18, 4, 18, 5, 6, 25, -59.63821397261298], [24, 10, 8, 9, 18, 4, 18, 5, 6, 25, -59.84526652565879], [24, 16, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -67.20645744850664], [24, 8, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -67.30804516372454], [24, 0, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -69.20454386260182], [24, 15, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -69.5349871137133], [24, 19, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -70.25308090422334], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.734255091117745], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.28624861231724], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.08845188299084], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.122202070874735], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.32925462392055], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.660708009813646], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.21270153101313], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.01490480168673], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.04865498957063], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.25570754261644], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.58691230104886], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.138905822248354], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.941109092921955], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.97485928080585], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.181911833851665], [24, 8, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -68.4581050631668], [24, 16, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -68.86734297171488], [24, 15, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.68504701315555], [24, 0, 1, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.79987436964436], [24, 19, 1, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -71.84841141126587], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.469233711801564], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.021227233001056], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.82343050367466], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.857180691558554], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -64.06423324460437], [24, 0, 19, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -73.3653081056723], [24, 8, 9, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -74.69029354865671], [24, 8, 8, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.04575005224885], [24, 9, 19, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.91730162687179], [24, 16, 0, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.91982942342473], [24, 2, 3, 18, 4, 18, 5, 6, 25, -45.10756137449559], [24, 8, 3, 18, 4, 18, 5, 6, 25, -45.15744277519598], [24, 16, 3, 18, 4, 18, 5, 6, 25, -45.191192963079885], [24, 10, 3, 18, 4, 18, 5, 6, 25, -45.3982455161257], [24, 0, 3, 18, 4, 18, 5, 6, 25, -45.46680762945254], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -65.03576798447783], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -67.58776150567732], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -68.38996477635092], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -68.42371496423482], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -68.63076751728063], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -68.27271208901884], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -70.82470561021833], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -71.62690888089193], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -71.66065906877583], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -71.86771162182164], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.08642575641911], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.6384192776186], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.440622548292204], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.4743727361761], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.68142528922191], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -54.962045513474024], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.781255810165874], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -57.442410433838845], [24, 16, 8, 9, 18, 4, 18, 5, 6, 25, -58.17384953170587], [24, 10, 8, 9, 18, 4, 18, 5, 6, 25, -58.38090208475168], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -52.55355100588994], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.10554452708943], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.90774779776303], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.94149798564693], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.148550538692746], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.4453337192611], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.997327240460585], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.799530511134186], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.83328069901809], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.0403332520639], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -50.56965642171899], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.12164994291848], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.92385321359208], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.95760340147598], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.16465595452179], [24, 0, 1, 2, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -73.92187884497085], [24, 19, 1, 2, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -74.97041588659236], [24, 9, 1, 2, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -75.05573739919478], [24, 15, 1, 2, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -75.18021031181878], [24, 8, 1, 2, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -75.2219519031484], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.94827027995954], [24, 8, 9, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -72.27325572294394], [24, 8, 8, 9, 2, 3, 18, 4, 4, 18, 5, 6, 25, -73.02599372713242], [24, 8, 9, 10, 2, 3, 18, 4, 4, 18, 5, 6, 25, -73.11264578823487], [24, 8, 9, 23, 2, 3, 18, 4, 4, 18, 5, 6, 25, -73.11264578823487], [24, 16, 0, 19, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.45459331131069], [24, 8, 9, 19, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.64319240351823], [24, 8, 8, 8, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -77.09474156697011], [24, 1, 20, 19, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -77.22391383760842], [24, 8, 8, 9, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -77.37801504718146], [24, 0, 18, 8, 9, 18, 2, 2, 3, 18, 4, 18, 5, 6, 25, -79.55782082236264], [24, 9, 18, 8, 9, 18, 2, 2, 3, 18, 4, 18, 5, 6, 25, -80.01577400246116], [24, 0, 18, 4, 9, 18, 2, 2, 3, 18, 4, 18, 5, 6, 25, -80.42621357062421], [24, 0, 18, 15, 9, 18, 2, 2, 3, 18, 4, 18, 5, 6, 25, -80.56277146252279], [24, 0, 18, 4, 4, 18, 2, 2, 3, 18, 4, 18, 5, 6, 25, -80.67979215296538], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -60.24167993282755], [24, 8, 9, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -61.56666537581196], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -62.79367345402704], [24, 16, 0, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -62.79620125057997], [24, 1, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -62.902264351869164], [24, 0, 19, 1, 2, 18, 4, 18, 5, 6, 25, -63.206213499342965], [24, 0, 19, 1, 3, 18, 4, 18, 5, 6, 25, -63.263138063425856], [24, 0, 19, 1, 9, 18, 4, 18, 5, 6, 25, -65.41671830811134], [24, 0, 19, 1, 20, 18, 4, 18, 5, 6, 25, -65.5986683556714], [24, 9, 19, 1, 2, 18, 4, 18, 5, 6, 25, -65.75820702054244], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.61847068751436], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.170464208713845], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.97266747938745], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.00641766727135], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.21347022031716], [24, 0, 19, 2, 3, 18, 4, 18, 5, 6, 25, -69.06528910789815], [24, 0, 19, 12, 3, 18, 4, 18, 5, 6, 25, -69.20358166910218], [24, 0, 19, 17, 3, 18, 4, 18, 5, 6, 25, -69.78746170665278], [24, 0, 19, 21, 3, 18, 4, 18, 5, 6, 25, -69.78746170665278], [24, 0, 19, 22, 3, 18, 4, 18, 5, 6, 25, -69.78746170665278], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -65.91641292105788], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -68.46840644225738], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.27060971293098], [24, 16, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.30435990081487], [24, 10, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.51141245386069], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -50.320993150434084], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -52.87298667163357], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.67518994230717], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.708940130191074], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.91599268323689], [24, 2, 3, 18, 4, 18, 5, 6, 25, -42.09602663600471], [24, 8, 3, 18, 4, 18, 5, 6, 25, -42.1459080367051], [24, 16, 3, 18, 4, 18, 5, 6, 25, -42.179658224589005], [24, 10, 3, 18, 4, 18, 5, 6, 25, -42.38671077763482], [24, 0, 3, 18, 4, 18, 5, 6, 25, -42.45527289096166], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.099466774787025], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.6514602959865], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.453663566660104], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.487413754544015], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.69446630758981], [24, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -46.16609346609039], [24, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -47.21463050771191], [24, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -47.299952020314336], [24, 15, 1, 2, 3, 18, 4, 18, 5, 6, 25, -47.42442493293832], [24, 8, 1, 2, 3, 18, 4, 18, 5, 6, 25, -47.46616652426793], [24, 1, 2, 3, 18, 1, 2, 18, 4, 18, 5, 6, 25, -72.14212691254828], [24, 10, 2, 3, 18, 1, 2, 18, 4, 18, 5, 6, 25, -73.80328153622123], [24, 1, 2, 3, 18, 4, 4, 18, 4, 18, 5, 6, 25, -74.59507907641256], [24, 1, 2, 3, 18, 1, 4, 18, 4, 18, 5, 6, 25, -75.71533247169594], [24, 10, 2, 3, 18, 4, 4, 18, 4, 18, 5, 6, 25, -76.25623370008552], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -55.43504994195047], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.25426023864232], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -57.91541486231529], [24, 16, 8, 9, 18, 4, 18, 5, 6, 25, -58.64685396018231], [24, 10, 8, 9, 18, 4, 18, 5, 6, 25, -58.853906513228125], [24, 1, 2, 3, 18, 1, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -90.31990749732773], [24, 8, 4, 4, 18, 1, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -90.56954600042639], [24, 16, 4, 4, 18, 1, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -90.60329618831028], [24, 10, 4, 4, 18, 1, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -90.81034874135608], [24, 0, 4, 4, 18, 1, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -90.87891085468294], [24, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -57.58994915035009], [24, 10, 2, 2, 3, 18, 4, 18, 5, 6, 25, -59.25110377402305], [24, 8, 9, 2, 3, 18, 4, 18, 5, 6, 25, -60.51983862644886], [24, 16, 0, 19, 3, 18, 4, 18, 5, 6, 25, -61.14955407973468], [24, 8, 8, 9, 3, 18, 4, 18, 5, 6, 25, -61.2628672077092], [24, 1, 2, 2, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -87.38913040942698], [24, 8, 9, 2, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -87.83411323573776], [24, 0, 19, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -87.94122306959883], [24, 8, 8, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -88.14576334776223], [24, 1, 2, 2, 2, 20, 2, 3, 18, 4, 18, 5, 6, 25, -88.68220125414119], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -52.719237418638855], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.538447715330705], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -55.199602339003675], [24, 16, 8, 9, 18, 4, 18, 5, 6, 25, -55.9310414368707], [24, 10, 8, 9, 18, 4, 18, 5, 6, 25, -56.13809398991651], [24, 1, 2, 20, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.17549923581448], [24, 16, 0, 20, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.67697305344238], [24, 8, 9, 20, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.72837102413644], [24, 0, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.98932899621961], [24, 0, 19, 20, 2, 2, 3, 18, 4, 18, 5, 6, 25, -76.21349418904828], [24, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -51.75431461630585], [24, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -52.80285165792736], [24, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -52.8881731705298], [24, 15, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.01264608315378], [24, 8, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.054387674483394], [24, 2, 3, 18, 4, 18, 5, 6, 25, -41.6699207687882], [24, 8, 3, 18, 4, 18, 5, 6, 25, -41.7198021694886], [24, 16, 3, 18, 4, 18, 5, 6, 25, -41.7535523573725], [24, 10, 3, 18, 4, 18, 5, 6, 25, -41.96060491041831], [24, 0, 3, 18, 4, 18, 5, 6, 25, -42.02916702374516], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.68858910993885], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.24058263113833], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.04278590181193], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.07653608969584], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.283588642741655], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -49.561123494508934], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -51.222278118181904], [24, 8, 9, 3, 18, 4, 18, 5, 6, 25, -51.835137184844996], [24, 0, 19, 3, 18, 4, 18, 5, 6, 25, -52.320260349756836], [24, 16, 0, 3, 18, 4, 18, 5, 6, 25, -52.47688639471089], [24, 1, 2, 2, 3, 18, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -93.08913381658303], [24, 10, 2, 2, 3, 18, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -94.750288440256], [24, 8, 9, 2, 3, 18, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -95.93201191569217], [24, 1, 20, 2, 3, 18, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -96.81958616922242], [24, 8, 10, 2, 3, 18, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -96.94948462529031], [24, 16, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.27281244521978], [24, 0, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.31987326100391], [24, 8, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.560023826095424], [24, 19, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.36841030262543], [24, 9, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.45373181522785], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -51.50002775099704], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.052021272196534], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.854224542870135], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.88797473075403], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.095027283799844], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -52.50741511366613], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.05940863486561], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.86161190553921], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.89536209342312], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.10241464646893], [24, 2, 3, 18, 4, 18, 5, 6, 25, -44.543155752099665], [24, 8, 3, 18, 4, 18, 5, 6, 25, -44.59303715280006], [24, 16, 3, 18, 4, 18, 5, 6, 25, -44.62678734068396], [24, 10, 3, 18, 4, 18, 5, 6, 25, -44.833839893729774], [24, 0, 3, 18, 4, 18, 5, 6, 25, -44.902402007056615], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -54.962045513474024], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.781255810165874], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -57.442410433838845], [24, 16, 8, 9, 18, 4, 18, 5, 6, 25, -58.17384953170587], [24, 10, 8, 9, 18, 4, 18, 5, 6, 25, -58.38090208475168], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.04819253478041], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.600186055979904], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.402389326653505], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.4361395145374], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.643192067583215], [24, 0, 19, 1, 20, 1, 2, 2, 20, 2, 3, 18, 4, 18, 5, 6, 25, -119.20619562871903], [24, 8, 9, 1, 20, 1, 2, 2, 20, 2, 3, 18, 4, 18, 5, 6, 25, -120.53118107170343], [24, 0, 19, 1, 19, 1, 2, 2, 20, 2, 3, 18, 4, 18, 5, 6, 25, -120.66131266591515], [24, 0, 19, 1, 20, 1, 2, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -121.43948530862096], [24, 0, 19, 1, 20, 1, 20, 2, 20, 2, 3, 18, 4, 18, 5, 6, 25, -121.63736499722813], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -50.85324603329972], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.40523955449921], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.20744282517281], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.24119301305671], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.44824556610252], [24, 0, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -58.93493056527702], [24, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -59.983467606898536], [24, 9, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -60.06878911950096], [24, 15, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -60.193262032124956], [24, 8, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -60.23500362345457], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -65.7419611085753], [24, 0, 19, 2, 2, 3, 18, 4, 18, 5, 6, 25, -66.83876405079934], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -68.29395462977477], [24, 0, 19, 10, 2, 3, 18, 4, 18, 5, 6, 25, -68.39145978176246], [24, 0, 19, 23, 2, 3, 18, 4, 18, 5, 6, 25, -68.39145978176246], [24, 2, 3, 18, 4, 18, 5, 6, 25, -45.50406775316821], [24, 8, 3, 18, 4, 18, 5, 6, 25, -45.5539491538686], [24, 16, 3, 18, 4, 18, 5, 6, 25, -45.5876993417525], [24, 10, 3, 18, 4, 18, 5, 6, 25, -45.79475189479831], [24, 0, 3, 18, 4, 18, 5, 6, 25, -45.86331400812516], [24, 0, 1, 2, 3, 18, 4, 4, 4, 4, 4, 18, 5, 6, 25, -85.6096721148282], [24, 19, 1, 2, 3, 18, 4, 4, 4, 4, 4, 18, 5, 6, 25, -86.65820915644971], [24, 9, 1, 2, 3, 18, 4, 4, 4, 4, 4, 18, 5, 6, 25, -86.74353066905213], [24, 15, 1, 2, 3, 18, 4, 4, 4, 4, 4, 18, 5, 6, 25, -86.86800358167613], [24, 8, 1, 2, 3, 18, 4, 4, 4, 4, 4, 18, 5, 6, 25, -86.90974517300575], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.06108440267953], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.61307792387902], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.41528119455262], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.44903138243652], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.656083935482336], [24, 2, 3, 18, 4, 18, 5, 6, 25, -38.86472829113796], [24, 8, 3, 18, 4, 18, 5, 6, 25, -38.91460969183835], [24, 16, 3, 18, 4, 18, 5, 6, 25, -38.94835987972225], [24, 10, 3, 18, 4, 18, 5, 6, 25, -39.15541243276806], [24, 0, 3, 18, 4, 18, 5, 6, 25, -39.2239745460949], [24, 0, 19, 1, 18, 4, 4, 18, 5, 6, 25, -56.99022955932032], [24, 8, 8, 9, 18, 4, 4, 18, 5, 6, 25, -57.462259517809024], [24, 8, 9, 1, 18, 4, 4, 18, 5, 6, 25, -58.31521500230473], [24, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -58.649194594626195], [24, 9, 19, 1, 18, 4, 4, 18, 5, 6, 25, -59.542223080519804], [24, 0, 19, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -72.6346652661331], [24, 8, 9, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -73.95965070911751], [24, 1, 2, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.1046065701894], [24, 9, 19, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.18665878733259], [24, 16, 0, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.18918658388553], [24, 0, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -74.45664744025565], [24, 19, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.50518448187715], [24, 9, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.59050599447959], [24, 15, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.71497890710357], [24, 8, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.75672049843318], [24, 2, 3, 18, 4, 18, 5, 6, 25, -44.45122388315245], [24, 8, 3, 18, 4, 18, 5, 6, 25, -44.50110528385285], [24, 16, 3, 18, 4, 18, 5, 6, 25, -44.53485547173675], [24, 10, 3, 18, 4, 18, 5, 6, 25, -44.74190802478256], [24, 0, 3, 18, 4, 18, 5, 6, 25, -44.81047013810941], [24, 8, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.3461010010974], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.016847831666986], [24, 16, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.17347387662104], [24, 0, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.45734664896312], [24, 15, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.57304295108616], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.785517122444126], [24, 1, 2, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.9668909561833], [24, 8, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.11050256542854], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.33751064364362], [24, 16, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.34003844019656], [24, 2, 3, 18, 4, 18, 5, 6, 25, -49.545420061233415], [24, 8, 3, 18, 4, 18, 5, 6, 25, -49.5953014619338], [24, 16, 3, 18, 4, 18, 5, 6, 25, -49.6290516498177], [24, 10, 3, 18, 4, 18, 5, 6, 25, -49.83610420286351], [24, 0, 3, 18, 4, 18, 5, 6, 25, -49.90466631619036], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.913879689451385], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -66.46587321065088], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.26807648132448], [24, 16, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.30182666920838], [24, 10, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.5088792222542], [24, 2, 3, 18, 4, 4, 18, 5, 6, 25, -48.018279615695306], [24, 8, 3, 18, 4, 4, 18, 5, 6, 25, -48.06816101639569], [24, 16, 3, 18, 4, 4, 18, 5, 6, 25, -48.101911204279595], [24, 10, 3, 18, 4, 4, 18, 5, 6, 25, -48.30896375732541], [24, 0, 3, 18, 4, 4, 18, 5, 6, 25, -48.37752587065225], [24, 8, 8, 9, 19, 1, 18, 4, 4, 18, 5, 6, 25, -93.23348468803701], [24, 8, 8, 8, 8, 9, 18, 4, 4, 18, 5, 6, 25, -93.39254044437602], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -94.03273718309603], [24, 8, 8, 9, 15, 9, 18, 4, 4, 18, 5, 6, 25, -94.62982124584614], [24, 8, 8, 8, 9, 1, 18, 4, 4, 18, 5, 6, 25, -94.96830733170025], [24, 2, 3, 18, 4, 18, 5, 6, 25, -42.796017552066], [24, 8, 3, 18, 4, 18, 5, 6, 25, -42.84589895276639], [24, 16, 3, 18, 4, 18, 5, 6, 25, -42.87964914065029], [24, 10, 3, 18, 4, 18, 5, 6, 25, -43.0867016936961], [24, 0, 3, 18, 4, 18, 5, 6, 25, -43.15526380702294], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.61774196995776], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -66.16973549115725], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -66.97193876183086], [24, 16, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.00568894971475], [24, 10, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.21274150276057]])
True
>>> State_File ='./dev_set/State_File'
>>> Symbol_File='./dev_set/Symbol_File'
>>> Query_File ='./dev_set/Query_File'
>>> top_k_result = top_k_viterbi(State_File, Symbol_File, Query_File, 10)
>>> check_paths_match(top_k_result, [[24, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.407178051467], [24, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.455715093088514], [24, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.541036605690934], [24, 15, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.665509518314934], [24, 8, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.707251109644545], [24, 16, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.74100129752844], [24, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -59.88269333524431], [24, 7, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.932624732778464], [24, 10, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.948053850574254], [24, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.99302822058259], [24, 2, 3, 18, 4, 18, 5, 6, 25, -39.754151979072745], [24, 8, 3, 18, 4, 18, 5, 6, 25, -39.80403337977314], [24, 16, 3, 18, 4, 18, 5, 6, 25, -39.83778356765704], [24, 10, 3, 18, 4, 18, 5, 6, 25, -40.044836120702854], [24, 0, 3, 18, 4, 18, 5, 6, 25, -40.113398234029695], [24, 15, 3, 18, 4, 18, 5, 6, 25, -40.455438969003474], [24, 1, 3, 18, 4, 18, 5, 6, 25, -40.971003152245956], [24, 7, 3, 18, 4, 18, 5, 6, 25, -41.41570136402695], [24, 17, 3, 18, 4, 18, 5, 6, 25, -41.72908754632274], [24, 11, 3, 18, 4, 18, 5, 6, 25, -41.80324075301756], [24, 8, 9, 18, 4, 18, 5, 6, 25, -52.434767466887855], [24, 16, 0, 18, 4, 18, 5, 6, 25, -54.34020871578131], [24, 15, 9, 18, 4, 18, 5, 6, 25, -54.66170941687661], [24, 0, 19, 18, 4, 18, 5, 6, 25, -56.055384847728845], [24, 8, 8, 18, 4, 18, 5, 6, 25, -56.5010823313127], [24, 16, 9, 18, 4, 18, 5, 6, 25, -56.52896066531818], [24, 10, 9, 18, 4, 18, 5, 6, 25, -56.73601321836399], [24, 0, 9, 18, 4, 18, 5, 6, 25, -56.804575331690835], [24, 11, 9, 18, 4, 18, 5, 6, 25, -57.395805562010594], [24, 8, 0, 18, 4, 18, 5, 6, 25, -57.525334352765604], [24, 16, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -76.94428109077145], [24, 8, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -77.132880182979], [24, 8, 8, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -78.86770282664222], [24, 1, 2, 2, 1, 2, 3, 18, 4, 18, 5, 6, 25, -79.29926787639593], [24, 15, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -79.35982213296774], [24, 8, 9, 7, 1, 2, 3, 18, 4, 18, 5, 6, 25, -80.03753805861697], [24, 8, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -80.12940672775574], [24, 10, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -80.37020946868546], [24, 0, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -80.4387715820123], [24, 0, 19, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -80.45121669194705], [24, 8, 8, 8, 9, 19, 1, 20, 1, 19, 1, 2, 18, 4, 18, 5, 6, 25, -138.52973619808222], [24, 8, 8, 8, 9, 19, 1, 20, 1, 19, 1, 9, 18, 4, 18, 5, 6, 25, -139.3362470686313], [24, 8, 8, 8, 9, 19, 1, 20, 1, 19, 1, 20, 18, 4, 18, 5, 6, 25, -139.51819711619137], [24, 8, 9, 15, 9, 19, 1, 20, 1, 19, 1, 2, 18, 4, 18, 5, 6, 25, -139.76701699955234], [24, 8, 9, 16, 0, 19, 1, 20, 1, 19, 1, 2, 18, 4, 18, 5, 6, 25, -139.78189442186], [24, 8, 8, 8, 9, 19, 1, 19, 1, 19, 1, 2, 18, 4, 18, 5, 6, 25, -139.98485323527836], [24, 0, 19, 1, 2, 20, 1, 20, 1, 19, 1, 2, 18, 4, 18, 5, 6, 25, -140.0630536000826], [24, 8, 8, 8, 9, 19, 1, 20, 1, 19, 1, 3, 18, 4, 18, 5, 6, 25, -140.07303858184198], [24, 8, 8, 8, 8, 9, 1, 20, 1, 19, 1, 2, 18, 4, 18, 5, 6, 25, -140.26455884174547], [24, 0, 19, 16, 0, 19, 1, 20, 1, 19, 1, 2, 18, 4, 18, 5, 6, 25, -140.26701758677183], [24, 0, 19, 2, 3, 18, 4, 18, 5, 6, 25, -57.933602617797774], [24, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -60.35340071384975], [24, 9, 19, 2, 3, 18, 4, 18, 5, 6, 25, -60.48559613899725], [24, 8, 9, 2, 3, 18, 4, 18, 5, 6, 25, -60.79838354016053], [24, 8, 19, 2, 3, 18, 4, 18, 5, 6, 25, -61.28779940967085], [24, 16, 19, 2, 3, 18, 4, 18, 5, 6, 25, -61.321549597554764], [24, 10, 19, 2, 3, 18, 4, 18, 5, 6, 25, -61.52860215060058], [24, 1, 20, 2, 3, 18, 4, 18, 5, 6, 25, -61.685957793690775], [24, 8, 10, 2, 3, 18, 4, 18, 5, 6, 25, -61.81585624975868], [24, 8, 23, 2, 3, 18, 4, 18, 5, 6, 25, -61.81585624975868], [24, 0, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -67.23603253597994], [24, 9, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -69.78802605717944], [24, 8, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -70.59022932785304], [24, 16, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -70.62397951573693], [24, 10, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -70.83103206878275], [24, 15, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -71.24163491708337], [24, 1, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -71.35173399221769], [24, 7, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -72.20189731210685], [24, 0, 19, 10, 2, 2, 3, 18, 4, 18, 5, 6, 25, -72.2834264819655], [24, 0, 19, 23, 2, 2, 3, 18, 4, 18, 5, 6, 25, -72.2834264819655], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.29652777494088], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.84852129614037], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.65072456681397], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.68447475469787], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.89152730774368], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.302130156044306], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.41222923117862], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.262392551067784], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.57577873336357], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.64993194005839], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.16051205107227], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.71250557227177], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.51470884294537], [24, 16, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.54845903082926], [24, 10, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.75551158387508], [24, 15, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -71.1661144321757], [24, 1, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -71.27621350731002], [24, 7, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -72.12637682719918], [24, 17, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -72.43976300949497], [24, 11, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -72.51391621618978], [24, 8, 8, 9, 18, 2, 3, 4, 18, 4, 18, 5, 6, 25, -86.18266981585235], [24, 8, 8, 9, 18, 1, 2, 3, 18, 4, 18, 5, 6, 25, -86.81488414693297], [24, 8, 8, 9, 18, 5, 3, 4, 18, 4, 18, 5, 6, 25, -86.92773212100323], [24, 1, 2, 3, 18, 2, 3, 4, 18, 4, 18, 5, 6, 25, -87.00188011254421], [24, 8, 8, 9, 18, 13, 3, 4, 18, 4, 18, 5, 6, 25, -87.14341174999468], [24, 8, 8, 9, 18, 4, 3, 4, 18, 4, 18, 5, 6, 25, -87.31716707328395], [24, 8, 8, 9, 18, 11, 3, 4, 18, 4, 18, 5, 6, 25, -87.38446072940997], [24, 8, 8, 9, 18, 12, 3, 4, 18, 4, 18, 5, 6, 25, -87.4195746657245], [24, 1, 2, 3, 18, 1, 2, 3, 18, 4, 18, 5, 6, 25, -87.63409444362483], [24, 8, 8, 9, 18, 15, 3, 4, 18, 4, 18, 5, 6, 25, -87.7414070376343], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -41.4564619663574], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -43.117616590030366], [24, 8, 2, 3, 18, 4, 18, 5, 6, 25, -45.71002719315686], [24, 16, 2, 3, 18, 4, 18, 5, 6, 25, -45.743777381040765], [24, 23, 2, 3, 18, 4, 18, 5, 6, 25, -45.95082993408658], [24, 0, 2, 3, 18, 4, 18, 5, 6, 25, -46.01939204741342], [24, 15, 2, 3, 18, 4, 18, 5, 6, 25, -46.3614327823872], [24, 2, 2, 3, 18, 4, 18, 5, 6, 25, -46.79602947592181], [24, 9, 2, 3, 18, 4, 18, 5, 6, 25, -47.04789008597953], [24, 20, 2, 3, 18, 4, 18, 5, 6, 25, -47.05185697834423], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -66.34472246856906], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -68.89671598976855], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.69891926044215], [24, 16, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.73266944832605], [24, 10, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.93972200137186], [24, 15, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.35032484967249], [24, 1, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.4604239248068], [24, 7, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -71.31058724469597], [24, 17, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -71.62397342699175], [24, 11, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -71.69812663368657], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.89034807054728], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.442341591746775], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.24454486242037], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.27829505030427], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.485347603350085], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.895950451650705], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.00604952678503], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.85621284667418], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -64.16959902896997], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -64.24375223566479], [24, 8, 9, 18, 4, 18, 5, 6, 25, -49.14004393438609], [24, 16, 0, 18, 4, 18, 5, 6, 25, -51.045485183279546], [24, 2, 3, 18, 4, 18, 5, 6, 25, -51.248339727827535], [24, 8, 3, 18, 4, 18, 5, 6, 25, -51.29822112852793], [24, 16, 3, 18, 4, 18, 5, 6, 25, -51.331971316411824], [24, 15, 9, 18, 4, 18, 5, 6, 25, -51.36698588437485], [24, 10, 3, 18, 4, 18, 5, 6, 25, -51.53902386945764], [24, 0, 3, 18, 4, 18, 5, 6, 25, -51.60758598278448], [24, 15, 3, 18, 4, 18, 5, 6, 25, -51.94962671775826], [24, 1, 3, 18, 4, 18, 5, 6, 25, -52.465190901000746], [24, 0, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -68.186353239099], [24, 9, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -68.6443064191975], [24, 15, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -69.70704897041443], [24, 8, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -69.74879056174404], [24, 16, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -70.47568793018789], [24, 10, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -70.6827404832337], [24, 7, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -71.36045854599786], [24, 14, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -71.74799793498846], [24, 3, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -72.02015526202344], [24, 1, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -72.30205469533675], [24, 8, 9, 15, 9, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -97.73059571252817], [24, 8, 8, 8, 9, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -98.69053948839428], [24, 16, 0, 19, 1, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -99.37495523244768], [24, 8, 9, 19, 1, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -99.56355432465521], [24, 0, 19, 15, 9, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -99.82515678987411], [24, 15, 9, 15, 9, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -99.95753766251693], [24, 16, 0, 15, 9, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -99.98178283482817], [24, 8, 8, 15, 9, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -100.27085427345797], [24, 1, 2, 15, 9, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -100.32005967195208], [24, 8, 9, 8, 9, 18, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -100.93777267024652], [24, 0, 18, 4, 4, 18, 2, 3, 18, 4, 18, 5, 6, 25, -80.04925807202758], [24, 9, 18, 4, 4, 18, 2, 3, 18, 4, 18, 5, 6, 25, -80.5072112521261], [24, 0, 18, 8, 9, 18, 2, 3, 18, 4, 18, 5, 6, 25, -81.22987183441889], [24, 0, 18, 4, 4, 18, 4, 3, 18, 4, 18, 5, 6, 25, -81.36128836952132], [24, 15, 18, 4, 4, 18, 2, 3, 18, 4, 18, 5, 6, 25, -81.569953803343], [24, 8, 18, 4, 4, 18, 2, 3, 18, 4, 18, 5, 6, 25, -81.61169539467261], [24, 9, 18, 8, 9, 18, 2, 3, 18, 4, 18, 5, 6, 25, -81.68782501451739], [24, 9, 18, 4, 4, 18, 4, 3, 18, 4, 18, 5, 6, 25, -81.81924154961983], [24, 0, 18, 4, 1, 18, 2, 3, 18, 4, 18, 5, 6, 25, -81.87928952824055], [24, 0, 18, 19, 1, 18, 2, 3, 18, 4, 18, 5, 6, 25, -81.89306437190234], [24, 0, 19, 1, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -83.99455458864036], [24, 9, 19, 1, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -86.54654810983985], [24, 8, 19, 1, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -87.34875138051345], [24, 16, 19, 1, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -87.38250156839734], [24, 10, 19, 1, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -87.58955412144316], [24, 15, 19, 1, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -88.00015696974377], [24, 1, 19, 1, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -88.1102560448781], [24, 0, 19, 1, 2, 3, 3, 18, 4, 4, 18, 5, 6, 25, -88.70837616742789], [24, 7, 19, 1, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -88.96041936476725], [24, 0, 19, 1, 2, 20, 3, 18, 4, 4, 18, 5, 6, 25, -89.1960978390597], [24, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.07773654305999], [24, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -61.636961094963155], [24, 8, 9, 2, 3, 18, 4, 18, 5, 6, 25, -62.08194392127393], [24, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.126273584681506], [24, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.21159509728393], [24, 15, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.336068009907926], [24, 8, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.37780960123754], [24, 16, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.41155978912143], [24, 7, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.603183224371456], [24, 10, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.618612342167246], [24, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -58.339645642258155], [24, 8, 9, 2, 3, 18, 4, 18, 5, 6, 25, -59.88324075723704], [24, 10, 2, 2, 3, 18, 4, 18, 5, 6, 25, -60.00080026593112], [24, 1, 20, 2, 3, 18, 4, 18, 5, 6, 25, -60.77081501076728], [24, 8, 10, 2, 3, 18, 4, 18, 5, 6, 25, -60.90071346683518], [24, 8, 23, 2, 3, 18, 4, 18, 5, 6, 25, -60.90071346683518], [24, 16, 10, 2, 3, 18, 4, 18, 5, 6, 25, -60.93446365471909], [24, 16, 23, 2, 3, 18, 4, 18, 5, 6, 25, -60.93446365471909], [24, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.95847492070293], [24, 0, 19, 2, 3, 18, 4, 18, 5, 6, 25, -61.06151110270883], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.007833199284136], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.55982672048362], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.36202999115722], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.395780179041125], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.60283273208694], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.01343558038756], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.12353465552188], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.973697975411035], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.28708415770682], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.361237364401646], [24, 8, 9, 18, 4, 18, 5, 6, 25, -51.32683245956923], [24, 16, 0, 18, 4, 18, 5, 6, 25, -53.23227370846268], [24, 15, 9, 18, 4, 18, 5, 6, 25, -53.55377440955798], [24, 0, 1, 18, 4, 18, 5, 6, 25, -54.0695233786712], [24, 0, 19, 18, 4, 18, 5, 6, 25, -54.94744984041022], [24, 19, 1, 18, 4, 18, 5, 6, 25, -55.118060420292714], [24, 9, 1, 18, 4, 18, 5, 6, 25, -55.20338193289514], [24, 15, 1, 18, 4, 18, 5, 6, 25, -55.327854845519134], [24, 8, 1, 18, 4, 18, 5, 6, 25, -55.369596436848745], [24, 8, 8, 18, 4, 18, 5, 6, 25, -55.39314732399407], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -66.72901286917302], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.28100639037251], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.08320966104611], [24, 16, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.11695984893001], [24, 10, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.32401240197582], [24, 15, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.73461525027643], [24, 1, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.84471432541075], [24, 7, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -71.69487764529991], [24, 17, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -72.0082638275957], [24, 11, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -72.08241703429051], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -60.04747713376548], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -62.599470654964975], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.401673925638576], [24, 16, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.43542411352247], [24, 10, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.642476666568285], [24, 15, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -64.05307951486891], [24, 1, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -64.16317859000323], [24, 7, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -65.01334190989239], [24, 17, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -65.32672809218818], [24, 11, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -65.400881298883], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.01241453115328], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.564408052352775], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.366611323026376], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.40036151091027], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.607414063956085], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.018016912256705], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.12811598739103], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.97827930728018], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.29166548957597], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.36581869627079], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.742526375138006], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -66.29451989633749], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.09672316701109], [24, 16, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.13047335489499], [24, 10, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.3375259079408], [24, 15, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.74812875624143], [24, 1, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.85822783137574], [24, 7, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -68.7083911512649], [24, 17, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.02177733356069], [24, 11, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.09593054025551], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.368526026271006], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.9205195474705], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.7227228181441], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.756473006027996], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.96352555907381], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.37412840737443], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.48422748250875], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.334390802397905], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.64777698469369], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.721930191388516], [24, 0, 19, 1, 18, 4, 18, 5, 6, 25, -53.6343020429981], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -53.642157063913636], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.82909214073081], [24, 8, 9, 1, 18, 4, 18, 5, 6, 25, -54.95928748598251], [24, 9, 19, 1, 18, 4, 18, 5, 6, 25, -56.186295564197586], [24, 16, 0, 1, 18, 4, 18, 5, 6, 25, -56.18882336075052], [24, 1, 20, 1, 18, 4, 18, 5, 6, 25, -56.294886462039706], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -56.49024676440377], [24, 16, 0, 19, 18, 4, 18, 5, 6, 25, -56.66433815186827], [24, 8, 9, 15, 18, 4, 18, 5, 6, 25, -56.677069188490236], [24, 16, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -79.91942625196758], [24, 8, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -80.10802534417512], [24, 8, 8, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -81.84284798783835], [24, 0, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -81.96329759927717], [24, 15, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -82.33496729416386], [24, 0, 1, 2, 1, 2, 3, 18, 4, 18, 5, 6, 25, -82.4319001131761], [24, 19, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -83.01183464089867], [24, 9, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -83.09715615350109], [24, 8, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -83.10455188895187], [24, 0, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -83.22142086679101], [24, 2, 3, 18, 4, 18, 5, 6, 25, -42.6094010353643], [24, 8, 3, 18, 4, 18, 5, 6, 25, -42.659282436064686], [24, 16, 3, 18, 4, 18, 5, 6, 25, -42.69303262394858], [24, 10, 3, 18, 4, 18, 5, 6, 25, -42.900085176994395], [24, 0, 3, 18, 4, 18, 5, 6, 25, -42.96864729032124], [24, 15, 3, 18, 4, 18, 5, 6, 25, -43.31068802529502], [24, 1, 3, 18, 4, 18, 5, 6, 25, -43.82625220853751], [24, 7, 3, 18, 4, 18, 5, 6, 25, -44.2709504203185], [24, 17, 3, 18, 4, 18, 5, 6, 25, -44.584336602614286], [24, 11, 3, 18, 4, 18, 5, 6, 25, -44.6584898093091], [24, 2, 3, 18, 4, 18, 5, 6, 25, -40.142775587458786], [24, 8, 3, 18, 4, 18, 5, 6, 25, -40.19265698815918], [24, 16, 3, 18, 4, 18, 5, 6, 25, -40.226407176043075], [24, 10, 3, 18, 4, 18, 5, 6, 25, -40.43345972908889], [24, 0, 3, 18, 4, 18, 5, 6, 25, -40.50202184241573], [24, 15, 3, 18, 4, 18, 5, 6, 25, -40.84406257738951], [24, 1, 3, 18, 4, 18, 5, 6, 25, -41.359626760632], [24, 7, 3, 18, 4, 18, 5, 6, 25, -41.804324972412985], [24, 17, 3, 18, 4, 18, 5, 6, 25, -42.11771115470877], [24, 11, 3, 18, 4, 18, 5, 6, 25, -42.19186436140359], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.86786604191135], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.41985956311084], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.22206283378444], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.25581302166834], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.46286557471415], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.87346842301477], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.98356749814909], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.83373081803825], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.147117000334035], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.22127020702886], [24, 0, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -66.52089664682067], [24, 9, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -69.07289016802015], [24, 8, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -69.87509343869375], [24, 16, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -69.90884362657766], [24, 10, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -70.11589617962348], [24, 15, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -70.52649902792407], [24, 1, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -70.6365981030584], [24, 7, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -71.48676142294755], [24, 17, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -71.80014760524334], [24, 11, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -71.87430081193817], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -56.426409954381135], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.24562025107299], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -58.906774874745956], [24, 16, 8, 9, 18, 4, 18, 5, 6, 25, -59.63821397261298], [24, 10, 8, 9, 18, 4, 18, 5, 6, 25, -59.84526652565879], [24, 0, 8, 9, 18, 4, 18, 5, 6, 25, -59.913828638985635], [24, 15, 8, 9, 18, 4, 18, 5, 6, 25, -60.25586937395941], [24, 8, 8, 8, 18, 4, 18, 5, 6, 25, -60.49272481880598], [24, 7, 8, 9, 18, 4, 18, 5, 6, 25, -60.52298458842295], [24, 1, 8, 9, 18, 4, 18, 5, 6, 25, -61.46458073776184], [24, 16, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -67.20645744850664], [24, 8, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -67.30804516372454], [24, 0, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -69.20454386260182], [24, 15, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -69.5349871137133], [24, 19, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -70.25308090422334], [24, 9, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -70.33840241682577], [24, 8, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -70.39158308549094], [24, 15, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -70.46287532944976], [24, 8, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -70.50461692077937], [24, 16, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -70.53836710866327], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.734255091117745], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.28624861231724], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.08845188299084], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.122202070874735], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.32925462392055], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.73985747222116], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.84995654735549], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -64.70011986724464], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -65.01350604954042], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -65.08765925623526], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.660708009813646], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.21270153101313], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.01490480168673], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.04865498957063], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.25570754261644], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.66631039091706], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.77640946605138], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -64.62657278594054], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -64.93995896823633], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -65.01411217493116], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.58691230104886], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.138905822248354], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.941109092921955], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.97485928080585], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.181911833851665], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.592514682152284], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.702613757286606], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.55277707717577], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.86616325947155], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.94031646616638], [24, 8, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -68.4581050631668], [24, 16, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -68.86734297171488], [24, 15, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.68504701315555], [24, 0, 1, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.79987436964436], [24, 19, 1, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -71.84841141126587], [24, 9, 1, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -71.93373292386829], [24, 8, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -72.05246860869919], [24, 15, 1, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -72.05820583649229], [24, 8, 1, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -72.0999474278219], [24, 16, 1, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -72.1336976157058], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.469233711801564], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.021227233001056], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.82343050367466], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.857180691558554], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -64.06423324460437], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -64.47483609290498], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -64.58493516803931], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -65.43509848792846], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -65.74848467022424], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -65.82263787691907], [24, 0, 19, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -73.3653081056723], [24, 8, 9, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -74.69029354865671], [24, 8, 8, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.04575005224885], [24, 9, 19, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.91730162687179], [24, 16, 0, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.91982942342473], [24, 1, 20, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -76.02589252471391], [24, 8, 8, 9, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -76.21868606647108], [24, 8, 8, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -76.37452011953694], [24, 8, 19, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -76.71950489754539], [24, 16, 19, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -76.7532550854293], [24, 2, 3, 18, 4, 18, 5, 6, 25, -45.10756137449559], [24, 8, 3, 18, 4, 18, 5, 6, 25, -45.15744277519598], [24, 16, 3, 18, 4, 18, 5, 6, 25, -45.191192963079885], [24, 10, 3, 18, 4, 18, 5, 6, 25, -45.3982455161257], [24, 0, 3, 18, 4, 18, 5, 6, 25, -45.46680762945254], [24, 15, 3, 18, 4, 18, 5, 6, 25, -45.80884836442632], [24, 1, 3, 18, 4, 18, 5, 6, 25, -46.3244125476688], [24, 7, 3, 18, 4, 18, 5, 6, 25, -46.769110759449795], [24, 17, 3, 18, 4, 18, 5, 6, 25, -47.08249694174558], [24, 11, 3, 18, 4, 18, 5, 6, 25, -47.156650148440406], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -65.03576798447783], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -67.58776150567732], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -68.38996477635092], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -68.42371496423482], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -68.63076751728063], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -69.04137036558124], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -69.15146944071557], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -70.00163276060472], [24, 0, 19, 1, 20, 3, 18, 4, 18, 5, 6, 25, -70.27679747002396], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -70.31501894290051], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -68.27271208901884], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -70.82470561021833], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -71.62690888089193], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -71.66065906877583], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -71.86771162182164], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -72.27831447012227], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -72.38841354525658], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -73.23857686514575], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -73.55196304744153], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -73.62611625413635], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.08642575641911], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.6384192776186], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.440622548292204], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.4743727361761], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.68142528922191], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -64.09202813752253], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -64.20212721265685], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -65.05229053254601], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -65.3656767148418], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -65.43982992153661], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -54.962045513474024], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.781255810165874], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -57.442410433838845], [24, 16, 8, 9, 18, 4, 18, 5, 6, 25, -58.17384953170587], [24, 10, 8, 9, 18, 4, 18, 5, 6, 25, -58.38090208475168], [24, 0, 8, 9, 18, 4, 18, 5, 6, 25, -58.449464198078516], [24, 15, 8, 9, 18, 4, 18, 5, 6, 25, -58.791504933052295], [24, 8, 8, 8, 18, 4, 18, 5, 6, 25, -59.02836037789886], [24, 7, 8, 9, 18, 4, 18, 5, 6, 25, -59.05862014751584], [24, 1, 8, 9, 18, 4, 18, 5, 6, 25, -60.00021629685473], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -52.55355100588994], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.10554452708943], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.90774779776303], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.94149798564693], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.148550538692746], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.559153386993366], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.66925246212769], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.51941578201684], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.83280196431263], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.90695517100745], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.4453337192611], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.997327240460585], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.799530511134186], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.83328069901809], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.0403332520639], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.45093610036452], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.561035175498844], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -64.41119849538799], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -64.72458467768378], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -64.79873788437861], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -50.56965642171899], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.12164994291848], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.92385321359208], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.95760340147598], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.16465595452179], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.57525880282241], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.68535787795673], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.53552119784589], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.848907380141675], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.9230605868365], [24, 0, 1, 2, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -73.92187884497085], [24, 19, 1, 2, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -74.97041588659236], [24, 9, 1, 2, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -75.05573739919478], [24, 15, 1, 2, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -75.18021031181878], [24, 8, 1, 2, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -75.2219519031484], [24, 16, 1, 2, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -75.25570209103229], [24, 7, 1, 2, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -75.44732552628231], [24, 10, 1, 2, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -75.4627546440781], [24, 20, 1, 2, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -75.50772901408644], [24, 1, 1, 2, 2, 2, 3, 18, 4, 4, 18, 5, 6, 25, -76.3889216756212], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.94827027995954], [24, 8, 9, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -72.27325572294394], [24, 8, 8, 9, 2, 3, 18, 4, 4, 18, 5, 6, 25, -73.02599372713242], [24, 8, 9, 10, 2, 3, 18, 4, 4, 18, 5, 6, 25, -73.11264578823487], [24, 8, 9, 23, 2, 3, 18, 4, 4, 18, 5, 6, 25, -73.11264578823487], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -73.50026380115902], [24, 16, 0, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -73.50279159771195], [24, 0, 19, 10, 2, 3, 18, 4, 4, 18, 5, 6, 25, -73.59776895314671], [24, 0, 19, 23, 2, 3, 18, 4, 4, 18, 5, 6, 25, -73.59776895314671], [24, 16, 0, 19, 2, 3, 18, 4, 4, 18, 5, 6, 25, -73.60582777971784], [24, 16, 0, 19, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.45459331131069], [24, 8, 9, 19, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.64319240351823], [24, 8, 8, 8, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -77.09474156697011], [24, 1, 20, 19, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -77.22391383760842], [24, 8, 8, 9, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -77.37801504718146], [24, 1, 20, 20, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -77.7612269651025], [24, 15, 9, 19, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -77.87013435350698], [24, 1, 20, 7, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -77.98850554975014], [24, 0, 20, 19, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -78.07105701163059], [24, 1, 20, 8, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -78.08948283885634], [24, 0, 18, 8, 9, 18, 2, 2, 3, 18, 4, 18, 5, 6, 25, -79.55782082236264], [24, 9, 18, 8, 9, 18, 2, 2, 3, 18, 4, 18, 5, 6, 25, -80.01577400246116], [24, 0, 18, 4, 9, 18, 2, 2, 3, 18, 4, 18, 5, 6, 25, -80.42621357062421], [24, 0, 18, 15, 9, 18, 2, 2, 3, 18, 4, 18, 5, 6, 25, -80.56277146252279], [24, 0, 18, 4, 4, 18, 2, 2, 3, 18, 4, 18, 5, 6, 25, -80.67979215296538], [24, 9, 18, 4, 9, 18, 2, 2, 3, 18, 4, 18, 5, 6, 25, -80.88416675072271], [24, 9, 18, 15, 9, 18, 2, 2, 3, 18, 4, 18, 5, 6, 25, -81.02072464262129], [24, 15, 18, 8, 9, 18, 2, 2, 3, 18, 4, 18, 5, 6, 25, -81.07851655367807], [24, 8, 18, 8, 9, 18, 2, 2, 3, 18, 4, 18, 5, 6, 25, -81.12025814500768], [24, 9, 18, 4, 4, 18, 2, 2, 3, 18, 4, 18, 5, 6, 25, -81.13774533306389], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -60.24167993282755], [24, 8, 9, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -61.56666537581196], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -62.79367345402704], [24, 16, 0, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -62.79620125057997], [24, 1, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -62.902264351869164], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.59587672470064], [24, 16, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.62962691258454], [24, 0, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.74940752589133], [24, 15, 9, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.793607325800714], [24, 10, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.836679465630354], [24, 0, 19, 1, 2, 18, 4, 18, 5, 6, 25, -63.206213499342965], [24, 0, 19, 1, 3, 18, 4, 18, 5, 6, 25, -63.263138063425856], [24, 0, 19, 1, 9, 18, 4, 18, 5, 6, 25, -65.41671830811134], [24, 0, 19, 1, 20, 18, 4, 18, 5, 6, 25, -65.5986683556714], [24, 9, 19, 1, 2, 18, 4, 18, 5, 6, 25, -65.75820702054244], [24, 9, 19, 1, 3, 18, 4, 18, 5, 6, 25, -65.81513158462533], [24, 0, 19, 8, 9, 18, 4, 18, 5, 6, 25, -66.09548134852191], [24, 0, 19, 1, 0, 18, 4, 18, 5, 6, 25, -66.44684218344268], [24, 0, 19, 1, 4, 18, 4, 18, 5, 6, 25, -66.50320601338763], [24, 8, 19, 1, 2, 18, 4, 18, 5, 6, 25, -66.56041029121604], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.61847068751436], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.170464208713845], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.97266747938745], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.00641766727135], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.21347022031716], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.62407306861778], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.734172143752104], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.58433546364126], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.89772164593705], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.97187485263187], [24, 0, 19, 2, 3, 18, 4, 18, 5, 6, 25, -69.06528910789815], [24, 0, 19, 12, 3, 18, 4, 18, 5, 6, 25, -69.20358166910218], [24, 0, 19, 17, 3, 18, 4, 18, 5, 6, 25, -69.78746170665278], [24, 0, 19, 21, 3, 18, 4, 18, 5, 6, 25, -69.78746170665278], [24, 0, 19, 22, 3, 18, 4, 18, 5, 6, 25, -69.78746170665278], [24, 0, 19, 11, 3, 18, 4, 18, 5, 6, 25, -69.8616149133476], [24, 0, 19, 14, 3, 18, 4, 18, 5, 6, 25, -69.8616149133476], [24, 0, 19, 13, 3, 18, 4, 18, 5, 6, 25, -70.02603104204047], [24, 0, 19, 7, 3, 18, 4, 18, 5, 6, 25, -70.16722270491692], [24, 0, 19, 1, 3, 18, 4, 18, 5, 6, 25, -70.18109942655805], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -65.91641292105788], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -68.46840644225738], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.27060971293098], [24, 16, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.30435990081487], [24, 10, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.51141245386069], [24, 15, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.92201530216131], [24, 1, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.03211437729563], [24, 0, 19, 10, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.35767106347312], [24, 0, 19, 23, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.35767106347312], [24, 7, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -70.88227769718479], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -50.320993150434084], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -52.87298667163357], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.67518994230717], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.708940130191074], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.91599268323689], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.32659553153751], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.43669460667183], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.286857926560984], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.60024410885677], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.674397315551595], [24, 2, 3, 18, 4, 18, 5, 6, 25, -42.09602663600471], [24, 8, 3, 18, 4, 18, 5, 6, 25, -42.1459080367051], [24, 16, 3, 18, 4, 18, 5, 6, 25, -42.179658224589005], [24, 10, 3, 18, 4, 18, 5, 6, 25, -42.38671077763482], [24, 0, 3, 18, 4, 18, 5, 6, 25, -42.45527289096166], [24, 15, 3, 18, 4, 18, 5, 6, 25, -42.79731362593544], [24, 1, 3, 18, 4, 18, 5, 6, 25, -43.31287780917792], [24, 7, 3, 18, 4, 18, 5, 6, 25, -43.757576020958915], [24, 17, 3, 18, 4, 18, 5, 6, 25, -44.070962203254695], [24, 11, 3, 18, 4, 18, 5, 6, 25, -44.14511540994952], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.099466774787025], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.6514602959865], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.453663566660104], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.487413754544015], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.69446630758981], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.10506915589044], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.215168231024755], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.06533155091392], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.378717733209704], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.45287093990452], [24, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -46.16609346609039], [24, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -47.21463050771191], [24, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -47.299952020314336], [24, 15, 1, 2, 3, 18, 4, 18, 5, 6, 25, -47.42442493293832], [24, 8, 1, 2, 3, 18, 4, 18, 5, 6, 25, -47.46616652426793], [24, 16, 1, 2, 3, 18, 4, 18, 5, 6, 25, -47.49991671215184], [24, 7, 1, 2, 3, 18, 4, 18, 5, 6, 25, -47.69154014740185], [24, 10, 1, 2, 3, 18, 4, 18, 5, 6, 25, -47.70696926519765], [24, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -47.75194363520598], [24, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -48.633136296740744], [24, 1, 2, 3, 18, 1, 2, 18, 4, 18, 5, 6, 25, -72.14212691254828], [24, 10, 2, 3, 18, 1, 2, 18, 4, 18, 5, 6, 25, -73.80328153622123], [24, 1, 2, 3, 18, 4, 4, 18, 4, 18, 5, 6, 25, -74.59507907641256], [24, 1, 2, 3, 18, 1, 4, 18, 4, 18, 5, 6, 25, -75.71533247169594], [24, 10, 2, 3, 18, 4, 4, 18, 4, 18, 5, 6, 25, -76.25623370008552], [24, 8, 8, 9, 18, 1, 2, 18, 4, 18, 5, 6, 25, -76.3180477234167], [24, 8, 2, 3, 18, 1, 2, 18, 4, 18, 5, 6, 25, -76.39569213934774], [24, 16, 2, 3, 18, 1, 2, 18, 4, 18, 5, 6, 25, -76.42944232723164], [24, 23, 2, 3, 18, 1, 2, 18, 4, 18, 5, 6, 25, -76.63649488027745], [24, 0, 2, 3, 18, 1, 2, 18, 4, 18, 5, 6, 25, -76.70505699360429], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -55.43504994195047], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.25426023864232], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -57.91541486231529], [24, 16, 8, 9, 18, 4, 18, 5, 6, 25, -58.64685396018231], [24, 10, 8, 9, 18, 4, 18, 5, 6, 25, -58.853906513228125], [24, 0, 8, 9, 18, 4, 18, 5, 6, 25, -58.92246862655496], [24, 15, 8, 9, 18, 4, 18, 5, 6, 25, -59.26450936152874], [24, 8, 8, 8, 18, 4, 18, 5, 6, 25, -59.50136480637531], [24, 7, 8, 9, 18, 4, 18, 5, 6, 25, -59.53162457599228], [24, 1, 8, 9, 18, 4, 18, 5, 6, 25, -60.473220725331174], [24, 1, 2, 3, 18, 1, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -90.31990749732773], [24, 8, 4, 4, 18, 1, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -90.56954600042639], [24, 16, 4, 4, 18, 1, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -90.60329618831028], [24, 10, 4, 4, 18, 1, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -90.81034874135608], [24, 0, 4, 4, 18, 1, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -90.87891085468294], [24, 15, 4, 4, 18, 1, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -91.22095158965672], [24, 10, 2, 3, 18, 1, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -91.98106212100072], [24, 7, 4, 4, 18, 1, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -92.1812139846802], [24, 1, 4, 4, 18, 1, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -92.42966295345914], [24, 17, 4, 4, 18, 1, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -92.49460016697597], [24, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -57.58994915035009], [24, 10, 2, 2, 3, 18, 4, 18, 5, 6, 25, -59.25110377402305], [24, 8, 9, 2, 3, 18, 4, 18, 5, 6, 25, -60.51983862644886], [24, 16, 0, 19, 3, 18, 4, 18, 5, 6, 25, -61.14955407973468], [24, 8, 8, 9, 3, 18, 4, 18, 5, 6, 25, -61.2628672077092], [24, 8, 9, 19, 3, 18, 4, 18, 5, 6, 25, -61.33815317194222], [24, 1, 20, 2, 3, 18, 4, 18, 5, 6, 25, -61.4074128799791], [24, 8, 10, 2, 3, 18, 4, 18, 5, 6, 25, -61.537311336047004], [24, 8, 23, 2, 3, 18, 4, 18, 5, 6, 25, -61.537311336047004], [24, 16, 10, 2, 3, 18, 4, 18, 5, 6, 25, -61.57106152393091], [24, 1, 2, 2, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -87.38913040942698], [24, 8, 9, 2, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -87.83411323573776], [24, 0, 19, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -87.94122306959883], [24, 8, 8, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -88.14576334776223], [24, 1, 2, 2, 2, 20, 2, 3, 18, 4, 18, 5, 6, 25, -88.68220125414119], [24, 1, 20, 2, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -88.72168748926799], [24, 8, 10, 2, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -88.8515859453359], [24, 8, 23, 2, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -88.8515859453359], [24, 16, 10, 2, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -88.88533613321981], [24, 16, 23, 2, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -88.88533613321981], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -52.719237418638855], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.538447715330705], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -55.199602339003675], [24, 16, 8, 9, 18, 4, 18, 5, 6, 25, -55.9310414368707], [24, 10, 8, 9, 18, 4, 18, 5, 6, 25, -56.13809398991651], [24, 0, 8, 9, 18, 4, 18, 5, 6, 25, -56.20665610324335], [24, 15, 8, 9, 18, 4, 18, 5, 6, 25, -56.548696838217126], [24, 8, 8, 8, 18, 4, 18, 5, 6, 25, -56.785552283063694], [24, 7, 8, 9, 18, 4, 18, 5, 6, 25, -56.81581205268067], [24, 1, 8, 9, 18, 4, 18, 5, 6, 25, -57.75740820201956], [24, 1, 2, 20, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.17549923581448], [24, 16, 0, 20, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.67697305344238], [24, 8, 9, 20, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.72837102413644], [24, 0, 19, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.98932899621961], [24, 0, 19, 20, 2, 2, 3, 18, 4, 18, 5, 6, 25, -76.21349418904828], [24, 8, 8, 20, 2, 2, 3, 18, 4, 18, 5, 6, 25, -76.65919167263213], [24, 10, 2, 20, 2, 2, 3, 18, 4, 18, 5, 6, 25, -76.83665385948746], [24, 8, 9, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -77.31431443920403], [24, 7, 7, 20, 2, 2, 3, 18, 4, 18, 5, 6, 25, -77.37700170414901], [24, 1, 2, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -77.40878891571643], [24, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -51.75431461630585], [24, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -52.80285165792736], [24, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -52.8881731705298], [24, 15, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.01264608315378], [24, 8, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.054387674483394], [24, 16, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.08813786236729], [24, 7, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.27976129761731], [24, 10, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.2951904154131], [24, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.34016478542145], [24, 1, 2, 2, 3, 18, 4, 18, 5, 6, 25, -53.369591842458334], [24, 2, 3, 18, 4, 18, 5, 6, 25, -41.6699207687882], [24, 8, 3, 18, 4, 18, 5, 6, 25, -41.7198021694886], [24, 16, 3, 18, 4, 18, 5, 6, 25, -41.7535523573725], [24, 10, 3, 18, 4, 18, 5, 6, 25, -41.96060491041831], [24, 0, 3, 18, 4, 18, 5, 6, 25, -42.02916702374516], [24, 15, 3, 18, 4, 18, 5, 6, 25, -42.37120775871894], [24, 1, 3, 18, 4, 18, 5, 6, 25, -42.88677194196141], [24, 7, 3, 18, 4, 18, 5, 6, 25, -43.331470153742416], [24, 17, 3, 18, 4, 18, 5, 6, 25, -43.64485633603819], [24, 11, 3, 18, 4, 18, 5, 6, 25, -43.71900954273302], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.68858910993885], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.24058263113833], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.04278590181193], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.07653608969584], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.283588642741655], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.69419149104227], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.8042905661766], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.654453886065745], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.96784006836153], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.04199327505636], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -49.561123494508934], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -51.222278118181904], [24, 8, 9, 3, 18, 4, 18, 5, 6, 25, -51.835137184844996], [24, 0, 19, 3, 18, 4, 18, 5, 6, 25, -52.320260349756836], [24, 16, 0, 3, 18, 4, 18, 5, 6, 25, -52.47688639471089], [24, 8, 8, 3, 18, 4, 18, 5, 6, 25, -52.765957833340686], [24, 8, 2, 3, 18, 4, 18, 5, 6, 25, -53.81468872130839], [24, 16, 2, 3, 18, 4, 18, 5, 6, 25, -53.848438909192296], [24, 23, 2, 3, 18, 4, 18, 5, 6, 25, -54.05549146223811], [24, 15, 9, 3, 18, 4, 18, 5, 6, 25, -54.06207913483374], [24, 1, 2, 2, 3, 18, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -93.08913381658303], [24, 10, 2, 2, 3, 18, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -94.750288440256], [24, 8, 9, 2, 3, 18, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -95.93201191569217], [24, 1, 20, 2, 3, 18, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -96.81958616922242], [24, 8, 10, 2, 3, 18, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -96.94948462529031], [24, 8, 23, 2, 3, 18, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -96.94948462529031], [24, 16, 10, 2, 3, 18, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -96.98323481317422], [24, 16, 23, 2, 3, 18, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -96.98323481317422], [24, 0, 1, 2, 3, 18, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -97.00724607915807], [24, 0, 19, 2, 3, 18, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -97.11028226116396], [24, 16, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -61.27281244521978], [24, 0, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.31987326100391], [24, 8, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.560023826095424], [24, 19, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.36841030262543], [24, 9, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.45373181522785], [24, 15, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.57820472785185], [24, 8, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.61994631918146], [24, 16, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.653696507065355], [24, 7, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.84531994231538], [24, 10, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.86074906011117], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -51.50002775099704], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.052021272196534], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.854224542870135], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.88797473075403], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.095027283799844], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.50563013210047], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.615729207234786], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.46589252712395], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.779278709419735], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.85343191611455], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -52.50741511366613], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.05940863486561], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.86161190553921], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.89536209342312], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.10241464646893], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.51301749476955], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.62311656990387], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.47327988979303], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.78666607208881], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.86081927878364], [24, 2, 3, 18, 4, 18, 5, 6, 25, -44.543155752099665], [24, 8, 3, 18, 4, 18, 5, 6, 25, -44.59303715280006], [24, 16, 3, 18, 4, 18, 5, 6, 25, -44.62678734068396], [24, 10, 3, 18, 4, 18, 5, 6, 25, -44.833839893729774], [24, 0, 3, 18, 4, 18, 5, 6, 25, -44.902402007056615], [24, 15, 3, 18, 4, 18, 5, 6, 25, -45.244442742030394], [24, 1, 3, 18, 4, 18, 5, 6, 25, -45.760006925272876], [24, 7, 3, 18, 4, 18, 5, 6, 25, -46.20470513705387], [24, 17, 3, 18, 4, 18, 5, 6, 25, -46.51809131934966], [24, 11, 3, 18, 4, 18, 5, 6, 25, -46.59224452604448], [24, 8, 8, 9, 18, 4, 18, 5, 6, 25, -54.962045513474024], [24, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.781255810165874], [24, 10, 2, 3, 18, 4, 18, 5, 6, 25, -57.442410433838845], [24, 16, 8, 9, 18, 4, 18, 5, 6, 25, -58.17384953170587], [24, 10, 8, 9, 18, 4, 18, 5, 6, 25, -58.38090208475168], [24, 0, 8, 9, 18, 4, 18, 5, 6, 25, -58.449464198078516], [24, 15, 8, 9, 18, 4, 18, 5, 6, 25, -58.791504933052295], [24, 8, 8, 8, 18, 4, 18, 5, 6, 25, -59.02836037789886], [24, 7, 8, 9, 18, 4, 18, 5, 6, 25, -59.05862014751584], [24, 1, 8, 9, 18, 4, 18, 5, 6, 25, -60.00021629685473], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.04819253478041], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.600186055979904], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.402389326653505], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.4361395145374], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.643192067583215], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.05379491588384], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -59.163893991018156], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.01405731090732], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.327443493203106], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.40159669989792], [24, 0, 19, 1, 20, 1, 2, 2, 20, 2, 3, 18, 4, 18, 5, 6, 25, -119.20619562871903], [24, 8, 9, 1, 20, 1, 2, 2, 20, 2, 3, 18, 4, 18, 5, 6, 25, -120.53118107170343], [24, 0, 19, 1, 19, 1, 2, 2, 20, 2, 3, 18, 4, 18, 5, 6, 25, -120.66131266591515], [24, 0, 19, 1, 20, 1, 2, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -121.43948530862096], [24, 0, 19, 1, 20, 1, 20, 2, 20, 2, 3, 18, 4, 18, 5, 6, 25, -121.63736499722813], [24, 9, 19, 1, 20, 1, 2, 2, 20, 2, 3, 18, 4, 18, 5, 6, 25, -121.75818914991851], [24, 16, 0, 1, 20, 1, 2, 2, 20, 2, 3, 18, 4, 18, 5, 6, 25, -121.76071694647143], [24, 1, 20, 1, 20, 1, 2, 2, 20, 2, 3, 18, 4, 18, 5, 6, 25, -121.86678004776064], [24, 8, 9, 1, 19, 1, 2, 2, 20, 2, 3, 18, 4, 18, 5, 6, 25, -121.98629810889955], [24, 0, 19, 1, 20, 1, 20, 7, 20, 2, 3, 18, 4, 18, 5, 6, 25, -122.28666801769631], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -50.85324603329972], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -53.40523955449921], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.20744282517281], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.24119301305671], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.44824556610252], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.85884841440314], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.96894748953746], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.81911080942662], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.132496991722405], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.20665019841723], [24, 0, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -58.93493056527702], [24, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -59.983467606898536], [24, 9, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -60.06878911950096], [24, 15, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -60.193262032124956], [24, 8, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -60.23500362345457], [24, 16, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -60.26875381133846], [24, 7, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -60.460377246588486], [24, 10, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -60.475806364384276], [24, 20, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -60.520780734392616], [24, 1, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -61.401973395927385], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -65.7419611085753], [24, 0, 19, 2, 2, 3, 18, 4, 18, 5, 6, 25, -66.83876405079934], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -68.29395462977477], [24, 0, 19, 10, 2, 3, 18, 4, 18, 5, 6, 25, -68.39145978176246], [24, 0, 19, 23, 2, 3, 18, 4, 18, 5, 6, 25, -68.39145978176246], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -69.09615790044838], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -69.12990808833229], [24, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -69.25856214685133], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -69.3369606413781], [24, 9, 19, 2, 2, 3, 18, 4, 18, 5, 6, 25, -69.39075757199883], [24, 2, 3, 18, 4, 18, 5, 6, 25, -45.50406775316821], [24, 8, 3, 18, 4, 18, 5, 6, 25, -45.5539491538686], [24, 16, 3, 18, 4, 18, 5, 6, 25, -45.5876993417525], [24, 10, 3, 18, 4, 18, 5, 6, 25, -45.79475189479831], [24, 0, 3, 18, 4, 18, 5, 6, 25, -45.86331400812516], [24, 15, 3, 18, 4, 18, 5, 6, 25, -46.20535474309894], [24, 1, 3, 18, 4, 18, 5, 6, 25, -46.72091892634142], [24, 7, 3, 18, 4, 18, 5, 6, 25, -47.165617138122414], [24, 17, 3, 18, 4, 18, 5, 6, 25, -47.4790033204182], [24, 11, 3, 18, 4, 18, 5, 6, 25, -47.55315652711302], [24, 0, 1, 2, 3, 18, 4, 4, 4, 4, 4, 18, 5, 6, 25, -85.6096721148282], [24, 19, 1, 2, 3, 18, 4, 4, 4, 4, 4, 18, 5, 6, 25, -86.65820915644971], [24, 9, 1, 2, 3, 18, 4, 4, 4, 4, 4, 18, 5, 6, 25, -86.74353066905213], [24, 15, 1, 2, 3, 18, 4, 4, 4, 4, 4, 18, 5, 6, 25, -86.86800358167613], [24, 8, 1, 2, 3, 18, 4, 4, 4, 4, 4, 18, 5, 6, 25, -86.90974517300575], [24, 16, 1, 2, 3, 18, 4, 4, 4, 4, 4, 18, 5, 6, 25, -86.94349536088964], [24, 7, 1, 2, 3, 18, 4, 4, 4, 4, 4, 18, 5, 6, 25, -87.13511879613966], [24, 10, 1, 2, 3, 18, 4, 4, 4, 4, 4, 18, 5, 6, 25, -87.15054791393545], [24, 20, 1, 2, 3, 18, 4, 4, 4, 4, 4, 18, 5, 6, 25, -87.19552228394379], [24, 1, 1, 2, 3, 18, 4, 4, 4, 4, 4, 18, 5, 6, 25, -88.07671494547857], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -60.06108440267953], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -62.61307792387902], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.41528119455262], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.44903138243652], [24, 10, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -63.656083935482336], [24, 15, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -64.06668678378296], [24, 1, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -64.17678585891727], [24, 7, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -65.02694917880643], [24, 17, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -65.34033536110222], [24, 11, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -65.41448856779704], [24, 2, 3, 18, 4, 18, 5, 6, 25, -38.86472829113796], [24, 8, 3, 18, 4, 18, 5, 6, 25, -38.91460969183835], [24, 16, 3, 18, 4, 18, 5, 6, 25, -38.94835987972225], [24, 10, 3, 18, 4, 18, 5, 6, 25, -39.15541243276806], [24, 0, 3, 18, 4, 18, 5, 6, 25, -39.2239745460949], [24, 15, 3, 18, 4, 18, 5, 6, 25, -39.56601528106868], [24, 1, 3, 18, 4, 18, 5, 6, 25, -40.081579464311176], [24, 7, 3, 18, 4, 18, 5, 6, 25, -40.52627767609215], [24, 17, 3, 18, 4, 18, 5, 6, 25, -40.83966385838794], [24, 11, 3, 18, 4, 18, 5, 6, 25, -40.91381706508277], [24, 0, 19, 1, 18, 4, 4, 18, 5, 6, 25, -56.99022955932032], [24, 8, 8, 9, 18, 4, 4, 18, 5, 6, 25, -57.462259517809024], [24, 8, 9, 1, 18, 4, 4, 18, 5, 6, 25, -58.31521500230473], [24, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -58.649194594626195], [24, 9, 19, 1, 18, 4, 4, 18, 5, 6, 25, -59.542223080519804], [24, 16, 0, 1, 18, 4, 4, 18, 5, 6, 25, -59.54475087707274], [24, 1, 20, 1, 18, 4, 4, 18, 5, 6, 25, -59.65081397836193], [24, 10, 2, 3, 18, 4, 4, 18, 5, 6, 25, -60.31034921829916], [24, 8, 19, 1, 18, 4, 4, 18, 5, 6, 25, -60.344426351193405], [24, 16, 19, 1, 18, 4, 4, 18, 5, 6, 25, -60.37817653907731], [24, 0, 19, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -72.6346652661331], [24, 8, 9, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -73.95965070911751], [24, 1, 2, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.1046065701894], [24, 9, 19, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.18665878733259], [24, 16, 0, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.18918658388553], [24, 1, 20, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.29524968517471], [24, 8, 19, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -75.98886205800619], [24, 16, 19, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -76.0226122458901], [24, 0, 20, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -76.14239285919687], [24, 15, 9, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -76.18659265910627], [24, 0, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -74.45664744025565], [24, 19, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.50518448187715], [24, 9, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.59050599447959], [24, 15, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.71497890710357], [24, 8, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.75672049843318], [24, 16, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.79047068631711], [24, 7, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.9820941215671], [24, 10, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -75.9975232393629], [24, 20, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -76.04249760937124], [24, 1, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -76.92369027090602], [24, 2, 3, 18, 4, 18, 5, 6, 25, -44.45122388315245], [24, 8, 3, 18, 4, 18, 5, 6, 25, -44.50110528385285], [24, 16, 3, 18, 4, 18, 5, 6, 25, -44.53485547173675], [24, 10, 3, 18, 4, 18, 5, 6, 25, -44.74190802478256], [24, 0, 3, 18, 4, 18, 5, 6, 25, -44.81047013810941], [24, 15, 3, 18, 4, 18, 5, 6, 25, -45.15251087308319], [24, 1, 3, 18, 4, 18, 5, 6, 25, -45.66807505632566], [24, 7, 3, 18, 4, 18, 5, 6, 25, -46.112773268106665], [24, 17, 3, 18, 4, 18, 5, 6, 25, -46.42615945040245], [24, 11, 3, 18, 4, 18, 5, 6, 25, -46.50031265709727], [24, 8, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.3461010010974], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.016847831666986], [24, 16, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.17347387662104], [24, 0, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.45734664896312], [24, 15, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.57304295108616], [24, 19, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.50588369058463], [24, 9, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.59120520318705], [24, 15, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.71567811581105], [24, 8, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.75741970714066], [24, 16, 1, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.79116989502456], [24, 0, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -54.785517122444126], [24, 1, 2, 1, 2, 3, 18, 4, 18, 5, 6, 25, -55.9668909561833], [24, 8, 9, 1, 2, 3, 18, 4, 18, 5, 6, 25, -56.11050256542854], [24, 9, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.33751064364362], [24, 16, 0, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.34003844019656], [24, 1, 20, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.44610154148574], [24, 1, 2, 2, 2, 3, 18, 4, 18, 5, 6, 25, -57.496626401216126], [24, 10, 2, 1, 2, 3, 18, 4, 18, 5, 6, 25, -57.62804557985627], [24, 8, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.13971391431722], [24, 16, 19, 1, 2, 3, 18, 4, 18, 5, 6, 25, -58.17346410220113], [24, 2, 3, 18, 4, 18, 5, 6, 25, -49.545420061233415], [24, 8, 3, 18, 4, 18, 5, 6, 25, -49.5953014619338], [24, 16, 3, 18, 4, 18, 5, 6, 25, -49.6290516498177], [24, 10, 3, 18, 4, 18, 5, 6, 25, -49.83610420286351], [24, 0, 3, 18, 4, 18, 5, 6, 25, -49.90466631619036], [24, 15, 3, 18, 4, 18, 5, 6, 25, -50.24670705116414], [24, 1, 3, 18, 4, 18, 5, 6, 25, -50.762271234406626], [24, 7, 3, 18, 4, 18, 5, 6, 25, -51.206969446187614], [24, 17, 3, 18, 4, 18, 5, 6, 25, -51.5203556284834], [24, 11, 3, 18, 4, 18, 5, 6, 25, -51.59450883517822], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.913879689451385], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -66.46587321065088], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.26807648132448], [24, 16, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.30182666920838], [24, 10, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.5088792222542], [24, 15, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.91948207055482], [24, 1, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -68.02958114568914], [24, 7, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -68.8797444655783], [24, 17, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.19313064787409], [24, 11, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -69.26728385456892], [24, 2, 3, 18, 4, 4, 18, 5, 6, 25, -48.018279615695306], [24, 8, 3, 18, 4, 4, 18, 5, 6, 25, -48.06816101639569], [24, 16, 3, 18, 4, 4, 18, 5, 6, 25, -48.101911204279595], [24, 10, 3, 18, 4, 4, 18, 5, 6, 25, -48.30896375732541], [24, 0, 3, 18, 4, 4, 18, 5, 6, 25, -48.37752587065225], [24, 15, 3, 18, 4, 4, 18, 5, 6, 25, -48.71956660562603], [24, 1, 3, 18, 4, 4, 18, 5, 6, 25, -49.23513078886852], [24, 7, 3, 18, 4, 4, 18, 5, 6, 25, -49.679829000649505], [24, 17, 3, 18, 4, 4, 18, 5, 6, 25, -49.99321518294529], [24, 11, 3, 18, 4, 4, 18, 5, 6, 25, -50.067368389640116], [24, 8, 8, 9, 19, 1, 18, 4, 4, 18, 5, 6, 25, -93.23348468803701], [24, 8, 8, 8, 8, 9, 18, 4, 4, 18, 5, 6, 25, -93.39254044437602], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -94.03273718309603], [24, 8, 8, 9, 15, 9, 18, 4, 4, 18, 5, 6, 25, -94.62982124584614], [24, 8, 8, 8, 9, 1, 18, 4, 4, 18, 5, 6, 25, -94.96830733170025], [24, 8, 9, 0, 19, 1, 18, 4, 4, 18, 5, 6, 25, -95.29919058431807], [24, 8, 9, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -95.35772262608045], [24, 8, 16, 0, 19, 1, 18, 4, 4, 18, 5, 6, 25, -95.41646356031046], [24, 16, 16, 0, 19, 1, 18, 4, 4, 18, 5, 6, 25, -95.45021374819436], [24, 16, 0, 19, 8, 9, 18, 4, 4, 18, 5, 6, 25, -95.52646049825375], [24, 2, 3, 18, 4, 18, 5, 6, 25, -42.796017552066], [24, 8, 3, 18, 4, 18, 5, 6, 25, -42.84589895276639], [24, 16, 3, 18, 4, 18, 5, 6, 25, -42.87964914065029], [24, 10, 3, 18, 4, 18, 5, 6, 25, -43.0867016936961], [24, 0, 3, 18, 4, 18, 5, 6, 25, -43.15526380702294], [24, 15, 3, 18, 4, 18, 5, 6, 25, -43.49730454199672], [24, 1, 3, 18, 4, 18, 5, 6, 25, -44.01286872523921], [24, 7, 3, 18, 4, 18, 5, 6, 25, -44.4575669370202], [24, 17, 3, 18, 4, 18, 5, 6, 25, -44.77095311931598], [24, 11, 3, 18, 4, 18, 5, 6, 25, -44.84510632601081], [24, 0, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -63.61774196995776], [24, 9, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -66.16973549115725], [24, 8, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -66.97193876183086], [24, 16, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.00568894971475], [24, 10, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.21274150276057], [24, 15, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.62334435106119], [24, 1, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -67.7334434261955], [24, 7, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -68.58360674608467], [24, 17, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -68.89699292838046], [24, 11, 19, 1, 2, 3, 18, 4, 4, 18, 5, 6, 25, -68.97114613507527]])
True
'''
pass
def test_correctness():
'''
>>> State_File ='./dev_set/State_File'
>>> Symbol_File='./dev_set/Symbol_File'
>>> Query_File ='./dev_set/Query_File'
>>> labels_file ='./dev_set/Query_Label'
>>> viterbi_result = viterbi_algorithm(State_File, Symbol_File, Query_File)
>>> check_labels_match(viterbi_result, labels_file)
(1064, 134)
'''
pass
# Advanced decoding
def test_4():
'''
>>> State_File ='./dev_set/State_File'
>>> Symbol_File='./dev_set/Symbol_File'
>>> Query_File ='./dev_set/Query_File'
>>> labels_file ='./dev_set/Query_Label'
>>> viterbi_result = advanced_decoding(State_File, Symbol_File, Query_File)
>>> right, wrong = check_labels_match(viterbi_result, labels_file)
>>> check_margin(right, wrong)
True
'''
pass
if __name__ == '__main__':
import doctest
doctest.testmod()