0.00/0.00	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
67.78/67.85	o 535016
67.78/67.85	o 533382
67.78/67.85	o 531748
67.78/67.85	o 530114
67.78/67.85	o 528480
67.78/67.85	o 526846
67.78/67.85	o 525212
67.78/67.85	o 523577
67.78/67.85	o 521942
67.78/67.85	o 520308
67.78/67.85	o 518674
67.78/67.85	o 517040
67.78/67.85	o 512137
67.78/67.85	o 510502
67.78/67.85	o 508867
67.78/67.85	o 507233
67.78/67.85	o 507232
67.78/67.85	o 505598
67.78/67.85	o 503964
67.78/67.85	o 502330
67.78/67.85	o 502329
67.78/67.85	o 500694
67.78/67.85	o 499060
67.78/67.85	o 497426
67.78/67.85	o 495792
67.78/67.85	o 494158
67.78/67.85	o 492524
67.78/67.85	o 490890
67.78/67.85	o 489255
67.78/67.85	o 487621
67.78/67.85	o 485987
67.78/67.85	o 484353
67.78/67.85	o 482719
67.78/67.85	o 481084
67.78/67.85	o 479450
67.78/67.85	o 477816
67.78/67.85	o 476182
67.78/67.85	o 474548
67.78/67.85	o 472915
67.78/67.85	o 471281
67.78/67.85	o 471280
67.78/67.85	o 471279
67.78/67.85	o 469645
67.78/67.85	o 468011
67.78/67.85	o 463106
67.78/67.85	o 461472
67.78/67.85	o 459838
67.78/67.85	o 456573
67.78/67.85	o 454939
67.78/67.85	o 453305
67.78/67.85	o 451671
67.78/67.85	o 450037
67.78/67.85	o 448403
67.78/67.85	o 448402
67.78/67.85	o 448401
67.78/67.85	o 446766
67.78/67.85	o 446765
67.78/67.85	o 445131
67.78/67.85	o 443497
67.78/67.85	o 441863
67.78/67.85	o 441862
67.78/67.85	o 440228
67.78/67.85	o 438593
67.78/67.85	o 436958
67.78/67.85	o 435323
67.78/67.85	o 433689
67.78/67.85	o 432055
67.78/67.85	o 430421
67.78/67.85	o 430420
67.78/67.85	o 428786
67.78/67.85	o 427152
67.78/67.85	o 425518
67.78/67.85	o 425517
67.78/67.85	o 422247
67.78/67.85	o 420613
67.78/67.85	o 418979
67.78/67.85	o 417345
67.78/67.85	o 415715
67.78/67.85	o 415714
67.78/67.85	o 414080
67.78/67.85	o 414079
67.78/67.85	o 412446
67.78/67.85	o 410812
67.78/67.85	o 410811
67.78/67.85	o 409177
67.78/67.85	o 407543
67.78/67.85	o 407542
67.78/67.85	o 405908
67.78/67.85	o 405907
67.78/67.85	o 405906
67.78/67.85	o 404272
67.78/67.85	o 404271
67.78/67.85	o 404270
67.78/67.85	o 404269
67.78/67.85	o 404268
67.78/67.85	o 404267
67.78/67.85	o 402633
67.78/67.85	o 400999
67.78/67.85	o 399365
67.78/67.85	o 399364
67.78/67.85	o 397730
67.78/67.85	o 397729
67.78/67.85	o 396095
67.78/67.85	o 396094
67.78/67.85	o 396093
67.78/67.85	o 391190
67.78/67.85	o 391189
67.78/67.85	o 391188
67.78/67.85	o 391187
67.78/67.85	o 391186
67.78/67.85	o 391185
67.78/67.85	o 391184
67.78/67.85	o 386325
67.78/67.85	o 386324
67.78/67.85	o 386323
67.78/67.85	o 386322
67.78/67.85	o 386321
67.78/67.85	o 386320
67.78/67.85	o 386319
67.78/67.85	o 386318
67.78/67.85	o 386317
67.78/67.85	o 386316
67.78/67.85	o 386315
67.78/67.85	o 386314
67.78/67.85	o 386313
67.78/67.85	o 386312
67.78/67.85	o 386311
67.78/67.85	o 386310
67.78/67.85	o 386309
67.78/67.85	o 386308
67.78/67.85	o 386307
67.78/67.85	o 386306
67.78/67.85	o 386305
67.78/67.85	o 386304
67.78/67.85	o 386303
67.78/67.85	o 386302
67.78/67.85	o 386301
67.78/67.85	o 386300
67.78/67.85	o 386299
67.78/67.85	o 386298
67.78/67.85	o 386297
67.78/67.85	o 386296
67.78/67.85	o 386295
67.78/67.85	o 386294
67.78/67.85	o 386293
67.78/67.85	o 386292
67.78/67.85	o 386290
67.78/67.85	o 378123
67.78/67.85	o 376488
67.78/67.85	o 376487
67.78/67.85	o 376486
67.78/67.85	o 374851
67.78/67.85	o 373217
67.78/67.85	o 371582
67.78/67.85	o 369948
67.78/67.85	o 368313
67.78/67.85	o 363410
67.78/67.85	o 363409
67.78/67.85	o 363408
67.78/67.85	o 361774
67.78/67.85	o 360140
67.78/67.85	o 358506
67.78/67.85	o 356871
67.78/67.85	o 356870
67.78/67.85	o 356869
67.78/67.85	o 350332
67.78/67.85	o 347076
67.78/67.85	o 345442
67.78/67.85	o 343808
67.78/67.85	o 342173
67.78/67.85	o 340540
67.78/67.85	o 340539
67.78/67.85	o 338904
67.78/67.85	o 337269
67.78/67.85	o 335635
67.78/67.85	o 335634
67.78/67.85	o 333999
67.78/67.85	o 333998
67.78/67.85	o 332364
67.78/67.85	o 332363
67.78/67.85	o 332362
67.78/67.85	o 332361
67.78/67.85	o 332360
67.78/67.85	o 330725
67.78/67.85	o 329098
67.78/67.85	o 329097
67.78/67.85	o 327463
67.78/67.85	o 327462
67.78/67.85	o 325828
67.78/67.85	o 324194
67.78/67.85	o 322560
67.78/67.85	o 320926
67.78/67.85	o 320925
67.78/67.85	o 319291
67.78/67.85	o 317657
67.78/67.85	o 316023
67.78/67.85	o 314389
67.78/67.85	o 314388
67.78/67.85	o 314387
67.78/67.85	o 314386
67.78/67.85	o 314385
67.78/67.85	o 314384
67.78/67.85	o 314383
67.78/67.85	o 312749
67.78/67.85	o 312748
67.78/67.85	o 311114
67.78/67.85	o 309480
67.78/67.85	o 309479
67.78/67.85	o 309478
67.78/67.85	o 309477
67.78/67.85	o 307844
67.78/67.85	o 306210
67.78/67.85	o 306209
67.78/67.85	o 306208
67.78/67.85	o 306207
67.78/67.85	o 304573
67.78/67.85	o 302939
67.78/67.85	o 298048
67.78/67.85	o 296414
67.78/67.85	o 294780
67.78/67.85	o 294779
67.78/67.85	o 294778
67.78/67.85	o 293144
67.78/67.85	o 291510
67.78/67.85	o 289876
67.78/67.85	o 288241
67.78/67.85	o 286608
67.78/67.85	o 286607
67.78/67.85	o 286604
67.78/67.85	o 284970
67.78/67.85	o 284969
67.78/67.85	o 284968
67.78/67.85	o 283335
67.78/67.85	o 281701
67.78/67.85	o 280067
67.78/67.85	o 280066
67.78/67.85	o 280065
67.78/67.85	o 280064
67.78/67.85	o 280061
67.78/67.85	o 278427
67.78/67.85	o 278426
67.78/67.85	o 278425
67.78/67.85	o 276818
67.78/67.85	o 276817
67.78/67.85	o 276816
67.78/67.85	o 276815
67.78/67.85	o 276814
67.78/67.85	o 276813
67.78/67.85	o 276812
67.78/67.85	o 276811
67.78/67.85	o 276810
67.78/67.85	o 276809
67.78/67.85	o 276807
67.78/67.85	o 276806
67.78/67.85	o 275172
67.78/67.85	o 275171
67.78/67.85	o 273537
67.78/67.85	o 273536
67.78/67.85	o 271902
67.78/67.85	o 270268
67.78/67.85	o 268634
67.78/67.85	o 268633
67.78/67.85	o 268632
67.78/67.85	o 268631
67.78/67.85	o 266997
67.78/67.85	o 265363
67.78/67.85	o 263729
67.78/67.85	o 262094
67.78/67.85	o 262093
67.78/67.85	o 262092
67.78/67.85	o 260459
67.78/67.85	o 260458
67.78/67.85	o 258827
67.78/67.85	o 258826
67.78/67.85	o 258825
67.78/67.85	o 257192
67.78/67.85	o 257191
67.78/67.85	o 257190
67.78/67.85	o 257189
67.78/67.85	o 257188
67.78/67.85	o 257187
67.78/67.85	o 257186
67.78/67.85	o 255566
67.78/67.85	o 255565
67.78/67.85	o 255564
67.78/67.85	o 255563
67.78/67.85	o 255562
67.78/67.85	o 255561
67.78/67.85	o 255560
67.78/67.85	o 255559
67.78/67.85	o 255558
67.78/67.85	o 253928
67.78/67.85	o 253925
67.78/67.85	o 253924
67.78/67.85	o 253923
67.78/67.85	o 252315
67.78/67.85	o 250681
67.78/67.85	o 249051
67.78/67.85	o 249050
67.78/67.85	o 249049
67.78/67.85	o 249048
67.78/67.85	o 249047
67.78/67.85	o 249046
67.78/67.85	o 247416
67.78/67.85	o 247415
67.78/67.85	o 247414
67.78/67.85	o 247413
67.78/67.85	o 245779
67.78/67.85	o 244144
67.78/67.85	o 244143
67.78/67.85	o 242509
67.78/67.85	o 240875
67.78/67.85	o 240874
67.78/67.85	o 240873
67.78/67.85	o 240872
67.78/67.85	o 239238
67.78/67.85	o 237605
67.78/67.85	o 235971
67.78/67.85	o 235970
67.78/67.85	o 235969
67.78/67.85	o 234335
67.78/67.85	o 234334
67.78/67.85	o 234333
67.78/67.85	o 234332
67.78/67.85	o 232698
67.78/67.85	o 232697
67.78/67.85	o 232696
67.78/67.85	o 231062
67.78/67.85	o 231061
67.78/67.85	o 231060
67.78/67.85	o 229426
67.78/67.85	o 227791
67.78/67.85	o 227790
67.78/67.85	o 222887
67.78/67.85	o 222886
67.78/67.85	o 221251
67.78/67.85	o 219616
67.78/67.85	o 217981
67.78/67.85	o 216346
67.78/67.85	o 216341
67.78/67.85	o 214707
67.78/67.85	o 213073
67.78/67.85	o 211438
67.78/67.85	o 209808
67.78/67.85	o 209807
67.78/67.85	o 208173
67.78/67.85	o 204905
67.78/67.85	o 203271
67.78/67.85	o 203270
67.78/67.85	o 203269
67.78/67.85	o 203266
67.78/67.85	o 203265
67.78/67.85	o 203264
67.78/67.85	o 201629
67.78/67.85	o 199997
67.78/67.85	o 199996
67.78/67.85	o 199995
67.78/67.85	o 198360
67.78/67.85	o 196725
67.78/67.85	o 195091
67.78/67.85	o 193457
67.78/67.85	o 193456
67.78/67.85	o 193455
67.78/67.85	o 193454
67.78/67.85	o 191820
67.78/67.85	o 190185
67.78/67.85	o 188554
67.78/67.85	o 186919
67.78/67.85	o 186918
67.78/67.85	o 186917
67.78/67.85	o 185282
67.78/67.85	o 183651
67.78/67.85	o 182019
67.78/67.85	o 180388
67.78/67.85	o 180387
67.78/67.85	o 180385
67.78/67.85	o 180384
67.78/67.85	o 180382
67.78/67.85	o 178750
67.78/67.85	o 178749
67.78/67.85	o 177116
67.78/67.85	o 177115
67.78/67.85	o 175488
67.78/67.85	o 175487
67.78/67.85	o 175486
67.78/67.85	o 175485
67.78/67.85	o 175484
67.78/67.85	o 175483
67.78/67.85	o 175482
67.78/67.85	o 175481
67.78/67.85	o 175480
67.78/67.85	o 175479
67.78/67.85	o 173845
67.78/67.85	o 173844
67.78/67.85	o 172211
67.78/67.85	o 172210
67.78/67.85	o 172209
67.78/67.85	o 170581
67.78/67.85	o 170579
67.78/67.85	o 170578
67.78/67.85	o 170577
67.78/67.85	o 170576
67.78/67.85	o 170575
67.78/67.85	o 170574
67.78/67.85	o 170573
67.78/67.85	o 170572
67.78/67.85	o 168945
67.78/67.85	o 168942
67.78/67.85	o 168941
67.78/67.85	o 168940
67.78/67.85	o 168939
67.78/67.85	o 167307
67.78/67.85	o 167306
67.78/67.85	o 167305
67.78/67.85	o 167304
67.78/67.85	o 167303
67.78/67.85	o 165669
67.78/67.85	o 164038
67.78/67.85	o 164037
67.78/67.85	o 164036
67.78/67.85	o 164035
67.78/67.85	o 164034
67.78/67.85	o 162403
67.78/67.85	o 162402
67.78/67.85	o 162401
67.78/67.85	o 162400
67.78/67.85	o 160766
67.78/67.85	o 159138
67.78/67.85	o 159137
67.78/67.85	o 159136
67.78/67.85	o 159135
67.78/67.85	o 159134
67.78/67.85	o 159133
67.78/67.85	o 159132
67.78/67.85	o 159131
67.78/67.85	o 159130
67.78/67.85	o 159129
67.78/67.85	o 159128
67.78/67.85	o 159127
67.78/67.85	o 159126
67.78/67.85	o 159125
67.78/67.85	o 159124
67.78/67.85	o 159123
67.78/67.85	o 157491
67.78/67.85	o 157490
67.78/67.85	o 157489
67.78/67.85	o 155854
67.78/67.85	o 154229
67.78/67.85	o 152611
67.78/67.85	o 152608
67.78/67.85	o 152607
67.78/67.85	o 152606
67.78/67.85	o 152605
67.78/67.85	o 152604
67.78/67.85	o 152603
67.78/67.85	o 152602
195.49/195.55	o 152600
195.49/195.55	o 152599
195.49/195.55	o 152598
195.49/195.55	o 152597
195.49/195.55	o 152596
195.49/195.55	o 150961
195.49/195.55	o 150960
195.49/195.55	o 150959
195.49/195.55	o 150958
195.49/195.55	o 149326
195.49/195.55	o 149325
195.49/195.55	o 149324
195.49/195.55	o 147696
195.49/195.55	o 147695
195.49/195.55	o 147694
195.49/195.55	o 147693
195.49/195.55	o 147692
195.49/195.55	o 147691
195.49/195.55	o 146062
195.49/195.55	o 146061
195.49/195.55	o 146060
195.49/195.55	o 146059
195.49/195.55	o 146058
195.49/195.55	o 146057
195.49/195.55	o 146056
195.49/195.55	o 146055
195.49/195.55	o 146054
195.49/195.55	o 146053
195.49/195.55	o 146052
195.49/195.55	o 146051
195.49/195.55	o 146050
195.49/195.55	o 146049
195.49/195.55	o 144417
195.49/195.55	o 144416
195.49/195.55	o 144415
195.49/195.55	o 142783
195.49/195.55	o 142782
195.49/195.55	o 141159
195.49/195.55	o 141158
195.49/195.55	o 141157
195.49/195.55	o 141156
195.49/195.55	o 141155
195.49/195.55	o 141154
195.49/195.55	o 141153
195.49/195.55	o 141152
195.49/195.55	o 141151
195.49/195.55	o 141150
195.49/195.55	o 141149
195.49/195.55	o 141148
195.49/195.55	o 141147
195.49/195.55	o 141146
195.49/195.55	o 141145
195.49/195.55	o 141144
195.49/195.55	o 141143
195.49/195.55	o 139511
195.49/195.55	o 139510
195.49/195.55	o 139509
195.49/195.55	o 139508
195.49/195.55	o 139507
195.49/195.55	o 137874
195.49/195.55	o 137873
195.49/195.55	o 137872
195.49/195.55	o 137871
195.49/195.55	o 136237
195.49/195.55	o 136236
195.49/195.55	o 134607
195.49/195.55	o 134606
195.49/195.55	o 134605
195.49/195.55	o 134604
195.49/195.55	o 134603
195.49/195.55	o 134602
195.49/195.55	o 132978
195.49/195.55	o 132977
195.49/195.55	o 132976
195.49/195.55	o 132975
195.49/195.55	o 132974
195.49/195.55	o 132973
195.49/195.55	o 132972
195.49/195.55	o 132971
195.49/195.55	o 132970
195.49/195.55	o 132969
195.49/195.55	o 132968
195.49/195.55	o 132967
195.49/195.55	o 132966
195.49/195.55	o 132965
195.49/195.55	o 132964
195.49/195.55	o 132963
195.49/195.55	o 132962
195.49/195.55	o 132961
195.49/195.55	o 131333
195.49/195.55	o 129699
195.49/195.55	o 129698
195.49/195.55	o 128071
195.49/195.55	o 128070
195.49/195.55	o 128069
195.49/195.55	o 128068
195.49/195.55	o 128067
195.49/195.55	o 128066
195.49/195.55	o 128065
195.49/195.55	o 128064
195.49/195.55	o 128063
195.49/195.55	o 128062
195.49/195.55	o 128061
195.49/195.55	o 126426
195.49/195.55	o 126425
195.49/195.55	o 124801
195.49/195.55	o 124800
195.49/195.55	o 124799
195.49/195.55	o 124798
195.49/195.55	o 124797
195.49/195.55	o 124796
195.49/195.55	o 124795
195.49/195.55	o 124794
195.49/195.55	o 124793
195.49/195.55	o 124792
195.49/195.55	o 124791
195.49/195.55	o 124790
195.49/195.55	o 124789
195.49/195.55	o 124788
195.49/195.55	o 124787
195.49/195.55	o 123156
195.49/195.55	o 123155
195.49/195.55	o 123154
195.49/195.55	o 123153
195.49/195.55	o 123152
195.49/195.55	o 121521
195.49/195.55	o 121520
195.49/195.55	o 121519
195.49/195.55	o 121518
195.49/195.55	o 121517
195.49/195.55	o 121516
195.49/195.55	o 121515
195.49/195.55	o 121514
195.49/195.55	o 121513
195.49/195.55	o 119888
195.49/195.55	o 119887
195.49/195.55	o 119886
195.49/195.55	o 119885
195.49/195.55	o 119884
195.49/195.55	o 119883
195.49/195.55	o 119882
195.49/195.55	o 119881
195.49/195.55	o 119880
195.49/195.55	o 119879
195.49/195.55	o 119878
195.49/195.55	o 119877
195.49/195.55	o 118249
195.49/195.55	o 118248
195.49/195.55	o 118247
195.49/195.55	o 118246
195.49/195.55	o 118245
195.49/195.55	o 118244
195.49/195.55	o 118243
195.49/195.55	o 118242
195.49/195.55	o 118241
195.49/195.55	o 116611
195.49/195.55	o 116610
195.49/195.55	o 116609
195.49/195.55	o 116608
195.49/195.55	o 111706
195.49/195.55	o 111705
195.49/195.55	o 111704
195.49/195.55	o 110074
195.49/195.55	o 108446
195.49/195.55	o 108445
195.49/195.55	o 108444
195.49/195.55	o 108443
195.49/195.55	o 108442
195.49/195.55	o 108441
195.49/195.55	o 108440
195.49/195.55	o 108439
195.49/195.55	o 108438
195.49/195.55	o 108437
195.49/195.55	o 108436
195.49/195.55	o 108435
195.49/195.55	o 108434
195.49/195.55	o 108433
195.49/195.55	o 108432
195.49/195.55	o 108431
195.49/195.55	o 108430
195.49/195.55	o 108429
195.49/195.55	o 108428
195.49/195.55	o 108427
195.49/195.55	o 108426
195.49/195.55	o 106804
195.49/195.55	o 106803
195.49/195.55	o 106802
195.49/195.55	o 106801
195.49/195.55	o 106800
195.49/195.55	o 106799
195.49/195.55	o 106798
195.49/195.55	o 106797
195.49/195.55	o 106796
195.49/195.55	o 106795
195.49/195.55	o 106794
195.49/195.55	o 105178
195.49/195.55	o 105177
195.49/195.55	o 105176
195.49/195.55	o 105175
195.49/195.55	o 105173
195.49/195.55	o 105172
195.49/195.55	o 105171
195.49/195.55	o 105170
195.49/195.55	o 105169
195.49/195.55	o 105168
195.49/195.55	o 105167
195.49/195.55	o 105166
195.49/195.55	o 105165
195.49/195.55	o 105164
195.49/195.55	o 105163
195.49/195.55	o 105162
195.49/195.55	o 105161
195.49/195.55	o 105159
195.49/195.55	o 105158
195.49/195.55	o 103538
195.49/195.55	o 103537
195.49/195.55	o 103536
195.49/195.55	o 103535
195.49/195.55	o 103534
195.49/195.55	o 103533
195.49/195.55	o 103532
195.49/195.55	o 103531
195.49/195.55	o 103530
195.49/195.55	o 103529
195.49/195.55	o 103528
195.49/195.55	o 103527
195.49/195.55	o 103526
195.49/195.55	o 103525
195.49/195.55	o 103524
195.49/195.55	o 103523
195.49/195.55	o 103519
195.49/195.55	o 103518
195.49/195.55	o 103517
195.49/195.55	o 103516
195.49/195.55	o 103515
195.49/195.55	o 103514
195.49/195.55	o 101889
195.49/195.55	o 101883
195.49/195.55	o 101882
195.49/195.55	o 101881
195.49/195.55	o 101880
195.49/195.55	o 101879
195.49/195.55	o 100246
195.49/195.55	o 100245
195.49/195.55	o 100244
195.49/195.55	o 98614
195.49/195.55	o 98613
195.49/195.55	o 98612
195.49/195.55	o 98611
195.49/195.55	o 98610
195.49/195.55	o 98609
195.49/195.55	o 96982
195.49/195.55	o 96981
195.49/195.55	o 96980
195.49/195.55	o 96979
195.49/195.55	o 96978
195.49/195.55	o 96977
195.49/195.55	o 96976
195.49/195.55	o 95349
195.49/195.55	o 95348
195.49/195.55	o 95347
195.49/195.55	o 95346
195.49/195.55	o 95345
195.49/195.55	o 95344
195.49/195.55	o 95343
195.49/195.55	o 95342
195.49/195.55	o 95341
195.49/195.55	o 95340
195.49/195.55	o 95339
195.49/195.55	o 92076
195.49/195.55	o 92075
195.49/195.55	o 92074
195.49/195.55	o 92073
195.49/195.55	o 92072
195.49/195.55	o 92071
195.49/195.55	o 90442
195.49/195.55	o 90441
195.49/195.55	o 90440
195.49/195.55	o 90439
195.49/195.55	o 90438
195.49/195.55	o 88814
195.49/195.55	o 88807
195.49/195.55	o 88806
195.49/195.55	o 88805
195.49/195.55	o 88804
195.49/195.55	o 88803
195.49/195.55	o 88799
195.49/195.55	o 88798
195.49/195.55	o 88797
195.49/195.55	o 87166
195.49/195.55	o 87164
195.49/195.55	o 85539
195.49/195.55	o 85534
195.49/195.55	o 85533
195.49/195.55	o 85532
195.49/195.55	o 85531
195.49/195.55	o 85530
195.49/195.55	o 83899
195.49/195.55	o 83898
195.49/195.55	o 83897
195.49/195.55	o 83896
195.49/195.55	o 83895
195.49/195.55	o 82262
195.49/195.55	o 82261
195.49/195.55	o 82260
195.49/195.55	o 82259
195.49/195.55	o 80632
195.49/195.55	o 80631
195.49/195.55	o 80630
195.49/195.55	o 80629
195.49/195.55	o 80628
195.49/195.55	o 78997
195.49/195.55	o 78996
195.49/195.55	o 78995
195.49/195.55	o 78994
195.49/195.55	o 78993
195.49/195.55	o 78992
195.49/195.55	o 78991
195.49/195.55	o 78990
195.49/195.55	o 78989
195.49/195.55	o 77359
195.49/195.55	o 77358
195.49/195.55	o 75727
195.49/195.55	o 75726
195.49/195.55	o 75725
195.49/195.55	o 75724
195.49/195.55	o 75723
195.49/195.55	o 75722
195.49/195.55	o 75721
195.49/195.55	o 75720
195.49/195.55	o 75719
195.49/195.55	o 74092
195.49/195.55	o 74091
195.49/195.55	o 74090
195.49/195.55	o 74089
195.49/195.55	o 74088
195.49/195.55	o 74087
195.49/195.55	o 72455
195.49/195.55	o 72454
195.49/195.55	o 72453
195.49/195.55	o 72452
195.49/195.55	o 72451
195.49/195.55	o 72450
195.49/195.55	o 72449
195.49/195.55	o 72448
195.49/195.55	o 72447
195.49/195.55	o 72446
195.49/195.55	o 72445
195.49/195.55	o 72444
195.49/195.55	o 72443
195.49/195.55	o 72442
195.49/195.55	o 70818
195.49/195.55	o 70817
195.49/195.55	o 70816
195.49/195.55	o 70815
195.49/195.55	o 70814
195.49/195.55	o 70813
195.49/195.55	o 70812
195.49/195.55	o 70811
195.49/195.55	o 70810
195.49/195.55	o 70809
195.49/195.55	o 70808
195.49/195.55	o 70807
195.49/195.55	o 69178
195.49/195.55	o 69177
195.49/195.55	o 69176
195.49/195.55	o 69175
195.49/195.55	o 69174
195.49/195.55	o 69173
195.49/195.55	o 69172
195.49/195.55	o 69170
195.49/195.55	o 69169
195.49/195.55	o 69168
195.49/195.55	o 69167
195.49/195.55	o 69166
195.49/195.55	o 69165
195.49/195.55	o 69164
195.49/195.55	o 67530
195.49/195.55	o 67529
195.49/195.55	o 65903
195.49/195.55	o 65902
195.49/195.55	o 65901
195.49/195.55	o 65900
195.49/195.55	o 65899
195.49/195.55	o 65898
195.49/195.55	o 65897
195.49/195.55	o 65896
195.49/195.55	o 65895
195.49/195.55	o 65894
195.49/195.55	o 65893
195.49/195.55	o 65892
195.49/195.55	o 65891
195.49/195.55	o 65890
195.49/195.55	o 65889
195.49/195.55	o 65888
195.49/195.55	o 65887
195.49/195.55	o 65886
195.49/195.55	o 65885
195.49/195.55	o 64260
195.49/195.55	o 64259
195.49/195.55	o 64258
195.49/195.55	o 64257
195.49/195.55	o 64256
195.49/195.55	o 64255
195.49/195.55	o 64254
195.49/195.55	o 64253
195.49/195.55	o 64252
195.49/195.55	o 64251
195.49/195.55	o 64250
195.49/195.55	o 64249
195.49/195.55	o 64248
195.49/195.55	o 64247
195.49/195.55	o 64246
195.49/195.55	o 64245
195.49/195.55	o 64244
195.49/195.55	o 64243
195.49/195.55	o 64242
195.49/195.55	o 64241
195.49/195.55	o 64240
195.49/195.55	o 64239
195.49/195.55	o 64238
195.49/195.55	o 64237
195.49/195.55	o 64236
195.49/195.55	o 64235
195.49/195.55	o 64234
195.49/195.55	o 64233
195.49/195.55	o 62605
195.49/195.55	o 62604
195.49/195.55	o 62603
195.49/195.55	o 62602
195.49/195.55	o 62601
195.49/195.55	o 62600
195.49/195.55	o 62599
195.49/195.55	o 62598
195.49/195.55	o 60977
195.49/195.55	o 60976
195.49/195.55	o 60975
195.49/195.55	o 60974
195.49/195.55	o 60973
195.49/195.55	o 60972
195.49/195.55	o 60971
195.49/195.55	o 60970
195.49/195.55	o 60969
195.49/195.55	o 60968
195.49/195.55	o 60967
195.49/195.55	o 60966
195.49/195.55	o 59349
195.49/195.55	o 59348
195.49/195.55	o 59347
195.49/195.55	o 59346
195.49/195.55	o 59345
195.49/195.55	o 59344
195.49/195.55	o 59343
195.49/195.55	o 59342
195.49/195.55	o 59341
195.49/195.55	o 59340
195.49/195.55	o 59339
195.49/195.55	o 59338
195.49/195.55	o 59337
195.49/195.55	o 59336
195.49/195.55	o 59335
195.49/195.55	o 59334
195.49/195.55	o 59333
195.49/195.55	o 59332
195.49/195.55	o 59331
195.49/195.55	o 59330
195.49/195.55	o 59329
195.49/195.55	o 57704
195.49/195.55	o 57703
195.49/195.55	o 57702
195.49/195.55	o 57701
195.49/195.55	o 57700
195.49/195.55	o 57699
195.49/195.55	o 57698
195.49/195.55	o 57697
195.49/195.55	o 57696
195.49/195.55	o 57695
195.49/195.55	o 56070
195.49/195.55	o 56069
195.49/195.55	o 56068
195.49/195.55	o 56067
302.19/302.27	o 56066
302.19/302.27	o 56065
302.19/302.27	o 56064
302.19/302.27	o 56063
302.19/302.27	o 56062
302.19/302.27	o 56061
302.19/302.27	o 56060
302.19/302.27	o 56059
302.19/302.27	o 56058
302.19/302.27	o 56057
302.19/302.27	o 56056
302.19/302.27	o 54435
302.19/302.27	o 54434
302.19/302.27	o 54433
302.19/302.27	o 54432
302.19/302.27	o 54431
302.19/302.27	o 54430
302.19/302.27	o 54429
302.19/302.27	o 54428
302.19/302.27	o 54427
302.19/302.27	o 54426
302.19/302.27	o 54425
302.19/302.27	o 54424
302.19/302.27	o 54423
302.19/302.27	o 54422
302.19/302.27	o 54421
302.19/302.27	o 54420
302.19/302.27	o 54419
302.19/302.27	o 54418
302.19/302.27	o 54416
302.19/302.27	o 54415
302.19/302.27	o 54414
302.19/302.27	o 54413
302.19/302.27	o 54412
302.19/302.27	o 54411
302.19/302.27	o 54410
302.19/302.27	o 54409
302.19/302.27	o 54408
302.19/302.27	o 54407
302.19/302.27	o 54406
302.19/302.27	o 54405
302.19/302.27	o 54404
302.19/302.27	o 54403
302.19/302.27	o 52787
302.19/302.27	o 52786
302.19/302.27	o 52785
302.19/302.27	o 52784
302.19/302.27	o 52783
302.19/302.27	o 52782
302.19/302.27	o 52781
302.19/302.27	o 52780
302.19/302.27	o 52779
302.19/302.27	o 52778
302.19/302.27	o 52777
302.19/302.27	o 52776
302.19/302.27	o 51153
302.19/302.27	o 51152
302.19/302.27	o 51151
302.19/302.27	o 51150
302.19/302.27	o 51149
302.19/302.27	o 51148
302.19/302.27	o 51147
302.19/302.27	o 51146
302.19/302.27	o 51145
302.19/302.27	o 51144
302.19/302.27	o 51143
302.19/302.27	o 51142
302.19/302.27	o 49515
302.19/302.27	o 49514
302.19/302.27	o 49513
302.19/302.27	o 49512
302.19/302.27	o 49511
302.19/302.27	o 49510
302.19/302.27	o 49509
302.19/302.27	o 49508
302.19/302.27	o 49507
302.19/302.27	o 49506
302.19/302.27	o 49505
302.19/302.27	o 49504
302.19/302.27	o 49503
302.19/302.27	o 49502
302.19/302.27	o 49501
302.19/302.27	o 47892
302.19/302.27	o 47891
302.19/302.27	o 47890
302.19/302.27	o 47889
302.19/302.27	o 47888
302.19/302.27	o 47887
302.19/302.27	o 47886
302.19/302.27	o 47885
302.19/302.27	o 47884
302.19/302.27	o 47883
302.19/302.27	o 47882
302.19/302.27	o 47881
302.19/302.27	o 47880
302.19/302.27	o 47879
302.19/302.27	o 46247
302.19/302.27	o 46246
302.19/302.27	o 46245
302.19/302.27	o 46244
302.19/302.27	o 46243
302.19/302.27	o 46242
302.19/302.27	o 46241
302.19/302.27	o 46240
302.19/302.27	o 46239
302.19/302.27	o 46238
302.19/302.27	o 46237
302.19/302.27	o 46235
302.19/302.27	o 46234
302.19/302.27	o 46233
302.19/302.27	o 46232
302.19/302.27	o 44608
302.19/302.27	o 44607
302.19/302.27	o 44605
302.19/302.27	o 44604
302.19/302.27	o 44603
302.19/302.27	o 44602
302.19/302.27	o 44601
302.19/302.27	o 44600
302.19/302.27	o 44599
302.19/302.27	o 44598
302.19/302.27	o 42966
302.19/302.27	o 42965
302.19/302.27	o 42964
302.19/302.27	o 42963
302.19/302.27	o 42962
302.19/302.27	o 42961
302.19/302.27	o 42960
302.19/302.27	o 42959
302.19/302.27	o 42958
302.19/302.27	o 42957
302.19/302.27	o 42956
302.19/302.27	o 42955
302.19/302.27	o 42954
302.19/302.27	o 41319
302.19/302.27	o 41318
302.19/302.27	o 39695
302.19/302.27	o 39694
302.19/302.27	o 39693
302.19/302.27	o 39692
302.19/302.27	o 39691
302.19/302.27	o 39690
302.19/302.27	o 39689
302.19/302.27	o 39688
302.19/302.27	o 39686
302.19/302.27	o 39685
302.19/302.27	o 39684
302.19/302.27	o 39683
302.19/302.27	o 39682
302.19/302.27	o 38049
302.19/302.27	o 38048
302.19/302.27	o 36426
302.19/302.27	o 36425
302.19/302.27	o 36424
302.19/302.27	o 36423
302.19/302.27	o 36422
302.19/302.27	o 36421
302.19/302.27	o 36420
302.19/302.27	o 36418
302.19/302.27	o 36417
302.19/302.27	o 36416
302.19/302.27	o 36415
302.19/302.27	o 36414
302.19/302.27	o 36413
302.19/302.27	o 34779
302.19/302.27	o 34778
302.19/302.27	o 33153
302.19/302.27	o 33152
302.19/302.27	o 33151
302.19/302.27	o 33150
302.19/302.27	o 33149
302.19/302.27	o 33148
302.19/302.27	o 33147
302.19/302.27	o 33146
302.19/302.27	o 33145
302.19/302.27	o 33144
302.19/302.27	o 33143
302.19/302.27	o 31518
302.19/302.27	o 31517
302.19/302.27	o 31516
302.19/302.27	o 31515
302.19/302.27	o 31514
302.19/302.27	o 31513
302.19/302.27	o 31512
302.19/302.27	o 31511
302.19/302.27	o 31510
302.19/302.27	o 31509
302.19/302.27	o 31508
302.19/302.27	o 31507
302.19/302.27	o 31506
302.19/302.27	o 31505
302.19/302.27	o 31504
302.19/302.27	o 31503
302.19/302.27	o 31502
302.19/302.27	o 31492
302.19/302.27	o 31491
302.19/302.27	o 29877
302.19/302.27	o 29876
302.19/302.27	o 28253
302.19/302.27	o 28252
302.19/302.27	o 28251
302.19/302.27	o 28250
302.19/302.27	o 28249
302.19/302.27	o 28248
302.19/302.27	o 28247
302.19/302.27	o 28246
302.19/302.27	o 28245
302.19/302.27	o 28244
302.19/302.27	o 28243
302.19/302.27	o 28242
302.19/302.27	o 28241
302.19/302.27	o 28240
302.19/302.27	o 28239
302.19/302.27	o 28238
302.19/302.27	o 28237
302.19/302.27	o 28236
302.19/302.27	o 28235
302.19/302.27	o 28234
302.19/302.27	o 28233
302.19/302.27	o 28232
302.19/302.27	o 28231
302.19/302.27	o 28230
302.19/302.27	o 28229
302.19/302.27	o 26607
302.19/302.27	o 26606
302.19/302.27	o 26605
302.19/302.27	o 26604
302.19/302.27	o 26603
302.19/302.27	o 26602
302.19/302.27	o 26601
302.19/302.27	o 26600
302.19/302.27	o 26599
302.19/302.27	o 26598
302.19/302.27	o 26597
302.19/302.27	o 26596
302.19/302.27	o 26595
302.19/302.27	o 26594
302.19/302.27	o 26593
302.19/302.27	o 26591
302.19/302.27	o 26590
302.19/302.27	o 26589
302.19/302.27	o 26588
302.19/302.27	o 26587
302.19/302.27	o 26586
302.19/302.27	o 26585
302.19/302.27	o 24997
302.19/302.27	o 24992
302.19/302.27	o 24991
302.19/302.27	o 24990
302.19/302.27	o 24989
302.19/302.27	o 24988
302.19/302.27	o 24987
302.19/302.27	o 24986
302.19/302.27	o 24985
302.19/302.27	o 24984
302.19/302.27	o 24983
302.19/302.27	o 24982
302.19/302.27	o 24981
302.19/302.27	o 24980
302.19/302.27	o 24979
302.19/302.27	o 24978
302.19/302.27	o 24977
302.19/302.27	o 24976
302.19/302.27	o 24975
302.19/302.27	o 24974
302.19/302.27	o 24973
302.19/302.27	o 24972
302.19/302.27	o 24971
302.19/302.27	o 24970
302.19/302.27	o 24969
302.19/302.27	o 23350
302.19/302.27	o 23349
302.19/302.27	o 23348
302.19/302.27	o 23347
302.19/302.27	o 23346
302.19/302.27	o 23345
302.19/302.27	o 23344
302.19/302.27	o 23343
302.19/302.27	o 23342
302.19/302.27	o 23341
302.19/302.27	o 23340
302.19/302.27	o 23339
302.19/302.27	o 23338
302.19/302.27	o 23336
302.19/302.27	o 23335
302.19/302.27	o 23334
302.19/302.27	o 23333
302.19/302.27	o 23332
302.19/302.27	o 23331
302.19/302.27	o 23330
302.19/302.27	o 23329
302.19/302.27	o 23328
302.19/302.27	o 23327
302.19/302.27	o 23326
302.19/302.27	o 23325
302.19/302.27	o 23324
302.19/302.27	o 23323
302.19/302.27	o 23322
302.19/302.27	o 23321
302.19/302.27	o 23320
302.19/302.27	o 23319
302.19/302.27	o 23318
302.19/302.27	o 23317
302.19/302.27	o 23316
302.19/302.27	o 23315
302.19/302.27	o 23314
302.19/302.27	o 23313
302.19/302.27	o 23312
302.19/302.27	o 21703
302.19/302.27	o 21702
302.19/302.27	o 21701
302.19/302.27	o 21700
302.19/302.27	o 21699
302.19/302.27	o 21698
302.19/302.27	o 21697
302.19/302.27	o 21695
302.19/302.27	o 21694
302.19/302.27	o 21693
302.19/302.27	o 21692
302.19/302.27	o 21691
302.19/302.27	o 21690
302.19/302.27	o 21689
302.19/302.27	o 21688
302.19/302.27	o 21687
302.19/302.27	o 21686
302.19/302.27	o 21685
302.19/302.27	o 21684
302.19/302.27	o 21683
302.19/302.27	o 21682
302.19/302.27	o 21681
302.19/302.27	o 21680
302.19/302.27	o 21679
302.19/302.27	o 21678
302.19/302.27	o 21677
302.19/302.27	o 21676
302.19/302.27	o 21675
302.19/302.27	o 21674
302.19/302.27	o 21673
302.19/302.27	o 20064
302.19/302.27	o 20063
302.19/302.27	o 20062
302.19/302.27	o 20061
302.19/302.27	o 20060
302.19/302.27	o 20059
302.19/302.27	o 20058
302.19/302.27	o 20057
302.19/302.27	o 20056
302.19/302.27	o 20055
302.19/302.27	o 20054
302.19/302.27	o 20053
302.19/302.27	o 20052
302.19/302.27	o 20051
302.19/302.27	o 20050
302.19/302.27	o 20049
302.19/302.27	o 20048
302.19/302.27	o 20047
302.19/302.27	o 20046
302.19/302.27	o 20045
302.19/302.27	o 20044
302.19/302.27	o 20043
302.19/302.27	o 20042
302.19/302.27	o 20041
302.19/302.27	o 20039
302.19/302.27	o 20038
302.19/302.27	o 20037
302.19/302.27	o 20036
302.19/302.27	o 20035
302.19/302.27	o 20034
302.19/302.27	o 20033
302.19/302.27	o 20032
302.19/302.27	o 18401
302.19/302.27	o 18400
302.19/302.27	o 18399
302.19/302.27	o 18398
302.19/302.27	o 18397
302.19/302.27	o 18396
302.19/302.27	o 18395
302.19/302.27	o 18394
302.19/302.27	o 18393
302.19/302.27	o 18392
302.19/302.27	o 18391
302.19/302.27	o 18390
302.19/302.27	o 18389
302.19/302.27	o 18388
302.19/302.27	o 18387
302.19/302.27	o 18386
302.19/302.27	o 18385
302.19/302.27	o 18384
302.19/302.27	o 18383
302.19/302.27	o 18382
302.19/302.27	o 18381
302.19/302.27	o 16747
302.19/302.27	o 16746
302.19/302.27	o 16745
302.19/302.27	o 16744
302.19/302.27	o 16743
302.19/302.27	o 16742
302.19/302.27	o 15147
302.19/302.27	o 15146
302.19/302.27	o 15145
302.19/302.27	o 15144
302.19/302.27	o 15143
302.19/302.27	o 15142
302.19/302.27	o 15141
302.19/302.27	o 15140
302.19/302.27	o 15139
302.19/302.27	o 15138
302.19/302.27	o 15137
302.19/302.27	o 15136
302.19/302.27	o 15135
302.19/302.27	o 15134
302.19/302.27	o 15133
302.19/302.27	o 15132
302.19/302.27	o 15131
302.19/302.27	o 15130
302.19/302.27	o 15129
302.19/302.27	o 15128
302.19/302.27	o 15127
302.19/302.27	o 15126
302.19/302.27	o 15125
302.19/302.27	o 15124
302.19/302.27	o 13491
302.19/302.27	o 13490
302.19/302.27	o 13489
302.19/302.27	o 13488
302.19/302.27	o 13487
302.19/302.27	o 13486
302.19/302.27	o 13485
302.19/302.27	o 13484
302.19/302.27	o 13483
302.19/302.27	o 13482
302.19/302.27	o 13481
302.19/302.27	o 13480
302.19/302.27	o 13479
302.19/302.27	o 13478
302.19/302.27	o 13477
302.19/302.27	o 13476
302.19/302.27	o 13475
302.19/302.27	o 13474
302.19/302.27	o 13473
302.19/302.27	o 13472
302.19/302.27	o 13471
302.19/302.27	o 13470
302.19/302.27	o 13469
302.19/302.27	o 13468
302.19/302.27	o 13467
302.19/302.27	o 13466
302.19/302.27	o 13465
302.19/302.27	o 13464
302.19/302.27	o 13463
302.19/302.27	o 13462
302.19/302.27	o 13460
302.19/302.27	o 13459
302.19/302.27	o 13458
302.19/302.27	o 13457
302.19/302.27	o 13456
302.19/302.27	o 13455
302.19/302.27	o 13454
302.19/302.27	o 13453
302.19/302.27	o 13452
302.19/302.27	o 11798
302.19/302.27	o 11797
302.19/302.27	o 11796
302.19/302.27	o 11795
302.19/302.27	o 11794
302.19/302.27	o 11793
302.19/302.27	o 11792
302.19/302.27	o 11791
302.19/302.27	o 11790
302.19/302.27	o 11789
302.19/302.27	o 11788
302.19/302.27	o 11787
302.19/302.27	o 11786
302.19/302.27	o 11784
302.19/302.27	o 11783
302.19/302.27	o 11782
302.19/302.27	o 11781
302.19/302.27	o 11780
302.19/302.27	o 11779
302.19/302.27	o 11778
302.19/302.27	o 11777
302.19/302.27	o 11776
302.19/302.27	o 11775
302.19/302.27	o 11774
302.19/302.27	o 11773
302.19/302.27	o 11772
302.19/302.27	o 11771
302.19/302.27	o 11770
302.19/302.27	o 11769
302.19/302.27	o 10138
302.19/302.27	o 10137
302.19/302.27	o 10136
302.19/302.27	o 10135
302.19/302.27	o 10134
302.19/302.27	o 10133
302.19/302.27	o 10131
302.19/302.27	o 10130
302.19/302.27	o 10129
302.19/302.27	o 10128
302.19/302.27	o 10127
302.19/302.27	o 10126
302.19/302.27	o 10125
302.19/302.27	o 10124
302.19/302.27	o 10123
302.19/302.27	o 10122
302.19/302.27	o 10121
302.19/302.27	o 10120
302.19/302.27	o 10119
302.19/302.27	o 10118
302.19/302.27	o 10117
302.19/302.27	o 10116
302.19/302.27	o 10115
327.30/327.36	o 10114
327.30/327.36	o 10113
327.30/327.36	o 10112
327.30/327.36	o 10111
327.30/327.36	o 10110
327.30/327.36	o 10109
327.30/327.36	o 10108
327.30/327.36	o 10107
327.30/327.36	o 10106
327.30/327.36	o 10105
327.30/327.36	o 10104
327.30/327.36	o 8503
327.30/327.36	o 8502
327.30/327.36	o 8501
327.30/327.36	o 8500
327.30/327.36	o 8499
327.30/327.36	o 8497
327.30/327.36	o 8496
327.30/327.36	o 8495
327.30/327.36	o 8494
327.30/327.36	o 8493
327.30/327.36	o 8492
327.30/327.36	o 8491
327.30/327.36	o 8490
327.30/327.36	o 8489
327.30/327.36	o 8488
327.30/327.36	o 8487
327.30/327.36	o 8486
327.30/327.36	o 8485
327.30/327.36	o 8484
327.30/327.36	o 8483
327.30/327.36	o 8482
327.30/327.36	o 8481
327.30/327.36	o 8480
327.30/327.36	o 8479
327.30/327.36	o 8478
327.30/327.36	o 8477
327.30/327.36	o 8476
327.30/327.36	o 8475
327.30/327.36	o 8474
327.30/327.36	o 8473
327.30/327.36	o 8472
327.30/327.36	o 8471
327.30/327.36	o 8470
327.30/327.36	o 8469
327.30/327.36	o 6854
327.30/327.36	o 6853
327.30/327.36	o 6852
327.30/327.36	o 6851
327.30/327.36	o 6850
327.30/327.36	o 6849
327.30/327.36	o 6848
327.30/327.36	o 6847
327.30/327.36	o 6846
327.30/327.36	o 6845
327.30/327.36	o 6844
327.30/327.36	o 6843
327.30/327.36	o 6842
327.30/327.36	o 6841
327.30/327.36	o 6840
327.30/327.36	o 6839
327.30/327.36	o 6838
327.30/327.36	o 6837
327.30/327.36	o 6836
327.30/327.36	o 6835
327.30/327.36	o 6834
327.30/327.36	o 6833
327.30/327.36	o 6832
327.30/327.36	o 6831
327.30/327.36	o 5215
327.30/327.36	o 5214
327.30/327.36	o 5213
327.30/327.36	o 5212
327.30/327.36	o 5211
327.30/327.36	o 5210
327.30/327.36	o 5209
327.30/327.36	o 5208
327.30/327.36	o 5207
327.30/327.36	o 5206
327.30/327.36	o 5205
327.30/327.36	o 5204
327.30/327.36	o 5203
327.30/327.36	o 5202
327.30/327.36	o 5201
327.30/327.36	o 5200
327.30/327.36	o 5199
327.30/327.36	o 5198
327.30/327.36	o 5197
327.30/327.36	o 5196
327.30/327.36	o 5194
327.30/327.36	o 5192
327.30/327.36	o 5191
327.30/327.36	o 5190
327.30/327.36	o 5189
327.30/327.36	o 5188
327.30/327.36	o 5187
327.30/327.36	o 5186
327.30/327.36	o 5185
327.30/327.36	o 5184
327.30/327.36	o 5183
327.30/327.36	o 5182
327.30/327.36	o 5181
327.30/327.36	o 5180
327.30/327.36	o 5179
327.30/327.36	o 5178
327.30/327.36	o 5177
327.30/327.36	o 5176
327.30/327.36	o 5175
327.30/327.36	o 5174
327.30/327.36	o 5173
327.30/327.36	o 5172
327.30/327.36	o 5171
327.30/327.36	o 5170
327.30/327.36	o 5169
327.30/327.36	o 5168
327.30/327.36	o 5167
327.30/327.36	o 5166
327.30/327.36	o 5165
327.30/327.36	o 5164
327.30/327.36	o 5163
327.30/327.36	o 5162
327.30/327.36	o 5161
327.30/327.36	o 3546
327.30/327.36	o 3545
327.30/327.36	o 3543
327.30/327.36	o 3541
327.30/327.36	o 3540
327.30/327.36	o 3539
327.30/327.36	o 3538
327.30/327.36	o 3537
327.30/327.36	o 3536
327.30/327.36	o 3535
327.30/327.36	o 3534
327.30/327.36	o 3533
327.30/327.36	o 3532
327.30/327.36	o 3531
327.30/327.36	o 3530
327.30/327.36	o 3529
327.30/327.36	o 3528
327.30/327.36	o 3527
327.30/327.36	o 3526
327.30/327.36	o 3524
327.30/327.36	o 3519
327.30/327.36	o 3518
327.30/327.36	o 3517
327.30/327.36	o 3516
327.30/327.36	o 3515
327.30/327.36	o 3514
327.30/327.36	o 3513
327.30/327.36	o 3512
327.30/327.36	o 3511
327.30/327.36	s OPTIMUM FOUND
327.30/327.36	v x1 -x2 -x3 x4 -x5 x6 -x7 -x8 -x9 x10 -x11 x12 -x13 x14 -x15 -x16 x17 -x18 -x19 x20 x21 -x22 -x23 x24 -x25 x26 -x27 x28 x29 -x30 x31 -x32 x33 x34 -x35 x36 -x37 -x38 -x39 x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 x89 -x90 x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 x137 -x138 x139 -x140 -x141 x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 x154 -x155 -x156 x157 -x158 -x159 -x160 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 x268 -x269 x270 x271 -x272 x273 -x274 x275 x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 x292 -x293 x294 -x295 x296 -x297 x298 -x299 -x300 -x301 x302 x303 -x304 -x305 x306 x307 -x308 -x309 x310 -x311 x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 x348 -x349 -x350 x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 x382 x383 x384 x385 x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 x422 -x423 x424 x425 x426 -x427 -x428 -x429 x430 x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 x473 -x474 -x475 x476 -x477 x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 x523 -x524 x525 -x526 -x527 x528 -x529 -x530 x531 x532 -x533 x534 -x535 -x536 x537 -x538 -x539 x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 x603 x604 -x605 -x606 x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 x619 -x620 x621 x622 -x623 x624 -x625 -x626 x627 -x628 x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 x637 x638 -x639 x640 x641 x642 x643 x644 -x645 x646 x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 x720 x721 -x722 -x723 -x724 x725 -x726 x727 -x728 x729 x730 -x731 -x732 x733 x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 x753 x754 -x755 -x756 x757 -x758 -x759 x760 -x761 x762 -x763 x764 -x765 -x766 x767 x768 -x769 -x770 x771 -x772 x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 x783 -x784 -x785 x786 -x787 x788 -x789 -x790 -x791 -x792 x793 -x794 x795 x796 -x797 -x798 -x799 -x800 x801 -x802 x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 x815 -x816 -x817 x818 x819 -x820 x821 -x822 x823 x824 -x825 x826 -x827 -x828 -x829 -x830 x831 -x832 x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 x841 x842 -x843 -x844 x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 x866 x867 -x868 x869 -x870 x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 x887 x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 x913 x914 -x915 -x916 -x917 x918 -x919 -x920 x921 -x922 x923 x924 -x925 x926 -x927 -x928 x929 x930 -x931 -x932 -x933 -x934 x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 x973 -x974 x975 -x976 -x977 x978 -x979 -x980 x981 -x982 x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 x1024 x1025 -x1026 x1027 -x1028 -x1029 x1030 -x1031 x1032 x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 x1141 x1142 x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 x1159 -x1160 -x1161 -x1162 x1163 -x1164 x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 x1191 x1192 x1193 x1194 x1195 x1196 x1197 x1198 x1199 x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x1250 x1251 x1252 -x1253 x1254 -x1255 -x1256 x1257 -x1258 -x1259 x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 x1278 x1279 -x1280 -x1281 x1282 x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 x1293 x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 x1315 x1316 -x1317 -x1318 x1319 -x1320 x1321 -x1322 x1323 x1324 x1325 -x1326 -x1327 x1328 -x1329 x1330 -x1331 -x1332 x1333 -x1334 x1335 -x1336 x1337 -x1338 x1339 -x1340 x1341 x1342 -x1343 -x1344 -x1345 -x1346 x1347 -x1348 x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 x1356 x1357 -x1358 -x1359 x1360 -x1361 -x1362 x1363 -x1364 -x1365 x1366 -x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 x1389 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 x1424 -x1425 x1426 -x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 x1453 x1454 x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 x1585 x1586 x1587 x1588 x1589 -x1590 x1591 -x1592 -x1593 x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 x1606 -x1607 x1608 -x1609 x1610 x1611 -x1612 x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 -x1622 -x1623 x1624 x1625 -x1626 x1627 -x1628 -x1629 -x1630 x1631 x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 x1641 -x1642 x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1671 -x1672 x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 x1695 x1696 x1697 x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 x1770 -x1771 -x1772 x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 -x1789 -x1790 -x1791 -x1792 x1793 -x1794 x1795 -x1796 -x1797 x1798 -x1799 x1800 x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 -x1809 x1810 -x1811 x1812 x1813 -x1814 x1815 -x1816 x1817 -x1818 -x1819 x1820 -x1821 -x1822 -x1823 -x1824 -x1825 x1826 x1827 -x1828 -x1829 x1830 -x1831 -x1832 x1833 -x1834 x1835 -x1836 x1837 -x1838 x1839 x1840 -x1841 x1842 -x1843 x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 x1859 -x1860 x1861 x1862 -x1863 -x1864 x1865 -x1866 x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 x1907 x1908 -x1909 x1910 -x1911 x1912 x1913 -x1914 x1915 -x1916 -x1917 x1918 -x1919 x1920 -x1921 x1922 x1923 -x1924 -x1925 x1926 -x1927 x1928 x1929 x1930 x1931 -x1932 x1933 -x1934 x1935 -x1936 x1937 x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 x1952 -x1953 x1954 -x1955 x1956 -x1957 -x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 -x1978 x1979 x1980 x1981 -x1982 x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 x2023 x2024 x2025 -x2026 x2027 -x2028 -x2029 x2030 -x2031 -x2032 x2033 -x2034 x2035 -x2036 x2037 -x2038 x2039 -x2040 x2041 -x2042 x2043 x2044 -x2045 -x2046 -x2047 -x2048 x2049 -x2050 x2051 x2052 -x2053 -x2054 -x2055 -x2056 x2057 -x2058 x2059 -x2060 x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 -x2069 -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 x2078 x2079 -x2080 x2081 x2082 -x2083 x2084 -x2085 -x2086 -x2087 -x2088 -x2089 x2090 -x2091 -x2092 -x2093 -x2094 -x2095 x2096 -x2097 x2098 -x2099 -x2100 x2101 -x2102 -x2103 x2104 x2105 -x2106 -x2107 x2108 x2109 -x2110 -x2111 x2112 -x2113 x2114 x2115 -x2116 -x2117 x2118 -x2119 x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 x2140 x2141 -x2142 -x2143 x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 x2153 x2154 -x2155 -x2156 x2157 -x2158 x2159 x2160 x2161 x2162 x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 x2170 -x2171 -x2172 -x2173 x2174 -x2175 -x2176 x2177 x2178 -x2179 -x2180 -x2181 x2182 x2183 -x2184 -x2185 -x2186 -x2187 x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 -x2200 x2201 x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 x2216 -x2217 -x2218 -x2219 x2220 -x2221 x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x2230 -x2231 -x2232 -x2233 x2234 x2235 x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x2280 x2281 x2282 x2283 x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 x2330 -x2331 x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 x2342 -x2343 x2344 -x2345 x2346 -x2347 x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 x2359 -x2360 -x2361 x2362 -x2363 x2364 x2365 -x2366 -x2367 x2368 -x2369 x2370 -x2371 -x2372 x2373 x2374 -x2375 -x2376 -x2377 -x2378 x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 x2386 -x2387 x2388 -x2389 -x2390 -x2391 x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2402 -x2403 -x2404 -x2405 -x2406 x2407 -x2408 -x2409 -x2410 x2411 -x2412 -x2413 x2414 -x2415 x2416 x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 x2434 -x2435 -x2436 x2437 -x2438 x2439 x2440 -x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 x2449 -x2450 -x2451 x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 x2460 -x2461 x2462 -x2463 x2464 x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 x2473 -x2474 -x2475 x2476 -x2477 x2478 x2479 -x2480 -x2481 x2482 -x2483 -x2484 x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 x2498 x2499 x2500 -x2501 -x2502 -x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 x2516 -x2517 -x2518 -x2519 x2520 -x2521 x2522 -x2523 -x2524 x2525 x2526 x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 -x2542 x2543 -x2544 -x2545 -x2546 -x2547 x2548 -x2549 x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 x2559 -x2560 x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 x2570 -x2571 -x2572 -x2573 -x2574 -x2575 x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 -x2589 x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 -x2599 x2600 -x2601 x2602 -x2603 -x2604 -x2605 -x2606 -x2607 x2608 -x2609 -x2610 -x2611 -x2612 x2613 x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 x2625 -x2626 -x2627 -x2628 x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 -x2640 x2641 -x2642 -x2643 x2644 x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 -x2658 -x2659 x2660 x2661 -x2662 x2663 -x2664 -x2665 x2666 x2667 -x2668 -x2669 x2670 -x2671 x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 x2686 -x2687 -x2688 -x2689 x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2701 x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 x2712 -x2713 x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 x2724 -x2725 x2726 -x2727 x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 x2735 -x2736 x2737 -x2738 -x2739 x2740 x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 x2770 -x2771 x2772 x2773 -x2774 -x2775 -x2776 -x2777 x2778 -x2779 -x2780 -x2781 x2782 x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 x2794 x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 -x2802 x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 x2819 -x2820 -x2821 x2822 -x2823 -x2824 -x2825 -x2826 -x2827 x2828 -x2829 -x2830 x2831 x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 x2840 x2841 -x2842 -x2843 -x2844 x2845 x2846 x2847 x2848 -x2849 -x2850 x2851 -x2852 x2853 -x2854 -x2855 x2856 x2857 -x2858 -x2859 -x2860 x2861 -x2862 -x2863 -x2864 -x2865 -x2866 x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 x2884 x2885 x2886 x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 x2908 -x2909 x2910 x2911 -x2912 -x2913 -x2914 -x2915 -x2916 x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 x2930 x2931 -x2932 -x2933 -x2934 x2935 -x2936 -x2937 -x2938 x2939 -x2940 -x2941 -x2942 -x2943 x2944 -x2945 -x2946 -x2947 x2948 -x2949 x2950 -x2951 -x2952 x2953 -x2954 x2955 -x2956 -x2957 -x2958 -x2959 -x2960 x2961 -x2962 -x2963 -x2964 x2965 -x2966 x2967 -x2968 -x2969 x2970 -x2971 -x2972 x2973 -x2974 -x2975 -x2976 -x2977 x2978 -x2979 x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 x2995 -x2996 -x2997 -x2998 x2999 -x3000 -x3001 -x3002 x3003 -x3004 x3005 -x3006 x3007 -x3008 -x3009 -x3010 -x3011 x3012 -x3013 -x3014 -x3015 x3016 x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 x3026 -x3027 -x3028 -x3029 x3030 -x3031 -x3032 -x3033 x3034 -x3035 -x3036 x3037 x3038 -x3039 x3040 -x3041 x3042 -x3043 x3044 x3045 x3046 -x3047 -x3048 x3049 -x3050 x3051 -x3052 x3053 -x3054 x3055 -x3056 x3057 -x3058 x3059 -x3060 -x3061 x3062 x3063 x3064 -x3065 -x3066 x3067 -x3068 x3069 -x3070 -x3071 -x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 x3080 -x3081 -x3082 x3083 x3084 x3085 x3086 x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 x3097 -x3098 -x3099 -x3100 x3101 -x3102 x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 x3120 x3121 -x3122 x3123 -x3124 -x3125 -x3126 -x3127 x3128 x3129 -x3130 -x3131 x3132 -x3133 -x3134 x3135 -x3136 -x3137 -x3138 x3139 x3140 x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 x4296 x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 x4311 x4312 x4313 x4314 x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 x4339 x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 x4380 x4381 x4382 x4383 x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 x4460 -x4461 x4462 x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 x4475 x4476 -x4477 -x4478 -x4479 -x4480 -x4481 x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 x4495 x4496 x4497 x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 x4513 -x4514 -x4515 -x4516 -x4517 -x4518 x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 x4546 x4547 x4548 x4549 x4550 x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 x4646 -x4647 -x4648 -x4649 x4650 -x4651 x4652 -x4653 x4654 -x4655 -x4656 -x4657 x4658 x4659 x4660 -x4661 -x4662 -x4663 -x4664 -x4665 x4666 -x4667 -x4668 -x4669 x4670 x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 x4687 -x4688 -x4689 x4690 x4691 x4692 x4693 -x4694 -x4695 -x4696 -x4697 x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 x4762 x4763 -x4764 -x4765 -x4766 x4767 -x4768 x4769 -x4770 -x4771 -x4772 -x4773 x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 x4783 -x4784 x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 x4797 -x4798 x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 x4808 x4809 -x4810 -x4811 -x4812 -x4813 x4814 x4815 x4816 x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 x4848 x4849 -x4850 x4851 -x4852 x4853 x4854 -x4855 -x4856 x4857 -x4858 -x4859 x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 x4873 -x4874 x4875 x4876 -x4877 -x4878 -x4879 x4880 -x4881 -x4882 -x4883 -x4884 -x4885 x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 x4893 x4894 -x4895 -x4896 -x4897 x4898 -x4899 -x4900 x4901 -x4902 x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 x4910 x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 x4932 x4933 x4934 x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 x4943 x4944 x4945 -x4946 x4947 x4948 -x4949 x4950 x4951 -x4952 -x4953 x4954 -x4955 -x4956 -x4957 x4958 x4959 x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 x4969 -x4970 -x4971 -x4972 -x4973 -x4974 x4975 -x4976 -x4977 -x4978 -x4979 x4980 -x4981 x4982 -x4983 x4984 -x4985 x4986 -x4987 x4988 -x4989 x4990 -x4991 x4992 -x4993 x4994 -x4995 -x4996 -x4997 -x4998 x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 x5019 x5020 -x5021 -x5022 -x5023 x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 x5034 -x5035 -x5036 -x5037 -x5038 x5039 x5040 -x5041 -x5042 -x5043 -x5044 -x5045 x5046 -x5047 -x5048 x5049 -x5050 -x5051 -x5052 x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 x5087 -x5088 -x5089 -x5090 x5091 -x5092 -x5093 -x5094 x5095 x5096 x5097 x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 x5129 -x5130 -x5131 -x5132 -x5133 x5134 -x5135 x5136 x5137 -x5138 x5139 -x5140 -x5141 -x5142 -x5143 x5144 -x5145 -x5146 -x5147 -x5148 x5149 -x5150 -x5151 x5152 -x5153 -x5154 -x5155 x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 x5164 x5165 -x5166 -x5167 -x5168 -x5169 -x5170 x5171 -x5172 -x5173 -x5174 x5175 x5176 x5177 -x5178 -x5179 x5180 -x5181 x5182 -x5183 -x5184 x5185 x5186 x5187 x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 x5210 -x5211 -x5212 -x5213 -x5214 -x5215 x5216 -x5217 x5218 -x5219 -x5220 x5221 x5222 x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 x5271 x5272 -x5273 -x5274 -x5275 x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 x5290 -x5291 x5292 -x5293 -x5294 -x5295 -x5296 -x5297 x5298 x5299 x5300 x5301 x5302 -x5303 -x5304 -x5305 -x5306 -x5307 x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 x5315 x5316 -x5317 -x5318 -x5319 -x5320 -x5321 x5322 -x5323 -x5324 -x5325 -x5326 x5327 x5328 x5329 -x5330 x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 x5362 -x5363 -x5364 -x5365 -x5366 -x5367 x5368 -x5369 -x5370 x5371 -x5372 x5373 -x5374 -x5375 -x5376 x5377 -x5378 x5379 -x5380 -x5381 -x5382 -x5383 x5384 -x5385 -x5386 x5387 -x5388 -x5389 -x5390 x5391 x5392 -x5393 -x5394 x5395 -x5396 -x5397 -x5398 x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 x5413 x5414 -x5415 x5416 -x5417 -x5418 x5419 -x5420 -x5421 -x5422 -x5423 x5424 -x5425 -x5426 x5427 x5428 x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 x5448 x5449 -x5450 x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 x5481 x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 x5495 -x5496 x5497 -x5498 x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 x5598 x5599 x5600 x5601 x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 x5630 -x5631 -x5632 -x5633 x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 x5687 -x5688 x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 x5732 x5733 x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 x5774 -x5775 x5776 x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 x5792 x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 x5829 -x5830 -x5831 x5832 x5833 -x5834 -x5835 x5836 x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 x5854 x5855 x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 x5873 x5874 x5875 

