0.00/0.00	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
50.69/50.72	o 816461687751
50.69/50.72	o 813995841200
50.69/50.72	o 811529994649
50.69/50.72	o 809064148098
50.69/50.72	o 806600126748
50.69/50.72	o 804134280197
50.69/50.72	o 789351977299
50.69/50.72	o 786886130748
50.69/50.72	o 784420284197
50.69/50.72	o 781954437646
50.69/50.72	o 779488591095
50.69/50.72	o 777022744544
50.69/50.72	o 774556897993
50.69/50.72	o 772092876644
50.69/50.72	o 769627030093
50.69/50.72	o 767163008743
50.69/50.72	o 764697162192
50.69/50.72	o 762233140842
50.69/50.72	o 759767294291
50.69/50.72	o 757301447740
50.69/50.72	o 754835601189
50.69/50.72	o 752369754638
50.69/50.72	o 749903908087
50.69/50.72	o 747439886737
50.69/50.72	o 744974040186
50.69/50.72	o 742510018836
50.69/50.72	o 740045997486
50.69/50.72	o 737580150935
50.69/50.72	o 735114304384
50.69/50.72	o 732650283034
50.69/50.72	o 730184436483
50.69/50.72	o 727718589932
50.69/50.72	o 725252743381
50.69/50.72	o 722786896830
50.69/50.72	o 720321050279
50.69/50.72	o 720319225079
50.69/50.72	o 717853378528
50.69/50.72	o 715387531977
50.69/50.72	o 712923510627
50.69/50.72	o 710457664076
50.69/50.72	o 707991817525
50.69/50.72	o 705525970974
50.69/50.72	o 703061949624
50.69/50.72	o 700596103073
50.69/50.72	o 698130256522
50.69/50.72	o 695664409971
50.69/50.72	o 693198563420
50.69/50.72	o 690732716869
50.69/50.72	o 688266870318
50.69/50.72	o 685801023767
50.69/50.72	o 683335177216
50.69/50.72	o 680869330665
50.69/50.72	o 678403484114
50.69/50.72	o 675937637563
50.69/50.72	o 673473616213
50.69/50.72	o 671007769662
50.69/50.72	o 668541923112
50.69/50.72	o 666077901762
50.69/50.72	o 663612055211
50.69/50.72	o 661146208660
50.69/50.72	o 658680362109
50.69/50.72	o 656214515558
50.69/50.72	o 653748669007
50.69/50.72	o 651282822456
50.69/50.72	o 648816975905
50.69/50.72	o 646352954555
50.69/50.72	o 643887108004
50.69/50.72	o 641421261453
50.69/50.72	o 638955414902
50.69/50.72	o 636491393552
50.69/50.72	o 634027372202
50.69/50.72	o 631563350852
50.69/50.72	o 629097504301
50.69/50.72	o 626635308154
50.69/50.72	o 624171286804
50.69/50.72	o 621705440253
50.69/50.72	o 619241418903
50.69/50.72	o 619239593702
50.69/50.72	o 619237768502
50.69/50.72	o 619235943301
50.69/50.72	o 619234118100
50.69/50.72	o 619234118099
50.69/50.72	o 616768271548
50.69/50.72	o 616766446347
50.69/50.72	o 614300599796
50.69/50.72	o 614298774595
50.69/50.72	o 614296949394
50.69/50.72	o 614295124193
50.69/50.72	o 614295124192
50.69/50.72	o 611831102842
50.69/50.72	o 609365256291
50.69/50.72	o 606899409740
50.69/50.72	o 604433563189
50.69/50.72	o 601969541839
50.69/50.72	o 599505520489
50.69/50.72	o 597039673938
50.69/50.72	o 594579302991
50.69/50.72	o 592117106844
50.69/50.72	o 589651260293
50.69/50.72	o 587185413743
50.69/50.72	o 584721392393
50.69/50.72	o 582257371043
50.69/50.72	o 579793349693
50.69/50.72	o 577327503142
50.69/50.72	o 574863481792
50.69/50.72	o 572397635241
50.69/50.72	o 569931788690
50.69/50.72	o 567467767340
50.69/50.72	o 565001920789
50.69/50.72	o 557606206337
50.69/50.72	o 555140359786
50.69/50.72	o 547748295736
50.69/50.72	o 542820253036
50.69/50.72	o 540356231689
50.69/50.72	o 537895860741
50.69/50.72	o 535431839391
50.69/50.72	o 532967818045
50.69/50.72	o 530503796695
50.69/50.72	o 528037950144
50.69/50.72	o 525572103593
50.69/50.72	o 523108082243
50.69/50.72	o 520642235692
50.69/50.72	o 518176389141
50.69/50.72	o 515710542590
50.69/50.72	o 513244696041
50.69/50.72	o 510778849490
50.69/50.72	o 508313002939
50.69/50.72	o 505847156388
50.69/50.72	o 503381309837
50.69/50.72	o 500915463287
50.69/50.72	o 498455092339
50.69/50.72	o 495989245788
50.69/50.72	o 493523399237
50.69/50.72	o 491057552688
50.69/50.72	o 488591706137
50.69/50.72	o 486125859587
50.69/50.72	o 483660013036
50.69/50.72	o 481197816889
50.69/50.72	o 478731970338
50.69/50.72	o 476266123787
50.69/50.72	o 473800277236
50.69/50.72	o 461472869683
50.69/50.72	o 459007023132
50.69/50.72	o 456541176582
50.69/50.72	o 454075330031
50.69/50.72	o 451609483480
50.69/50.72	o 449143636929
50.69/50.72	o 446677790378
50.69/50.72	o 444211943827
50.69/50.72	o 441746097281
50.69/50.72	o 439280250730
50.69/50.72	o 436814404179
50.69/50.72	o 434348557628
50.69/50.72	o 431882711078
50.69/50.72	o 429416864527
50.69/50.72	o 426951017976
50.69/50.72	o 424485171425
50.69/50.72	o 422021150075
50.69/50.72	o 422019324874
50.69/50.72	o 419555303524
50.69/50.72	o 417089456973
50.69/50.72	o 417089456972
50.69/50.72	o 414623610421
50.69/50.72	o 412170540281
50.69/50.72	o 409706518931
50.69/50.72	o 407242497581
50.69/50.72	o 404778476231
50.69/50.72	o 402316280081
50.69/50.72	o 399852258731
50.69/50.72	o 399850433531
50.69/50.72	o 397386412181
50.69/50.72	o 394922390831
50.69/50.72	o 394922390830
50.69/50.72	o 392456544279
50.69/50.72	o 392454719078
50.69/50.72	o 387524851177
50.69/50.72	o 385060829827
50.69/50.72	o 385048053422
50.69/50.72	o 385046228221
50.69/50.72	o 385044403020
50.69/50.72	o 385042577820
50.69/50.72	o 385040752619
50.69/50.72	o 382574906068
50.69/50.72	o 380109059521
50.69/50.72	o 377643212970
50.69/50.72	o 377641387769
50.69/50.72	o 367778001571
50.69/50.72	o 365312155020
50.69/50.72	o 365310329819
50.69/50.72	o 362844483268
50.69/50.72	o 362842658067
50.69/50.72	o 360376811517
50.69/50.72	o 357910964966
50.69/50.72	o 355445118415
50.69/50.72	o 352979271864
50.69/50.72	o 350513425313
50.69/50.72	o 345581732211
50.69/50.72	o 345579907010
50.69/50.72	o 316002524805
50.69/50.72	o 313536678254
50.69/50.72	o 313534853053
50.69/50.72	o 313533027852
50.69/50.72	o 313531202652
50.69/50.72	o 313529377451
50.69/50.72	o 311063530901
50.69/50.72	o 308599509551
50.69/50.72	o 306135488202
50.69/50.72	o 306135488201
50.69/50.72	o 306133663003
50.69/50.72	o 306133663002
50.69/50.72	o 303669641653
50.69/50.72	o 301205620303
50.69/50.72	o 298741598954
50.69/50.72	o 296277577604
50.69/50.72	o 293811731053
50.69/50.72	o 293811731052
50.69/50.72	o 291347709702
50.69/50.72	o 286421492204
50.69/50.72	o 286421492203
50.69/50.72	o 286421492202
50.69/50.72	o 286419667001
50.69/50.72	o 283953820450
50.69/50.72	o 281487973899
50.69/50.72	o 279022127348
50.69/50.72	o 276556280797
50.69/50.72	o 274090434246
50.69/50.72	o 271624587695
50.69/50.72	o 269158741144
50.69/50.72	o 266687418992
50.69/50.72	o 264221572441
50.69/50.72	o 261755725890
50.69/50.72	o 259289879339
50.69/50.72	o 259288054139
50.69/50.72	o 259286228938
50.69/50.72	o 256820382387
50.69/50.72	o 254358186238
50.69/50.72	o 251895990096
50.69/50.72	o 251895990095
50.69/50.72	o 251895990094
50.69/50.72	o 249430143543
50.69/50.72	o 249428318343
50.69/50.72	o 249426493143
50.69/50.72	o 249426493142
50.69/50.72	o 246960646591
50.69/50.72	o 244494800040
50.69/50.72	o 242028953489
50.69/50.72	o 239563106938
50.69/50.72	o 237097260387
50.69/50.72	o 234631413836
50.69/50.72	o 234631413835
50.69/50.72	o 234629588635
50.69/50.72	o 232165567284
50.69/50.72	o 232163742084
50.69/50.72	o 229699720733
50.69/50.72	o 229697895533
50.69/50.72	o 227237524584
50.69/50.72	o 227235699384
50.69/50.72	o 224773503234
50.69/50.72	o 224771678034
50.69/50.72	o 224771678033
50.69/50.72	o 224769852833
50.69/50.72	o 222305831482
50.69/50.72	o 222304006282
50.69/50.72	o 219839984932
50.69/50.72	o 219838159732
50.69/50.72	o 217375963582
50.69/50.72	o 217374138382
50.69/50.72	o 214910117032
50.69/50.72	o 212449746082
50.69/50.72	o 212447920882
50.69/50.72	o 212446095682
50.69/50.72	o 209982074332
50.69/50.72	o 207519878183
50.69/50.72	o 207518052982
78.10/78.12	o 205055856832
78.10/78.12	o 205054031632
78.10/78.12	o 202590010283
78.10/78.12	o 197667443184
78.10/78.12	o 197665617984
78.10/78.12	o 197663792783
78.10/78.12	o 197661967582
78.10/78.12	o 197660142382
78.10/78.12	o 195197946233
78.10/78.12	o 195197946232
78.10/78.12	o 192732099681
78.10/78.12	o 190269903532
78.10/78.12	o 190268078331
78.10/78.12	o 187802231780
78.10/78.12	o 187800406579
78.10/78.12	o 185336385229
78.10/78.12	o 180411992929
78.10/78.12	o 180410167729
78.10/78.12	o 180408342529
78.10/78.12	o 180406517328
78.10/78.12	o 180404692127
78.10/78.12	o 177940670777
78.10/78.12	o 175474824226
78.10/78.12	o 173008977675
78.10/78.12	o 170546781526
78.10/78.12	o 168084585376
78.10/78.12	o 168082760176
78.10/78.12	o 165618738828
78.10/78.12	o 165616913628
78.10/78.12	o 163152892277
78.10/78.12	o 163151067077
78.10/78.12	o 163149241877
78.10/78.12	o 163147416677
78.10/78.12	o 160683395328
78.10/78.12	o 160681570127
78.10/78.12	o 160679744927
78.10/78.12	o 155751702227
78.10/78.12	o 155749877028
78.10/78.12	o 155748051827
78.10/78.12	o 155746226626
78.10/78.12	o 155744401425
78.10/78.12	o 155742576230
78.10/78.12	o 155740751029
78.10/78.12	o 155738925828
78.10/78.12	o 153274904478
78.10/78.12	o 153273079277
78.10/78.12	o 153273079276
78.10/78.12	o 143416993884
78.10/78.12	o 143415168683
78.10/78.12	o 140951147333
78.10/78.12	o 140949322132
78.10/78.12	o 138485300782
78.10/78.12	o 136021279432
78.10/78.12	o 133560908484
78.10/78.12	o 131098712335
78.10/78.12	o 131096887134
78.10/78.12	o 128632865784
78.10/78.12	o 128631040583
78.10/78.12	o 128629215385
78.10/78.12	o 126165194035
78.10/78.12	o 126165194034
78.10/78.12	o 123706648286
78.10/78.12	o 123704823086
78.10/78.12	o 123702997885
78.10/78.12	o 123702997884
78.10/78.12	o 123701172684
78.10/78.12	o 121242626935
78.10/78.12	o 121240801735
78.10/78.13	o 121238976534
78.10/78.13	o 121237151334
78.10/78.13	o 121235326134
78.10/78.13	o 118773129984
78.10/78.13	o 118771304784
78.10/78.13	o 118767654382
78.10/78.13	o 116303633032
78.10/78.13	o 113837786481
78.10/78.13	o 111371939931
78.10/78.13	o 108907918581
78.10/78.13	o 108906093380
78.10/78.13	o 108904268179
78.10/78.13	o 108904268178
78.10/78.13	o 108902442978
78.10/78.13	o 108902442977
78.10/78.13	o 108900617777
78.10/78.13	o 108900617776
78.10/78.13	o 108898792576
78.10/78.13	o 106436596427
78.10/78.13	o 106434771226
78.10/78.13	o 103979875876
78.10/78.13	o 103978050676
78.10/78.13	o 103976225476
78.10/78.13	o 103974400276
78.10/78.13	o 103972575076
78.10/78.13	o 103970749875
78.10/78.13	o 101514029326
78.10/78.13	o 101512204126
78.10/78.13	o 101510378926
78.10/78.13	o 101508553726
78.10/78.13	o 101506728525
78.10/78.13	o 99040881974
78.10/78.13	o 96575035425
78.10/78.13	o 94109188875
78.10/78.13	o 94107363674
78.10/78.13	o 94107363673
78.10/78.13	o 91657943926
78.10/78.13	o 91656118726
78.10/78.13	o 91654293526
78.10/78.13	o 91652468325
78.10/78.13	o 91652468324
78.10/78.13	o 91650643124
78.10/78.13	o 91648817924
78.10/78.13	o 91646992724
78.10/78.13	o 91645167524
78.10/78.13	o 91645167523
78.10/78.13	o 91645167522
78.10/78.13	o 89181146172
78.10/78.13	o 86717124822
78.10/78.13	o 81787256921
78.10/78.13	o 79323235571
78.10/78.13	o 79321410371
78.10/78.13	o 76855563820
78.10/78.13	o 74389717270
78.10/78.13	o 71927521123
78.10/78.13	o 71927521122
78.10/78.13	o 71927521121
78.10/78.13	o 71925695921
78.10/78.13	o 71925695920
78.10/78.13	o 71925695919
78.10/78.13	o 71923870719
78.10/78.13	o 71922045520
78.10/78.13	o 64529981467
78.10/78.13	o 64528156267
78.10/78.13	o 64526331067
78.10/78.13	o 64524505867
78.10/78.13	o 62067785318
78.10/78.13	o 62065960118
78.10/78.13	o 62064134917
78.10/78.13	o 62062309716
78.10/78.13	o 62060484517
78.10/78.13	o 59605589169
78.10/78.13	o 59603763968
78.10/78.13	o 59601938768
78.10/78.13	o 59600113568
78.10/78.13	o 59598288367
78.10/78.13	o 59598288366
78.10/78.13	o 59596463166
78.10/78.13	o 59594637967
78.10/78.13	o 59594637966
78.10/78.13	o 57137917416
78.10/78.13	o 57137917415
78.10/78.13	o 57136092216
78.10/78.13	o 57136092215
78.10/78.13	o 57134267016
78.10/78.13	o 57132441818
78.10/78.13	o 57132441817
78.10/78.13	o 57130616616
78.10/78.13	o 54666595268
78.10/78.13	o 54666595267
78.10/78.13	o 54666595266
78.10/78.13	o 52202573916
78.10/78.13	o 52200748716
78.10/78.13	o 49738552566
78.10/78.13	o 49736727366
78.10/78.13	o 49734902166
78.10/78.13	o 49734902165
78.10/78.13	o 49733076965
78.10/78.13	o 49731251765
78.10/78.13	o 47265405215
78.10/78.13	o 47263580015
78.10/78.13	o 44799558664
78.10/78.13	o 44799558663
78.10/78.13	o 44799558661
78.10/78.13	o 42335537311
78.10/78.13	o 37403844208
78.10/78.13	o 37396543404
78.10/78.13	o 34932522054
78.10/78.13	o 34930696853
78.10/78.13	o 34930696852
78.10/78.13	o 34928871650
78.10/78.13	o 34927046449
78.10/78.13	o 32461199897
78.10/78.13	o 32459374695
78.10/78.13	o 30006304551
78.10/78.13	o 30006304550
78.10/78.13	o 30004479349
78.10/78.13	o 30002654149
78.10/78.13	o 30000828949
78.10/78.13	o 29999003748
78.10/78.13	o 29997178547
78.10/78.13	o 29995353348
78.10/78.13	o 29995353347
78.10/78.13	o 29993528146
78.10/78.13	o 27531331998
78.10/78.13	o 25074611455
78.10/78.13	o 25074611454
78.10/78.13	o 25072786253
78.10/78.13	o 25072786252
78.10/78.13	o 25070961051
78.10/78.13	o 25070961050
78.10/78.13	o 25069135851
78.10/78.13	o 25067310650
78.10/78.13	o 25065485449
78.10/78.13	o 25063660249
78.10/78.13	o 25063660248
78.10/78.13	o 25063660247
78.10/78.13	o 22632492509
78.10/78.13	o 22630667308
78.10/78.13	o 22628842108
78.10/78.13	o 22627016908
78.10/78.13	o 22625191708
78.10/78.13	o 22625191707
78.10/78.13	o 22623366507
78.10/78.13	o 22623366506
78.10/78.13	o 22621541306
78.10/78.13	o 22619716106
78.10/78.13	o 22617890906
78.10/78.13	o 22617890905
78.10/78.13	o 22617890903
78.10/78.13	o 20175771956
78.10/78.13	o 20173946756
78.10/78.13	o 20172121555
78.10/78.13	o 20170296354
78.10/78.13	o 20168471154
78.10/78.13	o 20166645954
78.10/78.13	o 20164820754
78.10/78.13	o 20162995554
78.10/78.13	o 20161170354
78.10/78.13	o 20159345153
78.10/78.13	o 20157519953
78.10/78.13	o 20155694753
78.10/78.13	o 20153869553
78.10/78.13	o 17704449805
78.10/78.13	o 17704449804
78.10/78.13	o 17702624604
78.10/78.13	o 17700799405
78.10/78.13	o 17698974204
78.10/78.13	o 17697149004
78.10/78.13	o 17695323804
78.10/78.13	o 17695323803
78.10/78.13	o 17693498603
78.10/78.13	o 17691673403
78.10/78.13	o 17689848203
78.10/78.13	o 17689848202
78.10/78.13	o 17689848201
78.10/78.13	o 17688022998
78.10/78.13	o 17686197797
78.10/78.13	o 15244078850
78.10/78.13	o 15242253650
78.10/78.13	o 15240428450
78.10/78.13	o 15238603250
78.10/78.13	o 15236778050
78.10/78.13	o 15234952850
78.10/78.13	o 15233127650
78.10/78.13	o 15231302450
78.10/78.13	o 15229477249
78.10/78.13	o 15227652049
78.10/78.13	o 15225826848
78.10/78.13	o 15224001647
78.10/78.13	o 15222176447
78.10/78.13	o 12776407099
78.10/78.13	o 12774581899
78.10/78.13	o 12772756699
78.10/78.13	o 12770931499
78.10/78.13	o 12769106299
78.10/78.13	o 12767281099
78.10/78.13	o 12765455899
78.10/78.13	o 12763630698
78.10/78.13	o 12761805499
78.10/78.13	o 12761805498
78.10/78.13	o 12759980298
78.10/78.13	o 12759980297
78.10/78.13	o 12758155097
78.10/78.13	o 12758155096
78.10/78.13	o 10294133746
78.10/78.13	o 10294133745
78.10/78.13	o 10292308542
78.10/78.13	o 10290483343
78.10/78.13	o 10290483342
78.10/78.13	o 10288658141
78.10/78.13	o 10286832941
78.10/78.13	o 7828287190
78.10/78.13	o 7828287189
78.10/78.13	o 7826461993
78.10/78.13	o 7826461992
78.10/78.13	o 7824636792
116.69/116.78	o 7824636791
116.69/116.78	o 7824636790
116.69/116.78	o 7822811590
116.69/116.78	o 7822811589
116.69/116.78	o 7822811588
116.69/116.78	o 7820986388
116.69/116.78	o 7819161188
116.69/116.78	o 7819161187
116.69/116.78	o 7817335986
116.69/116.78	o 7815510786
116.69/116.78	o 7815510785
116.69/116.78	o 7815510784
116.69/116.78	o 7813685584
116.69/116.78	o 7811860396
116.69/116.78	o 7810035196
116.69/116.78	o 7808209995
116.69/116.78	o 7808209994
116.69/116.78	o 7806384794
116.69/116.78	o 7806384793
116.69/116.78	o 7804559593
116.69/116.78	o 7804559592
116.69/116.78	o 7804559590
116.69/116.78	o 7802734392
116.69/116.78	o 7802734391
116.69/116.78	o 7802734388
116.69/116.78	o 7800909190
116.69/116.78	o 7800909189
116.69/116.78	o 7799083989
116.69/116.78	o 7799083988
116.69/116.78	o 7797258788
116.69/116.78	o 7797258787
116.69/116.78	o 7795433587
116.69/116.78	o 7795433586
116.69/116.78	o 7793608386
116.69/116.78	o 7793608385
116.69/116.78	o 7793608384
116.69/116.78	o 7791783184
116.69/116.78	o 7791783183
116.69/116.78	o 7789957983
116.69/116.78	o 7789957982
116.69/116.78	o 7788132782
116.69/116.78	o 7788132781
116.69/116.78	o 7786307581
116.69/116.78	o 7786307580
116.69/116.78	o 7784482380
116.69/116.78	o 7784482379
116.69/116.78	o 7782657179
116.69/116.78	o 7780831977
116.69/116.78	o 7779006777
116.69/116.78	o 7779006776
116.69/116.78	o 7777181576
116.69/116.78	o 7775356376
116.69/116.78	o 7775356375
116.69/116.78	o 7773531174
116.69/116.78	o 7773531173
116.69/116.78	o 7771705973
116.69/116.78	o 5377042220
116.69/116.78	o 5377042219
116.69/116.78	o 5377042216
116.69/116.78	o 5377042215
116.69/116.78	o 5377042214
116.69/116.78	o 5377042213
116.69/116.78	o 5377042212
116.69/116.78	o 5377042211
116.69/116.78	o 5377042210
116.69/116.78	o 5377042209
116.69/116.78	o 5375217007
116.69/116.78	o 2909370460
116.69/116.78	o 2909370459
116.69/116.78	o 2909370458
116.69/116.78	o 2909370457
116.69/116.78	o 2909370456
116.69/116.78	o 2909370455
116.69/116.78	o 2907545259
116.69/116.78	o 2907545258
116.69/116.78	o 2907545257
116.69/116.78	o 2907545256
116.69/116.78	o 2905720059
116.69/116.78	o 2905720058
116.69/116.78	o 2905720057
116.69/116.78	o 2905720056
116.69/116.78	o 2905720055
116.69/116.78	o 2903894858
116.69/116.78	o 2903894857
116.69/116.78	o 2903894856
116.69/116.78	o 2903894855
116.69/116.78	o 2903894854
116.69/116.78	o 2903894853
116.69/116.78	o 2902069653
116.69/116.78	o 2902069652
116.69/116.78	o 2902069651
116.69/116.78	o 2902069650
116.69/116.78	o 2902069649
116.69/116.78	o 2902069648
116.69/116.78	o 2902069647
116.69/116.78	o 2902069646
116.69/116.78	o 2902069645
116.69/116.78	o 2902069644
116.69/116.78	o 2902069643
116.69/116.78	o 2902069642
116.69/116.78	o 2902069641
116.69/116.78	o 2902069640
116.69/116.78	o 2902069639
116.69/116.78	o 450824697
116.69/116.78	o 450824696
116.69/116.78	o 450824695
116.69/116.78	o 448999504
116.69/116.78	o 448999503
116.69/116.78	o 448999502
116.69/116.78	o 448999501
116.69/116.78	o 448999500
116.69/116.78	o 448999499
116.69/116.78	o 448999498
116.69/116.78	o 448999497
116.69/116.78	o 448999496
116.69/116.78	o 448999495
116.69/116.78	o 448999494
116.69/116.78	o 448999493
116.69/116.78	o 447174299
116.69/116.78	o 447174298
116.69/116.78	o 447174297
116.69/116.78	o 447174296
116.69/116.78	o 447174295
116.69/116.78	o 447174294
116.69/116.78	o 447174293
116.69/116.78	o 443523892
116.69/116.78	o 443523891
116.69/116.78	o 441698697
116.69/116.78	o 441698696
116.69/116.78	o 441698695
116.69/116.78	o 441698694
116.69/116.78	o 441698693
116.69/116.78	o 439873493
116.69/116.78	o 439873492
116.69/116.78	o 439873491
116.69/116.78	o 439873490
116.69/116.78	o 438048292
116.69/116.78	o 438048291
116.69/116.78	o 438048290
116.69/116.78	o 438048289
116.69/116.78	o 438048288
116.69/116.78	o 438048287
116.69/116.78	o 438048286
116.69/116.78	o 436223086
116.69/116.78	o 434397886
116.69/116.78	o 432572686
116.69/116.78	o 432572685
116.69/116.78	o 432572684
116.69/116.78	o 432572683
116.69/116.78	o 432572682
116.69/116.78	o 432572681
116.69/116.78	o 432572680
116.69/116.78	o 432572679
116.69/116.78	o 432572678
116.69/116.78	o 432572677
116.69/116.78	o 432572676
116.69/116.78	o 432572675
116.69/116.78	o 430747479
116.69/116.78	o 430747478
116.69/116.78	o 430747477
116.69/116.78	o 430747476
116.69/116.78	o 430747475
116.69/116.78	o 430747474
116.69/116.78	o 430747473
116.69/116.78	o 428922275
116.69/116.78	o 428922274
116.69/116.78	o 427097075
116.69/116.78	o 427097074
116.69/116.78	o 427097073
116.69/116.78	o 427097072
116.69/116.78	o 427097071
116.69/116.78	o 425271876
116.69/116.78	o 425271875
116.69/116.78	o 423446677
116.69/116.78	o 423446676
116.69/116.78	o 423446675
116.69/116.78	o 423446674
116.69/116.78	o 423446673
116.69/116.78	o 423446672
116.69/116.78	o 421621474
116.69/116.78	o 421621473
116.69/116.78	o 421621472
116.69/116.78	o 421621471
116.69/116.78	o 421621470
116.69/116.78	o 419796273
116.69/116.78	o 419796272
116.69/116.78	o 419796271
116.69/116.78	o 419796270
116.69/116.78	o 419796269
116.69/116.78	o 419796268
116.69/116.78	o 419796267
116.69/116.78	o 417971069
116.69/116.78	o 417971068
116.69/116.78	o 417971067
116.69/116.78	o 417971066
116.69/116.78	o 416145865
116.69/116.78	o 416145864
116.69/116.78	o 416145863
116.69/116.78	o 416145862
116.69/116.78	o 416145861
116.69/116.78	o 416145860
116.69/116.78	o 416145859
116.69/116.78	o 414320661
116.69/116.78	o 414320660
116.69/116.78	o 414320659
116.69/116.78	o 412495460
116.69/116.78	o 412495459
116.69/116.78	o 410670261
116.69/116.78	o 410670260
116.69/116.78	o 410670259
116.69/116.78	o 410670258
116.69/116.78	o 408845064
116.69/116.78	o 408845063
116.69/116.78	o 408845062
116.69/116.78	o 408845061
116.69/116.78	o 408845060
116.69/116.78	o 408845059
116.69/116.78	o 407019859
116.69/116.78	o 407019858
116.69/116.78	o 407019857
116.69/116.78	o 407019856
116.69/116.78	o 405194657
116.69/116.78	o 405194656
116.69/116.78	o 405194655
116.69/116.78	o 405194654
116.69/116.78	o 403369456
116.69/116.78	o 403369455
116.69/116.78	o 403369454
116.69/116.78	o 403369453
116.69/116.78	o 403369452
116.69/116.78	o 401544251
116.69/116.78	o 401544250
116.69/116.78	o 397893856
116.69/116.78	o 397893855
116.69/116.78	o 397893854
116.69/116.78	o 397893853
116.69/116.78	o 397893852
116.69/116.78	o 397893851
116.69/116.78	o 397893850
116.69/116.78	o 397893849
116.69/116.78	o 397893848
116.69/116.78	o 396068650
116.69/116.78	o 396068649
116.69/116.78	o 396068648
116.69/116.78	o 396068647
116.69/116.78	o 394243451
116.69/116.78	o 394243450
116.69/116.78	o 394243449
116.69/116.78	o 394243448
116.69/116.78	o 394243447
116.69/116.78	o 394243446
116.69/116.78	s OPTIMUM FOUND
116.69/116.78	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 

