Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo-1.4b-wcnf-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_min-enc_warehouses_cap131.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/warehouses/cap131.wcsp.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 34569756
o 34462704
o 34450503
o 30096165
o 30041199
o 29669757
o 28761549
o 28731029
o 24175566
o 24172723
o 24156796
o 23790146
o 22879396
o 22831604
o 22830656
o 20853754
o 20153090
o 20152333
o 19581823
o 19581695
o 19575783
o 19470665
o 19463379
o 19057071
o 18986844
o 18722164
o 18697724
o 18685900
o 18675718
o 18662731
o 18276589
o 18173903
o 18170392
o 15823253
o 15772363
c core #1
c 
c 
c Core size: 51	Core Weight: 26097	Total Weight: 26097
c
c
c core #2
c 
c 
c Core size: 51	Core Weight: 11484	Total Weight: 37581
c
c
c core #3
c 
c 
c Core size: 51	Core Weight: 49140	Total Weight: 86721
c
c
c core #4
c 
c 
c Core size: 51	Core Weight: 115483	Total Weight: 202204
c
c
c core #5
c 
c 
c Core size: 51	Core Weight: 5665	Total Weight: 207869
c
c
c core #6
c 
c 
c Core size: 51	Core Weight: 35147	Total Weight: 243016
c
c
c core #7
c 
c 
c Core size: 51	Core Weight: 284992	Total Weight: 528008
c
c
c core #8
c 
c 
c Core size: 51	Core Weight: 63706	Total Weight: 591714
c
c
c core #9
c 
c 
c Core size: 51	Core Weight: 6979	Total Weight: 598693
c
c
c core #10
c 
c 
c Core size: 51	Core Weight: 4644	Total Weight: 603337
c
c
c core #11
c 
c 
c Core size: 51	Core Weight: 126385	Total Weight: 729722
c
c
c core #12
c 
c 
c Core size: 51	Core Weight: 12317	Total Weight: 742039
c
c
c core #13
c 
c 
c Core size: 51	Core Weight: 51859	Total Weight: 793898
c
c
c core #14
c 
c 
c Core size: 51	Core Weight: 12172	Total Weight: 806070
c
c
c core #15
c 
c 
c Core size: 51	Core Weight: 73108	Total Weight: 879178
c
c
c core #16
c 
c 
c Core size: 51	Core Weight: 81357	Total Weight: 960535
c
c
c core #17
c 
c 
c Core size: 51	Core Weight: 15311	Total Weight: 975846
c
c
c core #18
c 
c 
c Core size: 51	Core Weight: 114231	Total Weight: 1090077
c
c
c core #19
c 
c 
c Core size: 51	Core Weight: 20619	Total Weight: 1110696
c
c
c core #20
c 
c 
c Core size: 51	Core Weight: 36562	Total Weight: 1147258
c
c
c core #21
c 
c 
c Core size: 51	Core Weight: 3904	Total Weight: 1151162
c
c
c core #22
c 
c 
c Core size: 51	Core Weight: 111668	Total Weight: 1262830
c
c
c core #23
c 
c 
c Core size: 51	Core Weight: 35530	Total Weight: 1298360
c
c
c core #24
c 
c 
c Core size: 51	Core Weight: 52706	Total Weight: 1351066
c
c
c core #25
c 
c 
c Core size: 51	Core Weight: 16344	Total Weight: 1367410
c
c
c core #26
c 
c 
c Core size: 51	Core Weight: 1240512	Total Weight: 2607922
c
c
c core #27
c 
c 
c Core size: 51	Core Weight: 8005	Total Weight: 2615927
c
c
c core #28
c 
c 
c Core size: 51	Core Weight: 29582	Total Weight: 2645509
c
c
c core #29
c 
c 
c Core size: 51	Core Weight: 80499	Total Weight: 2726008
c
c
c core #30
c 
c 
c Core size: 51	Core Weight: 22204	Total Weight: 2748212
c
c
c core #31
c 
c 
c Core size: 51	Core Weight: 11994	Total Weight: 2760206
c
c
c core #32
c 
c 
c Core size: 51	Core Weight: 73466	Total Weight: 2833672
c
c
c core #33
c 
c 
c Core size: 51	Core Weight: 1308954	Total Weight: 4142626
c
c
c core #34
c 
c 
c Core size: 51	Core Weight: 31768	Total Weight: 4174394
c
c
c core #35
c 
c 
c Core size: 51	Core Weight: 29920	Total Weight: 4204314
c
c
c core #36
c 
c 
c Core size: 51	Core Weight: 329931	Total Weight: 4534245
c
c
c core #37
c 
c 
c Core size: 51	Core Weight: 102627	Total Weight: 4636872
c
c
c core #38
c 
c 
c Core size: 51	Core Weight: 213879	Total Weight: 4850751
c
c
c core #39
c 
c 
c Core size: 51	Core Weight: 28290	Total Weight: 4879041
c
c
c core #40
c 
c 
c Core size: 51	Core Weight: 50430	Total Weight: 4929471
c
c
c core #41
c 
c 
c Core size: 51	Core Weight: 80982	Total Weight: 5010453
c
c
c core #42
c 
c 
c Core size: 51	Core Weight: 57750	Total Weight: 5068203
c
c
c core #43
c 
c 
c Core size: 51	Core Weight: 72750	Total Weight: 5140953
c
c
c core #44
c 
c 
c Core size: 51	Core Weight: 680423	Total Weight: 5821376
c
c
c core #45
c 
c 
c Core size: 51	Core Weight: 213028	Total Weight: 6034404
c
c
c core #46
c 
c 
c Core size: 51	Core Weight: 55916	Total Weight: 6090320
c
c
c core #47
c 
c 
c Core size: 51	Core Weight: 10871	Total Weight: 6101191
c
c
c core #48
c 
c 
c Core size: 51	Core Weight: 119499	Total Weight: 6220690
c
c
c core #49
c 
c 
c Core size: 51	Core Weight: 20007	Total Weight: 6240697
c
c
c core #50
c 
c 
c Core size: 52	Core Weight: 6826	Total Weight: 6247523
c
c
c core #51
c 
c 
c Core size: 53	Core Weight: 3686	Total Weight: 6251209
c
c
c core #52
c 
c 
c Core size: 54	Core Weight: 1314	Total Weight: 6252523
c
c
c core #53
c 
c 
c Core size: 55	Core Weight: 548	Total Weight: 6253071
c
c
c core #54
c 
c 
c Core size: 56	Core Weight: 1003	Total Weight: 6254074
c
c
c core #55
c 
c 
c Core size: 57	Core Weight: 2355	Total Weight: 6256429
c
c
c core #56
c 
c 
c Core size: 58	Core Weight: 638	Total Weight: 6257067
c
c
c core #57
c 
c 
c Core size: 59	Core Weight: 1278	Total Weight: 6258345
c
c
c core #58
c 
c 
c Core size: 60	Core Weight: 4070	Total Weight: 6262415
c
c
c core #59
c 
c 
c Core size: 61	Core Weight: 1168	Total Weight: 6263583
c
c
c core #60
c 
c 
c Core size: 62	Core Weight: 1350	Total Weight: 6264933
c
c
c core #61
c 
c 
c Core size: 63	Core Weight: 55	Total Weight: 6264988
c
c
c core #62
c 
c 
c Core size: 64	Core Weight: 1807	Total Weight: 6266795
c
c
c core #63
c 
c 
c Core size: 52	Core Weight: 2979	Total Weight: 6269774
c
c
c core #64
c 
c 
c Core size: 53	Core Weight: 925	Total Weight: 6270699
c
c
c core #65
c 
c 
c Core size: 54	Core Weight: 2403	Total Weight: 6273102
c
c
c core #66
c 
c 
c Core size: 55	Core Weight: 598	Total Weight: 6273700
c
c
c core #67
c 
c 
c Core size: 56	Core Weight: 1969	Total Weight: 6275669
c
c
c core #68
c 
c 
c Core size: 57	Core Weight: 1533	Total Weight: 6277202
c
c
c core #69
c 
c 
c Core size: 58	Core Weight: 772	Total Weight: 6277974
c
c
c core #70
c 
c 
c Core size: 59	Core Weight: 196	Total Weight: 6278170
c
c
c core #71
c 
c 
c Core size: 60	Core Weight: 109	Total Weight: 6278279
c
c
c core #72
c 
c 
c Core size: 52	Core Weight: 16548	Total Weight: 6294827
c
c
c core #73
c 
c 
c Core size: 53	Core Weight: 4620	Total Weight: 6299447
c
c
c core #74
c 
c 
c Core size: 54	Core Weight: 3108	Total Weight: 6302555
c
c
c core #75
c 
c 
c Core size: 55	Core Weight: 15540	Total Weight: 6318095
c
c
c core #76
c 
c 
c Core size: 56	Core Weight: 2520	Total Weight: 6320615
c
c
c core #77
c 
c 
c Core size: 57	Core Weight: 6804	Total Weight: 6327419
c
c
c core #78
c 
c 
c Core size: 52	Core Weight: 6351	Total Weight: 6333770
c
c
c core #79
c 
c 
c Core size: 53	Core Weight: 30082	Total Weight: 6363852
c
c
c core #80
c 
c 
c Core size: 54	Core Weight: 15209	Total Weight: 6379061
c
c
c core #81
c 
c 
c Core size: 55	Core Weight: 4512	Total Weight: 6383573
c
c
c core #82
c 
c 
c Core size: 56	Core Weight: 18846	Total Weight: 6402419
c
c
c core #83
c 
c 
c Core size: 52	Core Weight: 2480	Total Weight: 6404899
c
c
c core #84
c 
c 
c Core size: 53	Core Weight: 240	Total Weight: 6405139
c
c
c core #85
c 
c 
c Core size: 54	Core Weight: 376	Total Weight: 6405515
c
c
c core #86
c 
c 
c Core size: 55	Core Weight: 322	Total Weight: 6405837
c
c
c core #87
c 
c 
c Core size: 56	Core Weight: 395	Total Weight: 6406232
c
c
c core #88
c 
c 
c Core size: 57	Core Weight: 15	Total Weight: 6406247
c
c
c core #89
c 
c 
c Core size: 58	Core Weight: 62	Total Weight: 6406309
c
c
c core #90
c 
c 
c Core size: 59	Core Weight: 597	Total Weight: 6406906
c
c
c core #91
c 
c 
c Core size: 60	Core Weight: 16	Total Weight: 6406922
c
c
c core #92
c 
c 
c Core size: 61	Core Weight: 449	Total Weight: 6407371
c
c
c core #93
c 
c 
c Core size: 62	Core Weight: 465	Total Weight: 6407836
c
c
c core #94
c 
c 
c Core size: 63	Core Weight: 248	Total Weight: 6408084
c
c
c core #95
c 
c 
c Core size: 52	Core Weight: 14324	Total Weight: 6422408
c
c
c core #96
c 
c 
c Core size: 53	Core Weight: 13067	Total Weight: 6435475
c
c
c core #97
c 
c 
c Core size: 54	Core Weight: 70	Total Weight: 6435545
c
c
c core #98
c 
c 
c Core size: 55	Core Weight: 1607	Total Weight: 6437152
c
c
c core #99
c 
c 
c Core size: 56	Core Weight: 5450	Total Weight: 6442602
c
c
c core #100
c 
c 
c Core size: 57	Core Weight: 629	Total Weight: 6443231
c
c
c core #101
c 
c 
c Core size: 52	Core Weight: 75000	Total Weight: 6518231
c
c
c core #102
c 
c 
c Core size: 52	Core Weight: 24911	Total Weight: 6543142
c
c
c core #103
c 
c 
c Core size: 53	Core Weight: 21235	Total Weight: 6564377
c
c
c core #104
c 
c 
c Core size: 54	Core Weight: 11435	Total Weight: 6575812
c
c
c core #105
c 
c 
c Core size: 55	Core Weight: 6126	Total Weight: 6581938
c
c
c core #106
c 
c 
c Core size: 52	Core Weight: 998	Total Weight: 6582936
c
c
c core #107
c 
c 
c Core size: 53	Core Weight: 2525	Total Weight: 6585461
c
c
c core #108
c 
c 
c Core size: 54	Core Weight: 115	Total Weight: 6585576
c
c
c core #109
c 
c 
c Core size: 55	Core Weight: 640	Total Weight: 6586216
c
c
c core #110
c 
c 
c Core size: 56	Core Weight: 16	Total Weight: 6586232
c
c
c core #111
c 
c 
c Core size: 57	Core Weight: 293	Total Weight: 6586525
c
c
c core #112
c 
c 
c Core size: 58	Core Weight: 470	Total Weight: 6586995
c
c
c core #113
c 
c 
c Core size: 59	Core Weight: 17	Total Weight: 6587012
c
c
c core #114
c 
c 
c Core size: 60	Core Weight: 66	Total Weight: 6587078
c
c
c core #115
c 
c 
c Core size: 61	Core Weight: 635	Total Weight: 6587713
c
c
c core #116
c 
c 
c Core size: 62	Core Weight: 495	Total Weight: 6588208
c
c
c core #117
c 
c 
c Core size: 63	Core Weight: 347	Total Weight: 6588555
c
c
c core #118
c 
c 
c Core size: 64	Core Weight: 148	Total Weight: 6588703
c
c
c core #119
c 
c 
c Core size: 65	Core Weight: 215	Total Weight: 6588918
c
c
c core #120
c 
c 
c Core size: 52	Core Weight: 820	Total Weight: 6589738
c
c
c core #121
c 
c 
c Core size: 53	Core Weight: 1208	Total Weight: 6590946
c
c
c core #122
c 
c 
c Core size: 54	Core Weight: 712	Total Weight: 6591658
c
c
c core #123
c 
c 
c Core size: 55	Core Weight: 304	Total Weight: 6591962
c
c
c core #124
c 
c 
c Core size: 56	Core Weight: 640	Total Weight: 6592602
c
c
c core #125
c 
c 
c Core size: 57	Core Weight: 44	Total Weight: 6592646
c
c
c core #126
c 
c 
c Core size: 58	Core Weight: 324	Total Weight: 6592970
c
c
c core #127
c 
c 
c Core size: 59	Core Weight: 96	Total Weight: 6593066
c
c
c core #128
c 
c 
c Core size: 60	Core Weight: 368	Total Weight: 6593434
c
c
c core #129
c 
c 
c Core size: 61	Core Weight: 128	Total Weight: 6593562
c
c
c core #130
c 
c 
c Core size: 52	Core Weight: 72985	Total Weight: 6666547
c
c
c core #131
c 
c 
c Core size: 52	Core Weight: 12317	Total Weight: 6678864
c
c
c core #132
c 
c 
c Core size: 52	Core Weight: 36204	Total Weight: 6715068
c
c
c core #133
c 
c 
c Core size: 52	Core Weight: 5238	Total Weight: 6720306
c
c
c core #134
c 
c 
c Core size: 53	Core Weight: 2127	Total Weight: 6722433
c
c
c core #135
c 
c 
c Core size: 54	Core Weight: 3217	Total Weight: 6725650
c
c
c core #136
c 
c 
c Core size: 55	Core Weight: 143	Total Weight: 6725793
c
c
c core #137
c 
c 
c Core size: 56	Core Weight: 626	Total Weight: 6726419
c
c
c core #138
c 
c 
c Core size: 57	Core Weight: 483	Total Weight: 6726902
c
c
c core #139
c 
c 
c Core size: 58	Core Weight: 339	Total Weight: 6727241
c
c
c core #140
c 
c 
c Core size: 52	Core Weight: 23293	Total Weight: 6750534
c
c
c core #141
c 
c 
c Core size: 53	Core Weight: 15298	Total Weight: 6765832
c
c
c core #142
c 
c 
c Core size: 54	Core Weight: 6457	Total Weight: 6772289
c
c
c core #143
c 
c 
c Core size: 55	Core Weight: 1154	Total Weight: 6773443
c
c
c core #144
c 
c 
c Core size: 56	Core Weight: 6380	Total Weight: 6779823
c
c
c core #145
c 
c 
c Core size: 57	Core Weight: 2076	Total Weight: 6781899
c
c
c core #146
c 
c 
c Core size: 58	Core Weight: 3382	Total Weight: 6785281
c
c
c core #147
c 
c 
c Core size: 59	Core Weight: 2460	Total Weight: 6787741
c
c
c core #148
c 
c 
c Core size: 60	Core Weight: 1471	Total Weight: 6789212
c
c
c core #149
c 
c 
c Core size: 52	Core Weight: 15439	Total Weight: 6804651
c
c
c core #150
c 
c 
c Core size: 53	Core Weight: 25169	Total Weight: 6829820
c
c
c core #151
c 
c 
c Core size: 54	Core Weight: 4230	Total Weight: 6834050
c
c
c core #152
c 
c 
c Core size: 55	Core Weight: 6415	Total Weight: 6840465
c
c
c core #153
c 
c 
c Core size: 56	Core Weight: 1904	Total Weight: 6842369
c
c
c core #154
c 
c 
c Core size: 57	Core Weight: 375	Total Weight: 6842744
c
c
c core #155
c 
c 
c Core size: 52	Core Weight: 10114	Total Weight: 6852858
c
c
c core #156
c 
c 
c Core size: 52	Core Weight: 57439	Total Weight: 6910297
c
c
c core #157
c 
c 
c Core size: 52	Core Weight: 7337	Total Weight: 6917634
c
c
c core #158
c 
c 
c Core size: 53	Core Weight: 7464	Total Weight: 6925098
c
c
c core #159
c 
c 
c Core size: 52	Core Weight: 10628	Total Weight: 6935726
c
c
c core #160
c 
c 
c Core size: 53	Core Weight: 195	Total Weight: 6935921
c
c
c core #161
c 
c 
c Core size: 54	Core Weight: 6678	Total Weight: 6942599
c
c
c core #162
c 
c 
c Core size: 55	Core Weight: 610	Total Weight: 6943209
c
c
c core #163
c 
c 
c Core size: 52	Core Weight: 1150	Total Weight: 6944359
c
c
c core #164
c 
c 
c Core size: 53	Core Weight: 503	Total Weight: 6944862
c
c
c core #165
c 
c 
c Core size: 54	Core Weight: 1378	Total Weight: 6946240
c
c
c core #166
c 
c 
c Core size: 52	Core Weight: 37526	Total Weight: 6983766
c
c
c core #167
c 
c 
c Core size: 52	Core Weight: 11628	Total Weight: 6995394
c
c
c core #168
c 
c 
c Core size: 53	Core Weight: 1672	Total Weight: 6997066
c
c
c core #169
c 
c 
c Core size: 54	Core Weight: 3572	Total Weight: 7000638
c
c
c core #170
c 
c 
c Core size: 55	Core Weight: 3914	Total Weight: 7004552
c
c
c core #171
c 
c 
c Core size: 56	Core Weight: 3420	Total Weight: 7007972
c
c
c core #172
c 
c 
c Core size: 57	Core Weight: 4067	Total Weight: 7012039
c
c
c core #173
c 
c 
c Core size: 52	Core Weight: 28287	Total Weight: 7040326
c
c
c core #174
c 
c 
c Core size: 53	Core Weight: 2724	Total Weight: 7043050
c
c
c core #175
c 
c 
c Core size: 52	Core Weight: 11669	Total Weight: 7054719
c
c
c core #176
c 
c 
c Core size: 53	Core Weight: 1516	Total Weight: 7056235
c
c
c core #177
c 
c 
c Core size: 54	Core Weight: 1222	Total Weight: 7057457
c
c
c core #178
c 
c 
c Core size: 55	Core Weight: 1938	Total Weight: 7059395
c
c
c core #179
c 
c 
c Core size: 52	Core Weight: 75000	Total Weight: 7134395
c
c
c core #180
c 
c 
c Core size: 52	Core Weight: 8006	Total Weight: 7142401
c
c
c core #181
c 
c 
c Core size: 52	Core Weight: 17172	Total Weight: 7159573
c
c
c core #182
c 
c 
c Core size: 53	Core Weight: 4458	Total Weight: 7164031
c
c
c core #183
c 
c 
c Core size: 54	Core Weight: 1265	Total Weight: 7165296
c
c
c core #184
c 
c 
c Core size: 55	Core Weight: 6688	Total Weight: 7171984
c
c
c core #185
c 
c 
c Core size: 52	Core Weight: 22646	Total Weight: 7194630
c
c
c core #186
c 
c 
c Core size: 53	Core Weight: 18934	Total Weight: 7213564
c
c
c core #187
c 
c 
c Core size: 54	Core Weight: 2722	Total Weight: 7216286
c
c
c core #188
c 
c 
c Core size: 52	Core Weight: 7681	Total Weight: 7223967
c
c
c core #189
c 
c 
c Core size: 53	Core Weight: 141	Total Weight: 7224108
c
c
c core #190
c 
c 
c Core size: 52	Core Weight: 7527	Total Weight: 7231635
c
c
c core #191
c 
c 
c Core size: 53	Core Weight: 1077	Total Weight: 7232712
c
c
c core #192
c 
c 
c Core size: 52	Core Weight: 16354	Total Weight: 7249066
c
c
c core #193
c 
c 
c Core size: 53	Core Weight: 14043	Total Weight: 7263109
c
c
c core #194
c 
c 
c Core size: 52	Core Weight: 75000	Total Weight: 7338109
c
c
c core #195
c 
c 
c Core size: 52	Core Weight: 11497	Total Weight: 7349606
c
c
c core #196
c 
c 
c Core size: 53	Core Weight: 1438	Total Weight: 7351044
c
c
c core #197
c 
c 
c Core size: 52	Core Weight: 8144	Total Weight: 7359188
c
c
c core #198
c 
c 
c Core size: 53	Core Weight: 3477	Total Weight: 7362665
c
c
c core #199
c 
c 
c Core size: 52	Core Weight: 36433	Total Weight: 7399098
c
c
c core #200
c 
c 
c Core size: 52	Core Weight: 48133	Total Weight: 7447231
c
c
c core #201
c 
c 
c Core size: 52	Core Weight: 23089	Total Weight: 7470320
c
c
c core #202
c 
c 
c Core size: 53	Core Weight: 5463	Total Weight: 7475783
c
c
c core #203
c 
c 
c Core size: 54	Core Weight: 34457	Total Weight: 7510240
c
c
c core #204
c 
c 
c Core size: 55	Core Weight: 11991	Total Weight: 7522231
c
c
c core #205
c 
c 
c Core size: 52	Core Weight: 8077	Total Weight: 7530308
c
c
c core #206
c 
c 
c Core size: 53	Core Weight: 4674	Total Weight: 7534982
c
c
c core #207
c 
c 
c Core size: 52	Core Weight: 48597	Total Weight: 7583579
c
c
c core #208
c 
c 
c Core size: 52	Core Weight: 52499	Total Weight: 7636078
c
c
c core #209
c 
c 
c Core size: 53	Core Weight: 2793	Total Weight: 7638871
c
c
c core #210
c 
c 
c Core size: 52	Core Weight: 17840	Total Weight: 7656711
c
c
c core #211
c 
c 
c Core size: 53	Core Weight: 3266	Total Weight: 7659977
c
c
c core #212
c 
c 
c Core size: 52	Core Weight: 20562	Total Weight: 7680539
c
c
c core #213
c 
c 
c Core size: 52	Core Weight: 75000	Total Weight: 7755539
c
c
c core #214
c 
c 
c Core size: 52	Core Weight: 23089	Total Weight: 7778628
c
c
c core #215
c 
c 
c Core size: 52	Core Weight: 10850	Total Weight: 7789478
c
c
c core #216
c 
c 
c Core size: 53	Core Weight: 6716	Total Weight: 7796194
c
c
c core #217
c 
c 
c Core size: 54	Core Weight: 8241	Total Weight: 7804435
c
c
c core #218
c 
c 
c Core size: 52	Core Weight: 2138	Total Weight: 7806573
c
c
c core #219
c 
c 
c Core size: 53	Core Weight: 2671	Total Weight: 7809244
c
c
c core #220
c 
c 
c Core size: 54	Core Weight: 49	Total Weight: 7809293
c
c
c core #221
c 
c 
c Core size: 55	Core Weight: 1678	Total Weight: 7810971
c
c
c core #222
c 
c 
c Core size: 52	Core Weight: 1677	Total Weight: 7812648
c
c
c core #223
c 
c 
c Core size: 52	Core Weight: 6133	Total Weight: 7818781
c
c
c core #224
c 
c 
c Core size: 108	Core Weight: 1003	Total Weight: 7819784
c
c
c core #225
c 
c 
c Core size: 108	Core Weight: 2355	Total Weight: 7822139
c
c
c core #226
c 
c 
c Core size: 162	Core Weight: 638	Total Weight: 7822777
c
c
c core #227
c 
c 
c Core size: 162	Core Weight: 213	Total Weight: 7822990
c
c
c core #228
c 
c 
c Core size: 165	Core Weight: 153	Total Weight: 7823143
c
c
c core #229
c 
c 
c Core size: 109	Core Weight: 912	Total Weight: 7824055
c
c
c core #230
c 
c 
c Core size: 162	Core Weight: 3801	Total Weight: 7827856
c
c
c core #231
c 
c 
c Core size: 163	Core Weight: 269	Total Weight: 7828125
c
c
c core #232
c 
c 
c Core size: 215	Core Weight: 1168	Total Weight: 7829293
c
c
c core #233
c 
c 
c Core size: 215	Core Weight: 166	Total Weight: 7829459
c
c
c core #234
c 
c 
c Core size: 214	Core Weight: 499	Total Weight: 7829958
c
c
c core #235
c 
c 
c Core size: 162	Core Weight: 685	Total Weight: 7830643
c
c
c core #236
c 
c 
c Core size: 162	Core Weight: 55	Total Weight: 7830698
c
c
c core #237
c 
c 
c Core size: 162	Core Weight: 1807	Total Weight: 7832505
c
c
c core #238
c 
c 
c Core size: 107	Core Weight: 1969	Total Weight: 7834474
c
c
c core #239
c 
c 
c Core size: 107	Core Weight: 91	Total Weight: 7834565
c
c
c core #240
c 
c 
c Core size: 107	Core Weight: 82	Total Weight: 7834647
c
c
c core #241
c 
c 
c Core size: 109	Core Weight: 1360	Total Weight: 7836007
c
c
c core #242
c 
c 
c Core size: 109	Core Weight: 772	Total Weight: 7836779
c
c
c core #243
c 
c 
c Core size: 111	Core Weight: 196	Total Weight: 7836975
c
c
c core #244
c 
c 
c Core size: 111	Core Weight: 94	Total Weight: 7837069
c
c
c core #245
c 
c 
c Core size: 109	Core Weight: 15	Total Weight: 7837084
c
c
c core #246
c 
c 
c Core size: 109	Core Weight: 2833	Total Weight: 7839917
c
c
c core #247
c 
c 
c Core size: 110	Core Weight: 275	Total Weight: 7840192
c
c
c core #248
c 
c 
c Core size: 163	Core Weight: 2671	Total Weight: 7842863
c
c
c core #249
c 
c 
c Core size: 163	Core Weight: 38	Total Weight: 7842901
c
c
c core #250
c 
c 
c Core size: 108	Core Weight: 682	Total Weight: 7843583
c
c
c core #251
c 
c 
c Core size: 105	Core Weight: 15209	Total Weight: 7858792
c
c
c core #252
c 
c 
c Core size: 105	Core Weight: 3976	Total Weight: 7862768
c
c
c core #253
c 
c 
c Core size: 107	Core Weight: 536	Total Weight: 7863304
c
c
c core #254
c 
c 
c Core size: 107	Core Weight: 7500	Total Weight: 7870804
c
c
c core #255
c 
c 
c Core size: 108	Core Weight: 902	Total Weight: 7871706
c
c
c core #256
c 
c 
c Core size: 106	Core Weight: 9781	Total Weight: 7881487
c
c
c core #257
c 
c 
c Core size: 108	Core Weight: 148	Total Weight: 7881635
c
c
c core #258
c 
c 
c Core size: 109	Core Weight: 317	Total Weight: 7881952
c
c
c core #259
c 
c 
c Core size: 109	Core Weight: 248	Total Weight: 7882200
c
c
c core #260
c 
c 
c Core size: 105	Core Weight: 11435	Total Weight: 7893635
c
c
c core #261
c 
c 
c Core size: 105	Core Weight: 4221	Total Weight: 7897856
c
c
c core #262
c 
c 
c Core size: 106	Core Weight: 993	Total Weight: 7898849
c
c
c core #263
c 
c 
c Core size: 106	Core Weight: 912	Total Weight: 7899761
c
c
c core #264
c 
c 
c Core size: 109	Core Weight: 347	Total Weight: 7900108
c
c
c core #265
c 
c 
c Core size: 109	Core Weight: 148	Total Weight: 7900256
c
c
c core #266
c 
c 
c Core size: 109	Core Weight: 215	Total Weight: 7900471
c
c
c core #267
c 
c 
c Core size: 109	Core Weight: 96	Total Weight: 7900567
c
c
c core #268
c 
c 
c Core size: 109	Core Weight: 368	Total Weight: 7900935
c
c
c core #269
c 
c 
c Core size: 109	Core Weight: 128	Total Weight: 7901063
c
c
c core #270
c 
c 
c Core size: 169	Core Weight: 15	Total Weight: 7901078
c
c
c core #271
c 
c 
c Core size: 167	Core Weight: 1	Total Weight: 7901079
c
c
c core #272
c 
c 
c Core size: 167	Core Weight: 449	Total Weight: 7901528
c
c
c core #273
c 
c 
c Core size: 167	Core Weight: 495	Total Weight: 7902023
c
c
c core #274
c 
c 
c Core size: 167	Core Weight: 405	Total Weight: 7902428
c
c
c core #275
c 
c 
c Core size: 168	Core Weight: 235	Total Weight: 7902663
c
c
c core #276
c 
c 
c Core size: 168	Core Weight: 44	Total Weight: 7902707
c
c
c core #277
c 
c 
c Core size: 168	Core Weight: 324	Total Weight: 7903031
c
c
c core #278
c 
c 
c Core size: 112	Core Weight: 2907	Total Weight: 7905938
c
c
c core #279
c 
c 
c Core size: 112	Core Weight: 2109	Total Weight: 7908047
c
c
c core #280
c 
c 
c Core size: 111	Core Weight: 1364	Total Weight: 7909411
c
c
c core #281
c 
c 
c Core size: 111	Core Weight: 2018	Total Weight: 7911429
c
c
c core #282
c 
c 
c Core size: 111	Core Weight: 58	Total Weight: 7911487
c
c
c core #283
c 
c 
c Core size: 109	Core Weight: 1160	Total Weight: 7912647
c
c
c core #284
c 
c 
c Core size: 110	Core Weight: 1242	Total Weight: 7913889
c
c
c core #285
c 
c 
c Core size: 110	Core Weight: 1471	Total Weight: 7915360
c
c
c core #286
c 
c 
c Core size: 225	Core Weight: 153	Total Weight: 7915513
c
c
c core #287
c 
c 
c Core size: 164	Core Weight: 2671	Total Weight: 7918184
c
c
c core #288
c 
c 
c Core size: 164	Core Weight: 38	Total Weight: 7918222
c
c
c core #289
c 
c 
c Core size: 108	Core Weight: 663	Total Weight: 7918885
c
c
c core #290
c 
c 
c Core size: 224	Core Weight: 222	Total Weight: 7919107
c
c
c core #291
c 
c 
c Core size: 224	Core Weight: 47	Total Weight: 7919154
c
c
c core #292
c 
c 
c Core size: 224	Core Weight: 337	Total Weight: 7919491
c
c
c core #293
c 
c 
c Core size: 214	Core Weight: 32	Total Weight: 7919523
c
c
c core #294
c 
c 
c Core size: 214	Core Weight: 213	Total Weight: 7919736
c
c
c core #295
c 
c 
c Core size: 273	Core Weight: 166	Total Weight: 7919902
c
c
c core #296
c 
c 
c Core size: 217	Core Weight: 15	Total Weight: 7919917
c
c
c core #297
c 
c 
c Core size: 217	Core Weight: 499	Total Weight: 7920416
c
c
c core #298
c 
c 
c Core size: 173	Core Weight: 44	Total Weight: 7920460
c
c
c core #299
c 
c 
c Core size: 223	Core Weight: 324	Total Weight: 7920784
c
c
c core #300
c 
c 
c Core size: 215	Core Weight: 20	Total Weight: 7920804
c
c
c core #301
c 
c 
c Core size: 215	Core Weight: 55	Total Weight: 7920859
c
c
c core #302
c 
c 
c Core size: 217	Core Weight: 232	Total Weight: 7921091
c
c
c core #303
c 
c 
c Core size: 218	Core Weight: 378	Total Weight: 7921469
c
c
c core #304
c 
c 
c Core size: 218	Core Weight: 147	Total Weight: 7921616
c
c
c core #305
c 
c 
c Core size: 219	Core Weight: 169	Total Weight: 7921785
c
c
c core #306
c 
c 
c Core size: 218	Core Weight: 743	Total Weight: 7922528
c
c
c core #307
c 
c 
c Core size: 220	Core Weight: 144	Total Weight: 7922672
c
c
c core #308
c 
c 
c Core size: 266	Core Weight: 256	Total Weight: 7922928
c
c
c core #309
c 
c 
c Core size: 215	Core Weight: 148	Total Weight: 7923076
c
c
c core #310
c 
c 
c Core size: 270	Core Weight: 61	Total Weight: 7923137
c
c
c core #311
c 
c 
c Core size: 219	Core Weight: 39	Total Weight: 7923176
c
c
c core #312
c 
c 
c Core size: 267	Core Weight: 47	Total Weight: 7923223
c
c
c core #313
c 
c 
c Core size: 266	Core Weight: 168	Total Weight: 7923391
c
c
c core #314
c 
c 
c Core size: 267	Core Weight: 96	Total Weight: 7923487
c
c
c core #315
c 
c 
c Core size: 225	Core Weight: 25	Total Weight: 7923512
c
c
c core #316
c 
c 
c Core size: 267	Core Weight: 79	Total Weight: 7923591
c
c
c core #317
c 
c 
c Core size: 314	Core Weight: 176	Total Weight: 7923767
c
c
c core #318
c 
c 
c Core size: 268	Core Weight: 113	Total Weight: 7923880
c
c
c core #319
c 
c 
c Core size: 373	Core Weight: 91	Total Weight: 7923971
c
c
c core #320
c 
c 
c Core size: 224	Core Weight: 128	Total Weight: 7924099
c
c
c core #321
c 
c 
c Core size: 277	Core Weight: 105	Total Weight: 7924204
c
c
c core #322
c 
c 
c Core size: 379	Core Weight: 41	Total Weight: 7924245
c
c
c core #323
c 
c 
c Core size: 379	Core Weight: 148	Total Weight: 7924393
c
c
c core #324
c 
c 
c Core size: 228	Core Weight: 27	Total Weight: 7924420
c
c
c core #325
c 
c 
c Core size: 168	Core Weight: 54	Total Weight: 7924474
c
c
c core #326
c 
c 
c Core size: 320	Core Weight: 727	Total Weight: 7925201
c
c
c core #327
c 
c 
c Core size: 276	Core Weight: 259	Total Weight: 7925460
c
c
c core #328
c 
c 
c Core size: 321	Core Weight: 25	Total Weight: 7925485
c
c
c core #329
c 
c 
c Core size: 321	Core Weight: 13	Total Weight: 7925498
c
c
c core #330
c 
c 
c Core size: 218	Core Weight: 219	Total Weight: 7925717
c
c
c core #331
c 
c 
c Core size: 267	Core Weight: 10	Total Weight: 7925727
c
c
c core #332
c 
c 
c Core size: 273	Core Weight: 259	Total Weight: 7925986
c
c
c core #333
c 
c 
c Core size: 221	Core Weight: 58	Total Weight: 7926044
c
c
c core #334
c 
c 
c Core size: 364	Core Weight: 100	Total Weight: 7926144
c
c
c core #335
c 
c 
c Core size: 379	Core Weight: 25	Total Weight: 7926169
c
c
c core #336
c 
c 
c Core size: 323	Core Weight: 105	Total Weight: 7926274
c
c
c core #337
c 
c 
c Core size: 320	Core Weight: 12	Total Weight: 7926286
c
c
c core #338
c 
c 
c Core size: 222	Core Weight: 67	Total Weight: 7926353
c
c
c core #339
c 
c 
c Core size: 389	Core Weight: 87	Total Weight: 7926440
c
c
c core #340
c 
c 
c Core size: 222	Core Weight: 88	Total Weight: 7926528
c
c
c core #341
c 
c 
c Core size: 326	Core Weight: 20	Total Weight: 7926548
c
c
c core #342
c 
c 
c Core size: 214	Core Weight: 344	Total Weight: 7926892
c
c
c core #343
c 
c 
c Core size: 318	Core Weight: 20	Total Weight: 7926912
c
c
c core #344
c 
c 
c Core size: 326	Core Weight: 26	Total Weight: 7926938
c
c
c core #345
c 
c 
c Core size: 322	Core Weight: 85	Total Weight: 7927023
c
c
c core #346
c 
c 
c Core size: 327	Core Weight: 29	Total Weight: 7927052
c
c
c core #347
c 
c 
c Core size: 344	Core Weight: 32	Total Weight: 7927084
c
c
c core #348
c 
c 
c Core size: 265	Core Weight: 25	Total Weight: 7927109
c
c
c core #349
c 
c 
c Core size: 371	Core Weight: 52	Total Weight: 7927161
c
c
c core #350
c 
c 
c Core size: 336	Core Weight: 10	Total Weight: 7927171
c
c
c core #351
c 
c 
c Core size: 272	Core Weight: 16	Total Weight: 7927187
c
c
c core #352
c 
c 
c Core size: 327	Core Weight: 96	Total Weight: 7927283
c
c
c core #353
c 
c 
c Core size: 268	Core Weight: 58	Total Weight: 7927341
c
c
c core #354
c 
c 
c Core size: 273	Core Weight: 378	Total Weight: 7927719
c
c
c core #355
c 
c 
c Core size: 377	Core Weight: 71	Total Weight: 7927790
c
c
c core #356
c 
c 
c Core size: 329	Core Weight: 79	Total Weight: 7927869
c
c
c core #357
c 
c 
c Core size: 270	Core Weight: 16	Total Weight: 7927885
c
c
c core #358
c 
c 
c Core size: 270	Core Weight: 25	Total Weight: 7927910
c
c
c core #359
c 
c 
c Core size: 271	Core Weight: 2	Total Weight: 7927912
c
c
c core #360
c 
c 
c Core size: 269	Core Weight: 166	Total Weight: 7928078
c
c
c core #361
c 
c 
c Core size: 321	Core Weight: 52	Total Weight: 7928130
c
c
c core #362
c 
c 
c Core size: 382	Core Weight: 39	Total Weight: 7928169
c
c
c core #363
c 
c 
c Core size: 436	Core Weight: 61	Total Weight: 7928230
c
c
c core #364
c 
c 
c Core size: 439	Core Weight: 11	Total Weight: 7928241
c
c
c core #365
c 
c 
c Core size: 390	Core Weight: 4	Total Weight: 7928245
c
c
c core #366
c 
c 
c Core size: 389	Core Weight: 49	Total Weight: 7928294
c
c
c core #367
c 
c 
c Core size: 294	Core Weight: 126	Total Weight: 7928420
c
c
c core #368
c 
c 
c Core size: 293	Core Weight: 43	Total Weight: 7928463
c
c
c core #369
c 
c 
c Core size: 323	Core Weight: 66	Total Weight: 7928529
c
c
c core #370
c 
c 
c Core size: 336	Core Weight: 47	Total Weight: 7928576
c
c
c core #371
c 
c 
c Core size: 217	Core Weight: 479	Total Weight: 7929055
c
c
c core #372
c 
c 
c Core size: 390	Core Weight: 30	Total Weight: 7929085
c
c
c core #373
c 
c 
c Core size: 264	Core Weight: 49	Total Weight: 7929134
c
c
c core #374
c 
c 
c Core size: 387	Core Weight: 47	Total Weight: 7929181
c
c
c core #375
c 
c 
c Core size: 387	Core Weight: 32	Total Weight: 7929213
c
c
c core #376
c 
c 
c Core size: 267	Core Weight: 14	Total Weight: 7929227
c
c
c core #377
c 
c 
c Core size: 267	Core Weight: 115	Total Weight: 7929342
c
c
c core #378
c 
c 
c Core size: 330	Core Weight: 13	Total Weight: 7929355
c
c
c core #379
c 
c 
c Core size: 330	Core Weight: 79	Total Weight: 7929434
c
c
c core #380
c 
c 
c Core size: 267	Core Weight: 56	Total Weight: 7929490
c
c
c core #381
c 
c 
c Core size: 343	Core Weight: 15	Total Weight: 7929505
c
c
c core #382
c 
c 
c Core size: 444	Core Weight: 2	Total Weight: 7929507
c
c
c core #383
c 
c 
c Core size: 374	Core Weight: 6	Total Weight: 7929513
c
c
c core #384
c 
c 
c Core size: 322	Core Weight: 1	Total Weight: 7929514
c
c
c core #385
c 
c 
c Core size: 381	Core Weight: 39	Total Weight: 7929553
c
c
c core #386
c 
c 
c Core size: 284	Core Weight: 15	Total Weight: 7929568
c
c
c core #387
c 
c 
c Core size: 278	Core Weight: 28	Total Weight: 7929596
c
c
c core #388
c 
c 
c Core size: 279	Core Weight: 117	Total Weight: 7929713
c
c
c core #389
c 
c 
c Core size: 285	Core Weight: 60	Total Weight: 7929773
c
c
c core #390
c 
c 
c Core size: 334	Core Weight: 22	Total Weight: 7929795
c
c
c core #391
c 
c 
c Core size: 373	Core Weight: 15	Total Weight: 7929810
c
c
c core #392
c 
c 
c Core size: 451	Core Weight: 32	Total Weight: 7929842
c
c
c core #393
c 
c 
c Core size: 337	Core Weight: 12	Total Weight: 7929854
c
c
c core #394
c 
c 
c Core size: 428	Core Weight: 12	Total Weight: 7929866
c
c
c core #395
c 
c 
c Core size: 319	Core Weight: 97	Total Weight: 7929963
c
c
c core #396
c 
c 
c Core size: 440	Core Weight: 2	Total Weight: 7929965
c
c
c core #397
c 
c 
c Core size: 435	Core Weight: 13	Total Weight: 7929978
c
c
c core #398
c 
c 
c Core size: 435	Core Weight: 1	Total Weight: 7929979
c
c
c core #399
c 
c 
c Core size: 379	Core Weight: 24	Total Weight: 7930003
c
c
c core #400
c 
c 
c Core size: 391	Core Weight: 1	Total Weight: 7930004
c
c
c core #401
c 
c 
c Core size: 344	Core Weight: 8	Total Weight: 7930012
c
c
c core #402
c 
c 
c Core size: 345	Core Weight: 18	Total Weight: 7930030
c
c
c core #403
c 
c 
c Core size: 397	Core Weight: 9	Total Weight: 7930039
c
c
c core #404
c 
c 
c Core size: 330	Core Weight: 1	Total Weight: 7930040
c
c
c core #405
c 
c 
c Core size: 448	Core Weight: 8	Total Weight: 7930048
c
c
c core #406
c 
c 
c Core size: 388	Core Weight: 3	Total Weight: 7930051
c
c
c core #407
c 
c 
c Core size: 483	Core Weight: 29	Total Weight: 7930080
c
c
c core #408
c 
c 
c Core size: 491	Core Weight: 3	Total Weight: 7930083
c
c
c core #409
c 
c 
c Core size: 436	Core Weight: 2	Total Weight: 7930085
c
c
c core #410
c 
c 
c Core size: 485	Core Weight: 18	Total Weight: 7930103
c
c
c core #411
c 
c 
c Core size: 426	Core Weight: 12	Total Weight: 7930115
c
c
c core #412
c 
c 
c Core size: 349	Core Weight: 2	Total Weight: 7930117
c
c
c core #413
c 
c 
c Core size: 394	Core Weight: 29	Total Weight: 7930146
c
c
c core #414
c 
c 
c Core size: 356	Core Weight: 1	Total Weight: 7930147
c
c
c core #415
c 
c 
c Core size: 356	Core Weight: 4	Total Weight: 7930151
c
c
c core #416
c 
c 
c Core size: 415	Core Weight: 1	Total Weight: 7930152
c
c
c core #417
c 
c 
c Core size: 459	Core Weight: 8	Total Weight: 7930160
c
c
c core #418
c 
c 
c Core size: 392	Core Weight: 6	Total Weight: 7930166
c
c
c core #419
c 
c 
c Core size: 453	Core Weight: 3	Total Weight: 7930169
c
c
c core #420
c 
c 
c Core size: 382	Core Weight: 12	Total Weight: 7930181
c
c
c core #421
c 
c 
c Core size: 382	Core Weight: 8	Total Weight: 7930189
c
c
c core #422
c 
c 
c Core size: 430	Core Weight: 3	Total Weight: 7930192
c
c
c core #423
c 
c 
c Core size: 435	Core Weight: 12	Total Weight: 7930204
c
c
c core #424
c 
c 
c Core size: 320	Core Weight: 23	Total Weight: 7930227
c
c
c core #425
c 
c 
c Core size: 547	Core Weight: 3	Total Weight: 7930230
c
c
c core #426
c 
c 
c Core size: 387	Core Weight: 19	Total Weight: 7930249
c
c
c core #427
c 
c 
c Core size: 485	Core Weight: 20	Total Weight: 7930269
c
c
c core #428
c 
c 
c Core size: 447	Core Weight: 12	Total Weight: 7930281
c
c
c core #429
c 
c 
c Core size: 402	Core Weight: 3	Total Weight: 7930284
c
c
c core #430
c 
c 
c Core size: 439	Core Weight: 15	Total Weight: 7930299
c
c
c core #431
c 
c 
c Core size: 482	Core Weight: 15	Total Weight: 7930314
c
c
c core #432
c 
c 
c Core size: 531	Core Weight: 10	Total Weight: 7930324
c
c
c core #433
c 
c 
c Core size: 391	Core Weight: 86	Total Weight: 7930410
c
c
c core #434
c 
c 
c Core size: 338	Core Weight: 35	Total Weight: 7930445
c
c
c core #435
c 
c 
c Core size: 328	Core Weight: 11	Total Weight: 7930456
c
c
c core #436
c 
c 
c Core size: 496	Core Weight: 4	Total Weight: 7930460
c
c
c core #437
c 
c 
c Core size: 456	Core Weight: 4	Total Weight: 7930464
c
c
c core #438
c 
c 
c Core size: 439	Core Weight: 28	Total Weight: 7930492
c
c
c core #439
c 
c 
c Core size: 429	Core Weight: 10	Total Weight: 7930502
c
c
c core #440
c 
c 
c Core size: 397	Core Weight: 1	Total Weight: 7930503
c
c
c core #441
c 
c 
c Core size: 430	Core Weight: 11	Total Weight: 7930514
c
c
c core #442
c 
c 
c Core size: 379	Core Weight: 12	Total Weight: 7930526
c
c
c core #443
c 
c 
c Core size: 431	Core Weight: 11	Total Weight: 7930537
c
c
c core #444
c 
c 
c Core size: 434	Core Weight: 13	Total Weight: 7930550
c
c
c core #445
c 
c 
c Core size: 441	Core Weight: 7	Total Weight: 7930557
c
c
c core #446
c 
c 
c Core size: 496	Core Weight: 1	Total Weight: 7930558
c
c
c core #447
c 
c 
c Core size: 433	Core Weight: 72	Total Weight: 7930630
c
c
c core #448
c 
c 
c Core size: 387	Core Weight: 4	Total Weight: 7930634
c
c
c core #449
c 
c 
c Core size: 496	Core Weight: 5	Total Weight: 7930639
c
c
c core #450
c 
c 
c Core size: 386	Core Weight: 7	Total Weight: 7930646
c
c
c core #451
c 
c 
c Core size: 490	Core Weight: 7	Total Weight: 7930653
c
c
c core #452
c 
c 
c Core size: 567	Core Weight: 1	Total Weight: 7930654
c
c
c core #453
c 
c 
c Core size: 390	Core Weight: 5	Total Weight: 7930659
c
c
c core #454
c 
c 
c Core size: 452	Core Weight: 5	Total Weight: 7930664
c
c
c core #455
c 
c 
c Core size: 381	Core Weight: 11	Total Weight: 7930675
c
c
c core #456
c 
c 
c Core size: 468	Core Weight: 2	Total Weight: 7930677
c
c
c core #457
c 
c 
c Core size: 488	Core Weight: 6	Total Weight: 7930683
c
c
c core #458
c 
c 
c Core size: 427	Core Weight: 18	Total Weight: 7930701
c
c
c core #459
c 
c 
c Core size: 493	Core Weight: 13	Total Weight: 7930714
c
c
c core #460
c 
c 
c Core size: 391	Core Weight: 1	Total Weight: 7930715
c
c
c core #461
c 
c 
c Core size: 450	Core Weight: 13	Total Weight: 7930728
c
c
c core #462
c 
c 
c Core size: 433	Core Weight: 2	Total Weight: 7930730
c
c
c core #463
c 
c 
c Core size: 442	Core Weight: 2	Total Weight: 7930732
c
c
c core #464
c 
c 
c Core size: 319	Core Weight: 4	Total Weight: 7930736
c
c
c core #465
c 
c 
c Core size: 348	Core Weight: 3	Total Weight: 7930739
c
c
c core #466
c 
c 
c Core size: 380	Core Weight: 19	Total Weight: 7930758
c
c
c core #467
c 
c 
c Core size: 553	Core Weight: 3	Total Weight: 7930761
c
c
c core #468
c 
c 
c Core size: 343	Core Weight: 6	Total Weight: 7930767
c
c
c core #469
c 
c 
c Core size: 402	Core Weight: 19	Total Weight: 7930786
c
c
c core #470
c 
c 
c Core size: 417	Core Weight: 1	Total Weight: 7930787
c
c
c core #471
c 
c 
c Core size: 485	Core Weight: 6	Total Weight: 7930793
c
c
c core #472
c 
c 
c Core size: 496	Core Weight: 1	Total Weight: 7930794
c
c
c core #473
c 
c 
c Core size: 350	Core Weight: 3	Total Weight: 7930797
c
c
c core #474
c 
c 
c Core size: 438	Core Weight: 1	Total Weight: 7930798
c
c
c core #475
c 
c 
c Core size: 341	Core Weight: 3	Total Weight: 7930801
c
c
c core #476
c 
c 
c Core size: 400	Core Weight: 8	Total Weight: 7930809
c
c
c core #477
c 
c 
c Core size: 440	Core Weight: 3	Total Weight: 7930812
c
c
c core #478
c 
c 
c Core size: 448	Core Weight: 11	Total Weight: 7930823
c
c
c core #479
c 
c 
c Core size: 429	Core Weight: 16	Total Weight: 7930839
c
c
c core #480
c 
c 
c Core size: 489	Core Weight: 29	Total Weight: 7930868
c
c
c core #481
c 
c 
c Core size: 423	Core Weight: 4	Total Weight: 7930872
c
c
c core #482
c 
c 
c Core size: 532	Core Weight: 1	Total Weight: 7930873
c
c
c core #483
c 
c 
c Core size: 436	Core Weight: 40	Total Weight: 7930913
c
c
c core #484
c 
c 
c Core size: 329	Core Weight: 4	Total Weight: 7930917
c
c
c core #485
c 
c 
c Core size: 489	Core Weight: 2	Total Weight: 7930919
c
c
c core #486
c 
c 
c Core size: 493	Core Weight: 1	Total Weight: 7930920
c
c
c core #487
c 
c 
c Core size: 387	Core Weight: 10	Total Weight: 7930930
c
c
c core #488
c 
c 
c Core size: 541	Core Weight: 4	Total Weight: 7930934
c
c
c core #489
c 
c 
c Core size: 392	Core Weight: 10	Total Weight: 7930944
c
c
c core #490
c 
c 
c Core size: 387	Core Weight: 2	Total Weight: 7930946
c
c
c core #491
c 
c 
c Core size: 384	Core Weight: 1	Total Weight: 7930947
c
c
c core #492
c 
c 
c Core size: 549	Core Weight: 1	Total Weight: 7930948
c
c
c core #493
c 
c 
c Core size: 384	Core Weight: 50	Total Weight: 7930998
c
c
c core #494
c 
c 
c Core size: 563	Core Weight: 1	Total Weight: 7930999
c
c
c core #495
c 
c 
c Core size: 419	Core Weight: 3	Total Weight: 7931002
c
c
c core #496
c 
c 
c Core size: 407	Core Weight: 1	Total Weight: 7931003
c
c
c core #497
c 
c 
c Core size: 472	Core Weight: 4	Total Weight: 7931007
c
c
c core #498
c 
c 
c Core size: 450	Core Weight: 10	Total Weight: 7931017
c
c
c core #499
c 
c 
c Core size: 438	Core Weight: 2	Total Weight: 7931019
c
c
c core #500
c 
c 
c Core size: 448	Core Weight: 12	Total Weight: 7931031
c
c
c core #501
c 
c 
c Core size: 510	Core Weight: 1	Total Weight: 7931032
c
c
c core #502
c 
c 
c Core size: 336	Core Weight: 3	Total Weight: 7931035
c
c
c core #503
c 
c 
c Core size: 449	Core Weight: 9	Total Weight: 7931044
c
c
c core #504
c 
c 
c Core size: 409	Core Weight: 8	Total Weight: 7931052
c
c
c core #505
c 
c 
c Core size: 452	Core Weight: 2	Total Weight: 7931054
c
c
c core #506
c 
c 
c Core size: 400	Core Weight: 9	Total Weight: 7931063
c
c
c core #507
c 
c 
c Core size: 451	Core Weight: 2	Total Weight: 7931065
c
c
c core #508
c 
c 
c Core size: 490	Core Weight: 7	Total Weight: 7931072
c
c
c core #509
c 
c 
c Core size: 384	Core Weight: 3	Total Weight: 7931075
c
c
c core #510
c 
c 
c Core size: 490	Core Weight: 1	Total Weight: 7931076
c
c
c core #511
c 
c 
c Core size: 505	Core Weight: 8	Total Weight: 7931084
c
c
c core #512
c 
c 
c Core size: 417	Core Weight: 1	Total Weight: 7931085
c
c
c core #513
c 
c 
c Core size: 503	Core Weight: 3	Total Weight: 7931088
c
c
c core #514
c 
c 
c Core size: 335	Core Weight: 15	Total Weight: 7931103
c
c
c core #515
c 
c 
c Core size: 553	Core Weight: 1	Total Weight: 7931104
c
c
c core #516
c 
c 
c Core size: 391	Core Weight: 13	Total Weight: 7931117
c
c
c core #517
c 
c 
c Core size: 554	Core Weight: 8	Total Weight: 7931125
c
c
c core #518
c 
c 
c Core size: 414	Core Weight: 4	Total Weight: 7931129
c
c
c core #519
c 
c 
c Core size: 458	Core Weight: 29	Total Weight: 7931158
c
c
c core #520
c 
c 
c Core size: 502	Core Weight: 2	Total Weight: 7931160
c
c
c core #521
c 
c 
c Core size: 491	Core Weight: 12	Total Weight: 7931172
c
c
c core #522
c 
c 
c Core size: 442	Core Weight: 8	Total Weight: 7931180
c
c
c core #523
c 
c 
c Core size: 410	Core Weight: 4	Total Weight: 7931184
c
c
c core #524
c 
c 
c Core size: 441	Core Weight: 3	Total Weight: 7931187
c
c
c core #525
c 
c 
c Core size: 389	Core Weight: 15	Total Weight: 7931202
c
c
c core #526
c 
c 
c Core size: 405	Core Weight: 3	Total Weight: 7931205
c
c
c core #527
c 
c 
c Core size: 522	Core Weight: 5	Total Weight: 7931210
c
c
c core #528
c 
c 
c Core size: 473	Core Weight: 4	Total Weight: 7931214
c
c
c core #529
c 
c 
c Core size: 399	Core Weight: 8	Total Weight: 7931222
c
c
c core #530
c 
c 
c Core size: 406	Core Weight: 2	Total Weight: 7931224
c
c
c core #531
c 
c 
c Core size: 398	Core Weight: 2	Total Weight: 7931226
c
c
c core #532
c 
c 
c Core size: 382	Core Weight: 5	Total Weight: 7931231
c
c
c core #533
c 
c 
c Core size: 453	Core Weight: 4	Total Weight: 7931235
c
c
c core #534
c 
c 
c Core size: 339	Core Weight: 4	Total Weight: 7931239
c
c
c core #535
c 
c 
c Core size: 394	Core Weight: 8	Total Weight: 7931247
c
c
c core #536
c 
c 
c Core size: 354	Core Weight: 1	Total Weight: 7931248
c
c
c core #537
c 
c 
c Core size: 409	Core Weight: 1	Total Weight: 7931249
c
c
c core #538
c 
c 
c Core size: 449	Core Weight: 3	Total Weight: 7931252
c
c
c core #539
c 
c 
c Core size: 415	Core Weight: 2	Total Weight: 7931254
c
c
c core #540
c 
c 
c Core size: 495	Core Weight: 17	Total Weight: 7931271
c
c
c core #541
c 
c 
c Core size: 309	Core Weight: 5	Total Weight: 7931276
c
c
c core #542
c 
c 
c Core size: 406	Core Weight: 4	Total Weight: 7931280
c
c
c core #543
c 
c 
c Core size: 294	Core Weight: 27	Total Weight: 7931307
c
c
c core #544
c 
c 
c Core size: 395	Core Weight: 18	Total Weight: 7931325
c
c
c core #545
c 
c 
c Core size: 580	Core Weight: 1	Total Weight: 7931326
c
c
c core #546
c 
c 
c Core size: 467	Core Weight: 2	Total Weight: 7931328
c
c
c core #547
c 
c 
c Core size: 465	Core Weight: 1	Total Weight: 7931329
c
c
c core #548
c 
c 
c Core size: 446	Core Weight: 8	Total Weight: 7931337
c
c
c core #549
c 
c 
c Core size: 559	Core Weight: 8	Total Weight: 7931345
c
c
c core #550
c 
c 
c Core size: 462	Core Weight: 2	Total Weight: 7931347
c
c
c core #551
c 
c 
c Core size: 340	Core Weight: 14	Total Weight: 7931361
c
c
c core #552
c 
c 
c Core size: 448	Core Weight: 3	Total Weight: 7931364
c
c
c core #553
c 
c 
c Core size: 401	Core Weight: 8	Total Weight: 7931372
c
c
c core #554
c 
c 
c Core size: 463	Core Weight: 1	Total Weight: 7931373
c
c
c core #555
c 
c 
c Core size: 534	Core Weight: 1	Total Weight: 7931374
c
c
c core #556
c 
c 
c Core size: 447	Core Weight: 3	Total Weight: 7931377
c
c
c core #557
c 
c 
c Core size: 353	Core Weight: 3	Total Weight: 7931380
c
c
c core #558
c 
c 
c Core size: 605	Core Weight: 3	Total Weight: 7931383
c
c
c core #559
c 
c 
c Core size: 344	Core Weight: 4	Total Weight: 7931387
c
c
c core #560
c 
c 
c Core size: 449	Core Weight: 5	Total Weight: 7931392
c
c
c core #561
c 
c 
c Core size: 299	Core Weight: 1	Total Weight: 7931393
c
c
c core #562
c 
c 
c Core size: 412	Core Weight: 9	Total Weight: 7931402
c
c
c core #563
c 
c 
c Core size: 375	Core Weight: 1	Total Weight: 7931403
c
c
c core #564
c 
c 
c Core size: 348	Core Weight: 1	Total Weight: 7931404
c
c
c core #565
c 
c 
c Core size: 465	Core Weight: 2	Total Weight: 7931406
c
c
c core #566
c 
c 
c Core size: 630	Core Weight: 1	Total Weight: 7931407
c
c
c core #567
c 
c 
c Core size: 308	Core Weight: 9	Total Weight: 7931416
c
c
c core #568
c 
c 
c Core size: 467	Core Weight: 4	Total Weight: 7931420
c
c
c core #569
c 
c 
c Core size: 410	Core Weight: 1	Total Weight: 7931421
c
c
c core #570
c 
c 
c Core size: 358	Core Weight: 1	Total Weight: 7931422
c
c
c core #571
c 
c 
c Core size: 408	Core Weight: 1	Total Weight: 7931423
c
c
c core #572
c 
c 
c Core size: 367	Core Weight: 1	Total Weight: 7931424
c
c
c core #573
c 
c 
c Core size: 455	Core Weight: 6	Total Weight: 7931430
c
c
c core #574
c 
c 
c Core size: 524	Core Weight: 1	Total Weight: 7931431
c
c
c core #575
c 
c 
c Core size: 524	Core Weight: 2	Total Weight: 7931433
c
c
c core #576
c 
c 
c Core size: 417	Core Weight: 5	Total Weight: 7931438
c
c
c core #577
c 
c 
c Core size: 504	Core Weight: 3	Total Weight: 7931441
c
c