OK	3511

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3498075-1307935223/watcher-3498075-1307935223 -o /var/tmp/evaluation-result-3498075-1307935223/solver-3498075-1307935223 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3498075-1307935223.opb --verbosity=0 --format=opb --randomseed=58303239 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17200
/proc/meminfo: memFree=194296/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=7680 CPUtime=0 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 370 0 0 0 0 0 0 0 25 0 1 0 905121019 7864320 324 33554432000 4194304 6957856 140734945608112 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 1920 324 227 675 0 1236 0

[startup+0.0349871 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17200
/proc/meminfo: memFree=194296/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=10300 CPUtime=0.03 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 1068 0 0 0 3 0 0 0 25 0 1 0 905121019 10547200 1001 33554432000 4194304 6957856 140734945608112 18446744073709551615 5448754 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 2575 1001 251 675 0 1891 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10300

[startup+0.101034 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17200
/proc/meminfo: memFree=194296/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=14988 CPUtime=0.09 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 2212 0 0 0 9 0 0 0 25 0 1 0 905121019 15347712 2145 33554432000 4194304 6957856 140734945608112 18446744073709551615 4426356 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 3747 2146 251 675 0 3063 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14988

[startup+0.301023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17200
/proc/meminfo: memFree=194296/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=30232 CPUtime=0.29 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 6180 0 0 0 29 0 0 0 25 0 1 0 905121019 30957568 5971 33554432000 4194304 6957856 140734945608112 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 7558 5972 267 675 0 6874 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30232

[startup+0.700953 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17200
/proc/meminfo: memFree=194296/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=67760 CPUtime=0.69 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 15581 0 0 0 68 1 0 0 25 0 1 0 905121019 69386240 15306 33554432000 4194304 6957856 140734945608112 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 16940 15308 267 675 0 16256 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67760

[startup+1.50083 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17201
/proc/meminfo: memFree=119168/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=82248 CPUtime=1.49 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 19213 0 0 0 148 1 0 0 25 0 1 0 905121019 84221952 18937 33554432000 4194304 6957856 140734945608112 18446744073709551615 4741152 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 20562 18937 283 675 0 19878 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82248

[startup+3.10048 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17201
/proc/meminfo: memFree=118672/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=82252 CPUtime=3.09 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 19239 0 0 0 308 1 0 0 25 0 1 0 905121019 84226048 18963 33554432000 4194304 6957856 140734945608112 18446744073709551615 5918022 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 20563 18963 286 675 0 19879 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 82252

[startup+6.30094 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17201
/proc/meminfo: memFree=117880/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=82540 CPUtime=6.29 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 19363 0 0 0 628 1 0 0 25 0 1 0 905121019 84520960 19086 33554432000 4194304 6957856 140734945608112 18446744073709551615 5932528 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 20635 19086 286 675 0 19951 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82540

[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17201
/proc/meminfo: memFree=116628/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=83644 CPUtime=12.69 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 19683 0 0 0 1268 1 0 0 25 0 1 0 905121019 85651456 19406 33554432000 4194304 6957856 140734945608112 18446744073709551615 4630749 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 20911 19406 286 675 0 20227 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83644

[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17202
/proc/meminfo: memFree=115028/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=84608 CPUtime=25.49 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 19976 0 0 0 2548 1 0 0 25 0 1 0 905121019 86638592 19699 33554432000 4194304 6957856 140734945608112 18446744073709551615 5922139 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 21152 19699 286 675 0 20468 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84608

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17202
/proc/meminfo: memFree=109172/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=87076 CPUtime=51.09 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 21774 0 0 0 5108 1 0 0 25 0 1 0 905121019 89165824 21037 33554432000 4194304 6957856 140734945608112 18446744073709551615 5314078 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 21769 21037 287 675 0 21085 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87076

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17204
/proc/meminfo: memFree=94080/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=117792 CPUtime=102.3 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 39019 0 0 0 10226 4 0 0 25 0 1 0 905121019 120619008 28858 33554432000 4194304 6957856 140734945608112 18446744073709551615 5933982 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 29448 28858 287 675 0 28764 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 117792

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17205
/proc/meminfo: memFree=93280/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=125004 CPUtime=162.29 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 52220 0 0 0 16223 6 0 0 25 0 1 0 905121019 128004096 30614 33554432000 4194304 6957856 140734945608112 18446744073709551615 5934391 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 31251 30614 287 675 0 30567 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 125004

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17207
/proc/meminfo: memFree=92064/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=136496 CPUtime=222.29 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 54795 0 0 0 22222 7 0 0 25 0 1 0 905121019 139771904 33187 33554432000 4194304 6957856 140734945608112 18446744073709551615 5307369 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 34124 33187 287 675 0 33440 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 136496

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17208
/proc/meminfo: memFree=98604/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=136496 CPUtime=282.29 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 54917 0 0 0 28222 7 0 0 25 0 1 0 905121019 139771904 33309 33554432000 4194304 6957856 140734945608112 18446744073709551615 5932674 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 34124 33309 287 675 0 33440 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 136496

Solver just ended. Dumping a history of the last processes samples

[startup+307.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17209
/proc/meminfo: memFree=97856/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=136496 CPUtime=307.09 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 54917 0 0 0 30702 7 0 0 25 0 1 0 905121019 139771904 33309 33554432000 4194304 6957856 140734945608112 18446744073709551615 5311774 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 34124 33309 287 675 0 33440 0
Current children cumulated CPU time (s) 307.09
Current children cumulated vsize (KiB) 136496

[startup+319.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17210
/proc/meminfo: memFree=97480/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=136812 CPUtime=319.89 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 54938 0 0 0 31982 7 0 0 25 0 1 0 905121019 140095488 33330 33554432000 4194304 6957856 140734945608112 18446744073709551615 5922313 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 34203 33330 287 675 0 33519 0
Current children cumulated CPU time (s) 319.89
Current children cumulated vsize (KiB) 136812

[startup+323.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17210
/proc/meminfo: memFree=97472/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=136812 CPUtime=323.09 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 54938 0 0 0 32302 7 0 0 25 0 1 0 905121019 140095488 33330 33554432000 4194304 6957856 140734945608112 18446744073709551615 5932611 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 34203 33330 287 675 0 33519 0
Current children cumulated CPU time (s) 323.09
Current children cumulated vsize (KiB) 136812

[startup+324.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17210
/proc/meminfo: memFree=97348/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=136812 CPUtime=324.69 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 54938 0 0 0 32462 7 0 0 25 0 1 0 905121019 140095488 33330 33554432000 4194304 6957856 140734945608112 18446744073709551615 5922034 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 34203 33330 287 675 0 33519 0
Current children cumulated CPU time (s) 324.69
Current children cumulated vsize (KiB) 136812

[startup+326.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17210
/proc/meminfo: memFree=97344/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=136812 CPUtime=326.29 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 54938 0 0 0 32622 7 0 0 25 0 1 0 905121019 140095488 33330 33554432000 4194304 6957856 140734945608112 18446744073709551615 5918037 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 34203 33330 287 675 0 33519 0
Current children cumulated CPU time (s) 326.29
Current children cumulated vsize (KiB) 136812

[startup+327.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17210
/proc/meminfo: memFree=97344/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=136812 CPUtime=327.1 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 54938 0 0 0 32703 7 0 0 25 0 1 0 905121019 140095488 33330 33554432000 4194304 6957856 140734945608112 18446744073709551615 5918124 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 34203 33330 287 675 0 33519 0
Current children cumulated CPU time (s) 327.1
Current children cumulated vsize (KiB) 136812

[startup+327.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17210
/proc/meminfo: memFree=97344/32950928 swapFree=67050636/67111528
[pid=17200] ppid=17198 vsize=136812 CPUtime=327.3 cores=0,2,4,6
/proc/17200/stat : 17200 (minisatid-gmp) R 17198 17200 15254 0 -1 4202496 54938 0 0 0 32723 7 0 0 25 0 1 0 905121019 140095488 33330 33554432000 4194304 6957856 140734945608112 18446744073709551615 5313040 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/17200/statm: 34203 33330 287 675 0 33519 0
Current children cumulated CPU time (s) 327.3
Current children cumulated vsize (KiB) 136812

Child status: 10
Real time (s): 327.371
CPU time (s): 327.373
CPU user time (s): 327.294
CPU system time (s): 0.078987
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 136812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 327.294
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54941
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 912

runsolver used 0.538918 second user time and 1.06384 second system time

The end

Begin job on node126 at 2011-06-13 05:20:23
IDJOB=3498075
IDBENCH=72107
IDSOLVER=1990
FILE ID=node126/3498075-1307935223
RUNJOBID= node126-1307919795-15272
PBS_JOBID= 13559653
Free space on /var/tmp= 2856 MiB

SOLVER NAME= MinisatID 2.5.2-gmp
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randfd04d4.cudf.paranoid.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3498075-1307935223/watcher-3498075-1307935223 -o /var/tmp/evaluation-result-3498075-1307935223/solver-3498075-1307935223 -C 1800 -W 1900 -M 15500  HOME/minisatid-gmp HOME/instance-3498075-1307935223.opb --verbosity=0 --format=opb --randomseed=58303239

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 96ae353809ccf018b1066e79a85baf24
RANDOM SEED=58303239

node126.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:        194724 kB
Buffers:        100124 kB
Cached:       29816356 kB
SwapCached:      14604 kB
Active:       16805180 kB
Inactive:     14999244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:        194724 kB
SwapTotal:    67111528 kB
SwapFree:     67050636 kB
Dirty:            3960 kB
Writeback:           0 kB
AnonPages:     1885852 kB
Mapped:          10432 kB
Slab:           883808 kB
PageTables:       8748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2111872 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2852 MiB
End job on node126 at 2011-06-13 05:25:51