Project

General

Profile

good_runs_run3_bnb.txt

Salvatore Davide Porzio, 08/01/2018 03:08 AM

 
1
13697
2
13698
3
13699
4
13700
5
13701
6
13702
7
13705
8
13707
9
13708
10
13709
11
13712
12
13713
13
13714
14
13715
15
13717
16
13719
17
13720
18
13721
19
13723
20
13724
21
13725
22
13728
23
13729
24
13731
25
13732
26
13733
27
13736
28
13737
29
13738
30
13739
31
13740
32
13741
33
13742
34
13743
35
13744
36
13745
37
13746
38
13755
39
13756
40
13757
41
13762
42
13763
43
13764
44
13765
45
13766
46
13767
47
13769
48
13770
49
13771
50
13772
51
13773
52
13774
53
13775
54
13776
55
13777
56
13778
57
13779
58
13780
59
13782
60
13783
61
13787
62
13788
63
13789
64
13790
65
13791
66
13792
67
13793
68
13794
69
13797
70
13799
71
13800
72
13801
73
13802
74
13803
75
13805
76
13806
77
13807
78
13809
79
13810
80
13811
81
13812
82
13860
83
13861
84
13862
85
13864
86
13865
87
13867
88
13868
89
13871
90
13872
91
13873
92
13874
93
13875
94
13876
95
13877
96
13878
97
13879
98
13883
99
13884
100
13888
101
13889
102
13894
103
13895
104
13896
105
13897
106
13898
107
13899
108
13900
109
13902
110
13904
111
13905
112
13906
113
13907
114
13908
115
13909
116
13910
117
13911
118
13912
119
13913
120
13917
121
13918
122
13919
123
13921
124
13922
125
13923
126
13926
127
13928
128
13929
129
13930
130
13932
131
13935
132
13936
133
13937
134
13938
135
13939
136
13940
137
13942
138
13943
139
13944
140
13945
141
13947
142
13948
143
13950
144
13951
145
13954
146
13955
147
13956
148
13957
149
13959
150
13960
151
13962
152
13963
153
13964
154
13965
155
13969
156
13970
157
13971
158
13972
159
13977
160
13978
161
13979
162
13982
163
13983
164
13984
165
13985
166
13986
167
13988
168
13989
169
13990
170
13991
171
13992
172
13993
173
13996
174
13997
175
13998
176
14000
177
14001
178
14002
179
14003
180
14004
181
14006
182
14007
183
14008
184
14009
185
14010
186
14011
187
14012
188
14014
189
14015
190
14016
191
14017
192
14020
193
14021
194
14022
195
14023
196
14024
197
14025
198
14026
199
14030
200
14031
201
14032
202
14034
203
14035
204
14036
205
14038
206
14039
207
14040
208
14042
209
14043
210
14044
211
14045
212
14046
213
14047
214
14049
215
14053
216
14055
217
14056
218
14058
219
14059
220
14060
221
14062
222
14063
223
14064
224
14065
225
14066
226
14067
227
14068
228
14070
229
14073
230
14074
231
14075
232
14076
233
14077
234
14079
235
14080
236
14082
237
14083
238
14084
239
14087
240
14088
241
14089
242
14090
243
14091
244
14093
245
14094
246
14095
247
14096
248
14097
249
14098
250
14099
251
14101
252
14102
253
14103
254
14104
255
14105
256
14107
257
14108
258
14109
259
14110
260
14111
261
14112
262
14114
263
14115
264
14116
265
14117
266
14121
267
14122
268
14123
269
14124
270
14125
271
14126
272
14127
273
14128
274
14129
275
14130
276
14131
277
14133
278
14134
279
14135
280
14136
281
14138
282
14139
283
14140
284
14141
285
14142
286
14143
287
14146
288
14147
289
14148
290
14149
291
14150
292
14151
293
14152
294
14153
295
14154
296
14156
297
14157
298
14158
299
14159
300
14161
301
14163
302
14164
303
14165
304
14171
305
14172
306
14173
307
14174
308
14175
309
14177
310
14181
311
14182
312
14183
313
14184
314
14185
315
14186
316
14187
317
14188
318
14189
319
14190
320
14191
321
14192
322
14193
323
14194
324
14195
325
14196
326
14201
327
14202
328
14203
329
14204
330
14205
331
14206
332
14207
333
14209
334
14211
335
14212
336
14213
337
14214
338
14216
339
14217
340
14218
341
14219
342
14220
343
14222
344
14223
345
14224
346
14225
347
14226
348
14227
349
14228
350
14229
351
14231
352
14233
353
14234
354
14235
355
14236
356
14238
357
14239
358
14240
359
14241
360
14242
361
14243
362
14244
363
14245
364
14246
365
14248
366
14250
367
14251
368
14253
369
14256
370
14257
371
14259
372
14260
373
14261
374
14262
375
14263
376
14264
377
14265
378
14268
379
14269
380
14270
381
14271
382
14272
383
14273
384
14274
385
14275
386
14276
387
14277
388
14278
389
14279
390
14280
391
14281
392
14282
393
14283
394
14284
395
14285
396
14286
397
14287
398
14288
399
14290
400
14291
401
14292
402
14293
403
14294
404
14295
405
14296
406
14297
407
14298
408
14299
409
14300
410
14301
411
14302
412
14304
413
14306
414
14307
415
14308
416
14310
417
14313
418
14314
419
14315
420
14316
421
14317
422
14319
423
14320
424
14321
425
14322
426
14323
427
14324
428
14325
429
14327
430
14328
431
14329
432
14332
433
14333
434
14334
435
14335
436
14336
437
14337
438
14338
439
14340
440
14341
441
14342
442
14343
443
14344
444
14347
445
14349
446
14350
447
14351
448
14354
449
14355
450
14356
451
14357
452
14358
453
14359
454
14360
455
14361
456
14362
457
14363
458
14366
459
14367
460
14368
461
14369
462
14370
463
14372
464
14375
465
14376
466
14377
467
14379
468
14381
469
14382
470
14383
471
14384
472
14388
473
14390
474
14391
475
14392
476
14393
477
14394
478
14396
479
14399
480
14401
481
14403
482
14404
483
14406
484
14407
485
14408
486
14409
487
14410
488
14411
489
14412
490
14413
491
14414
492
14417
493
14418
494
14420
495
14423
496
14425
497
14427
498
14428
499
14430
500
14431
501
14432
502
14436
503
14438
504
14439
505
14440
506
14441
507
14443
508
14445
509
14446
510
14450
511
14451
512
14452
513
14453
514
14454
515
14455
516
14456
517
14458
518
14459
519
14460
520
14461
521
14463
522
14464
523
14467
524
14468
525
14469
526
14470
527
14473
528
14475
529
14516
530
14519
531
14521
532
14524
533
14526
534
14527
535
14529
536
14530
537
14531
538
14533
539
14534
540
14535
541
14536
542
14537
543
14538
544
14539
545
14541
546
14542
547
14543
548
14544
549
14545
550
14546
551
14547
552
14548
553
14549
554
14550
555
14551
556
14552
557
14553
558
14554
559
14555
560
14556
561
14557
562
14558
563
14559
564
14561
565
14562
566
14563
567
14564
568
14568
569
14569
570
14570
571
14575
572
14576
573
14577
574
14578
575
14580
576
14582
577
14583
578
14584
579
14585
580
14586
581
14587
582
14590
583
14591
584
14592
585
14596
586
14597
587
14598
588
14600
589
14601
590
14603
591
14605
592
14607
593
14609
594
14610
595
14611
596
14613
597
14614
598
14615
599
14617
600
14619
601
14621
602
14622
603
14623
604
14625
605
14626
606
14628
607
14631
608
14632
609
14633
610
14634
611
14635
612
14636
613
14637
614
14639
615
14640
616
14641
617
14642
618
14643
619
14644
620
14645
621
14647
622
14664
623
14667
624
14672
625
14675
626
14676
627
14677
628
14681
629
14682
630
14685
631
14686
632
14687
633
14688
634
14689
635
14690
636
14691
637
14692
638
14693
639
14694
640
14695
641
14697
642
14699
643
14700
644
14702
645
14706
646
14707
647
14708
648
14710
649
14712
650
14713
651
14715
652
14716
653
14717
654
14718
655
14719
656
14720
657
14721
658
14722
659
14724
660
14725
661
14726
662
14727
663
14728
664
14729
665
14730
666
14731
667
14733
668
14734
669
14736
670
14737
671
14740
672
14741
673
14742
674
14743
675
14744
676
14745
677
14746
678
14747
679
14748
680
14749
681
14750
682
14751
683
14754
684
14755
685
14756
686
14758
687
14759
688
14760
689
14761
690
14763
691
14764
692
14766
693
14767
694
14768
695
14770
696
14771
697
14772
698
14773
699
14774
700
14775
701
14779
702
14780
703
14782
704
14783
705
14784
706
14785
707
14787
708
14788
709
14789
710
14790
711
14793
712
14795
713
14796
714
14797
715
14798
716
14799
717
14801
718
14802
719
14805
720
14806
721
14807
722
14808
723
14810
724
14811
725
14812
726
14813
727
14814
728
14816
729
14818
730
14819
731
14820
732
14822
733
14824
734
14825
735
14826
736
14828
737
14829
738
14830
739
14831
740
14852
741
14857
742
14860
743
14864
744
14866
745
14870
746
14871
747
14872
748
14873
749
14874
750
14875
751
14876
752
14877
753
14878
754
14880
755
14881
756
14882
757
14883
758
14884
759
14885
760
14886
761
14887
762
14888
763
14890
764
14891
765
14893
766
14897
767
14899
768
14900
769
14901
770
14902
771
14903
772
14904
773
14905
774
14907
775
14908
776
14909
777
14911
778
14912
779
14913
780
14914
781
14915
782
14916
783
14917
784
14918
785
14919
786
14920
787
14921
788
14922
789
14923
790
14924
791
14925
792
14926
793
14927
794
14929
795
14930
796
14931
797
14932
798
14934
799
14935
800
14936
801
14937
802
14938
803
14939
804
14940
805
14942
806
14944
807
14945
808
14947
809
14948
810
14949
811
14954
812
14955
813
14956
814
14957
815
14958
816
14959
817
14965
818
14967
819
14968
820
14970
821
14971
822
14972
823
14973
824
14974
825
14975
826
14976
827
14977
828
14978
829
14979
830
14980
831
14981
832
14983
833
14984
834
14985
835
14986
836
14987
837
14988
838
14989
839
14990
840
14991
841
14993
842
14994
843
14995
844
14997
845
14998
846
15000
847
15001
848
15002
849
15003
850
15004
851
15006
852
15009
853
15010
854
15011
855
15012
856
15013
857
15014
858
15016
859
15017
860
15018
861
15019
862
15021
863
15022
864
15025
865
15027
866
15028
867
15029
868
15031
869
15035
870
15036
871
15042
872
15043
873
15045
874
15047
875
15049
876
15051
877
15052
878
15053
879
15054
880
15055
881
15057
882
15060
883
15061
884
15062
885
15063
886
15064
887
15065
888
15068
889
15070
890
15072
891
15073
892
15074
893
15075
894
15077
895
15078
896
15079
897
15080
898
15081
899
15082
900
15083
901
15086
902
15089
903
15090
904
15092
905
15093
906
15097
907
15098
908
15099
909
15100
910
15101
911
15102
912
15103
913
15111
914
15113
915
15114
916
15115
917
15116
918
15117
919
15118
920
15120
921
15121
922
15122
923
15123
924
15124
925
15125
926
15127
927
15128
928
15129
929
15130
930
15133
931
15135
932
15136
933
15138
934
15140
935
15141
936
15144
937
15145
938
15146
939
15147
940
15148
941
15149
942
15150
943
15151
944
15152
945
15153
946
15154
947
15155
948
15156
949
15160
950
15161
951
15162
952
15163
953
15165
954
15166
955
15167
956
15170
957
15172
958
15179
959
15181
960
15182
961
15183
962
15222
963
15223
964
15227
965
15231
966
15233
967
15234
968
15236
969
15237
970
15238
971
15242
972
15243
973
15244
974
15246
975
15247
976
15249
977
15250
978
15251
979
15252
980
15254
981
15256
982
15257
983
15259
984
15261
985
15262
986
15264
987
15265
988
15266
989
15267
990
15270
991
15271
992
15273
993
15274
994
15275
995
15276
996
15277
997
15279
998
15281
999
15282
1000
15283
1001
15284
1002
15286
1003
15287
1004
15288
1005
15289
1006
15290
1007
15291
1008
15292
1009
15293
1010
15294
1011
15295
1012
15296
1013
15297
1014
15299
1015
15301
1016
15303
1017
15305
1018
15306
1019
15308
1020
15309
1021
15311
1022
15312
1023
15314
1024
15315
1025
15316
1026
15318
1027
15319
1028
15320
1029
15322
1030
15323
1031
15324
1032
15327
1033
15328
1034
15330
1035
15334
1036
15335
1037
15336
1038
15337
1039
15339
1040
15341
1041
15342
1042
15343
1043
15345
1044
15346
1045
15348
1046
15350
1047
15351
1048
15353
1049
15354
1050
15355
1051
15356
1052
15358
1053
15360
1054
15361
1055
15362
1056
15364
1057
15366
1058
15367
1059
15368
1060
15369
1061
15370
1062
15377
1063
15378
1064
15382
1065
15383
1066
15386
1067
15387
1068
15388
1069
15389
1070
15390
1071
15391
1072
15392
1073
15393
1074
15394
1075
15395
1076
15396
1077
15397
1078
15398
1079
15399
1080
15402
1081
15403
1082
15407
1083
15409
1084
15410
1085
15411
1086
15412
1087
15413
1088
15415
1089
15416
1090
15417
1091
15418
1092
15419
1093
15420
1094
15421
1095
15422
1096
15423
1097
15425
1098
15426
1099
15427
1100
15428
1101
15429
1102
15430
1103
15431
1104
15432
1105
15433
1106
15434
1107
15436
1108
15437
1109
15438
1110
15439
1111
15440
1112
15442
1113
15443
1114
15445
1115
15446
1116
15447
1117
15448
1118
15449
1119
15450
1120
15451
1121
15456
1122
15457
1123
15458
1124
15460
1125
15461
1126
15462
1127
15463
1128
15464
1129
15465
1130
15466
1131
15467
1132
15469
1133
15470
1134
15471
1135
15473
1136
15474
1137
15477
1138
15478
1139
15479
1140
15481
1141
15482
1142
15483
1143
15484
1144
15485
1145
15486
1146
15489
1147
15491
1148
15492
1149
15494
1150
15495
1151
15496
1152
15497
1153
15498
1154
15499