OK	394243446

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 /tmp/evaluation-result-3497988-1307936484/watcher-3497988-1307936484 -o /tmp/evaluation-result-3497988-1307936484/solver-3497988-1307936484 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497988-1307936484.opb --verbosity=0 --format=opb --randomseed=1836126724 

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: 1.00 1.20 1.57 2/173 9610
/proc/meminfo: memFree=7796364/32951124 swapFree=67049472/67111528
[pid=9610] ppid=9607 vsize=7896 CPUtime=0 cores=0,2,4,6
/proc/9610/stat : 9610 (minisatid-gmp) R 9607 9610 20767 0 -1 4202496 418 0 0 0 0 0 0 0 22 0 1 0 983879103 8085504 372 33554432000 4194304 6957856 140736537705024 18446744073709551615 4246836 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/9610/statm: 1974 372 227 675 0 1290 0

[startup+0.014848 s]
/proc/loadavg: 1.00 1.20 1.57 2/173 9610
/proc/meminfo: memFree=7796364/32951124 swapFree=67049472/67111528
[pid=9610] ppid=9607 vsize=8960 CPUtime=0.01 cores=0,2,4,6
/proc/9610/stat : 9610 (minisatid-gmp) R 9607 9610 20767 0 -1 4202496 722 0 0 0 1 0 0 0 22 0 1 0 983879103 9175040 650 33554432000 4194304 6957856 140736537705024 18446744073709551615 5915124 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/9610/statm: 2240 651 251 675 0 1556 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8960

