Skip to content

Instantly share code, notes, and snippets.

@thpani

thpani/profile.csv

Created March 30, 2022 13:12
Show Gist options
  • Save thpani/a2e2695de2ef8f2c798a82650337754f to your computer and use it in GitHub Desktop.
Save thpani/a2e2695de2ef8f2c798a82650337754f to your computer and use it in GitHub Desktop.
Download ZIP
Raw
profile.csv
# weight nCells nConsts nSmtExprs location
1363 786 476 10391 staking_apa.tla:473:5-490:55
1353 780 472 10351 staking_apa.tla:487:8-490:55
1339 772 466 10267 staking_apa.tla:487:8-490:55
1324 764 460 10183 staking_apa.tla:487:8-490:55
1321 762 459 10183 staking_apa.tla:487:8-490:55
1305 751 454 10117 staking_apa.tla:487:8-490:55
1182 677 411 8843 staking_apa.tla:487:8-490:55
1009 573 352 7105 staking_apa.tla:487:8-490:55
798 451 277 4909 staking_apa.tla:487:8-490:55
733 410 250 5471 staking_apa.tla:473:5-490:55
723 404 246 5431 staking_apa.tla:483:8-486:51
709 396 240 5347 staking_apa.tla:483:8-486:51
706 394 239 5347 staking_apa.tla:483:8-486:51
691 396 243 2776 staking_apa.tla:473:5-490:55
689 383 234 5280 staking_apa.tla:483:8-486:51
688 394 242 2776 staking_apa.tla:473:8-478:25
685 392 241 2776 staking_apa.tla:473:8-478:25
666 374 225 4561 staking_apa.tla:473:5-490:55
656 368 221 4521 staking_apa.tla:479:8-482:49
655 372 232 2663 staking_apa.tla:473:8-478:25
646 366 229 2663 staking_apa.tla:473:8-478:25
641 360 215 4437 staking_apa.tla:479:8-482:49
638 358 214 4437 staking_apa.tla:479:8-482:49
622 347 209 4371 staking_apa.tla:479:8-482:49
596 337 206 2869 staking_apa.tla:487:8-490:55
565 311 191 4014 staking_apa.tla:483:8-486:51
512 279 175 3420 staking_apa.tla:483:8-486:51
497 275 166 3225 staking_apa.tla:479:8-482:49
416 229 148 1576 staking_apa.tla:473:8-478:25
370 210 118 1846 staking_apa.tla:487:8-490:55
370 210 118 1846 staking_apa.tla:487:8-490:55
335 176 107 2724 staking_apa.tla:473:5-490:55
324 170 103 2684 staking_apa.tla:487:8-490:55
309 162 97 2600 staking_apa.tla:487:8-490:55
295 154 91 2516 staking_apa.tla:487:8-490:55
292 152 90 2516 staking_apa.tla:487:8-490:55
291 157 100 1224 staking_apa.tla:483:8-486:51
288 159 95 1177 staking_apa.tla:479:8-482:49
276 142 85 2470 staking_apa.tla:487:8-490:55
248 141 76 964 staking_apa.tla:205:5-219:22
247 128 75 2009 staking_apa.tla:473:5-490:55
244 133 79 1049 staking_apa.tla:473:8-478:25
243 122 75 2196 staking_apa.tla:483:8-486:51
243 122 75 2196 staking_apa.tla:487:8-490:55
240 131 77 1047 staking_apa.tla:473:8-478:25
237 122 71 1969 staking_apa.tla:487:8-490:55
236 122 72 1767 staking_apa.tla:473:5-490:55
232 116 71 2048 staking_apa.tla:479:8-482:49
231 119 69 1907 staking_apa.tla:473:5-490:55
230 114 71 2040 staking_apa.tla:487:8-490:55
225 116 68 1727 staking_apa.tla:487:8-490:55
222 114 65 1885 staking_apa.tla:487:8-490:55
221 113 68 1636 staking_apa.tla:473:5-490:55
221 114 66 1683 staking_apa.tla:473:5-490:55
221 113 65 1867 staking_apa.tla:483:8-486:51
220 113 68 1591 staking_apa.tla:473:5-490:55
210 108 62 1643 staking_apa.tla:487:8-490:55
210 107 64 1596 staking_apa.tla:487:8-490:55
210 107 64 1551 staking_apa.tla:487:8-490:55
210 108 62 1643 staking_apa.tla:483:8-486:51
207 106 59 1801 staking_apa.tla:487:8-490:55
206 105 59 1783 staking_apa.tla:483:8-486:51
204 104 59 1738 staking_apa.tla:487:8-490:55
204 104 58 1801 staking_apa.tla:487:8-490:55
203 103 58 1783 staking_apa.tla:483:8-486:51
195 99 58 1512 staking_apa.tla:487:8-490:55
195 99 58 1467 staking_apa.tla:487:8-490:55
195 100 56 1559 staking_apa.tla:483:8-486:51
195 100 56 1559 staking_apa.tla:487:8-490:55
194 105 59 923 staking_apa.tla:487:8-490:55
194 105 59 923 staking_apa.tla:483:8-486:51
194 105 59 923 staking_apa.tla:479:8-482:49
194 105 59 923 staking_apa.tla:487:8-490:55
194 105 59 923 staking_apa.tla:479:8-482:49
194 105 59 923 staking_apa.tla:483:8-486:51
192 98 55 1559 staking_apa.tla:483:8-486:51
192 98 55 1559 staking_apa.tla:487:8-490:55
191 96 58 1372 staking_apa.tla:473:5-490:55
187 93 53 1734 staking_apa.tla:487:8-490:55
186 92 53 1712 staking_apa.tla:483:8-486:51
180 90 54 1332 staking_apa.tla:479:8-482:49
180 91 52 1383 staking_apa.tla:487:8-490:55
180 91 52 1428 staking_apa.tla:487:8-490:55
177 89 51 1428 staking_apa.tla:487:8-490:55
177 89 51 1383 staking_apa.tla:487:8-490:55
175 87 50 1492 staking_apa.tla:487:8-490:55
175 87 50 1492 staking_apa.tla:483:8-486:51
165 82 48 1248 staking_apa.tla:479:8-482:49
162 80 47 1248 staking_apa.tla:479:8-482:49
161 79 46 1337 staking_apa.tla:487:8-490:55
160 78 46 1361 staking_apa.tla:487:8-490:55
152 74 43 1274 staking_apa.tla:487:8-490:55
152 73 52 769 staking_apa.tla:487:8-490:55
152 73 52 769 staking_apa.tla:487:8-490:55
150 72 43 1266 staking_apa.tla:483:8-486:51
150 72 43 1266 staking_apa.tla:483:8-486:51
150 72 43 1266 staking_apa.tla:487:8-490:55
150 72 43 1266 staking_apa.tla:487:8-490:55
150 72 43 1266 staking_apa.tla:487:8-490:55
150 72 43 1266 staking_apa.tla:483:8-486:51
150 72 43 1266 staking_apa.tla:487:8-490:55
150 72 43 1266 staking_apa.tla:487:8-490:55
149 82 41 709 staking_apa.tla:214:8-215:110
149 82 41 709 staking_apa.tla:214:21-215:110
148 72 43 1146 staking_apa.tla:479:8-482:49
146 70 42 1202 staking_apa.tla:479:8-482:49
146 70 42 1204 staking_apa.tla:487:8-490:55
139 66 40 1116 staking_apa.tla:487:8-490:55
139 66 40 1116 staking_apa.tla:479:8-482:49
136 64 39 1108 staking_apa.tla:479:8-482:49
136 64 39 1108 staking_apa.tla:487:8-490:55
136 64 39 1108 staking_apa.tla:479:8-482:49
136 64 39 1108 staking_apa.tla:487:8-490:55
132 62 37 1100 staking_apa.tla:487:8-490:55
130 60 37 1092 staking_apa.tla:483:8-486:51
130 60 37 1092 staking_apa.tla:483:8-486:51
130 60 37 1092 staking_apa.tla:487:8-490:55
130 60 37 1092 staking_apa.tla:487:8-490:55
130 60 37 1092 staking_apa.tla:483:8-486:51
130 60 37 1092 staking_apa.tla:487:8-490:55
130 60 37 1092 staking_apa.tla:479:8-482:49
130 60 37 1092 staking_apa.tla:483:8-486:51
130 60 37 1092 staking_apa.tla:487:8-490:55
130 60 37 1092 staking_apa.tla:487:8-490:55
130 60 37 1092 staking_apa.tla:487:8-490:55
130 60 37 1092 staking_apa.tla:487:8-490:55
117 54 33 944 staking_apa.tla:479:8-482:49
115 52 33 936 staking_apa.tla:479:8-482:49
115 52 33 936 staking_apa.tla:487:8-490:55
115 52 33 936 staking_apa.tla:487:8-490:55
115 52 33 936 staking_apa.tla:487:8-490:55
115 52 33 936 staking_apa.tla:479:8-482:49
115 52 33 940 staking_apa.tla:483:8-486:51
115 52 33 940 staking_apa.tla:487:8-490:55
114 52 32 934 staking_apa.tla:487:8-490:55
114 52 32 934 staking_apa.tla:479:8-482:49
112 50 32 926 staking_apa.tla:487:8-490:55
112 50 32 926 staking_apa.tla:487:8-490:55
112 50 32 926 staking_apa.tla:483:8-486:51
112 50 32 926 staking_apa.tla:487:8-490:55
112 50 32 926 staking_apa.tla:487:8-490:55
112 50 32 926 staking_apa.tla:487:8-490:55
112 50 32 926 staking_apa.tla:479:8-482:49
112 50 32 926 staking_apa.tla:487:8-490:55
112 50 32 926 staking_apa.tla:487:8-490:55
112 50 32 926 staking_apa.tla:487:8-490:55
112 50 32 926 staking_apa.tla:483:8-486:51
112 50 32 926 staking_apa.tla:483:8-486:51
112 50 32 926 staking_apa.tla:483:8-486:51
112 50 32 926 staking_apa.tla:487:8-490:55
112 50 32 926 staking_apa.tla:487:8-490:55
112 50 32 926 staking_apa.tla:483:8-486:51
112 50 32 926 staking_apa.tla:479:8-482:49
112 50 32 926 staking_apa.tla:479:8-482:49
112 50 32 926 staking_apa.tla:487:8-490:55
102 54 31 317 staking_apa.tla:473:8-478:25
102 54 31 317 staking_apa.tla:473:8-478:25
101 52 35 222 staking_apa.tla:487:8-490:55
101 52 35 222 staking_apa.tla:479:8-482:49
101 52 35 222 staking_apa.tla:487:8-490:55
101 52 35 222 staking_apa.tla:479:8-482:49
96 54 18 599 TLC.tla:35:5-41:25
96 43 31 521 TLC.tla:38:5-41:25
93 44 32 301 staking_apa.tla:473:8-478:25
93 40 30 532 staking_apa.tla:473:8-478:25
90 44 31 244 staking_apa.tla:473:8-478:25
90 44 31 244 staking_apa.tla:473:8-478:25
87 52 12 569 TLC.tla:38:5-41:25
86 42 21 566 staking_apa.tla:473:8-478:25
83 40 29 224 staking_apa.tla:473:8-478:25
83 40 29 224 staking_apa.tla:473:8-478:25
78 36 30 168 staking_apa.tla:487:8-490:55
78 36 30 168 staking_apa.tla:479:8-482:49
77 34 28 228 staking_apa.tla:473:8-478:25
75 35 22 355 staking_apa.tla:487:8-490:55
75 35 26 223 staking_apa.tla:473:8-478:25
72 32 16 594 staking_apa.tla:483:8-486:51
71 34 26 138 staking_apa.tla:483:8-486:51
71 34 26 138 staking_apa.tla:483:8-486:51
69 30 25 208 staking_apa.tla:473:8-478:25
67 33 19 246 staking_apa.tla:473:5-490:55
60 28 23 84 staking_apa.tla:473:8-478:25
60 28 23 84 staking_apa.tla:473:8-478:25
56 27 15 206 staking_apa.tla:479:8-482:49
54 20 19 236 staking_apa.tla:487:8-490:55
53 20 15 324 staking_apa.tla:473:8-478:25
52 21 10 468 staking_apa.tla:487:8-490:55
51 20 10 446 staking_apa.tla:483:8-486:51
50 22 14 210 staking_apa.tla:487:8-490:55
47 18 9 412 staking_apa.tla:483:8-486:51
47 18 9 412 staking_apa.tla:487:8-490:55
45 16 12 304 staking_apa.tla:473:8-478:25
45 16 16 192 TLC.tla:38:5-41:25
44 19 16 87 TLC.tla:33:17-33:18
44 16 8 404 staking_apa.tla:483:8-486:51
44 16 8 404 staking_apa.tla:487:8-490:55
44 16 8 404 staking_apa.tla:487:8-490:55
44 16 8 404 staking_apa.tla:479:8-482:49
44 16 8 404 staking_apa.tla:483:8-486:51
44 16 8 404 staking_apa.tla:487:8-490:55
44 16 8 404 staking_apa.tla:487:8-490:55
44 16 8 404 staking_apa.tla:483:8-486:51
42 18 15 84 staking_apa.tla:483:8-486:51
42 18 15 84 staking_apa.tla:479:8-482:49
42 18 15 84 staking_apa.tla:487:8-490:55
42 14 14 224 staking_apa.tla:487:8-490:55
42 14 14 224 staking_apa.tla:487:8-490:55
41 16 12 188 staking_apa.tla:473:8-478:25
41 16 14 131 staking_apa.tla:483:8-486:51
41 16 14 131 staking_apa.tla:483:8-486:51
40 14 7 394 staking_apa.tla:483:8-486:51
40 14 7 394 staking_apa.tla:487:8-490:55
40 14 7 394 staking_apa.tla:479:8-482:49
40 14 7 394 staking_apa.tla:483:8-486:51
40 14 7 394 staking_apa.tla:487:8-490:55
40 14 7 394 staking_apa.tla:487:8-490:55
40 14 7 394 staking_apa.tla:487:8-490:55
40 14 7 394 staking_apa.tla:483:8-486:51
39 16 9 198 staking_apa.tla:487:8-490:55
39 19 9 122 staking_apa.tla:479:8-482:49
39 16 9 198 staking_apa.tla:487:8-490:55
38 18 11 91 staking_apa.tla:211:8-211:99
37 15 7 226 staking_apa.tla:483:8-486:51
37 16 12 90 staking_apa.tla:473:8-478:25
37 15 7 226 staking_apa.tla:487:8-490:55
36 17 8 122 staking_apa.tla:479:8-482:49
35 14 14 54 staking_apa.tla:487:8-490:55
35 14 14 54 staking_apa.tla:487:8-490:55
35 14 14 54 staking_apa.tla:487:8-490:55
35 14 14 54 staking_apa.tla:487:8-490:55
35 14 14 54 staking_apa.tla:487:8-490:55
35 14 14 54 staking_apa.tla:479:8-482:49
35 14 14 54 staking_apa.tla:487:8-490:55
35 14 14 54 staking_apa.tla:483:8-486:51
35 14 14 54 staking_apa.tla:483:8-486:51
35 14 14 54 staking_apa.tla:483:8-486:51
35 14 14 54 staking_apa.tla:483:8-486:51
35 14 14 54 staking_apa.tla:487:8-490:55
35 14 14 54 staking_apa.tla:487:8-490:55
35 15 5 240 TLC.tla:38:5-41:25
35 14 14 54 staking_apa.tla:483:8-486:51
35 14 14 54 staking_apa.tla:487:8-490:55
35 14 14 54 staking_apa.tla:479:8-482:49
35 14 14 54 staking_apa.tla:487:8-490:55
35 14 14 54 staking_apa.tla:487:8-490:55
35 14 14 54 staking_apa.tla:479:8-482:49
35 14 14 54 staking_apa.tla:487:8-490:55
35 14 14 54 staking_apa.tla:479:8-482:49
34 14 11 90 staking_apa.tla:473:8-478:25
34 14 11 90 staking_apa.tla:473:8-478:25
34 12 9 172 staking_apa.tla:473:8-478:25
34 14 11 90 staking_apa.tla:473:8-478:25
32 12 11 94 staking_apa.tla:473:8-478:25
32 12 12 72 staking_apa.tla:215:35-215:81
32 12 11 94 staking_apa.tla:473:8-478:25
31 12 6 170 staking_apa.tla:487:8-490:55
31 12 6 170 staking_apa.tla:483:8-486:51
29 13 8 76 staking_apa.tla:205:8-205:26
29 10 9 119 staking_apa.tla:483:8-486:51
29 12 9 72 staking_apa.tla:473:8-478:25
29 10 9 119 staking_apa.tla:483:8-486:51
29 13 8 76 staking_apa.tla:205:17-205:26
27 10 5 162 staking_apa.tla:487:8-490:55
27 10 5 162 staking_apa.tla:487:8-490:55
27 10 5 162 staking_apa.tla:483:8-486:51
27 10 5 162 staking_apa.tla:487:8-490:55
27 10 5 162 staking_apa.tla:483:8-486:51
27 10 5 162 staking_apa.tla:479:8-482:49
27 10 5 162 staking_apa.tla:487:8-490:55
27 10 5 162 staking_apa.tla:487:8-490:55
27 10 5 162 staking_apa.tla:487:8-490:55
27 10 5 162 staking_apa.tla:487:8-490:55
27 10 5 162 staking_apa.tla:483:8-486:51
27 12 10 30 staking_apa.tla:473:8-478:25
27 10 5 162 staking_apa.tla:487:8-490:55
27 10 5 162 staking_apa.tla:483:8-486:51
27 10 5 162 staking_apa.tla:479:8-482:49
27 10 5 162 staking_apa.tla:487:8-490:55
27 10 5 162 staking_apa.tla:483:8-486:51
27 10 5 162 staking_apa.tla:487:8-490:55
26 10 8 70 staking_apa.tla:473:8-478:25
26 10 8 70 staking_apa.tla:473:8-478:25
24 8 4 152 staking_apa.tla:483:8-486:51
24 8 4 152 staking_apa.tla:479:8-482:49
24 8 4 152 staking_apa.tla:487:8-490:55
24 8 4 152 staking_apa.tla:483:8-486:51
24 8 4 152 staking_apa.tla:487:8-490:55
24 8 4 152 staking_apa.tla:483:8-486:51
24 8 8 76 staking_apa.tla:473:8-478:25
24 8 4 152 staking_apa.tla:487:8-490:55
24 8 4 152 staking_apa.tla:483:8-486:51
24 8 4 152 staking_apa.tla:487:8-490:55
24 8 4 152 staking_apa.tla:483:8-486:51
24 8 4 152 staking_apa.tla:483:8-486:51
24 8 4 152 staking_apa.tla:483:8-486:51
24 8 4 152 staking_apa.tla:487:8-490:55
24 8 4 152 staking_apa.tla:479:8-482:49
24 8 4 152 staking_apa.tla:487:8-490:55
24 8 4 152 staking_apa.tla:487:8-490:55
24 8 4 152 staking_apa.tla:487:8-490:55
24 8 4 152 staking_apa.tla:487:8-490:55
24 8 4 152 staking_apa.tla:483:8-486:51
24 9 5 105 staking_apa.tla:487:8-490:55
24 9 5 105 staking_apa.tla:487:8-490:55
24 8 8 76 staking_apa.tla:473:8-478:25
24 8 4 152 staking_apa.tla:487:8-490:55
24 8 4 152 staking_apa.tla:487:8-490:55
24 8 4 152 staking_apa.tla:487:8-490:55
24 8 4 152 staking_apa.tla:487:8-490:55
24 8 4 152 staking_apa.tla:487:8-490:55
24 8 4 152 staking_apa.tla:487:8-490:55
24 8 4 152 staking_apa.tla:487:8-490:55
24 8 4 152 staking_apa.tla:487:8-490:55
24 8 4 152 staking_apa.tla:483:8-486:51
24 8 4 152 staking_apa.tla:487:8-490:55
24 8 4 152 staking_apa.tla:483:8-486:51
24 8 4 152 staking_apa.tla:487:8-490:55
24 8 4 152 staking_apa.tla:479:8-482:49
21 6 9 36 staking_apa.tla:479:8-482:49
21 6 9 36 staking_apa.tla:473:8-478:25
21 8 6 52 staking_apa.tla:473:8-478:25
21 8 6 52 staking_apa.tla:473:8-478:25
21 8 6 52 staking_apa.tla:473:8-478:25
21 6 9 36 staking_apa.tla:487:8-490:55
21 8 6 52 staking_apa.tla:473:8-478:25
21 6 9 36 staking_apa.tla:483:8-486:51
20 7 4 99 staking_apa.tla:487:8-490:55
20 7 4 99 staking_apa.tla:487:8-490:55
20 7 8 32 staking_apa.tla:215:42-215:65
20 7 4 99 staking_apa.tla:487:8-490:55
20 9 7 23 TLC.tla:32:17-32:18
20 7 4 99 staking_apa.tla:487:8-490:55
20 9 8 11 staking_apa.tla:473:8-478:25
18 7 3 76 staking_apa.tla:479:8-482:49
18 6 3 95 staking_apa.tla:487:8-490:55
18 7 3 71 staking_apa.tla:487:8-490:55
18 6 5 53 TLC.tla:38:5-41:25
17 6 7 24 staking_apa.tla:487:8-490:55
17 6 7 24 staking_apa.tla:487:8-490:55
17 6 7 24 staking_apa.tla:487:8-490:55
17 6 7 24 staking_apa.tla:479:8-482:49
17 6 7 24 staking_apa.tla:487:8-490:55
17 6 7 24 staking_apa.tla:483:8-486:51
17 6 7 24 staking_apa.tla:487:8-490:55
17 6 7 24 staking_apa.tla:487:8-490:55
17 6 7 24 staking_apa.tla:487:8-490:55
17 6 7 24 staking_apa.tla:487:8-490:55
17 6 7 24 staking_apa.tla:479:8-482:49
17 6 7 24 staking_apa.tla:487:8-490:55
17 6 7 24 staking_apa.tla:483:8-486:51
17 6 7 24 staking_apa.tla:483:8-486:51
17 6 7 24 staking_apa.tla:483:8-486:51
17 6 7 24 staking_apa.tla:487:8-490:55
17 6 7 24 staking_apa.tla:483:8-486:51
17 6 7 24 staking_apa.tla:487:8-490:55
17 6 5 46 staking_apa.tla:473:8-478:25
17 6 7 24 staking_apa.tla:479:8-482:49
17 6 7 24 staking_apa.tla:479:8-482:49
17 6 7 24 staking_apa.tla:487:8-490:55
16 6 5 30 staking_apa.tla:487:8-490:55
16 7 3 37 staking_apa.tla:473:8-478:25
16 5 6 33 staking_apa.tla:211:26-211:43
16 6 5 30 staking_apa.tla:479:8-482:49
16 7 4 33 staking_apa.tla:209:8-209:44
16 7 4 33 staking_apa.tla:209:17-209:44
16 6 5 30 staking_apa.tla:483:8-486:51
16 6 5 30 staking_apa.tla:487:8-490:55
16 6 5 30 staking_apa.tla:479:8-482:49
16 6 5 30 staking_apa.tla:473:8-478:25
15 6 5 18 staking_apa.tla:483:8-486:51
15 4 5 40 staking_apa.tla:473:8-478:25
15 4 2 84 staking_apa.tla:479:8-482:49
15 6 5 18 staking_apa.tla:479:8-482:49
15 4 2 85 staking_apa.tla:487:8-490:55
15 4 6 33 staking_apa.tla:211:27-211:35
15 4 2 86 staking_apa.tla:487:8-490:55
15 6 5 18 staking_apa.tla:487:8-490:55
15 4 5 40 staking_apa.tla:473:8-478:25
15 6 5 18 staking_apa.tla:487:8-490:55
15 6 5 18 staking_apa.tla:479:8-482:49
14 5 5 17 staking_apa.tla:214:32-214:55
14 6 3 34 staking_apa.tla:487:8-490:55
14 6 3 34 staking_apa.tla:487:8-490:55
14 6 5 12 staking_apa.tla:487:8-490:55
14 6 5 12 staking_apa.tla:487:8-490:55
14 6 3 34 staking_apa.tla:483:8-486:51
14 6 3 34 staking_apa.tla:483:8-486:51
14 6 3 34 staking_apa.tla:479:8-482:49
14 6 3 34 staking_apa.tla:479:8-482:49
14 6 5 12 staking_apa.tla:483:8-486:51
14 6 3 34 staking_apa.tla:483:8-486:51
14 6 3 34 staking_apa.tla:487:8-490:55
14 6 3 34 staking_apa.tla:487:8-490:55
14 6 3 34 staking_apa.tla:483:8-486:51
14 6 3 34 staking_apa.tla:479:8-482:49
14 6 3 34 staking_apa.tla:473:8-478:25
14 6 3 34 staking_apa.tla:487:8-490:55
14 6 3 34 staking_apa.tla:487:8-490:55
14 6 3 34 staking_apa.tla:487:8-490:55
14 6 3 34 staking_apa.tla:487:8-490:55
14 6 3 34 staking_apa.tla:473:8-478:25
14 6 4 22 staking_apa.tla:210:17-210:47
14 6 3 34 staking_apa.tla:483:8-486:51
14 6 3 34 staking_apa.tla:487:8-490:55
14 6 3 34 staking_apa.tla:479:8-482:49
14 6 3 34 staking_apa.tla:487:8-490:55
14 4 4 38 staking_apa.tla:473:8-478:25
14 6 3 34 staking_apa.tla:479:8-482:49
14 6 3 34 staking_apa.tla:473:8-478:25
14 6 3 34 staking_apa.tla:479:8-482:49
14 6 3 34 staking_apa.tla:487:8-490:55
14 6 4 22 staking_apa.tla:210:8-210:47
14 6 3 34 staking_apa.tla:483:8-486:51
14 6 3 34 staking_apa.tla:487:8-490:55
13 4 3 36 staking_apa.tla:473:8-478:25
13 4 3 36 staking_apa.tla:473:8-478:25
13 4 3 36 staking_apa.tla:473:8-478:25
13 4 3 36 staking_apa.tla:473:8-478:25
13 4 3 36 staking_apa.tla:473:8-478:25
12 1 6 30 TLC.tla:38:12-38:27
12 5 2 34 undefinedFor1617458
11 3 1 54 staking_apa.tla:483:8-486:51
11 6 5 0 staking_apa.tla:473:8-478:25
11 6 5 0 staking_apa.tla:473:8-478:25
11 4 3 20 staking_apa.tla:473:8-478:25
11 5 4 8 staking_apa.tla:213:8-213:53
11 3 1 54 staking_apa.tla:487:8-490:55
11 5 4 8 staking_apa.tla:212:26-212:55
11 5 4 8 staking_apa.tla:212:8-212:55
11 5 4 8 staking_apa.tla:213:24-213:53
11 3 1 54 staking_apa.tla:487:8-490:55
11 4 2 29 staking_apa.tla:211:19-211:99
11 3 1 56 staking_apa.tla:479:8-482:49
11 3 1 55 staking_apa.tla:487:8-490:55
10 4 2 18 staking_apa.tla:479:8-482:49
10 2 1 54 staking_apa.tla:487:8-490:55
10 2 1 53 staking_apa.tla:487:8-490:55
10 3 2 27 staking_apa.tla:209:24-209:33
10 2 1 52 staking_apa.tla:479:8-482:49
10 2 1 53 staking_apa.tla:396:23-396:28
10 2 1 52 staking_apa.tla:287:23-287:28
10 2 1 54 staking_apa.tla:396:23-396:28
10 4 3 12 staking_apa.tla:215:35-215:81
9 1 4 20 TLC.tla:36:17-36:27
9 4 2 14 staking_apa.tla:487:8-490:55
9 2 3 20 staking_apa.tla:473:8-478:25
9 3 1 25 staking_apa.tla:483:8-486:51
9 3 1 25 staking_apa.tla:483:8-486:51
8 3 1 21 staking_apa.tla:483:8-486:51
8 3 1 21 staking_apa.tla:487:8-490:55
8 3 1 21 staking_apa.tla:483:8-486:51
8 2 2 18 staking_apa.tla:473:8-478:25
8 3 1 21 staking_apa.tla:487:8-490:55
8 3 1 16 staking_apa.tla:473:8-478:25
8 3 1 21 staking_apa.tla:487:8-490:55
8 3 1 20 staking_apa.tla:487:8-490:55
8 3 1 21 staking_apa.tla:483:8-486:51
8 3 1 21 staking_apa.tla:487:8-490:55
8 3 1 20 staking_apa.tla:479:8-482:49
8 2 1 32 staking_apa.tla:483:8-486:51
8 3 1 16 staking_apa.tla:473:8-478:25
8 3 1 20 staking_apa.tla:487:8-490:55
8 3 1 21 staking_apa.tla:487:8-490:55
8 3 1 21 staking_apa.tla:487:8-490:55
8 2 2 18 staking_apa.tla:473:8-478:25
8 3 1 21 staking_apa.tla:483:8-486:51
8 3 1 20 staking_apa.tla:479:8-482:49
8 2 2 18 staking_apa.tla:473:8-478:25
7 2 3 4 staking_apa.tla:487:8-490:55
7 2 3 4 staking_apa.tla:473:8-478:25
7 4 3 0 staking_apa.tla:487:8-490:55
7 2 3 4 staking_apa.tla:487:8-490:55
7 2 3 4 staking_apa.tla:487:8-490:55
7 2 3 4 staking_apa.tla:487:8-490:55
7 4 3 0 staking_apa.tla:483:8-486:51
7 2 3 4 staking_apa.tla:479:8-482:49
7 2 3 4 staking_apa.tla:483:8-486:51
7 4 3 0 staking_apa.tla:487:8-490:55
7 4 3 0 staking_apa.tla:487:8-490:55
7 4 3 0 staking_apa.tla:215:42-215:65
7 4 3 0 staking_apa.tla:479:8-482:49
7 4 3 0 staking_apa.tla:487:8-490:55
7 2 3 4 staking_apa.tla:487:8-490:55
7 2 3 4 staking_apa.tla:483:8-486:51
7 4 3 0 staking_apa.tla:483:8-486:51
7 2 3 4 staking_apa.tla:487:8-490:55
7 2 3 4 staking_apa.tla:487:8-490:55
7 4 3 0 staking_apa.tla:479:8-482:49
7 2 3 4 staking_apa.tla:487:8-490:55
7 2 3 4 staking_apa.tla:479:8-482:49
7 2 3 4 staking_apa.tla:473:8-478:25
7 4 3 0 staking_apa.tla:487:8-490:55
7 2 3 4 staking_apa.tla:473:8-478:25
7 2 1 16 staking_apa.tla:55:14-55:23
7 4 3 0 staking_apa.tla:487:8-490:55
7 2 3 4 staking_apa.tla:487:8-490:55
7 2 3 4 staking_apa.tla:487:8-490:55
7 2 3 4 staking_apa.tla:487:8-490:55
7 4 3 0 staking_apa.tla:487:8-490:55
7 2 3 4 staking_apa.tla:483:8-486:51
7 4 3 0 staking_apa.tla:483:8-486:51
7 2 3 4 staking_apa.tla:479:8-482:49
7 2 3 4 staking_apa.tla:479:8-482:49
7 2 3 4 staking_apa.tla:487:8-490:55
7 4 3 0 staking_apa.tla:483:8-486:51
7 2 3 4 staking_apa.tla:483:8-486:51
7 4 3 0 staking_apa.tla:479:8-482:49
7 4 3 0 staking_apa.tla:479:8-482:49
7 2 3 4 staking_apa.tla:473:8-478:25
7 4 3 0 staking_apa.tla:487:8-490:55
7 4 3 0 staking_apa.tla:483:8-486:51
7 4 3 0 staking_apa.tla:487:8-490:55
7 4 3 0 staking_apa.tla:487:8-490:55
7 4 3 0 staking_apa.tla:487:8-490:55
7 4 3 0 staking_apa.tla:487:8-490:55
7 2 3 4 staking_apa.tla:487:8-490:55
7 2 3 4 staking_apa.tla:473:8-478:25
6 2 1 10 staking_apa.tla:479:8-482:49
6 2 1 10 staking_apa.tla:473:8-478:25
6 2 1 14 staking_apa.tla:483:8-486:51
6 2 1 10 staking_apa.tla:473:8-478:25
6 2 1 14 staking_apa.tla:479:8-482:49
6 2 1 14 staking_apa.tla:487:8-490:55
6 2 1 10 staking_apa.tla:473:8-478:25
6 2 1 10 staking_apa.tla:487:8-490:55
6 2 1 10 staking_apa.tla:479:8-482:49
6 2 1 10 staking_apa.tla:479:8-482:49
6 2 1 14 staking_apa.tla:483:8-486:51
6 2 1 14 staking_apa.tla:487:8-490:55
6 2 1 10 staking_apa.tla:473:8-478:25
6 2 1 10 staking_apa.tla:483:8-486:51
6 2 1 14 staking_apa.tla:487:8-490:55
6 2 1 10 staking_apa.tla:483:8-486:51
6 2 1 14 staking_apa.tla:487:8-490:55
6 2 1 10 staking_apa.tla:473:8-478:25
6 2 1 10 staking_apa.tla:487:8-490:55
6 2 1 10 staking_apa.tla:473:8-478:25
6 2 1 10 staking_apa.tla:211:19-211:99
6 2 1 10 staking_apa.tla:479:8-482:49
6 2 1 14 staking_apa.tla:487:8-490:55
6 2 1 14 staking_apa.tla:479:8-482:49
6 1 0 25 staking_apa.tla:72:20-72:25
6 2 1 10 staking_apa.tla:487:8-490:55
6 2 1 14 staking_apa.tla:487:8-490:55
6 2 1 10 staking_apa.tla:487:8-490:55
6 2 1 10 staking_apa.tla:473:8-478:25
6 2 1 10 staking_apa.tla:487:8-490:55
6 2 1 10 staking_apa.tla:487:8-490:55
6 2 1 10 staking_apa.tla:487:8-490:55
6 2 1 10 staking_apa.tla:479:8-482:49
6 2 1 10 staking_apa.tla:473:8-478:25
6 2 1 14 staking_apa.tla:473:8-478:25
6 2 1 14 staking_apa.tla:483:8-486:51
6 1 2 10 TLC.tla:35:17-35:27
6 2 1 10 staking_apa.tla:483:8-486:51
6 2 1 14 staking_apa.tla:473:8-478:25
6 2 1 14 staking_apa.tla:479:8-482:49
6 2 1 10 staking_apa.tla:483:8-486:51
5 2 2 2 staking_apa.tla:483:8-486:51
5 2 2 2 staking_apa.tla:483:8-486:51
5 1 0 22 staking_apa.tla:396:23-396:28
5 2 2 2 staking_apa.tla:483:25-483:34
5 2 2 2 staking_apa.tla:487:8-490:55
5 1 0 21 staking_apa.tla:72:20-72:25
5 1 0 22 staking_apa.tla:340:23-340:28
5 2 2 2 staking_apa.tla:479:8-482:49
5 2 2 2 staking_apa.tla:483:25-483:34
5 2 2 2 staking_apa.tla:479:8-482:49
5 2 2 2 staking_apa.tla:483:8-486:51
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 1 6 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 1 6 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:473:8-478:25
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:479:25-479:34
5 2 2 2 staking_apa.tla:479:8-482:49
5 2 2 2 staking_apa.tla:483:8-486:51
5 1 0 23 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:479:8-482:49
5 2 2 2 staking_apa.tla:487:8-490:55
5 1 0 22 staking_apa.tla:396:23-396:28
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:483:8-486:51
5 2 2 2 staking_apa.tla:487:25-487:34
5 2 2 2 staking_apa.tla:487:8-490:55
5 1 0 21 staking_apa.tla:72:20-72:25
5 1 0 22 staking_apa.tla:483:8-486:51
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:487:25-487:34
5 1 0 22 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:483:8-486:51
5 2 2 2 staking_apa.tla:487:25-487:34
5 1 0 19 staking_apa.tla:245:5-281:30
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:487:25-487:34
5 2 2 2 staking_apa.tla:483:8-486:51
5 2 2 2 staking_apa.tla:487:25-487:34
5 2 2 2 staking_apa.tla:483:8-486:51
5 2 2 2 staking_apa.tla:487:8-490:55
5 1 0 17 staking_apa.tla:245:5-281:30
5 1 0 20 staking_apa.tla:72:20-72:25
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:479:8-482:49
5 2 2 2 staking_apa.tla:479:25-479:34
5 2 2 2 staking_apa.tla:473:8-478:25
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:479:8-482:49
5 1 0 20 staking_apa.tla:72:20-72:25
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:487:8-490:55
5 1 0 17 staking_apa.tla:473:8-478:25
5 2 2 2 staking_apa.tla:479:8-482:49
5 2 2 2 staking_apa.tla:473:8-478:25
5 2 2 2 staking_apa.tla:479:8-482:49
5 1 0 24 staking_apa.tla:287:23-287:28
5 2 2 2 staking_apa.tla:487:8-490:55
5 1 0 21 staking_apa.tla:72:20-72:25
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:487:8-490:55
5 1 0 18 staking_apa.tla:245:5-281:30
5 2 2 2 staking_apa.tla:483:8-486:51
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:483:8-486:51
5 2 2 2 staking_apa.tla:487:8-490:55
5 1 0 21 staking_apa.tla:72:20-72:25
5 2 1 8 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:479:8-482:49
5 1 0 22 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:483:8-486:51
5 2 2 2 staking_apa.tla:483:8-486:51
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:479:8-482:49
5 2 2 2 staking_apa.tla:483:8-486:51
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:483:8-486:51
5 2 2 2 staking_apa.tla:483:8-486:51
5 2 2 2 staking_apa.tla:483:8-486:51
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:487:25-487:34
5 2 2 2 staking_apa.tla:479:8-482:49
5 1 0 24 staking_apa.tla:479:8-482:49
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:487:8-490:55
5 1 0 21 staking_apa.tla:72:20-72:25
5 2 2 2 staking_apa.tla:479:25-479:34
5 2 2 2 staking_apa.tla:479:8-482:49
5 2 2 2 staking_apa.tla:483:8-486:51
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:487:8-490:55
5 2 2 2 staking_apa.tla:487:8-490:55
5 1 0 16 staking_apa.tla:72:20-72:25
5 2 2 2 staking_apa.tla:479:8-482:49
5 2 2 2 staking_apa.tla:483:25-483:34
5 1 0 23 staking_apa.tla:396:23-396:28
4 1 2 2 staking_apa.tla:212:33-212:42
4 1 0 13 staking_apa.tla:52:22-52:25
4 1 2 2 staking_apa.tla:210:24-210:33
4 1 2 2 staking_apa.tla:211:19-211:99
4 1 2 2 staking_apa.tla:55:30-55:39
4 1 2 2 staking_apa.tla:215:42-215:51
4 1 0 15 staking_apa.tla:51:16-51:19
4 1 0 14 staking_apa.tla:210:17-210:47
4 1 2 2 staking_apa.tla:214:46-214:55
4 1 0 12 staking_apa.tla:52:16-52:19
4 1 2 2 staking_apa.tla:215:56-215:65
4 1 2 2 staking_apa.tla:213:31-213:40
3 2 1 0 staking_apa.tla:487:8-490:55
3 2 1 0 staking_apa.tla:483:8-486:51
3 2 1 0 staking_apa.tla:479:8-482:49
3 2 1 0 staking_apa.tla:473:8-478:25
3 2 1 0 staking_apa.tla:473:8-478:25
3 2 1 0 staking_apa.tla:479:8-482:49
3 2 1 0 staking_apa.tla:479:8-482:49
3 1 1 1 staking_apa.tla:214:32-214:41
3 2 1 0 staking_apa.tla:473:8-478:25
3 2 1 0 staking_apa.tla:487:8-490:55
3 2 1 0 staking_apa.tla:473:8-478:25
3 2 1 0 staking_apa.tla:483:8-486:51
3 2 1 0 staking_apa.tla:487:8-490:55
3 2 1 0 staking_apa.tla:487:8-490:55
3 2 1 0 staking_apa.tla:487:8-490:55
3 2 1 0 staking_apa.tla:473:8-478:25
3 2 1 0 staking_apa.tla:487:8-490:55
3 2 1 0 staking_apa.tla:487:8-490:55
3 2 1 0 staking_apa.tla:483:8-486:51
3 2 1 0 staking_apa.tla:473:8-478:25
3 2 1 0 staking_apa.tla:487:8-490:55
3 2 1 0 staking_apa.tla:483:8-486:51
3 2 1 0 staking_apa.tla:479:8-482:49
3 2 1 0 staking_apa.tla:487:8-490:55
3 2 1 0 staking_apa.tla:483:8-486:51
3 2 1 0 staking_apa.tla:214:32-214:55
3 2 1 0 staking_apa.tla:473:8-478:25
3 2 1 0 staking_apa.tla:479:8-482:49
3 2 1 0 staking_apa.tla:473:8-478:25
3 2 1 0 staking_apa.tla:487:8-490:55
3 2 1 0 staking_apa.tla:479:8-482:49
3 2 1 0 staking_apa.tla:487:8-490:55
3 2 1 0 staking_apa.tla:487:8-490:55
2 1 0 2 staking_apa.tla:72:20-72:25
2 1 0 3 staking_apa.tla:75:23-75:31
2 1 0 3 staking_apa.tla:58:27-58:33
2 1 0 3 staking_apa.tla:215:24-215:110
2 1 0 3 staking_apa.tla:73:23-73:31
1 1 0 0 staking_apa.tla:217:8-217:25
1 1 0 0 staking_apa.tla:216:21-216:22
1 1 0 0 staking_apa.tla:219:21-219:22
1 1 0 0 staking_apa.tla:218:24-218:25
1 1 0 0 staking_apa.tla:216:8-216:22
1 1 0 0 staking_apa.tla:217:24-217:25
1 1 0 0 staking_apa.tla:218:8-218:25
1 1 0 0 staking_apa.tla:219:8-219:22
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:391:33-391:39
0 0 0 0 staking_apa.tla:408:12-408:31
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 TLC.tla:38:5-41:25
0 0 0 0 staking_apa.tla:273:37-273:45
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:296:12-296:31
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:78:26-78:37
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:274:48-274:56
0 0 0 0 staking_apa.tla:391:12-391:17
0 0 0 0 staking_apa.tla:145:18-145:18
0 0 0 0 staking_apa.tla:58:27-58:33
0 0 0 0 staking_apa.tla:292:12-292:27
0 0 0 0 staking_apa.tla:207:20-207:20
0 0 0 0 staking_apa.tla:76:23-76:31
0 0 0 0 staking_apa.tla:293:12-293:36
0 0 0 0 staking_apa.tla:398:12-398:32
0 0 0 0 staking_apa.tla:308:12-308:30
0 0 0 0 staking_apa.tla:268:24-268:33
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:473:8-478:25
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:78:26-78:37
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:401:12-401:27
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:407:12-407:34
0 0 0 0 staking_apa.tla:156:24-156:32
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:73:23-73:31
0 0 0 0 staking_apa.tla:78:26-78:37
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:202:12-202:12
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:404:12-404:31
0 0 0 0 staking_apa.tla:373:12-373:31
0 0 0 0 staking_apa.tla:156:24-156:32
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:75:23-75:31
0 0 0 0 staking_apa.tla:72:20-72:25
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:73:23-73:31
0 0 0 0 staking_apa.tla:278:23-278:32
0 0 0 0 staking_apa.tla:297:12-297:34
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:145:18-145:18
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:156:24-156:32
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:78:26-78:37
0 0 0 0 staking_apa.tla:58:27-58:33
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:327:17-327:25
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:58:27-58:33
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:341:12-341:30
0 0 0 0 staking_apa.tla:473:8-478:25
0 0 0 0 staking_apa.tla:399:12-399:27
0 0 0 0 staking_apa.tla:214:32-214:55
0 0 0 0 staking_apa.tla:147:24-147:29
0 0 0 0 staking_apa.tla:401:12-401:27
0 0 0 0 staking_apa.tla:74:25-74:35
0 0 0 0 staking_apa.tla:316:31-316:36
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:404:12-404:31
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:79:20-79:25
0 0 0 0 staking_apa.tla:79:20-79:25
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:211:19-211:99
0 0 0 0 staking_apa.tla:77:26-77:37
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:473:8-478:25
0 0 0 0 staking_apa.tla:391:33-391:39
0 0 0 0 staking_apa.tla:473:8-478:25
0 0 0 0 staking_apa.tla:351:12-351:34
0 0 0 0 staking_apa.tla:73:23-73:31
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:74:25-74:35
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:79:20-79:25
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:73:23-73:31
0 0 0 0 staking_apa.tla:250:8-250:23
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:298:12-298:34
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:214:32-214:55
0 0 0 0 staking_apa.tla:255:27-255:32
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:384:10-384:19
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:215:35-215:81
0 0 0 0 staking_apa.tla:426:12-426:27
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:400:12-400:27
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:402:12-402:36
0 0 0 0 staking_apa.tla:291:12-291:27
0 0 0 0 staking_apa.tla:473:8-478:25
0 0 0 0 staking_apa.tla:265:27-265:27
0 0 0 0 staking_apa.tla:440:12-440:34
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 TLC.tla:38:24-38:27
0 0 0 0 staking_apa.tla:335:39-335:45
0 0 0 0 staking_apa.tla:76:23-76:31
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:315:46-315:46
0 0 0 0 staking_apa.tla:399:12-399:27
0 0 0 0 staking_apa.tla:405:12-405:31
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:77:26-77:37
0 0 0 0 staking_apa.tla:399:12-399:27
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:391:33-391:39
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:391:12-391:17
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:215:69-215:69
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:407:12-407:34
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:145:18-145:18
0 0 0 0 staking_apa.tla:145:18-145:18
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:208:22-208:22
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:254:44-254:52
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:58:27-58:33
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:343:12-343:27
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:73:23-73:31
0 0 0 0 staking_apa.tla:78:26-78:37
0 0 0 0 staking_apa.tla:77:26-77:37
0 0 0 0 staking_apa.tla:335:12-335:17
0 0 0 0 TLC.tla:35:24-35:27
0 0 0 0 staking_apa.tla:430:36-430:36
0 0 0 0 staking_apa.tla:414:28-414:33
0 0 0 0 staking_apa.tla:397:12-397:30
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:74:25-74:35
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:75:23-75:31
0 0 0 0 staking_apa.tla:402:12-402:36
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:245:5-281:30
0 0 0 0 staking_apa.tla:429:18-429:18
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:473:8-478:25
0 0 0 0 staking_apa.tla:392:40-392:45
0 0 0 0 staking_apa.tla:307:23-307:29
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:430:18-430:18
0 0 0 0 staking_apa.tla:211:40-211:42
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:398:12-398:32
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:213:24-213:53
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:397:12-397:30
0 0 0 0 staking_apa.tla:295:12-295:31
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:406:12-406:34
0 0 0 0 staking_apa.tla:400:12-400:27
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:466:10-466:15
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:74:25-74:35
0 0 0 0 staking_apa.tla:391:33-391:39
0 0 0 0 staking_apa.tla:400:12-400:27
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:75:23-75:31
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:76:23-76:31
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:149:47-149:55
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:73:23-73:31
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:242:36-242:48
0 0 0 0 staking_apa.tla:358:28-358:33
0 0 0 0 staking_apa.tla:278:77-278:85
0 0 0 0 staking_apa.tla:79:20-79:25
0 0 0 0 staking_apa.tla:75:23-75:31
0 0 0 0 staking_apa.tla:78:26-78:37
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:78:26-78:37
0 0 0 0 staking_apa.tla:341:12-341:30
0 0 0 0 staking_apa.tla:316:38-316:38
0 0 0 0 staking_apa.tla:403:12-403:34
0 0 0 0 staking_apa.tla:77:26-77:37
0 0 0 0 staking_apa.tla:434:12-434:34
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:336:46-336:51
0 0 0 0 staking_apa.tla:408:12-408:31
0 0 0 0 staking_apa.tla:372:27-372:36
0 0 0 0 staking_apa.tla:252:24-252:32
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:405:12-405:31
0 0 0 0 staking_apa.tla:314:22-314:22
0 0 0 0 staking_apa.tla:288:12-288:30
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:403:12-403:34
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:385:10-385:15
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:269:48-269:56
0 0 0 0 staking_apa.tla:79:20-79:25
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 TLC.tla:38:5-41:25
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:336:46-336:51
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:270:43-270:43
0 0 0 0 staking_apa.tla:407:12-407:34
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:77:26-77:37
0 0 0 0 staking_apa.tla:145:18-145:18
0 0 0 0 staking_apa.tla:241:33-241:42
0 0 0 0 staking_apa.tla:391:33-391:39
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:211:8-211:99
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:392:40-392:45
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:466:10-466:15
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:76:23-76:31
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:297:12-297:34
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:473:8-478:25
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:431:34-431:34
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:360:23-360:29
0 0 0 0 staking_apa.tla:145:18-145:18
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:357:18-357:23
0 0 0 0 staking_apa.tla:397:12-397:30
0 0 0 0 staking_apa.tla:179:12-179:12
0 0 0 0 staking_apa.tla:473:8-478:25
0 0 0 0 staking_apa.tla:473:8-478:25
0 0 0 0 staking_apa.tla:145:18-145:18
0 0 0 0 staking_apa.tla:425:12-425:27
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:349:12-349:31
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:75:23-75:31
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:58:27-58:33
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:372:27-372:36
0 0 0 0 staking_apa.tla:156:24-156:32
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:422:23-422:29
0 0 0 0 staking_apa.tla:408:12-408:31
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:92:24-92:25
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:398:12-398:32
0 0 0 0 TLC.tla:40:23-40:23
0 0 0 0 staking_apa.tla:79:20-79:25
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:318:12-318:36
0 0 0 0 staking_apa.tla:351:12-351:34
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:209:39-209:43
0 0 0 0 staking_apa.tla:75:23-75:31
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:473:8-478:25
0 0 0 0 staking_apa.tla:77:26-77:37
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:74:25-74:35
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:156:24-156:32
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:245:5-281:30
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:58:27-58:33
0 0 0 0 staking_apa.tla:79:20-79:25
0 0 0 0 staking_apa.tla:268:37-268:45
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:398:12-398:32
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:314:39-314:44
0 0 0 0 staking_apa.tla:406:12-406:34
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:145:18-145:18
0 0 0 0 staking_apa.tla:75:23-75:31
0 0 0 0 staking_apa.tla:90:19-90:19
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:145:18-145:18
0 0 0 0 staking_apa.tla:382:12-382:31
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:342:12-342:32
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:240:57-240:57
0 0 0 0 staking_apa.tla:423:12-423:30
0 0 0 0 staking_apa.tla:350:12-350:34
0 0 0 0 staking_apa.tla:215:42-215:65
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:54:35-54:38
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:253:24-253:33
0 0 0 0 staking_apa.tla:327:17-327:25
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:320:27-320:36
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:77:26-77:37
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:430:29-430:34
0 0 0 0 staking_apa.tla:77:26-77:37
0 0 0 0 staking_apa.tla:145:18-145:18
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:473:8-478:25
0 0 0 0 staking_apa.tla:435:27-435:36
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:268:18-268:18
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:79:20-79:25
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:78:26-78:37
0 0 0 0 staking_apa.tla:346:12-346:36
0 0 0 0 staking_apa.tla:265:20-265:25
0 0 0 0 staking_apa.tla:211:8-211:99
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:385:10-385:15
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:404:12-404:31
0 0 0 0 staking_apa.tla:473:8-478:25
0 0 0 0 staking_apa.tla:305:56-305:61
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:473:8-478:25
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:413:18-413:23
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:292:12-292:27
0 0 0 0 staking_apa.tla:404:12-404:31
0 0 0 0 staking_apa.tla:311:12-311:27
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:391:12-391:17
0 0 0 0 staking_apa.tla:392:40-392:45
0 0 0 0 staking_apa.tla:75:23-75:31
0 0 0 0 staking_apa.tla:381:12-381:34
0 0 0 0 staking_apa.tla:74:25-74:35
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:402:12-402:36
0 0 0 0 staking_apa.tla:321:12-321:31
0 0 0 0 staking_apa.tla:79:20-79:25
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:73:23-73:31
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:179:12-179:12
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:145:18-145:18
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:323:12-323:34
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:145:18-145:18
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:73:23-73:31
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:78:26-78:37
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:298:12-298:34
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:352:12-352:31
0 0 0 0 staking_apa.tla:152:29-152:34
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:54:49-54:52
0 0 0 0 staking_apa.tla:253:18-253:18
0 0 0 0 staking_apa.tla:75:23-75:31
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:58:27-58:33
0 0 0 0 staking_apa.tla:145:18-145:18
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:435:27-435:36
0 0 0 0 staking_apa.tla:58:27-58:33
0 0 0 0 staking_apa.tla:429:29-429:34
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:336:46-336:51
0 0 0 0 staking_apa.tla:424:12-424:32
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:76:23-76:31
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:77:26-77:37
0 0 0 0 staking_apa.tla:240:28-240:28
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:406:12-406:34
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:274:18-274:18
0 0 0 0 staking_apa.tla:367:18-367:18
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:76:23-76:31
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:294:12-294:34
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:400:12-400:27
0 0 0 0 staking_apa.tla:473:8-478:25
0 0 0 0 staking_apa.tla:327:17-327:25
0 0 0 0 staking_apa.tla:397:12-397:30
0 0 0 0 staking_apa.tla:75:23-75:31
0 0 0 0 staking_apa.tla:90:19-90:19
0 0 0 0 staking_apa.tla:465:10-465:19
0 0 0 0 staking_apa.tla:456:25-456:39
0 0 0 0 staking_apa.tla:152:29-152:34
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:214:62-214:62
0 0 0 0 staking_apa.tla:344:12-344:27
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:405:12-405:31
0 0 0 0 staking_apa.tla:293:12-293:36
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:254:18-254:18
0 0 0 0 staking_apa.tla:253:37-253:45
0 0 0 0 staking_apa.tla:264:37-264:37
0 0 0 0 staking_apa.tla:281:22-281:30
0 0 0 0 staking_apa.tla:290:12-290:27
0 0 0 0 staking_apa.tla:402:12-402:36
0 0 0 0 staking_apa.tla:407:12-407:34
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:73:23-73:31
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:401:12-401:27
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:364:12-364:27
0 0 0 0 staking_apa.tla:392:40-392:45
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:345:12-345:27
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:384:10-384:19
0 0 0 0 staking_apa.tla:102:24-102:25
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:268:50-268:60
0 0 0 0 staking_apa.tla:368:27-368:32
0 0 0 0 staking_apa.tla:156:24-156:32
0 0 0 0 staking_apa.tla:392:40-392:45
0 0 0 0 staking_apa.tla:77:26-77:37
0 0 0 0 staking_apa.tla:240:50-240:55
0 0 0 0 staking_apa.tla:327:17-327:25
0 0 0 0 staking_apa.tla:402:12-402:36
0 0 0 0 staking_apa.tla:309:12-309:32
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:473:8-478:25
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:345:12-345:27
0 0 0 0 staking_apa.tla:243:36-243:48
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:406:12-406:34
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:145:18-145:18
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:463:12-463:31
0 0 0 0 staking_apa.tla:406:12-406:34
0 0 0 0 staking_apa.tla:347:12-347:34
0 0 0 0 staking_apa.tla:296:12-296:31
0 0 0 0 staking_apa.tla:58:27-58:33
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:269:18-269:18
0 0 0 0 staking_apa.tla:363:12-363:27
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:288:12-288:30
0 0 0 0 staking_apa.tla:79:20-79:25
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:344:12-344:27
0 0 0 0 TLC.tla:41:23-41:23
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:310:12-310:27
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:403:12-403:34
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:77:26-77:37
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:327:10-327:15
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:398:12-398:32
0 0 0 0 staking_apa.tla:72:20-72:25
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:156:24-156:32
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:202:12-202:12
0 0 0 0 staking_apa.tla:327:17-327:25
0 0 0 0 staking_apa.tla:206:18-206:24
0 0 0 0 staking_apa.tla:473:8-478:25
0 0 0 0 staking_apa.tla:322:12-322:34
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:275:41-275:41
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:270:27-270:41
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:350:12-350:34
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:335:12-335:17
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:76:23-76:31
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:73:23-73:31
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:295:12-295:31
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:74:25-74:35
0 0 0 0 staking_apa.tla:433:12-433:36
0 0 0 0 staking_apa.tla:145:18-145:18
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:327:10-327:15
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:145:18-145:18
0 0 0 0 staking_apa.tla:335:39-335:45
0 0 0 0 staking_apa.tla:73:23-73:31
0 0 0 0 staking_apa.tla:280:25-280:37
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:367:42-367:42
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:289:12-289:32
0 0 0 0 staking_apa.tla:74:25-74:35
0 0 0 0 staking_apa.tla:473:8-478:25
0 0 0 0 staking_apa.tla:368:34-368:34
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:79:20-79:25
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:75:23-75:31
0 0 0 0 staking_apa.tla:399:12-399:27
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:457:25-457:37
0 0 0 0 staking_apa.tla:279:25-279:37
0 0 0 0 staking_apa.tla:145:18-145:18
0 0 0 0 staking_apa.tla:76:23-76:31
0 0 0 0 staking_apa.tla:77:26-77:37
0 0 0 0 TLC.tla:36:24-36:27
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:215:76-215:76
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:202:12-202:12
0 0 0 0 staking_apa.tla:145:18-145:18
0 0 0 0 staking_apa.tla:473:8-478:25
0 0 0 0 staking_apa.tla:335:12-335:17
0 0 0 0 staking_apa.tla:347:12-347:34
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:401:12-401:27
0 0 0 0 staking_apa.tla:319:12-319:34
0 0 0 0 staking_apa.tla:473:8-478:25
0 0 0 0 staking_apa.tla:78:26-78:37
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:294:12-294:34
0 0 0 0 staking_apa.tla:208:8-208:22
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:400:12-400:27
0 0 0 0 staking_apa.tla:290:12-290:27
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:361:12-361:30
0 0 0 0 staking_apa.tla:435:27-435:36
0 0 0 0 staking_apa.tla:54:27-54:30
0 0 0 0 staking_apa.tla:314:46-314:46
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:404:12-404:31
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:431:27-431:32
0 0 0 0 staking_apa.tla:77:26-77:37
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:76:23-76:31
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:342:12-342:32
0 0 0 0 staking_apa.tla:90:19-90:19
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:367:35-367:40
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:76:23-76:31
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:155:16-155:28
0 0 0 0 staking_apa.tla:429:36-429:36
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:147:44-147:49
0 0 0 0 staking_apa.tla:391:12-391:17
0 0 0 0 staking_apa.tla:348:12-348:31
0 0 0 0 staking_apa.tla:352:12-352:31
0 0 0 0 staking_apa.tla:462:27-462:39
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:156:24-156:32
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:155:16-155:28
0 0 0 0 staking_apa.tla:391:33-391:39
0 0 0 0 staking_apa.tla:72:20-72:25
0 0 0 0 staking_apa.tla:408:12-408:31
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:348:12-348:31
0 0 0 0 staking_apa.tla:215:42-215:65
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:207:8-207:20
0 0 0 0 staking_apa.tla:77:26-77:37
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:145:18-145:18
0 0 0 0 staking_apa.tla:240:33-240:38
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:391:12-391:17
0 0 0 0 staking_apa.tla:78:26-78:37
0 0 0 0 staking_apa.tla:211:69-211:69
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:202:12-202:12
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:371:12-371:34
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:78:26-78:37
0 0 0 0 staking_apa.tla:76:23-76:31
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:405:12-405:31
0 0 0 0 staking_apa.tla:78:26-78:37
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:76:23-76:31
0 0 0 0 staking_apa.tla:291:12-291:27
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:145:18-145:18
0 0 0 0 staking_apa.tla:78:26-78:37
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:255:34-255:34
0 0 0 0 staking_apa.tla:405:12-405:31
0 0 0 0 staking_apa.tla:149:27-149:32
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:79:20-79:25
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:273:18-273:18
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:58:27-58:33
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:72:20-72:25
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:74:25-74:35
0 0 0 0 staking_apa.tla:315:39-315:44
0 0 0 0 staking_apa.tla:391:12-391:17
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:349:12-349:31
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:278:39-278:48
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:392:40-392:45
0 0 0 0 staking_apa.tla:211:71-211:71
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 TLC.tla:38:12-38:15
0 0 0 0 staking_apa.tla:206:8-206:24
0 0 0 0 staking_apa.tla:240:40-240:40
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:76:23-76:31
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:75:23-75:31
0 0 0 0 TLC.tla:39:16-39:16
0 0 0 0 staking_apa.tla:403:12-403:34
0 0 0 0 staking_apa.tla:90:19-90:19
0 0 0 0 staking_apa.tla:465:10-465:19
0 0 0 0 staking_apa.tla:145:18-145:18
0 0 0 0 staking_apa.tla:152:29-152:34
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:76:23-76:31
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:58:27-58:33
0 0 0 0 staking_apa.tla:401:12-401:27
0 0 0 0 staking_apa.tla:215:35-215:81
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:277:8-277:27
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:335:39-335:45
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:473:8-478:25
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:340:23-340:28
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:397:12-397:30
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:74:25-74:35
0 0 0 0 staking_apa.tla:420:56-420:61
0 0 0 0 staking_apa.tla:408:12-408:31
0 0 0 0 staking_apa.tla:74:25-74:35
0 0 0 0 staking_apa.tla:370:12-370:36
0 0 0 0 staking_apa.tla:73:23-73:31
0 0 0 0 staking_apa.tla:74:25-74:35
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:90:19-90:19
0 0 0 0 staking_apa.tla:79:20-79:25
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:275:27-275:39
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:58:27-58:33
0 0 0 0 staking_apa.tla:324:12-324:31
0 0 0 0 staking_apa.tla:152:29-152:34
0 0 0 0 staking_apa.tla:73:23-73:31
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:273:24-273:33
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:157:27-157:29
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:479:8-482:49
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:320:27-320:36
0 0 0 0 staking_apa.tla:299:12-299:31
0 0 0 0 staking_apa.tla:252:18-252:18
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:315:22-315:22
0 0 0 0 staking_apa.tla:439:12-439:31
0 0 0 0 staking_apa.tla:212:26-212:55
0 0 0 0 staking_apa.tla:362:12-362:32
0 0 0 0 staking_apa.tla:245:5-281:30
0 0 0 0 staking_apa.tla:79:20-79:25
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:74:25-74:35
0 0 0 0 staking_apa.tla:289:12-289:32
0 0 0 0 staking_apa.tla:54:43-54:46
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:403:12-403:34
0 0 0 0 staking_apa.tla:299:12-299:31
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:407:12-407:34
0 0 0 0 staking_apa.tla:51:16-51:19
0 0 0 0 staking_apa.tla:75:23-75:31
0 0 0 0 staking_apa.tla:473:8-478:25
0 0 0 0 staking_apa.tla:145:55-145:63
0 0 0 0 staking_apa.tla:52:16-52:19
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:91:19-91:19
0 0 0 0 staking_apa.tla:58:27-58:33
0 0 0 0 staking_apa.tla:343:12-343:27
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:74:25-74:35
0 0 0 0 TLC.tla:38:5-41:25
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:327:30-327:35
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:399:12-399:27
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:483:8-486:51
0 0 0 0 staking_apa.tla:346:12-346:36
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:52:22-52:25
0 0 0 0 staking_apa.tla:487:8-490:55
0 0 0 0 staking_apa.tla:91:19-91:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment