Trace number 4437815

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11SAT5728299536 3586.13 3596.11

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
MD5SUMf5b507fec305347e12cc700790213fb8
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2807154740
Best CPU time to get the best result obtained on this benchmark87.1436
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10894
Total number of constraints825
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)624
Number of constraints which are nor clauses,nor cardinality constraints181
Minimum length of a constraint2
Maximum length of a constraint5038
Number of terms in the objective function 10894
Biggest coefficient in the objective function 1079902210
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 3040671454286
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 1079902210
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 3040671454286
Number of bits of the biggest sum of numbers42
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

3586.00/3596.09	c Exit code from Second Program: 124
3586.00/3596.10	o 119113870434
3586.00/3596.10	o 118921936502
3586.00/3596.10	o 118837105274
3586.00/3596.10	o 118660944176
3586.00/3596.10	o 118512067478
3586.00/3596.10	o 118123474650
3586.00/3596.10	o 117731511930
3586.00/3596.10	o 117366940267
3586.00/3596.10	o 117205357891
3586.00/3596.10	o 116755718376
3586.00/3596.10	o 116468379108
3586.00/3596.10	o 116232595862
3586.00/3596.10	o 115979572752
3586.00/3596.10	o 115819824357
3586.00/3596.10	o 115428471577
3586.00/3596.10	o 115301679628
3586.00/3596.10	o 115096735453
3586.00/3596.10	o 114924816454
3586.00/3596.10	o 114702072826
3586.00/3596.10	o 114255465686
3586.00/3596.10	o 113944953986
3586.00/3596.10	o 113752422248
3586.00/3596.10	o 113437182659
3586.00/3596.10	o 113148773033
3586.00/3596.10	o 112955868143
3586.00/3596.10	o 112545922165
3586.00/3596.10	o 112209004792
3586.00/3596.10	o 112040422945
3586.00/3596.10	o 111920656777
3586.00/3596.10	o 111753053729
3586.00/3596.10	o 111537321842
3586.00/3596.10	o 111205756892
3586.00/3596.10	o 110927646392
3586.00/3596.10	o 110670521424
3586.00/3596.10	o 110175413492
3586.00/3596.10	o 109852393604
3586.00/3596.10	o 109521053579
3586.00/3596.10	o 109291761695
3586.00/3596.10	o 109008745925
3586.00/3596.10	o 108800927653
3586.00/3596.10	o 108632864613
3586.00/3596.10	o 108328089553
3586.00/3596.10	o 108201516903
3586.00/3596.10	o 107904057811
3586.00/3596.10	o 107588495761
3586.00/3596.10	o 107272421097
3586.00/3596.10	o 106753131201
3586.00/3596.10	o 106429133723
3586.00/3596.10	o 106240421801
3586.00/3596.10	o 106063161272
3586.00/3596.10	o 105690208172
3586.00/3596.10	o 105292330232
3586.00/3596.10	o 105218799960
3586.00/3596.10	o 104934499109
3586.00/3596.10	o 104731038494
3586.00/3596.10	o 104359707545
3586.00/3596.10	o 104173971595
3586.00/3596.10	o 103982739555
3586.00/3596.10	o 103870733292
3586.00/3596.10	o 103613784704
3586.00/3596.10	o 103300976472
3586.00/3596.10	o 103174028382
3586.00/3596.10	o 102925788134
3586.00/3596.10	o 102534499646
3586.00/3596.10	o 102395364200
3586.00/3596.10	o 102166626128
3586.00/3596.10	o 102067612004
3586.00/3596.10	o 101922576224
3586.00/3596.10	o 101629447333
3586.00/3596.10	o 101423149637
3586.00/3596.10	o 101179828997
3586.00/3596.10	o 100999423879
3586.00/3596.10	o 100843195364
3586.00/3596.10	o 100511283719
3586.00/3596.10	o 100179757559
3586.00/3596.10	o 99934622329
3586.00/3596.10	o 99643682389
3586.00/3596.10	o 99506464189
3586.00/3596.10	o 99237683719
3586.00/3596.10	o 99154305114
3586.00/3596.10	o 98857766006
3586.00/3596.10	o 98392633982
3586.00/3596.10	o 97859308778
3586.00/3596.10	o 97667275106
3586.00/3596.10	o 97440165974
3586.00/3596.10	o 97070165870
3586.00/3596.10	o 96676718024
3586.00/3596.10	o 96582709628
3586.00/3596.10	o 96198977994
3586.00/3596.10	o 95857920034
3586.00/3596.10	o 95633870009
3586.00/3596.10	o 95519681353
3586.00/3596.10	o 95360693818
3586.00/3596.10	o 95251004773
3586.00/3596.10	o 94975476997
3586.00/3596.10	o 94663531137
3586.00/3596.10	o 94161638967
3586.00/3596.10	o 93983295117
3586.00/3596.10	o 93881948952
3586.00/3596.10	o 93703123582
3586.00/3596.10	o 93431859137
3586.00/3596.10	o 92933524262
3586.00/3596.10	o 92847858746
3586.00/3596.10	o 92555991126
3586.00/3596.10	o 92343069882
3586.00/3596.10	o 92155215705
3586.00/3596.10	o 91832827201
3586.00/3596.10	o 91585917607
3586.00/3596.10	o 91483991599
3586.00/3596.10	o 91300736557
3586.00/3596.10	o 91019378386
3586.00/3596.10	o 90836821033
3586.00/3596.10	o 90610743681
3586.00/3596.10	o 90383746345
3586.00/3596.10	o 90177476309
3586.00/3596.10	o 89801020925
3586.00/3596.10	o 89485546855
3586.00/3596.10	o 89286426935
3586.00/3596.10	o 89194317895
3586.00/3596.10	o 88871359750
3586.00/3596.10	o 88236598896
3586.00/3596.10	o 87994011450
3586.00/3596.10	o 87792023210
3586.00/3596.10	o 87421869333
3586.00/3596.10	o 87122741241
3586.00/3596.10	o 86786948809
3586.00/3596.10	o 86498078494
3586.00/3596.10	o 86292633549
3586.00/3596.10	o 86168297409
3586.00/3596.10	o 85616548581
3586.00/3596.10	o 85476623473
3586.00/3596.10	o 85158518417
3586.00/3596.10	o 84870236069
3586.00/3596.10	o 84713243417
3586.00/3596.10	o 84408468357
3586.00/3596.10	o 84060048245
3586.00/3596.10	o 83649521225
3586.00/3596.10	o 83474778173
3586.00/3596.10	o 83335143378
3586.00/3596.10	o 83041021014
3586.00/3596.10	o 82912533822
3586.00/3596.10	o 82752711999
3586.00/3596.10	o 82504471751
3586.00/3596.10	o 82168315425
3586.00/3596.10	o 81887322351
3586.00/3596.10	o 81756191271
3586.00/3596.10	o 81545321315
3586.00/3596.10	o 81221028257
3586.00/3596.10	o 80904440204
3586.00/3596.10	o 80410612659
3586.00/3596.10	o 80255429395
3586.00/3596.10	o 80106349432
3586.00/3596.10	o 79949115237
3586.00/3596.10	o 79724562372
3586.00/3596.10	o 79549894188
3586.00/3596.10	o 79292077457
3586.00/3596.10	o 79009611009
3586.00/3596.10	o 78888034821
3586.00/3596.10	o 78659459236
3586.00/3596.10	o 78563210268
3586.00/3596.10	o 78303039393
3586.00/3596.10	o 78156364838
3586.00/3596.10	o 77865545534
3586.00/3596.10	o 77687795002
3586.00/3596.10	o 77375906269
3586.00/3596.10	o 77154828933
3586.00/3596.10	o 77023592913
3586.00/3596.10	o 76794647667
3586.00/3596.10	o 76500566499
3586.00/3596.10	o 76365190551
3586.00/3596.10	o 76050892117
3586.00/3596.10	o 75973573541
3586.00/3596.10	o 75741980916
3586.00/3596.10	o 75629386117
3586.00/3596.10	o 75191623830
3586.00/3596.10	o 74926372722
3586.00/3596.10	o 74692348026
3586.00/3596.10	o 74421895978
3586.00/3596.10	o 74125824407
3586.00/3596.10	o 73938874035
3586.00/3596.10	o 73688608171
3586.00/3596.10	o 73538413736
3586.00/3596.10	o 73400737828
3586.00/3596.10	o 73264932472
3586.00/3596.10	o 73005066947
3586.00/3596.10	o 72853170860
3586.00/3596.10	o 72767505344
3586.00/3596.10	o 72512959315
3586.00/3596.10	o 72252354903
3586.00/3596.10	o 71731351387
3586.00/3596.10	o 71506627195
3586.00/3596.10	o 71425133119
3586.00/3596.10	o 71062357999
3586.00/3596.10	o 70786885188
3586.00/3596.10	o 70531710838
3586.00/3596.10	o 70265765889
3586.00/3596.10	o 69903793545
3586.00/3596.10	o 69612050829
3586.00/3596.10	o 69516373857
3586.00/3596.10	o 69426731962
3586.00/3596.10	o 69223309562
3586.00/3596.10	o 68877914608
3586.00/3596.10	o 68776365178
3586.00/3596.10	o 68501475338
3586.00/3596.10	o 68357692768
3586.00/3596.10	o 68027114252
3586.00/3596.10	o 67703545487
3586.00/3596.10	o 67435856393
3586.00/3596.10	o 67105015079
3586.00/3596.10	o 66749860553
3586.00/3596.10	o 66301226718
3586.00/3596.10	o 66094853730
3586.00/3596.10	o 65658523374
3586.00/3596.10	o 65325406760
3586.00/3596.10	o 65091330880
3586.00/3596.10	o 64984823776
3586.00/3596.10	o 64763165394
3586.00/3596.10	o 64431985992
3586.00/3596.10	o 64207605300
3586.00/3596.10	o 63905850351
3586.00/3596.10	o 63719225929
3586.00/3596.10	o 63423055829
3586.00/3596.10	o 63294119769
3586.00/3596.10	o 63175454961
3586.00/3596.10	o 62783816226
3586.00/3596.10	o 62630604751
3586.00/3596.10	o 62371127921
3586.00/3596.10	o 62253930284
3586.00/3596.10	o 61829756072
3586.00/3596.10	o 61608738632
3586.00/3596.10	o 61387938287
3586.00/3596.10	o 61234223972
3586.00/3596.10	o 61179256289
3586.00/3596.10	o 61083163739
3586.00/3596.10	o 60894721026
3586.00/3596.10	o 60606489434
3586.00/3596.10	o 60301001287
3586.00/3596.10	o 59909157427
3586.00/3596.10	o 59541795795
3586.00/3596.10	o 59388922895
3586.00/3596.10	o 58973027395
3586.00/3596.10	o 58794268750
3586.00/3596.10	o 58652578034
3586.00/3596.10	o 58300239002
3586.00/3596.10	o 58100868846
3586.00/3596.10	o 57927107658
3586.00/3596.10	o 57632480802
3586.00/3596.10	o 57518708931
3586.00/3596.10	o 57147840321
3586.00/3596.10	o 56895976179
3586.00/3596.10	o 56631835479
3586.00/3596.10	o 56426542743
3586.00/3596.10	o 56368301715
3586.00/3596.10	o 56006416083
3586.00/3596.10	o 55862103939
3586.00/3596.10	o 55669633663
3586.00/3596.10	o 55317294631
3586.00/3596.10	o 55114244539
3586.00/3596.10	o 54952336996
3586.00/3596.10	o 54868795270
3586.00/3596.10	o 54439331726
3586.00/3596.10	o 54090622798
3586.00/3596.10	o 53979194094
3586.00/3596.10	o 53764635786
3586.00/3596.10	o 53555640016
3586.00/3596.10	o 53329076572
3586.00/3596.10	o 52943226925
3586.00/3596.10	o 52752976537
3586.00/3596.10	o 52482224641
3586.00/3596.10	o 52081936362
3586.00/3596.10	o 51663381582
3586.00/3596.10	o 51430629630
3586.00/3596.10	o 51118974654
3586.00/3596.10	o 50919149922
3586.00/3596.10	o 50791807146
3586.00/3596.10	o 50565676454
3586.00/3596.10	o 50338219126
3586.00/3596.10	o 50072168662
3586.00/3596.10	o 49962673322
3586.00/3596.10	o 49648374888
3586.00/3596.10	o 49141242704
3586.00/3596.10	o 48964439816
3586.00/3596.10	o 48817262421
3586.00/3596.10	o 48709513653
3586.00/3596.10	o 48572393058
3586.00/3596.10	o 48294771144
3586.00/3596.10	o 48025444986
3586.00/3596.10	o 47907401366
3586.00/3596.10	o 47638126686
3586.00/3596.10	o 47445221796
3586.00/3596.10	o 47291903454
3586.00/3596.10	o 46946874252
3586.00/3596.10	o 46793632050
3586.00/3596.10	o 46641520434
3586.00/3596.10	o 46464813648
3586.00/3596.10	o 46324867008
3586.00/3596.10	o 46063481627
3586.00/3596.10	o 45832933531
3586.00/3596.10	o 45547165299
3586.00/3596.10	o 45331515615
3586.00/3596.10	o 44961313965
3586.00/3596.10	o 44838744785
3586.00/3596.10	o 44614191920
3586.00/3596.10	o 44343312326
3586.00/3596.10	o 44163721826
3586.00/3596.10	o 43890726138
3586.00/3596.10	o 43777208078
3586.00/3596.10	o 43639072178
3586.00/3596.10	o 43249102019
3586.00/3596.10	o 42840983327
3586.00/3596.10	o 42557293325
3586.00/3596.10	o 42296382335
3586.00/3596.10	o 42213960787
3586.00/3596.10	o 41998166170
3586.00/3596.10	o 41723862013
3586.00/3596.10	o 41579817153
3586.00/3596.10	o 41457750813
3586.00/3596.10	o 41082643893
3586.00/3596.10	o 40939489218
3586.00/3596.10	o 40411216434
3586.00/3596.10	o 39961576919
3586.00/3596.10	o 39785407403
3586.00/3596.10	o 39626002724
3586.00/3596.10	o 39336244634
3586.00/3596.10	o 39076195172
3586.00/3596.10	o 38586245238
3586.00/3596.10	o 38311709728
3586.00/3596.10	o 38209529275
3586.00/3596.10	o 38057593615
3586.00/3596.10	o 37729154915
3586.00/3596.10	o 37518090181
3586.00/3596.10	o 37280125751
3586.00/3596.10	o 36997305336
3586.00/3596.10	o 36872221956
3586.00/3596.10	o 36801402801
3586.00/3596.10	o 36521709654
3586.00/3596.10	o 36285124776
3586.00/3596.10	o 36091385239
3586.00/3596.10	o 35901282727
3586.00/3596.10	o 35765484433
3586.00/3596.10	o 35581051114
3586.00/3596.10	o 35351834587
3586.00/3596.10	o 34845003685
3586.00/3596.10	o 34705761865
3586.00/3596.10	o 34518832305
3586.00/3596.10	o 34288345883
3586.00/3596.10	o 34145150071
3586.00/3596.10	o 33931731193
3586.00/3596.10	o 33736471015
3586.00/3596.10	o 33599798503
3586.00/3596.10	o 33407132303
3586.00/3596.10	o 33021921551
3586.00/3596.10	o 32564469389
3586.00/3596.10	o 32349509060
3586.00/3596.10	o 32075739765
3586.00/3596.10	o 31886054397
3586.00/3596.10	o 31509295737
3586.00/3596.10	o 31305328367
3586.00/3596.10	o 31296026293
3586.00/3596.10	o 31227871112
3586.00/3596.10	o 31208526066
3586.00/3596.10	o 31188086224
3586.00/3596.10	o 31177866303
3586.00/3596.10	o 31167646382
3586.00/3596.10	o 31147206540
3586.00/3596.10	o 31136986619
3586.00/3596.10	o 31028317867
3586.00/3596.10	o 30840264418
3586.00/3596.10	o 30830044497
3586.00/3596.10	o 30819824576
3586.00/3596.10	o 30809604655
3586.00/3596.10	o 30799384734
3586.00/3596.10	o 30789164813
3586.00/3596.10	o 30778944892
3586.00/3596.10	o 30768724971
3586.00/3596.10	o 30758505050
3586.00/3596.10	o 30748285129
3586.00/3596.10	o 30738065208
3586.00/3596.10	o 30727845287
3586.00/3596.10	o 30547432906
3586.00/3596.10	o 30537212985
3586.00/3596.10	o 30526993064
3586.00/3596.10	o 30516773143
3586.00/3596.10	o 30506553222
3586.00/3596.10	o 30496333301
3586.00/3596.10	o 30486113380
3586.00/3596.10	o 30475893459
3586.00/3596.10	o 30465673538
3586.00/3596.10	o 30455453617
3586.00/3596.10	o 30445233696
3586.00/3596.10	o 30435013775
3586.00/3596.10	o 30024846791
3586.00/3596.10	o 29918088450
3586.00/3596.10	o 29907868529
3586.00/3596.10	o 29897648608
3586.00/3596.10	o 29887428687
3586.00/3596.10	o 29877208766
3586.00/3596.10	o 29866988845
3586.00/3596.10	o 29856768924
3586.00/3596.10	o 29846549003
3586.00/3596.10	o 29836329082
3586.00/3596.10	o 29826109161
3586.00/3596.10	o 29815889240
3586.00/3596.10	o 29805669319
3586.00/3596.10	o 29525901088
3586.00/3596.10	o 29515681167
3586.00/3596.10	o 29505461246
3586.00/3596.10	o 29495241325
3586.00/3596.10	o 29485021404
3586.00/3596.10	o 29474801483
3586.00/3596.10	o 29464581562
3586.00/3596.10	o 29454361641
3586.00/3596.10	o 29444141720
3586.00/3596.10	o 29433921799
3586.00/3596.10	o 29423701878
3586.00/3596.10	o 29413481957
3586.00/3596.10	o 29381922386
3586.00/3596.10	o 29153388923
3586.00/3596.10	o 29143169002
3586.00/3596.10	o 29132949081
3586.00/3596.10	o 29122729160
3586.00/3596.10	o 29112509239
3586.00/3596.10	o 29102289318
3586.00/3596.10	o 29092069397
3586.00/3596.10	o 29081849476
3586.00/3596.10	o 29071629555
3586.00/3596.10	o 29061409634
3586.00/3596.10	o 29051189713
3586.00/3596.10	o 29040969792
3586.00/3596.10	o 29040876543
3586.00/3596.10	o 29030656622
3586.00/3596.10	o 29020436701
3586.00/3596.10	o 29010216780
3586.00/3596.10	o 28999996859
3586.00/3596.10	o 28989776938
3586.00/3596.10	o 28979557017
3586.00/3596.10	o 28969337096
3586.00/3596.10	o 28959117175
3586.00/3596.10	o 28948897254
3586.00/3596.10	o 28938677333
3586.00/3596.10	o 28928457412
3586.00/3596.10	o 28909405244
3586.00/3596.10	o 28885898958
3586.00/3596.10	o 28870921257
3586.00/3596.10	o 28829170779
3586.00/3596.10	o 28787131218
3586.00/3596.10	o 28766255979
3586.00/3596.10	o 28745380740
3586.00/3596.10	o 28724505501
3586.00/3596.10	o 28703630262
3586.00/3596.10	o 28699653245
3586.00/3596.10	o 28683998545
3586.00/3596.10	o 28668343845
3586.00/3596.10	o 28665451287
3586.00/3596.10	o 28654931430
3586.00/3596.10	o 28644411573
3586.00/3596.10	o 28633891716
3586.00/3596.10	o 28623671795
3586.00/3596.10	o 28507855345
3586.00/3596.10	o 28413718972
3586.00/3596.10	o 28403499051
3586.00/3596.10	o 28393279130
3586.00/3596.10	o 28383059209
3586.00/3596.10	o 28372839288
3586.00/3596.10	o 28362619367
3586.00/3596.10	o 28352399446
3586.00/3596.10	o 28342179525
3586.00/3596.10	o 28331959604
3586.00/3596.10	o 28321739683
3586.00/3596.10	o 28311519762
3586.00/3596.10	o 28301299841
3586.00/3596.10	o 28175219833
3586.00/3596.10	o 28006019133
3586.00/3596.10	o 27995799212
3586.00/3596.10	o 27985579291
3586.00/3596.10	o 27975359370
3586.00/3596.10	o 27965139449
3586.00/3596.10	o 27954919528
3586.00/3596.10	o 27944699607
3586.00/3596.10	o 27934479686
3586.00/3596.10	o 27924259765
3586.00/3596.10	o 27914039844
3586.00/3596.10	o 27903819923
3586.00/3596.10	o 27893600002
3586.00/3596.10	o 27851849524
3586.00/3596.10	o 27809809963
3586.00/3596.10	o 27788934724
3586.00/3596.10	o 27768059485
3586.00/3596.10	o 27747184246
3586.00/3596.10	o 27726309007
3586.00/3596.10	o 27722331990
3586.00/3596.10	o 27706677290
3586.00/3596.10	o 27691022590
3586.00/3596.10	o 27688130032
3586.00/3596.10	o 27677610175
3586.00/3596.10	o 27667090318
3586.00/3596.10	o 27656570461
3586.00/3596.10	o 27654440753
3586.00/3596.10	o 27644220832
3586.00/3596.10	o 27623800593
3586.00/3596.10	o 27620908035
3586.00/3596.10	o 27610388178
3586.00/3596.10	o 27599868321
3586.00/3596.10	o 27589348464
3586.00/3596.10	o 27584266810
3586.00/3596.10	o 27574046889
3586.00/3596.10	o 27563826968
3586.00/3596.10	o 27553607047
3586.00/3596.10	o 27543387126
3586.00/3596.10	o 27296538268
3586.00/3596.10	o 27286318347
3586.00/3596.10	o 27276098426
3586.00/3596.10	o 27265878505
3586.00/3596.10	o 27255658584
3586.00/3596.10	o 27245438663
3586.00/3596.10	o 27235218742
3586.00/3596.10	o 27224998821
3586.00/3596.10	o 27214778900
3586.00/3596.10	o 27204558979
3586.00/3596.10	o 27194339058
3586.00/3596.10	o 27069125994
3586.00/3596.10	o 26563390045
3586.00/3596.10	o 26553170124
3586.00/3596.10	o 26542950203
3586.00/3596.10	o 26532730282
3586.00/3596.10	o 26522510361
3586.00/3596.10	o 26512290440
3586.00/3596.10	o 26502070519
3586.00/3596.10	o 26491850598
3586.00/3596.10	o 26481630677
3586.00/3596.10	o 26471410756
3586.00/3596.10	o 26461190835
3586.00/3596.10	o 26450970914
3586.00/3596.10	o 26404066853
3586.00/3596.10	o 26393846932
3586.00/3596.10	o 26383627011
3586.00/3596.10	o 26373407090
3586.00/3596.10	o 26363187169
3586.00/3596.10	o 26352967248
3586.00/3596.10	o 26342747327
3586.00/3596.10	o 26332527406
3586.00/3596.10	o 26322307485
3586.11/3596.10	o 26312087564
3586.11/3596.10	o 26301867643
3586.11/3596.10	o 26291647722
3586.11/3596.10	o 26026860026
3586.11/3596.10	o 25836300161
3586.11/3596.10	o 25826080240
3586.11/3596.10	o 25815860319
3586.11/3596.10	o 25805640398
3586.11/3596.10	o 25795420477
3586.11/3596.10	o 25785200556
3586.11/3596.10	o 25774980635
3586.11/3596.10	o 25764760714
3586.11/3596.10	o 25754540793
3586.11/3596.10	o 25744320872
3586.11/3596.10	o 25734100951
3586.11/3596.10	o 25723881030
3586.11/3596.10	o 25437037895
3586.11/3596.10	o 25278705130
3586.11/3596.10	o 25268485209
3586.11/3596.10	o 25258265288
3586.11/3596.10	o 25248045367
3586.11/3596.10	o 25237825446
3586.11/3596.10	o 25227605525
3586.11/3596.10	o 25217385604
3586.11/3596.10	o 25207165683
3586.11/3596.10	o 25196945762
3586.11/3596.10	o 25186725841
3586.11/3596.10	o 25176505920
3586.11/3596.10	o 25166285999
3586.11/3596.10	o 24674559121
3586.11/3596.10	o 24137277072
3586.11/3596.10	o 24127057151
3586.11/3596.10	o 24116837230
3586.11/3596.10	o 24106617309
3586.11/3596.10	o 24096397388
3586.11/3596.10	o 24086177467
3586.11/3596.10	o 24075957546
3586.11/3596.10	o 24065737625
3586.11/3596.10	o 24055517704
3586.11/3596.10	o 24045297783
3586.11/3596.10	o 24035077862
3586.11/3596.10	o 24024857941
3586.11/3596.10	o 23859037249
3586.11/3596.10	o 23805635688
3586.11/3596.10	o 23795415767
3586.11/3596.10	o 23785195846
3586.11/3596.10	o 23774975925
3586.11/3596.10	o 23764756004
3586.11/3596.10	o 23754536083
3586.11/3596.10	o 23744316162
3586.11/3596.10	o 23734096241
3586.11/3596.10	o 23723876320
3586.11/3596.10	o 23713656399
3586.11/3596.10	o 23703436478
3586.11/3596.10	o 23693216557
3586.11/3596.10	o 23600187533
3586.11/3596.10	o 23598932528
3586.11/3596.10	o 23588712607
3586.11/3596.10	o 23578492686
3586.11/3596.10	o 23568272765
3586.11/3596.10	o 23555151379
3586.11/3596.10	o 23551174362
3586.11/3596.10	o 23535519662
3586.11/3596.10	o 23519864962
3586.11/3596.10	o 23516972404
3586.11/3596.10	o 23506452547
3586.11/3596.10	o 23495932690
3586.11/3596.10	o 23485412833
3586.11/3596.10	o 23475192912
3586.11/3596.10	o 23464972991
3586.11/3596.10	o 23454753070
3586.11/3596.10	o 23444533149
3586.11/3596.10	o 23434313228
3586.11/3596.10	o 23424093307
3586.11/3596.10	o 23413873386
3586.11/3596.10	o 23403653465
3586.11/3596.10	o 23393433544
3586.11/3596.10	o 23383213623
3586.11/3596.10	o 23372993702
3586.11/3596.10	o 23129239668
3586.11/3596.10	o 23119019747
3586.11/3596.10	o 23108799826
3586.11/3596.10	o 23098579905
3586.11/3596.10	o 23088359984
3586.11/3596.10	o 23078140063
3586.11/3596.10	o 23067920142
3586.11/3596.10	o 23057700221
3586.11/3596.10	o 23047480300
3586.11/3596.10	o 23037260379
3586.11/3596.10	o 23027040458
3586.11/3596.10	o 23016820537
3586.11/3596.10	o 22953509974
3586.11/3596.10	o 22739641645
3586.11/3596.10	o 22729421724
3586.11/3596.10	o 22719201803
3586.11/3596.10	o 22708981882
3586.11/3596.10	o 22698761961
3586.11/3596.10	o 22688542040
3586.11/3596.10	o 22678322119
3586.11/3596.10	o 22668102198
3586.11/3596.10	o 22657882277
3586.11/3596.10	o 22647662356
3586.11/3596.10	o 22637442435
3586.11/3596.10	o 22627222514
3586.11/3596.10	o 22455537994
3586.11/3596.10	o 22389327381
3586.11/3596.10	o 22379107460
3586.11/3596.10	o 22368887539
3586.11/3596.10	o 22358667618
3586.11/3596.10	o 22348447697
3586.11/3596.10	o 22338227776
3586.11/3596.10	o 22328007855
3586.11/3596.10	o 22317787934
3586.11/3596.10	o 22307568013
3586.11/3596.10	o 22297348092
3586.11/3596.10	o 22287128171
3586.11/3596.10	o 22276908250
3586.11/3596.10	o 22273381176
3586.11/3596.10	o 22263161255
3586.11/3596.10	o 22252941334
3586.11/3596.10	o 22242721413
3586.11/3596.10	o 22232501492
3586.11/3596.10	o 22222281571
3586.11/3596.10	o 22212061650
3586.11/3596.10	o 22201841729
3586.11/3596.10	o 22191621808
3586.11/3596.10	o 22181401887
3586.11/3596.10	o 22171181966
3586.11/3596.10	o 22160962045
3586.11/3596.10	o 21849016185
3586.11/3596.10	o 21831991558
3586.11/3596.10	o 21790241080
3586.11/3596.10	o 21748201519
3586.11/3596.10	o 21727326280
3586.11/3596.10	o 21706451041
3586.11/3596.10	o 21685575802
3586.11/3596.10	o 21664700563
3586.11/3596.10	o 21660723546
3586.11/3596.10	o 21645068846
3586.11/3596.10	o 21629414146
3586.11/3596.10	o 21626521588
3586.11/3596.10	o 21616001731
3586.11/3596.10	o 21605481874
3586.11/3596.10	o 21594962017
3586.11/3596.10	o 21344465371
3586.11/3596.10	o 21342796795
3586.11/3596.10	o 21341962507
3586.11/3596.10	o 21339841427
3586.11/3596.10	o 21327950434
3586.11/3596.10	o 21322894160
3586.11/3596.10	o 21113006498
3586.11/3596.10	o 21082157153
3586.11/3596.10	o 21040117592
3586.11/3596.10	o 21019242353
3586.11/3596.10	o 20998367114
3586.11/3596.10	o 20977491875
3586.11/3596.10	o 20956616636
3586.11/3596.10	o 20936984919
3586.11/3596.10	o 20921330219
3586.11/3596.10	o 20897397947
3586.11/3596.10	o 20886878090
3586.11/3596.10	o 20565752354
3586.11/3596.10	o 20494421435
3586.11/3596.10	o 20452670957
3586.11/3596.10	o 20410631396
3586.11/3596.10	o 20389756157
3586.11/3596.10	o 20368880918
3586.11/3596.10	o 20348005679
3586.11/3596.10	o 20327130440
3586.11/3596.10	o 20323153423
3586.11/3596.10	o 20307498723
3586.11/3596.10	o 20291844023
3586.11/3596.10	o 20288951465
3586.11/3596.10	o 20278431608
3586.11/3596.10	o 20267911751
3586.11/3596.10	o 20257391894
3586.11/3596.10	o 19940738468
3586.11/3596.10	o 19936053005
3586.11/3596.10	o 19915177766
3586.11/3596.10	o 19900759671
3586.11/3596.10	o 19885104971
3586.11/3596.10	o 19869450271
3586.11/3596.10	o 19852570088
3586.11/3596.10	o 19575331669
3586.11/3596.10	o 19475900401
3586.11/3596.10	o 19375531108
3586.11/3596.10	o 19352434690
3586.11/3596.10	o 19347909130
3586.11/3596.10	o 19337055117
3586.11/3596.10	o 19322857249
3586.11/3596.10	o 19315758315
3586.11/3596.10	o 19088568540
3586.11/3596.10	o 19080264660
3586.11/3596.10	o 19079804668
3586.11/3596.10	o 19078974228
3586.11/3596.10	o 19076433296
3586.11/3596.10	o 19062235428
3586.11/3596.10	o 19040938626
3586.11/3596.10	o 19032020259
3586.11/3596.10	o 19025218341
3586.11/3596.10	o 19014698484
3586.11/3596.10	o 19004178627
3586.11/3596.10	o 18743583477
3586.11/3596.10	o 18739137483
3586.11/3596.10	o 18718262244
3586.11/3596.10	o 18697387005
3586.11/3596.10	o 18693409988
3586.11/3596.10	o 18677755288
3586.11/3596.10	o 18662100588
3586.11/3596.10	o 18653262717
3586.11/3596.10	o 18637608017
3586.11/3596.10	o 18634965630
3586.11/3596.10	o 18624445773
3586.11/3596.10	o 18613925916
3586.11/3596.10	o 18603406059
3586.11/3596.10	o 18592886202
3586.11/3596.10	o 18425960640
3586.11/3596.10	o 18359638812
3586.11/3596.10	o 18317888334
3586.11/3596.10	o 18275848773
3586.11/3596.10	o 18254973534
3586.11/3596.10	o 18234098295
3586.11/3596.10	o 18219680200
3586.11/3596.10	o 18204025500
3586.11/3596.10	o 18188370800
3586.11/3596.10	o 18185728413
3586.11/3596.10	o 18175208556
3586.11/3596.10	o 18164688699
3586.11/3596.10	o 18154168842
3586.11/3596.10	o 18143648985
3586.11/3596.10	o 18052460053
3586.11/3596.10	o 18010709575
3586.11/3596.10	o 17968670014
3586.11/3596.10	o 17947794775
3586.11/3596.10	o 17926919536
3586.11/3596.10	o 17906044297
3586.11/3596.10	o 17885169058
3586.11/3596.10	o 17881192041
3586.11/3596.10	o 17865537341
3586.11/3596.10	o 17849882641
3586.11/3596.10	o 17841044770
3586.11/3596.10	o 17825390070
3586.11/3596.10	o 17808509887
3586.11/3596.10	o 17801707969
3586.11/3596.10	o 17791188112
3586.11/3596.10	o 17780668255
3586.11/3596.10	o 17776947969
3586.11/3596.10	o 17769891883
3586.11/3596.10	o 17762835797
3586.11/3596.10	o 17730797200
3586.11/3596.10	o 17460958432
3586.11/3596.10	o 17436987796
3586.11/3596.10	o 17423249284
3586.11/3596.10	o 17408408696
3586.11/3596.10	o 17405680680
3586.11/3596.10	o 17399665993
3586.11/3596.10	o 17388160632
3586.11/3596.10	o 17384137912
3586.11/3596.10	o 17374918467
3586.11/3596.10	o 17357813852
3586.11/3596.10	o 17348282352
3586.11/3596.10	o 17346704466
3586.11/3596.10	o 17167269240
3586.11/3596.10	o 17079518004
3586.11/3596.10	o 17012276192
3586.11/3596.10	o 16825010551
3586.11/3596.10	o 16604300239
3586.11/3596.10	o 16595382508
3586.11/3596.10	o 16496785314
3586.11/3596.10	o 16476345472
3586.11/3596.10	o 16470438013
3586.11/3596.10	o 16463167687
3586.11/3596.10	o 16404862638
3586.11/3596.10	o 16384422796
3586.11/3596.10	o 16378515337
3586.11/3596.10	o 16371245011
3586.11/3596.10	o 16366782834
3586.11/3596.10	o 16352413574
3586.11/3596.10	o 16338044314
3586.11/3596.10	o 16307279038
3586.11/3596.10	o 16300008712
3586.11/3596.10	o 16285810844
3586.11/3596.10	o 16142155040
3586.11/3596.10	o 15897930530
3586.11/3596.10	o 15449169146
3586.11/3596.10	o 15239701481
3586.11/3596.10	o 15066118537
3586.11/3596.10	o 14797893804
3586.11/3596.10	o 14788322374
3586.11/3596.10	o 14777287134
3586.11/3596.10	o 14762917874
3586.11/3596.10	o 14748548614
3586.11/3596.10	o 14734179354
3586.11/3596.10	o 14719810094
3586.11/3596.10	o 14705440834
3586.11/3596.10	o 14691071574
3586.11/3596.10	o 14660306298
3586.11/3596.10	o 14653035972
3586.11/3596.10	o 14332857882
3586.11/3596.10	o 14323152137
3586.11/3596.10	o 14316053203
3586.11/3596.10	o 14308782877
3586.11/3596.10	o 14192068326
3586.11/3596.10	o 14014701350
3586.11/3596.10	o 13924178318
3586.11/3596.10	o 13903074797
3586.11/3596.10	o 13902515636
3586.11/3596.10	o 13895502398
3586.11/3596.10	o 13893897629
3586.11/3596.10	o 13888489160
3586.11/3596.10	o 13881475922
3586.11/3596.10	o 13874462684
3586.11/3596.10	o 13576613810
3586.11/3596.10	o 13575928815
3586.11/3596.10	o 13568658489
3586.11/3596.10	o 13375035375
3586.11/3596.10	o 13151432503
3586.11/3596.10	o 13149756015
3586.11/3596.10	o 13125687354
3586.11/3596.10	o 13091478124
3586.11/3596.10	o 13084253499
3586.11/3596.10	o 13081646688
3586.11/3596.10	o 13079039877
3586.11/3596.10	o 13076433066
3586.11/3596.10	o 13073826255
3586.11/3596.10	o 13071219444
3586.11/3596.10	o 13066005822
3586.11/3596.10	o 13063264123
3586.11/3596.10	o 12860558803
3586.11/3596.10	o 12798136920
3586.11/3596.10	o 12771705275
3586.11/3596.10	o 12745273630
3586.11/3596.10	o 12718841985
3586.11/3596.10	o 12707806745
3586.11/3596.10	o 12693437485
3586.11/3596.10	o 12679068225
3586.11/3596.10	o 12664698965
3586.11/3596.10	o 12650329705
3586.11/3596.10	o 12635960445
3586.11/3596.10	o 12621591185
3586.11/3596.10	o 12617173210
3586.11/3596.10	o 12606953289
3586.11/3596.10	o 12596733368
3586.11/3596.10	o 12590825909
3586.11/3596.10	o 12583555583
3586.11/3596.10	o 12569706843
3586.11/3596.10	o 12559517082
3586.11/3596.10	o 12545319214
3586.11/3596.10	o 12086218478
3586.11/3596.10	o 12042492777
3586.11/3596.10	o 12016061132
3586.11/3596.10	o 11989629487
3586.11/3596.10	o 11963197842
3586.11/3596.10	o 11937793342
3586.11/3596.10	o 11923424082
3586.11/3596.10	o 11909054822
3586.11/3596.10	o 11894685562
3586.11/3596.10	o 11880316302
3586.11/3596.10	o 11865947042
3586.11/3596.10	o 11861529067
3586.11/3596.10	o 11851309146
3586.11/3596.10	o 11841089225
3586.11/3596.10	o 11835181766
3586.11/3596.10	o 11827911440
3586.11/3596.10	o 11820812506
3586.11/3596.10	o 11813713572
3586.11/3596.10	o 11810008827
3586.11/3596.10	o 11803872939
3586.11/3596.10	o 11801332007
3586.11/3596.10	o 11794233073
3586.11/3596.10	o 11787134139
3586.11/3596.10	o 11786776379
3586.11/3596.10	o 11770037579
3586.11/3596.10	o 11762082258
3586.11/3596.10	o 11520935673
3586.11/3596.10	o 11408994504
3586.11/3596.10	o 11403577323
3586.11/3596.10	o 11392537515
3586.11/3596.10	o 11374153953
3586.11/3596.10	o 11353878586
3586.11/3596.10	o 11333603219
3586.11/3596.10	o 11329923283
3586.11/3596.10	o 11327667099
3586.11/3596.10	o 11313383535
3586.11/3596.10	o 11299099971
3586.11/3596.10	o 11284816407
3586.11/3596.10	o 11281028676
3586.11/3596.10	o 11269609011
3586.11/3596.10	o 11266849059
3586.11/3596.10	o 11260869163
3586.11/3596.10	o 11254889267
3586.11/3596.10	o 11216066287
3586.11/3596.10	o 11213017162
3586.11/3596.10	o 11210410351
3586.11/3596.10	o 11206225654
3586.11/3596.10	o 11192027786
3586.11/3596.10	o 11174218989
3586.11/3596.10	o 11171581806
3586.11/3596.10	o 11161704669
3586.11/3596.10	o 11160289906
3586.11/3596.10	o 11159810517
3586.11/3596.10	o 11156022213
3586.11/3596.10	o 11147814221
3586.11/3596.10	o 11086552305
3586.11/3596.10	o 11078078022
3586.11/3596.10	o 11074770665
3586.11/3596.10	o 11073140520
3586.11/3596.10	o 11071426600
3586.11/3596.10	o 11061720855
3586.11/3596.10	o 11057882790
3586.11/3596.10	o 10959402904
3586.11/3596.10	o 10901008882
3586.11/3596.10	o 10727031319
3586.11/3596.10	o 10719589601
3586.11/3596.10	o 10709369680
3586.11/3596.10	o 10709160508
3586.11/3596.10	o 10698940587
3586.11/3596.10	o 10688720666
3586.11/3596.10	o 10678500745
3586.11/3596.10	o 10668280824
3586.11/3596.10	o 10658060903
3586.11/3596.10	o 10647840982
3586.11/3596.10	o 10637621061
3586.11/3596.10	o 10627401140
3586.11/3596.10	o 10617181219
3586.11/3596.10	o 10606961298
3586.11/3596.10	o 10596741377
3586.11/3596.10	o 10587035632
3586.11/3596.10	o 10586314133
3586.11/3596.10	o 10580724076
3586.11/3596.10	o 10569374566
3586.11/3596.10	o 10566833634
3586.11/3596.10	o 10559734700
3586.11/3596.10	o 10552635766
3586.11/3596.10	o 10549250562
3586.11/3596.10	o 10543225748
3586.11/3596.10	o 10538730705
3586.11/3596.10	o 10528210848
3586.11/3596.10	o 10517690991
3586.11/3596.10	o 10466306418
3586.11/3596.10	o 10460018382
3586.11/3596.10	o 10452919448
3586.11/3596.10	o 10449498525
3586.11/3596.10	o 10442399591
3586.11/3596.10	o 10433481224
3586.11/3596.10	o 10432558958
3586.11/3596.10	o 10430018026
3586.11/3596.10	o 10422919092
3586.11/3596.10	o 10415820158
3586.11/3596.10	o 10411636026
3586.11/3596.10	o 10406422404
3586.11/3596.10	o 10395902547
3586.11/3596.10	o 10385382690
3586.11/3596.10	o 10382640991
3586.11/3596.10	o 10373675208
3586.11/3596.10	o 10363969463
3586.11/3596.10	o 10354263718
3586.11/3596.10	o 10344557973
3586.11/3596.10	o 10336602652
3586.11/3596.10	o 10329613226
3586.11/3596.10	o 10325381829
3586.11/3596.10	o 10322878965
3586.11/3596.10	o 10321827372
3586.11/3596.10	o 10315768485
3586.11/3596.10	o 10307236174
3586.11/3596.10	o 10283729888
3586.11/3596.10	o 10277370135
3586.11/3596.10	o 10273690199
3586.11/3596.10	o 10272310223
3586.11/3596.10	o 10263570375
3586.11/3596.10	o 10255929752
3586.11/3596.10	o 10244510087
3586.11/3596.10	o 10240978871
3586.11/3596.10	o 10233327903
3586.11/3596.10	o 10226310817
3586.11/3596.10	o 10212027253
3586.11/3596.10	o 10196819857
3586.11/3596.10	o 10194059905
3586.11/3596.10	o 10193502881
3586.11/3596.10	o 10184844312
3586.11/3596.10	o 9957453136
3586.11/3596.10	o 9573120931
3586.11/3596.10	o 9204879606
3586.11/3596.10	o 9203819740
3586.11/3596.10	o 9198522916
3586.11/3596.10	o 9190871948
3586.11/3596.10	o 9190221173
3586.11/3596.10	o 9188202686
3586.11/3596.10	o 9185760350
3586.11/3596.10	o 9183257486
3586.11/3596.10	o 9182460271
3586.11/3596.10	o 9172411742
3586.11/3596.10	o 9161606925
3586.11/3596.10	o 9155718500
3586.11/3596.10	o 9150187260
3586.11/3596.10	o 9147170220
3586.11/3596.10	o 9137397603
3586.11/3596.10	o 9061973179
3586.11/3596.10	o 8915666434
3586.11/3596.10	o 8669259172
3586.11/3596.10	o 8462126680
3586.11/3596.10	o 8343559324
3586.11/3596.10	o 8339805028
3586.11/3596.10	o 8336467876
3586.11/3596.10	o 8249509770
3586.11/3596.10	o 8168668690
3586.11/3596.10	o 8073888877
3586.11/3596.10	o 7985105080
3586.11/3596.10	o 7981187302
3586.11/3596.10	o 7980653162
3586.11/3596.10	o 7917551278
3586.11/3596.10	o 7882135387
3586.11/3596.10	o 7846719496
3586.11/3596.10	o 7811303605
3586.11/3596.10	o 7775887714
3586.11/3596.10	o 7740471823
3586.11/3596.10	o 7705055932
3586.11/3596.10	o 7669640041
3586.11/3596.10	o 7634224150
3586.11/3596.10	o 7598808259
3586.11/3596.10	o 7594101050
3586.11/3596.10	o 7575239667
3586.11/3596.10	o 7556378284
3586.11/3596.10	o 7537516901
3586.11/3596.10	o 7515474784
3586.11/3596.10	o 7510886200
3586.11/3596.10	o 7509837250
3586.11/3596.10	o 7498803217
3586.11/3596.10	o 7487769184
3586.11/3596.10	o 7476735151
3586.11/3596.10	o 7469930590
3586.11/3596.10	o 7467389658
3586.11/3596.10	o 7455065980
3586.11/3596.10	o 7434190741
3586.11/3596.10	o 7424993185
3586.11/3596.10	o 7409338485
3586.11/3596.10	o 7393683785
3586.11/3596.10	o 7392458302
3586.11/3596.10	o 7385656384
3586.11/3596.10	o 7375136527
3586.11/3596.10	o 7364616670
3586.11/3596.10	o 7354096813
3586.11/3596.10	o 7346561701
3586.11/3596.10	o 7339505615
3586.11/3596.10	o 7332449529
3586.11/3596.10	o 7321318319
3586.11/3596.10	o 7320699625
3586.11/3596.10	o 7312419769
3586.11/3596.10	o 7305149443
3586.11/3596.10	o 7303349827
3586.11/3596.10	o 7296079501
3586.11/3596.10	o 7292104466
3586.11/3596.10	o 7282691740
3586.11/3596.10	o 7275421414
3586.11/3596.10	o 7268322480
3586.11/3596.10	o 7264985328
3586.11/3596.10	o 7261886442
3586.11/3596.10	o 7259764789
3586.11/3596.10	o 7249244932
3586.11/3596.10	o 7242876339
3586.11/3596.10	o 7239196403
3586.11/3596.10	o 7235582919
3586.11/3596.10	o 7235411527
3586.11/3596.10	o 7228312593
3586.11/3596.10	o 7224634582
3586.11/3596.10	o 7217535648
3586.11/3596.10	o 7207015791
3586.11/3596.10	o 7205512087
3586.11/3596.10	o 7194049574
3586.11/3596.10	o 7193571329
3586.11/3596.10	o 7190829630
3586.11/3596.10	o 7188288698
3586.11/3596.10	o 7181189764
3586.11/3596.10	o 7174090830
3586.11/3596.10	o 7166991896
3586.11/3596.10	o 7158636326
3586.11/3596.10	o 7153775945
3586.11/3596.10	o 7138095296
3586.11/3596.10	o 7136188101
3586.11/3596.10	o 7123192536
3586.11/3596.10	o 7121176121
3586.11/3596.10	o 7106164141
3586.11/3596.10	o 7091152161
3586.11/3596.10	o 7076140181
3586.11/3596.10	o 7061128201
3586.11/3596.10	o 7046116221
3586.11/3596.10	o 7045385880
3586.11/3596.10	o 7038929666
3586.11/3596.10	o 7029111491
3586.11/3596.10	o 7023519868
3586.11/3596.10	o 7004151226
3586.11/3596.10	o 6997695012
3586.11/3596.10	o 6991238798
3586.11/3596.10	o 6990596078
3586.11/3596.10	o 6984139864
3586.11/3596.10	o 6979133565
3586.11/3596.10	o 6972677351
3586.11/3596.10	o 6948442227
3586.11/3596.10	o 6931844871
3586.11/3596.10	o 6915247515
3586.11/3596.10	o 6898650159
3586.11/3596.10	o 6870525700
3586.11/3596.10	o 6866162121
3586.11/3596.10	o 6859063187
3586.11/3596.10	o 6836461913
3586.11/3596.10	o 6831270180
3586.11/3596.10	o 6815358392
3586.11/3596.10	o 6807015512
3586.11/3596.10	o 6806181224
3586.11/3596.10	o 6798583088
3586.11/3596.10	o 6798255488
3586.11/3596.10	o 6793523176
3586.11/3596.10	o 6785911991
3586.11/3596.10	o 6772563383
3586.11/3596.10	o 6768622872
3586.11/3596.10	o 6757117511
3586.11/3596.10	o 6742145461
3586.11/3596.10	o 6739752527
3586.11/3596.10	o 6734784086
3586.11/3596.10	o 6728327872
3586.11/3596.10	o 6722905000
3586.11/3596.10	o 6721790952
3586.11/3596.10	o 6710539457
3586.11/3596.10	o 6706729054
3586.11/3596.10	o 6700192134
3586.11/3596.10	o 6690272149
3586.11/3596.10	o 6683430303
3586.11/3596.10	o 6571314534
3586.11/3596.10	o 6564215600
3586.11/3596.10	o 6556718705
3586.11/3596.10	o 6555463278
3586.11/3596.10	o 6554457598
3586.11/3596.10	o 6552949078
3586.11/3596.10	o 6546969182
3586.11/3596.10	o 6541909270
3586.11/3596.10	o 6532398733
3586.11/3596.10	o 6520893372
3586.11/3596.10	o 6332083064
3586.11/3596.10	o 6328060344
3586.11/3596.10	o 6321523424
3586.11/3596.10	o 6202657211
3586.11/3596.10	o 6197848973
3586.11/3596.10	o 6165454331
3586.11/3596.10	o 6127602809
3586.11/3596.10	o 6121409456
3586.11/3596.10	o 6113576333
3586.11/3596.10	o 6106563095
3586.11/3596.10	o 6106477399
3586.11/3596.10	o 5933743984
3586.11/3596.10	o 5923309823
3586.11/3596.10	o 5912875662
3586.11/3596.10	o 5906445040
3586.11/3596.10	o 5902441501
3586.11/3596.10	o 5892007340
3586.11/3596.10	o 5881573179
3586.11/3596.10	o 5860704857
3586.11/3596.10	o 5850270696
3586.11/3596.10	o 5848179415
3586.11/3596.10	o 5839836535
3586.11/3596.10	o 5838610842
3586.11/3596.10	o 5831383364
3586.11/3596.10	o 5824155886
3586.11/3596.10	o 5823127534
3586.11/3596.10	o 5823055672
3586.11/3596.10	o 5819291965
3586.11/3596.10	o 5812393651
3586.11/3596.10	o 5809089579
3586.11/3596.10	o 5793863359
3586.11/3596.10	o 5786982303
3586.11/3596.10	o 5775262702
3586.11/3596.10	o 5771342575
3586.11/3596.10	o 5761079806
3586.11/3596.10	o 5757496333
3586.11/3596.10	o 5753267432
3586.11/3596.10	o 5741847767
3586.11/3596.10	o 5736665086
3586.11/3596.10	o 5730685190
3586.11/3596.10	o 5728299536
3586.11/3596.10	c Program interrupted by user.
3586.11/3596.10	s SATISFIABLE
3586.11/3596.10	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 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894