[startup+0.100861 s]
/proc/loadavg: 1.00 1.20 1.57 2/173 9610
/proc/meminfo: memFree=7796364/32951124 swapFree=67049472/67111528
[pid=9610] ppid=9607 vsize=15172 CPUtime=0.09 cores=0,2,4,6
/proc/9610/stat : 9610 (minisatid-gmp) R 9607 9610 20767 0 -1 4202496 2281 0 0 0 9 0 0 0 22 0 1 0 983879103 15536128 2209 33554432000 4194304 6957856 140736537705024 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/9610/statm: 3793 2209 251 675 0 3109 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15172

[startup+0.30082 s]
/proc/loadavg: 1.00 1.20 1.57 2/173 9610
/proc/meminfo: memFree=7796364/32951124 swapFree=67049472/67111528
[pid=9610] ppid=9607 vsize=31412 CPUtime=0.29 cores=0,2,4,6
/proc/9610/stat : 9610 (minisatid-gmp) R 9607 9610 20767 0 -1 4202496 6603 0 0 0 29 0 0 0 23 0 1 0 983879103 32165888 6257 33554432000 4194304 6957856 140736537705024 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/9610/statm: 7853 6258 267 675 0 7169 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31412

[startup+0.700782 s]
/proc/loadavg: 1.00 1.20 1.57 2/173 9610
/proc/meminfo: memFree=7796364/32951124 swapFree=67049472/67111528
[pid=9610] ppid=9607 vsize=73120 CPUtime=0.69 cores=0,2,4,6
/proc/9610/stat : 9610 (minisatid-gmp) R 9607 9610 20767 0 -1 4202496 17043 0 0 0 68 1 0 0 25 0 1 0 983879103 74874880 16631 33554432000 4194304 6957856 140736537705024 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/9610/statm: 18280 16633 268 675 0 17596 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73120

