├── network_embedding_pred.py
├── README.md
├── util.py
├── data
    ├── example2-test-pos.net
    ├── example2-val-pos.net
    ├── example2-test-neg.net
    ├── example2-val-neg.net
    ├── example-val-neg.net
    ├── example-val-pos.net
    └── example2-train.net
├── pnrl_r.py
└── LICENSE


/network_embedding_pred.py:
--------------------------------------------------------------------------------
 1 | from gensim.models.word2vec import Word2Vec
 2 | from sklearn import linear_model
 3 | import numpy as np
 4 | from sklearn.metrics import classification_report, roc_auc_score
 5 | import random
 6 | 
 7 | 
 8 | data = 'example'
 9 | model_name = 'deepwalk'
10 | for i in range(5):
11 | 	i = str(i)
12 | 	model = Word2Vec.load_word2vec_format('data/'+ data + '_' + model_name + '_' +i+'.embeddings', binary=False)
13 | 	X_train = []
14 | 	Y_train = []
15 | 	X_test = []
16 | 	Y_test = []
17 | 	X_test_pos = []
18 | 	X_test_neg = []
19 | 	with open ('data/'+ data + '_train_' +i+'.net','rb') as f:
20 | 		for line in f:
21 | 			pair = line.strip().split()
22 | 			if pair[0] not in model.vocab or pair[1] not in model.vocab:
23 | 				continue
24 | 			else:
25 | 				head = model[pair[0]]
26 | 				tail = model[pair[1]]
27 | 				feature = np.multiply(head,tail)
28 | 				X_train.append(feature)
29 | 				Y_train.append(1)
30 | 
31 | 	with open ('data/' + data + '_train_neg_' + i + '.net','rb') as f:
32 | 		for line in f:
33 | 			pair = line.strip().split()
34 | 			if pair[0] not in model.vocab or pair[1] not in model.vocab:
35 | 				continue
36 | 			else:
37 | 				head = model[pair[0]]
38 | 				tail = model[pair[1]]
39 | 				feature = np.multiply(head,tail)
40 | 				X_train.append(feature)
41 | 				Y_train.append(-1)
42 | 
43 | 	clf = linear_model.SGDClassifier(loss='squared_hinge')
44 | 
45 | 	X_train = np.array(X_train)
46 | 	Y_train = np.array(Y_train)
47 | 
48 | 	clf.fit(X_train,Y_train)
49 | 
50 | 	Y_unknown = []
51 | 	Y_score_unknown = []
52 | 	with open ('data/'+ data + '_test_' + i + '.net','rb') as f:
53 | 		for line in f:
54 | 			pair = line.strip().split()
55 | 			if pair[0] not in model.vocab or pair[1] not in model.vocab:
56 | 				Y_unknown.append(1)
57 | 				Y_score_unknown.append(0.5)
58 | 			else:
59 | 				head = model[pair[0]]
60 | 				tail = model[pair[1]]
61 | 				feature = np.multiply(head,tail)
62 | 				X_test.append(feature)
63 | 				X_test_pos.append(feature)
64 | 				Y_test.append(1)
65 | 
66 | 	with open ('data/'+ data + '_test_neg_' + i + '.net','rb') as f:
67 | 		for line in f:
68 | 			pair = line.strip().split()
69 | 			if pair[0] not in model.vocab or pair[1] not in model.vocab:
70 | 				Y_unknown.append(-1)
71 | 				Y_score_unknown.append(0.5)
72 | 			else:
73 | 				head = model[pair[0]]
74 | 				tail = model[pair[1]]
75 | 				feature = np.multiply(head,tail)
76 | 				X_test.append(feature)
77 | 				X_test_neg.append(feature)
78 | 				Y_test.append(-1)
79 | 
80 | 	X_test = np.array(X_test)
81 | 	Y_test = np.array(Y_test)
82 | 	Y_pred = clf.decision_function(X_test)
83 | 	Y_pred_pos = clf.decision_function(X_test_pos)
84 | 	Y_pred_neg = clf.decision_function(X_test_neg)
85 | 	for i in range(len(Y_pred)):
86 | 		Y_pred[i] = 1 / (1 + np.exp(-Y_pred[i]))
87 | 	print roc_auc_score(Y_test, Y_pred)
88 | 