Verifier Data 

OK	5728299536

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (58238 MiB free)
  memory of node 1: 64473 MiB (63152 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437815-1722959189/watcher-4437815-1722959189 -o /tmp/evaluation-result-4437815-1722959189/solver-4437815-1722959189 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722959025-345738 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437815-1722959189.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=345989, runsolver pid=345986

[startup+0.10062 s]*
/proc/loadavg: 4.09 3.98 4.01 5/265 345993
/proc/meminfo: memFree=124293656/131524600 swapFree=131071996/131071996
[pid=345989] ppid=345986 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/345989/stat : 345989 (Hybrid-CASHWMax) S 345986 345989 345726 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62518771 10170368 683 134679101440 94041776832512 94041777911832 140734270854768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94041780010288 94041780057476 94041805062144 140734270862286 140734270862445 140734270862445 140734270869460 0
/proc/345989/statm: 2483 683 590 264 0 134 0
[pid=345992] ppid=345989 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/345992/stat : 345992 (timeout) S 345989 345992 345726 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62518771 8867840 237 134679101440 94318879965184 94318880000200 140737333034896 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94318882097616 94318882099748 94318913097728 140737333040126 140737333040285 140737333040285 140737333047271 0
/proc/345992/statm: 2165 237 212 9 0 87 0
[pid=345993] ppid=345992 vsize=29440 memory=13560 CPUtime=0.09 cores=1,3
/proc/345993/stat : 345993 (CASHWMaxSAT-Dis) R 345992 345992 345726 0 -1 4194304 2554 0 0 0 9 0 0 0 20 0 1 0 62518771 30146560 3390 134679101440 4194304 15356333 140733822459808 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52224000 140733822469123 140733822469269 140733822469269 140733822476255 0
/proc/345993/statm: 7360 3390 922 2726 0 4108 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48032 KiB
Current children cumulated memory: 17240 KiB

[startup+0.205956 s]*
/proc/loadavg: 4.09 3.98 4.01 5/265 345993
/proc/meminfo: memFree=124253856/131524600 swapFree=131071996/131071996
[pid=345989] ppid=345986 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/345989/stat : 345989 (Hybrid-CASHWMax) S 345986 345989 345726 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62518771 10170368 683 134679101440 94041776832512 94041777911832 140734270854768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94041780010288 94041780057476 94041805062144 140734270862286 140734270862445 140734270862445 140734270869460 0
/proc/345989/statm: 2483 683 590 264 0 134 0
[pid=345992] ppid=345989 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/345992/stat : 345992 (timeout) S 345989 345992 345726 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62518771 8867840 237 134679101440 94318879965184 94318880000200 140737333034896 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94318882097616 94318882099748 94318913097728 140737333040126 140737333040285 140737333040285 140737333047271 0
/proc/345992/statm: 2165 237 212 9 0 87 0
[pid=345993] ppid=345992 vsize=73524 memory=53484 CPUtime=0.19 cores=1,3
/proc/345993/stat : 345993 (CASHWMaxSAT-Dis) R 345992 345992 345726 0 -1 4194304 7995 0 0 0 18 1 0 0 20 0 1 0 62518771 75288576 13371 134679101440 4194304 15356333 140733822459808 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52224000 140733822469123 140733822469269 140733822469269 140733822476255 0
/proc/345993/statm: 18381 13371 954 2726 0 15129 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 92116 KiB
Current children cumulated memory: 57164 KiB

[startup+0.305963 s]*
/proc/loadavg: 4.09 3.98 4.01 5/265 345993
/proc/meminfo: memFree=124253688/131524600 swapFree=131071996/131071996
[pid=345989] ppid=345986 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/345989/stat : 345989 (Hybrid-CASHWMax) S 345986 345989 345726 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62518771 10170368 683 134679101440 94041776832512 94041777911832 140734270854768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94041780010288 94041780057476 94041805062144 140734270862286 140734270862445 140734270862445 140734270869460 0
/proc/345989/statm: 2483 683 590 264 0 134 0
[pid=345992] ppid=345989 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/345992/stat : 345992 (timeout) S 345989 345992 345726 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62518771 8867840 237 134679101440 94318879965184 94318880000200 140737333034896 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94318882097616 94318882099748 94318913097728 140737333040126 140737333040285 140737333040285 140737333047271 0
/proc/345992/statm: 2165 237 212 9 0 87 0
[pid=345993] ppid=345992 vsize=73524 memory=53484 CPUtime=0.29 cores=1,3
/proc/345993/stat : 345993 (CASHWMaxSAT-Dis) R 345992 345992 345726 0 -1 4194304 8001 0 0 0 28 1 0 0 20 0 1 0 62518771 75288576 13371 134679101440 4194304 15356333 140733822459808 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52224000 140733822469123 140733822469269 140733822469269 140733822476255 0
/proc/345993/statm: 18381 13371 954 2726 0 15129 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 92116 KiB
Current children cumulated memory: 57164 KiB

[startup+0.700286 s]
/proc/loadavg: 4.09 3.98 4.01 5/265 345993
/proc/meminfo: memFree=124243804/131524600 swapFree=131071996/131071996
[pid=345989] ppid=345986 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/345989/stat : 345989 (Hybrid-CASHWMax) S 345986 345989 345726 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62518771 10170368 683 134679101440 94041776832512 94041777911832 140734270854768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94041780010288 94041780057476 94041805062144 140734270862286 140734270862445 140734270862445 140734270869460 0
/proc/345989/statm: 2483 683 590 264 0 134 0
[pid=345992] ppid=345989 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/345992/stat : 345992 (timeout) S 345989 345992 345726 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62518771 8867840 237 134679101440 94318879965184 94318880000200 140737333034896 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94318882097616 94318882099748 94318913097728 140737333040126 140737333040285 140737333040285 140737333047271 0
/proc/345992/statm: 2165 237 212 9 0 87 0
[pid=345993] ppid=345992 vsize=100404 memory=80712 CPUtime=0.68 cores=1,3
/proc/345993/stat : 345993 (CASHWMaxSAT-Dis) R 345992 345992 345726 0 -1 4194304 14733 0 0 0 66 2 0 0 20 0 1 0 62518771 102813696 20178 134679101440 4194304 15356333 140733822459808 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52224000 140733822469123 140733822469269 140733822469269 140733822476255 0
/proc/345993/statm: 25101 20178 1034 2726 0 21849 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 118996 KiB
Current children cumulated memory: 84392 KiB

[startup+1.50031 s]
/proc/loadavg: 4.09 3.98 4.01 5/265 345993
/proc/meminfo: memFree=124200540/131524600 swapFree=131071996/131071996
[pid=345989] ppid=345986 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/345989/stat : 345989 (Hybrid-CASHWMax) S 345986 345989 345726 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62518771 10170368 683 134679101440 94041776832512 94041777911832 140734270854768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94041780010288 94041780057476 94041805062144 140734270862286 140734270862445 140734270862445 140734270869460 0
/proc/345989/statm: 2483 683 590 264 0 134 0
[pid=345992] ppid=345989 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/345992/stat : 345992 (timeout) S 345989 345992 345726 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62518771 8867840 237 134679101440 94318879965184 94318880000200 140737333034896 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94318882097616 94318882099748 94318913097728 140737333040126 140737333040285 140737333040285 140737333047271 0
/proc/345992/statm: 2165 237 212 9 0 87 0
[pid=345993] ppid=345992 vsize=206016 memory=183420 CPUtime=1.47 cores=1,3
/proc/345993/stat : 345993 (CASHWMaxSAT-Dis) R 345992 345992 345726 0 -1 4194304 30998 0 0 0 142 5 0 0 20 0 1 0 62518771 210960384 45855 134679101440 4194304 15356333 140733822459808 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52224000 140733822469123 140733822469269 140733822469269 140733822476255 0
/proc/345993/statm: 51504 45855 1338 2726 0 48252 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 224608 KiB
Current children cumulated memory: 187100 KiB

[startup+3.10583 s]
/proc/loadavg: 4.08 3.98 4.01 5/265 345993
/proc/meminfo: memFree=123945592/131524600 swapFree=131071996/131071996
[pid=345989] ppid=345986 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/345989/stat : 345989 (Hybrid-CASHWMax) S 345986 345989 345726 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62518771 10170368 683 134679101440 94041776832512 94041777911832 140734270854768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94041780010288 94041780057476 94041805062144 140734270862286 140734270862445 140734270862445 140734270869460 0
/proc/345989/statm: 2483 683 590 264 0 134 0
[pid=345992] ppid=345989 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/345992/stat : 345992 (timeout) S 345989 345992 345726 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62518771 8867840 237 134679101440 94318879965184 94318880000200 140737333034896 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94318882097616 94318882099748 94318913097728 140737333040126 140737333040285 140737333040285 140737333047271 0
/proc/345992/statm: 2165 237 212 9 0 87 0
[pid=345993] ppid=345992 vsize=394028 memory=372480 CPUtime=3.08 cores=1,3
/proc/345993/stat : 345993 (CASHWMaxSAT-Dis) R 345992 345992 345726 0 -1 4194304 49149 0 0 0 297 11 0 0 20 0 1 0 62518771 403484672 93120 134679101440 4194304 15356333 140733822459808 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52224000 140733822469123 140733822469269 140733822469269 140733822476255 0
/proc/345993/statm: 98507 93120 1338 2726 0 95255 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 412620 KiB
Current children cumulated memory: 376160 KiB

[startup+6.30028 s]
/proc/loadavg: 4.08 3.98 4.01 5/265 345995
/proc/meminfo: memFree=123662460/131524600 swapFree=131071996/131071996
[pid=345989] ppid=345986 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/345989/stat : 345989 (Hybrid-CASHWMax) S 345986 345989 345726 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62518771 10170368 683 134679101440 94041776832512 94041777911832 140734270854768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94041780010288 94041780057476 94041805062144 140734270862286 140734270862445 140734270862445 140734270869460 0
/proc/345989/statm: 2483 683 590 264 0 134 0
[pid=345992] ppid=345989 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/345992/stat : 345992 (timeout) S 345989 345992 345726 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62518771 8867840 237 134679101440 94318879965184 94318880000200 140737333034896 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94318882097616 94318882099748 94318913097728 140737333040126 140737333040285 140737333040285 140737333047271 0
/proc/345992/statm: 2165 237 212 9 0 87 0
[pid=345993] ppid=345992 vsize=695896 memory=670552 CPUtime=6.27 cores=1,3
/proc/345993/stat : 345993 (CASHWMaxSAT-Dis) R 345992 345992 345726 0 -1 4194304 76355 0 0 0 607 20 0 0 20 0 1 0 62518771 712597504 167638 134679101440 4194304 15356333 140733822459808 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52224000 140733822469123 140733822469269 140733822469269 140733822476255 0
/proc/345993/statm: 173974 167638 1338 2726 0 170722 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 714488 KiB
Current children cumulated memory: 674232 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 3.98 4.01 5/265 345995
/proc/meminfo: memFree=122874264/131524600 swapFree=131071996/131071996
[pid=345989] ppid=345986 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/345989/stat : 345989 (Hybrid-CASHWMax) S 345986 345989 345726 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62518771 10170368 683 134679101440 94041776832512 94041777911832 140734270854768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94041780010288 94041780057476 94041805062144 140734270862286 140734270862445 140734270862445 140734270869460 0
/proc/345989/statm: 2483 683 590 264 0 134 0
[pid=345992] ppid=345989 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/345992/stat : 345992 (timeout) S 345989 345992 345726 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62518771 8867840 237 134679101440 94318879965184 94318880000200 140737333034896 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94318882097616 94318882099748 94318913097728 140737333040126 140737333040285 140737333040285 140737333047271 0
/proc/345992/statm: 2165 237 212 9 0 87 0
[pid=345993] ppid=345992 vsize=1847640 memory=1766984 CPUtime=12.65 cores=1,3
/proc/345993/stat : 345993 (CASHWMaxSAT-Dis) R 345992 345992 345726 0 -1 4194304 168529 0 0 0 1214 51 0 0 20 0 1 0 62518771 1891983360 441746 134679101440 4194304 15356333 140733822459808 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52224000 140733822469123 140733822469269 140733822469269 140733822476255 0
/proc/345993/statm: 461910 441746 1338 2726 0 458658 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1866232 KiB
Current children cumulated memory: 1770664 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 3.99 4.02 5/265 345998
/proc/meminfo: memFree=120053148/131524600 swapFree=131071996/131071996
[pid=345989] ppid=345986 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/345989/stat : 345989 (Hybrid-CASHWMax) S 345986 345989 345726 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62518771 10170368 683 134679101440 94041776832512 94041777911832 140734270854768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94041780010288 94041780057476 94041805062144 140734270862286 140734270862445 140734270862445 140734270869460 0
/proc/345989/statm: 2483 683 590 264 0 134 0
[pid=345992] ppid=345989 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/345992/stat : 345992 (timeout) S 345989 345992 345726 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62518771 8867840 237 134679101440 94318879965184 94318880000200 140737333034896 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94318882097616 94318882099748 94318913097728 140737333040126 140737333040285 140737333040285 140737333047271 0
/proc/345992/statm: 2165 237 212 9 0 87 0
[pid=345993] ppid=345992 vsize=4523732 memory=4245400 CPUtime=25.41 cores=1,3
/proc/345993/stat : 345993 (CASHWMaxSAT-Dis) R 345992 345992 345726 0 -1 4194304 509950 0 0 0 2399 142 0 0 20 0 1 0 62518771 4632301568 1061350 134679101440 4194304 15356333 140733822459808 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52224000 140733822469123 140733822469269 140733822469269 140733822476255 0
/proc/345993/statm: 1130933 1061350 1418 2726 0 1127681 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 4542324 KiB
Current children cumulated memory: 4249080 KiB

[startup+51.1059 s]
/proc/loadavg: 4.33 4.06 4.04 5/265 346001
/proc/meminfo: memFree=120044924/131524600 swapFree=131071996/131071996
[pid=345989] ppid=345986 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/345989/stat : 345989 (Hybrid-CASHWMax) S 345986 345989 345726 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62518771 10170368 683 134679101440 94041776832512 94041777911832 140734270854768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94041780010288 94041780057476 94041805062144 140734270862286 140734270862445 140734270862445 140734270869460 0
/proc/345989/statm: 2483 683 590 264 0 134 0
[pid=345992] ppid=345989 vsize=8660 memory=948 CPUtime=0 cores=1,3
/proc/345992/stat : 345992 (timeout) S 345989 345992 345726 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 62518771 8867840 237 134679101440 94318879965184 94318880000200 140737333034896 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94318882097616 94318882099748 94318913097728 140737333040126 140737333040285 140737333040285 140737333047271 0
/proc/345992/statm: 2165 237 212 9 0 87 0
[pid=345993] ppid=345992 vsize=4536836 memory=4250900 CPUtime=50.95 cores=1,3
/proc/345993/stat : 345993 (CASHWMaxSAT-Dis) R 345992 345992 345726 0 -1 4194304 513350 0 0 0 4947 148 0 0 20 0 1 0 62518771 4645720064 1062725 134679101440 4194304 15356333 140733822459808 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52224000 140733822469123 140733822469269 140733822469269 140733822476255 0
/proc/345993/statm: 1134209 1062725 1418 2726 0 1130957 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 4555428 KiB
Current children cumulated memory: 4254580 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.05 4.03 5/265 346010
/proc/meminfo: memFree=119918324/131524600 swapFree=131071996/131071996
[pid=345989] ppid=345986 vsize=9932 memory=2732 CPUtime=0 cores=1,3
/proc/345989/stat : 345989 (Hybrid-CASHWMax) S 345986 345989 345726 0 -1 4194304 243 102 0 0 0 0 0 0 20 0 1 0 62518771 10170368 683 134679101440 94041776832512 94041777911832 140734270854768 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94041780010288 94041780057476 94041805062144 140734270862286 140734270862445 140734270862445 140734270869460 0

################
# More data... #
################

/proc/345989/statm: 2483 683 590 264 0 134 0
[pid=346905] ppid=345989 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/346905/stat : 346905 (timeout) S 345989 346905 345726 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62698575 8867840 257 134679101440 94170212823040 94170212858056 140734809074944 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94170214955472 94170214957604 94170234408960 140734809076724 140734809076893 140734809076893 140734809083879 0
/proc/346905/statm: 2165 257 233 9 0 87 0
[pid=346906] ppid=346905 vsize=2268388 memory=1895544 CPUtime=1660.12 cores=1,3
/proc/346906/stat : 346906 (Exact) R 346905 346905 345726 0 -1 4194304 304279 0 0 0 165880 132 0 0 20 0 1 0 62698575 2322829312 473886 134679101440 4194304 7243121 140733658475392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 35471360 140733658477584 140733658477734 140733658477734 140733658484720 0
/proc/346906/statm: 567097 473886 820 745 0 566162 0
Current children cumulated CPU time: 3452.62 s
Current children cumulated vsize: 2286980 KiB
Current children cumulated memory: 1899304 KiB

[startup+3522.3 s]
/proc/loadavg: 4.37 4.18 4.15 5/267 348063
/proc/meminfo: memFree=122613592/131524600 swapFree=131071996/131071996
[pid=345989] ppid=345986 vsize=9932 memory=2732 CPUtime=1792.5 cores=1,3
/proc/345989/stat : 345989 (Hybrid-CASHWMax) S 345986 345989 345726 0 -1 4194304 273 706335 0 0 0 0 178327 923 20 0 1 0 62518771 10170368 683 134679101440 94041776832512 94041777911832 140734270854768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94041780010288 94041780057476 94041805062144 140734270862286 140734270862445 140734270862445 140734270869460 0
/proc/345989/statm: 2483 683 590 264 0 134 0
[pid=346905] ppid=345989 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/346905/stat : 346905 (timeout) S 345989 346905 345726 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62698575 8867840 257 134679101440 94170212823040 94170212858056 140734809074944 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94170214955472 94170214957604 94170234408960 140734809076724 140734809076893 140734809076893 140734809083879 0
/proc/346905/statm: 2165 257 233 9 0 87 0
[pid=346906] ppid=346905 vsize=2268388 memory=1895552 CPUtime=1719.97 cores=1,3
/proc/346906/stat : 346906 (Exact) R 346905 346905 345726 0 -1 4194304 304752 0 0 0 171864 133 0 0 20 0 1 0 62698575 2322829312 473888 134679101440 4194304 7243121 140733658475392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 35471360 140733658477584 140733658477734 140733658477734 140733658484720 0
/proc/346906/statm: 567097 473888 820 745 0 566162 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 2286980 KiB
Current children cumulated memory: 1899312 KiB

[startup+3582.3 s]
/proc/loadavg: 4.59 4.28 4.19 5/265 348073
/proc/meminfo: memFree=122317652/131524600 swapFree=131071996/131071996
[pid=345989] ppid=345986 vsize=9932 memory=2732 CPUtime=1792.5 cores=1,3
/proc/345989/stat : 345989 (Hybrid-CASHWMax) S 345986 345989 345726 0 -1 4194304 273 706335 0 0 0 0 178327 923 20 0 1 0 62518771 10170368 683 134679101440 94041776832512 94041777911832 140734270854768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94041780010288 94041780057476 94041805062144 140734270862286 140734270862445 140734270862445 140734270869460 0
/proc/345989/statm: 2483 683 590 264 0 134 0
[pid=346905] ppid=345989 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/346905/stat : 346905 (timeout) S 345989 346905 345726 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62698575 8867840 257 134679101440 94170212823040 94170212858056 140734809074944 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94170214955472 94170214957604 94170234408960 140734809076724 140734809076893 140734809076893 140734809083879 0
/proc/346905/statm: 2165 257 233 9 0 87 0
[pid=346906] ppid=346905 vsize=2268388 memory=1895576 CPUtime=1779.83 cores=1,3
/proc/346906/stat : 346906 (Exact) R 346905 346905 345726 0 -1 4194304 305364 0 0 0 177849 134 0 0 20 0 1 0 62698575 2322829312 473894 134679101440 4194304 7243121 140733658475392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 35471360 140733658477584 140733658477734 140733658477734 140733658484720 0
/proc/346906/statm: 567097 473894 820 745 0 566162 0
Current children cumulated CPU time: 3572.33 s
Current children cumulated vsize: 2286980 KiB
Current children cumulated memory: 1899336 KiB

[startup+3596.11 s]
# the end of solver process 345989 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3575.5 s, system=10.6294 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3584 s]*
/proc/loadavg: 4.62 4.30 4.19 5/265 348073
/proc/meminfo: memFree=122317628/131524600 swapFree=131071996/131071996
[pid=345989] ppid=345986 vsize=9932 memory=2732 CPUtime=1792.5 cores=1,3
/proc/345989/stat : 345989 (Hybrid-CASHWMax) S 345986 345989 345726 0 -1 4194304 273 706335 0 0 0 0 178327 923 20 0 1 0 62518771 10170368 683 134679101440 94041776832512 94041777911832 140734270854768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94041780010288 94041780057476 94041805062144 140734270862286 140734270862445 140734270862445 140734270869460 0
/proc/345989/statm: 2483 683 590 264 0 134 0
[pid=346905] ppid=345989 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/346905/stat : 346905 (timeout) S 345989 346905 345726 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62698575 8867840 257 134679101440 94170212823040 94170212858056 140734809074944 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94170214955472 94170214957604 94170234408960 140734809076724 140734809076893 140734809076893 140734809083879 0
/proc/346905/statm: 2165 257 233 9 0 87 0
[pid=346906] ppid=346905 vsize=2268388 memory=1895576 CPUtime=1781.53 cores=1,3
/proc/346906/stat : 346906 (Exact) R 346905 346905 345726 0 -1 4194304 305364 0 0 0 178019 134 0 0 20 0 1 0 62698575 2322829312 473894 134679101440 4194304 7243121 140733658475392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 35471360 140733658477584 140733658477734 140733658477734 140733658484720 0
/proc/346906/statm: 567097 473894 820 745 0 566162 0
Current children cumulated CPU time: 3574.03 s
Current children cumulated vsize: 2286980 KiB
Current children cumulated memory: 1899336 KiB

[startup+3590.4 s]
/proc/loadavg: 4.65 4.31 4.20 5/265 348075
/proc/meminfo: memFree=122317376/131524600 swapFree=131071996/131071996
[pid=345989] ppid=345986 vsize=9932 memory=2732 CPUtime=1792.5 cores=1,3
/proc/345989/stat : 345989 (Hybrid-CASHWMax) S 345986 345989 345726 0 -1 4194304 273 706335 0 0 0 0 178327 923 20 0 1 0 62518771 10170368 683 134679101440 94041776832512 94041777911832 140734270854768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94041780010288 94041780057476 94041805062144 140734270862286 140734270862445 140734270862445 140734270869460 0
/proc/345989/statm: 2483 683 590 264 0 134 0
[pid=346905] ppid=345989 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/346905/stat : 346905 (timeout) S 345989 346905 345726 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62698575 8867840 257 134679101440 94170212823040 94170212858056 140734809074944 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94170214955472 94170214957604 94170234408960 140734809076724 140734809076893 140734809076893 140734809083879 0
/proc/346905/statm: 2165 257 233 9 0 87 0
[pid=346906] ppid=346905 vsize=2268388 memory=1895576 CPUtime=1787.9 cores=1,3
/proc/346906/stat : 346906 (Exact) R 346905 346905 345726 0 -1 4194304 305495 0 0 0 178656 134 0 0 20 0 1 0 62698575 2322829312 473894 134679101440 4194304 7243121 140733658475392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 35471360 140733658477584 140733658477734 140733658477734 140733658484720 0
/proc/346906/statm: 567097 473894 820 745 0 566162 0
Current children cumulated CPU time: 3580.4 s
Current children cumulated vsize: 2286980 KiB
Current children cumulated memory: 1899336 KiB

[startup+3593.6 s]
/proc/loadavg: 4.65 4.31 4.20 5/265 348075
/proc/meminfo: memFree=122317232/131524600 swapFree=131071996/131071996
[pid=345989] ppid=345986 vsize=9932 memory=2732 CPUtime=1792.5 cores=1,3
/proc/345989/stat : 345989 (Hybrid-CASHWMax) S 345986 345989 345726 0 -1 4194304 273 706335 0 0 0 0 178327 923 20 0 1 0 62518771 10170368 683 134679101440 94041776832512 94041777911832 140734270854768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94041780010288 94041780057476 94041805062144 140734270862286 140734270862445 140734270862445 140734270869460 0
/proc/345989/statm: 2483 683 590 264 0 134 0
[pid=346905] ppid=345989 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/346905/stat : 346905 (timeout) S 345989 346905 345726 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62698575 8867840 257 134679101440 94170212823040 94170212858056 140734809074944 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94170214955472 94170214957604 94170234408960 140734809076724 140734809076893 140734809076893 140734809083879 0
/proc/346905/statm: 2165 257 233 9 0 87 0
[pid=346906] ppid=346905 vsize=2268388 memory=1895576 CPUtime=1791.1 cores=1,3
/proc/346906/stat : 346906 (Exact) R 346905 346905 345726 0 -1 4194304 305576 0 0 0 178976 134 0 0 20 0 1 0 62698575 2322829312 473894 134679101440 4194304 7243121 140733658475392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 35471360 140733658477584 140733658477734 140733658477734 140733658484720 0
/proc/346906/statm: 567097 473894 820 745 0 566162 0
Current children cumulated CPU time: 3583.6 s
Current children cumulated vsize: 2286980 KiB
Current children cumulated memory: 1899336 KiB

[startup+3595.2 s]
/proc/loadavg: 4.60 4.30 4.19 5/265 348076
/proc/meminfo: memFree=122316896/131524600 swapFree=131071996/131071996
[pid=345989] ppid=345986 vsize=9932 memory=2732 CPUtime=1792.5 cores=1,3
/proc/345989/stat : 345989 (Hybrid-CASHWMax) S 345986 345989 345726 0 -1 4194304 273 706335 0 0 0 0 178327 923 20 0 1 0 62518771 10170368 683 134679101440 94041776832512 94041777911832 140734270854768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94041780010288 94041780057476 94041805062144 140734270862286 140734270862445 140734270862445 140734270869460 0
/proc/345989/statm: 2483 683 590 264 0 134 0
[pid=346905] ppid=345989 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/346905/stat : 346905 (timeout) S 345989 346905 345726 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62698575 8867840 257 134679101440 94170212823040 94170212858056 140734809074944 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94170214955472 94170214957604 94170234408960 140734809076724 140734809076893 140734809076893 140734809083879 0
/proc/346905/statm: 2165 257 233 9 0 87 0
[pid=346906] ppid=346905 vsize=2268388 memory=1895576 CPUtime=1792.69 cores=1,3
/proc/346906/stat : 346906 (Exact) R 346905 346905 345726 0 -1 4194304 305577 0 0 0 179135 134 0 0 20 0 1 0 62698575 2322829312 473894 134679101440 4194304 7243121 140733658475392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 35471360 140733658477584 140733658477734 140733658477734 140733658484720 0
/proc/346906/statm: 567097 473894 820 745 0 566162 0
Current children cumulated CPU time: 3585.19 s
Current children cumulated vsize: 2286980 KiB
Current children cumulated memory: 1899336 KiB

[startup+3595.6 s]
/proc/loadavg: 4.60 4.30 4.19 5/265 348076
/proc/meminfo: memFree=122316896/131524600 swapFree=131071996/131071996
[pid=345989] ppid=345986 vsize=9932 memory=2732 CPUtime=1792.5 cores=1,3
/proc/345989/stat : 345989 (Hybrid-CASHWMax) S 345986 345989 345726 0 -1 4194304 273 706335 0 0 0 0 178327 923 20 0 1 0 62518771 10170368 683 134679101440 94041776832512 94041777911832 140734270854768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94041780010288 94041780057476 94041805062144 140734270862286 140734270862445 140734270862445 140734270869460 0
/proc/345989/statm: 2483 683 590 264 0 134 0
[pid=346905] ppid=345989 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/346905/stat : 346905 (timeout) S 345989 346905 345726 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62698575 8867840 257 134679101440 94170212823040 94170212858056 140734809074944 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94170214955472 94170214957604 94170234408960 140734809076724 140734809076893 140734809076893 140734809083879 0
/proc/346905/statm: 2165 257 233 9 0 87 0
[pid=346906] ppid=346905 vsize=2268388 memory=1895576 CPUtime=1793.09 cores=1,3
/proc/346906/stat : 346906 (Exact) R 346905 346905 345726 0 -1 4194304 305577 0 0 0 179175 134 0 0 20 0 1 0 62698575 2322829312 473894 134679101440 4194304 7243121 140733658475392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 35471360 140733658477584 140733658477734 140733658477734 140733658484720 0
/proc/346906/statm: 567097 473894 820 745 0 566162 0
Current children cumulated CPU time: 3585.59 s
Current children cumulated vsize: 2286980 KiB
Current children cumulated memory: 1899336 KiB

[startup+3596 s]*
/proc/loadavg: 4.60 4.30 4.19 5/265 348076
/proc/meminfo: memFree=122316448/131524600 swapFree=131071996/131071996
[pid=345989] ppid=345986 vsize=9932 memory=2732 CPUtime=1792.5 cores=1,3
/proc/345989/stat : 345989 (Hybrid-CASHWMax) S 345986 345989 345726 0 -1 4194304 273 706335 0 0 0 0 178327 923 20 0 1 0 62518771 10170368 683 134679101440 94041776832512 94041777911832 140734270854768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94041780010288 94041780057476 94041805062144 140734270862286 140734270862445 140734270862445 140734270869460 0
/proc/345989/statm: 2483 683 590 264 0 134 0
[pid=346905] ppid=345989 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/346905/stat : 346905 (timeout) S 345989 346905 345726 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62698575 8867840 257 134679101440 94170212823040 94170212858056 140734809074944 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94170214955472 94170214957604 94170234408960 140734809076724 140734809076893 140734809076893 140734809083879 0
/proc/346905/statm: 2165 257 233 9 0 87 0
[pid=346906] ppid=346905 vsize=2268388 memory=1895576 CPUtime=1793.5 cores=1,3
/proc/346906/stat : 346906 (Exact) R 346905 346905 345726 0 -1 4194304 305577 0 0 0 179216 134 0 0 20 0 1 0 62698575 2322829312 473894 134679101440 4194304 7243121 140733658475392 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 35471360 140733658477584 140733658477734 140733658477734 140733658484720 0
/proc/346906/statm: 567097 473894 820 745 0 566162 0
Current children cumulated CPU time: 3586 s
Current children cumulated vsize: 2286980 KiB
Current children cumulated memory: 1899336 KiB

[startup+3596.11 s]
/proc/loadavg: 4.60 4.30 4.19 5/265 348076
/proc/meminfo: memFree=122316448/131524600 swapFree=131071996/131071996
[pid=345989] ppid=345986 vsize=9932 memory=2824 CPUtime=3586.11 cores=1,3
/proc/345989/stat : 345989 (Hybrid-CASHWMax) S 345986 345989 345726 0 -1 4194304 456 1014556 0 0 0 0 357549 1062 20 0 1 0 62518771 10170368 706 134679101440 94041776832512 94041777911832 140734270854768 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94041780010288 94041780057476 94041805062144 140734270862286 140734270862445 140734270862445 140734270869460 0
/proc/345989/statm: 2483 706 606 264 0 134 0
Current children cumulated CPU time: 3586.11 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2824 KiB

Child status: 0

Real time (s): 3596.11
CPU time (s): 3586.13
CPU user time (s): 3575.5
CPU system time (s): 10.6294
CPU usage (%): 99.7224
Max. virtual memory (cumulated for all children) (KiB): 6506920
Max. memory (cumulated for all children) (KiB): 6130964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.5
system time used= 10.6294
maximum resident set size= 6185544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1015352
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 386
involuntary context switches= 3751


# summary of solver processes directly reported to runsolver:
#   pid: 345989
#   total CPU time (s): 3586.13
#   total CPU user time (s): 3575.5
#   total CPU system time (s): 10.6294

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.50946 second user time and 20.1318 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-08-06 17:46:29
IDJOB=4437815
IDBENCH=146793
IDSOLVER=3072
FILE ID=nodeC025/4437815-1722959189
RUNJOBID= nodeC025-1722959025-345738
SLURM_JOB_ID= 8259022
Free space on /tmp= 890024 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437815-1722959189/watcher-4437815-1722959189 -o /tmp/evaluation-result-4437815-1722959189/solver-4437815-1722959189 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722959025-345738 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437815-1722959189.opb 3600 HOME 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= f5b507fec305347e12cc700790213fb8
RANDOM SEED=1583829317

nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3674.649
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3670.682
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.239
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3667.965
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3674.685
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3671.826
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.307
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.294
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124305196 kB
MemAvailable:   128463608 kB
Buffers:          333264 kB
Cached:          4643960 kB
SwapCached:            0 kB
Active:           634836 kB
Inactive:        6003332 kB
Active(anon):       1652 kB
Inactive(anon):  1696684 kB
Active(file):     633184 kB
Inactive(file):  4306648 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             22504 kB
Writeback:             0 kB
AnonPages:       1660440 kB
Mapped:           126912 kB
Shmem:             37720 kB
KReclaimable:     116808 kB
Slab:             210912 kB
SReclaimable:     116808 kB
SUnreclaim:        94104 kB
KernelStack:        4220 kB
PageTables:        12880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1972304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            29664 kB
HardwareCorrupted:     0 kB
AnonHugePages:    565248 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      361172 kB
DirectMap2M:    25626624 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890004 MiB
End job on nodeC025 at 2024-08-06 18:46:25