[startup+1.50062 s]
/proc/loadavg: 1.00 1.20 1.57 3/178 9615
/proc/meminfo: memFree=7623756/32951124 swapFree=67049472/67111528
[pid=9610] ppid=9607 vsize=78820 CPUtime=1.49 cores=0,2,4,6
/proc/9610/stat : 9610 (minisatid-gmp) R 9607 9610 20767 0 -1 4202496 18476 0 0 0 148 1 0 0 25 0 1 0 983879103 80711680 18064 33554432000 4194304 6957856 140736537705024 18446744073709551615 5316146 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/9610/statm: 19705 18064 283 675 0 19021 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 78820

[startup+3.10038 s]
/proc/loadavg: 1.00 1.20 1.57 3/178 9615
/proc/meminfo: memFree=7611728/32951124 swapFree=67049472/67111528
[pid=9610] ppid=9607 vsize=78824 CPUtime=3.09 cores=0,2,4,6
/proc/9610/stat : 9610 (minisatid-gmp) R 9607 9610 20767 0 -1 4202496 18503 0 0 0 308 1 0 0 25 0 1 0 983879103 80715776 18091 33554432000 4194304 6957856 140736537705024 18446744073709551615 5312975 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/9610/statm: 19706 18091 286 675 0 19022 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 78824