--------------------------------------------------------------------------------
/README.md:
--------------------------------------------------------------------------------
 1 | # PNRL
 2 | This repository provides reference codes of PNRL as described in the paper:
 3 | 
 4 | >**Predictive Network Representation Learning for Link Prediction.**
 5 | >**Zhitao Wang, Chengyao Chen and Wenjie Li.**
 6 | >**SIGIR, 2017.**  (https://dl.acm.org/citation.cfm?id=3080692)
 7 | 
 8 | ## Environment
 9 | The code is only tested in the environment with following setting:  
10 |  1. python 2.7  
11 |  2. keras (1.1.0) (Supporting Tensorflow Backend Now!)  
12 |  3. numpy (1.11.1)  
13 |  4. scikit-learn (0.16.1)  
14 |  5. networkx (1.10)  
15 | 
16 | ## Run the code
17 |     python pnrl_r.py
18 |     
19 | ## Configuration
20 | You can change the path of data, learning rate, batch size, sample ratio and other parameters at Class Config() in pnrl_r.py
21 | 
22 | ## Dataset
23 | All experimental datasets are public, you can find in the following links:
24 | * **Facebook**: J. McAuley and J. Leskovec. Learning to Discover Social Circles in Ego Networks. NIPS, 2012. https://snap.stanford.edu/data/egonets-Facebook.html
25 | * **Email**: R. Guimera, L. Danon, A. Diaz-Guilera, F. Giralt and A. Arenas, Physical Review E , vol. 68, 065103(R), (2003). http://deim.urv.cat/~alexandre.arenas/data/welcome.htm
26 | * **U.S. Power Grid**: D. J. Watts and S. H. Strogatz, Nature 393, 440-442 (1998).      
27 | http://www-personal.umich.edu/~mejn/netdata/
28 | * **Condensed Matter Collaborations**: M. E. J. Newman, The structure of scientific collaboration networks, Proc. Natl. Acad. Sci. USA 98, 404-409 (2001). http://www-personal.umich.edu/~mejn/netdata/
29 | 
30 | ## Data Format and Split
31 | Training, validation and testing graphs should be the format of edge lists (undirected):
32 | >node1_id node2_id <weight, optional>     
33 | >1 2 1.0        
34 | >......
35 | 
36 | We regard the link prediction as binary classification, therefore the validation and testing graphs should have two files:
37 | * One for truly linked node-pair (Positive samples)
38 | * One for non-linked node-pair (Negative samples)
39 | 
40 | Given an original edge list data (total num: N\*L), we randomly split these edges into N parts with same size L. We also need to randomly sample L non-linked pairs for N times as negative testing samplings. Then we can repeat N times cross-test over the processed data, N-1 parts for training and 1 part for testing each time. 
41 | 
42 | Particularly, DEEPWALK, LINE, NODE2VEC, PNRLC require to sample (N-1)\*L negative training samplings (the same size with positive training samplings) each time for classifier training. This is known as a Under-Sampling Strategy for imbanlance classification problem.
43 | 
44 | 
45 | ## Citing
46 |     @inproceedings{Wang2017PNR,
47 |     author = {Wang, Zhitao and Chen, Chengyao and Li, Wenjie},
48 |     title = {Predictive Network Representation Learning for Link Prediction},
49 |      booktitle = {Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval},
50 |      series = {SIGIR '17},
51 |      year = {2017},
52 |      isbn = {978-1-4503-5022-8},
53 |      location = {Shinjuku, Tokyo, Japan},
54 |      url = {http://doi.acm.org/10.1145/3077136.3080692}
55 |     } 
56 | 
57 |   
58 | 


--------------------------------------------------------------------------------
/util.py:
--------------------------------------------------------------------------------
 1 | import networkx as nx
 2 | import math
 3 | import numpy as np
 4 | 
 5 | def load_training_graph(file, directed):
 6 |     if directed:
 7 |         return nx.read_edgelist(file, data=False, create_using = nx.DiGraph())
 8 |     else:
 9 |         return nx.read_edgelist(file, data=False)
10 | 
11 | def read_valset(pos_file, neg_file, graph_index, directed=False):
12 |     print('Creating Validation edges set...')
13 |     if directed:
14 |         pos_val = nx.read_edgelist(pos_file, data=False, create_using = nx.DiGraph())
15 |         neg_val = nx.read_edgelist(neg_file, data=False, create_using = nx.DiGraph())
16 |     else:
17 |         pos_val = nx.read_edgelist(pos_file, data=False)
18 |         neg_val = nx.read_edgelist(neg_file, data=False)
19 |     pos_val_set = pos_val.edges()
20 |     neg_val_set = neg_val.edges()
21 |     X_val_source = []
22 |     X_val_target = []
23 |     Y_val = []
24 |     for e in pos_val_set:
25 |         if e[0] in graph_index and e[1] in graph_index:
26 |             X_val_source.append(graph_index[e[0]])
27 |             X_val_target.append(graph_index[e[1]])
28 |             Y_val.append(1.)
29 |     for e in neg_val_set:
30 |         if e[0] in graph_index and e[1] in graph_index:
31 |             X_val_source.append(graph_index[e[0]])
32 |             X_val_target.append(graph_index[e[1]])
33 |             Y_val.append(0.)
34 |     X_val = [np.array(X_val_source), np.array(X_val_target)]
35 |     Y_val = np.array(Y_val)
36 |     return X_val, Y_val
37 | 
38 | def creat_index(G):
39 |     graph_index = {}
40 |     i = 0
41 |     for key in G.nodes():
42 |         graph_index[key] = i
43 |         i += 1
44 |     return graph_index
45 | 
46 | def NegTable(G, graph_index):
47 |     print('Creating negative sampling table...')
48 |     nodes_size = len(G.nodes())
49 |     power = 0.75
50 |     norm = sum([math.pow(G.degree(node), power) for node in G.nodes()]) # Normalizing constant
51 |     table_size = int(1e8) # Length of the unigram table
52 |     table = np.zeros(table_size, dtype=np.uint32)
53 |     # print 'Filling unigram table'
54 |     p = 0 # Cumulative probability
55 |     i = 0
56 |     for node in G.nodes():
57 |         p += float(math.pow(G.degree(node), power))/norm
58 |         while i < table_size and float(i) / table_size < p:
59 |             table[i] = graph_index[node]
60 |             i += 1
61 |     print('Finish')
62 |     return table
63 | 
64 | def neg_sample(neg_table, num_neg):
65 |     indices = np.random.randint(low=0, high=len(neg_table), size=num_neg)
66 |     return [neg_table[i] for i in indices]
67 | 
68 | def neighbor_set(G):
69 |     neighbor_set = {}
70 |     non_neighbor_set = {}
71 |     whole_set = set(G.nodes())
72 |     print('Creating neighbor set...')
73 |     for node in G.nodes():
74 |         neighbours = nx.neighbors(G,node)
75 |         neighbor_set[node] = list(neighbours)
76 |         non_neighbor_set[node] = list(whole_set-set(neighbours))
77 |     print('Finish creating neighbor set')
78 |     return neighbor_set, non_neighbor_set
79 | 
80 | # def edge_sampling(neighbor_set, non_neighbor_set, graph_index, node, neg_table, num_neg):
81 | #     if len(neighbor_set[node])==0:
82 | #         return False
83 | #     else:
84 | #         linked = graph_index[random.choice(neighbor_set[node])]
85 | #         nolinked = graph_index[random.choice(non_neighbor_set[node])]
86 | #         source = graph_index[node]
87 | #         neg = neg_sample(neg_table, num_neg)
88 | #         return source, linked, nolinked, neg
89 | 


--------------------------------------------------------------------------------
/data/example2-test-pos.net:
--------------------------------------------------------------------------------
  1 | 551 765
  2 | 552 504
  3 | 192 206
  4 | 405 81
  5 | 202 399
  6 | 317 49
  7 | 438 204
  8 | 584 289
  9 | 360 361
 10 | 351 727
 11 | 346 38
 12 | 694 125
 13 | 578 211
 14 | 515 452
 15 | 234 19
 16 | 146 148
 17 | 230 233
 18 | 743 945
 19 | 56 474
 20 | 201 49
 21 | 393 982
 22 | 206 128
 23 | 379 248
 24 | 757 1026
 25 | 392 353
 26 | 330 305
 27 | 376 397
 28 | 769 562
 29 | 1039 1035
 30 | 149 185
 31 | 21 214
 32 | 116 390
 33 | 633 163
 34 | 280 532
 35 | 299 25
 36 | 650 214
 37 | 504 893
 38 | 279 372
 39 | 687 453
 40 | 757 1020
 41 | 907 891
 42 | 730 504
 43 | 452 456
 44 | 174 121
 45 | 327 207
 46 | 389 633
 47 | 886 542
 48 | 341 380
 49 | 512 896
 50 | 168 113
 51 | 769 256
 52 | 355 40
 53 | 578 891
 54 | 378 661
 55 | 77 56
 56 | 439 49
 57 | 114 117
 58 | 341 32
 59 | 201 218
 60 | 443 137
 61 | 817 234
 62 | 413 44
 63 | 21 248
 64 | 20 228
 65 | 353 568
 66 | 591 142
 67 | 200 259
 68 | 193 775
 69 | 105 210
 70 | 680 116
 71 | 39 265
 72 | 332 396
 73 | 757 476
 74 | 599 218
 75 | 210 425
 76 | 336 322
 77 | 507 562
 78 | 106 658
 79 | 321 49
 80 | 14 166
 81 | 660 549
 82 | 407 44
 83 | 707 1010
 84 | 754 158
 85 | 401 85
 86 | 810 254
 87 | 405 429
 88 | 80 120
 89 | 874 489
 90 | 108 10
 91 | 140 313
 92 | 66 46
 93 | 54 41
 94 | 137 459
 95 | 142 150
 96 | 33 169
 97 | 650 698
 98 | 944 396
 99 | 132 547
100 | 340 339
101 | 660 962
102 | 512 65
103 | 147 139
104 | 596 200
105 | 434 756
106 | 183 602
107 | 276 866
108 | 333 81
109 | 1066 561
110 | 416 45
111 | 437 56
112 | 147 76
113 | 612 136
114 | 197 327
115 | 525 69
116 | 135 23
117 | 3 41
118 | 748 1075
119 | 197 204
120 | 135 545
121 | 466 638
122 | 404 42
123 | 512 834
124 | 416 573
125 | 299 885
126 | 415 538
127 | 279 415
128 | 207 216
129 | 382 385
130 | 331 423
131 | 334 925
132 | 818 462
133 | 81 588
134 | 341 76
135 | 780 216
136 | 549 415
137 | 886 571
138 | 497 483
139 | 910 1005
140 | 91 7
141 | 885 571
142 | 995 484
143 | 613 1019
144 | 612 1084
145 | 13 159
146 | 70 531
147 | 769 467
148 | 239 143
149 | 57 484
150 | 276 333
151 | 14 124
152 | 564 478
153 | 589 662
154 | 496 59
155 | 335 245
156 | 64 483
157 | 1007 687
158 | 19 120
159 | 98 627
160 | 202 214
161 | 870 1035
162 | 431 756
163 | 495 367
164 | 255 58
165 | 322 390
166 | 94 376
167 | 744 748
168 | 215 212
169 | 30 201
170 | 711 252
171 | 329 542
172 | 1054 912
173 | 1005 1004
174 | 1043 849
175 | 780 218
176 | 135 11
177 | 19 41
178 | 691 355
179 | 431 243
180 | 657 661
181 | 31 251
182 | 246 157
183 | 273 501
184 | 452 663
185 | 654 769
186 | 77 5
187 | 687 351
188 | 216 390
189 | 648 116
190 | 756 788
191 | 333 457
192 | 235 233
193 | 28 3
194 | 260 846
195 | 233 204
196 | 1 27
197 | 188 562
198 | 501 355
199 | 188 772
200 | 276 393
201 | 999 427
202 | 18 227
203 | 910 1105
204 | 298 443
205 | 16 222
206 | 128 429
207 | 882 566
208 | 93 89
209 | 85 205
210 | 244 178
211 | 419 808
212 | 922 486
213 | 1026 487
214 | 188 660
215 | 207 212
216 | 193 600
217 | 106 652
218 | 72 369
219 | 837 838
220 | 69 506
221 | 205 289
222 | 333 259
223 | 18 3
224 | 50 52
225 | 64 485
226 | 72 59
227 | 594 198
228 | 659 853
229 | 38 241
230 | 447 484
231 | 439 650
232 | 399 45
233 | 640 629
234 | 336 40
235 | 104 501
236 | 197 181
237 | 235 27
238 | 7 9
239 | 55 40
240 | 384 387
241 | 848 486
242 | 3 56
243 | 81 243
244 | 627 636
245 | 523 822
246 | 117 569
247 | 654 188
248 | 444 50
249 | 38 352
250 | 747 356
251 | 1002 460
252 | 656 568
253 | 886 726
254 | 54 49
255 | 106 654
256 | 28 309
257 | 272 265
258 | 594 592
259 | 333 410
260 | 386 44
261 | 985 608
262 | 183 124
263 | 21 59
264 | 137 420
265 | 452 52
266 | 490 491
267 | 2 9
268 | 104 404
269 | 1084 1080
270 | 13 9
271 | 468 649
272 | 1009 462
273 | 397 468
274 | 241 50
275 | 1 21
276 | 23 267
277 | 792 211
278 | 459 450
279 | 657 825
280 | 267 152
281 | 543 420
282 | 376 630
283 | 524 69
284 | 327 212
285 | 80 127
286 | 552 571
287 | 22 2
288 | 339 930
289 | 453 484
290 | 200 545
291 | 445 377
292 | 147 77
293 | 654 598
294 | 433 543
295 | 168 532
296 | 196 212
297 | 352 562
298 | 689 495
299 | 105 649
300 | 365 40
301 | 645 200
302 | 71 429
303 | 81 155
304 | 621 603
305 | 744 945
306 | 65 483
307 | 590 730
308 | 368 50
309 | 415 535
310 | 1053 546
311 | 485 476
312 | 278 824
313 | 824 565
314 | 334 923
315 | 886 788
316 | 235 19
317 | 24 58
318 | 506 500
319 | 103 639
320 | 325 363
321 | 70 117
322 | 553 76
323 | 105 214
324 | 241 484
325 | 743 396
326 | 340 135
327 | 241 182
328 | 331 145
329 | 652 415
330 | 870 476
331 | 543 122
332 | 348 585
333 | 90 605
334 | 378 467
335 | 92 259
336 | 275 82
337 | 131 700
338 | 2 8
339 | 682 117
340 | 145 573
341 | 422 45
342 | 407 410
343 | 76 269
344 | 10 119
345 | 243 504
346 | 445 451
347 | 688 452
348 | 996 957
349 | 336 469
350 | 590 552
351 | 1036 486
352 | 12 152
353 | 20 11
354 | 784 891
355 | 412 153
356 | 219 222
357 | 383 504
358 | 1 7
359 | 198 105
360 | 191 622
361 | 81 308
362 | 848 1034
363 | 527 902
364 | 848 513
365 | 3 49
366 | 330 378
367 | 192 16
368 | 343 208
369 | 58 426
370 | 6 22
371 | 88 204
372 | 819 237
373 | 10 116
374 | 3 50
375 | 325 328
376 | 20 81
377 | 460 533
378 | 1022 483
379 | 523 466
380 | 540 411
381 | 199 221
382 | 120 165
383 | 376 417
384 | 786 390
385 | 185 329
386 | 127 647
387 | 241 269
388 | 237 145
389 | 7 16
390 | 656 953
391 | 877 287
392 | 333 78
393 | 434 886
394 | 200 470
395 | 573 152
396 | 905 402
397 | 654 467
398 | 196 204
399 | 707 954
400 | 105 213
401 | 332 386
402 | 314 228
403 | 233 71
404 | 25 302
405 | 642 116
406 | 120 161
407 | 801 219
408 | 495 58
409 | 341 267
410 | 816 823
411 | 855 1112
412 | 57 479
413 | 888 389
414 | 1051 512
415 | 444 240
416 | 402 988
417 | 132 470
418 | 324 227
419 | 581 329
420 | 389 726
421 | 149 721
422 | 28 182
423 | 137 243
424 | 63 427
425 | 367 675
426 | 654 532
427 | 196 101
428 | 178 120
429 | 612 256
430 | 714 135
431 | 329 304
432 | 271 404
433 | 291 201
434 | 730 982
435 | 214 56
436 | 410 44
437 | 383 384
438 | 346 368
439 | 207 473
440 | 594 88
441 | 193 222
442 | 78 5
443 | 811 578
444 | 201 116
445 | 452 657
446 | 366 213
447 | 369 41
448 | 130 699
449 | 233 74
450 | 564 483
451 | 596 85
452 | 833 834
453 | 56 390
454 | 194 361
455 | 296 881
456 | 591 724
457 | 194 649
458 | 741 603
459 | 520 137
460 | 233 305
461 | 134 607
462 | 1019 459
463 | 780 221
464 | 333 45
465 | 385 303
466 | 105 16
467 | 191 454
468 | 439 206
469 | 902 912
470 | 748 396
471 | 379 41
472 | 134 227
473 | 410 413
474 | 90 426
475 | 122 252
476 | 14 168
477 | 198 215
478 | 738 793
479 | 92 49
480 | 239 243
481 | 643 200
482 | 106 655
483 | 430 90
484 | 24 115
485 | 207 56
486 | 599 780
487 | 115 225
488 | 11 4
489 | 20 43
490 | 48 41
491 | 235 541
492 | 76 49
493 | 74 5
494 | 39 46
495 | 552 468
496 | 512 889
497 | 358 750
498 | 1005 793
499 | 381 303
500 | 94 86
501 | 552 788
502 | 378 662
503 | 243 128
504 | 80 579
505 | 85 219
506 | 503 263
507 | 105 227
508 | 213 307
509 | 438 725
510 | 1050 988
511 | 129 317
512 | 396 504
513 | 245 42
514 | 24 182
515 | 396 542
516 | 30 10
517 | 69 500
518 | 392 368
519 | 238 27
520 | 799 926
521 | 358 425
522 | 122 429
523 | 31 333
524 | 716 136
525 | 131 155
526 | 274 205
527 | 335 204
528 | 378 86
529 | 183 359
530 | 66 58
531 | 276 388
532 | 1034 471
533 | 85 327
534 | 234 82
535 | 523 314
536 | 196 317
537 | 25 301
538 | 56 470
539 | 65 4
540 | 849 1037
541 | 208 648
542 | 105 205
543 | 706 1038
544 | 194 777
545 | 614 131
546 | 


--------------------------------------------------------------------------------
/data/example2-val-pos.net:
--------------------------------------------------------------------------------
  1 | 270 73
  2 | 434 468
  3 | 719 141
  4 | 182 14
  5 | 354 358
  6 | 1067 793
  7 | 289 116
  8 | 187 567
  9 | 378 391
 10 | 395 984
 11 | 401 215
 12 | 745 940
 13 | 606 376
 14 | 629 326
 15 | 93 622
 16 | 543 356
 17 | 348 445
 18 | 140 152
 19 | 146 229
 20 | 298 429
 21 | 179 120
 22 | 893 303
 23 | 389 571
 24 | 142 724
 25 | 134 487
 26 | 373 41
 27 | 4 58
 28 | 14 112
 29 | 205 116
 30 | 621 454
 31 | 147 150
 32 | 78 120
 33 | 205 217
 34 | 98 7
 35 | 942 507
 36 | 556 573
 37 | 212 219
 38 | 231 19
 39 | 367 767
 40 | 440 240
 41 | 237 702
 42 | 105 40
 43 | 69 59
 44 | 446 641
 45 | 6 5
 46 | 378 313
 47 | 198 783
 48 | 407 408
 49 | 454 598
 50 | 105 439
 51 | 588 772
 52 | 518 532
 53 | 334 354
 54 | 578 218
 55 | 251 420
 56 | 403 376
 57 | 669 114
 58 | 291 105
 59 | 962 954
 60 | 433 802
 61 | 528 822
 62 | 212 56
 63 | 316 827
 64 | 692 125
 65 | 1054 561
 66 | 624 454
 67 | 515 66
 68 | 107 200
 69 | 632 429
 70 | 82 180
 71 | 260 41
 72 | 596 786
 73 | 675 489
 74 | 30 321
 75 | 439 437
 76 | 381 382
 77 | 358 268
 78 | 552 412
 79 | 76 571
 80 | 143 726
 81 | 621 604
 82 | 198 698
 83 | 237 503
 84 | 20 3
 85 | 38 2
 86 | 140 149
 87 | 96 457
 88 | 521 509
 89 | 100 7
 90 | 29 315
 91 | 147 720
 92 | 786 780
 93 | 12 150
 94 | 299 333
 95 | 105 643
 96 | 402 989
 97 | 790 698
 98 | 451 772
 99 | 286 58
100 | 21 54
101 | 851 416
102 | 314 466
103 | 134 705
104 | 1100 724
105 | 201 206
106 | 868 855
107 | 1062 828
108 | 585 663
109 | 659 268
110 | 313 350
111 | 335 218
112 | 341 889
113 | 378 585
114 | 885 726
115 | 105 545
116 | 67 286
117 | 308 305
118 | 593 695
119 | 1 19
120 | 704 454
121 | 693 367
122 | 392 980
123 | 347 746
124 | 358 41
125 | 757 486
126 | 523 528
127 | 513 65
128 | 886 888
129 | 870 484
130 | 391 42
131 | 1046 489
132 | 101 265
133 | 889 936
134 | 527 1054
135 | 407 356
136 | 97 23
137 | 66 4
138 | 317 780
139 | 689 489
140 | 185 117
141 | 72 268
142 | 144 364
143 | 430 500
144 | 578 150
145 | 282 57
146 | 184 206
147 | 13 154
148 | 468 965
149 | 249 306
150 | 39 313
151 | 104 333
152 | 333 364
153 | 114 569
154 | 4 57
155 | 69 57
156 | 911 907
157 | 190 185
158 | 508 485
159 | 94 630
160 | 70 4
161 | 299 143
162 | 189 54
163 | 298 230
164 | 105 378
165 | 90 604
166 | 120 166
167 | 650 201
168 | 1047 675
169 | 464 54
170 | 273 355
171 | 585 254
172 | 518 67
173 | 277 694
174 | 910 1069
175 | 299 542
176 | 507 427
177 | 280 671
178 | 56 471
179 | 14 161
180 | 21 40
181 | 455 188
182 | 124 569
183 | 483 480
184 | 466 54
185 | 1098 1112
186 | 208 219
187 | 105 651
188 | 904 512
189 | 444 70
190 | 415 368
191 | 414 356
192 | 39 332
193 | 405 240
194 | 657 391
195 | 995 486
196 | 89 454
197 | 271 355
198 | 718 260
199 | 191 54
200 | 329 384
201 | 608 634
202 | 385 386
203 | 30 178
204 | 144 733
205 | 177 182
206 | 1069 578
207 | 596 208
208 | 546 569
209 | 640 218
210 | 241 243
211 | 384 892
212 | 94 241
213 | 931 1011
214 | 416 355
215 | 332 48
216 | 248 833
217 | 590 744
218 | 389 788
219 | 321 692
220 | 296 108
221 | 736 937
222 | 11 18
223 | 415 507
224 | 7 3
225 | 367 50
226 | 698 212
227 | 196 289
228 | 344 677
229 | 107 182
230 | 16 207
231 | 213 49
232 | 91 614
233 | 1049 499
234 | 141 84
235 | 687 703
236 | 146 12
237 | 513 419
238 | 343 698
239 | 201 361
240 | 191 45
241 | 409 892
242 | 411 773
243 | 332 407
244 | 1050 509
245 | 268 40
246 | 595 725
247 | 57 483
248 | 271 434
249 | 321 202
250 | 957 480
251 | 558 468
252 | 332 504
253 | 275 378
254 | 238 824
255 | 495 878
256 | 643 501
257 | 333 658
258 | 274 214
259 | 144 12
260 | 584 171
261 | 1005 860
262 | 134 113
263 | 103 614
264 | 1 15
265 | 331 301
266 | 316 268
267 | 250 284
268 | 337 503
269 | 68 500
270 | 210 672
271 | 277 182
272 | 90 396
273 | 47 40
274 | 165 166
275 | 193 401
276 | 986 958
277 | 564 479
278 | 1 14
279 | 104 135
280 | 231 240
281 | 902 314
282 | 460 477
283 | 197 162
284 | 105 648
285 | 20 19
286 | 82 176
287 | 812 239
288 | 206 222
289 | 39 42
290 | 495 283
291 | 712 313
292 | 355 957
293 | 101 638
294 | 389 356
295 | 140 504
296 | 737 152
297 | 34 24
298 | 612 610
299 | 380 381
300 | 195 675
301 | 66 426
302 | 445 155
303 | 265 307
304 | 183 187
305 | 1062 598
306 | 147 573
307 | 23 44
308 | 105 201
309 | 423 45
310 | 101 128
311 | 105 645
312 | 746 945
313 | 59 58
314 | 135 227
315 | 243 152
316 | 25 60
317 | 1067 1069
318 | 446 105
319 | 295 287
320 | 432 1004
321 | 218 154
322 | 171 14
323 | 322 49
324 | 840 399
325 | 88 259
326 | 400 210
327 | 186 603
328 | 396 388
329 | 451 507
330 | 591 409
331 | 978 389
332 | 590 239
333 | 491 517
334 | 1013 622
335 | 514 65
336 | 512 908
337 | 487 481
338 | 545 721
339 | 196 105
340 | 98 636
341 | 279 872
342 | 491 67
343 | 163 489
344 | 344 415
345 | 392 846
346 | 393 42
347 | 719 148
348 | 591 356
349 | 434 48
350 | 72 500
351 | 429 46
352 | 612 968
353 | 658 1087
354 | 1014 454
355 | 128 305
356 | 233 70
357 | 17 225
358 | 346 418
359 | 194 128
360 | 388 890
361 | 812 718
362 | 301 482
363 | 439 322
364 | 30 328
365 | 455 660
366 | 1009 990
367 | 585 246
368 | 187 15
369 | 299 884
370 | 808 471
371 | 73 260
372 | 227 45
373 | 245 246
374 | 545 471
375 | 38 350
376 | 27 3
377 | 447 475
378 | 31 336
379 | 666 259
380 | 275 27
381 | 90 603
382 | 106 339
383 | 451 500
384 | 641 645
385 | 38 18
386 | 344 660
387 | 282 59
388 | 303 895
389 | 268 568
390 | 27 304
391 | 248 52
392 | 317 55
393 | 522 491
394 | 130 10
395 | 552 356
396 | 331 248
397 | 297 165
398 | 198 206
399 | 1008 451
400 | 120 532
401 | 133 475
402 | 859 409
403 | 709 483
404 | 49 40
405 | 891 357
406 | 131 704
407 | 594 695
408 | 65 57
409 | 105 390
410 | 333 42
411 | 73 420
412 | 176 761
413 | 444 282
414 | 775 420
415 | 748 940
416 | 14 162
417 | 1098 706
418 | 643 129
419 | 500 539
420 | 992 512
421 | 24 70
422 | 13 156
423 | 1011 894
424 | 98 598
425 | 140 300
426 | 208 468
427 | 78 161
428 | 590 153
429 | 432 963
430 | 807 227
431 | 21 50
432 | 76 467
433 | 605 485
434 | 293 201
435 | 1069 1032
436 | 332 84
437 | 72 285
438 | 331 185
439 | 96 634
440 | 239 233
441 | 186 638
442 | 140 150
443 | 199 289
444 | 297 441
445 | 699 879
446 | 142 504
447 | 233 86
448 | 3 9
449 | 932 963
450 | 132 501
451 | 299 571
452 | 189 15
453 | 14 16
454 | 63 476
455 | 661 158
456 | 718 313
457 | 341 371
458 | 181 314
459 | 431 135
460 | 368 66
461 | 235 662
462 | 181 112
463 | 898 429
464 | 439 210
465 | 410 788
466 | 271 50
467 | 548 358
468 | 428 46
469 | 433 331
470 | 588 455
471 | 335 532
472 | 188 15
473 | 188 770
474 | 573 503
475 | 588 1073
476 | 256 269
477 | 598 568
478 | 552 756
479 | 72 423
480 | 193 16
481 | 94 631
482 | 584 176
483 | 332 140
484 | 134 663
485 | 337 778
486 | 459 52
487 | 306 749
488 | 38 254
489 | 762 564
490 | 341 393
491 | 975 770
492 | 330 919
493 | 1123 997
494 | 240 43
495 | 632 461
496 | 511 65
497 | 339 331
498 | 742 185
499 | 542 725
500 | 552 74
501 | 71 4
502 | 528 765
503 | 819 588
504 | 501 638
505 | 443 393
506 | 338 51
507 | 923 855
508 | 378 227
509 | 73 467
510 | 360 55
511 | 870 824
512 | 460 486
513 | 435 321
514 | 84 354
515 | 220 390
516 | 568 562
517 | 58 489
518 | 6 82
519 | 430 425
520 | 6 3
521 | 69 46
522 | 183 161
523 | 757 1027
524 | 543 410
525 | 812 754
526 | 700 498
527 | 816 447
528 | 650 775
529 | 737 723
530 | 792 205
531 | 146 139
532 | 349 45
533 | 641 545
534 | 393 894
535 | 103 246
536 | 195 671
537 | 995 996
538 | 344 466
539 | 329 673
540 | 216 212
541 | 794 809
542 | 868 870
543 | 76 466
544 | 940 941
545 | 446 208
546 | 


--------------------------------------------------------------------------------
/data/example2-test-neg.net:
--------------------------------------------------------------------------------
  1 | 974 1108
  2 | 36 80
  3 | 905 530
  4 | 856 892
  5 | 1016 935
  6 | 593 693
  7 | 890 351
  8 | 143 618
  9 | 73 996
 10 | 88 226
 11 | 1081 909
 12 | 438 143
 13 | 85 40
 14 | 236 908
 15 | 348 645
 16 | 657 127
 17 | 1006 322
 18 | 400 354
 19 | 184 1037
 20 | 804 773
 21 | 228 117
 22 | 324 768
 23 | 1000 189
 24 | 596 858
 25 | 545 845
 26 | 902 636
 27 | 693 499
 28 | 942 135
 29 | 346 784
 30 | 903 173
 31 | 456 1019
 32 | 638 1072
 33 | 94 989
 34 | 20 830
 35 | 849 14
 36 | 192 799
 37 | 742 670
 38 | 591 858
 39 | 215 545
 40 | 373 1039
 41 | 444 1129
 42 | 687 45
 43 | 626 151
 44 | 290 91
 45 | 616 125
 46 | 457 531
 47 | 520 170
 48 | 517 565
 49 | 186 469
 50 | 591 777
 51 | 897 288
 52 | 83 365
 53 | 88 1088
 54 | 341 660
 55 | 974 805
 56 | 1103 4
 57 | 94 385
 58 | 192 376
 59 | 324 210
 60 | 376 219
 61 | 38 17
 62 | 974 260
 63 | 1050 890
 64 | 75 771
 65 | 531 307
 66 | 941 728
 67 | 927 783
 68 | 832 967
 69 | 852 825
 70 | 826 358
 71 | 417 287
 72 | 437 771
 73 | 975 53
 74 | 1080 863
 75 | 410 1086
 76 | 1054 985
 77 | 272 43
 78 | 196 433
 79 | 571 855
 80 | 273 134
 81 | 518 827
 82 | 631 479
 83 | 498 568
 84 | 33 1089
 85 | 195 350
 86 | 443 127
 87 | 1008 533
 88 | 632 963
 89 | 902 651
 90 | 502 802
 91 | 889 364
 92 | 242 45
 93 | 557 241
 94 | 502 158
 95 | 394 484
 96 | 444 970
 97 | 854 302
 98 | 193 450
 99 | 712 1045
100 | 611 683
101 | 850 779
102 | 738 762
103 | 880 609
104 | 5 609
105 | 1013 170
106 | 358 781
107 | 279 584
108 | 347 575
109 | 684 385
110 | 1058 785
111 | 104 516
112 | 616 803
113 | 414 11
114 | 182 49
115 | 618 721
116 | 883 1128
117 | 500 152
118 | 716 398
119 | 907 972
120 | 529 775
121 | 618 57
122 | 37 675
123 | 510 27
124 | 702 912
125 | 297 833
126 | 342 399
127 | 125 673
128 | 514 805
129 | 814 52
130 | 540 63
131 | 448 768
132 | 1013 301
133 | 948 548
134 | 143 487
135 | 324 869
136 | 511 607
137 | 731 53
138 | 65 287
139 | 1129 1028
140 | 888 733
141 | 369 1099
142 | 1063 684
143 | 265 475
144 | 239 148
145 | 8 777
146 | 746 1018
147 | 140 51
148 | 12 698
149 | 831 776
150 | 592 307
151 | 1066 256
152 | 215 653
153 | 430 1092
154 | 157 530
155 | 99 41
156 | 904 1117
157 | 348 182
158 | 703 782
159 | 374 691
160 | 906 66
161 | 270 922
162 | 874 352
163 | 149 378
164 | 174 78
165 | 369 982
166 | 523 767
167 | 1042 265
168 | 1065 614
169 | 549 1093
170 | 396 586
171 | 708 160
172 | 10 1049
173 | 323 636
174 | 1017 978
175 | 244 10
176 | 170 637
177 | 556 482
178 | 337 974
179 | 303 473
180 | 747 200
181 | 170 329
182 | 719 160
183 | 947 773
184 | 443 97
185 | 28 827
186 | 515 602
187 | 1067 1039
188 | 177 165
189 | 903 617
190 | 581 163
191 | 1061 844
192 | 420 1100
193 | 776 1031
194 | 1132 454
195 | 334 212
196 | 215 918
197 | 337 760
198 | 818 876
199 | 156 426
200 | 740 535
201 | 17 226
202 | 709 124
203 | 184 410
204 | 344 278
205 | 796 825
206 | 395 922
207 | 97 659
208 | 711 588
209 | 642 888
210 | 1088 313
211 | 418 502
212 | 416 915
213 | 1083 1086
214 | 833 505
215 | 616 633
216 | 1066 959
217 | 423 793
218 | 98 310
219 | 217 1021
220 | 552 827
221 | 427 463
222 | 416 634
223 | 649 488
224 | 187 212
225 | 864 311
226 | 193 161
227 | 373 699
228 | 94 134
229 | 452 1045
230 | 272 250
231 | 172 216
232 | 344 47
233 | 687 471
234 | 386 537
235 | 654 541
236 | 682 208
237 | 944 461
238 | 998 59
239 | 417 538
240 | 191 1059
241 | 297 702
242 | 1007 450
243 | 189 387
244 | 8 110
245 | 283 46
246 | 354 754
247 | 289 560
248 | 184 638
249 | 695 576
250 | 1083 961
251 | 991 980
252 | 679 721
253 | 380 1110
254 | 440 70
255 | 596 193
256 | 441 826
257 | 735 54
258 | 910 1020
259 | 337 751
260 | 702 267
261 | 889 568
262 | 540 227
263 | 265 956
264 | 409 561
265 | 614 223
266 | 230 676
267 | 150 758
268 | 24 199
269 | 343 699
270 | 145 678
271 | 31 692
272 | 31 481
273 | 1017 180
274 | 988 114
275 | 186 778
276 | 529 969
277 | 816 244
278 | 559 6
279 | 96 675
280 | 683 909
281 | 19 165
282 | 315 825
283 | 272 743
284 | 371 665
285 | 774 952
286 | 947 802
287 | 712 646
288 | 492 764
289 | 557 880
290 | 247 128
291 | 877 982
292 | 274 225
293 | 792 1035
294 | 975 1073
295 | 1004 126
296 | 1071 268
297 | 95 1094
298 | 336 660
299 | 394 809
300 | 230 792
301 | 189 767
302 | 718 694
303 | 202 661
304 | 664 69
305 | 511 807
306 | 549 472
307 | 198 881
308 | 19 1031
309 | 662 696
310 | 835 466
311 | 392 636
312 | 1062 520
313 | 241 982
314 | 1047 1115
315 | 363 53
316 | 692 470
317 | 567 570
318 | 963 289
319 | 815 687
320 | 453 174
321 | 884 1016
322 | 725 607
323 | 81 728
324 | 492 217
325 | 715 484
326 | 581 503
327 | 1098 477
328 | 76 317
329 | 333 865
330 | 616 70
331 | 87 476
332 | 106 1002
333 | 753 1023
334 | 448 300
335 | 979 993
336 | 599 327
337 | 972 939
338 | 380 603
339 | 1092 1110
340 | 414 927
341 | 1125 530
342 | 565 604
343 | 86 918
344 | 363 720
345 | 904 281
346 | 366 1098
347 | 234 864
348 | 153 993
349 | 964 916
350 | 702 79
351 | 141 481
352 | 413 753
353 | 1124 1079
354 | 267 1001
355 | 588 608
356 | 1013 41
357 | 651 988
358 | 335 372
359 | 25 776
360 | 242 384
361 | 30 956
362 | 294 918
363 | 37 419
364 | 658 203
365 | 549 1011
366 | 642 459
367 | 387 785
368 | 270 101
369 | 529 682
370 | 131 138
371 | 632 935
372 | 36 56
373 | 972 1114
374 | 430 253
375 | 444 5
376 | 522 623
377 | 336 699
378 | 107 1099
379 | 363 573
380 | 923 477
381 | 559 944
382 | 702 1028
383 | 450 604
384 | 276 878
385 | 340 483
386 | 512 798
387 | 279 1132
388 | 689 419
389 | 109 681
390 | 25 407
391 | 291 441
392 | 748 166
393 | 414 247
394 | 427 1078
395 | 35 930
396 | 1064 1047
397 | 235 377
398 | 873 1096
399 | 556 307
400 | 11 965
401 | 295 861
402 | 342 464
403 | 407 1077
404 | 272 80
405 | 420 515
406 | 661 214
407 | 142 1116
408 | 175 1072
409 | 713 1048
410 | 422 941
411 | 378 846
412 | 716 673
413 | 993 677
414 | 301 48
415 | 339 976
416 | 304 825
417 | 458 671
418 | 1083 608
419 | 365 301
420 | 98 1039
421 | 47 496
422 | 388 1075
423 | 235 428
424 | 960 750
425 | 427 668
426 | 829 264
427 | 997 226
428 | 692 1107
429 | 903 1002
430 | 409 956
431 | 711 404
432 | 813 950
433 | 298 1101
434 | 100 980
435 | 458 28
436 | 828 535
437 | 904 860
438 | 501 872
439 | 7 660
440 | 808 727
441 | 690 761
442 | 524 558
443 | 90 1020
444 | 974 41
445 | 823 112
446 | 554 512
447 | 197 1073
448 | 102 503
449 | 1046 1010
450 | 125 308
451 | 352 258
452 | 153 886
453 | 569 409
454 | 104 1086
455 | 742 159
456 | 397 516
457 | 1133 999
458 | 364 855
459 | 25 830
460 | 865 160
461 | 1083 81
462 | 86 832
463 | 882 531
464 | 716 798
465 | 211 268
466 | 478 89
467 | 179 985
468 | 193 836
469 | 711 915
470 | 168 481
471 | 373 504
472 | 136 836
473 | 1008 889
474 | 737 411
475 | 6 373
476 | 931 977
477 | 688 770
478 | 746 602
479 | 1017 860
480 | 523 786
481 | 907 729
482 | 996 909
483 | 857 674
484 | 527 621
485 | 685 537
486 | 375 252
487 | 1065 725
488 | 1041 995
489 | 277 779
490 | 271 455
491 | 120 1022
492 | 709 1113
493 | 443 233
494 | 33 992
495 | 514 967
496 | 886 268
497 | 693 955
498 | 591 1098
499 | 768 821
500 | 146 225
501 | 1085 568
502 | 970 698
503 | 920 912
504 | 456 172
505 | 366 55
506 | 939 536
507 | 236 410
508 | 291 313
509 | 703 201
510 | 1067 186
511 | 1083 355
512 | 135 250
513 | 880 976
514 | 216 507
515 | 386 265
516 | 346 1072
517 | 180 507
518 | 640 136
519 | 940 498
520 | 91 960
521 | 189 883
522 | 375 806
523 | 716 526
524 | 228 1113
525 | 659 316
526 | 500 54
527 | 436 606
528 | 1010 835
529 | 401 78
530 | 874 111
531 | 906 390
532 | 96 632
533 | 828 571
534 | 645 615
535 | 348 88
536 | 382 110
537 | 648 805
538 | 816 27
539 | 330 632
540 | 334 164
541 | 296 126
542 | 498 721
543 | 511 183
544 | 1055 771
545 | 1065 738
546 | 


--------------------------------------------------------------------------------
/data/example2-val-neg.net:
--------------------------------------------------------------------------------
  1 | 254 470
  2 | 195 548
  3 | 1088 306
  4 | 141 950
  5 | 182 281
  6 | 991 671
  7 | 857 16
  8 | 716 1053
  9 | 791 890
 10 | 964 1095
 11 | 456 317
 12 | 278 174
 13 | 249 185
 14 | 683 4
 15 | 920 229
 16 | 1017 764
 17 | 700 302
 18 | 1064 776
 19 | 231 1073
 20 | 272 154
 21 | 1001 240
 22 | 944 172
 23 | 37 1118
 24 | 294 564
 25 | 72 754
 26 | 966 564
 27 | 527 728
 28 | 541 317
 29 | 173 1019
 30 | 101 1035
 31 | 1130 507
 32 | 219 315
 33 | 1018 981
 34 | 250 164
 35 | 494 738
 36 | 511 680
 37 | 1059 972
 38 | 699 956
 39 | 39 633
 40 | 619 224
 41 | 583 456
 42 | 798 473
 43 | 412 832
 44 | 933 823
 45 | 659 202
 46 | 1046 284
 47 | 700 675
 48 | 815 786
 49 | 581 978
 50 | 496 52
 51 | 163 284
 52 | 765 913
 53 | 230 351
 54 | 1047 166
 55 | 291 726
 56 | 421 595
 57 | 931 168
 58 | 81 865
 59 | 365 809
 60 | 348 457
 61 | 201 162
 62 | 321 956
 63 | 1050 932
 64 | 567 728
 65 | 372 504
 66 | 281 848
 67 | 393 1109
 68 | 800 159
 69 | 170 725
 70 | 762 487
 71 | 1050 145
 72 | 115 729
 73 | 438 901
 74 | 124 255
 75 | 644 533
 76 | 96 974
 77 | 17 883
 78 | 59 220
 79 | 459 382
 80 | 237 254
 81 | 244 5
 82 | 538 48
 83 | 1062 574
 84 | 403 5
 85 | 1006 756
 86 | 340 402
 87 | 53 950
 88 | 719 677
 89 | 80 329
 90 | 102 1070
 91 | 994 827
 92 | 1093 1024
 93 | 655 476
 94 | 454 254
 95 | 232 731
 96 | 522 92
 97 | 684 73
 98 | 741 986
 99 | 743 1130
100 | 442 494
101 | 1040 958
102 | 369 844
103 | 415 366
104 | 270 774
105 | 198 580
106 | 1063 478
107 | 376 992
108 | 1083 918
109 | 336 1016
110 | 9 1093
111 | 979 488
112 | 32 253
113 | 164 531
114 | 86 982
115 | 523 394
116 | 27 728
117 | 449 419
118 | 811 234
119 | 27 981
120 | 449 237
121 | 1002 1101
122 | 745 732
123 | 945 868
124 | 671 821
125 | 408 935
126 | 1038 1036
127 | 1002 950
128 | 259 49
129 | 996 845
130 | 1100 1031
131 | 427 972
132 | 197 285
133 | 1007 984
134 | 960 478
135 | 1008 624
136 | 1007 897
137 | 334 57
138 | 71 211
139 | 433 546
140 | 420 250
141 | 861 489
142 | 1044 805
143 | 744 774
144 | 321 876
145 | 829 252
146 | 804 1110
147 | 815 1111
148 | 415 307
149 | 597 170
150 | 693 914
151 | 834 483
152 | 106 1081
153 | 749 654
154 | 945 111
155 | 346 260
156 | 364 253
157 | 494 455
158 | 628 267
159 | 427 434
160 | 693 572
161 | 815 829
162 | 1008 207
163 | 641 673
164 | 197 994
165 | 20 456
166 | 349 633
167 | 349 982
168 | 314 5
169 | 998 808
170 | 92 600
171 | 91 587
172 | 746 957
173 | 939 764
174 | 128 507
175 | 195 1007
176 | 870 910
177 | 622 182
178 | 885 782
179 | 972 774
180 | 282 757
181 | 91 319
182 | 939 476
183 | 435 333
184 | 310 217
185 | 1015 1126
186 | 189 260
187 | 165 1108
188 | 396 593
189 | 792 1105
190 | 703 766
191 | 88 1105
192 | 373 372
193 | 124 168
194 | 87 651
195 | 279 933
196 | 177 730
197 | 1043 254
198 | 660 1020
199 | 33 509
200 | 808 954
201 | 555 487
202 | 256 46
203 | 90 249
204 | 611 411
205 | 270 560
206 | 241 547
207 | 586 766
208 | 990 935
209 | 287 300
210 | 497 876
211 | 896 114
212 | 1007 499
213 | 787 966
214 | 820 935
215 | 716 253
216 | 902 225
217 | 455 1123
218 | 242 917
219 | 196 730
220 | 188 542
221 | 743 665
222 | 831 891
223 | 491 151
224 | 871 674
225 | 502 750
226 | 184 60
227 | 406 531
228 | 642 398
229 | 193 668
230 | 584 988
231 | 520 873
232 | 185 1035
233 | 492 207
234 | 687 324
235 | 810 831
236 | 942 131
237 | 443 120
238 | 335 733
239 | 595 269
240 | 80 165
241 | 357 720
242 | 86 1034
243 | 195 542
244 | 803 776
245 | 594 365
246 | 104 996
247 | 1015 19
248 | 32 46
249 | 27 203
250 | 107 701
251 | 861 385
252 | 64 877
253 | 138 173
254 | 152 953
255 | 447 472
256 | 247 894
257 | 978 646
258 | 1064 850
259 | 680 900
260 | 104 809
261 | 208 315
262 | 897 568
263 | 709 726
264 | 641 594
265 | 370 565
266 | 243 1047
267 | 3 957
268 | 189 475
269 | 234 360
270 | 233 677
271 | 1103 848
272 | 231 509
273 | 211 674
274 | 407 807
275 | 749 822
276 | 38 925
277 | 792 114
278 | 168 1101
279 | 991 1035
280 | 616 1110
281 | 238 982
282 | 686 637
283 | 24 320
284 | 256 52
285 | 856 852
286 | 757 561
287 | 973 158
288 | 135 466
289 | 127 966
290 | 926 1114
291 | 209 825
292 | 74 383
293 | 652 210
294 | 800 302
295 | 584 767
296 | 723 1035
297 | 137 724
298 | 810 728
299 | 431 1125
300 | 17 986
301 | 393 69
302 | 973 646
303 | 573 1032
304 | 908 985
305 | 505 1075
306 | 396 566
307 | 904 814
308 | 277 478
309 | 650 1117
310 | 176 160
311 | 60 487
312 | 238 511
313 | 296 484
314 | 155 1072
315 | 98 212
316 | 234 1071
317 | 53 220
318 | 741 411
319 | 930 625
320 | 380 601
321 | 223 1025
322 | 197 65
323 | 821 226
324 | 1053 495
325 | 347 968
326 | 335 203
327 | 333 184
328 | 204 835
329 | 189 176
330 | 102 803
331 | 772 753
332 | 1067 1107
333 | 95 476
334 | 330 987
335 | 371 316
336 | 75 950
337 | 1049 316
338 | 441 414
339 | 572 57
340 | 814 785
341 | 24 163
342 | 342 878
343 | 633 306
344 | 426 429
345 | 418 692
346 | 1002 368
347 | 1065 1031
348 | 512 768
349 | 791 508
350 | 1082 558
351 | 599 162
352 | 829 909
353 | 937 702
354 | 794 484
355 | 702 201
356 | 192 623
357 | 173 985
358 | 397 52
359 | 95 314
360 | 125 168
361 | 1085 993
362 | 644 13
363 | 879 489
364 | 291 638
365 | 131 722
366 | 149 821
367 | 36 775
368 | 660 254
369 | 122 824
370 | 217 532
371 | 1100 119
372 | 8 752
373 | 99 849
374 | 626 892
375 | 941 1127
376 | 349 226
377 | 249 125
378 | 270 177
379 | 343 886
380 | 649 484
381 | 497 657
382 | 1023 475
383 | 671 568
384 | 148 698
385 | 178 1076
386 | 234 504
387 | 632 1100
388 | 709 467
389 | 275 472
390 | 972 411
391 | 748 726
392 | 986 481
393 | 653 123
394 | 427 268
395 | 369 632
396 | 668 111
397 | 72 318
398 | 767 915
399 | 424 1055
400 | 235 1086
401 | 279 778
402 | 879 225
403 | 660 127
404 | 644 681
405 | 949 571
406 | 816 248
407 | 780 357
408 | 596 828
409 | 916 1024
410 | 345 441
411 | 1075 853
412 | 455 1001
413 | 391 751
414 | 341 113
415 | 548 216
416 | 272 957
417 | 552 893
418 | 1061 336
419 | 432 618
420 | 342 670
421 | 379 991
422 | 292 1099
423 | 82 499
424 | 133 3
425 | 816 363
426 | 175 363
427 | 452 3
428 | 680 356
429 | 440 323
430 | 7 802
431 | 993 984
432 | 969 957
433 | 170 488
434 | 334 685
435 | 1129 767
436 | 189 516
437 | 254 561
438 | 883 69
439 | 1105 753
440 | 222 121
441 | 966 936
442 | 712 455
443 | 436 878
444 | 832 305
445 | 550 455
446 | 335 856
447 | 209 384
448 | 515 537
449 | 464 356
450 | 1041 352
451 | 547 49
452 | 411 1030
453 | 1117 470
454 | 37 495
455 | 595 248
456 | 1088 411
457 | 1133 846
458 | 335 416
459 | 406 386
460 | 944 922
461 | 868 160
462 | 614 879
463 | 711 305
464 | 254 899
465 | 570 759
466 | 505 565
467 | 622 678
468 | 1009 951
469 | 720 606
470 | 431 6
471 | 43 18
472 | 739 987
473 | 789 285
474 | 101 919
475 | 713 19
476 | 994 676
477 | 746 554
478 | 273 1099
479 | 747 320
480 | 494 350
481 | 109 819
482 | 1023 720
483 | 136 696
484 | 645 843
485 | 95 636
486 | 35 119
487 | 597 651
488 | 336 495
489 | 315 1102
490 | 694 1129
491 | 977 1078
492 | 64 502
493 | 1060 741
494 | 368 304
495 | 604 952
496 | 716 599
497 | 175 78
498 | 903 969
499 | 371 772
500 | 375 323
501 | 654 41
502 | 193 3
503 | 717 30
504 | 142 514
505 | 922 156
506 | 14 786
507 | 990 576
508 | 35 52
509 | 32 645
510 | 448 350
511 | 743 999
512 | 704 1086
513 | 936 873
514 | 454 862
515 | 492 1071
516 | 222 114
517 | 449 119
518 | 91 743
519 | 1084 770
520 | 411 1090
521 | 434 912
522 | 857 171
523 | 198 490
524 | 734 607
525 | 1017 925
526 | 359 1030
527 | 210 608
528 | 942 578
529 | 191 132
530 | 359 774
531 | 656 305
532 | 330 204
533 | 553 305
534 | 235 267
535 | 88 81
536 | 24 450
537 | 414 180
538 | 345 737
539 | 551 682
540 | 874 756
541 | 38 738
542 | 979 725
543 | 610 1043
544 | 998 1024
545 | 593 466
546 | 


--------------------------------------------------------------------------------
/pnrl_r.py:
--------------------------------------------------------------------------------
  1 | import numpy as np
  2 | import math
  3 | import random
  4 | np.random.seed(13)
  5 | from keras import backend as K
  6 | from keras.models import Sequential, Model
  7 | from keras.layers import Input, Embedding, LSTM, Dense, dot, concatenate, Reshape, Activation
  8 | from keras.utils import np_utils
  9 | from keras.utils.data_utils import get_file
 10 | from keras.preprocessing.text import Tokenizer
 11 | from keras.preprocessing.sequence import skipgrams,make_sampling_table
 12 | from keras.optimizers import rmsprop, SGD, Adam
 13 | from keras.regularizers import l2
 14 | import networkx as nx
 15 | from sklearn.metrics import classification_report, roc_auc_score
 16 | import copy
 17 | import gc
 18 | from util import *
 19 | 
 20 | class Config(object):
 21 |     """Model setting and data setting"""
 22 |     data_path = 'data/'
 23 |     data_name = 'example2'
 24 |     train_graph_file = data_path + data_name + '-train.net' # training file
 25 |     val_pos_file = data_path + data_name + '-val-pos.net' # validation positive file
 26 |     val_neg_file = data_path + data_name + '-val-neg.net' # validation negative file
 27 |     test_pos_file = data_path + data_name + '-test-pos.net' # validation positive file
 28 |     test_neg_file = data_path + data_name + '-test-neg.net' # validation negative file
 29 | 
 30 |     batch_size = 256
 31 |     neg_sample_num = 5 # max negative sampling
 32 |     dim_embedddings = 64
 33 | 
 34 |     hi_sample_beta = 0.2
 35 |     max_sample_iter = int(1/hi_sample_beta) # max iterations for hidden edge sample
 36 |     max_train_iter = 250
 37 | 
 38 |     p_threshold = 100
 39 | 
 40 | 
 41 | def ranking_loss_bpr(y_true, y_pred):
 42 |     pos = y_pred[:,0]
 43 |     neg = y_pred[:,1]
 44 |     loss = -K.sigmoid(pos-neg) # use loss = K.maximum(1.0 + neg - pos, 0.0) if you want to use margin ranking loss
 45 |     return K.mean(loss) + 0 * y_true
 46 | 
 47 | def ranking_loss_mm(y_true, y_pred):
 48 |     pos = y_pred[:,0]
 49 |     neg = y_pred[:,1]
 50 |     loss = K.maximum(1.0 + neg - pos, 0.0)
 51 |     return K.mean(loss) + 0 * y_true
 52 | 
 53 | def ranking_loss_mse(y_true, y_pred):
 54 |     pos = y_pred[:,0]
 55 |     neg = y_pred[:,1]
 56 |     loss = (1/2)*K.square(pos-neg-1)
 57 |     return K.mean(loss) + 0 * y_true
 58 | 
 59 | # def link_prediction(model, user_pair):
 60 | #     u1 = user_pair[0]
 61 | #     u2 = user_pair[1]
 62 | #     W = model.layers[5].get_weights()[0]
 63 | #     X = model.layers[3].get_weights()[0]
 64 | #     x = X[u1]
 65 | #     y = X[u2]
 66 | #     xW = np.dot(x,W)
 67 | #     xWy = np.sum(xW*y, axis=1)
 68 | #     return xWy
 69 | def link_prediction(model, user_pair):
 70 |     u1 = user_pair[0]
 71 |     u2 = user_pair[1]
 72 |     W = model.layers[5].get_weights()[0]
 73 |     X = model.layers[1].get_weights()[0]
 74 |     x = X[u1]
 75 |     y = X[u2]
 76 |     xW = np.dot(x,W)
 77 |     xWy = np.sum(xW*y, axis=1)
 78 |     return xWy
 79 | 
 80 | def PNRLR_Model(V, dim_embedddings=128):
 81 |     input_source = Input(shape=(1,), name='input_source')
 82 |     input_pos = Input(shape=(1,), name='input_pos')
 83 |     input_neg = Input(shape=(1,), name='input_neg')
 84 |     context_input = Input(shape=(1,), name='context_input')
 85 |     shared_embedding = Embedding(V, output_dim=dim_embedddings, input_length=1)
 86 |     X_source = shared_embedding(input_source)
 87 |     X_pos = shared_embedding(input_pos)
 88 |     X_neg = shared_embedding(input_neg)
 89 |     Y = Embedding(V, output_dim=dim_embedddings, input_length=1)(context_input)
 90 | 
 91 |     XY = dot([X_source, Y], axes=-1)
 92 |     res = Reshape((1,), input_shape=(1,1))(XY)
 93 |     nrl_output = Activation( activation='sigmoid', name='nrl_output')(res)
 94 |     model1 = Model(input=[input_source, context_input], output=[nrl_output])
 95 |     # optimizer1 = SGD(lr=0.01, decay=1e-6, momentum=0.9, nesterov=True)
 96 |     optimizer1 = rmsprop()
 97 |     model1.compile(loss="binary_crossentropy", optimizer=optimizer1)
 98 | 
 99 |     reshape_layer = Reshape((dim_embedddings,), name='reshape_layer')
100 |     X_S = reshape_layer(X_source)
101 |     X_P = reshape_layer(X_pos)
102 |     X_N = reshape_layer(X_neg)
103 |     XW =  Dense(dim_embedddings, activation='linear', W_regularizer=l2(0.01), bias=False,name='BiW')(X_S)
104 |     pos_ouput = dot([XW, X_P], axes=-1)
105 |     neg_output = dot([XW, X_N], axes=-1)
106 |     lp_output = concatenate([pos_ouput, neg_output], axis=-1, name='lp_output')
107 |     model2 = Model(input=[input_source, input_pos, input_neg], output=[lp_output])
108 |     optimizer2 = Adam()
109 |     model2.compile(loss={'lp_output': ranking_loss_mm}, optimizer=optimizer2)
110 |     return model1, model2
111 | 
112 | def hidden_edge_sampling(sample_iter, sample_size, edges, neighbor_set):
113 |     hi_edges = edges[sample_iter*sample_size : (sample_iter+1)*sample_size]
114 |     ob_edges = edges[:sample_iter*sample_size]
115 |     ob_edges.extend(edges[(sample_iter+1)*sample_size:])
116 |     ns = copy.deepcopy(neighbor_set)
117 |     hi_ns = {}
118 |     for e in hi_edges:
119 |         if e[0] in hi_ns:
120 |             hi_ns[e[0]].append(e[1])
121 |         else:
122 |             hi_ns[e[0]] = [e[1]]
123 |         ns[e[0]].remove(e[1])
124 |         if e[1] in hi_ns:
125 |             hi_ns[e[1]].append(e[0])
126 |         else:
127 |             hi_ns[e[1]] = [e[0]]
128 |         ns[e[1]].remove(e[0])
129 |     return ob_edges, hi_edges, ns, hi_ns
130 | 
131 | def train_batch_generation(graph_nodes, ob_ns, hi_ns, neg_ns, gindex, ntable, num_neg, batch_size):
132 |     counter = 0
133 |     X1_input1 = []
134 |     X1_input2 = []
135 |     Y1 = []
136 |     X2_input1 = []
137 |     X2_input2 = []
138 |     X2_input3 = []
139 |     Y2 = []
140 |     batch_data = []
141 |     for node in graph_nodes:
142 |         if ob_ns[node]:
143 |             X1_input1.append(gindex[node])
144 |             linked = gindex[random.choice(ob_ns[node])]
145 |             X1_input2.append(linked)
146 |             Y1.append(1.)
147 |             neg = neg_sample(ntable, num_neg)
148 |             for i in range(num_neg):
149 |                 X1_input1.append(gindex[node])
150 |                 X1_input2.append(neg[i])
151 |                 Y1.append(0.)
152 |             if node in hi_ns:
153 |                 hi_linked = gindex[random.choice(hi_ns[node])]
154 |                 hi_nolinked = gindex[random.choice(neg_ns[node])]
155 |                 X2_input1.append(gindex[node])
156 |                 X2_input2.append(hi_linked)
157 |                 X2_input3.append(hi_nolinked)
158 |                 Y2.append(1.)
159 |                 counter += 1
160 |         if counter == batch_size:
161 |             X1 = [np.array(X1_input1), np.array(X1_input2)]
162 |             Y1 = np.array(Y1,dtype=np.int32)
163 |             X2 = [np.array(X2_input1), np.array(X2_input2), np.array(X2_input3)]
164 |             Y2 = np.array(Y2,dtype=np.int32)
165 |             batch_data.append((X1, Y1, X2, Y2))
166 |             counter = 0
167 |             X1_input1 = []
168 |             X1_input2 = []
169 |             Y1 = []
170 |             X2_input1 = []
171 |             X2_input2 = []
172 |             X2_input3 = []
173 |             Y2 = []
174 |     X1 = [np.array(X1_input1), np.array(X1_input2)]
175 |     Y1 = np.array(Y1,dtype=np.int32)
176 |     X2 = [np.array(X2_input1), np.array(X2_input2), np.array(X2_input3)]
177 |     Y2 = np.array(Y2,dtype=np.int32)
178 |     batch_data.append((X1, Y1, X2, Y2))
179 |     return batch_data
180 | 
181 | def train(config):
182 |     # Load settings
183 |     batch_size = config.batch_size
184 |     num_neg = config.neg_sample_num
185 |     dim_embedddings = config.dim_embedddings
186 |     max_sample_iter = config.max_sample_iter
187 |     max_train_iter = config.max_train_iter
188 |     p_threshold = config.p_threshold
189 |     train_graph_file = config.train_graph_file
190 |     val_pos_file = config.val_pos_file
191 |     val_neg_file = config.val_neg_file
192 |     test_pos_file = config.test_pos_file
193 |     test_neg_file = config.test_neg_file
194 |     # Read Data
195 |     G = load_training_graph(train_graph_file, False)
196 |     gindex = creat_index(G)
197 |     edges = G.edges()
198 |     ns_complete, neg_ns = neighbor_set(G)
199 |     ntable = NegTable(G, gindex)
200 |     V = len(gindex) + 1
201 |     X_val, Y_val = read_valset(val_pos_file, val_neg_file, gindex, False)
202 |     X_test, Y_test = read_valset(test_pos_file, test_neg_file, gindex, False)
203 | 
204 |     # Model initialization
205 |     model1, model2 = PNRLR_Model(V, dim_embedddings)
206 | 
207 |     # Randomly shuffle data for training
208 |     seed = random.randint(0, 10e6)
209 |     random.seed(seed)
210 |     random.shuffle(edges)
211 | 
212 |     best_val_auc = 0
213 |     test_at_best_valid = 0 # validation for early stop
214 |     patience = 0 # Early stop patience
215 | 
216 |     sample_size = int(len(edges)/max_sample_iter)
217 |     for sample_iter in range(max_sample_iter):
218 |         # Hidden edge sampling
219 |         ob_edges, hi_edges, ob_ns, hi_ns = hidden_edge_sampling(sample_iter, sample_size, edges, ns_complete)
220 |         print('Observed edges: %d, Hidden edges: %d' %(len(ob_edges), len(hi_edges)))
221 | 
222 |         # Training for the sampled hidden edges set and observed edges set
223 |         for train_iter in range(max_train_iter):
224 |             loss1 = 0.
225 |             loss2 = 0.
226 |             batch_data = train_batch_generation(G.nodes(), ob_ns, hi_ns, neg_ns, gindex, ntable, num_neg, batch_size)
227 |             for batch in batch_data:
228 |                 (X1, Y1, X2, Y2) = batch
229 |                 loss1 += model1.train_on_batch(X1, Y1)
230 |                 loss2 += model2.train_on_batch(X2, Y2)
231 |             Y_pred = link_prediction(model2, X_val)
232 |             val_auc = roc_auc_score(Y_val, Y_pred)
233 | 
234 |             Y_pred = link_prediction(model2, X_test)
235 |             test_auc = roc_auc_score(Y_test, Y_pred)
236 | 
237 |             if val_auc > best_val_auc:
238 |                 best_val_auc = val_auc
239 |                 test_at_best_valid = test_auc
240 |                 patience = 0
241 |             else:
242 |                 patience += 1
243 | 
244 |             print('Training Iteration: %d/%d, Sample Iteration: %d/%d'%(train_iter+1, max_train_iter,sample_iter+1, max_sample_iter) )
245 |             print('Loss1: %f, Loss2: %f, Val AUC: %f, Test AUC: %f'%(loss1, loss2, val_auc, test_auc))
246 | 
247 |             if patience == p_threshold:
248 |                 break;
249 | 
250 |     print ('Best Val AUC: %f; Test AUC at best valid model: %f'% (best_val_auc, test_at_best_valid))
251 | 
252 |     result_file = config.data_name + '_res.txt'
253 |     with open(result_file, 'a') as f:
254 |         # for res_auc in auc_list:
255 |         f.write('Test results at best valid of data ' + config.data_name  + ' : \n')
256 |         f.write('%.5f \n' %(test_at_best_valid,))
257 | 
258 | 
259 | if __name__ == '__main__':
260 |     config = Config()
261 |     train(config)
262 | 
263 | 
264 | 


--------------------------------------------------------------------------------
/data/example-val-neg.net:
--------------------------------------------------------------------------------
   1 | 1 896
   2 | 6 43
   3 | 6 1046
   4 | 6 1086
   5 | 7 156
   6 | 7 628
   7 | 7 1074
   8 | 8 993
   9 | 10 608
  10 | 10 879
  11 | 10 990
  12 | 12 112
  13 | 12 325
  14 | 12 1101
  15 | 13 309
  16 | 13 354
  17 | 13 923
  18 | 15 986
  19 | 15 1022
  20 | 15 1110
  21 | 16 162
  22 | 18 730
  23 | 21 263
  24 | 22 10
  25 | 23 13
  26 | 24 625
  27 | 24 670
  28 | 24 891
  29 | 24 910
  30 | 24 929
  31 | 30 696
  32 | 30 871
  33 | 31 76
  34 | 32 157
  35 | 32 648
  36 | 32 785
  37 | 32 796
  38 | 33 372
  39 | 33 689
  40 | 35 807
  41 | 35 1007
  42 | 35 1008
  43 | 36 355
  44 | 38 17
  45 | 38 639
  46 | 39 234
  47 | 39 649
  48 | 43 25
  49 | 43 317
  50 | 43 496
  51 | 43 533
  52 | 43 691
  53 | 43 875
  54 | 43 978
  55 | 45 674
  56 | 46 220
  57 | 47 127
  58 | 47 145
  59 | 47 371
  60 | 47 390
  61 | 47 943
  62 | 48 478
  63 | 50 895
  64 | 53 69
  65 | 54 42
  66 | 65 40
  67 | 65 821
  68 | 68 876
  69 | 69 608
  70 | 70 283
  71 | 70 608
  72 | 71 534
  73 | 72 754
  74 | 75 890
  75 | 75 1092
  76 | 77 923
  77 | 81 778
  78 | 82 177
  79 | 83 693
  80 | 84 568
  81 | 84 865
  82 | 85 247
  83 | 85 387
  84 | 85 609
  85 | 86 260
  86 | 86 1133
  87 | 88 225
  88 | 88 480
  89 | 90 316
  90 | 90 756
  91 | 90 806
  92 | 90 1007
  93 | 91 390
  94 | 91 575
  95 | 92 141
  96 | 92 587
  97 | 93 282
  98 | 93 786
  99 | 93 1080
 100 | 94 287
 101 | 94 764
 102 | 94 892
 103 | 94 968
 104 | 95 798
 105 | 96 357
 106 | 96 692
 107 | 96 943
 108 | 100 635
 109 | 100 758
 110 | 101 492
 111 | 101 538
 112 | 101 647
 113 | 102 43
 114 | 103 600
 115 | 103 1087
 116 | 104 540
 117 | 105 706
 118 | 106 1106
 119 | 107 836
 120 | 107 974
 121 | 108 601
 122 | 110 486
 123 | 116 207
 124 | 116 787
 125 | 119 823
 126 | 120 507
 127 | 120 565
 128 | 120 601
 129 | 121 620
 130 | 121 649
 131 | 122 598
 132 | 123 762
 133 | 123 968
 134 | 125 901
 135 | 125 963
 136 | 126 482
 137 | 127 250
 138 | 127 1025
 139 | 128 679
 140 | 129 8
 141 | 129 584
 142 | 129 1083
 143 | 131 657
 144 | 132 56
 145 | 132 1010
 146 | 132 1115
 147 | 133 967
 148 | 134 732
 149 | 135 566
 150 | 135 1047
 151 | 137 322
 152 | 137 831
 153 | 137 976
 154 | 138 356
 155 | 138 1002
 156 | 138 1133
 157 | 139 627
 158 | 139 771
 159 | 140 450
 160 | 141 304
 161 | 141 721
 162 | 142 827
 163 | 142 841
 164 | 143 849
 165 | 143 965
 166 | 144 156
 167 | 144 886
 168 | 146 661
 169 | 146 678
 170 | 146 696
 171 | 147 511
 172 | 147 1033
 173 | 148 1049
 174 | 150 1087
 175 | 151 560
 176 | 151 800
 177 | 153 508
 178 | 153 941
 179 | 153 1033
 180 | 155 471
 181 | 155 656
 182 | 157 1028
 183 | 160 1025
 184 | 163 428
 185 | 164 56
 186 | 168 351
 187 | 170 506
 188 | 170 738
 189 | 170 1010
 190 | 170 1130
 191 | 171 821
 192 | 172 304
 193 | 172 574
 194 | 172 898
 195 | 173 18
 196 | 173 41
 197 | 173 609
 198 | 173 665
 199 | 175 301
 200 | 176 478
 201 | 176 503
 202 | 177 287
 203 | 179 861
 204 | 180 605
 205 | 181 670
 206 | 181 674
 207 | 182 161
 208 | 182 399
 209 | 182 773
 210 | 183 647
 211 | 183 911
 212 | 184 1095
 213 | 185 260
 214 | 185 853
 215 | 186 63
 216 | 186 576
 217 | 187 225
 218 | 187 862
 219 | 190 220
 220 | 190 820
 221 | 190 959
 222 | 190 974
 223 | 191 247
 224 | 191 413
 225 | 191 462
 226 | 191 550
 227 | 191 944
 228 | 191 1015
 229 | 192 970
 230 | 193 462
 231 | 194 678
 232 | 195 390
 233 | 197 170
 234 | 197 446
 235 | 197 854
 236 | 197 1018
 237 | 198 469
 238 | 200 258
 239 | 200 416
 240 | 200 950
 241 | 204 464
 242 | 206 302
 243 | 207 501
 244 | 208 48
 245 | 209 733
 246 | 209 1129
 247 | 211 604
 248 | 212 855
 249 | 214 731
 250 | 214 758
 251 | 215 41
 252 | 216 112
 253 | 216 729
 254 | 216 1095
 255 | 219 110
 256 | 222 608
 257 | 222 1116
 258 | 224 1113
 259 | 226 476
 260 | 228 327
 261 | 230 468
 262 | 230 704
 263 | 231 511
 264 | 231 932
 265 | 232 989
 266 | 233 509
 267 | 233 880
 268 | 233 1072
 269 | 235 752
 270 | 235 771
 271 | 235 1114
 272 | 237 939
 273 | 238 987
 274 | 239 658
 275 | 239 872
 276 | 239 996
 277 | 240 472
 278 | 243 383
 279 | 245 212
 280 | 246 655
 281 | 247 208
 282 | 247 622
 283 | 247 786
 284 | 247 972
 285 | 248 575
 286 | 248 878
 287 | 248 1023
 288 | 248 1090
 289 | 250 157
 290 | 253 477
 291 | 253 775
 292 | 257 486
 293 | 257 598
 294 | 264 620
 295 | 271 282
 296 | 271 312
 297 | 272 257
 298 | 272 501
 299 | 273 313
 300 | 273 607
 301 | 273 757
 302 | 273 949
 303 | 273 1050
 304 | 274 1093
 305 | 275 155
 306 | 275 367
 307 | 276 485
 308 | 276 846
 309 | 278 440
 310 | 278 599
 311 | 279 919
 312 | 279 1037
 313 | 281 227
 314 | 281 305
 315 | 282 532
 316 | 283 602
 317 | 289 847
 318 | 290 647
 319 | 290 1042
 320 | 291 207
 321 | 291 630
 322 | 291 644
 323 | 294 510
 324 | 294 772
 325 | 294 822
 326 | 294 1121
 327 | 295 610
 328 | 295 677
 329 | 296 374
 330 | 296 791
 331 | 296 880
 332 | 297 83
 333 | 297 498
 334 | 298 219
 335 | 298 494
 336 | 301 158
 337 | 307 509
 338 | 309 42
 339 | 311 390
 340 | 312 934
 341 | 313 673
 342 | 313 773
 343 | 314 535
 344 | 315 1078
 345 | 317 1108
 346 | 318 601
 347 | 318 823
 348 | 318 900
 349 | 320 909
 350 | 320 1073
 351 | 321 736
 352 | 322 578
 353 | 322 602
 354 | 323 879
 355 | 324 1038
 356 | 326 697
 357 | 328 54
 358 | 328 160
 359 | 329 41
 360 | 330 210
 361 | 331 198
 362 | 331 380
 363 | 332 380
 364 | 333 84
 365 | 334 782
 366 | 335 315
 367 | 335 892
 368 | 335 968
 369 | 336 239
 370 | 337 580
 371 | 338 169
 372 | 338 1043
 373 | 339 185
 374 | 339 809
 375 | 339 897
 376 | 340 397
 377 | 341 714
 378 | 341 727
 379 | 342 897
 380 | 343 250
 381 | 344 171
 382 | 344 219
 383 | 345 111
 384 | 345 917
 385 | 346 878
 386 | 347 500
 387 | 347 830
 388 | 348 618
 389 | 349 549
 390 | 349 861
 391 | 350 847
 392 | 354 953
 393 | 355 284
 394 | 355 895
 395 | 357 467
 396 | 359 365
 397 | 360 280
 398 | 360 673
 399 | 362 570
 400 | 362 1001
 401 | 363 462
 402 | 363 476
 403 | 364 731
 404 | 365 771
 405 | 366 721
 406 | 368 722
 407 | 370 218
 408 | 370 533
 409 | 370 897
 410 | 371 479
 411 | 371 670
 412 | 371 730
 413 | 371 895
 414 | 372 313
 415 | 375 125
 416 | 375 1086
 417 | 377 62
 418 | 381 1097
 419 | 384 475
 420 | 384 572
 421 | 384 843
 422 | 386 117
 423 | 387 89
 424 | 388 303
 425 | 388 677
 426 | 389 572
 427 | 391 56
 428 | 391 201
 429 | 391 245
 430 | 393 326
 431 | 395 358
 432 | 395 674
 433 | 395 1123
 434 | 396 329
 435 | 397 766
 436 | 400 252
 437 | 400 1104
 438 | 401 360
 439 | 402 68
 440 | 402 1030
 441 | 403 574
 442 | 403 987
 443 | 404 385
 444 | 405 324
 445 | 405 544
 446 | 405 692
 447 | 405 990
 448 | 406 17
 449 | 406 677
 450 | 407 416
 451 | 408 1124
 452 | 409 249
 453 | 409 789
 454 | 410 361
 455 | 410 484
 456 | 410 926
 457 | 415 72
 458 | 415 635
 459 | 415 855
 460 | 415 1097
 461 | 416 168
 462 | 416 1104
 463 | 417 473
 464 | 417 537
 465 | 418 934
 466 | 419 628
 467 | 420 368
 468 | 420 399
 469 | 422 325
 470 | 422 607
 471 | 423 181
 472 | 423 550
 473 | 424 515
 474 | 424 576
 475 | 424 942
 476 | 425 946
 477 | 427 848
 478 | 430 156
 479 | 430 179
 480 | 432 882
 481 | 433 149
 482 | 433 967
 483 | 433 1132
 484 | 435 118
 485 | 435 425
 486 | 435 583
 487 | 435 761
 488 | 435 819
 489 | 435 823
 490 | 435 875
 491 | 436 771
 492 | 436 861
 493 | 437 218
 494 | 437 387
 495 | 437 507
 496 | 437 1081
 497 | 438 862
 498 | 441 575
 499 | 441 845
 500 | 442 1
 501 | 443 112
 502 | 445 903
 503 | 446 395
 504 | 447 155
 505 | 447 853
 506 | 448 96
 507 | 448 145
 508 | 448 692
 509 | 449 432
 510 | 449 1100
 511 | 450 71
 512 | 451 362
 513 | 451 566
 514 | 453 300
 515 | 454 163
 516 | 457 285
 517 | 457 316
 518 | 457 537
 519 | 458 204
 520 | 458 733
 521 | 458 757
 522 | 459 705
 523 | 461 771
 524 | 462 674
 525 | 462 1101
 526 | 463 59
 527 | 463 961
 528 | 463 1078
 529 | 464 353
 530 | 490 329
 531 | 491 405
 532 | 491 1107
 533 | 493 1075
 534 | 494 87
 535 | 494 321
 536 | 494 485
 537 | 494 787
 538 | 495 263
 539 | 495 973
 540 | 497 424
 541 | 497 1074
 542 | 501 758
 543 | 502 1098
 544 | 504 1027
 545 | 505 637
 546 | 505 638
 547 | 507 1037
 548 | 508 963
 549 | 508 1095
 550 | 511 11
 551 | 512 19
 552 | 512 673
 553 | 512 723
 554 | 512 1092
 555 | 514 1049
 556 | 515 226
 557 | 515 877
 558 | 516 9
 559 | 516 76
 560 | 516 390
 561 | 518 203
 562 | 519 362
 563 | 519 465
 564 | 519 1111
 565 | 520 1073
 566 | 520 1091
 567 | 521 169
 568 | 521 721
 569 | 521 1107
 570 | 523 106
 571 | 523 150
 572 | 523 267
 573 | 524 549
 574 | 524 898
 575 | 525 150
 576 | 525 1007
 577 | 525 1125
 578 | 526 175
 579 | 527 236
 580 | 527 311
 581 | 527 334
 582 | 527 523
 583 | 528 654
 584 | 529 1078
 585 | 532 119
 586 | 533 110
 587 | 539 118
 588 | 540 110
 589 | 540 469
 590 | 542 1086
 591 | 543 753
 592 | 544 860
 593 | 545 470
 594 | 545 564
 595 | 546 910
 596 | 547 210
 597 | 547 571
 598 | 547 606
 599 | 548 896
 600 | 548 1035
 601 | 549 49
 602 | 549 728
 603 | 550 690
 604 | 551 133
 605 | 551 178
 606 | 551 256
 607 | 552 417
 608 | 553 617
 609 | 553 631
 610 | 553 761
 611 | 553 965
 612 | 554 784
 613 | 555 9
 614 | 555 156
 615 | 555 175
 616 | 555 579
 617 | 556 840
 618 | 558 310
 619 | 558 1088
 620 | 559 83
 621 | 559 580
 622 | 566 1025
 623 | 567 267
 624 | 567 411
 625 | 569 285
 626 | 569 704
 627 | 570 878
 628 | 571 284
 629 | 573 42
 630 | 575 535
 631 | 577 900
 632 | 580 978
 633 | 581 257
 634 | 581 419
 635 | 584 243
 636 | 586 189
 637 | 586 265
 638 | 586 750
 639 | 589 303
 640 | 590 424
 641 | 590 430
 642 | 590 448
 643 | 591 646
 644 | 591 696
 645 | 592 784
 646 | 592 1049
 647 | 593 804
 648 | 595 161
 649 | 596 15
 650 | 596 1099
 651 | 597 59
 652 | 597 372
 653 | 597 1103
 654 | 610 468
 655 | 611 112
 656 | 611 1091
 657 | 612 111
 658 | 612 486
 659 | 616 27
 660 | 616 399
 661 | 616 829
 662 | 616 1088
 663 | 617 212
 664 | 617 836
 665 | 619 918
 666 | 621 846
 667 | 622 172
 668 | 624 116
 669 | 624 320
 670 | 624 1049
 671 | 625 355
 672 | 628 369
 673 | 629 112
 674 | 630 847
 675 | 631 163
 676 | 631 878
 677 | 632 161
 678 | 636 504
 679 | 637 855
 680 | 640 586
 681 | 641 673
 682 | 641 808
 683 | 642 162
 684 | 642 469
 685 | 642 809
 686 | 643 608
 687 | 645 913
 688 | 646 307
 689 | 647 507
 690 | 650 326
 691 | 650 465
 692 | 650 1091
 693 | 650 1104
 694 | 650 1121
 695 | 651 267
 696 | 653 761
 697 | 654 662
 698 | 654 1095
 699 | 656 601
 700 | 656 1093
 701 | 657 66
 702 | 657 544
 703 | 658 116
 704 | 662 380
 705 | 665 827
 706 | 666 696
 707 | 666 960
 708 | 668 123
 709 | 668 860
 710 | 668 976
 711 | 669 254
 712 | 669 918
 713 | 671 252
 714 | 672 721
 715 | 673 252
 716 | 673 756
 717 | 675 300
 718 | 680 410
 719 | 681 114
 720 | 682 585
 721 | 682 704
 722 | 682 733
 723 | 682 775
 724 | 682 1029
 725 | 682 1049
 726 | 683 88
 727 | 683 885
 728 | 685 328
 729 | 686 49
 730 | 687 573
 731 | 687 874
 732 | 688 383
 733 | 688 457
 734 | 688 1004
 735 | 689 450
 736 | 689 914
 737 | 689 955
 738 | 689 999
 739 | 689 1128
 740 | 691 546
 741 | 693 460
 742 | 693 890
 743 | 695 385
 744 | 696 1102
 745 | 698 66
 746 | 698 1039
 747 | 699 225
 748 | 700 1089
 749 | 702 307
 750 | 702 1074
 751 | 705 179
 752 | 705 250
 753 | 705 1038
 754 | 706 150
 755 | 708 583
 756 | 709 268
 757 | 709 509
 758 | 709 675
 759 | 709 998
 760 | 710 405
 761 | 712 792
 762 | 714 299
 763 | 714 492
 764 | 715 748
 765 | 715 851
 766 | 716 46
 767 | 716 416
 768 | 717 138
 769 | 717 478
 770 | 717 854
 771 | 718 203
 772 | 718 230
 773 | 719 123
 774 | 719 379
 775 | 719 682
 776 | 719 973
 777 | 723 1112
 778 | 728 112
 779 | 733 853
 780 | 734 953
 781 | 735 962
 782 | 735 985
 783 | 737 35
 784 | 737 314
 785 | 739 193
 786 | 739 295
 787 | 740 750
 788 | 742 802
 789 | 743 214
 790 | 743 539
 791 | 744 429
 792 | 745 800
 793 | 745 946
 794 | 746 246
 795 | 747 542
 796 | 747 659
 797 | 748 362
 798 | 748 849
 799 | 748 912
 800 | 750 1035
 801 | 755 475
 802 | 761 605
 803 | 767 51
 804 | 770 635
 805 | 780 169
 806 | 782 119
 807 | 784 252
 808 | 784 470
 809 | 784 578
 810 | 786 801
 811 | 788 210
 812 | 788 1025
 813 | 791 456
 814 | 792 269
 815 | 792 516
 816 | 792 545
 817 | 793 164
 818 | 793 217
 819 | 793 886
 820 | 795 57
 821 | 795 240
 822 | 796 470
 823 | 797 995
 824 | 797 1109
 825 | 798 311
 826 | 800 751
 827 | 802 1036
 828 | 806 760
 829 | 807 114
 830 | 808 350
 831 | 808 758
 832 | 810 116
 833 | 810 910
 834 | 811 405
 835 | 812 44
 836 | 812 674
 837 | 812 786
 838 | 812 935
 839 | 812 1005
 840 | 813 471
 841 | 814 918
 842 | 814 939
 843 | 815 581
 844 | 815 780
 845 | 816 821
 846 | 816 947
 847 | 817 436
 848 | 818 97
 849 | 818 959
 850 | 820 228
 851 | 820 729
 852 | 824 847
 853 | 828 920
 854 | 829 704
 855 | 829 1016
 856 | 831 503
 857 | 832 66
 858 | 835 256
 859 | 837 305
 860 | 839 380
 861 | 843 471
 862 | 843 472
 863 | 844 1023
 864 | 847 1036
 865 | 849 229
 866 | 850 118
 867 | 850 747
 868 | 851 542
 869 | 851 722
 870 | 851 972
 871 | 852 363
 872 | 854 1053
 873 | 856 532
 874 | 856 610
 875 | 856 671
 876 | 857 637
 877 | 858 364
 878 | 860 63
 879 | 860 267
 880 | 861 609
 881 | 861 633
 882 | 863 673
 883 | 863 827
 884 | 864 1034
 885 | 864 1096
 886 | 865 999
 887 | 866 305
 888 | 866 577
 889 | 866 1093
 890 | 871 952
 891 | 872 287
 892 | 873 42
 893 | 876 954
 894 | 878 534
 895 | 880 3
 896 | 880 64
 897 | 885 968
 898 | 885 993
 899 | 886 773
 900 | 887 773
 901 | 887 1096
 902 | 888 731
 903 | 889 472
 904 | 889 1041
 905 | 890 89
 906 | 892 41
 907 | 896 504
 908 | 896 1021
 909 | 897 5
 910 | 898 1112
 911 | 899 752
 912 | 899 759
 913 | 902 614
 914 | 903 46
 915 | 903 637
 916 | 903 672
 917 | 903 788
 918 | 903 794
 919 | 904 505
 920 | 905 394
 921 | 907 66
 922 | 907 567
 923 | 907 991
 924 | 911 759
 925 | 912 721
 926 | 916 1118
 927 | 917 635
 928 | 920 466
 929 | 921 1093
 930 | 921 1101
 931 | 922 672
 932 | 922 725
 933 | 922 878
 934 | 923 386
 935 | 924 561
 936 | 930 627
 937 | 932 634
 938 | 932 800
 939 | 933 474
 940 | 935 1117
 941 | 936 760
 942 | 938 159
 943 | 940 189
 944 | 941 286
 945 | 943 206
 946 | 943 466
 947 | 943 772
 948 | 944 923
 949 | 946 506
 950 | 946 1039
 951 | 947 605
 952 | 947 631
 953 | 948 139
 954 | 948 947
 955 | 949 159
 956 | 949 211
 957 | 949 301
 958 | 960 1033
 959 | 962 212
 960 | 962 848
 961 | 963 723
 962 | 971 985
 963 | 973 823
 964 | 973 956
 965 | 975 950
 966 | 975 1034
 967 | 979 89
 968 | 979 500
 969 | 979 733
 970 | 989 307
 971 | 990 384
 972 | 990 1102
 973 | 995 777
 974 | 995 809
 975 | 996 731
 976 | 998 476
 977 | 1002 823
 978 | 1002 968
 979 | 1004 776
 980 | 1004 1024
 981 | 1005 3
 982 | 1005 286
 983 | 1005 488
 984 | 1005 841
 985 | 1006 1078
 986 | 1007 973
 987 | 1008 261
 988 | 1009 14
 989 | 1009 450
 990 | 1009 1080
 991 | 1010 787
 992 | 1011 724
 993 | 1015 856
 994 | 1015 949
 995 | 1017 159
 996 | 1017 515
 997 | 1018 1102
 998 | 1019 117
 999 | 1019 509
1000 | 1025 1024
1001 | 1028 609
1002 | 1033 771
1003 | 1037 955
1004 | 1038 506
1005 | 1040 753
1006 | 1041 152
1007 | 1042 693
1008 | 1043 732
1009 | 1044 541
1010 | 1044 896
1011 | 1045 266
1012 | 1046 267
1013 | 1046 467
1014 | 1048 51
1015 | 1048 959
1016 | 1049 920
1017 | 1051 118
1018 | 1052 510
1019 | 1053 1109
1020 | 1054 55
1021 | 1054 651
1022 | 1054 673
1023 | 1056 89
1024 | 1056 476
1025 | 1057 579
1026 | 1058 799
1027 | 1058 805
1028 | 1059 311
1029 | 1059 396
1030 | 1059 654
1031 | 1059 992
1032 | 1060 844
1033 | 1061 449
1034 | 1062 274
1035 | 1064 705
1036 | 1065 106
1037 | 1065 141
1038 | 1066 121
1039 | 1066 230
1040 | 1066 447
1041 | 1066 826
1042 | 1066 984
1043 | 1066 1115
1044 | 1067 441
1045 | 1067 939
1046 | 1068 288
1047 | 1068 572
1048 | 1069 402
1049 | 1069 531
1050 | 1069 768
1051 | 1069 923
1052 | 1075 473
1053 | 1077 226
1054 | 1079 869
1055 | 1081 11
1056 | 1081 256
1057 | 1081 382
1058 | 1081 779
1059 | 1083 118
1060 | 1084 884
1061 | 1084 1082
1062 | 1086 507
1063 | 1087 1076
1064 | 1087 1111
1065 | 1089 982
1066 | 1089 1047
1067 | 1095 42
1068 | 1097 54
1069 | 1098 220
1070 | 1099 470
1071 | 1105 267
1072 | 1106 530
1073 | 1107 289
1074 | 1107 872
1075 | 1108 4
1076 | 1109 1025
1077 | 1119 957
1078 | 1120 280
1079 | 1120 968
1080 | 1120 1020
1081 | 1122 366
1082 | 1123 227
1083 | 1123 725
1084 | 1125 307
1085 | 1125 416
1086 | 1125 633
1087 | 1129 261
1088 | 1131 69
1089 | 1131 667
1090 | 1131 697
1091 | 1133 306
1092 | 


--------------------------------------------------------------------------------
/data/example-val-pos.net:
--------------------------------------------------------------------------------
   1 | 1 3 1
   2 | 1 6 1
   3 | 1 11 1
   4 | 1 19 1
   5 | 1 25 1
   6 | 1 26 1
   7 | 1 27 1
   8 | 2 9 1
   9 | 2 11 1
  10 | 2 22 1
  11 | 2 33 1
  12 | 2 35 1
  13 | 2 36 1
  14 | 2 37 1
  15 | 3 11 1
  16 | 3 20 1
  17 | 3 27 1
  18 | 3 34 1
  19 | 3 46 1
  20 | 3 51 1
  21 | 3 53 1
  22 | 3 54 1
  23 | 3 56 1
  24 | 4 57 1
  25 | 4 59 1
  26 | 4 66 1
  27 | 5 74 1
  28 | 6 7 1
  29 | 6 34 1
  30 | 6 85 1
  31 | 7 10 1
  32 | 7 13 1
  33 | 7 28 1
  34 | 9 10 1
  35 | 9 13 1
  36 | 9 41 1
  37 | 10 108 1
  38 | 10 109 1
  39 | 10 110 1
  40 | 10 119 1
  41 | 10 129 1
  42 | 11 27 1
  43 | 11 133 1
  44 | 11 134 1
  45 | 11 136 1
  46 | 13 16 1
  47 | 13 18 1
  48 | 13 28 1
  49 | 13 76 1
  50 | 14 33 1
  51 | 14 112 1
  52 | 14 165 1
  53 | 14 166 1
  54 | 14 181 1
  55 | 15 124 1
  56 | 15 186 1
  57 | 16 30 1
  58 | 16 108 1
  59 | 16 123 1
  60 | 16 203 1
  61 | 16 207 1
  62 | 16 213 1
  63 | 16 220 1
  64 | 18 26 1
  65 | 19 120 1
  66 | 19 137 1
  67 | 19 186 1
  68 | 19 230 1
  69 | 19 236 1
  70 | 21 23 1
  71 | 21 41 1
  72 | 21 91 1
  73 | 21 103 1
  74 | 21 246 1
  75 | 21 252 1
  76 | 21 257 1
  77 | 23 50 1
  78 | 23 182 1
  79 | 23 246 1
  80 | 23 278 1
  81 | 23 282 1
  82 | 24 58 1
  83 | 24 110 1
  84 | 24 115 1
  85 | 24 119 1
  86 | 24 120 1
  87 | 24 167 1
  88 | 24 168 1
  89 | 24 176 1
  90 | 24 263 1
  91 | 24 286 1
  92 | 24 294 1
  93 | 24 297 1
  94 | 25 60 1
  95 | 25 62 1
  96 | 25 126 1
  97 | 25 287 1
  98 | 25 299 1
  99 | 25 302 1
 100 | 25 303 1
 101 | 27 230 1
 102 | 27 238 1
 103 | 27 305 1
 104 | 28 182 1
 105 | 28 280 1
 106 | 29 147 1
 107 | 29 310 1
 108 | 29 316 1
 109 | 30 320 1
 110 | 30 326 1
 111 | 31 241 1
 112 | 31 245 1
 113 | 31 251 1
 114 | 31 334 1
 115 | 31 336 1
 116 | 31 338 1
 117 | 34 182 1
 118 | 38 237 1
 119 | 38 346 1
 120 | 38 351 1
 121 | 39 45 1
 122 | 39 46 1
 123 | 39 107 1
 124 | 39 227 1
 125 | 39 313 1
 126 | 39 354 1
 127 | 40 58 1
 128 | 40 105 1
 129 | 40 364 1
 130 | 40 366 1
 131 | 40 367 1
 132 | 41 62 1
 133 | 41 191 1
 134 | 41 238 1
 135 | 41 246 1
 136 | 41 247 1
 137 | 41 354 1
 138 | 41 355 1
 139 | 42 105 1
 140 | 42 134 1
 141 | 42 335 1
 142 | 42 354 1
 143 | 42 355 1
 144 | 42 382 1
 145 | 42 383 1
 146 | 42 391 1
 147 | 44 52 1
 148 | 44 383 1
 149 | 44 406 1
 150 | 44 408 1
 151 | 45 251 1
 152 | 45 259 1
 153 | 45 349 1
 154 | 45 415 1
 155 | 46 48 1
 156 | 46 69 1
 157 | 46 71 1
 158 | 46 81 1
 159 | 46 429 1
 160 | 46 431 1
 161 | 47 337 1
 162 | 49 185 1
 163 | 49 206 1
 164 | 49 317 1
 165 | 49 325 1
 166 | 49 436 1
 167 | 49 437 1
 168 | 49 441 1
 169 | 50 81 1
 170 | 50 245 1
 171 | 50 354 1
 172 | 51 340 1
 173 | 51 353 1
 174 | 51 368 1
 175 | 51 448 1
 176 | 51 449 1
 177 | 52 228 1
 178 | 52 241 1
 179 | 52 254 1
 180 | 52 269 1
 181 | 53 72 1
 182 | 54 76 1
 183 | 54 187 1
 184 | 54 268 1
 185 | 54 331 1
 186 | 54 354 1
 187 | 54 463 1
 188 | 54 467 1
 189 | 55 56 1
 190 | 55 105 1
 191 | 55 128 1
 192 | 55 259 1
 193 | 55 317 1
 194 | 56 77 1
 195 | 56 194 1
 196 | 56 196 1
 197 | 56 207 1
 198 | 56 360 1
 199 | 56 471 1
 200 | 56 472 1
 201 | 56 473 1
 202 | 57 58 1
 203 | 57 66 1
 204 | 57 282 1
 205 | 57 479 1
 206 | 57 481 1
 207 | 57 486 1
 208 | 57 487 1
 209 | 58 282 1
 210 | 58 493 1
 211 | 58 494 1
 212 | 58 495 1
 213 | 59 282 1
 214 | 59 426 1
 215 | 59 430 1
 216 | 59 499 1
 217 | 61 68 1
 218 | 61 500 1
 219 | 62 150 1
 220 | 62 267 1
 221 | 63 508 1
 222 | 64 90 1
 223 | 64 483 1
 224 | 64 485 1
 225 | 65 475 1
 226 | 66 69 1
 227 | 66 282 1
 228 | 67 282 1
 229 | 68 373 1
 230 | 68 500 1
 231 | 68 520 1
 232 | 69 500 1
 233 | 69 509 1
 234 | 69 524 1
 235 | 69 525 1
 236 | 69 526 1
 237 | 69 529 1
 238 | 70 117 1
 239 | 70 280 1
 240 | 70 492 1
 241 | 70 530 1
 242 | 70 532 1
 243 | 71 508 1
 244 | 71 511 1
 245 | 72 282 1
 246 | 72 285 1
 247 | 72 535 1
 248 | 72 539 1
 249 | 73 89 1
 250 | 73 447 1
 251 | 73 467 1
 252 | 73 528 1
 253 | 74 194 1
 254 | 74 466 1
 255 | 74 504 1
 256 | 74 551 1
 257 | 74 554 1
 258 | 75 267 1
 259 | 75 468 1
 260 | 75 560 1
 261 | 76 80 1
 262 | 76 187 1
 263 | 76 341 1
 264 | 76 462 1
 265 | 76 553 1
 266 | 76 565 1
 267 | 76 569 1
 268 | 77 323 1
 269 | 77 574 1
 270 | 78 181 1
 271 | 78 183 1
 272 | 78 575 1
 273 | 79 128 1
 274 | 79 133 1
 275 | 79 336 1
 276 | 79 400 1
 277 | 79 577 1
 278 | 80 116 1
 279 | 80 400 1
 280 | 80 401 1
 281 | 80 579 1
 282 | 80 582 1
 283 | 80 583 1
 284 | 81 243 1
 285 | 81 452 1
 286 | 82 176 1
 287 | 82 277 1
 288 | 82 405 1
 289 | 82 588 1
 290 | 83 388 1
 291 | 84 141 1
 292 | 84 143 1
 293 | 84 150 1
 294 | 85 193 1
 295 | 85 212 1
 296 | 85 215 1
 297 | 85 222 1
 298 | 85 291 1
 299 | 85 401 1
 300 | 86 598 1
 301 | 88 600 1
 302 | 89 93 1
 303 | 89 454 1
 304 | 89 464 1
 305 | 89 603 1
 306 | 90 285 1
 307 | 90 427 1
 308 | 90 605 1
 309 | 90 610 1
 310 | 91 612 1
 311 | 91 613 1
 312 | 91 614 1
 313 | 92 284 1
 314 | 93 626 1
 315 | 93 627 1
 316 | 93 628 1
 317 | 94 131 1
 318 | 94 237 1
 319 | 94 376 1
 320 | 94 598 1
 321 | 94 606 1
 322 | 99 135 1
 323 | 101 128 1
 324 | 101 637 1
 325 | 104 105 1
 326 | 104 154 1
 327 | 104 218 1
 328 | 105 202 1
 329 | 105 227 1
 330 | 105 236 1
 331 | 105 284 1
 332 | 105 321 1
 333 | 105 361 1
 334 | 105 446 1
 335 | 105 472 1
 336 | 105 503 1
 337 | 105 578 1
 338 | 105 641 1
 339 | 105 646 1
 340 | 105 649 1
 341 | 105 651 1
 342 | 106 134 1
 343 | 107 182 1
 344 | 107 263 1
 345 | 112 168 1
 346 | 112 181 1
 347 | 112 271 1
 348 | 112 333 1
 349 | 112 355 1
 350 | 113 162 1
 351 | 113 672 1
 352 | 114 117 1
 353 | 115 224 1
 354 | 115 454 1
 355 | 115 675 1
 356 | 116 204 1
 357 | 116 210 1
 358 | 116 307 1
 359 | 116 677 1
 360 | 117 133 1
 361 | 117 532 1
 362 | 118 517 1
 363 | 118 629 1
 364 | 118 684 1
 365 | 119 169 1
 366 | 119 569 1
 367 | 119 669 1
 368 | 120 174 1
 369 | 120 178 1
 370 | 120 182 1
 371 | 120 233 1
 372 | 120 563 1
 373 | 121 178 1
 374 | 122 252 1
 375 | 122 287 1
 376 | 122 543 1
 377 | 122 688 1
 378 | 124 555 1
 379 | 125 692 1
 380 | 127 208 1
 381 | 127 594 1
 382 | 127 696 1
 383 | 128 207 1
 384 | 128 243 1
 385 | 128 324 1
 386 | 129 641 1
 387 | 130 327 1
 388 | 130 468 1
 389 | 130 672 1
 390 | 131 297 1
 391 | 131 536 1
 392 | 131 585 1
 393 | 131 614 1
 394 | 131 701 1
 395 | 132 259 1
 396 | 132 313 1
 397 | 132 638 1
 398 | 133 134 1
 399 | 133 446 1
 400 | 133 475 1
 401 | 133 565 1
 402 | 134 135 1
 403 | 134 314 1
 404 | 134 351 1
 405 | 134 705 1
 406 | 135 148 1
 407 | 135 332 1
 408 | 135 340 1
 409 | 135 545 1
 410 | 136 682 1
 411 | 136 716 1
 412 | 137 214 1
 413 | 137 321 1
 414 | 137 362 1
 415 | 137 420 1
 416 | 137 443 1
 417 | 140 143 1
 418 | 140 147 1
 419 | 140 148 1
 420 | 140 312 1
 421 | 140 332 1
 422 | 140 649 1
 423 | 140 720 1
 424 | 141 354 1
 425 | 142 147 1
 426 | 142 148 1
 427 | 142 332 1
 428 | 142 355 1
 429 | 142 504 1
 430 | 143 147 1
 431 | 143 276 1
 432 | 143 633 1
 433 | 143 727 1
 434 | 144 559 1
 435 | 145 237 1
 436 | 145 736 1
 437 | 146 147 1
 438 | 146 148 1
 439 | 146 149 1
 440 | 146 332 1
 441 | 146 573 1
 442 | 146 737 1
 443 | 147 150 1
 444 | 147 720 1
 445 | 149 267 1
 446 | 149 692 1
 447 | 149 721 1
 448 | 150 243 1
 449 | 150 573 1
 450 | 152 267 1
 451 | 152 735 1
 452 | 155 344 1
 453 | 155 585 1
 454 | 155 586 1
 455 | 156 269 1
 456 | 156 662 1
 457 | 158 391 1
 458 | 161 584 1
 459 | 162 176 1
 460 | 162 197 1
 461 | 162 297 1
 462 | 164 168 1
 463 | 164 173 1
 464 | 164 322 1
 465 | 165 297 1
 466 | 167 532 1
 467 | 172 563 1
 468 | 181 197 1
 469 | 182 277 1
 470 | 183 185 1
 471 | 183 187 1
 472 | 183 359 1
 473 | 183 567 1
 474 | 183 715 1
 475 | 184 269 1
 476 | 185 300 1
 477 | 185 559 1
 478 | 186 414 1
 479 | 186 429 1
 480 | 187 466 1
 481 | 188 578 1
 482 | 188 769 1
 483 | 189 191 1
 484 | 189 602 1
 485 | 189 622 1
 486 | 189 774 1
 487 | 191 464 1
 488 | 192 776 1
 489 | 193 204 1
 490 | 193 212 1
 491 | 193 594 1
 492 | 193 601 1
 493 | 194 204 1
 494 | 194 263 1
 495 | 194 293 1
 496 | 195 675 1
 497 | 196 197 1
 498 | 196 214 1
 499 | 196 361 1
 500 | 196 364 1
 501 | 196 439 1
 502 | 196 473 1
 503 | 196 599 1
 504 | 196 678 1
 505 | 197 212 1
 506 | 197 327 1
 507 | 197 780 1
 508 | 197 782 1
 509 | 198 205 1
 510 | 198 215 1
 511 | 198 512 1
 512 | 198 695 1
 513 | 199 215 1
 514 | 199 221 1
 515 | 199 687 1
 516 | 200 219 1
 517 | 200 617 1
 518 | 200 642 1
 519 | 200 643 1
 520 | 201 233 1
 521 | 201 274 1
 522 | 201 325 1
 523 | 201 650 1
 524 | 202 258 1
 525 | 202 586 1
 526 | 203 263 1
 527 | 204 205 1
 528 | 204 210 1
 529 | 204 263 1
 530 | 204 272 1
 531 | 204 293 1
 532 | 204 472 1
 533 | 205 208 1
 534 | 205 216 1
 535 | 205 390 1
 536 | 205 698 1
 537 | 205 792 1
 538 | 206 222 1
 539 | 206 263 1
 540 | 207 216 1
 541 | 208 343 1
 542 | 208 596 1
 543 | 208 648 1
 544 | 210 400 1
 545 | 210 425 1
 546 | 210 439 1
 547 | 210 446 1
 548 | 210 672 1
 549 | 210 676 1
 550 | 211 289 1
 551 | 211 680 1
 552 | 212 216 1
 553 | 212 222 1
 554 | 212 792 1
 555 | 213 364 1
 556 | 213 797 1
 557 | 214 263 1
 558 | 215 219 1
 559 | 215 698 1
 560 | 217 221 1
 561 | 217 775 1
 562 | 218 439 1
 563 | 219 222 1
 564 | 219 800 1
 565 | 220 390 1
 566 | 221 599 1
 567 | 223 678 1
 568 | 224 355 1
 569 | 225 806 1
 570 | 227 378 1
 571 | 227 518 1
 572 | 227 532 1
 573 | 227 578 1
 574 | 228 340 1
 575 | 230 775 1
 576 | 233 235 1
 577 | 233 255 1
 578 | 233 444 1
 579 | 233 590 1
 580 | 233 660 1
 581 | 234 376 1
 582 | 235 257 1
 583 | 235 456 1
 584 | 235 541 1
 585 | 235 818 1
 586 | 237 305 1
 587 | 237 316 1
 588 | 237 340 1
 589 | 237 633 1
 590 | 237 822 1
 591 | 238 460 1
 592 | 239 243 1
 593 | 239 330 1
 594 | 239 434 1
 595 | 239 813 1
 596 | 240 306 1
 597 | 241 415 1
 598 | 241 456 1
 599 | 241 484 1
 600 | 241 585 1
 601 | 242 578 1
 602 | 243 303 1
 603 | 243 332 1
 604 | 243 396 1
 605 | 243 830 1
 606 | 245 246 1
 607 | 246 399 1
 608 | 248 443 1
 609 | 250 284 1
 610 | 250 687 1
 611 | 251 258 1
 612 | 251 331 1
 613 | 251 335 1
 614 | 251 437 1
 615 | 254 677 1
 616 | 255 355 1
 617 | 255 489 1
 618 | 255 694 1
 619 | 256 499 1
 620 | 256 614 1
 621 | 256 659 1
 622 | 256 840 1
 623 | 257 423 1
 624 | 257 568 1
 625 | 257 843 1
 626 | 260 845 1
 627 | 262 377 1
 628 | 264 564 1
 629 | 265 307 1
 630 | 265 850 1
 631 | 267 341 1
 632 | 267 556 1
 633 | 267 710 1
 634 | 267 851 1
 635 | 268 316 1
 636 | 268 415 1
 637 | 268 425 1
 638 | 268 452 1
 639 | 268 657 1
 640 | 269 702 1
 641 | 269 854 1
 642 | 269 855 1
 643 | 270 378 1
 644 | 271 355 1
 645 | 271 434 1
 646 | 271 859 1
 647 | 274 327 1
 648 | 274 437 1
 649 | 275 279 1
 650 | 276 388 1
 651 | 276 591 1
 652 | 276 859 1
 653 | 277 323 1
 654 | 277 867 1
 655 | 279 598 1
 656 | 279 872 1
 657 | 280 671 1
 658 | 280 694 1
 659 | 284 329 1
 660 | 284 542 1
 661 | 284 725 1
 662 | 285 500 1
 663 | 285 506 1
 664 | 286 289 1
 665 | 287 346 1
 666 | 287 839 1
 667 | 287 876 1
 668 | 289 327 1
 669 | 290 837 1
 670 | 290 838 1
 671 | 291 592 1
 672 | 296 308 1
 673 | 297 699 1
 674 | 297 877 1
 675 | 297 882 1
 676 | 298 884 1
 677 | 299 398 1
 678 | 299 409 1
 679 | 299 410 1
 680 | 299 725 1
 681 | 299 726 1
 682 | 299 756 1
 683 | 299 884 1
 684 | 299 885 1
 685 | 303 384 1
 686 | 303 387 1
 687 | 303 393 1
 688 | 303 439 1
 689 | 303 891 1
 690 | 305 676 1
 691 | 307 901 1
 692 | 308 425 1
 693 | 310 312 1
 694 | 311 312 1
 695 | 312 904 1
 696 | 312 907 1
 697 | 313 711 1
 698 | 313 795 1
 699 | 314 902 1
 700 | 314 912 1
 701 | 315 457 1
 702 | 315 468 1
 703 | 315 795 1
 704 | 316 415 1
 705 | 316 495 1
 706 | 316 515 1
 707 | 316 562 1
 708 | 316 707 1
 709 | 319 915 1
 710 | 320 326 1
 711 | 321 916 1
 712 | 322 336 1
 713 | 322 400 1
 714 | 322 915 1
 715 | 326 918 1
 716 | 327 401 1
 717 | 327 780 1
 718 | 329 331 1
 719 | 329 415 1
 720 | 329 542 1
 721 | 330 585 1
 722 | 330 711 1
 723 | 331 336 1
 724 | 331 339 1
 725 | 331 420 1
 726 | 332 591 1
 727 | 332 724 1
 728 | 333 336 1
 729 | 333 372 1
 730 | 333 641 1
 731 | 334 810 1
 732 | 335 650 1
 733 | 336 620 1
 734 | 337 433 1
 735 | 337 468 1
 736 | 337 927 1
 737 | 338 661 1
 738 | 339 340 1
 739 | 339 368 1
 740 | 339 761 1
 741 | 339 930 1
 742 | 339 931 1
 743 | 339 932 1
 744 | 340 362 1
 745 | 340 365 1
 746 | 341 578 1
 747 | 345 350 1
 748 | 347 590 1
 749 | 347 743 1
 750 | 347 746 1
 751 | 350 948 1
 752 | 351 687 1
 753 | 352 588 1
 754 | 352 660 1
 755 | 352 769 1
 756 | 352 950 1
 757 | 353 538 1
 758 | 353 954 1
 759 | 355 367 1
 760 | 355 402 1
 761 | 355 416 1
 762 | 355 532 1
 763 | 356 389 1
 764 | 356 468 1
 765 | 356 552 1
 766 | 356 590 1
 767 | 356 744 1
 768 | 356 905 1
 769 | 356 961 1
 770 | 357 891 1
 771 | 358 425 1
 772 | 359 765 1
 773 | 360 472 1
 774 | 362 544 1
 775 | 363 441 1
 776 | 365 962 1
 777 | 367 672 1
 778 | 367 675 1
 779 | 367 838 1
 780 | 367 964 1
 781 | 371 416 1
 782 | 373 704 1
 783 | 376 634 1
 784 | 376 967 1
 785 | 376 970 1
 786 | 377 585 1
 787 | 377 973 1
 788 | 378 391 1
 789 | 378 467 1
 790 | 378 661 1
 791 | 378 753 1
 792 | 378 974 1
 793 | 379 659 1
 794 | 379 833 1
 795 | 381 784 1
 796 | 381 892 1
 797 | 382 386 1
 798 | 382 387 1
 799 | 382 784 1
 800 | 383 384 1
 801 | 384 393 1
 802 | 384 796 1
 803 | 385 386 1
 804 | 385 387 1
 805 | 385 726 1
 806 | 388 591 1
 807 | 388 859 1
 808 | 388 890 1
 809 | 389 410 1
 810 | 389 542 1
 811 | 389 729 1
 812 | 389 756 1
 813 | 389 884 1
 814 | 391 752 1
 815 | 391 979 1
 816 | 392 902 1
 817 | 392 980 1
 818 | 393 504 1
 819 | 393 982 1
 820 | 395 984 1
 821 | 396 892 1
 822 | 396 985 1
 823 | 401 698 1
 824 | 401 699 1
 825 | 403 578 1
 826 | 403 968 1
 827 | 406 407 1
 828 | 406 731 1
 829 | 407 552 1
 830 | 408 646 1
 831 | 409 434 1
 832 | 409 705 1
 833 | 410 543 1
 834 | 410 726 1
 835 | 410 937 1
 836 | 410 993 1
 837 | 412 552 1
 838 | 412 743 1
 839 | 413 552 1
 840 | 413 983 1
 841 | 415 568 1
 842 | 415 662 1
 843 | 415 914 1
 844 | 417 457 1
 845 | 417 612 1
 846 | 418 523 1
 847 | 419 808 1
 848 | 422 564 1
 849 | 422 996 1
 850 | 427 507 1
 851 | 427 864 1
 852 | 427 999 1
 853 | 427 1000 1
 854 | 429 543 1
 855 | 431 1003 1
 856 | 432 907 1
 857 | 434 542 1
 858 | 434 687 1
 859 | 434 887 1
 860 | 438 552 1
 861 | 439 650 1
 862 | 440 640 1
 863 | 441 698 1
 864 | 441 882 1
 865 | 443 504 1
 866 | 447 482 1
 867 | 447 824 1
 868 | 449 456 1
 869 | 450 459 1
 870 | 451 662 1
 871 | 451 772 1
 872 | 452 654 1
 873 | 453 687 1
 874 | 454 578 1
 875 | 454 598 1
 876 | 454 604 1
 877 | 454 622 1
 878 | 456 761 1
 879 | 456 1009 1
 880 | 457 468 1
 881 | 459 842 1
 882 | 459 980 1
 883 | 459 1019 1
 884 | 460 486 1
 885 | 460 513 1
 886 | 460 564 1
 887 | 460 848 1
 888 | 462 1009 1
 889 | 462 1028 1
 890 | 464 774 1
 891 | 464 1029 1
 892 | 465 545 1
 893 | 466 523 1
 894 | 467 470 1
 895 | 467 660 1
 896 | 468 558 1
 897 | 468 836 1
 898 | 468 912 1
 899 | 475 483 1
 900 | 476 485 1
 901 | 477 1036 1
 902 | 479 849 1
 903 | 480 675 1
 904 | 481 663 1
 905 | 481 1038 1
 906 | 483 491 1
 907 | 483 497 1
 908 | 483 499 1
 909 | 483 564 1
 910 | 483 709 1
 911 | 483 1008 1
 912 | 484 871 1
 913 | 484 1024 1
 914 | 487 1045 1
 915 | 489 689 1
 916 | 491 497 1
 917 | 491 1041 1
 918 | 496 979 1
 919 | 497 607 1
 920 | 500 508 1
 921 | 500 562 1
 922 | 501 549 1
 923 | 501 660 1
 924 | 503 573 1
 925 | 504 552 1
 926 | 504 920 1
 927 | 505 573 1
 928 | 505 741 1
 929 | 506 509 1
 930 | 506 525 1
 931 | 507 509 1
 932 | 507 517 1
 933 | 507 607 1
 934 | 508 755 1
 935 | 512 904 1
 936 | 512 992 1
 937 | 513 1034 1
 938 | 514 1052 1
 939 | 515 771 1
 940 | 518 532 1
 941 | 518 592 1
 942 | 518 599 1
 943 | 521 529 1
 944 | 523 528 1
 945 | 527 529 1
 946 | 529 903 1
 947 | 532 1055 1
 948 | 538 1057 1
 949 | 542 886 1
 950 | 543 709 1
 951 | 549 564 1
 952 | 552 885 1
 953 | 554 849 1
 954 | 555 833 1
 955 | 557 720 1
 956 | 564 848 1
 957 | 565 824 1
 958 | 566 882 1
 959 | 568 598 1
 960 | 568 954 1
 961 | 573 851 1
 962 | 578 603 1
 963 | 578 659 1
 964 | 578 891 1
 965 | 578 1069 1
 966 | 584 699 1
 967 | 584 780 1
 968 | 584 806 1
 969 | 585 677 1
 970 | 588 656 1
 971 | 588 819 1
 972 | 588 1073 1
 973 | 591 724 1
 974 | 591 746 1
 975 | 593 745 1
 976 | 593 1076 1
 977 | 594 599 1
 978 | 594 601 1
 979 | 594 648 1
 980 | 594 695 1
 981 | 595 725 1
 982 | 596 742 1
 983 | 598 741 1
 984 | 598 925 1
 985 | 599 601 1
 986 | 600 965 1
 987 | 602 622 1
 988 | 603 855 1
 989 | 604 621 1
 990 | 609 872 1
 991 | 610 612 1
 992 | 612 1082 1
 993 | 641 642 1
 994 | 641 646 1
 995 | 647 787 1
 996 | 648 792 1
 997 | 649 660 1
 998 | 650 696 1
 999 | 650 775 1
1000 | 653 853 1
1001 | 654 660 1
1002 | 656 769 1
1003 | 657 752 1
1004 | 658 935 1
1005 | 660 677 1
1006 | 661 754 1
1007 | 664 1091 1
1008 | 665 990 1
1009 | 693 1086 1
1010 | 697 790 1
1011 | 698 801 1
1012 | 699 879 1
1013 | 699 987 1
1014 | 703 783 1
1015 | 706 755 1
1016 | 706 847 1
1017 | 707 954 1
1018 | 707 1010 1
1019 | 709 1035 1
1020 | 710 733 1
1021 | 724 746 1
1022 | 724 940 1
1023 | 724 945 1
1024 | 724 946 1
1025 | 724 958 1
1026 | 725 726 1
1027 | 726 756 1
1028 | 726 885 1
1029 | 730 945 1
1030 | 730 983 1
1031 | 731 974 1
1032 | 731 1003 1
1033 | 744 745 1
1034 | 744 783 1
1035 | 744 945 1
1036 | 745 748 1
1037 | 745 945 1
1038 | 756 788 1
1039 | 757 1045 1
1040 | 764 1048 1
1041 | 773 976 1
1042 | 775 809 1
1043 | 784 885 1
1044 | 795 903 1
1045 | 807 850 1
1046 | 808 848 1
1047 | 808 1097 1
1048 | 809 834 1
1049 | 824 870 1
1050 | 824 1036 1
1051 | 828 1062 1
1052 | 833 834 1
1053 | 836 1010 1
1054 | 848 1045 1
1055 | 849 1035 1
1056 | 855 869 1
1057 | 860 1005 1
1058 | 861 1050 1
1059 | 868 869 1
1060 | 870 1038 1
1061 | 884 1116 1
1062 | 886 888 1
1063 | 889 891 1
1064 | 894 983 1
1065 | 895 920 1
1066 | 895 976 1
1067 | 895 983 1
1068 | 899 900 1
1069 | 910 1069 1
1070 | 910 1078 1
1071 | 921 1090 1
1072 | 930 1120 1
1073 | 931 1011 1
1074 | 935 987 1
1075 | 940 941 1
1076 | 940 946 1
1077 | 960 1122 1
1078 | 980 1068 1
1079 | 981 983 1
1080 | 990 1009 1
1081 | 995 1112 1
1082 | 1004 1067 1
1083 | 1024 1097 1
1084 | 1026 1045 1
1085 | 1032 1078 1
1086 | 1043 1098 1
1087 | 1069 1078 1
1088 | 1069 1105 1
1089 | 1087 1132 1
1090 | 1088 1089 1
1091 | 1096 1133 1
1092 | 


--------------------------------------------------------------------------------
/LICENSE:
--------------------------------------------------------------------------------
  1 |                     GNU GENERAL PUBLIC LICENSE
  2 |                        Version 3, 29 June 2007
  3 | 
  4 |  Copyright (C) 2007 Free Software Foundation, Inc. <http://fsf.org/>
  5 |  Everyone is permitted to copy and distribute verbatim copies
  6 |  of this license document, but changing it is not allowed.
  7 | 
  8 |                             Preamble
  9 | 
 10 |   The GNU General Public License is a free, copyleft license for
 11 | software and other kinds of works.
 12 | 
 13 |   The licenses for most software and other practical works are designed
 14 | to take away your freedom to share and change the works.  By contrast,
 15 | the GNU General Public License is intended to guarantee your freedom to
 16 | share and change all versions of a program--to make sure it remains free
 17 | software for all its users.  We, the Free Software Foundation, use the
 18 | GNU General Public License for most of our software; it applies also to
 19 | any other work released this way by its authors.  You can apply it to
 20 | your programs, too.
 21 | 
 22 |   When we speak of free software, we are referring to freedom, not
 23 | price.  Our General Public Licenses are designed to make sure that you
 24 | have the freedom to distribute copies of free software (and charge for
 25 | them if you wish), that you receive source code or can get it if you
 26 | want it, that you can change the software or use pieces of it in new
 27 | free programs, and that you know you can do these things.
 28 | 
 29 |   To protect your rights, we need to prevent others from denying you
 30 | these rights or asking you to surrender the rights.  Therefore, you have
 31 | certain responsibilities if you distribute copies of the software, or if
 32 | you modify it: responsibilities to respect the freedom of others.
 33 | 
 34 |   For example, if you distribute copies of such a program, whether
 35 | gratis or for a fee, you must pass on to the recipients the same
 36 | freedoms that you received.  You must make sure that they, too, receive
 37 | or can get the source code.  And you must show them these terms so they
 38 | know their rights.
 39 | 
 40 |   Developers that use the GNU GPL protect your rights with two steps:
 41 | (1) assert copyright on the software, and (2) offer you this License
 42 | giving you legal permission to copy, distribute and/or modify it.
 43 | 
 44 |   For the developers' and authors' protection, the GPL clearly explains
 45 | that there is no warranty for this free software.  For both users' and
 46 | authors' sake, the GPL requires that modified versions be marked as
 47 | changed, so that their problems will not be attributed erroneously to
 48 | authors of previous versions.
 49 | 
 50 |   Some devices are designed to deny users access to install or run
 51 | modified versions of the software inside them, although the manufacturer
 52 | can do so.  This is fundamentally incompatible with the aim of
 53 | protecting users' freedom to change the software.  The systematic
 54 | pattern of such abuse occurs in the area of products for individuals to
 55 | use, which is precisely where it is most unacceptable.  Therefore, we
 56 | have designed this version of the GPL to prohibit the practice for those
 57 | products.  If such problems arise substantially in other domains, we
 58 | stand ready to extend this provision to those domains in future versions
 59 | of the GPL, as needed to protect the freedom of users.
 60 | 
 61 |   Finally, every program is threatened constantly by software patents.
 62 | States should not allow patents to restrict development and use of
 63 | software on general-purpose computers, but in those that do, we wish to
 64 | avoid the special danger that patents applied to a free program could
 65 | make it effectively proprietary.  To prevent this, the GPL assures that
 66 | patents cannot be used to render the program non-free.
 67 | 
 68 |   The precise terms and conditions for copying, distribution and
 69 | modification follow.
 70 | 
 71 |                        TERMS AND CONDITIONS
 72 | 
 73 |   0. Definitions.
 74 | 
 75 |   "This License" refers to version 3 of the GNU General Public License.
 76 | 
 77 |   "Copyright" also means copyright-like laws that apply to other kinds of
 78 | works, such as semiconductor masks.
 79 | 
 80 |   "The Program" refers to any copyrightable work licensed under this
 81 | License.  Each licensee is addressed as "you".  "Licensees" and
 82 | "recipients" may be individuals or organizations.
 83 | 
 84 |   To "modify" a work means to copy from or adapt all or part of the work
 85 | in a fashion requiring copyright permission, other than the making of an
 86 | exact copy.  The resulting work is called a "modified version" of the
 87 | earlier work or a work "based on" the earlier work.
 88 | 
 89 |   A "covered work" means either the unmodified Program or a work based
 90 | on the Program.
 91 | 
 92 |   To "propagate" a work means to do anything with it that, without
 93 | permission, would make you directly or secondarily liable for
 94 | infringement under applicable copyright law, except executing it on a
 95 | computer or modifying a private copy.  Propagation includes copying,
 96 | distribution (with or without modification), making available to the
 97 | public, and in some countries other activities as well.
 98 | 
 99 |   To "convey" a work means any kind of propagation that enables other
100 | parties to make or receive copies.  Mere interaction with a user through
101 | a computer network, with no transfer of a copy, is not conveying.
102 | 
103 |   An interactive user interface displays "Appropriate Legal Notices"
104 | to the extent that it includes a convenient and prominently visible
105 | feature that (1) displays an appropriate copyright notice, and (2)
106 | tells the user that there is no warranty for the work (except to the
107 | extent that warranties are provided), that licensees may convey the
108 | work under this License, and how to view a copy of this License.  If
109 | the interface presents a list of user commands or options, such as a
110 | menu, a prominent item in the list meets this criterion.
111 | 
112 |   1. Source Code.
113 | 
114 |   The "source code" for a work means the preferred form of the work
115 | for making modifications to it.  "Object code" means any non-source
116 | form of a work.
117 | 
118 |   A "Standard Interface" means an interface that either is an official
119 | standard defined by a recognized standards body, or, in the case of
120 | interfaces specified for a particular programming language, one that
121 | is widely used among developers working in that language.
122 | 
123 |   The "System Libraries" of an executable work include anything, other
124 | than the work as a whole, that (a) is included in the normal form of
125 | packaging a Major Component, but which is not part of that Major
126 | Component, and (b) serves only to enable use of the work with that
127 | Major Component, or to implement a Standard Interface for which an
128 | implementation is available to the public in source code form.  A
129 | "Major Component", in this context, means a major essential component
130 | (kernel, window system, and so on) of the specific operating system
131 | (if any) on which the executable work runs, or a compiler used to
132 | produce the work, or an object code interpreter used to run it.
133 | 
134 |   The "Corresponding Source" for a work in object code form means all
135 | the source code needed to generate, install, and (for an executable
136 | work) run the object code and to modify the work, including scripts to
137 | control those activities.  However, it does not include the work's
138 | System Libraries, or general-purpose tools or generally available free
139 | programs which are used unmodified in performing those activities but
140 | which are not part of the work.  For example, Corresponding Source
141 | includes interface definition files associated with source files for
142 | the work, and the source code for shared libraries and dynamically
143 | linked subprograms that the work is specifically designed to require,
144 | such as by intimate data communication or control flow between those
145 | subprograms and other parts of the work.
146 | 
147 |   The Corresponding Source need not include anything that users
148 | can regenerate automatically from other parts of the Corresponding
149 | Source.
150 | 
151 |   The Corresponding Source for a work in source code form is that
152 | same work.
153 | 
154 |   2. Basic Permissions.
155 | 
156 |   All rights granted under this License are granted for the term of
157 | copyright on the Program, and are irrevocable provided the stated
158 | conditions are met.  This License explicitly affirms your unlimited
159 | permission to run the unmodified Program.  The output from running a
160 | covered work is covered by this License only if the output, given its
161 | content, constitutes a covered work.  This License acknowledges your
162 | rights of fair use or other equivalent, as provided by copyright law.
163 | 
164 |   You may make, run and propagate covered works that you do not
165 | convey, without conditions so long as your license otherwise remains
166 | in force.  You may convey covered works to others for the sole purpose
167 | of having them make modifications exclusively for you, or provide you
168 | with facilities for running those works, provided that you comply with
169 | the terms of this License in conveying all material for which you do
170 | not control copyright.  Those thus making or running the covered works
171 | for you must do so exclusively on your behalf, under your direction
172 | and control, on terms that prohibit them from making any copies of
173 | your copyrighted material outside their relationship with you.
174 | 
175 |   Conveying under any other circumstances is permitted solely under
176 | the conditions stated below.  Sublicensing is not allowed; section 10
177 | makes it unnecessary.
178 | 
179 |   3. Protecting Users' Legal Rights From Anti-Circumvention Law.
180 | 
181 |   No covered work shall be deemed part of an effective technological
182 | measure under any applicable law fulfilling obligations under article
183 | 11 of the WIPO copyright treaty adopted on 20 December 1996, or
184 | similar laws prohibiting or restricting circumvention of such
185 | measures.
186 | 
187 |   When you convey a covered work, you waive any legal power to forbid
188 | circumvention of technological measures to the extent such circumvention
189 | is effected by exercising rights under this License with respect to
190 | the covered work, and you disclaim any intention to limit operation or
191 | modification of the work as a means of enforcing, against the work's
192 | users, your or third parties' legal rights to forbid circumvention of
193 | technological measures.
194 | 
195 |   4. Conveying Verbatim Copies.
196 | 
197 |   You may convey verbatim copies of the Program's source code as you
198 | receive it, in any medium, provided that you conspicuously and
199 | appropriately publish on each copy an appropriate copyright notice;
200 | keep intact all notices stating that this License and any
201 | non-permissive terms added in accord with section 7 apply to the code;
202 | keep intact all notices of the absence of any warranty; and give all
203 | recipients a copy of this License along with the Program.
204 | 
205 |   You may charge any price or no price for each copy that you convey,
206 | and you may offer support or warranty protection for a fee.
207 | 
208 |   5. Conveying Modified Source Versions.
209 | 
210 |   You may convey a work based on the Program, or the modifications to
211 | produce it from the Program, in the form of source code under the
212 | terms of section 4, provided that you also meet all of these conditions:
213 | 
214 |     a) The work must carry prominent notices stating that you modified
215 |     it, and giving a relevant date.
216 | 
217 |     b) The work must carry prominent notices stating that it is
218 |     released under this License and any conditions added under section
219 |     7.  This requirement modifies the requirement in section 4 to
220 |     "keep intact all notices".
221 | 
222 |     c) You must license the entire work, as a whole, under this
223 |     License to anyone who comes into possession of a copy.  This
224 |     License will therefore apply, along with any applicable section 7
225 |     additional terms, to the whole of the work, and all its parts,
226 |     regardless of how they are packaged.  This License gives no
227 |     permission to license the work in any other way, but it does not
228 |     invalidate such permission if you have separately received it.
229 | 
230 |     d) If the work has interactive user interfaces, each must display
231 |     Appropriate Legal Notices; however, if the Program has interactive
232 |     interfaces that do not display Appropriate Legal Notices, your
233 |     work need not make them do so.
234 | 
235 |   A compilation of a covered work with other separate and independent
236 | works, which are not by their nature extensions of the covered work,
237 | and which are not combined with it such as to form a larger program,
238 | in or on a volume of a storage or distribution medium, is called an
239 | "aggregate" if the compilation and its resulting copyright are not
240 | used to limit the access or legal rights of the compilation's users
241 | beyond what the individual works permit.  Inclusion of a covered work
242 | in an aggregate does not cause this License to apply to the other
243 | parts of the aggregate.
244 | 
245 |   6. Conveying Non-Source Forms.
246 | 
247 |   You may convey a covered work in object code form under the terms
248 | of sections 4 and 5, provided that you also convey the
249 | machine-readable Corresponding Source under the terms of this License,
250 | in one of these ways:
251 | 
252 |     a) Convey the object code in, or embodied in, a physical product
253 |     (including a physical distribution medium), accompanied by the
254 |     Corresponding Source fixed on a durable physical medium
255 |     customarily used for software interchange.
256 | 
257 |     b) Convey the object code in, or embodied in, a physical product
258 |     (including a physical distribution medium), accompanied by a
259 |     written offer, valid for at least three years and valid for as
260 |     long as you offer spare parts or customer support for that product
261 |     model, to give anyone who possesses the object code either (1) a
262 |     copy of the Corresponding Source for all the software in the
263 |     product that is covered by this License, on a durable physical
264 |     medium customarily used for software interchange, for a price no
265 |     more than your reasonable cost of physically performing this
266 |     conveying of source, or (2) access to copy the
267 |     Corresponding Source from a network server at no charge.
268 | 
269 |     c) Convey individual copies of the object code with a copy of the
270 |     written offer to provide the Corresponding Source.  This
271 |     alternative is allowed only occasionally and noncommercially, and
272 |     only if you received the object code with such an offer, in accord
273 |     with subsection 6b.
274 | 
275 |     d) Convey the object code by offering access from a designated
276 |     place (gratis or for a charge), and offer equivalent access to the
277 |     Corresponding Source in the same way through the same place at no
278 |     further charge.  You need not require recipients to copy the
279 |     Corresponding Source along with the object code.  If the place to
280 |     copy the object code is a network server, the Corresponding Source
281 |     may be on a different server (operated by you or a third party)
282 |     that supports equivalent copying facilities, provided you maintain
283 |     clear directions next to the object code saying where to find the
284 |     Corresponding Source.  Regardless of what server hosts the
285 |     Corresponding Source, you remain obligated to ensure that it is
286 |     available for as long as needed to satisfy these requirements.
287 | 
288 |     e) Convey the object code using peer-to-peer transmission, provided
289 |     you inform other peers where the object code and Corresponding
290 |     Source of the work are being offered to the general public at no
291 |     charge under subsection 6d.
292 | 
293 |   A separable portion of the object code, whose source code is excluded
294 | from the Corresponding Source as a System Library, need not be
295 | included in conveying the object code work.
296 | 
297 |   A "User Product" is either (1) a "consumer product", which means any
298 | tangible personal property which is normally used for personal, family,
299 | or household purposes, or (2) anything designed or sold for incorporation
300 | into a dwelling.  In determining whether a product is a consumer product,
301 | doubtful cases shall be resolved in favor of coverage.  For a particular
302 | product received by a particular user, "normally used" refers to a
303 | typical or common use of that class of product, regardless of the status
304 | of the particular user or of the way in which the particular user
305 | actually uses, or expects or is expected to use, the product.  A product
306 | is a consumer product regardless of whether the product has substantial
307 | commercial, industrial or non-consumer uses, unless such uses represent
308 | the only significant mode of use of the product.
309 | 
310 |   "Installation Information" for a User Product means any methods,
311 | procedures, authorization keys, or other information required to install
312 | and execute modified versions of a covered work in that User Product from
313 | a modified version of its Corresponding Source.  The information must
314 | suffice to ensure that the continued functioning of the modified object
315 | code is in no case prevented or interfered with solely because
316 | modification has been made.
317 | 
318 |   If you convey an object code work under this section in, or with, or
319 | specifically for use in, a User Product, and the conveying occurs as
320 | part of a transaction in which the right of possession and use of the
321 | User Product is transferred to the recipient in perpetuity or for a
322 | fixed term (regardless of how the transaction is characterized), the
323 | Corresponding Source conveyed under this section must be accompanied
324 | by the Installation Information.  But this requirement does not apply
325 | if neither you nor any third party retains the ability to install
326 | modified object code on the User Product (for example, the work has
327 | been installed in ROM).
328 | 
329 |   The requirement to provide Installation Information does not include a
330 | requirement to continue to provide support service, warranty, or updates
331 | for a work that has been modified or installed by the recipient, or for
332 | the User Product in which it has been modified or installed.  Access to a
333 | network may be denied when the modification itself materially and
334 | adversely affects the operation of the network or violates the rules and
335 | protocols for communication across the network.
336 | 
337 |   Corresponding Source conveyed, and Installation Information provided,
338 | in accord with this section must be in a format that is publicly
339 | documented (and with an implementation available to the public in
340 | source code form), and must require no special password or key for
341 | unpacking, reading or copying.
342 | 
343 |   7. Additional Terms.
344 | 
345 |   "Additional permissions" are terms that supplement the terms of this
346 | License by making exceptions from one or more of its conditions.
347 | Additional permissions that are applicable to the entire Program shall
348 | be treated as though they were included in this License, to the extent
349 | that they are valid under applicable law.  If additional permissions
350 | apply only to part of the Program, that part may be used separately
351 | under those permissions, but the entire Program remains governed by
352 | this License without regard to the additional permissions.
353 | 
354 |   When you convey a copy of a covered work, you may at your option
355 | remove any additional permissions from that copy, or from any part of
356 | it.  (Additional permissions may be written to require their own
357 | removal in certain cases when you modify the work.)  You may place
358 | additional permissions on material, added by you to a covered work,
359 | for which you have or can give appropriate copyright permission.
360 | 
361 |   Notwithstanding any other provision of this License, for material you
362 | add to a covered work, you may (if authorized by the copyright holders of
363 | that material) supplement the terms of this License with terms:
364 | 
365 |     a) Disclaiming warranty or limiting liability differently from the
366 |     terms of sections 15 and 16 of this License; or
367 | 
368 |     b) Requiring preservation of specified reasonable legal notices or
369 |     author attributions in that material or in the Appropriate Legal
370 |     Notices displayed by works containing it; or
371 | 
372 |     c) Prohibiting misrepresentation of the origin of that material, or
373 |     requiring that modified versions of such material be marked in
374 |     reasonable ways as different from the original version; or
375 | 
376 |     d) Limiting the use for publicity purposes of names of licensors or
377 |     authors of the material; or
378 | 
379 |     e) Declining to grant rights under trademark law for use of some
380 |     trade names, trademarks, or service marks; or
381 | 
382 |     f) Requiring indemnification of licensors and authors of that
383 |     material by anyone who conveys the material (or modified versions of
384 |     it) with contractual assumptions of liability to the recipient, for
385 |     any liability that these contractual assumptions directly impose on
386 |     those licensors and authors.
387 | 
388 |   All other non-permissive additional terms are considered "further
389 | restrictions" within the meaning of section 10.  If the Program as you
390 | received it, or any part of it, contains a notice stating that it is
391 | governed by this License along with a term that is a further
392 | restriction, you may remove that term.  If a license document contains
393 | a further restriction but permits relicensing or conveying under this
394 | License, you may add to a covered work material governed by the terms
395 | of that license document, provided that the further restriction does
396 | not survive such relicensing or conveying.
397 | 
398 |   If you add terms to a covered work in accord with this section, you
399 | must place, in the relevant source files, a statement of the
400 | additional terms that apply to those files, or a notice indicating
401 | where to find the applicable terms.
402 | 
403 |   Additional terms, permissive or non-permissive, may be stated in the
404 | form of a separately written license, or stated as exceptions;
405 | the above requirements apply either way.
406 | 
407 |   8. Termination.
408 | 
409 |   You may not propagate or modify a covered work except as expressly
410 | provided under this License.  Any attempt otherwise to propagate or
411 | modify it is void, and will automatically terminate your rights under
412 | this License (including any patent licenses granted under the third
413 | paragraph of section 11).
414 | 
415 |   However, if you cease all violation of this License, then your
416 | license from a particular copyright holder is reinstated (a)
417 | provisionally, unless and until the copyright holder explicitly and
418 | finally terminates your license, and (b) permanently, if the copyright
419 | holder fails to notify you of the violation by some reasonable means
420 | prior to 60 days after the cessation.
421 | 
422 |   Moreover, your license from a particular copyright holder is
423 | reinstated permanently if the copyright holder notifies you of the
424 | violation by some reasonable means, this is the first time you have
425 | received notice of violation of this License (for any work) from that
426 | copyright holder, and you cure the violation prior to 30 days after
427 | your receipt of the notice.
428 | 
429 |   Termination of your rights under this section does not terminate the
430 | licenses of parties who have received copies or rights from you under
431 | this License.  If your rights have been terminated and not permanently
432 | reinstated, you do not qualify to receive new licenses for the same
433 | material under section 10.
434 | 
435 |   9. Acceptance Not Required for Having Copies.
436 | 
437 |   You are not required to accept this License in order to receive or
438 | run a copy of the Program.  Ancillary propagation of a covered work
439 | occurring solely as a consequence of using peer-to-peer transmission
440 | to receive a copy likewise does not require acceptance.  However,
441 | nothing other than this License grants you permission to propagate or
442 | modify any covered work.  These actions infringe copyright if you do
443 | not accept this License.  Therefore, by modifying or propagating a
444 | covered work, you indicate your acceptance of this License to do so.
445 | 
446 |   10. Automatic Licensing of Downstream Recipients.
447 | 
448 |   Each time you convey a covered work, the recipient automatically
449 | receives a license from the original licensors, to run, modify and
450 | propagate that work, subject to this License.  You are not responsible
451 | for enforcing compliance by third parties with this License.
452 | 
453 |   An "entity transaction" is a transaction transferring control of an
454 | organization, or substantially all assets of one, or subdividing an
455 | organization, or merging organizations.  If propagation of a covered
456 | work results from an entity transaction, each party to that
457 | transaction who receives a copy of the work also receives whatever
458 | licenses to the work the party's predecessor in interest had or could
459 | give under the previous paragraph, plus a right to possession of the
460 | Corresponding Source of the work from the predecessor in interest, if
461 | the predecessor has it or can get it with reasonable efforts.
462 | 
463 |   You may not impose any further restrictions on the exercise of the
464 | rights granted or affirmed under this License.  For example, you may
465 | not impose a license fee, royalty, or other charge for exercise of
466 | rights granted under this License, and you may not initiate litigation
467 | (including a cross-claim or counterclaim in a lawsuit) alleging that
468 | any patent claim is infringed by making, using, selling, offering for
469 | sale, or importing the Program or any portion of it.
470 | 
471 |   11. Patents.
472 | 
473 |   A "contributor" is a copyright holder who authorizes use under this
474 | License of the Program or a work on which the Program is based.  The
475 | work thus licensed is called the contributor's "contributor version".
476 | 
477 |   A contributor's "essential patent claims" are all patent claims
478 | owned or controlled by the contributor, whether already acquired or
479 | hereafter acquired, that would be infringed by some manner, permitted
480 | by this License, of making, using, or selling its contributor version,
481 | but do not include claims that would be infringed only as a
482 | consequence of further modification of the contributor version.  For
483 | purposes of this definition, "control" includes the right to grant
484 | patent sublicenses in a manner consistent with the requirements of
485 | this License.
486 | 
487 |   Each contributor grants you a non-exclusive, worldwide, royalty-free
488 | patent license under the contributor's essential patent claims, to
489 | make, use, sell, offer for sale, import and otherwise run, modify and
490 | propagate the contents of its contributor version.
491 | 
492 |   In the following three paragraphs, a "patent license" is any express
493 | agreement or commitment, however denominated, not to enforce a patent
494 | (such as an express permission to practice a patent or covenant not to
495 | sue for patent infringement).  To "grant" such a patent license to a
496 | party means to make such an agreement or commitment not to enforce a
497 | patent against the party.
498 | 
499 |   If you convey a covered work, knowingly relying on a patent license,
500 | and the Corresponding Source of the work is not available for anyone
501 | to copy, free of charge and under the terms of this License, through a
502 | publicly available network server or other readily accessible means,
503 | then you must either (1) cause the Corresponding Source to be so
504 | available, or (2) arrange to deprive yourself of the benefit of the
505 | patent license for this particular work, or (3) arrange, in a manner
506 | consistent with the requirements of this License, to extend the patent
507 | license to downstream recipients.  "Knowingly relying" means you have
508 | actual knowledge that, but for the patent license, your conveying the
509 | covered work in a country, or your recipient's use of the covered work
510 | in a country, would infringe one or more identifiable patents in that
511 | country that you have reason to believe are valid.
512 | 
513 |   If, pursuant to or in connection with a single transaction or
514 | arrangement, you convey, or propagate by procuring conveyance of, a
515 | covered work, and grant a patent license to some of the parties
516 | receiving the covered work authorizing them to use, propagate, modify
517 | or convey a specific copy of the covered work, then the patent license
518 | you grant is automatically extended to all recipients of the covered
519 | work and works based on it.
520 | 
521 |   A patent license is "discriminatory" if it does not include within
522 | the scope of its coverage, prohibits the exercise of, or is
523 | conditioned on the non-exercise of one or more of the rights that are
524 | specifically granted under this License.  You may not convey a covered
525 | work if you are a party to an arrangement with a third party that is
526 | in the business of distributing software, under which you make payment
527 | to the third party based on the extent of your activity of conveying
528 | the work, and under which the third party grants, to any of the
529 | parties who would receive the covered work from you, a discriminatory
530 | patent license (a) in connection with copies of the covered work
531 | conveyed by you (or copies made from those copies), or (b) primarily
532 | for and in connection with specific products or compilations that
533 | contain the covered work, unless you entered into that arrangement,
534 | or that patent license was granted, prior to 28 March 2007.
535 | 
536 |   Nothing in this License shall be construed as excluding or limiting
537 | any implied license or other defenses to infringement that may
538 | otherwise be available to you under applicable patent law.
539 | 
540 |   12. No Surrender of Others' Freedom.
541 | 
542 |   If conditions are imposed on you (whether by court order, agreement or
543 | otherwise) that contradict the conditions of this License, they do not
544 | excuse you from the conditions of this License.  If you cannot convey a
545 | covered work so as to satisfy simultaneously your obligations under this
546 | License and any other pertinent obligations, then as a consequence you may
547 | not convey it at all.  For example, if you agree to terms that obligate you
548 | to collect a royalty for further conveying from those to whom you convey
549 | the Program, the only way you could satisfy both those terms and this
550 | License would be to refrain entirely from conveying the Program.
551 | 
552 |   13. Use with the GNU Affero General Public License.
553 | 
554 |   Notwithstanding any other provision of this License, you have
555 | permission to link or combine any covered work with a work licensed
556 | under version 3 of the GNU Affero General Public License into a single
557 | combined work, and to convey the resulting work.  The terms of this
558 | License will continue to apply to the part which is the covered work,
559 | but the special requirements of the GNU Affero General Public License,
560 | section 13, concerning interaction through a network will apply to the
561 | combination as such.
562 | 
563 |   14. Revised Versions of this License.
564 | 
565 |   The Free Software Foundation may publish revised and/or new versions of
566 | the GNU General Public License from time to time.  Such new versions will
567 | be similar in spirit to the present version, but may differ in detail to
568 | address new problems or concerns.
569 | 
570 |   Each version is given a distinguishing version number.  If the
571 | Program specifies that a certain numbered version of the GNU General
572 | Public License "or any later version" applies to it, you have the
573 | option of following the terms and conditions either of that numbered
574 | version or of any later version published by the Free Software
575 | Foundation.  If the Program does not specify a version number of the
576 | GNU General Public License, you may choose any version ever published
577 | by the Free Software Foundation.
578 | 
579 |   If the Program specifies that a proxy can decide which future
580 | versions of the GNU General Public License can be used, that proxy's
581 | public statement of acceptance of a version permanently authorizes you
582 | to choose that version for the Program.
583 | 
584 |   Later license versions may give you additional or different
585 | permissions.  However, no additional obligations are imposed on any
586 | author or copyright holder as a result of your choosing to follow a
587 | later version.
588 | 
589 |   15. Disclaimer of Warranty.
590 | 
591 |   THERE IS NO WARRANTY FOR THE PROGRAM, TO THE EXTENT PERMITTED BY
592 | APPLICABLE LAW.  EXCEPT WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT
593 | HOLDERS AND/OR OTHER PARTIES PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY
594 | OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO,
595 | THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
596 | PURPOSE.  THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE OF THE PROGRAM
597 | IS WITH YOU.  SHOULD THE PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF
598 | ALL NECESSARY SERVICING, REPAIR OR CORRECTION.
599 | 
600 |   16. Limitation of Liability.
601 | 
602 |   IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING
603 | WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MODIFIES AND/OR CONVEYS
604 | THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY
605 | GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE
606 | USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT NOT LIMITED TO LOSS OF
607 | DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY YOU OR THIRD
608 | PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER PROGRAMS),
609 | EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF
610 | SUCH DAMAGES.
611 | 
612 |   17. Interpretation of Sections 15 and 16.
613 | 
614 |   If the disclaimer of warranty and limitation of liability provided
615 | above cannot be given local legal effect according to their terms,
616 | reviewing courts shall apply local law that most closely approximates
617 | an absolute waiver of all civil liability in connection with the
618 | Program, unless a warranty or assumption of liability accompanies a
619 | copy of the Program in return for a fee.
620 | 
621 |                      END OF TERMS AND CONDITIONS
622 | 
623 |             How to Apply These Terms to Your New Programs
624 | 
625 |   If you develop a new program, and you want it to be of the greatest
626 | possible use to the public, the best way to achieve this is to make it
627 | free software which everyone can redistribute and change under these terms.
628 | 
629 |   To do so, attach the following notices to the program.  It is safest
630 | to attach them to the start of each source file to most effectively
631 | state the exclusion of warranty; and each file should have at least
632 | the "copyright" line and a pointer to where the full notice is found.
633 | 
634 |     <one line to give the program's name and a brief idea of what it does.>
635 |     Copyright (C) <year>  <name of author>
636 | 
637 |     This program is free software: you can redistribute it and/or modify
638 |     it under the terms of the GNU General Public License as published by
639 |     the Free Software Foundation, either version 3 of the License, or
640 |     (at your option) any later version.
641 | 
642 |     This program is distributed in the hope that it will be useful,
643 |     but WITHOUT ANY WARRANTY; without even the implied warranty of
644 |     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
645 |     GNU General Public License for more details.
646 | 
647 |     You should have received a copy of the GNU General Public License
648 |     along with this program.  If not, see <http://www.gnu.org/licenses/>.
649 | 
650 | Also add information on how to contact you by electronic and paper mail.
651 | 
652 |   If the program does terminal interaction, make it output a short
653 | notice like this when it starts in an interactive mode:
654 | 
655 |     <program>  Copyright (C) <year>  <name of author>
656 |     This program comes with ABSOLUTELY NO WARRANTY; for details type `show w'.
657 |     This is free software, and you are welcome to redistribute it
658 |     under certain conditions; type `show c' for details.
659 | 
660 | The hypothetical commands `show w' and `show c' should show the appropriate
661 | parts of the General Public License.  Of course, your program's commands
662 | might be different; for a GUI interface, you would use an "about box".
663 | 
664 |   You should also get your employer (if you work as a programmer) or school,
665 | if any, to sign a "copyright disclaimer" for the program, if necessary.
666 | For more information on this, and how to apply and follow the GNU GPL, see
667 | <http://www.gnu.org/licenses/>.
668 | 
669 |   The GNU General Public License does not permit incorporating your program
670 | into proprietary programs.  If your program is a subroutine library, you
671 | may consider it more useful to permit linking proprietary applications with
672 | the library.  If this is what you want to do, use the GNU Lesser General
673 | Public License instead of this License.  But first, please read
674 | <http://www.gnu.org/philosophy/why-not-lgpl.html>.
675 | 


