Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.5.2-gmp (fixed) | OPT | 3334613 | 240.156 | 240.148 |
Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/ rand.smallist/normalized-rand56b853.cudf.trendy.opb |
MD5SUM | 10f7f7bafce3fb10bb2a62df82f75c33 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3334613 |
Best CPU time to get the best result obtained on this benchmark | 1.89271 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 6922 |
Total number of constraints | 20527 |
Number of constraints which are clauses | 20525 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1147 |
Number of terms in the objective function | 3648 |
Biggest coefficient in the objective function | 6088387976 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 6977285952623 |
Number of bits of the sum of numbers in the objective function | 43 |
Biggest number in a constraint | 6088387976 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 6977285952623 |
Number of bits of the biggest sum of numbers | 43 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.01 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 49.29/49.34 o 4590854593649 49.29/49.34 o 4584766205673 49.29/49.34 o 4578677817697 49.29/49.34 o 4572589429721 49.29/49.34 o 4566501041745 49.29/49.34 o 4560412653769 49.29/49.34 o 4554324265793 49.29/49.34 o 4548235877817 49.29/49.34 o 4542147489841 49.29/49.34 o 4536059101865 49.29/49.34 o 4529970713889 49.29/49.34 o 4523882325913 49.29/49.34 o 4517793937937 49.29/49.34 o 4511705549961 49.29/49.34 o 4505617161985 49.29/49.34 o 4499528774009 49.29/49.34 o 4493440386033 49.29/49.34 o 4487351998057 49.29/49.34 o 4481263610081 49.29/49.34 o 4475175222105 49.29/49.34 o 4469086834129 49.29/49.34 o 4462998446153 49.29/49.34 o 4456910058177 49.29/49.34 o 4450821670201 49.29/49.34 o 4444733282225 49.29/49.34 o 4438644894249 49.29/49.34 o 4432556506273 49.29/49.34 o 4426468118297 49.29/49.34 o 4420379730321 49.29/49.34 o 4414291342345 49.29/49.34 o 4408202954369 49.29/49.34 o 4402114566393 49.29/49.34 o 4396026178417 49.29/49.34 o 4389937790441 49.29/49.34 o 4383849402465 49.29/49.34 o 4377761014489 49.29/49.34 o 4371672626513 49.29/49.34 o 4365584238537 49.29/49.34 o 4359495850561 49.29/49.34 o 4353407462585 49.29/49.34 o 4347319074609 49.29/49.34 o 4341230686633 49.29/49.34 o 4335142298657 49.29/49.34 o 4329053910681 49.29/49.34 o 4322965522705 49.29/49.34 o 4316877134729 49.29/49.34 o 4310788746753 49.29/49.34 o 4304700358777 49.29/49.34 o 4298611970801 49.29/49.34 o 4292523582825 49.29/49.34 o 4286435194849 49.29/49.34 o 4280346806873 49.29/49.34 o 4274258418897 49.29/49.34 o 4268170030921 49.29/49.34 o 4262081642945 49.29/49.34 o 4255993254969 49.29/49.34 o 4249904866993 49.29/49.34 o 4243816479017 49.29/49.34 o 4237728091041 49.29/49.34 o 4231639703065 49.29/49.34 o 4225551315089 49.29/49.34 o 4219462927113 49.29/49.34 o 4213374539137 49.29/49.34 o 4207286151161 49.29/49.34 o 4201197763185 49.29/49.34 o 4195109375209 49.29/49.34 o 4189020987233 49.29/49.34 o 4182932599257 49.29/49.34 o 4176844211281 49.29/49.34 o 4170755823305 49.29/49.34 o 4164667435329 49.29/49.34 o 4158579047353 49.29/49.34 o 4152490659377 49.29/49.34 o 4146402271401 49.29/49.34 o 4140313883425 49.29/49.34 o 4134225495449 49.29/49.34 o 4128137107473 49.29/49.34 o 4122048719497 49.29/49.34 o 4115960331521 49.29/49.34 o 4109871943545 49.29/49.34 o 4103783555569 49.29/49.34 o 4097695167593 49.29/49.34 o 4091606779617 49.29/49.34 o 4085518391641 49.29/49.34 o 4079430003665 49.29/49.34 o 4073341615689 49.29/49.34 o 4067253227713 49.29/49.34 o 4061164839737 49.29/49.34 o 4055076451761 49.29/49.34 o 4048988063785 49.29/49.34 o 4042899675809 49.29/49.34 o 4036811287833 49.29/49.34 o 4030722899857 49.29/49.34 o 4024634511881 49.29/49.34 o 4018546123905 49.29/49.34 o 4012457735929 49.29/49.34 o 4006369347953 49.29/49.34 o 4000280959977 49.29/49.34 o 3994192572001 49.29/49.34 o 3988104184025 49.29/49.34 o 3982015796049 49.29/49.34 o 3975927408073 49.29/49.34 o 3969839020097 49.29/49.34 o 3963750632121 49.29/49.34 o 3957662244145 49.29/49.34 o 3951573856169 49.29/49.34 o 3945485468193 49.29/49.34 o 3939397080217 49.29/49.34 o 3933308692241 49.29/49.34 o 3927220304265 49.29/49.34 o 3921131916289 49.29/49.34 o 3915043528313 49.29/49.34 o 3908955140337 49.29/49.34 o 3902866752361 49.29/49.34 o 3896778364385 49.29/49.34 o 3890689976409 49.29/49.34 o 3884601588433 49.29/49.34 o 3878513200457 49.29/49.34 o 3872424812481 49.29/49.34 o 3866336424505 49.29/49.34 o 3860248036529 49.29/49.34 o 3854159648553 49.29/49.34 o 3848071260577 49.29/49.34 o 3841982872601 49.29/49.34 o 3835894484625 49.29/49.34 o 3829806096649 49.29/49.34 o 3823717708673 49.29/49.34 o 3817629320697 49.29/49.34 o 3811540932721 49.29/49.34 o 3805452544745 49.29/49.34 o 3799364156769 49.29/49.34 o 3793275768793 49.29/49.34 o 3787187380817 49.29/49.34 o 3781098992841 49.29/49.34 o 3775010604865 49.29/49.34 o 3768922216889 49.29/49.34 o 3762833828913 49.29/49.34 o 3756745440937 49.29/49.34 o 3750657052961 49.29/49.34 o 3744568664985 49.29/49.34 o 3738480277009 49.29/49.34 o 3732391889033 49.29/49.34 o 3726303501057 49.29/49.34 o 3720215113081 49.29/49.34 o 3714126725105 49.29/49.34 o 3708038337129 49.29/49.34 o 3701949949153 49.29/49.34 o 3695861561177 49.29/49.34 o 3689773173201 49.29/49.34 o 3683684785225 49.29/49.34 o 3677596397249 49.29/49.34 o 3671508009273 49.29/49.34 o 3665419621297 49.29/49.34 o 3659331233321 49.29/49.34 o 3653242845345 49.29/49.34 o 3647154457369 49.29/49.34 o 3641066069393 49.29/49.34 o 3634977681417 49.29/49.34 o 3628889293441 49.29/49.34 o 3622800905465 49.29/49.34 o 3616712517489 49.29/49.34 o 3610624129513 49.29/49.34 o 3604535741537 49.29/49.34 o 3598447353561 49.29/49.34 o 3592358965585 49.29/49.34 o 3586270577609 49.29/49.34 o 3580182189633 49.29/49.34 o 3574093801657 49.29/49.34 o 3568005413681 49.29/49.34 o 3561917025705 49.29/49.34 o 3555828637729 49.29/49.34 o 3549740249753 49.29/49.34 o 3543651861777 49.29/49.34 o 3537563473801 49.29/49.34 o 3531475085825 49.29/49.34 o 3525386697849 49.29/49.34 o 3519298309873 49.29/49.34 o 3513209921897 49.29/49.34 o 3507121533921 49.29/49.34 o 3501033145945 49.29/49.34 o 3494944757969 49.29/49.34 o 3488856369993 49.29/49.34 o 3482767982017 49.29/49.34 o 3476679594041 49.29/49.34 o 3470591206065 49.29/49.34 o 3464502818089 49.29/49.34 o 3458414430113 49.29/49.34 o 3452326042137 49.29/49.34 o 3446237654161 49.29/49.34 o 3440149266185 49.29/49.34 o 3434060878209 49.29/49.34 o 3427972490233 49.29/49.34 o 3421884102257 49.29/49.34 o 3415795714281 49.29/49.34 o 3409707326305 49.29/49.34 o 3403618938329 49.29/49.34 o 3397530550353 49.29/49.34 o 3391442162377 49.29/49.34 o 3385353774401 49.29/49.34 o 3379265386425 49.29/49.34 o 3373176998449 49.29/49.34 o 3367088610473 49.29/49.34 o 3361000222497 49.29/49.34 o 3354911834521 49.29/49.34 o 3348823446545 49.29/49.34 o 3342735058569 49.29/49.34 o 3336646670593 49.29/49.34 o 3330558282617 49.29/49.34 o 3324469894641 49.29/49.34 o 3318381506665 49.29/49.34 o 3312293118689 49.29/49.34 o 3306204730713 49.29/49.34 o 3300116342737 49.29/49.34 o 3294027954761 49.29/49.34 o 3287939566785 49.29/49.34 o 3281851178809 49.29/49.34 o 3275762790833 49.29/49.34 o 3269674402857 49.29/49.34 o 3263586014881 49.29/49.34 o 3257497626905 49.29/49.34 o 3251409238929 49.29/49.34 o 3245320850953 49.29/49.34 o 3239232462977 49.29/49.34 o 3233144075001 49.29/49.34 o 3227055687025 49.29/49.34 o 3220967299049 49.29/49.34 o 3214878911073 49.29/49.34 o 3208790523097 49.29/49.34 o 3202702135121 49.29/49.34 o 3196613747145 49.29/49.34 o 3190525359169 49.29/49.34 o 3184436971193 49.29/49.34 o 3178348583217 49.29/49.34 o 3172260195241 49.29/49.34 o 3166171807265 49.29/49.34 o 3160083419289 49.29/49.34 o 3153995031313 49.29/49.34 o 3147906643337 49.29/49.34 o 3141818255361 49.29/49.34 o 3135729867385 49.29/49.34 o 3129641479409 49.29/49.34 o 3123553091433 49.29/49.34 o 3117464703457 49.29/49.34 o 3111376315481 49.29/49.34 o 3105287927505 49.29/49.34 o 3099199539529 49.29/49.34 o 3093111151553 49.29/49.34 o 3087022763577 49.29/49.34 o 3080934375601 49.29/49.34 o 3074845987625 49.29/49.34 o 3068757599649 49.29/49.34 o 3062669211673 49.29/49.34 o 3056580823697 49.29/49.34 o 3050492435721 49.29/49.34 o 3044404047745 49.29/49.34 o 3038315659769 98.90/98.95 o 3032227271793 98.90/98.95 o 3026138883817 98.90/98.95 o 3020050495841 98.90/98.95 o 3013962107865 98.90/98.95 o 3007873719889 98.90/98.95 o 3001785331913 98.90/98.95 o 2995696943937 98.90/98.95 o 2989608555961 98.90/98.95 o 2983520167985 98.90/98.95 o 2977431780009 98.90/98.95 o 2971343392033 98.90/98.95 o 2965255004057 98.90/98.95 o 2959166616081 98.90/98.95 o 2953078228105 98.90/98.95 o 2946989840129 98.90/98.95 o 2940901452153 98.90/98.95 o 2934813064177 98.90/98.95 o 2928724676201 98.90/98.95 o 2922636288225 98.90/98.95 o 2916547900249 98.90/98.95 o 2910459512273 98.90/98.95 o 2904371124297 98.90/98.95 o 2898282736321 98.90/98.95 o 2892194348345 98.90/98.95 o 2886105960369 98.90/98.95 o 2880017572393 98.90/98.95 o 2873929184417 98.90/98.95 o 2867840796441 98.90/98.95 o 2861752408465 98.90/98.95 o 2855664020489 98.90/98.95 o 2849575632513 98.90/98.95 o 2843487244537 98.90/98.95 o 2837398856561 98.90/98.95 o 2831310468585 98.90/98.95 o 2825222080609 98.90/98.95 o 2819133692633 98.90/98.95 o 2813045304657 98.90/98.95 o 2806956916681 98.90/98.95 o 2800868528705 98.90/98.95 o 2794780140729 98.90/98.95 o 2788691752753 98.90/98.95 o 2782603364777 98.90/98.95 o 2776514976801 98.90/98.95 o 2770426588825 98.90/98.95 o 2764338200849 98.90/98.95 o 2758249812873 98.90/98.95 o 2752161424897 98.90/98.95 o 2746073036921 98.90/98.95 o 2739984648945 98.90/98.95 o 2733896260969 98.90/98.95 o 2727807872993 98.90/98.95 o 2721719485017 98.90/98.95 o 2715631097041 98.90/98.95 o 2709542709065 98.90/98.95 o 2703454321089 98.90/98.95 o 2697365933113 98.90/98.95 o 2691277545137 98.90/98.95 o 2685189157161 98.90/98.95 o 2679100769185 98.90/98.95 o 2673012381209 98.90/98.95 o 2666923993233 98.90/98.95 o 2660835605257 98.90/98.95 o 2654747217281 98.90/98.95 o 2648658829305 98.90/98.95 o 2642570441329 98.90/98.95 o 2636482053353 98.90/98.95 o 2630393665377 98.90/98.95 o 2624305277401 98.90/98.95 o 2618216889425 98.90/98.95 o 2612128501449 98.90/98.95 o 2606040113473 98.90/98.95 o 2599951725497 98.90/98.95 o 2593863337521 98.90/98.95 o 2587774949545 98.90/98.95 o 2581686561569 98.90/98.95 o 2575598173593 98.90/98.95 o 2569509785617 98.90/98.95 o 2563421397641 98.90/98.95 o 2557333009665 98.90/98.95 o 2551244621689 98.90/98.95 o 2545156233713 98.90/98.95 o 2539067845737 98.90/98.95 o 2532979457761 98.90/98.95 o 2526891069785 98.90/98.95 o 2520802681809 98.90/98.95 o 2514714293833 98.90/98.95 o 2508625905857 98.90/98.95 o 2502537517881 98.90/98.95 o 2496449129905 98.90/98.95 o 2490360741929 98.90/98.95 o 2484272353953 98.90/98.95 o 2478183965977 98.90/98.95 o 2472095578001 98.90/98.95 o 2466007190025 98.90/98.95 o 2459918802049 98.90/98.95 o 2453830414073 98.90/98.95 o 2447742026097 98.90/98.95 o 2441653638121 98.90/98.95 o 2435565250145 98.90/98.95 o 2429476862169 98.90/98.95 o 2423388474193 98.90/98.95 o 2417300086217 98.90/98.95 o 2411211698241 98.90/98.95 o 2405123310265 98.90/98.95 o 2399034922289 98.90/98.95 o 2392946534313 98.90/98.95 o 2386858146337 98.90/98.95 o 2380769758361 98.90/98.95 o 2374681370385 98.90/98.95 o 2368592982409 98.90/98.95 o 2362504594433 98.90/98.95 o 2356416206457 98.90/98.95 o 2350327818481 98.90/98.95 o 2344239430505 98.90/98.95 o 2338151042529 98.90/98.95 o 2332062654553 98.90/98.95 o 2325974266577 98.90/98.95 o 2319885878601 98.90/98.95 o 2313797490625 98.90/98.95 o 2307709102649 98.90/98.95 o 2301620714673 98.90/98.95 o 2295532326697 98.90/98.95 o 2289443938721 98.90/98.95 o 2283355550746 98.90/98.95 o 2277267162770 98.90/98.95 o 2277263828495 98.90/98.95 o 2271175440519 98.90/98.95 o 2265087052543 98.90/98.95 o 2258998664567 98.90/98.95 o 2252910276591 98.90/98.95 o 2240733500639 98.90/98.95 o 2204203172783 98.90/98.95 o 2198114784807 98.90/98.95 o 2192026396831 98.90/98.95 o 2185938008855 98.90/98.95 o 2179849620879 98.90/98.95 o 2173761232903 98.90/98.95 o 2167672844927 98.90/98.95 o 2143329295859 98.90/98.95 o 2137240907885 98.90/98.95 o 2131152519909 98.90/98.95 o 2125064131933 98.90/98.95 o 2118975743957 98.90/98.95 o 2100710580029 98.90/98.95 o 2094622192053 98.90/98.95 o 2088533804077 98.90/98.95 o 2082445416101 98.90/98.95 o 2076357028125 98.90/98.95 o 2070268640149 98.90/98.95 o 2064180252173 98.90/98.95 o 2058091864197 98.90/98.95 o 2052003476221 98.90/98.95 o 2045918422551 98.90/98.95 o 2039830034575 98.90/98.95 o 2033741646599 98.90/98.95 o 2027653258623 98.90/98.95 o 2021564870647 98.90/98.95 o 2015476482671 98.90/98.95 o 2009388094695 98.90/98.95 o 2003299706719 98.90/98.95 o 1997211318743 98.90/98.95 o 1991122930767 98.90/98.95 o 1985034542791 98.90/98.95 o 1978946154815 98.90/98.95 o 1972857766839 98.90/98.95 o 1966769378863 98.90/98.95 o 1960680990887 98.90/98.95 o 1954592602911 98.90/98.95 o 1948504214935 98.90/98.95 o 1942415826959 98.90/98.95 o 1936327438983 98.90/98.95 o 1930239051007 98.90/98.95 o 1924150663031 98.90/98.95 o 1918062275055 98.90/98.95 o 1911973887079 98.90/98.95 o 1905885499103 98.90/98.95 o 1899797111127 98.90/98.95 o 1893708723151 98.90/98.95 o 1881531947199 98.90/98.95 o 1875443559223 98.90/98.95 o 1869355171247 98.90/98.95 o 1863266783271 98.90/98.95 o 1857181729571 98.90/98.95 o 1857178395295 98.90/98.95 o 1851090007319 98.90/98.95 o 1845001619343 98.90/98.95 o 1838913231368 98.90/98.95 o 1832824843392 98.90/98.95 o 1826736455417 98.90/98.95 o 1820648067441 98.90/98.95 o 1814559679465 98.90/98.95 o 1808471291489 98.90/98.95 o 1802382903513 98.90/98.95 o 1796294515537 98.90/98.95 o 1790206127561 98.90/98.95 o 1784117739585 98.90/98.95 o 1778029351609 98.90/98.95 o 1771940963633 98.90/98.95 o 1765852575657 98.90/98.95 o 1759764187681 98.90/98.95 o 1753675799705 98.90/98.95 o 1747587411729 98.90/98.95 o 1741499023753 98.90/98.95 o 1735410635777 98.90/98.95 o 1729322247801 98.90/98.95 o 1723233859825 98.90/98.95 o 1717145471849 98.90/98.95 o 1711057083873 98.90/98.95 o 1704968695897 98.90/98.95 o 1698880307921 98.90/98.95 o 1692791919945 98.90/98.95 o 1686703531969 98.90/98.95 o 1680615143993 98.90/98.95 o 1674526756017 98.90/98.95 o 1668438368041 98.90/98.95 o 1662349980065 98.90/98.95 o 1656261592089 98.90/98.95 o 1650173204113 98.90/98.95 o 1644084816137 98.90/98.95 o 1637996428161 98.90/98.95 o 1631908040185 98.90/98.95 o 1625819652209 98.90/98.95 o 1619731264233 98.90/98.95 o 1613642876257 98.90/98.95 o 1607554488282 98.90/98.95 o 1595377712330 98.90/98.95 o 1589299327182 98.90/98.95 o 1583210939207 98.90/98.95 o 1577122551236 98.90/98.95 o 1571034163263 98.90/98.95 o 1564945775287 98.90/98.95 o 1558857387311 98.90/98.95 o 1558854053035 98.90/98.95 o 1558850718759 98.90/98.95 o 1546673942807 98.90/98.95 o 1540585554831 98.90/98.95 o 1534497166855 98.90/98.95 o 1528408778879 98.90/98.95 o 1516232002928 98.90/98.95 o 1510143614952 98.90/98.95 o 1504055226976 98.90/98.95 o 1497966839000 98.90/98.95 o 1491878451024 98.90/98.95 o 1485790063048 98.90/98.95 o 1479701675072 98.90/98.95 o 1473613287096 98.90/98.95 o 1461443179697 98.90/98.95 o 1461436511145 98.90/98.95 o 1461436511144 98.90/98.95 o 1455348123168 98.90/98.95 o 1449259735192 98.90/98.95 o 1443171347216 98.90/98.95 o 1437082959240 98.90/98.95 o 1430994571264 98.90/98.95 o 1424906183288 98.90/98.95 o 1418817795312 125.59/125.67 o 1412729407336 125.59/125.67 o 1406641019360 125.59/125.67 o 1400552631384 125.59/125.67 o 1394464243408 125.59/125.67 o 1388375855432 125.59/125.67 o 1388375855431 125.59/125.67 o 1382287467455 125.59/125.67 o 1376199079479 125.59/125.67 o 1370110691503 125.59/125.67 o 1364022303527 125.59/125.67 o 1357933915552 125.59/125.67 o 1351845527581 125.59/125.67 o 1351842193308 125.59/125.67 o 1351842193307 125.59/125.67 o 1351842193306 125.59/125.67 o 1351842193305 125.59/125.67 o 1339665417353 125.59/125.67 o 1309223477476 125.59/125.67 o 1309223477475 125.59/125.67 o 1309223477473 125.59/125.67 o 1303135089497 125.59/125.67 o 1297046701524 125.59/125.67 o 1297046701523 125.59/125.67 o 1297046701522 125.59/125.67 o 1297046701521 125.59/125.67 o 1284869925569 125.59/125.67 o 1278781537593 125.59/125.67 o 1272699818172 125.59/125.67 o 1272696483896 125.59/125.67 o 1272696483895 125.59/125.67 o 1272696483894 125.59/125.67 o 1272696483893 125.59/125.67 o 1266608095917 125.59/125.67 o 1266604761644 125.59/125.67 o 1266604761643 125.59/125.67 o 1266604761642 125.59/125.67 o 1266604761641 125.59/125.67 o 1260516373665 125.59/125.67 o 1248339597713 125.59/125.67 o 1242251209740 125.59/125.67 o 1242251209739 125.59/125.67 o 1242251209738 125.59/125.67 o 1242251209737 125.59/125.67 o 1236162821761 125.59/125.67 o 1230074433788 125.59/125.67 o 1230074433787 125.59/125.67 o 1230074433786 125.59/125.67 o 1230074433785 125.59/125.67 o 1223986045812 125.59/125.67 o 1223986045811 125.59/125.67 o 1223986045810 125.59/125.67 o 1223986045809 125.59/125.67 o 1217897657833 125.59/125.67 o 1211809269857 125.59/125.67 o 1205720881884 125.59/125.67 o 1205720881883 125.59/125.67 o 1205720881882 125.59/125.67 o 1205720881881 125.59/125.67 o 1199632493905 125.59/125.67 o 1193544105930 125.59/125.67 o 1193544105929 125.59/125.67 o 1187455717956 125.59/125.67 o 1187455717955 125.59/125.67 o 1187455717954 125.59/125.67 o 1187455717953 125.59/125.67 o 1181367329977 125.59/125.67 o 1169190554025 125.59/125.67 o 1163102166049 125.59/125.67 o 1144840336401 125.59/125.67 o 1144840336400 125.59/125.67 o 1144840336399 125.59/125.67 o 1144840336398 125.59/125.67 o 1144837002125 125.59/125.67 o 1144837002124 125.59/125.67 o 1144837002123 125.59/125.67 o 1144837002122 125.59/125.67 o 1132660226170 125.59/125.67 o 1126571838197 125.59/125.67 o 1126571838196 125.59/125.67 o 1126571838195 125.59/125.67 o 1126571838194 125.59/125.67 o 1120483450221 125.59/125.67 o 1120483450220 125.59/125.67 o 1120483450219 125.59/125.67 o 1120483450218 125.59/125.67 o 1114395062242 125.59/125.67 o 1108306674266 125.59/125.67 o 1102218286293 125.59/125.67 o 1102218286292 125.59/125.67 o 1102218286291 125.59/125.67 o 1102218286290 125.59/125.67 o 1096129898314 125.59/125.67 o 1083953122365 125.59/125.67 o 1083953122364 125.59/125.67 o 1083953122363 125.59/125.67 o 1083953122362 125.59/125.67 o 1071776346410 125.59/125.67 o 1065687958436 125.59/125.67 o 1065687958435 125.59/125.67 o 1065687958434 125.59/125.67 o 1059599570458 125.59/125.67 o 1053511182485 125.59/125.67 o 1053511182483 125.59/125.67 o 1053511182482 125.59/125.67 o 1047422794506 125.59/125.67 o 1041334406530 125.59/125.67 o 1035246018557 125.59/125.67 o 1035246018556 125.59/125.67 o 1035246018555 125.59/125.67 o 1035246018554 125.59/125.67 o 1035246018553 125.59/125.67 o 1023069242601 125.59/125.67 o 1016980854626 125.59/125.67 o 1010892466652 125.59/125.67 o 1010892466651 125.59/125.67 o 1010892466649 125.59/125.67 o 1004804078673 125.59/125.67 o 998715690700 125.59/125.67 o 998715690699 125.59/125.67 o 998715690697 125.59/125.67 o 992627302721 125.59/125.67 o 986538914748 125.59/125.67 o 986538914747 125.59/125.67 o 986538914746 125.59/125.67 o 986538914745 125.59/125.67 o 980450526769 125.59/125.67 o 974362138796 125.59/125.67 o 974362138795 125.59/125.67 o 974362138793 125.59/125.67 o 968273750817 125.59/125.67 o 956096974865 125.59/125.67 o 950008586889 125.59/125.67 o 943920198916 125.59/125.67 o 943920198915 125.59/125.67 o 943920198914 125.59/125.67 o 943920198913 125.59/125.67 o 937831810940 125.59/125.67 o 937831810939 125.59/125.67 o 937831810938 125.59/125.67 o 937831810937 125.59/125.67 o 931743422964 125.59/125.67 o 931743422962 125.59/125.67 o 931743422961 125.59/125.67 o 925655034988 125.59/125.67 o 925655034987 125.59/125.67 o 925655034986 125.59/125.67 o 925655034985 125.59/125.67 o 919566647009 125.59/125.67 o 913478259036 125.59/125.67 o 913478259035 125.59/125.67 o 913478259034 125.59/125.67 o 913478259033 125.59/125.67 o 907389871057 125.59/125.67 o 901301483081 125.59/125.67 o 895213095108 125.59/125.67 o 889124707132 125.59/125.67 o 889124707131 125.59/125.67 o 889124707130 125.59/125.67 o 889124707129 125.59/125.67 o 883036319153 125.59/125.67 o 876947931180 125.59/125.67 o 876947931179 125.59/125.67 o 876947931178 125.59/125.67 o 876947931177 125.59/125.67 o 870859543201 125.59/125.67 o 864771155228 125.59/125.67 o 864771155227 125.59/125.67 o 864771155226 125.59/125.67 o 864771155225 125.59/125.67 o 858682767249 125.59/125.67 o 852594379276 125.59/125.67 o 852594379275 125.59/125.67 o 852594379274 125.59/125.67 o 852594379273 125.59/125.67 o 846505991300 125.59/125.67 o 846505991299 125.59/125.67 o 846505991298 125.59/125.67 o 846505991297 125.59/125.67 o 840417603324 125.59/125.67 o 840417603323 125.59/125.67 o 840417603322 125.59/125.67 o 840417603321 125.59/125.67 o 834329215348 125.59/125.67 o 834329215347 125.59/125.67 o 834329215346 125.59/125.67 o 834329215345 125.59/125.67 o 828240827369 125.59/125.67 o 822152439401 125.59/125.67 o 822152439400 125.59/125.67 o 822152439399 125.59/125.67 o 822152439398 125.59/125.67 o 822152439397 125.59/125.67 o 822152439396 125.59/125.67 o 822152439395 125.59/125.67 o 816064051422 125.59/125.67 o 816064051420 125.59/125.67 o 816064051419 125.59/125.67 o 803887275470 125.59/125.67 o 803887275468 125.59/125.67 o 803887275467 125.59/125.67 o 797798887491 125.59/125.67 o 791710499518 125.59/125.67 o 791710499517 125.59/125.67 o 791710499516 125.59/125.67 o 791710499515 125.59/125.67 o 785622111542 125.59/125.67 o 785622111541 125.59/125.67 o 785622111540 125.59/125.67 o 785622111539 125.59/125.67 o 779533723566 125.59/125.67 o 779533723565 125.59/125.67 o 779533723563 125.59/125.67 o 773445335590 125.59/125.67 o 773445335589 125.59/125.67 o 773445335588 125.59/125.67 o 773445335587 125.59/125.67 o 767356947611 125.59/125.67 o 761268559638 125.59/125.67 o 761268559636 125.59/125.67 o 761268559635 125.59/125.67 o 755180171662 125.59/125.67 o 755180171660 125.59/125.67 o 755180171659 125.59/125.67 o 749091783686 125.59/125.67 o 749091783685 125.59/125.67 o 749091783684 125.59/125.67 o 749091783683 125.59/125.67 o 743003395707 125.59/125.67 o 736915007734 125.59/125.67 o 736915007732 125.59/125.67 o 736915007731 125.59/125.67 o 730826619758 125.59/125.67 o 730826619756 125.59/125.67 o 730826619755 125.59/125.67 o 724738231785 125.59/125.67 o 724738231784 125.59/125.67 o 724738231782 125.59/125.67 o 724738231781 125.59/125.67 o 724738231780 125.59/125.67 o 724738231779 125.59/125.67 o 724734897503 125.59/125.67 o 718646509533 125.59/125.67 o 718646509532 125.59/125.67 o 718646509530 125.59/125.67 o 718646509529 125.59/125.67 o 718646509528 125.59/125.67 o 718646509527 125.59/125.67 o 712558121554 125.59/125.67 o 712558121553 125.59/125.67 o 712558121552 125.59/125.67 o 712558121551 125.59/125.67 o 706469733578 125.59/125.67 o 706469733577 125.59/125.67 o 706469733576 125.59/125.67 o 706469733575 125.59/125.67 o 700381345599 125.59/125.67 o 694292957626 125.59/125.67 o 694292957625 125.59/125.67 o 694292957624 125.59/125.67 o 694292957623 125.59/125.67 o 688204569650 125.59/125.67 o 688204569648 125.59/125.67 o 688204569647 125.59/125.67 o 682116181676 125.59/125.67 o 682116181675 125.59/125.67 o 682116181673 154.00/154.08 o 682116181672 154.00/154.08 o 682116181671 154.00/154.08 o 676027793701 154.00/154.08 o 676027793699 154.00/154.08 o 676027793698 154.00/154.08 o 676027793697 154.00/154.08 o 676027793696 154.00/154.08 o 676027793695 154.00/154.08 o 669939405722 154.00/154.08 o 669939405720 154.00/154.08 o 669939405719 154.00/154.08 o 663851017749 154.00/154.08 o 663851017748 154.00/154.08 o 663851017747 154.00/154.08 o 663851017746 154.00/154.08 o 663851017745 154.00/154.08 o 663851017744 154.00/154.08 o 663851017743 154.00/154.08 o 657762629767 154.00/154.08 o 651674241794 154.00/154.08 o 651674241793 154.00/154.08 o 651674241791 154.00/154.08 o 645585853815 154.00/154.08 o 639497465842 154.00/154.08 o 639497465841 154.00/154.08 o 639497465839 154.00/154.08 o 633409077866 154.00/154.08 o 633409077865 154.00/154.08 o 633409077863 154.00/154.08 o 627320689890 154.00/154.08 o 627320689889 154.00/154.08 o 627320689888 154.00/154.08 o 627320689887 154.00/154.08 o 621232301914 154.00/154.08 o 621232301913 154.00/154.08 o 621232301912 154.00/154.08 o 621232301911 154.00/154.08 o 615147248211 154.00/154.08 o 609058860238 154.00/154.08 o 609058860237 154.00/154.08 o 609058860236 154.00/154.08 o 609058860235 154.00/154.08 o 602970472259 154.00/154.08 o 590793696310 154.00/154.08 o 590793696309 154.00/154.08 o 590793696308 154.00/154.08 o 590793696307 154.00/154.08 o 590793696306 154.00/154.08 o 584822007998 154.00/154.08 o 584822007997 154.00/154.08 o 584818673721 154.00/154.08 o 584818673720 154.00/154.08 o 584818673719 154.00/154.08 o 584815339443 154.00/154.08 o 584815339442 154.00/154.08 o 584812005166 154.00/154.08 o 584808670893 154.00/154.08 o 584808670892 154.00/154.08 o 584808670891 154.00/154.08 o 584808670890 154.00/154.08 o 584805336614 154.00/154.08 o 578716948641 154.00/154.08 o 578713614365 154.00/154.08 o 578713614364 154.00/154.08 o 578713614363 154.00/154.08 o 578710280087 154.00/154.08 o 578706945811 154.00/154.08 o 578703611535 154.00/154.08 o 578703611534 154.00/154.08 o 572615223558 154.00/154.08 o 566526835582 154.00/154.08 o 560438447606 154.00/154.08 o 548261671654 154.00/154.08 o 548258337378 154.00/154.08 o 548255003102 154.00/154.08 o 542169949402 154.00/154.08 o 542166615126 154.00/154.08 o 536078227150 154.00/154.08 o 529989839174 154.00/154.08 o 523904785474 154.00/154.08 o 523901451198 154.00/154.08 o 517813063222 154.00/154.08 o 511724675246 154.00/154.08 o 511721340970 154.00/154.08 o 511714672418 154.00/154.08 o 505626284445 154.00/154.08 o 505626284444 154.00/154.08 o 505626284443 154.00/154.08 o 505626284442 154.00/154.08 o 499537896469 154.00/154.08 o 499537896468 154.00/154.08 o 499537896467 154.00/154.08 o 499537896466 154.00/154.08 o 493449508494 154.00/154.08 o 493449508493 154.00/154.08 o 493449508491 154.00/154.08 o 493449508490 154.00/154.08 o 487361120517 154.00/154.08 o 487361120516 154.00/154.08 o 487361120515 154.00/154.08 o 487361120514 154.00/154.08 o 481272732538 154.00/154.08 o 475184344565 154.00/154.08 o 475184344564 154.00/154.08 o 475184344563 154.00/154.08 o 475184344562 154.00/154.08 o 469099290866 154.00/154.08 o 469095956590 154.00/154.08 o 469095956589 154.00/154.08 o 469095956588 154.00/154.08 o 469095956587 154.00/154.08 o 469095956586 154.00/154.08 o 463007568610 154.00/154.08 o 456919180637 154.00/154.08 o 456919180636 154.00/154.08 o 456919180635 154.00/154.08 o 456919180634 154.00/154.08 o 450830792658 154.00/154.08 o 444742404685 154.00/154.08 o 444742404683 154.00/154.08 o 444742404682 154.00/154.08 o 438654016712 154.00/154.08 o 438654016710 154.00/154.08 o 438654016709 154.00/154.08 o 438654016708 154.00/154.08 o 438654016707 154.00/154.08 o 438654016706 154.00/154.08 o 438654016705 154.00/154.08 o 432565628732 154.00/154.08 o 432565628731 154.00/154.08 o 432565628730 154.00/154.08 o 432565628729 154.00/154.08 o 432562294456 154.00/154.08 o 432562294454 154.00/154.08 o 432562294453 154.00/154.08 o 426473906477 154.00/154.08 o 420388852780 154.00/154.08 o 420388852779 154.00/154.08 o 420388852778 154.00/154.08 o 420388852777 154.00/154.08 o 420388852776 154.00/154.08 o 414300464802 154.00/154.08 o 414300464801 154.00/154.08 o 408212076828 154.00/154.08 o 408212076827 154.00/154.08 o 408212076826 154.00/154.08 o 408212076825 154.00/154.08 o 402123688852 154.00/154.08 o 402123688850 154.00/154.08 o 402123688849 154.00/154.08 o 396035300873 154.00/154.08 o 396035300872 154.00/154.08 o 389946912899 154.00/154.08 o 389946912898 154.00/154.08 o 377770136946 154.00/154.08 o 377770136944 154.00/154.08 o 365600029544 154.00/154.08 o 347348202722 154.00/154.08 o 341273151850 154.00/154.08 o 341269817574 154.00/154.08 o 341266483298 154.00/154.08 o 335178095322 154.00/154.08 o 329089707346 154.00/154.08 o 323001319370 154.00/154.08 o 316912931394 154.00/154.08 o 310824543418 154.00/154.08 o 304736155442 154.00/154.08 o 298647767466 154.00/154.08 o 292559379490 154.00/154.08 o 286470991514 154.00/154.08 o 280382603538 154.00/154.08 o 274294215562 154.00/154.08 o 268205827586 154.00/154.08 o 262117439610 154.00/154.08 o 256029051634 154.00/154.08 o 249940663658 154.00/154.08 o 243852275682 154.00/154.08 o 237763887706 154.00/154.08 o 237763887705 154.00/154.08 o 231682168281 154.00/154.08 o 213427007181 154.00/154.08 o 201253565508 154.00/154.08 o 201253565506 154.00/154.08 o 201253565505 154.00/154.08 o 195165177529 154.00/154.08 o 189076789553 154.00/154.08 o 182988401577 154.00/154.08 o 176900013601 154.00/154.08 o 170811625625 154.00/154.08 o 164723237649 154.00/154.08 o 158634849673 154.00/154.08 o 152546461698 154.00/154.08 o 152546461697 154.00/154.08 o 134281297772 154.00/154.08 o 134281297770 154.00/154.08 o 134281297769 154.00/154.08 o 128192909796 154.00/154.08 o 122107856096 154.00/154.08 o 122104521820 154.00/154.08 o 116019468120 154.00/154.08 o 116016133844 154.00/154.08 o 116016133843 154.00/154.08 o 116016133842 154.00/154.08 o 116016133841 154.00/154.08 o 109927745865 154.00/154.08 o 109924411589 154.00/154.08 o 109924411588 154.00/154.08 o 109924411587 154.00/154.08 o 103839357887 154.00/154.08 o 103826020783 154.00/154.08 o 103822686507 154.00/154.08 o 97730964255 154.00/154.08 o 91642576279 154.00/154.08 o 91639242003 154.00/154.08 o 91639242002 154.00/154.08 o 91635907729 154.00/154.08 o 91635907728 154.00/154.08 o 91635907727 154.00/154.08 o 91635907726 154.00/154.08 o 91635907725 154.00/154.08 o 91635907724 154.00/154.08 o 91629239172 154.00/154.08 o 91625904896 154.00/154.08 o 91619236344 154.00/154.08 o 91615902068 154.00/154.08 o 85527514091 154.00/154.08 o 67262350166 154.00/154.08 o 67262350165 154.00/154.08 o 67262350164 154.00/154.08 o 67262350163 154.00/154.08 o 61173962187 154.00/154.08 o 61170627912 154.00/154.08 o 61167293637 154.00/154.08 o 61167293636 154.00/154.08 o 61163959365 154.00/154.08 o 61163959364 154.00/154.08 o 61163959363 154.00/154.08 o 61163959362 154.00/154.08 o 61163959361 154.00/154.08 o 61163959360 154.00/154.08 o 61163959359 154.00/154.08 o 61163959358 154.00/154.08 o 61160625084 154.00/154.08 o 61160625083 154.00/154.08 o 61160625082 154.00/154.08 o 48983849130 154.00/154.08 o 48983849129 154.00/154.08 o 48983849128 154.00/154.08 o 48980514856 154.00/154.08 o 48980514855 154.00/154.08 o 48980514854 154.00/154.08 o 48980514853 154.00/154.08 o 48980514852 154.00/154.08 o 48977180579 154.00/154.08 o 48977180578 154.00/154.08 o 48977180577 154.00/154.08 o 48977180576 154.00/154.08 o 48973846301 154.00/154.08 o 48973846300 154.00/154.08 o 48973846299 154.00/154.08 o 48970512024 154.00/154.08 o 48970512023 154.00/154.08 o 48970512022 154.00/154.08 o 48970512021 154.00/154.08 o 48970512020 154.00/154.08 o 48963843468 154.00/154.08 o 48963843467 154.00/154.08 o 48960509193 154.00/154.08 o 48960509192 154.00/154.08 o 48960509191 154.00/154.08 o 48957174917 154.00/154.08 o 48957174916 154.00/154.08 o 48957174915 154.00/154.08 o 48953840641 154.00/154.08 o 48953840640 154.00/154.08 o 48953840639 154.00/154.08 o 48950506365 240.10/240.14 o 48950506364 240.10/240.14 o 48950506363 240.10/240.14 o 48947172087 240.10/240.14 o 48943837817 240.10/240.14 o 48943837816 240.10/240.14 o 48943837815 240.10/240.14 o 48943837814 240.10/240.14 o 48943837813 240.10/240.14 o 48943837812 240.10/240.14 o 48943837811 240.10/240.14 o 48943837810 240.10/240.14 o 48940503535 240.10/240.14 o 48940503534 240.10/240.14 o 48940503533 240.10/240.14 o 48937169257 240.10/240.14 o 48937169256 240.10/240.14 o 48933834986 240.10/240.14 o 48933834985 240.10/240.14 o 48933834984 240.10/240.14 o 48933834983 240.10/240.14 o 48933834982 240.10/240.14 o 48933834981 240.10/240.14 o 48933834980 240.10/240.14 o 48930500703 240.10/240.14 o 48927166432 240.10/240.14 o 48923832156 240.10/240.14 o 48923832155 240.10/240.14 o 48923832154 240.10/240.14 o 48923832153 240.10/240.14 o 48923832152 240.10/240.14 o 48923832151 240.10/240.14 o 42838778453 240.10/240.14 o 42838778452 240.10/240.14 o 42835444180 240.10/240.14 o 42835444179 240.10/240.14 o 42835444178 240.10/240.14 o 42835444177 240.10/240.14 o 42835444176 240.10/240.14 o 42835444175 240.10/240.14 o 36747056199 240.10/240.14 o 36747056198 240.10/240.14 o 36743721928 240.10/240.14 o 36743721927 240.10/240.14 o 36743721926 240.10/240.14 o 36743721925 240.10/240.14 o 36743721924 240.10/240.14 o 36743721923 240.10/240.14 o 36743721922 240.10/240.14 o 36743721921 240.10/240.14 o 36740387649 240.10/240.14 o 36740387648 240.10/240.14 o 36740387647 240.10/240.14 o 36740387646 240.10/240.14 o 36740387645 240.10/240.14 o 36737053370 240.10/240.14 o 36737053369 240.10/240.14 o 36737053368 240.10/240.14 o 36733719096 240.10/240.14 o 36733719095 240.10/240.14 o 36733719094 240.10/240.14 o 36733719093 240.10/240.14 o 36733719092 240.10/240.14 o 36733719091 240.10/240.14 o 36730384822 240.10/240.14 o 36730384820 240.10/240.14 o 36730384819 240.10/240.14 o 36730384818 240.10/240.14 o 36730384817 240.10/240.14 o 36730384816 240.10/240.14 o 36727050545 240.10/240.14 o 36727050544 240.10/240.14 o 36727050543 240.10/240.14 o 36727050542 240.10/240.14 o 36727050541 240.10/240.14 o 36727050540 240.10/240.14 o 36727050539 240.10/240.14 o 36723716264 240.10/240.14 o 36720381994 240.10/240.14 o 36720381993 240.10/240.14 o 36720381991 240.10/240.14 o 36720381990 240.10/240.14 o 36720381989 240.10/240.14 o 36720381988 240.10/240.14 o 36720381987 240.10/240.14 o 36717047718 240.10/240.14 o 36717047717 240.10/240.14 o 36717047716 240.10/240.14 o 36717047715 240.10/240.14 o 36717047714 240.10/240.14 o 36717047713 240.10/240.14 o 36717047712 240.10/240.14 o 36713713438 240.10/240.14 o 36713713437 240.10/240.14 o 36713713436 240.10/240.14 o 36713713435 240.10/240.14 o 36710379160 240.10/240.14 o 36710379159 240.10/240.14 o 36707044883 240.10/240.14 o 36703710608 240.10/240.14 o 36703710607 240.10/240.14 o 36703710606 240.10/240.14 o 36703710605 240.10/240.14 o 36703710604 240.10/240.14 o 36703710603 240.10/240.14 o 36700376328 240.10/240.14 o 36700376327 240.10/240.14 o 36700376326 240.10/240.14 o 36700376325 240.10/240.14 o 36700376324 240.10/240.14 o 36700376323 240.10/240.14 o 36700376322 240.10/240.14 o 36700376321 240.10/240.14 o 36697042047 240.10/240.14 o 36697042046 240.10/240.14 o 36697042045 240.10/240.14 o 36693707773 240.10/240.14 o 36693707772 240.10/240.14 o 36693707771 240.10/240.14 o 36693707770 240.10/240.14 o 36693707769 240.10/240.14 o 36693707768 240.10/240.14 o 36693707767 240.10/240.14 o 36693707766 240.10/240.14 o 36693707765 240.10/240.14 o 36693707763 240.10/240.14 o 36690373491 240.10/240.14 o 36690373490 240.10/240.14 o 36690373489 240.10/240.14 o 36690373488 240.10/240.14 o 36690373487 240.10/240.14 o 36690373486 240.10/240.14 o 36690373485 240.10/240.14 o 36690373484 240.10/240.14 o 36690373483 240.10/240.14 o 36690373482 240.10/240.14 o 36690373481 240.10/240.14 o 36690373480 240.10/240.14 o 36690373479 240.10/240.14 o 36690373478 240.10/240.14 o 36690373477 240.10/240.14 o 36690373476 240.10/240.14 o 36690373475 240.10/240.14 o 36690373474 240.10/240.14 o 36690373473 240.10/240.14 o 36690373472 240.10/240.14 o 36690373471 240.10/240.14 o 36690373470 240.10/240.14 o 36687039195 240.10/240.14 o 36687039194 240.10/240.14 o 36687039193 240.10/240.14 o 36687039192 240.10/240.14 o 36687039191 240.10/240.14 o 36687039190 240.10/240.14 o 36687039189 240.10/240.14 o 36687039188 240.10/240.14 o 36687039187 240.10/240.14 o 36687039186 240.10/240.14 o 36687039185 240.10/240.14 o 36687039184 240.10/240.14 o 36683704909 240.10/240.14 o 36680370633 240.10/240.14 o 36680370632 240.10/240.14 o 30591982655 240.10/240.14 o 30591982654 240.10/240.14 o 30591982653 240.10/240.14 o 24510263230 240.10/240.14 o 24510263229 240.10/240.14 o 24510263228 240.10/240.14 o 24506928952 240.10/240.14 o 24503594677 240.10/240.14 o 24503594676 240.10/240.14 o 24503594675 240.10/240.14 o 18415206699 240.10/240.14 o 18415206698 240.10/240.14 o 18411872424 240.10/240.14 o 18411872423 240.10/240.14 o 18408538147 240.10/240.14 o 18408538146 240.10/240.14 o 18405203871 240.10/240.14 o 18401869597 240.10/240.14 o 18401869596 240.10/240.14 o 18401869595 240.10/240.14 o 18401869594 240.10/240.14 o 18398535318 240.10/240.14 o 18398535317 240.10/240.14 o 18395201043 240.10/240.14 o 18395201042 240.10/240.14 o 18395201041 240.10/240.14 o 18391866767 240.10/240.14 o 18388532494 240.10/240.14 o 18388532493 240.10/240.14 o 18388532492 240.10/240.14 o 18388532491 240.10/240.14 o 18385198218 240.10/240.14 o 18385198217 240.10/240.14 o 18385198216 240.10/240.14 o 18385198215 240.10/240.14 o 18378529664 240.10/240.14 o 18378529663 240.10/240.14 o 18378529662 240.10/240.14 o 18378529661 240.10/240.14 o 18375195385 240.10/240.14 o 18375195384 240.10/240.14 o 18375195383 240.10/240.14 o 18371861113 240.10/240.14 o 18371861112 240.10/240.14 o 18371861111 240.10/240.14 o 18371861110 240.10/240.14 o 18371861109 240.10/240.14 o 18371861108 240.10/240.14 o 18371861107 240.10/240.14 o 18368526834 240.10/240.14 o 18368526833 240.10/240.14 o 18368526832 240.10/240.14 o 18368526831 240.10/240.14 o 18365192561 240.10/240.14 o 18365192560 240.10/240.14 o 18365192559 240.10/240.14 o 18365192558 240.10/240.14 o 18365192557 240.10/240.14 o 18365192556 240.10/240.14 o 18365192555 240.10/240.14 o 18361858280 240.10/240.14 o 18361858279 240.10/240.14 o 18358524004 240.10/240.14 o 18355189730 240.10/240.14 o 18355189728 240.10/240.14 o 18355189727 240.10/240.14 o 12266801753 240.10/240.14 o 12260133201 240.10/240.14 o 12253464649 240.10/240.14 o 12250130373 240.10/240.14 o 76688697 240.10/240.14 o 76688696 240.10/240.14 o 76688695 240.10/240.14 o 76688694 240.10/240.14 o 70020142 240.10/240.14 o 63351592 240.10/240.14 o 63351591 240.10/240.14 o 63351590 240.10/240.14 o 63351589 240.10/240.14 o 63351588 240.10/240.14 o 60017315 240.10/240.14 o 56683039 240.10/240.14 o 56683038 240.10/240.14 o 56683037 240.10/240.14 o 56683036 240.10/240.14 o 56683034 240.10/240.14 o 50014482 240.10/240.14 o 46680208 240.10/240.14 o 46680207 240.10/240.14 o 46680206 240.10/240.14 o 46680205 240.10/240.14 o 43345928 240.10/240.14 o 43345927 240.10/240.14 o 43345926 240.10/240.14 o 43345925 240.10/240.14 o 26674547 240.10/240.14 o 26674546 240.10/240.14 o 26674545 240.10/240.14 o 3334614 240.10/240.14 o 3334613 240.10/240.14 s OPTIMUM FOUND 240.10/240.14 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
OK 3334613
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3498007-1307936460/watcher-3498007-1307936460 -o /var/tmp/evaluation-result-3498007-1307936460/solver-3498007-1307936460 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3498007-1307936460.opb --verbosity=0 --format=opb --randomseed=1111668979 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 1.40 1.74 2/177 6197 /proc/meminfo: memFree=7634392/32950928 swapFree=67055948/67111528 [pid=6197] ppid=6195 vsize=7896 CPUtime=0 cores=0,2,4,6 /proc/6197/stat : 6197 (minisatid-gmp) R 6195 6197 2067 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 1 0 905245644 8085504 370 33554432000 4194304 6957856 140735450349568 18446744073709551615 4246836 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/6197/statm: 1974 370 227 675 0 1290 0 [startup+0.00619393 s] /proc/loadavg: 0.93 1.40 1.74 2/177 6197 /proc/meminfo: memFree=7634392/32950928 swapFree=67055948/67111528 [pid=6197] ppid=6195 vsize=7896 CPUtime=0 cores=0,2,4,6 /proc/6197/stat : 6197 (minisatid-gmp) R 6195 6197 2067 0 -1 4202496 419 0 0 0 0 0 0 0 25 0 1 0 905245644 8085504 372 33554432000 4194304 6957856 140735450349568 18446744073709551615 5711128 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/6197/statm: 1974 372 227 675 0 1290 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 7896 [startup+0.100178 s] /proc/loadavg: 0.93 1.40 1.74 2/177 6197 /proc/meminfo: memFree=7634392/32950928 swapFree=67055948/67111528 [pid=6197] ppid=6195 vsize=16816 CPUtime=0.09 cores=0,2,4,6 /proc/6197/stat : 6197 (minisatid-gmp) R 6195 6197 2067 0 -1 4202496 2720 0 0 0 9 0 0 0 25 0 1 0 905245644 17219584 2619 33554432000 4194304 6957856 140735450349568 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/6197/statm: 4204 2620 251 675 0 3520 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16816 [startup+0.300171 s] /proc/loadavg: 0.93 1.40 1.74 2/177 6197 /proc/meminfo: memFree=7634392/32950928 swapFree=67055948/67111528 [pid=6197] ppid=6195 vsize=36408 CPUtime=0.29 cores=0,2,4,6 /proc/6197/stat : 6197 (minisatid-gmp) R 6195 6197 2067 0 -1 4202496 7969 0 0 0 29 0 0 0 25 0 1 0 905245644 37281792 7518 33554432000 4194304 6957856 140735450349568 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/6197/statm: 9102 7519 266 675 0 8418 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36408 [startup+0.701112 s] /proc/loadavg: 0.93 1.40 1.74 2/177 6197 /proc/meminfo: memFree=7634392/32950928 swapFree=67055948/67111528 [pid=6197] ppid=6195 vsize=60576 CPUtime=0.69 cores=0,2,4,6 /proc/6197/stat : 6197 (minisatid-gmp) R 6195 6197 2067 0 -1 4202496 13994 0 0 0 68 1 0 0 25 0 1 0 905245644 62029824 13476 33554432000 4194304 6957856 140735450349568 18446744073709551615 5314074 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/6197/statm: 15144 13476 272 675 0 14460 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 60576 [startup+1.50091 s] /proc/loadavg: 0.93 1.40 1.74 3/178 6198 /proc/meminfo: memFree=7544508/32950928 swapFree=67055948/67111528 [pid=6197] ppid=6195 vsize=56224 CPUtime=1.49 cores=0,2,4,6 /proc/6197/stat : 6197 (minisatid-gmp) R 6195 6197 2067 0 -1 4202496 14024 0 0 0 148 1 0 0 25 0 1 0 905245644 57573376 13502 33554432000 4194304 6957856 140735450349568 18446744073709551615 5932670 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/6197/statm: 14056 13502 284 675 0 13372 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 56224 [startup+3.10071 s] /proc/loadavg: 1.02 1.41 1.75 3/178 6198 /proc/meminfo: memFree=7544140/32950928 swapFree=67055948/67111528 [pid=6197] ppid=6195 vsize=56224 CPUtime=3.09 cores=0,2,4,6 /proc/6197/stat : 6197 (minisatid-gmp) R 6195 6197 2067 0 -1 4202496 14032 0 0 0 308 1 0 0 25 0 1 0 905245644 57573376 13510 33554432000 4194304 6957856 140735450349568 18446744073709551615 5917986 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/6197/statm: 14056 13510 284 675 0 13372 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 56224 [startup+6.30099 s] /proc/loadavg: 1.02 1.41 1.75 3/178 6198 /proc/meminfo: memFree=7543672/32950928 swapFree=67055948/67111528 [pid=6197] ppid=6195 vsize=56224 CPUtime=6.29 cores=0,2,4,6 /proc/6197/stat : 6197 (minisatid-gmp) R 6195 6197 2067 0 -1 4202496 14056 0 0 0 628 1 0 0 25 0 1 0 905245644 57573376 13534 33554432000 4194304 6957856 140735450349568 18446744073709551615 5922026 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/6197/statm: 14056 13534 284 675 0 13372 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 56224 [startup+12.7008 s] /proc/loadavg: 1.17 1.43 1.75 3/178 6198 /proc/meminfo: memFree=7541140/32950928 swapFree=67055948/67111528 [pid=6197] ppid=6195 vsize=56704 CPUtime=12.69 cores=0,2,4,6 /proc/6197/stat : 6197 (minisatid-gmp) R 6195 6197 2067 0 -1 4202496 14169 0 0 0 1268 1 0 0 25 0 1 0 905245644 58064896 13647 33554432000 4194304 6957856 140735450349568 18446744073709551615 5922137 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/6197/statm: 14176 13647 284 675 0 13492 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 56704 [startup+25.5004 s] /proc/loadavg: 1.29 1.45 1.75 3/178 6198 /proc/meminfo: memFree=7535316/32950928 swapFree=67055948/67111528 [pid=6197] ppid=6195 vsize=59684 CPUtime=25.49 cores=0,2,4,6 /proc/6197/stat : 6197 (minisatid-gmp) R 6195 6197 2067 0 -1 4202496 14855 0 0 0 2548 1 0 0 25 0 1 0 905245644 61116416 14333 33554432000 4194304 6957856 140735450349568 18446744073709551615 4838361 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/6197/statm: 14921 14333 284 675 0 14237 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 59684 [startup+51.1006 s] /proc/loadavg: 1.53 1.49 1.75 3/178 6199 /proc/meminfo: memFree=7526212/32950928 swapFree=67055948/67111528 [pid=6197] ppid=6195 vsize=64136 CPUtime=51.09 cores=0,2,4,6 /proc/6197/stat : 6197 (minisatid-gmp) R 6195 6197 2067 0 -1 4202496 15995 0 0 0 5108 1 0 0 25 0 1 0 905245644 65675264 15472 33554432000 4194304 6957856 140735450349568 18446744073709551615 5918037 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/6197/statm: 16034 15472 284 675 0 15350 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 64136 [startup+102.307 s] /proc/loadavg: 1.81 1.57 1.77 3/178 6200 /proc/meminfo: memFree=7501004/32950928 swapFree=67055948/67111528 [pid=6197] ppid=6195 vsize=73576 CPUtime=102.3 cores=0,2,4,6 /proc/6197/stat : 6197 (minisatid-gmp) R 6195 6197 2067 0 -1 4202496 18315 0 0 0 10228 2 0 0 25 0 1 0 905245644 75341824 17791 33554432000 4194304 6957856 140735450349568 18446744073709551615 5922131 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/6197/statm: 18394 17791 284 675 0 17710 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 73576 [startup+162.3 s] /proc/loadavg: 1.92 1.64 1.78 3/178 6240 /proc/meminfo: memFree=7230920/32950928 swapFree=67055948/67111528 [pid=6197] ppid=6195 vsize=95036 CPUtime=162.3 cores=0,2,4,6 /proc/6197/stat : 6197 (minisatid-gmp) R 6195 6197 2067 0 -1 4202496 26988 0 0 0 16227 3 0 0 25 0 1 0 905245644 97316864 23229 33554432000 4194304 6957856 140735450349568 18446744073709551615 5311730 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/6197/statm: 23759 23229 286 675 0 23075 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 95036 [startup+222.301 s] /proc/loadavg: 1.97 1.71 1.79 3/178 6242 /proc/meminfo: memFree=7204972/32950928 swapFree=67055948/67111528 [pid=6197] ppid=6195 vsize=115860 CPUtime=222.3 cores=0,2,4,6 /proc/6197/stat : 6197 (minisatid-gmp) R 6195 6197 2067 0 -1 4202496 36139 0 0 0 22226 4 0 0 25 0 1 0 905245644 118640640 28408 33554432000 4194304 6957856 140735450349568 18446744073709551615 5934028 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/6197/statm: 28965 28408 286 675 0 28281 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 115860 Solver just ended. Dumping a history of the last processes samples [startup+230.3 s] /proc/loadavg: 1.97 1.71 1.79 3/178 6242 /proc/meminfo: memFree=7204344/32950928 swapFree=67055948/67111528 [pid=6197] ppid=6195 vsize=115860 CPUtime=230.3 cores=0,2,4,6 /proc/6197/stat : 6197 (minisatid-gmp) R 6195 6197 2067 0 -1 4202496 36139 0 0 0 23026 4 0 0 25 0 1 0 905245644 118640640 28408 33554432000 4194304 6957856 140735450349568 18446744073709551615 5922052 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/6197/statm: 28965 28408 286 675 0 28281 0 Current children cumulated CPU time (s) 230.3 Current children cumulated vsize (KiB) 115860 [startup+236.701 s] /proc/loadavg: 1.98 1.72 1.79 3/178 6242 /proc/meminfo: memFree=7204092/32950928 swapFree=67055948/67111528 [pid=6197] ppid=6195 vsize=115860 CPUtime=236.7 cores=0,2,4,6 /proc/6197/stat : 6197 (minisatid-gmp) R 6195 6197 2067 0 -1 4202496 36139 0 0 0 23666 4 0 0 25 0 1 0 905245644 118640640 28408 33554432000 4194304 6957856 140735450349568 18446744073709551615 4869830 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/6197/statm: 28965 28408 286 675 0 28281 0 Current children cumulated CPU time (s) 236.7 Current children cumulated vsize (KiB) 115860 [startup+238.301 s] /proc/loadavg: 1.98 1.72 1.79 3/178 6242 /proc/meminfo: memFree=7203968/32950928 swapFree=67055948/67111528 [pid=6197] ppid=6195 vsize=115860 CPUtime=238.3 cores=0,2,4,6 /proc/6197/stat : 6197 (minisatid-gmp) R 6195 6197 2067 0 -1 4202496 36139 0 0 0 23826 4 0 0 25 0 1 0 905245644 118640640 28408 33554432000 4194304 6957856 140735450349568 18446744073709551615 5922126 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/6197/statm: 28965 28408 286 675 0 28281 0 Current children cumulated CPU time (s) 238.3 Current children cumulated vsize (KiB) 115860 [startup+239.101 s] /proc/loadavg: 1.98 1.72 1.79 3/178 6242 /proc/meminfo: memFree=7203836/32950928 swapFree=67055948/67111528 [pid=6197] ppid=6195 vsize=92832 CPUtime=239.1 cores=0,2,4,6 /proc/6197/stat : 6197 (minisatid-gmp) R 6195 6197 2067 0 -1 4202496 36139 0 0 0 23906 4 0 0 25 0 1 0 905245644 95059968 22710 33554432000 4194304 6957856 140735450349568 18446744073709551615 5928997 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/6197/statm: 23208 22710 286 675 0 22524 0 Current children cumulated CPU time (s) 239.1 Current children cumulated vsize (KiB) 92832 [startup+239.901 s] /proc/loadavg: 1.98 1.72 1.79 4/178 6242 /proc/meminfo: memFree=7225784/32950928 swapFree=67055948/67111528 [pid=6197] ppid=6195 vsize=93456 CPUtime=239.9 cores=0,2,4,6 /proc/6197/stat : 6197 (minisatid-gmp) R 6195 6197 2067 0 -1 4202496 36215 0 0 0 23986 4 0 0 25 0 1 0 905245644 95698944 22786 33554432000 4194304 6957856 140735450349568 18446744073709551615 5934082 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/6197/statm: 23364 22786 286 675 0 22680 0 Current children cumulated CPU time (s) 239.9 Current children cumulated vsize (KiB) 93456 [startup+240.101 s] /proc/loadavg: 1.98 1.72 1.79 4/178 6242 /proc/meminfo: memFree=7225784/32950928 swapFree=67055948/67111528 [pid=6197] ppid=6195 vsize=93456 CPUtime=240.1 cores=0,2,4,6 /proc/6197/stat : 6197 (minisatid-gmp) R 6195 6197 2067 0 -1 4202496 36215 0 0 0 24006 4 0 0 25 0 1 0 905245644 95698944 22786 33554432000 4194304 6957856 140735450349568 18446744073709551615 4871286 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/6197/statm: 23364 22786 286 675 0 22680 0 Current children cumulated CPU time (s) 240.1 Current children cumulated vsize (KiB) 93456 Child status: 10 Real time (s): 240.148 CPU time (s): 240.156 CPU user time (s): 240.103 CPU system time (s): 0.052991 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 118024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 240.103 system time used= 0.052991 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36218 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 190 runsolver used 0.364944 second user time and 0.735888 second system time The end
Begin job on node127 at 2011-06-13 05:41:00 IDJOB=3498007 IDBENCH=72344 IDSOLVER=1990 FILE ID=node127/3498007-1307936460 RUNJOBID= node127-1307936458-6093 PBS_JOBID= 13559652 Free space on /var/tmp= 2888 MiB SOLVER NAME= MinisatID 2.5.2-gmp BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.smallist/normalized-rand56b853.cudf.trendy.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3498007-1307936460/watcher-3498007-1307936460 -o /var/tmp/evaluation-result-3498007-1307936460/solver-3498007-1307936460 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3498007-1307936460.opb --verbosity=0 --format=opb --randomseed=1111668979 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 10f7f7bafce3fb10bb2a62df82f75c33 RANDOM SEED=1111668979 node127.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.823 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 7635440 kB Buffers: 100992 kB Cached: 24376480 kB SwapCached: 9120 kB Active: 8999796 kB Inactive: 15503068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 7635440 kB SwapTotal: 67111528 kB SwapFree: 67055948 kB Dirty: 7192 kB Writeback: 0 kB AnonPages: 22648 kB Mapped: 13452 kB Slab: 749212 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 218384 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2884 MiB End job on node127 at 2011-06-13 05:45:00