[startup+6.30081 s]
/proc/loadavg: 1.08 1.21 1.57 3/178 9615
/proc/meminfo: memFree=7611556/32951124 swapFree=67049472/67111528
[pid=9610] ppid=9607 vsize=78824 CPUtime=6.29 cores=0,2,4,6
/proc/9610/stat : 9610 (minisatid-gmp) R 9607 9610 20767 0 -1 4202496 18523 0 0 0 628 1 0 0 25 0 1 0 983879103 80715776 18111 33554432000 4194304 6957856 140736537705024 18446744073709551615 4866369 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/9610/statm: 19706 18111 286 675 0 19022 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78824

[startup+12.7007 s]
/proc/loadavg: 1.15 1.22 1.57 3/178 9615
/proc/meminfo: memFree=7609380/32951124 swapFree=67049472/67111528
[pid=9610] ppid=9607 vsize=79524 CPUtime=12.69 cores=0,2,4,6
/proc/9610/stat : 9610 (minisatid-gmp) R 9607 9610 20767 0 -1 4202496 18717 0 0 0 1268 1 0 0 25 0 1 0 983879103 81432576 18304 33554432000 4194304 6957856 140736537705024 18446744073709551615 5918134 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/9610/statm: 19881 18304 286 675 0 19197 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 79524