--------------------------------------------------------------------------------
/data/example2-train.net:
--------------------------------------------------------------------------------
   1 | 344 568
   2 | 344 541
   3 | 344 38
   4 | 344 155
   5 | 344 49
   6 | 344 564
   7 | 344 939
   8 | 344 181
   9 | 344 116
  10 | 344 489
  11 | 344 339
  12 | 344 549
  13 | 345 38
  14 | 345 350
  15 | 346 155
  16 | 346 54
  17 | 346 551
  18 | 346 287
  19 | 346 399
  20 | 346 375
  21 | 346 231
  22 | 346 254
  23 | 347 590
  24 | 347 38
  25 | 347 946
  26 | 347 748
  27 | 347 944
  28 | 347 945
  29 | 347 942
  30 | 347 943
  31 | 347 940
  32 | 347 941
  33 | 347 356
  34 | 347 743
  35 | 340 846
  36 | 340 268
  37 | 340 31
  38 | 340 761
  39 | 340 51
  40 | 340 52
  41 | 340 935
  42 | 340 354
  43 | 340 241
  44 | 340 365
  45 | 340 228
  46 | 340 237
  47 | 340 362
  48 | 340 658
  49 | 340 934
  50 | 341 578
  51 | 341 884
  52 | 341 573
  53 | 341 571
  54 | 341 62
  55 | 341 44
  56 | 341 183
  57 | 341 938
  58 | 341 736
  59 | 341 364
  60 | 341 937
  61 | 341 890
  62 | 341 891
  63 | 341 892
  64 | 341 896
  65 | 341 303
  66 | 341 382
  67 | 341 385
  68 | 341 389
  69 | 341 908
  70 | 341 936
  71 | 341 357
  72 | 341 416
  73 | 341 413
  74 | 341 384
  75 | 341 512
  76 | 342 881
  77 | 342 34
  78 | 343 400
  79 | 343 446
  80 | 343 34
  81 | 810 334
  82 | 810 470
  83 | 810 231
  84 | 811 302
  85 | 811 957
  86 | 811 233
  87 | 811 1037
  88 | 811 480
  89 | 812 846
  90 | 812 233
  91 | 813 239
  92 | 813 233
  93 | 348 38
  94 | 348 611
  95 | 348 258
  96 | 348 315
  97 | 348 202
  98 | 349 38
  99 | 349 140
 100 | 349 947
 101 | 349 316
 102 | 349 523
 103 | 349 69
 104 | 349 362
 105 | 816 847
 106 | 816 709
 107 | 816 565
 108 | 816 849
 109 | 816 270
 110 | 816 549
 111 | 816 233
 112 | 817 308
 113 | 817 429
 114 | 817 425
 115 | 817 456
 116 | 595 592
 117 | 595 571
 118 | 595 219
 119 | 595 327
 120 | 595 85
 121 | 719 908
 122 | 719 267
 123 | 719 140
 124 | 718 136
 125 | 718 508
 126 | 717 136
 127 | 716 256
 128 | 715 578
 129 | 715 950
 130 | 715 662
 131 | 715 183
 132 | 715 135
 133 | 715 598
 134 | 714 988
 135 | 714 1099
 136 | 713 378
 137 | 713 135
 138 | 712 795
 139 | 712 315
 140 | 712 135
 141 | 712 509
 142 | 711 1050
 143 | 711 900
 144 | 711 313
 145 | 711 466
 146 | 711 330
 147 | 711 861
 148 | 711 186
 149 | 711 521
 150 | 711 135
 151 | 711 350
 152 | 711 137
 153 | 711 269
 154 | 711 359
 155 | 711 233
 156 | 710 851
 157 | 710 573
 158 | 710 733
 159 | 710 732
 160 | 710 267
 161 | 710 135
 162 | 710 721
 163 | 915 322
 164 | 915 319
 165 | 915 446
 166 | 914 415
 167 | 914 452
 168 | 914 316
 169 | 606 90
 170 | 606 872
 171 | 606 94
 172 | 606 135
 173 | 917 322
 174 | 594 215
 175 | 594 205
 176 | 594 204
 177 | 594 599
 178 | 594 446
 179 | 594 193
 180 | 594 518
 181 | 594 274
 182 | 594 648
 183 | 594 127
 184 | 594 600
 185 | 594 601
 186 | 594 85
 187 | 594 222
 188 | 736 145
 189 | 736 185
 190 | 736 371
 191 | 736 505
 192 | 916 321
 193 | 1061 568
 194 | 1061 553
 195 | 911 313
 196 | 1063 555
 197 | 1063 958
 198 | 1062 928
 199 | 1062 554
 200 | 1065 561
 201 | 1065 912
 202 | 1064 560
 203 | 619 92
 204 | 910 1078
 205 | 910 313
 206 | 910 1067
 207 | 913 316
 208 | 298 883
 209 | 298 25
 210 | 298 590
 211 | 298 884
 212 | 299 590
 213 | 299 887
 214 | 299 886
 215 | 299 888
 216 | 299 316
 217 | 299 332
 218 | 299 393
 219 | 299 396
 220 | 299 276
 221 | 299 398
 222 | 299 756
 223 | 299 429
 224 | 299 730
 225 | 299 504
 226 | 299 409
 227 | 299 140
 228 | 299 386
 229 | 299 389
 230 | 299 552
 231 | 299 788
 232 | 299 726
 233 | 299 725
 234 | 299 410
 235 | 299 434
 236 | 299 729
 237 | 299 431
 238 | 296 24
 239 | 296 308
 240 | 296 48
 241 | 296 182
 242 | 297 24
 243 | 297 882
 244 | 297 584
 245 | 297 877
 246 | 297 699
 247 | 297 120
 248 | 297 131
 249 | 297 172
 250 | 297 162
 251 | 294 24
 252 | 295 24
 253 | 295 495
 254 | 295 875
 255 | 292 24
 256 | 292 182
 257 | 293 24
 258 | 293 214
 259 | 293 204
 260 | 293 49
 261 | 293 194
 262 | 293 56
 263 | 293 40
 264 | 293 414
 265 | 293 259
 266 | 293 217
 267 | 293 128
 268 | 293 783
 269 | 290 24
 270 | 290 693
 271 | 290 880
 272 | 290 837
 273 | 290 694
 274 | 290 668
 275 | 290 838
 276 | 290 355
 277 | 290 671
 278 | 290 122
 279 | 290 495
 280 | 291 24
 281 | 291 203
 282 | 291 592
 283 | 291 205
 284 | 291 204
 285 | 291 336
 286 | 291 446
 287 | 291 322
 288 | 291 725
 289 | 291 547
 290 | 291 85
 291 | 591 590
 292 | 591 153
 293 | 591 743
 294 | 591 744
 295 | 591 746
 296 | 591 332
 297 | 591 239
 298 | 591 276
 299 | 591 84
 300 | 591 284
 301 | 591 143
 302 | 591 381
 303 | 591 243
 304 | 591 387
 305 | 591 388
 306 | 591 945
 307 | 591 726
 308 | 591 725
 309 | 590 743
 310 | 590 747
 311 | 590 748
 312 | 590 83
 313 | 590 756
 314 | 590 233
 315 | 590 143
 316 | 590 961
 317 | 590 946
 318 | 590 945
 319 | 590 940
 320 | 590 356
 321 | 590 724
 322 | 590 413
 323 | 590 412
 324 | 593 745
 325 | 593 1076
 326 | 593 1075
 327 | 593 382
 328 | 593 116
 329 | 593 274
 330 | 593 85
 331 | 592 215
 332 | 592 555
 333 | 592 895
 334 | 592 193
 335 | 592 219
 336 | 592 518
 337 | 592 725
 338 | 592 327
 339 | 592 650
 340 | 592 1074
 341 | 592 85
 342 | 592 222
 343 | 199 216
 344 | 199 784
 345 | 199 786
 346 | 199 215
 347 | 199 780
 348 | 199 16
 349 | 199 785
 350 | 199 218
 351 | 199 725
 352 | 199 127
 353 | 199 649
 354 | 199 687
 355 | 199 363
 356 | 199 286
 357 | 198 212
 358 | 198 629
 359 | 198 219
 360 | 198 88
 361 | 198 116
 362 | 198 176
 363 | 198 85
 364 | 198 695
 365 | 198 327
 366 | 198 401
 367 | 198 775
 368 | 198 584
 369 | 198 205
 370 | 198 204
 371 | 198 207
 372 | 198 441
 373 | 198 222
 374 | 198 162
 375 | 198 780
 376 | 198 16
 377 | 198 642
 378 | 198 647
 379 | 198 512
 380 | 597 598
 381 | 597 86
 382 | 597 94
 383 | 596 742
 384 | 596 209
 385 | 596 105
 386 | 195 694
 387 | 195 16
 388 | 195 778
 389 | 195 489
 390 | 195 255
 391 | 194 56
 392 | 194 210
 393 | 194 705
 394 | 194 196
 395 | 194 317
 396 | 194 130
 397 | 194 80
 398 | 194 41
 399 | 194 400
 400 | 194 204
 401 | 194 325
 402 | 194 263
 403 | 194 74
 404 | 194 390
 405 | 194 16
 406 | 194 30
 407 | 194 116
 408 | 194 439
 409 | 197 212
 410 | 197 782
 411 | 197 16
 412 | 197 196
 413 | 197 780
 414 | 197 289
 415 | 197 390
 416 | 197 176
 417 | 197 220
 418 | 197 78
 419 | 196 214
 420 | 196 56
 421 | 196 210
 422 | 196 599
 423 | 196 193
 424 | 196 390
 425 | 196 274
 426 | 196 135
 427 | 196 176
 428 | 196 237
 429 | 196 691
 430 | 196 23
 431 | 196 327
 432 | 196 695
 433 | 196 364
 434 | 196 220
 435 | 196 361
 436 | 196 201
 437 | 196 777
 438 | 196 678
 439 | 196 207
 440 | 196 779
 441 | 196 446
 442 | 196 77
 443 | 196 74
 444 | 196 218
 445 | 196 128
 446 | 196 269
 447 | 196 107
 448 | 196 162
 449 | 196 263
 450 | 196 780
 451 | 196 781
 452 | 196 16
 453 | 196 30
 454 | 196 472
 455 | 196 473
 456 | 196 333
 457 | 196 439
 458 | 191 15
 459 | 191 50
 460 | 191 41
 461 | 191 316
 462 | 191 183
 463 | 191 184
 464 | 191 464
 465 | 191 93
 466 | 191 189
 467 | 190 15
 468 | 190 183
 469 | 190 573
 470 | 190 566
 471 | 190 567
 472 | 190 76
 473 | 190 161
 474 | 193 518
 475 | 193 215
 476 | 193 212
 477 | 193 204
 478 | 193 599
 479 | 193 446
 480 | 193 219
 481 | 193 363
 482 | 193 88
 483 | 193 601
 484 | 193 328
 485 | 193 361
 486 | 193 85
 487 | 192 775
 488 | 192 323
 489 | 192 776
 490 | 192 58
 491 | 192 698
 492 | 192 446
 493 | 192 503
 494 | 192 288
 495 | 192 224
 496 | 192 248
 497 | 270 632
 498 | 270 38
 499 | 270 23
 500 | 270 857
 501 | 270 858
 502 | 270 856
 503 | 270 41
 504 | 270 378
 505 | 270 585
 506 | 270 351
 507 | 270 620
 508 | 270 829
 509 | 270 399
 510 | 270 815
 511 | 271 333
 512 | 271 314
 513 | 271 392
 514 | 271 112
 515 | 271 398
 516 | 271 836
 517 | 271 23
 518 | 271 42
 519 | 271 859
 520 | 271 200
 521 | 271 750
 522 | 271 228
 523 | 271 164
 524 | 271 101
 525 | 271 861
 526 | 271 860
 527 | 271 356
 528 | 271 372
 529 | 272 204
 530 | 272 23
 531 | 273 862
 532 | 273 689
 533 | 273 23
 534 | 274 210
 535 | 274 218
 536 | 274 116
 537 | 274 80
 538 | 274 49
 539 | 274 327
 540 | 274 695
 541 | 274 201
 542 | 274 204
 543 | 274 208
 544 | 274 446
 545 | 274 382
 546 | 274 127
 547 | 274 128
 548 | 274 105
 549 | 274 863
 550 | 274 23
 551 | 274 470
 552 | 274 390
 553 | 274 439
 554 | 274 437
 555 | 275 458
 556 | 275 38
 557 | 275 23
 558 | 275 451
 559 | 275 415
 560 | 275 864
 561 | 275 353
 562 | 275 279
 563 | 276 458
 564 | 276 414
 565 | 276 143
 566 | 276 23
 567 | 276 413
 568 | 276 865
 569 | 276 859
 570 | 276 756
 571 | 277 23
 572 | 277 867
 573 | 277 323
 574 | 277 82
 575 | 277 255
 576 | 278 847
 577 | 278 51
 578 | 278 23
 579 | 278 554
 580 | 278 564
 581 | 278 870
 582 | 278 848
 583 | 278 869
 584 | 278 871
 585 | 278 868
 586 | 279 568
 587 | 279 23
 588 | 279 451
 589 | 279 654
 590 | 279 417
 591 | 279 598
 592 | 738 147
 593 | 1067 578
 594 | 1067 907
 595 | 1067 1078
 596 | 1067 1005
 597 | 1067 1070
 598 | 1067 1105
 599 | 1067 687
 600 | 1067 1004
 601 | 524 578
 602 | 524 135
 603 | 525 506
 604 | 526 69
 605 | 527 558
 606 | 527 314
 607 | 527 69
 608 | 527 529
 609 | 527 912
 610 | 520 68
 611 | 520 82
 612 | 520 429
 613 | 520 305
 614 | 521 578
 615 | 521 765
 616 | 521 470
 617 | 521 69
 618 | 521 1016
 619 | 521 529
 620 | 521 359
 621 | 522 69
 622 | 522 607
 623 | 522 483
 624 | 523 570
 625 | 523 362
 626 | 523 1053
 627 | 523 546
 628 | 523 69
 629 | 523 765
 630 | 523 418
 631 | 1014 636
 632 | 1015 458
 633 | 599 216
 634 | 599 786
 635 | 599 601
 636 | 599 317
 637 | 599 518
 638 | 599 88
 639 | 599 221
 640 | 1017 459
 641 | 1017 1019
 642 | 1017 1068
 643 | 528 226
 644 | 528 73
 645 | 528 69
 646 | 528 549
 647 | 529 69
 648 | 529 903
 649 | 529 558
 650 | 994 706
 651 | 994 418
 652 | 1013 464
 653 | 1013 454
 654 | 1025 757
 655 | 1025 460
 656 | 449 51
 657 | 449 456
 658 | 448 51
 659 | 448 445
 660 | 448 134
 661 | 443 775
 662 | 443 142
 663 | 443 834
 664 | 443 749
 665 | 443 50
 666 | 443 444
 667 | 443 809
 668 | 443 240
 669 | 443 504
 670 | 443 230
 671 | 443 248
 672 | 443 539
 673 | 442 322
 674 | 442 321
 675 | 442 49
 676 | 441 882
 677 | 441 584
 678 | 441 212
 679 | 441 49
 680 | 441 698
 681 | 441 699
 682 | 441 363
 683 | 441 401
 684 | 441 806
 685 | 441 118
 686 | 441 517
 687 | 440 640
 688 | 440 444
 689 | 440 49
 690 | 447 824
 691 | 447 564
 692 | 447 264
 693 | 447 51
 694 | 447 996
 695 | 447 73
 696 | 447 477
 697 | 447 1007
 698 | 447 238
 699 | 447 422
 700 | 447 482
 701 | 446 210
 702 | 446 133
 703 | 446 116
 704 | 446 468
 705 | 446 695
 706 | 446 322
 707 | 446 205
 708 | 446 204
 709 | 446 206
 710 | 446 263
 711 | 446 127
 712 | 446 51
 713 | 446 390
 714 | 445 568
 715 | 445 586
 716 | 445 51
 717 | 445 588
 718 | 445 134
 719 | 445 461
 720 | 444 91
 721 | 444 69
 722 | 444 237
 723 | 444 233
 724 | 108 24
 725 | 108 16
 726 | 108 34
 727 | 108 120
 728 | 108 70
 729 | 109 24
 730 | 109 10
 731 | 102 8
 732 | 102 339
 733 | 102 370
 734 | 103 21
 735 | 103 41
 736 | 103 9
 737 | 100 598
 738 | 100 96
 739 | 101 637
 740 | 101 582
 741 | 101 468
 742 | 101 554
 743 | 101 404
 744 | 101 132
 745 | 101 74
 746 | 101 8
 747 | 106 458
 748 | 106 452
 749 | 106 664
 750 | 106 663
 751 | 106 662
 752 | 106 661
 753 | 106 660
 754 | 106 391
 755 | 106 137
 756 | 106 134
 757 | 106 20
 758 | 106 41
 759 | 106 656
 760 | 106 657
 761 | 106 653
 762 | 106 9
 763 | 106 425
 764 | 106 665
 765 | 106 659
 766 | 106 467
 767 | 106 588
 768 | 106 268
 769 | 106 13
 770 | 106 415
 771 | 106 358
 772 | 106 538
 773 | 107 39
 774 | 107 58
 775 | 107 668
 776 | 107 206
 777 | 107 263
 778 | 107 666
 779 | 107 21
 780 | 107 128
 781 | 107 217
 782 | 107 667
 783 | 107 9
 784 | 107 252
 785 | 107 14
 786 | 104 201
 787 | 104 21
 788 | 104 640
 789 | 104 47
 790 | 104 31
 791 | 104 42
 792 | 104 218
 793 | 104 128
 794 | 104 327
 795 | 104 9
 796 | 104 154
 797 | 104 105
 798 | 105 216
 799 | 105 217
 800 | 105 578
 801 | 105 335
 802 | 105 646
 803 | 105 331
 804 | 105 218
 805 | 105 116
 806 | 105 468
 807 | 105 80
 808 | 105 251
 809 | 105 236
 810 | 105 472
 811 | 105 21
 812 | 105 49
 813 | 105 42
 814 | 105 183
 815 | 105 642
 816 | 105 321
 817 | 105 79
 818 | 105 650
 819 | 105 400
 820 | 105 9
 821 | 105 420
 822 | 105 284
 823 | 105 361
 824 | 105 200
 825 | 105 203
 826 | 105 202
 827 | 105 204
 828 | 105 206
 829 | 105 307
 830 | 105 76
 831 | 105 333
 832 | 105 128
 833 | 105 129
 834 | 105 39
 835 | 105 55
 836 | 105 56
 837 | 105 51
 838 | 105 641
 839 | 105 503
 840 | 105 414
 841 | 105 259
 842 | 105 644
 843 | 105 647
 844 | 105 437
 845 | 902 558
 846 | 902 561
 847 | 902 310
 848 | 902 392
 849 | 902 1066
 850 | 903 795
 851 | 903 310
 852 | 903 558
 853 | 39 314
 854 | 39 250
 855 | 39 25
 856 | 39 21
 857 | 39 23
 858 | 39 45
 859 | 39 43
 860 | 39 41
 861 | 39 3
 862 | 39 245
 863 | 39 246
 864 | 39 240
 865 | 39 227
 866 | 39 18
 867 | 39 50
 868 | 39 52
 869 | 39 357
 870 | 39 356
 871 | 39 355
 872 | 39 354
 873 | 39 358
 874 | 38 330
 875 | 38 237
 876 | 38 231
 877 | 38 233
 878 | 38 27
 879 | 38 22
 880 | 38 23
 881 | 38 19
 882 | 38 51
 883 | 38 353
 884 | 38 351
 885 | 906 312
 886 | 907 1069
 887 | 907 312
 888 | 907 432
 889 | 907 860
 890 | 907 1005
 891 | 907 1004
 892 | 904 1051
 893 | 904 312
 894 | 904 908
 895 | 904 408
 896 | 904 431
 897 | 905 312
 898 | 905 356
 899 | 905 332
 900 | 33 24
 901 | 33 15
 902 | 33 14
 903 | 33 16
 904 | 33 34
 905 | 33 120
 906 | 33 2
 907 | 32 2
 908 | 32 22
 909 | 31 339
 910 | 31 338
 911 | 31 157
 912 | 31 335
 913 | 31 334
 914 | 31 337
 915 | 31 331
 916 | 31 330
 917 | 31 332
 918 | 31 259
 919 | 31 45
 920 | 31 1
 921 | 31 329
 922 | 31 202
 923 | 31 245
 924 | 31 241
 925 | 31 54
 926 | 30 319
 927 | 30 318
 928 | 30 211
 929 | 30 317
 930 | 30 218
 931 | 30 24
 932 | 30 1
 933 | 30 49
 934 | 30 322
 935 | 30 323
 936 | 30 320
 937 | 30 326
 938 | 30 327
 939 | 30 324
 940 | 30 325
 941 | 30 9
 942 | 30 200
 943 | 30 16
 944 | 30 34
 945 | 37 2
 946 | 36 2
 947 | 35 2
 948 | 34 10
 949 | 34 15
 950 | 34 14
 951 | 34 17
 952 | 34 16
 953 | 34 28
 954 | 34 182
 955 | 34 55
 956 | 34 3
 957 | 34 2
 958 | 34 70
 959 | 34 6
 960 | 34 308
 961 | 641 200
 962 | 641 646
 963 | 641 333
 964 | 641 643
 965 | 641 642
 966 | 641 129
 967 | 640 323
 968 | 643 642
 969 | 643 645
 970 | 642 216
 971 | 642 200
 972 | 642 215
 973 | 642 210
 974 | 438 201
 975 | 438 214
 976 | 438 729
 977 | 438 49
 978 | 438 305
 979 | 438 307
 980 | 438 322
 981 | 438 552
 982 | 438 314
 983 | 438 501
 984 | 439 216
 985 | 439 303
 986 | 439 58
 987 | 439 218
 988 | 439 263
 989 | 439 116
 990 | 439 1006
 991 | 439 128
 992 | 439 393
 993 | 439 233
 994 | 436 361
 995 | 436 401
 996 | 436 49
 997 | 437 213
 998 | 437 49
 999 | 437 130