[startup+25.5006 s]
/proc/loadavg: 1.34 1.26 1.58 3/178 9615
/proc/meminfo: memFree=7607116/32951124 swapFree=67049472/67111528
[pid=9610] ppid=9607 vsize=80212 CPUtime=25.49 cores=0,2,4,6
/proc/9610/stat : 9610 (minisatid-gmp) R 9607 9610 20767 0 -1 4202496 18912 0 0 0 2548 1 0 0 25 0 1 0 983879103 82137088 18499 33554432000 4194304 6957856 140736537705024 18446744073709551615 5918004 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/9610/statm: 20053 18499 286 675 0 19369 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 80212

[startup+51.1004 s]
/proc/loadavg: 1.56 1.32 1.59 3/178 9617
/proc/meminfo: memFree=7599756/32951124 swapFree=67049472/67111528
[pid=9610] ppid=9607 vsize=84744 CPUtime=51.09 cores=0,2,4,6
/proc/9610/stat : 9610 (minisatid-gmp) R 9607 9610 20767 0 -1 4202496 20227 0 0 0 5107 2 0 0 25 0 1 0 983879103 86777856 19813 33554432000 4194304 6957856 140736537705024 18446744073709551615 4870152 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/9610/statm: 21186 19813 286 675 0 20502 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 84744