1000 | 437 251
1001 | 434 887
1002 | 434 885
1003 | 434 884
1004 | 434 159
1005 | 434 571
1006 | 434 888
1007 | 434 333
1008 | 434 332
1009 | 434 239
1010 | 434 726
1011 | 434 993
1012 | 434 542
1013 | 434 748
1014 | 434 540
1015 | 434 404
1016 | 434 402
1017 | 434 504
1018 | 434 284
1019 | 434 409
1020 | 434 636
1021 | 434 389
1022 | 434 552
1023 | 434 788
1024 | 434 414
1025 | 434 724
1026 | 434 410
1027 | 434 687
1028 | 434 729
1029 | 434 396
1030 | 435 691
1031 | 435 49
1032 | 435 307
1033 | 435 116
1034 | 435 128
1035 | 432 46
1036 | 432 860
1037 | 432 610
1038 | 432 932
1039 | 432 69
1040 | 432 1005
1041 | 432 362
1042 | 432 822
1043 | 433 47
1044 | 433 337
1045 | 433 252
1046 | 433 687
1047 | 433 329
1048 | 433 927
1049 | 430 497
1050 | 430 59
1051 | 430 46
1052 | 430 510
1053 | 430 65
1054 | 430 67
1055 | 430 68
1056 | 430 485
1057 | 430 282
1058 | 430 499
1059 | 431 892
1060 | 431 46
1061 | 431 332
1062 | 431 410
1063 | 431 389
1064 | 431 1003
1065 | 431 409
1066 | 1002 429
1067 | 1002 922
1068 | 339 554
1069 | 339 761
1070 | 339 316
1071 | 339 368
1072 | 339 545
1073 | 339 281
1074 | 339 932
1075 | 339 931
1076 | 339 308
1077 | 339 565
1078 | 339 576
1079 | 339 933
1080 | 339 72
1081 | 339 484
1082 | 339 928
1083 | 339 929
1084 | 339 354
1085 | 338 587
1086 | 338 603
1087 | 338 638
1088 | 338 42
1089 | 338 50
1090 | 338 661
1091 | 338 429
1092 | 338 354
1093 | 338 134
1094 | 338 254
1095 | 335 201
1096 | 335 202
1097 | 335 157
1098 | 335 56
1099 | 335 42
1100 | 335 329
1101 | 335 52
1102 | 335 543
1103 | 335 333
1104 | 335 650
1105 | 335 420
1106 | 335 251
1107 | 335 926
1108 | 334 634
1109 | 334 612
1110 | 334 608
1111 | 334 41
1112 | 334 368
1113 | 334 457
1114 | 334 924
1115 | 334 231
1116 | 334 254
1117 | 334 376
1118 | 337 468
1119 | 337 47
1120 | 337 42
1121 | 337 333
1122 | 337 356
1123 | 337 383
1124 | 337 409
1125 | 337 927
1126 | 336 201
1127 | 336 620
1128 | 336 205
1129 | 336 331
1130 | 336 333
1131 | 336 908
1132 | 336 79
1133 | 331 333
1134 | 331 132
1135 | 331 251
1136 | 331 543
1137 | 331 420
1138 | 331 329
1139 | 331 775
1140 | 331 564
1141 | 331 122
1142 | 331 384
1143 | 331 54
1144 | 331 827
1145 | 330 881
1146 | 330 131
1147 | 330 585
1148 | 330 239
1149 | 330 70
1150 | 330 375
1151 | 333 743
1152 | 333 558
1153 | 333 157
1154 | 333 112
1155 | 333 251
1156 | 333 255
1157 | 333 870
1158 | 333 543
1159 | 333 922
1160 | 333 545
1161 | 333 420
1162 | 333 329
1163 | 333 200
1164 | 333 140
1165 | 333 466
1166 | 333 564
1167 | 333 381
1168 | 333 384
1169 | 333 489
1170 | 333 574
1171 | 333 513
1172 | 333 861
1173 | 333 54
1174 | 333 50
1175 | 333 52
1176 | 333 470
1177 | 333 390
1178 | 333 532
1179 | 333 921
1180 | 333 372
1181 | 332 157
1182 | 332 393
1183 | 332 137
1184 | 332 135
1185 | 332 895
1186 | 332 730
1187 | 332 44
1188 | 332 42
1189 | 332 41
1190 | 332 543
1191 | 332 329
1192 | 332 146
1193 | 332 203
1194 | 332 893
1195 | 332 142
1196 | 332 143
1197 | 332 120
1198 | 332 381
1199 | 332 383
1200 | 332 243
1201 | 332 389
1202 | 332 56
1203 | 332 724
1204 | 332 412
1205 | 332 920
1206 | 1120 930
1207 | 744 153
1208 | 744 745
1209 | 744 746
1210 | 744 783
1211 | 744 356
1212 | 744 724
1213 | 1000 427
1214 | 745 153
1215 | 745 746
1216 | 745 748
1217 | 745 945
1218 | 745 356
1219 | 745 396
1220 | 745 412
1221 | 854 869
1222 | 854 269
1223 | 854 614
1224 | 818 235
1225 | 818 501
1226 | 818 990
1227 | 850 807
1228 | 850 265
1229 | 851 573
1230 | 851 267
1231 | 852 267
1232 | 819 770
1233 | 819 772
1234 | 819 1058
1235 | 819 467
1236 | 819 952
1237 | 819 953
1238 | 859 633
1239 | 859 836
1240 | 859 1113
1241 | 859 354
1242 | 859 388
1243 | 859 729
1244 | 1081 612
1245 | 748 153
1246 | 748 743
1247 | 748 746
1248 | 6 13
1249 | 6 27
1250 | 6 16
1251 | 6 18
1252 | 6 28
1253 | 6 1
1254 | 6 2
1255 | 6 7
1256 | 6 83
1257 | 6 8
1258 | 6 80
1259 | 6 81
1260 | 6 86
1261 | 6 87
1262 | 6 84
1263 | 6 85
1264 | 900 1058
1265 | 900 899
1266 | 900 306
1267 | 848 757
1268 | 848 1045
1269 | 848 1098
1270 | 848 564
1271 | 848 460
1272 | 848 808
1273 | 848 471
1274 | 848 264
1275 | 848 419
1276 | 99 135
1277 | 99 189
1278 | 99 94
1279 | 99 7
1280 | 99 602
1281 | 98 635
1282 | 844 308
1283 | 844 579
1284 | 844 257
1285 | 844 351
1286 | 1085 617
1287 | 91 21
1288 | 91 612
1289 | 91 613
1290 | 91 611
1291 | 91 369
1292 | 91 269
1293 | 91 615
1294 | 91 256
1295 | 91 233
1296 | 90 607
1297 | 90 609
1298 | 90 608
1299 | 90 64
1300 | 90 65
1301 | 90 68
1302 | 90 69
1303 | 90 7
1304 | 90 507
1305 | 90 282
1306 | 90 285
1307 | 90 427
1308 | 90 610
1309 | 90 485
1310 | 90 510
1311 | 93 623
1312 | 93 621
1313 | 93 628
1314 | 93 15
1315 | 93 625
1316 | 93 603
1317 | 93 602
1318 | 93 465
1319 | 93 454
1320 | 93 629
1321 | 93 624
1322 | 93 7
1323 | 93 627
1324 | 93 189
1325 | 93 118
1326 | 93 626
1327 | 92 201
1328 | 92 618
1329 | 92 157
1330 | 92 616
1331 | 92 617
1332 | 92 574
1333 | 92 88
1334 | 92 7
1335 | 92 620
1336 | 92 284
1337 | 95 454
1338 | 95 632
1339 | 95 27
1340 | 95 86
1341 | 95 7
1342 | 94 598
1343 | 94 457
1344 | 94 131
1345 | 94 137
1346 | 94 82
1347 | 94 237
1348 | 94 231
1349 | 94 233
1350 | 94 81
1351 | 94 41
1352 | 94 7
1353 | 94 568
1354 | 94 632
1355 | 94 633
1356 | 94 266
1357 | 94 351
1358 | 97 7
1359 | 96 612
1360 | 96 610
1361 | 96 7
1362 | 96 376
1363 | 814 825
1364 | 814 233
1365 | 1030 466
1366 | 815 233
1367 | 1098 847
1368 | 1098 1043
1369 | 1098 709
1370 | 1098 849
1371 | 1098 1039
1372 | 1098 1035
1373 | 1066 795
1374 | 1066 1105
1375 | 1066 912
1376 | 740 152
1377 | 741 152
1378 | 741 559
1379 | 741 157
1380 | 741 598
1381 | 741 505
1382 | 742 965
1383 | 742 152
1384 | 742 600
1385 | 742 222
1386 | 743 153
1387 | 743 746
1388 | 743 944
1389 | 743 412
1390 | 559 75
1391 | 559 152
1392 | 559 144
1393 | 559 185
1394 | 558 1054
1395 | 558 314
1396 | 558 543
1397 | 558 75
1398 | 558 912
1399 | 746 153
1400 | 746 724
1401 | 747 153
1402 | 747 724
1403 | 747 396
1404 | 555 775
1405 | 555 833
1406 | 555 834
1407 | 555 312
1408 | 555 74
1409 | 555 124
1410 | 555 1009
1411 | 555 860
1412 | 555 687
1413 | 555 248
1414 | 555 221
1415 | 554 709
1416 | 554 137
1417 | 554 81
1418 | 554 429
1419 | 554 422
1420 | 554 564
1421 | 554 565
1422 | 554 460
1423 | 554 74
1424 | 554 481
1425 | 554 869
1426 | 554 868
1427 | 554 849
1428 | 554 928
1429 | 554 351
1430 | 554 475
1431 | 554 1007
1432 | 554 824
1433 | 554 479
1434 | 557 152
1435 | 557 573
1436 | 557 75
1437 | 557 267
1438 | 557 720
1439 | 557 721
1440 | 556 75
1441 | 556 267
1442 | 556 144
1443 | 551 308
1444 | 551 183
1445 | 551 74
1446 | 551 549
1447 | 550 74
1448 | 553 568
1449 | 553 853
1450 | 553 1060
1451 | 553 663
1452 | 553 74
1453 | 552 887
1454 | 552 886
1455 | 552 885
1456 | 552 884
1457 | 552 888
1458 | 552 396
1459 | 552 407
1460 | 552 542
1461 | 552 730
1462 | 552 381
1463 | 552 389
1464 | 552 726
1465 | 552 725
1466 | 552 411
1467 | 552 413
1468 | 552 729
1469 | 238 25
1470 | 238 709
1471 | 238 19
1472 | 238 564
1473 | 238 453
1474 | 238 460
1475 | 238 41
1476 | 238 428
1477 | 238 137
1478 | 238 67
1479 | 238 487
1480 | 238 513
1481 | 238 823
1482 | 238 233
1483 | 239 146
1484 | 239 147
1485 | 239 19
1486 | 239 306
1487 | 239 137
1488 | 239 70
1489 | 239 825
1490 | 239 83
1491 | 239 230
1492 | 239 504
1493 | 239 165
1494 | 239 21
1495 | 234 182
1496 | 234 133
1497 | 234 131
1498 | 234 376
1499 | 235 458
1500 | 235 568
1501 | 235 452
1502 | 235 305
1503 | 235 456
1504 | 235 41
1505 | 235 415
1506 | 235 257
1507 | 236 19
1508 | 237 155
1509 | 237 624
1510 | 237 705
1511 | 237 316
1512 | 237 585
1513 | 237 82
1514 | 237 707
1515 | 237 182
1516 | 237 631
1517 | 237 464
1518 | 237 633
1519 | 237 305
1520 | 237 168
1521 | 237 269
1522 | 237 167
1523 | 237 19
1524 | 237 355
1525 | 237 532
1526 | 237 821
1527 | 237 820
1528 | 237 822
1529 | 230 775
1530 | 230 27
1531 | 230 23
1532 | 230 19
1533 | 230 613
1534 | 230 43
1535 | 230 809
1536 | 230 240
1537 | 230 137
1538 | 230 138
1539 | 231 57
1540 | 231 182
1541 | 231 243
1542 | 231 128
1543 | 231 254
1544 | 232 19
1545 | 232 27
1546 | 233 607
1547 | 233 243
1548 | 233 210
1549 | 233 660
1550 | 233 633
1551 | 233 82
1552 | 233 254
1553 | 233 255
1554 | 233 692
1555 | 233 20
1556 | 233 28
1557 | 233 282
1558 | 233 201
1559 | 233 585
1560 | 233 306
1561 | 233 120
1562 | 233 76
1563 | 233 240
1564 | 233 19
1565 | 233 378
1566 | 233 534
1567 | 233 137
1568 | 1050 989
1569 | 1050 861
1570 | 1050 504
1571 | 1052 514
1572 | 1053 1129
1573 | 1053 822
1574 | 1053 765
1575 | 1055 532
1576 | 1056 535
1577 | 1057 538
1578 | 1058 546
1579 | 1059 549
1580 | 992 731
1581 | 992 908
1582 | 992 407
1583 | 992 1003
1584 | 992 728
1585 | 1 24
1586 | 1 25
1587 | 1 26
1588 | 1 20
1589 | 1 22
1590 | 1 23
1591 | 1 28
1592 | 1 29
1593 | 1 3
1594 | 1 2
1595 | 1 5
1596 | 1 4
1597 | 1 9
1598 | 1 8
1599 | 1 11
1600 | 1 10
1601 | 1 13
1602 | 1 12
1603 | 1 17
1604 | 1 16
1605 | 1 18
1606 | 614 611
1607 | 614 700
1608 | 614 269
1609 | 614 256
1610 | 146 150
1611 | 146 152
1612 | 146 573
1613 | 146 316
1614 | 146 84
1615 | 146 428
1616 | 146 737
1617 | 146 185
1618 | 146 505
1619 | 146 362
1620 | 146 147
1621 | 146 145
1622 | 146 142
1623 | 146 143
1624 | 146 140
1625 | 146 141
1626 | 146 149
1627 | 146 52
1628 | 146 354
1629 | 146 371
1630 | 147 12
1631 | 147 142
1632 | 147 143
1633 | 147 140
1634 | 147 183
1635 | 147 29
1636 | 147 314
1637 | 147 354
1638 | 147 152
1639 | 147 739
1640 | 147 507
1641 | 147 396
1642 | 144 732
1643 | 144 734
1644 | 144 387
1645 | 145 150
1646 | 145 12
1647 | 145 140
1648 | 145 735
1649 | 145 372
1650 | 145 416
1651 | 145 354
1652 | 145 62
1653 | 145 152
1654 | 145 241
1655 | 145 185
1656 | 145 371
1657 | 145 267
1658 | 142 12
1659 | 142 143
1660 | 142 140
1661 | 142 141
1662 | 142 313
1663 | 142 355
1664 | 142 148
1665 | 142 578
1666 | 142 404
1667 | 142 354
1668 | 142 152
1669 | 142 723
1670 | 142 649
1671 | 143 83
1672 | 143 84
1673 | 143 23
1674 | 143 731
1675 | 143 730
1676 | 143 504
1677 | 143 723
1678 | 143 633
1679 | 143 140
1680 | 143 381
1681 | 143 12
1682 | 143 727
1683 | 143 725
1684 | 143 410
1685 | 143 411
1686 | 143 413
1687 | 143 729
1688 | 143 728
1689 | 143 396
1690 | 140 312
1691 | 140 62
1692 | 140 396
1693 | 140 134
1694 | 140 84
1695 | 140 573
1696 | 140 329
1697 | 140 721
1698 | 140 148
1699 | 140 267
1700 | 140 72
1701 | 140 505
1702 | 140 314
1703 | 140 12
1704 | 140 354
1705 | 140 722
1706 | 140 720
1707 | 140 649
1708 | 141 12
1709 | 141 354
1710 | 141 152
1711 | 141 723
1712 | 612 923
1713 | 612 1083
1714 | 612 1082
1715 | 612 1080
1716 | 612 985
1717 | 612 417
1718 | 612 533
1719 | 612 572
1720 | 612 376
1721 | 610 967
1722 | 610 1078
1723 | 610 1079
1724 | 610 376
1725 | 610 822
1726 | 611 578
1727 | 611 131
1728 | 611 315
1729 | 611 1001
1730 | 617 132
1731 | 617 543
1732 | 617 200
1733 | 148 12
1734 | 148 206
1735 | 148 573
1736 | 148 378
1737 | 148 75
1738 | 148 152
1739 | 148 135
1740 | 148 364
1741 | 149 150
1742 | 149 12
1743 | 149 692
1744 | 149 573
1745 | 149 152
1746 | 149 267
1747 | 149 737
1748 | 149 371
1749 | 149 505
1750 | 1007 475
1751 | 912 561
1752 | 912 314
1753 | 912 468
1754 | 951 352
1755 | 951 588
1756 | 1005 1069
1757 | 1005 1105
1758 | 1005 1070
1759 | 1005 932
1760 | 1004 1069
1761 | 1004 1105
1762 | 948 350
1763 | 949 350
1764 | 946 356
1765 | 946 724
1766 | 946 940
1767 | 945 730
1768 | 945 356
1769 | 945 724
1770 | 942 398
1771 | 942 958
1772 | 942 941
1773 | 943 396
1774 | 943 412
1775 | 940 724
1776 | 941 724
1777 | 768 186
1778 | 768 1103
1779 | 689 122
1780 | 689 694
1781 | 688 214
1782 | 688 884
1783 | 688 300
1784 | 688 122
1785 | 688 367
1786 | 685 120
1787 | 684 118
1788 | 684 126
1789 | 687 588
1790 | 687 692
1791 | 687 156
1792 | 687 698
1793 | 687 306
1794 | 687 543
1795 | 687 122
1796 | 687 532
1797 | 687 367
1798 | 687 250
1799 | 687 1001
1800 | 687 704
1801 | 686 122
1802 | 686 284
1803 | 686 581
1804 | 681 116
1805 | 681 326
1806 | 680 128
1807 | 680 1093
1808 | 680 532
1809 | 680 211
1810 | 683 629
1811 | 683 118
1812 | 682 136
1813 | 623 622
1814 | 623 602
1815 | 623 598
1816 | 623 454
1817 | 623 189
1818 | 622 602
1819 | 622 454
1820 | 622 189
1821 | 133 11
1822 | 133 45
1823 | 133 213
1824 | 133 565
1825 | 133 56
1826 | 133 52
1827 | 133 117
1828 | 133 73
1829 | 133 134
1830 | 133 282
1831 | 133 79
1832 | 132 11
1833 | 132 244
1834 | 132 313
1835 | 132 61
1836 | 132 259
1837 | 132 638
1838 | 131 11
1839 | 131 677
1840 | 131 585
1841 | 131 701
1842 | 131 460
1843 | 131 536
1844 | 131 137
1845 | 131 702
1846 | 131 135
1847 | 131 134
1848 | 131 703
1849 | 131 481
1850 | 130 205
1851 | 130 468
1852 | 130 698
1853 | 130 672
1854 | 130 327
1855 | 130 401
1856 | 130 85
1857 | 137 214
1858 | 137 452
1859 | 137 454
1860 | 137 662
1861 | 137 138
1862 | 137 182
1863 | 137 321
1864 | 137 362
1865 | 137 585
1866 | 137 588
1867 | 137 125
1868 | 137 128
1869 | 137 269
1870 | 137 11
1871 | 137 19
1872 | 137 413
1873 | 137 376
1874 | 136 11
1875 | 136 14
1876 | 136 313
1877 | 136 302
1878 | 136 565
1879 | 136 576
1880 | 136 533
1881 | 136 79
1882 | 136 213
1883 | 135 586
1884 | 135 155
1885 | 135 134
1886 | 135 598
1887 | 135 311
1888 | 135 397
1889 | 135 394
1890 | 135 693
1891 | 135 44
1892 | 135 41
1893 | 135 184
1894 | 135 367
1895 | 135 504
1896 | 135 568
1897 | 135 467
1898 | 135 387
1899 | 135 457
1900 | 135 480
1901 | 135 117
1902 | 135 52
1903 | 134 155
1904 | 134 706
1905 | 134 707
1906 | 134 314
1907 | 134 585
1908 | 134 708
1909 | 134 81
1910 | 134 87
1911 | 134 254
1912 | 134 691
1913 | 134 23
1914 | 134 42
1915 | 134 41
1916 | 134 368
1917 | 134 586
1918 | 134 74
1919 | 134 240
1920 | 134 71
1921 | 134 481
1922 | 134 11
1923 | 134 709
1924 | 134 351
1925 | 134 372
1926 | 134 418
1927 | 134 377
1928 | 494 58
1929 | 495 1047
1930 | 495 694
1931 | 495 668
1932 | 495 874
1933 | 495 875
1934 | 495 316
1935 | 495 355
1936 | 495 489
1937 | 495 70
1938 | 495 224
1939 | 495 223
1940 | 495 806
1941 | 139 12
1942 | 138 11
1943 | 138 240
1944 | 490 170
1945 | 490 58
1946 | 490 67
1947 | 491 1041
1948 | 491 607
1949 | 491 58
1950 | 491 483
1951 | 491 632
1952 | 491 497
1953 | 492 166
1954 | 492 58
1955 | 492 70
1956 | 493 58
1957 | 24 289
1958 | 24 116
1959 | 24 110
1960 | 24 112
1961 | 24 176
1962 | 24 174
1963 | 24 119
1964 | 24 288
1965 | 24 2
1966 | 24 9
1967 | 24 285
1968 | 24 287
1969 | 24 286
1970 | 24 120
1971 | 24 121
1972 | 24 124
1973 | 24 263
1974 | 24 167
1975 | 24 10
1976 | 24 13
1977 | 24 14
1978 | 24 17
1979 | 24 16
1980 | 24 168
1981 | 25 11
1982 | 25 26
1983 | 25 21
1984 | 25 23
1985 | 25 300
1986 | 25 18
1987 | 25 303
1988 | 25 265
1989 | 25 62
1990 | 25 126
1991 | 25 227
1992 | 25 287
1993 | 26 18
1994 | 27 11
1995 | 27 22
1996 | 27 19
1997 | 27 18
1998 | 27 70
1999 | 27 305
2000 | 27 306
2001 | 27 307
2002 | 27 186
2003 | 27 86
2004 | 20 22
2005 | 20 242
2006 | 20 41
2007 | 20 244
2008 | 20 2
2009 | 20 243
2010 | 20 241
2011 | 20 50
2012 | 21 157
2013 | 21 258
2014 | 21 259
2015 | 21 261
2016 | 21 252
2017 | 21 253
2018 | 21 250
2019 | 21 251
2020 | 21 256
2021 | 21 257
2022 | 21 254
2023 | 21 255
2024 | 21 210
2025 | 21 23
2026 | 21 46
2027 | 21 47
2028 | 21 41
2029 | 21 3
2030 | 21 9
2031 | 21 249
2032 | 21 206
2033 | 21 245
2034 | 21 247
2035 | 21 246
2036 | 21 223
2037 | 21 55
2038 | 21 18
2039 | 21 260
2040 | 22 11
2041 | 22 13
2042 | 22 18
2043 | 22 3
2044 | 22 4
2045 | 22 7
2046 | 22 9
2047 | 22 8
2048 | 23 80
2049 | 23 255
2050 | 23 46
2051 | 23 45
2052 | 23 42
2053 | 23 43
2054 | 23 182
2055 | 23 3
2056 | 23 281
2057 | 23 280
2058 | 23 283
2059 | 23 282
2060 | 23 284
2061 | 23 203
2062 | 23 263
2063 | 23 262
2064 | 23 246
2065 | 23 240
2066 | 23 265
2067 | 23 264
2068 | 23 227
2069 | 23 269
2070 | 23 268
2071 | 23 15
2072 | 23 18
2073 | 23 50
2074 | 23 54
2075 | 23 266
2076 | 28 308
2077 | 28 13
2078 | 28 280
2079 | 28 7
2080 | 28 8
2081 | 29 313
2082 | 29 312
2083 | 29 311
2084 | 29 310
2085 | 29 316
2086 | 29 314
2087 | 407 775
2088 | 407 991
2089 | 407 406
2090 | 407 730
2091 | 407 384
2092 | 407 411
2093 | 406 731
2094 | 406 44
2095 | 406 408
2096 | 405 82
2097 | 405 43
2098 | 404 150
2099 | 404 990
2100 | 404 210
2101 | 404 209
2102 | 404 677
2103 | 404 50
2104 | 404 573
2105 | 404 228
2106 | 404 388
2107 | 404 313
2108 | 403 578
2109 | 403 697
2110 | 403 968
2111 | 403 42
2112 | 403 545
2113 | 403 468
2114 | 402 42
2115 | 402 52
2116 | 402 657
2117 | 402 355
2118 | 401 212
2119 | 401 211
2120 | 401 987
2121 | 401 219
2122 | 401 80
2123 | 401 698
2124 | 401 699
2125 | 401 42
2126 | 401 798
2127 | 401 289
2128 | 401 327
2129 | 401 584
2130 | 401 205
2131 | 401 162
2132 | 401 802
2133 | 400 206
2134 | 400 581
2135 | 400 42
2136 | 400 574
2137 | 400 322
2138 | 400 80
2139 | 400 361
2140 | 400 79
2141 | 933 477
2142 | 932 468
2143 | 931 1121
2144 | 930 761
2145 | 930 354
2146 | 937 410
2147 | 629 207
2148 | 629 218
2149 | 629 327
2150 | 629 118
2151 | 409 729
2152 | 409 705
2153 | 409 316
2154 | 409 726
2155 | 409 384
2156 | 409 411
2157 | 409 410
2158 | 409 44
2159 | 409 408
2160 | 408 775
2161 | 408 731
2162 | 408 44
2163 | 408 725
2164 | 408 646
2165 | 408 908
2166 | 1069 793
2167 | 1069 1078
2168 | 1069 1105
2169 | 1069 1070
2170 | 1028 462
2171 | 758 160
2172 | 1018 459
2173 | 379 833
2174 | 379 809
2175 | 379 659
2176 | 378 753
2177 | 378 155
2178 | 378 454
2179 | 378 390
2180 | 378 975
2181 | 378 974
2182 | 378 42
2183 | 378 41
2184 | 378 308
2185 | 378 204
2186 | 378 316
2187 | 378 244
2188 | 378 73
2189 | 378 588
2190 | 378 358
2191 | 378 389
2192 | 378 750
2193 | 378 54
2194 | 378 413
2195 | 378 648
2196 | 378 372
2197 | 378 376
2198 | 829 351
2199 | 829 243
2200 | 828 242
2201 | 1060 660
2202 | 371 203
2203 | 371 300
2204 | 371 416
2205 | 371 354
2206 | 371 62
2207 | 371 152
2208 | 371 185
2209 | 371 41
2210 | 371 503
2211 | 370 609
2212 | 370 872
2213 | 370 41
2214 | 370 417
2215 | 370 395
2216 | 373 58
2217 | 373 46
2218 | 373 57
2219 | 373 429
2220 | 373 704
2221 | 373 62
2222 | 373 72
2223 | 373 243
2224 | 373 68
2225 | 372 280
2226 | 372 467
2227 | 372 42
2228 | 372 730
2229 | 372 41
2230 | 372 324
2231 | 372 538
2232 | 372 368
2233 | 375 155
2234 | 375 391
2235 | 375 41
2236 | 374 41
2237 | 377 882
2238 | 377 585
2239 | 377 155
2240 | 377 972
2241 | 377 41
2242 | 377 429
2243 | 377 262
2244 | 377 973
2245 | 376 454
2246 | 376 608
2247 | 376 457
2248 | 376 971
2249 | 376 970
2250 | 376 872
2251 | 376 41
2252 | 376 429
2253 | 376 734
2254 | 376 421
2255 | 376 634
2256 | 376 73
2257 | 376 266
2258 | 376 967
2259 | 376 968
2260 | 376 969
2261 | 1019 1068
2262 | 708 598
2263 | 708 454
2264 | 709 564
2265 | 709 849
2266 | 709 543
2267 | 709 1038
2268 | 709 475
2269 | 709 545
2270 | 709 484
2271 | 709 481
2272 | 709 1035
2273 | 704 775
2274 | 704 661
2275 | 705 996
2276 | 705 415
2277 | 705 1097
2278 | 705 532
2279 | 705 351
2280 | 706 847
2281 | 706 691
2282 | 706 1043
2283 | 706 755
2284 | 706 1039
2285 | 706 663
2286 | 706 585
2287 | 706 481
2288 | 707 458
2289 | 707 853
2290 | 707 316
2291 | 707 825
2292 | 707 358
2293 | 700 459
2294 | 700 585
2295 | 700 840
2296 | 700 183
2297 | 702 269
2298 | 702 250
2299 | 702 156
2300 | 703 783
2301 | 393 983
2302 | 393 981
2303 | 393 976
2304 | 393 183
2305 | 393 730
2306 | 393 504
2307 | 393 284
2308 | 393 892
2309 | 393 893
2310 | 393 895
2311 | 393 303
2312 | 393 305
2313 | 393 381
2314 | 393 384
2315 | 393 385
2316 | 393 58
2317 | 393 920
2318 | 392 356
2319 | 392 300
2320 | 392 953
2321 | 392 56
2322 | 392 42
2323 | 392 355
2324 | 392 241
2325 | 392 280
2326 | 392 248
2327 | 392 538
2328 | 88 601
2329 | 88 219
2330 | 88 518
2331 | 88 7
2332 | 88 600
2333 | 89 604
2334 | 89 603
2335 | 89 602
2336 | 89 464
2337 | 89 73
2338 | 89 7
2339 | 397 313
2340 | 397 42
2341 | 397 457
2342 | 397 421
2343 | 396 153
2344 | 396 571
2345 | 396 986
2346 | 396 315
2347 | 396 389
2348 | 396 756
2349 | 396 958
2350 | 396 42
2351 | 396 187
2352 | 396 985
2353 | 396 890
2354 | 396 892
2355 | 396 466
2356 | 396 76
2357 | 396 72
2358 | 396 243
2359 | 396 724
2360 | 396 410
2361 | 396 412
2362 | 395 753
2363 | 395 752
2364 | 395 846
2365 | 395 158
2366 | 395 42
2367 | 395 767
2368 | 395 661
2369 | 395 268
2370 | 394 42
2371 | 82 113
2372 | 82 182
2373 | 82 201
2374 | 82 301
2375 | 82 460
2376 | 82 588
2377 | 82 589
2378 | 82 381
2379 | 82 306
2380 | 82 70
2381 | 82 269
2382 | 82 19
2383 | 83 243
2384 | 83 388
2385 | 80 578
2386 | 80 577
2387 | 80 116
2388 | 80 176
2389 | 80 85
2390 | 80 361
2391 | 80 584
2392 | 80 582
2393 | 80 184
2394 | 80 580
2395 | 80 581
2396 | 80 76
2397 | 80 269
2398 | 80 161
2399 | 80 14
2400 | 80 583
2401 | 81 586
2402 | 81 452
2403 | 81 454
2404 | 81 46
2405 | 81 587
2406 | 81 585
2407 | 81 204
2408 | 81 460
2409 | 81 260
2410 | 81 241
2411 | 81 228
2412 | 81 50
2413 | 81 52
2414 | 86 19
2415 | 86 598
2416 | 86 454
2417 | 86 429
2418 | 87 54
2419 | 87 567
2420 | 87 183
2421 | 87 41
2422 | 84 150
2423 | 84 153
2424 | 84 12
2425 | 84 573
2426 | 84 42
2427 | 84 76
2428 | 84 152
2429 | 85 215
2430 | 85 212
2431 | 85 398
2432 | 85 328
2433 | 85 128
2434 | 85 222
2435 | 85 518
2436 | 797 698
2437 | 797 213
2438 | 796 384
2439 | 796 213
2440 | 796 361
2441 | 795 212
2442 | 795 313
2443 | 795 315
2444 | 795 765
2445 | 794 217
2446 | 794 212
2447 | 793 212
2448 | 793 213
2449 | 793 1078
2450 | 793 1105
2451 | 792 208
2452 | 792 212
2453 | 792 219
2454 | 792 648
2455 | 791 204
2456 | 790 697
2457 | 790 204
2458 | 790 219
2459 | 799 218
2460 | 798 216
2461 | 798 725
2462 | 7 2
2463 | 7 76
2464 | 7 10
2465 | 7 13
2466 | 7 15
2467 | 7 19
2468 | 601 518
2469 | 601 1046
2470 | 607 1041
2471 | 607 507
2472 | 607 508
2473 | 607 497
2474 | 607 483
2475 | 607 500
2476 | 586 883
2477 | 586 202
2478 | 586 155
2479 | 586 638
2480 | 586 356
2481 | 587 1031
2482 | 587 1072
2483 | 584 780
2484 | 584 699
2485 | 584 806
2486 | 584 390
2487 | 584 162
2488 | 584 177
2489 | 584 161
2490 | 584 327
2491 | 585 691
2492 | 585 155
2493 | 585 983
2494 | 585 677
2495 | 585 241
2496 | 582 757
2497 | 580 186
2498 | 581 543
2499 | 581 545
2500 | 1133 1096
2501 | 1132 1087
2502 | 1131 1080
2503 | 1130 1073
2504 | 588 769
2505 | 588 452
2506 | 588 660
2507 | 588 953
2508 | 588 952
2509 | 588 954
2510 | 588 656
2511 | 588 654
2512 | 588 655
2513 | 588 188
2514 | 588 562
2515 | 588 770
2516 | 588 467
2517 | 588 241
2518 | 588 243
2519 | 588 269
2520 | 588 352
2521 | 589 187
2522 | 245 50
2523 | 245 41
2524 | 245 354
2525 | 245 250
2526 | 245 248
2527 | 244 832
2528 | 244 61
2529 | 244 470
2530 | 244 501
2531 | 247 41
2532 | 246 46
2533 | 246 41
2534 | 246 250
2535 | 246 362
2536 | 246 399
2537 | 241 151
2538 | 241 150
2539 | 241 452
2540 | 241 316
2541 | 241 456
2542 | 241 49
2543 | 241 46
2544 | 241 367
2545 | 241 466
2546 | 241 228
2547 | 241 52
2548 | 241 415
2549 | 241 475
2550 | 241 827
2551 | 240 776
2552 | 240 19
2553 | 240 306
2554 | 240 248
2555 | 240 826
2556 | 243 150
2557 | 243 214
2558 | 243 217
2559 | 243 452
2560 | 243 830
2561 | 243 831
2562 | 243 633
2563 | 243 303
2564 | 243 826
2565 | 242 418
2566 | 242 578
2567 | 248 775
2568 | 248 512
2569 | 248 834
2570 | 248 809
2571 | 924 634
2572 | 924 608
2573 | 924 896
2574 | 924 985
2575 | 925 598
2576 | 519 67
2577 | 518 215
2578 | 518 600
2579 | 518 836
2580 | 518 227
2581 | 1009 452
2582 | 1009 456
2583 | 1009 541
2584 | 1009 1127
2585 | 1008 483
2586 | 511 68
2587 | 511 508
2588 | 511 71
2589 | 511 72
2590 | 510 64
2591 | 510 65
2592 | 510 68
2593 | 510 485
2594 | 510 282
2595 | 510 72
2596 | 513 757
2597 | 513 564
2598 | 513 460
2599 | 513 808
2600 | 513 471
2601 | 513 486
2602 | 513 1034
2603 | 512 775
2604 | 512 833
2605 | 512 698
2606 | 512 809
2607 | 515 771
2608 | 515 455
2609 | 515 316
2610 | 515 358
2611 | 517 118
2612 | 517 320
2613 | 517 67
2614 | 517 507
2615 | 517 427
2616 | 516 67
2617 | 458 308
2618 | 458 632
2619 | 458 603
2620 | 458 840
2621 | 458 1016
2622 | 458 52
2623 | 458 391
2624 | 458 260
2625 | 458 548
2626 | 458 314
2627 | 458 257
2628 | 458 1001
2629 | 459 842
2630 | 459 840
2631 | 459 980
2632 | 459 701
2633 | 621 598
2634 | 621 737
2635 | 626 464
2636 | 625 183
2637 | 625 677
2638 | 625 454
2639 | 625 464
2640 | 624 821
2641 | 624 464
2642 | 450 731
2643 | 450 51
2644 | 451 836
2645 | 451 950
2646 | 451 51
2647 | 451 662
2648 | 451 538
2649 | 452 662
2650 | 452 656
2651 | 452 654
2652 | 452 652
2653 | 452 369
2654 | 452 1010
2655 | 452 1011
2656 | 452 308
2657 | 452 455
2658 | 452 268
2659 | 452 415
2660 | 452 358
2661 | 453 564
2662 | 453 52
2663 | 454 604
2664 | 454 578
2665 | 454 603
2666 | 454 115
2667 | 454 429
2668 | 454 189
2669 | 454 1012
2670 | 454 464
2671 | 454 229
2672 | 454 54
2673 | 454 52
2674 | 454 821
2675 | 455 52
2676 | 455 654
2677 | 455 352
2678 | 455 72
2679 | 456 308
2680 | 456 761
2681 | 456 52
2682 | 457 923
2683 | 457 468
2684 | 457 313
2685 | 457 315
2686 | 457 52
2687 | 457 417
2688 | 1084 968
2689 | 1084 661
2690 | 979 657
2691 | 979 391
2692 | 979 1123
2693 | 979 498
2694 | 979 496
2695 | 179 14
2696 | 179 669
2697 | 179 114
2698 | 179 112
2699 | 179 280
2700 | 178 14
2701 | 178 121
2702 | 178 166
2703 | 177 14
2704 | 176 182
2705 | 176 14
2706 | 176 390
2707 | 176 120
2708 | 176 181
2709 | 176 124
2710 | 176 327
2711 | 176 113
2712 | 176 220
2713 | 176 162
2714 | 176 78
2715 | 175 14
2716 | 174 120
2717 | 174 14
2718 | 174 165
2719 | 173 164
2720 | 173 14
2721 | 172 14
2722 | 172 563
2723 | 172 120
2724 | 172 121
2725 | 172 165
2726 | 171 501
2727 | 170 120
2728 | 170 112
2729 | 170 14
2730 | 170 70
2731 | 977 382
2732 | 656 578
2733 | 656 654
2734 | 656 769
2735 | 656 352
2736 | 975 691
2737 | 974 731
2738 | 657 752
2739 | 657 846
2740 | 657 268
2741 | 1080 968
2742 | 654 770
2743 | 654 772
2744 | 654 562
2745 | 654 660
2746 | 654 352
2747 | 978 726
2748 | 978 890
2749 | 182 762
2750 | 182 763
2751 | 182 110
2752 | 182 287
2753 | 182 563
2754 | 182 120
2755 | 182 125
2756 | 182 70
2757 | 182 128
2758 | 182 166
2759 | 182 52
2760 | 182 532
2761 | 183 150
2762 | 183 158
2763 | 183 764
2764 | 183 765
2765 | 183 766
2766 | 183 604
2767 | 183 185
2768 | 183 367
2769 | 183 189
2770 | 183 78
2771 | 183 566
2772 | 183 567
2773 | 183 381
2774 | 183 15
2775 | 183 76
2776 | 183 54
2777 | 183 726
2778 | 183 724
2779 | 183 384
2780 | 180 14
2781 | 181 14
2782 | 181 120
2783 | 181 113
2784 | 181 549
2785 | 181 78
2786 | 186 429
2787 | 186 15
2788 | 186 19
2789 | 186 639
2790 | 186 414
2791 | 186 76
2792 | 186 74
2793 | 186 549
2794 | 187 76
2795 | 187 54
2796 | 187 466
2797 | 187 766
2798 | 184 579
2799 | 184 15
2800 | 184 572
2801 | 184 185
2802 | 184 189
2803 | 184 269
2804 | 185 152
2805 | 185 573
2806 | 185 578
2807 | 185 49
2808 | 185 364
2809 | 185 767
2810 | 185 569
2811 | 185 300
2812 | 185 76
2813 | 185 267
2814 | 185 389
2815 | 185 161
2816 | 185 15
2817 | 185 54
2818 | 185 62
2819 | 185 416
2820 | 185 354
2821 | 886 887
2822 | 886 756
2823 | 886 885
2824 | 886 389
2825 | 188 578
2826 | 188 663
2827 | 188 769
2828 | 188 771
2829 | 188 467
2830 | 189 774
2831 | 189 578
2832 | 189 773
2833 | 189 76
2834 | 189 602
2835 | 189 464
2836 | 1122 960
2837 | 658 308
2838 | 658 987
2839 | 658 1088
2840 | 658 1089
2841 | 658 935
2842 | 653 853
2843 | 1110 836
2844 | 650 696
2845 | 650 219
2846 | 1124 981
2847 | 651 1086
2848 | 651 503
2849 | 1125 998
2850 | 1089 1088
2851 | 764 1048
2852 | 764 498
2853 | 11 19
2854 | 11 45
2855 | 11 3
2856 | 11 2
2857 | 11 73
2858 | 10 127
2859 | 10 115
2860 | 10 114
2861 | 10 117
2862 | 10 111
2863 | 10 110
2864 | 10 113
2865 | 10 112
2866 | 10 118
2867 | 10 2
2868 | 10 9
2869 | 10 120
2870 | 10 121
2871 | 10 124
2872 | 10 125
2873 | 10 126
2874 | 10 70
2875 | 10 128
2876 | 10 129
2877 | 10 16
2878 | 10 122
2879 | 10 123
2880 | 13 153
2881 | 13 155
2882 | 13 157
2883 | 13 158
2884 | 13 69
2885 | 13 160
2886 | 13 45
2887 | 13 3
2888 | 13 2
2889 | 13 5
2890 | 13 76
2891 | 13 14
2892 | 13 16
2893 | 13 18
2894 | 12 151
2895 | 12 153
2896 | 12 3
2897 | 15 14
2898 | 15 76
2899 | 15 124
2900 | 15 168
2901 | 14 110
2902 | 14 123
2903 | 14 169
2904 | 14 164
2905 | 14 165
2906 | 14 167
2907 | 14 163
2908 | 17 115
2909 | 17 224
2910 | 17 223
2911 | 16 216
2912 | 16 217
2913 | 16 214
2914 | 16 210
2915 | 16 211
2916 | 16 215
2917 | 16 212
2918 | 16 213
2919 | 16 3
2920 | 16 2
2921 | 16 9
2922 | 16 220
2923 | 16 201
2924 | 16 200
2925 | 16 203
2926 | 16 202
2927 | 16 205
2928 | 16 204
2929 | 16 206
2930 | 16 209
2931 | 16 208
2932 | 16 77
2933 | 16 123
2934 | 16 218
2935 | 16 127
2936 | 16 129
2937 | 16 219
2938 | 16 221
2939 | 16 56
2940 | 19 3
2941 | 19 2
2942 | 19 229
2943 | 19 70
2944 | 19 18
2945 | 18 228
2946 | 18 2
2947 | 18 226
2948 | 865 976
2949 | 865 1113
2950 | 864 368
2951 | 864 427
2952 | 866 578
2953 | 884 692
2954 | 884 775
2955 | 884 1116
2956 | 884 429
2957 | 884 383
2958 | 884 413
2959 | 884 389
2960 | 938 384
2961 | 938 387
2962 | 659 425
2963 | 659 572
2964 | 659 578
2965 | 659 256
2966 | 753 158
2967 | 753 754
2968 | 881 308
2969 | 881 531
2970 | 880 837
2971 | 880 668
2972 | 887 756
2973 | 887 885
2974 | 887 571
2975 | 887 888
2976 | 887 788
2977 | 887 726
2978 | 887 389
2979 | 831 976
2980 | 831 549
2981 | 831 532
2982 | 885 784
2983 | 885 756
2984 | 885 888
2985 | 885 788
2986 | 885 389
2987 | 752 158
2988 | 752 391
2989 | 752 661
2990 | 62 150
2991 | 62 63
2992 | 62 64
2993 | 62 66
2994 | 62 67
2995 | 62 46
2996 | 62 41
2997 | 62 4
2998 | 62 504
2999 | 62 505
3000 | 62 503
3001 | 62 203
3002 | 62 267
3003 | 62 72
3004 | 62 71
3005 | 62 59
3006 | 62 58
3007 | 62 57
3008 | 62 476
3009 | 888 726
3010 | 888 756
3011 | 888 571
3012 | 888 788
3013 | 888 542
3014 | 1032 598
3015 | 1032 468
3016 | 1032 1078
3017 | 950 952
3018 | 950 352
3019 | 950 530
3020 | 950 538
3021 | 756 775
3022 | 756 726
3023 | 756 159
3024 | 756 571
3025 | 756 542
3026 | 756 730
3027 | 756 389
3028 | 756 398
3029 | 929 425
3030 | 929 368
3031 | 929 853
3032 | 809 775
3033 | 809 833
3034 | 809 834
3035 | 809 389
3036 | 322 210
3037 | 322 317
3038 | 322 321
3039 | 322 568
3040 | 322 206
3041 | 322 303
3042 | 322 168
3043 | 322 325
3044 | 322 164
3045 | 322 79
3046 | 322 163
3047 | 323 203
3048 | 323 697
3049 | 323 77
3050 | 323 320
3051 | 323 321
3052 | 323 326
3053 | 320 697
3054 | 320 321
3055 | 320 326
3056 | 321 697
3057 | 321 317
3058 | 321 252
3059 | 321 324
3060 | 321 325
3061 | 321 128
3062 | 321 429
3063 | 321 363
3064 | 326 918
3065 | 327 56
3066 | 327 390
3067 | 327 49
3068 | 327 289
3069 | 327 206
3070 | 327 578
3071 | 327 162
3072 | 327 780
3073 | 324 55
3074 | 324 666
3075 | 324 50
3076 | 324 325
3077 | 324 128
3078 | 325 201
3079 | 325 49
3080 | 325 128
3081 | 328 212
3082 | 328 204
3083 | 328 49
3084 | 328 363
3085 | 329 312
3086 | 329 311
3087 | 329 543
3088 | 329 420
3089 | 329 284
3090 | 329 122
3091 | 329 125
3092 | 329 54
3093 | 329 415
3094 | 329 355
3095 | 759 160
3096 | 201 56
3097 | 201 258
3098 | 201 79
3099 | 201 202
3100 | 201 474
3101 | 201 128
3102 | 201 55
3103 | 200 219
3104 | 200 692
3105 | 200 284
3106 | 200 205
3107 | 200 129
3108 | 200 787
3109 | 200 788
3110 | 200 647
3111 | 200 646
3112 | 203 206
3113 | 203 573
3114 | 203 416
3115 | 203 40
3116 | 203 263
3117 | 203 789
3118 | 203 503
3119 | 202 49
3120 | 202 56
3121 | 202 258
3122 | 202 474
3123 | 202 251
3124 | 205 216
3125 | 205 215
3126 | 205 212
3127 | 205 210
3128 | 205 211
3129 | 205 219
3130 | 205 118
3131 | 205 698
3132 | 205 204
3133 | 205 207
3134 | 205 208
3135 | 205 390
3136 | 205 222
3137 | 205 783
3138 | 205 648
3139 | 204 216
3140 | 204 217
3141 | 204 214
3142 | 204 213
3143 | 204 210
3144 | 204 211
3145 | 204 116
3146 | 204 251
3147 | 204 503
3148 | 204 361
3149 | 204 207
3150 | 204 209
3151 | 204 263
3152 | 204 218
3153 | 204 472
3154 | 204 390
3155 | 207 213
3156 | 207 390
3157 | 207 128
3158 | 207 364
3159 | 207 698
3160 | 206 214
3161 | 206 215
3162 | 206 210
3163 | 206 116
3164 | 206 213
3165 | 206 49
3166 | 206 361
3167 | 206 263
3168 | 206 74
3169 | 206 58
3170 | 206 695
3171 | 209 215
3172 | 209 218
3173 | 208 212
3174 | 208 127
3175 | 778 671
3176 | 889 891
3177 | 889 896
3178 | 889 303
3179 | 889 357
3180 | 77 574
3181 | 77 420
3182 | 76 150
3183 | 76 569
3184 | 76 573
3185 | 76 572
3186 | 76 570
3187 | 76 117
3188 | 76 119
3189 | 76 5
3190 | 76 562
3191 | 76 568
3192 | 76 567
3193 | 76 563
3194 | 76 564
3195 | 76 565
3196 | 76 566
3197 | 76 316
3198 | 76 267
3199 | 76 462
3200 | 76 54
3201 | 76 352
3202 | 76 124
3203 | 75 152
3204 | 75 468
3205 | 75 560
3206 | 75 561
3207 | 75 354
3208 | 75 267
3209 | 75 5
3210 | 74 466
3211 | 74 505
3212 | 74 549
3213 | 74 287
3214 | 74 128
3215 | 74 504
3216 | 74 254
3217 | 73 543
3218 | 73 545
3219 | 73 45
3220 | 73 5
3221 | 73 546
3222 | 73 544
3223 | 73 413
3224 | 73 548
3225 | 73 422
3226 | 73 547
3227 | 72 64
3228 | 72 66
3229 | 72 69
3230 | 72 536
3231 | 72 46
3232 | 72 542
3233 | 72 540
3234 | 72 541
3235 | 72 4
3236 | 72 507
3237 | 72 282
3238 | 72 426
3239 | 72 58
3240 | 72 57
3241 | 72 53
3242 | 72 537
3243 | 72 356
3244 | 72 535
3245 | 72 534
3246 | 72 353
3247 | 72 351
3248 | 72 539
3249 | 72 538
3250 | 71 59
3251 | 71 508
3252 | 71 46
3253 | 71 63
3254 | 71 533
3255 | 71 66
3256 | 71 427
3257 | 70 280
3258 | 70 169
3259 | 70 355
3260 | 70 532
3261 | 70 530
3262 | 79 49
3263 | 79 577
3264 | 79 576
3265 | 79 5
3266 | 79 128
3267 | 78 121
3268 | 78 575
3269 | 78 113
3270 | 78 162
3271 | 2 3
3272 | 2 4
3273 | 1042 483
3274 | 1041 497
3275 | 1041 483
3276 | 1040 483
3277 | 1043 847
3278 | 1043 995
3279 | 1043 1039
3280 | 1043 483
3281 | 1043 1035
3282 | 1045 487
3283 | 1045 1026
3284 | 1045 757
3285 | 1045 1112
3286 | 1044 487
3287 | 1049 1001
3288 | 1048 498
3289 | 805 223
3290 | 804 222
3291 | 669 569
3292 | 669 120
3293 | 669 110
3294 | 669 119
3295 | 668 694
3296 | 668 115
3297 | 668 355
3298 | 666 355
3299 | 665 990
3300 | 664 1091
3301 | 664 660
3302 | 663 1090
3303 | 663 691
3304 | 663 268
3305 | 663 481
3306 | 662 415
3307 | 662 156
3308 | 662 316
3309 | 661 754
3310 | 661 984
3311 | 660 769
3312 | 660 257
3313 | 660 368
3314 | 660 423
3315 | 660 562
3316 | 660 501
3317 | 660 568
3318 | 660 772
3319 | 660 467
3320 | 660 677
3321 | 660 564
3322 | 660 352
3323 | 660 649
3324 | 769 770
3325 | 769 953
3326 | 769 352
3327 | 769 358
3328 | 692 214
3329 | 692 219
3330 | 693 1086
3331 | 693 355
3332 | 693 125
3333 | 690 124
3334 | 691 853
3335 | 691 168
3336 | 691 124
3337 | 691 481
3338 | 696 216
3339 | 696 695
3340 | 696 219
3341 | 696 472
3342 | 696 127
3343 | 697 775
3344 | 697 128
3345 | 694 1094
3346 | 694 675
3347 | 694 355
3348 | 694 489
3349 | 694 280
3350 | 694 255
3351 | 695 786
3352 | 695 219
3353 | 695 127
3354 | 695 648
3355 | 698 215
3356 | 698 210
3357 | 698 211
3358 | 698 219
3359 | 698 801
3360 | 699 1095
3361 | 699 987
3362 | 699 806
3363 | 699 162
3364 | 542 833
3365 | 542 729
3366 | 542 726
3367 | 542 410
3368 | 542 389
3369 | 542 284
3370 | 543 721
3371 | 543 429
3372 | 543 384
3373 | 543 284
3374 | 543 1034
3375 | 540 150
3376 | 540 507
3377 | 540 285
3378 | 541 308
3379 | 541 549
3380 | 546 429
3381 | 544 362
3382 | 545 217
3383 | 545 300
3384 | 545 465
3385 | 545 122
3386 | 8 3
3387 | 549 568
3388 | 549 564
3389 | 549 467
3390 | 549 466
3391 | 549 765
3392 | 549 504
3393 | 549 484
3394 | 549 223
3395 | 549 501
3396 | 68 46
3397 | 68 61
3398 | 68 470
3399 | 68 64
3400 | 68 4
3401 | 68 69
3402 | 68 282
3403 | 68 485
3404 | 68 65
3405 | 598 603
3406 | 598 1077
3407 | 598 953
3408 | 598 266
3409 | 995 418
3410 | 995 1112
3411 | 995 564
3412 | 995 460
3413 | 995 957
3414 | 995 1026
3415 | 995 477
3416 | 995 483
3417 | 995 482
3418 | 869 855
3419 | 869 868
3420 | 869 564
3421 | 869 1112
3422 | 869 483
3423 | 997 423
3424 | 996 564
3425 | 996 477
3426 | 996 422
3427 | 996 480
3428 | 990 462
3429 | 993 410
3430 | 868 564
3431 | 868 1112
3432 | 868 824
3433 | 868 482
3434 | 868 427
3435 | 999 507
3436 | 998 427
3437 | 120 113
3438 | 120 112
3439 | 120 117
3440 | 120 569
3441 | 120 563
3442 | 120 168
3443 | 120 169
3444 | 120 163
3445 | 121 563
3446 | 121 168
3447 | 121 169
3448 | 121 165
3449 | 121 166
3450 | 121 163
3451 | 122 355
3452 | 122 287
3453 | 124 58
3454 | 124 54
3455 | 124 117
3456 | 124 110
3457 | 124 113
3458 | 124 119
3459 | 125 429
3460 | 125 367
3461 | 125 287
3462 | 125 255
3463 | 127 219
3464 | 127 116
3465 | 127 649
3466 | 127 648
3467 | 128 217
3468 | 128 116
3469 | 128 289
3470 | 128 49
3471 | 128 303
3472 | 128 55
3473 | 128 56
3474 | 128 52
3475 | 765 313
3476 | 765 466
3477 | 765 1102
3478 | 765 359
3479 | 765 822
3480 | 1128 1023
3481 | 1010 836
3482 | 1010 467
3483 | 414 46
3484 | 414 749
3485 | 414 44
3486 | 414 300
3487 | 415 155
3488 | 415 316
3489 | 415 45
3490 | 415 568
3491 | 415 268
3492 | 415 354
3493 | 415 827
3494 | 416 357
3495 | 417 750
3496 | 417 45
3497 | 417 872
3498 | 410 892
3499 | 410 726
3500 | 410 356
3501 | 410 227
3502 | 410 389
3503 | 410 411
3504 | 411 44
3505 | 412 44
3506 | 412 726
3507 | 412 724
3508 | 412 413
3509 | 413 309
3510 | 413 381
3511 | 413 983
3512 | 413 52
3513 | 413 724
3514 | 413 389
3515 | 920 894
3516 | 920 895
3517 | 920 983
3518 | 920 981
3519 | 920 504
3520 | 498 59
3521 | 498 499
3522 | 922 460
3523 | 923 1023
3524 | 418 605
3525 | 418 155
3526 | 418 755
3527 | 418 45
3528 | 418 391
3529 | 418 260
3530 | 418 484
3531 | 419 45
3532 | 419 564
3533 | 419 460
3534 | 419 486
3535 | 499 59
3536 | 499 256
3537 | 499 701
3538 | 499 1001
3539 | 499 483
3540 | 313 909
3541 | 313 315
3542 | 312 860
3543 | 312 311
3544 | 312 310
3545 | 312 908
3546 | 311 310
3547 | 311 306
3548 | 311 314
3549 | 311 899
3550 | 316 66
3551 | 316 257
3552 | 316 368
3553 | 316 562
3554 | 316 54
3555 | 316 52
3556 | 316 354
3557 | 316 532
3558 | 316 358
3559 | 315 468
3560 | 314 42
3561 | 314 50
3562 | 861 988
3563 | 861 989
3564 | 921 1090
3565 | 921 358
3566 | 1126 1001
3567 | 833 775
3568 | 833 908
3569 | 833 388
3570 | 833 504
3571 | 497 59
3572 | 836 468
3573 | 836 671
3574 | 836 1111
3575 | 836 470
3576 | 836 1109
3577 | 836 255
3578 | 837 255
3579 | 834 775
3580 | 834 1108
3581 | 835 391
3582 | 835 251
3583 | 838 367
3584 | 838 355
3585 | 838 255
3586 | 839 287
3587 | 839 255
3588 | 808 1097
3589 | 808 757
3590 | 808 1023
3591 | 808 564
3592 | 808 228
3593 | 808 1034
3594 | 3 42
3595 | 3 52
3596 | 3 46
3597 | 3 47
3598 | 3 44
3599 | 3 45
3600 | 3 43
3601 | 3 40
3602 | 3 4
3603 | 3 48
3604 | 3 51
3605 | 3 53
3606 | 3 55
3607 | 3 54
3608 | 725 726
3609 | 725 729
3610 | 725 787
3611 | 725 730
3612 | 725 219
3613 | 725 356
3614 | 725 390
3615 | 725 600
3616 | 725 284
3617 | 368 953
3618 | 368 41
3619 | 368 369
3620 | 368 262
3621 | 368 227
3622 | 368 268
3623 | 368 962
3624 | 368 51
3625 | 368 354
3626 | 368 351
3627 | 369 579
3628 | 369 365
3629 | 369 954
3630 | 369 268
3631 | 369 257
3632 | 369 358
3633 | 366 51
3634 | 366 40
3635 | 366 350
3636 | 367 115
3637 | 367 250
3638 | 367 255
3639 | 367 48
3640 | 367 879
3641 | 367 355
3642 | 367 40
3643 | 367 287
3644 | 367 532
3645 | 367 468
3646 | 367 672
3647 | 367 489
3648 | 367 964
3649 | 367 965
3650 | 367 966
3651 | 367 52
3652 | 367 470
3653 | 364 213
3654 | 364 56
3655 | 364 472
3656 | 364 40
3657 | 365 962
3658 | 365 954
3659 | 365 767
3660 | 365 52
3661 | 365 354
3662 | 365 268
3663 | 362 466
3664 | 362 155
3665 | 362 963
3666 | 362 45
3667 | 362 40
3668 | 362 52
3669 | 362 69
3670 | 362 268
3671 | 363 786
3672 | 363 215
3673 | 363 40
3674 | 363 49
3675 | 363 218
3676 | 363 221
3677 | 360 472
3678 | 360 56
3679 | 360 40
3680 | 361 214
3681 | 361 210
3682 | 361 49
3683 | 361 40
3684 | 361 166
3685 | 959 355
3686 | 952 467
3687 | 952 352
3688 | 380 784
3689 | 380 976
3690 | 380 303
3691 | 380 42
3692 | 380 382
3693 | 380 387
3694 | 380 385
3695 | 381 42
3696 | 381 730
3697 | 381 504
3698 | 381 890
3699 | 381 892
3700 | 381 383
3701 | 381 384
3702 | 381 385
3703 | 381 386
3704 | 381 387
3705 | 381 784
3706 | 382 784
3707 | 382 890
3708 | 382 578
3709 | 382 303
3710 | 382 42
3711 | 382 383
3712 | 382 386
3713 | 382 387
3714 | 382 384
3715 | 382 936
3716 | 383 44
3717 | 383 303
3718 | 383 42
3719 | 383 357
3720 | 383 386
3721 | 383 387
3722 | 384 578
3723 | 384 42
3724 | 384 891
3725 | 384 896
3726 | 384 303
3727 | 384 385
3728 | 384 386
3729 | 384 784
3730 | 385 784
3731 | 385 890
3732 | 385 726
3733 | 385 896
3734 | 385 42
3735 | 385 387
3736 | 386 730
3737 | 386 303
3738 | 386 42
3739 | 386 504
3740 | 386 387
3741 | 387 303
3742 | 387 42
3743 | 388 958
3744 | 388 42
3745 | 389 42
3746 | 389 724
3747 | 389 729
3748 | 784 890
3749 | 784 895
3750 | 784 936
3751 | 786 216
3752 | 786 215
3753 | 786 289
3754 | 786 647
3755 | 786 221
3756 | 786 783
3757 | 787 647
3758 | 780 215
3759 | 780 289
3760 | 781 289
3761 | 781 390
3762 | 781 211
3763 | 783 647
3764 | 783 649
3765 | 788 571
3766 | 788 726
3767 | 860 963
3768 | 860 561
3769 | 578 603
3770 | 578 604
3771 | 578 1070
3772 | 578 1071
3773 | 578 562
3774 | 578 564
3775 | 578 671
3776 | 578 227
3777 | 578 1068
3778 | 578 353
3779 | 573 150
3780 | 573 505
3781 | 573 468
3782 | 573 300
3783 | 573 267
3784 | 573 354
3785 | 572 960
3786 | 572 980
3787 | 572 399
3788 | 572 256
3789 | 571 726
3790 | 574 420
3791 | 60 485
3792 | 60 4
3793 | 61 470
3794 | 61 64
3795 | 61 4
3796 | 61 485
3797 | 61 502
3798 | 61 500
3799 | 61 501
3800 | 258 251
3801 | 259 55
3802 | 259 45
3803 | 259 50
3804 | 259 305
3805 | 259 472
3806 | 259 672
3807 | 259 420
3808 | 259 254
3809 | 64 59
3810 | 64 58
3811 | 64 506
3812 | 64 46
3813 | 64 57
3814 | 64 4
3815 | 64 69
3816 | 64 282
3817 | 64 65
3818 | 65 481
3819 | 65 475
3820 | 65 485
3821 | 65 282
3822 | 65 476
3823 | 65 477
3824 | 66 59
3825 | 66 57
3826 | 66 69
3827 | 66 282
3828 | 67 58
3829 | 67 4
3830 | 67 485
3831 | 67 282
3832 | 252 306
3833 | 252 250
3834 | 69 219
3835 | 69 509
3836 | 69 4
3837 | 69 466
3838 | 69 58
3839 | 69 426
3840 | 250 429
3841 | 250 41
3842 | 251 45
3843 | 251 56
3844 | 256 59
3845 | 256 841
3846 | 256 840
3847 | 256 842
3848 | 257 568
3849 | 257 843
3850 | 257 51
3851 | 257 354
3852 | 257 423
3853 | 254 677
3854 | 254 52
3855 | 254 269
3856 | 255 115
3857 | 255 355
3858 | 255 489
3859 | 255 287
3860 | 603 630
3861 | 603 464
3862 | 603 855
3863 | 602 465
3864 | 731 1003
3865 | 731 728
3866 | 730 633
3867 | 730 981
3868 | 730 983
3869 | 730 500
3870 | 735 152
3871 | 734 821
3872 | 508 755
3873 | 508 63
3874 | 508 476
3875 | 508 500
3876 | 508 509
3877 | 508 285
3878 | 508 427
3879 | 509 63
3880 | 509 507
3881 | 509 506
3882 | 509 427
3883 | 506 63
3884 | 506 285
3885 | 507 890
3886 | 507 63
3887 | 507 500
3888 | 504 981
3889 | 504 895
3890 | 504 892
3891 | 504 726
3892 | 504 724
3893 | 505 354
3894 | 505 503
3895 | 503 214
3896 | 503 267
3897 | 500 562
3898 | 500 537
3899 | 500 470
3900 | 500 285
3901 | 500 427
3902 | 501 217
3903 | 501 470
3904 | 501 353
3905 | 501 821
3906 | 630 872
3907 | 632 351
3908 | 469 55
3909 | 469 118
3910 | 468 1033
3911 | 468 467
3912 | 468 303
3913 | 468 489
3914 | 468 55
3915 | 468 356
3916 | 468 355
3917 | 468 116
3918 | 636 737
3919 | 465 54
3920 | 464 774
3921 | 464 1029
3922 | 464 821
3923 | 467 54
3924 | 467 470
3925 | 467 352
3926 | 467 770
3927 | 466 1031
3928 | 461 52
3929 | 460 52
3930 | 460 429
3931 | 460 757
3932 | 460 564
3933 | 460 487
3934 | 460 484
3935 | 460 1024
3936 | 460 1027
3937 | 460 1026
3938 | 460 1021
3939 | 460 1020
3940 | 460 1023
3941 | 460 1022
3942 | 460 471
3943 | 463 54
3944 | 462 54
3945 | 901 307
3946 | 168 563
3947 | 168 112
3948 | 168 164
3949 | 168 165
3950 | 168 166
3951 | 169 119
3952 | 164 165
3953 | 164 167
3954 | 165 563
3955 | 165 112
3956 | 165 167
3957 | 167 117
3958 | 167 532
3959 | 167 112
3960 | 160 757
3961 | 161 117
3962 | 162 113
3963 | 163 351
3964 | 163 760
3965 | 163 113
3966 | 163 112
3967 | 965 600
3968 | 960 356
3969 | 960 399
3970 | 961 356
3971 | 962 358
3972 | 969 634
3973 | 936 896
3974 | 1106 802
3975 | 1107 824
3976 | 1104 771
3977 | 1105 1070
3978 | 935 1087
3979 | 935 761
3980 | 935 987
3981 | 1100 958
3982 | 1101 757
3983 | 908 1003
3984 | 908 427
3985 | 1096 701
3986 | 878 489
3987 | 878 287
3988 | 878 1095
3989 | 879 287
3990 | 876 287
3991 | 874 355
3992 | 874 1115
3993 | 874 287
3994 | 875 675
3995 | 875 287
3996 | 875 480
3997 | 872 634
3998 | 872 609
3999 | 872 750
4000 | 873 287
4001 | 870 871
4002 | 870 1038
4003 | 870 1114
4004 | 870 351
4005 | 871 855
4006 | 871 484
4007 | 9 41
4008 | 890 303
4009 | 890 1117
4010 | 891 896
4011 | 891 303
4012 | 892 303
4013 | 894 976
4014 | 894 981
4015 | 894 895
4016 | 894 982
4017 | 894 983
4018 | 894 303
4019 | 647 221
4020 | 896 774
4021 | 896 303
4022 | 896 357
4023 | 897 304
4024 | 898 1118
4025 | 898 306
4026 | 899 306
4027 | 1087 987
4028 | 649 158
4029 | 649 773
4030 | 357 355
4031 | 356 153
4032 | 356 399
4033 | 356 42
4034 | 356 355
4035 | 356 750
4036 | 356 724
4037 | 356 470
4038 | 356 354
4039 | 355 112
4040 | 355 45
4041 | 355 42
4042 | 355 41
4043 | 355 956
4044 | 355 283
4045 | 355 958
4046 | 355 671
4047 | 355 489
4048 | 355 224
4049 | 355 532
4050 | 354 150
4051 | 354 399
4052 | 354 46
4053 | 354 42
4054 | 354 40
4055 | 354 41
4056 | 354 767
4057 | 354 268
4058 | 354 54
4059 | 354 955
4060 | 354 51
4061 | 354 50
4062 | 354 720
4063 | 353 841
4064 | 353 954
4065 | 353 51
4066 | 353 538
4067 | 353 41
4068 | 352 953
4069 | 351 58
4070 | 351 46
4071 | 351 52
4072 | 803 222
4073 | 802 390
4074 | 802 220
4075 | 800 219
4076 | 806 225
4077 | 806 224
4078 | 359 40
4079 | 358 308
4080 | 216 215
4081 | 216 219
4082 | 216 289
4083 | 216 218
4084 | 216 221
4085 | 217 775
4086 | 217 221
4087 | 214 210
4088 | 214 116
4089 | 214 429
4090 | 214 263
4091 | 215 211
4092 | 215 219
4093 | 215 116
4094 | 215 289
4095 | 215 218
4096 | 215 222
4097 | 215 221
4098 | 212 211
4099 | 212 213
4100 | 212 560
4101 | 212 222
4102 | 212 472
4103 | 213 116
4104 | 213 284
4105 | 213 286
4106 | 213 677
4107 | 213 56
4108 | 213 472
4109 | 213 474
4110 | 210 116
4111 | 210 41
4112 | 210 676
4113 | 210 56
4114 | 211 219
4115 | 211 289
4116 | 761 308
4117 | 766 774
4118 | 767 268
4119 | 218 532
4120 | 219 289
4121 | 219 472
4122 | 957 479
4123 | 957 564
4124 | 957 422
4125 | 957 1037
4126 | 1078 1079
4127 | 1078 634
4128 | 1073 770
4129 | 289 56
4130 | 289 221
4131 | 289 286
4132 | 288 263
4133 | 1003 728
4134 | 4 63
4135 | 4 46
4136 | 4 59
4137 | 280 112
4138 | 282 58
4139 | 282 46
4140 | 282 43
4141 | 282 485
4142 | 282 426
4143 | 282 427
4144 | 285 485
4145 | 284 265
4146 | 284 729
4147 | 284 420
4148 | 284 429
4149 | 287 115
4150 | 287 565
4151 | 287 489
4152 | 287 52
4153 | 1097 1024
4154 | 678 223
4155 | 678 116
4156 | 679 116
4157 | 1092 671
4158 | 674 115
4159 | 674 224
4160 | 675 115
4161 | 675 224
4162 | 675 480
4163 | 676 116
4164 | 676 305
4165 | 677 155
4166 | 677 638
4167 | 677 562
4168 | 677 116
4169 | 670 112
4170 | 671 112
4171 | 672 113
4172 | 673 115
4173 | 262 41
4174 | 260 845
4175 | 260 755
4176 | 267 300
4177 | 264 847
4178 | 264 564
4179 | 264 849
4180 | 269 156
4181 | 269 701
4182 | 269 116
4183 | 269 855
4184 | 269 49
4185 | 269 43
4186 | 269 51
4187 | 269 52
4188 | 268 156
4189 | 268 425
4190 | 268 54
4191 | 268 853
4192 | 701 840
4193 | 701 399
4194 | 59 46
4195 | 59 57
4196 | 59 426
4197 | 58 112
4198 | 58 46
4199 | 58 40
4200 | 58 488
4201 | 58 57
4202 | 55 49
4203 | 55 56
4204 | 54 45
4205 | 54 40
4206 | 54 51
4207 | 57 46
4208 | 57 482
4209 | 57 420
4210 | 57 426
4211 | 57 487
4212 | 57 486
4213 | 57 485
4214 | 57 478
4215 | 57 481
4216 | 57 480
4217 | 57 476
4218 | 57 477
4219 | 57 475
4220 | 56 49
4221 | 56 40
4222 | 56 51
4223 | 56 472
4224 | 56 473
4225 | 51 41
4226 | 50 45
4227 | 50 42
4228 | 50 41
4229 | 50 228
4230 | 52 157
4231 | 52 46
4232 | 52 44
4233 | 52 228
4234 | 63 150
4235 | 533 757
4236 | 532 117
4237 | 532 110
4238 | 532 113
4239 | 532 227
4240 | 775 429
4241 | 983 976
4242 | 983 895
4243 | 983 981
4244 | 980 1068
4245 | 980 840
4246 | 981 976
4247 | 981 895
4248 | 986 724
4249 | 985 634
4250 | 115 224
4251 | 114 112
4252 | 117 110
4253 | 117 119
4254 | 116 49
4255 | 116 305
4256 | 116 307
4257 | 116 470
4258 | 110 569
4259 | 110 119
4260 | 771 953
4261 | 119 569
4262 | 773 976
4263 | 429 919
4264 | 429 1001
4265 | 534 308
4266 | 919 1119
4267 | 421 609
4268 | 421 45
4269 | 420 45
4270 | 422 564
4271 | 422 824
4272 | 425 308
4273 | 425 840
4274 | 425 45
4275 | 424 45
4276 | 427 46
4277 | 427 476
4278 | 426 46
4279 | 309 479
4280 | 300 152
4281 | 301 847
4282 | 301 849
4283 | 303 49
4284 | 303 42
4285 | 305 307
4286 | 305 729
4287 | 895 976
4288 | 824 564
4289 | 824 1036
4290 | 847 1039
4291 | 847 481
4292 | 847 1035
4293 | 840 391
4294 | 853 820
4295 | 849 475
4296 | 849 564
4297 | 849 479
4298 | 849 482
4299 | 849 1035
4300 | 954 568
4301 | 1038 565
4302 | 1038 481
4303 | 1038 1035
4304 | 1039 481
4305 | 751 158
4306 | 750 158
4307 | 757 471
4308 | 757 487
4309 | 755 158
4310 | 564 1026
4311 | 564 487
4312 | 564 484
4313 | 564 481
4314 | 565 486
4315 | 566 567
4316 | 739 152
4317 | 228 399
4318 | 1024 484
4319 | 1020 486
4320 | 1020 477
4321 | 1020 475
4322 | 1023 486
4323 | 1036 477
4324 | 391 158
4325 | 1037 479
4326 | 1037 480
4327 | 726 729
4328 | 724 958
4329 | 390 49
4330 | 390 42
4331 | 723 152
4332 | 1035 475
4333 | 1035 483
4334 | 728 976
4335 | 150 152
4336 | 157 749
4337 | 157 42
4338 | 157 40
4339 | 976 398
4340 | 399 46
4341 | 399 42
4342 | 958 398
4343 | 398 42
4344 | 48 46
4345 | 46 43
4346 | 46 40
4347 | 46 41
4348 | 47 41
4349 | 44 42
4350 | 45 42
4351 | 42 40
4352 | 487 483
4353 | 486 477
4354 | 486 484
4355 | 486 483
4356 | 484 483
4357 | 483 475
4358 | 483 477
4359 | 481 479
4360 | 480 476
4361 | 480 479
4362 | 


--------------------------------------------------------------------------------