[startup+102.307 s]
/proc/loadavg: 1.81 1.42 1.61 3/178 9617
/proc/meminfo: memFree=7553584/32951124 swapFree=67049472/67111528
[pid=9610] ppid=9607 vsize=103072 CPUtime=102.29 cores=0,2,4,6
/proc/9610/stat : 9610 (minisatid-gmp) R 9607 9610 20767 0 -1 4202496 26777 0 0 0 10226 3 0 0 25 0 1 0 983879103 105545728 24922 33554432000 4194304 6957856 140736537705024 18446744073709551615 4435575 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/9610/statm: 25768 24922 287 675 0 25084 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 103072

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

[startup+108.701 s]
/proc/loadavg: 1.82 1.43 1.61 3/178 9619
/proc/meminfo: memFree=7553580/32951124 swapFree=67049472/67111528
[pid=9610] ppid=9607 vsize=103072 CPUtime=108.69 cores=0,2,4,6
/proc/9610/stat : 9610 (minisatid-gmp) R 9607 9610 20767 0 -1 4202496 26778 0 0 0 10866 3 0 0 25 0 1 0 983879103 105545728 24923 33554432000 4194304 6957856 140736537705024 18446744073709551615 5311822 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/9610/statm: 25768 24923 287 675 0 25084 0
Current children cumulated CPU time (s) 108.69
Current children cumulated vsize (KiB) 103072

[startup+111.9 s]
/proc/loadavg: 1.84 1.44 1.61 3/178 9619
/proc/meminfo: memFree=7552832/32951124 swapFree=67049472/67111528
[pid=9610] ppid=9607 vsize=103072 CPUtime=111.89 cores=0,2,4,6
/proc/9610/stat : 9610 (minisatid-gmp) R 9607 9610 20767 0 -1 4202496 27101 0 0 0 11186 3 0 0 25 0 1 0 983879103 105545728 25244 33554432000 4194304 6957856 140736537705024 18446744073709551615 5918166 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/9610/statm: 25768 25244 287 675 0 25084 0
Current children cumulated CPU time (s) 111.89
Current children cumulated vsize (KiB) 103072

[startup+115.101 s]
/proc/loadavg: 1.85 1.45 1.61 3/178 9619
/proc/meminfo: memFree=7552336/32951124 swapFree=67049472/67111528
[pid=9610] ppid=9607 vsize=114568 CPUtime=115.09 cores=0,2,4,6
/proc/9610/stat : 9610 (minisatid-gmp) R 9607 9610 20767 0 -1 4202496 28883 0 0 0 11506 3 0 0 25 0 1 0 983879103 117317632 27026 33554432000 4194304 6957856 140736537705024 18446744073709551615 5929248 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/9610/statm: 28642 27026 287 675 0 27958 0
Current children cumulated CPU time (s) 115.09
Current children cumulated vsize (KiB) 114568

[startup+115.901 s]
/proc/loadavg: 1.85 1.45 1.61 3/178 9619
/proc/meminfo: memFree=7545020/32951124 swapFree=67049472/67111528
[pid=9610] ppid=9607 vsize=114568 CPUtime=115.89 cores=0,2,4,6
/proc/9610/stat : 9610 (minisatid-gmp) R 9607 9610 20767 0 -1 4202496 29028 0 0 0 11586 3 0 0 25 0 1 0 983879103 117317632 27170 33554432000 4194304 6957856 140736537705024 18446744073709551615 5932528 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/9610/statm: 28642 27170 287 675 0 27958 0
Current children cumulated CPU time (s) 115.89
Current children cumulated vsize (KiB) 114568

[startup+116.3 s]
/proc/loadavg: 1.85 1.45 1.61 3/178 9619
/proc/meminfo: memFree=7545020/32951124 swapFree=67049472/67111528
[pid=9610] ppid=9607 vsize=114568 CPUtime=116.29 cores=0,2,4,6
/proc/9610/stat : 9610 (minisatid-gmp) R 9607 9610 20767 0 -1 4202496 29080 0 0 0 11626 3 0 0 25 0 1 0 983879103 117317632 27222 33554432000 4194304 6957856 140736537705024 18446744073709551615 5918102 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/9610/statm: 28642 27222 287 675 0 27958 0
Current children cumulated CPU time (s) 116.29
Current children cumulated vsize (KiB) 114568

[startup+116.7 s]
/proc/loadavg: 1.85 1.45 1.61 3/178 9619
/proc/meminfo: memFree=7544396/32951124 swapFree=67049472/67111528
[pid=9610] ppid=9607 vsize=114568 CPUtime=116.69 cores=0,2,4,6
/proc/9610/stat : 9610 (minisatid-gmp) R 9607 9610 20767 0 -1 4202496 29135 0 0 0 11666 3 0 0 25 0 1 0 983879103 117317632 27277 33554432000 4194304 6957856 140736537705024 18446744073709551615 5314165 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/9610/statm: 28642 27277 287 675 0 27958 0
Current children cumulated CPU time (s) 116.69
Current children cumulated vsize (KiB) 114568

Child status: 10
Real time (s): 116.793
CPU time (s): 116.789
CPU user time (s): 116.747
CPU system time (s): 0.041993
CPU usage (%): 99.9966
Max. virtual memory (cumulated for all children) (KiB): 114568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 116.747
system time used= 0.041993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29146
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= 4
involuntary context switches= 123

runsolver used 0.201969 second user time and 0.438933 second system time

The end

Begin job on node118 at 2011-06-13 05:41:24
IDJOB=3497988
IDBENCH=72349
IDSOLVER=1990
FILE ID=node118/3497988-1307936484
RUNJOBID= node118-1307936484-9586
PBS_JOBID= 13559661
Free space on /tmp= 18216 MiB

SOLVER NAME= MinisatID 2.5.2-gmp
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randaefc7c.cudf.trendy.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3497988-1307936484/watcher-3497988-1307936484 -o /tmp/evaluation-result-3497988-1307936484/solver-3497988-1307936484 -C 1800 -W 1900 -M 15500  HOME/minisatid-gmp HOME/instance-3497988-1307936484.opb --verbosity=0 --format=opb --randomseed=1836126724

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

MD5SUM BENCH= 750f54149b43e193a04c3af0e8113805
RANDOM SEED=1836126724

node118.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.842
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.68
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.842
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.842
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.842
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.75
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.842
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.68
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.842
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.842
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.75
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       7797064 kB
Buffers:        124312 kB
Cached:       24194484 kB
SwapCached:      14336 kB
Active:        8904380 kB
Inactive:     15432976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       7797064 kB
SwapTotal:    67111528 kB
SwapFree:     67049472 kB
Dirty:            8412 kB
Writeback:           0 kB
AnonPages:       16600 kB
Mapped:           8592 kB
Slab:           751840 kB
PageTables:       4356 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188500 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 /tmp at the end= 18208 MiB
End job on node118 at 2011-06-13 05:43:21