0.00/0.00 c MoUsSaka vegetarian
9.79/9.86
9.79/9.86 s UNSATISFIABLE
510.61/510.66 c Core is minimal
510.61/510.66
510.61/510.66 v 56273 206280 109886 143513 8254 49427 172139 155335 139041 25451 105294 159569 80359 243695 193144 31072 186376 202388 68807 102257 45132 202722 94874 77871 41459 119221 176067 239815 149120 43559 198710 57069 151747 103493 159757 174148 141372 60057 20956 6714 85810 93588 178659 65244 104670 107835 224117 61168 66668 11147 209751 122967 108481 141869 219437 44735 122154 139995 78103 166129 153495 178670 40616 238855 96886 110247 58744 7090 142872 177036 118198 79844 225250 149138 90200 212468 6617 68858 204472 36672 42403 109425 100303 177565 32887 125872 46801 164162 47195 178754 39517 237899 231746 52355 65694 161622 17331 137961 100126 85724 101216 218424 55471 71532 230827 119244 177013 106387 193013 30037 203277 70181 237629 83919 71923 30682 31362 234372 96381 46615 239782 171098 175616 165587 140625 199666 119940 37929 242123 241238 68839 222139 201788 189531 144362 29759 97900 197650 227858 151333 175780 6441 96924 234285 8620 6495 4124 151382 117809 124433 77148 11178 56259 220085 106203 242412 131525 215034 212701 166498 25581 157844 71190 209848 52698 36956 188939 216193 131459 246595 220536 201603 107887 11427 15280 498 196026 68507 44933 81046 165547 134127 174679 104294 87978 223386 33213 191665 72885 129069 234015 131348 206169 141156 151565 178549 7975 140162 196914 169302 169161 214192 56260 46551 72608 74667 135294 121502 62433 65545 30238 93209 22054 43977 162698 168896 1849 58849 233762 116835 122515 153259 99624 139059 146668 118088 129827 28207 98986 38868 124852 109015 232506 228665 90549 213314 90362 213355 244168 49693 130767 218163 12975 42479 50682 175645 55403 120350 114834 61428 224342 188992 34321 226648 66385 165584 214147 67248 190937 35447 61580 167894 80486 148300 35403 14946 206918 226136 195679 90419 122955 184512 101120 128586 153797 70929 240142 62342 77976 87950 243594 139133 145899 181889 97755 169464 41543 40096 143934 220836 239870 130980 5789 21228 133044 43916 111717 93257 172341 248281 53392 127796 54696 137464 193301 234893 197263 73131 119205 73232 124873 28433 119614 80888 13172 113451 167922 34206 208269 82035 39624 215556 31501 14912 55853 89272 85483 217170 171878 36943 137934 225075 73984 179034 189251 68754 85539 206620 40565 47903 205681 29771 142566 9465 129662 22116 55244 60169 109024 131776 144240 120493 28921 150225 223397 183447 162999 244821 194444 245637 178680 125965 177524 36969 149816 98414 22382 209170 99626 219641 130207 55890 31503 18475 114548 123986 94951 100125 15150 41203 117172 214821 206296 64551 42728 113492 128686 61596 92264 53601 102500 210911 201310 53186 126316 54454 70894 146672 39161 12073 70795 111759 70956 154658 81716 161006 23853 15077 198092 177473 76544 153248 18356 225509 181048 153661 100897 137800 105647 159952 186427 117851 3628 73461 82312 242409 115240 31965 84348 236957 7993 121200 2130 29449 243686 106378 817 126983 103887 226497 194271 17548 233218 178870 179767 3479 123827 55065 90851 114754 166328 19169 233256 202005 128775 14730 240369 51512 151086 197719 183017 231720 52788 51157 221261 62360 179566 65748 228337 77074 13730 114582 168314 39395 113047 169014 107981 246370 115557 62718 62528 73153 176913 113373 155653 177708 215790 64600 161712 27017 63702 240729 80645 139078 128382 210882 228149 144125 133021 222935 194574 167006 150918 165582 92782 100427 75927 47901 20155 109681 77553 215330 16233 174659 26105 186007 22265 18888 116133 62799 239668 82556 92870 85491 179440 7491 2881 36569 134985 1715 131217 123540 35730 77216 76770 124164 169874 64935 33003 170350 163703 145430 233245 53425 8533 176004 171803 47853 88633 177097 202846 50800 183208 220442 165617 9934 179272 55110 232344 205294 211063 229461 56711 63375 105858 90597 77679 195802 17647 74690 18116 199690 93619 103194 185794 34103 79931 155618 148993 124673 8737 87668 77817 104222 54775 49679 132287 177128 169144 85098 51090 81204 13094 138449 118108 147735 90660 87174 220260 192941 132384 213586 202319 197967 44114 138957 154426 70162 178373 236317 224319 159989 68007 210367 22830 179968 16486 20419 76094 238844 170901 183698 163908 176843 202332 166790 151608 142858 160986 197540 58637 2092 8573 9770 159209 93107 185529 6642 208720 126992 44275 39860 140163 12513 154737 151715 170115 142651 153820 231651 135614 129453 122110 64393 159946 190254 42021 171272 238990 190183 228240 76157 708 66558 201151 93404 24691 189406 215932 206067 121252 10993 129663 186778 235440 38144 88447 186267 57265 240635 222235 190839 39771 217779 169283 67884 149862 122672 150786 97579 75292 102319 104269 151206 27947 4847 62115 81471 83669 42108 81553 77303 115643 56078 86395 226924 4698 180470 237080 43941 148013 109709 73489 241195 109843 139438 135657 196892 99819 86843 129960 227543 12309 208150 94310 91668 136975 159499 99871 22322 164181 126066 230544 158088 156515 60920 245818 98020 147715 48098 82148 119615 32676 21554 6207 183326 75307 167354 65823 37679 226131 117945 135365 207325 141925 96028 90166 206013 148429 16941 31155 224911 190244 80048 23238 140689 45648 146710 54095 22156 37306 35137 73931 190734 18827 151760 185386 167606 202646 244182 114302 55640 39594 193882 135217 160271 36959 181463 221025 176901 217379 127044 198546 54779 57475 170513 175225 6506 98074 232190 224801 39669 5352 192567 229417 49517 192711 94931 142461 40138 52915 190388 58995 11321 179969 196096 97207 41474 49006 128263 223115 71887 117693 80668 40359 234449 96679 247580 29308 146371 101168 40251 34668 198864 187113 193617 234203 5727 41722 132316 166119 11619 234927 147483 182143 53187 97589 227358 120686 142871 208847 61227 104959 95750 205195 166821 127648 7099 976 41832 136219 166847 218715 18318 224987 183657 186584 51903 94229 116681 211430 148251 146826 9930 21388 47565 43023 84551 240809 40434 54980 103351 99607 24229 162310 137964 177047 147334 43038 87300 62404 154066 172654 139628 160324 149951 111136 156687 46723 240170 234832 148452 160719 166825 201179 54774 213111 186653 238341 16596 205419 222815 43988 178258 93842 78469 207425 79117 129185 241986 12473 130508 152440 38950 161458 130308 40327 69176 201400 89817 233780 132521 91714 201523 234235 106361 5987 218310 113205 108397 98426 42915 17878 67575 106294 171643 199583 97948 115770 135465 10623 196848 161668 25439 12906 218134 88519 204930 184284 114258 173029 166090 80176 199731 58791 143771 197448 78434 11384 158376 124204 88776 18818 211932 144449 210779 16944 112148 27018 152279 187981 74489 153210 169274 200909 189197 64088 228519 243202 213845 63153 26091 22933 44939 104036 131710 157627 75364 100700 15018 117919 195042 119807 131814 244902 20620 43260 36273 135897 243584 231985 207145 98150 61535 94964 159619 213271 171236 103405 81167 14598 100397 203429 166042 239342 85428 28256 221284 181716 52952 17673 234646 142880 210463 80682 156303 11729 4261 53503 73723 92475 108239 201173 7092 108084 140697 48812 234343 80174 191725 105739 102873 125868 1712 19662 196754 19875 208967 44461 160794 163072 195676 231458 175779 2314 179439 10711 18053 268 52592 105256 224163 175239 134354 208430 84951 135354 45208 213819 144032 88537 167767 158803 200575 17522 120845 213125 74020 199862 225206 5628 229239 131752 242450 174599 106050 48813 215969 44144 39614 245848 208082 9472 40781 144058 167131 95754 109962 185583 149778 61306 222158 52610 245780 200780 89420 84971 181423 17980 216581 152654 19001 125932 98159 154279 68091 152272 124738 51413 53909 17950 207808 129580 187069 204466 215881 25529 241152 66249 168599 128008 62110 203220 163058 141707 119669 85258 21386 240645 227280 117182 37977 108141 67983 176470 187710 106360 33167 211326 153928 71436 21136 63468 165925 106605 84040 69045 41815 98432 91562 245976 20080 37148 129867 2979 2943 207053 218595 231337 183841 127772 179 40664 50893 247371 18210 80325 62056 186594 143355 36167 49822 80664 225067 146590 225026 75929 246554 169672 130295 15871 201443 91031 236696 197818 158688 116938 123687 3983 67226 238365 220664 43083 68534 1969 172207 160740 140098 51674 26807 200742 66740 12500 167700 222412 7799 231470 18962 188483 139176 117058 138239 15572 156327 110543 138782 168055 31187 59306 23243 185014 69763 51796 205486 64736 162567 16234 226111 78002 34152 1154 8454 63651 134121 185022 100011 146035 136546 66030 40856 117232 107066 169592 246031 23301 54226 77079 231636 241636 169031 46986 240295 234135 13639 128569 31015 68869 34762 195002 3901 27707 146840 134821 6389 117820 222850 107918 230396 22739 71577 3541 147635 70006 243602 55321 25900 239826 240029 45945 116157 58010 42692 220038 224457 202365 213738 141337 59892 117728 204067 9636 92451 218586 138116 120226 208611 238975 89791 196266 174000 776 39602 164494 47146 240358 45378 1809 236300 189193 56619 40603 74776 101631 202504 148064 218640 238853 128552 124150 234046 61323 141767 234926 55900 167749 157799 237571 39788 217646 173277 38921 99939 149302 223288 105981 107362 159795 120074 132094 165904 63534 219048 238169 51860 54089 39127 219002 76396 213657 79096 51506 121886 118738 16485 219999 79256 240916 225091 199246 100598 155997 120105 177102 135355 94622 123491 115994 169921 221010 217971 27394 223669 35814 29140 12532 46393 22994 23049 27827 199112 180259 148710 156333 26734 137518 43854 244946 215604 190994 23832 83855 186817 197291 130182 158592 51113 168943 205673 77048 53900 242317 89317 60268 248483 149363 25470 147834 204303 117801 74476 247640 178282 37837 31388 176723 212032 2794 173722 212626 171214 224092 45850 94054 114912 43958 46289 133144 145691 67089 112648 149836 163293 15959 144261 24276 121575 39786 217509 99794 237141 38450 163732 46345 109505 157515 128196 199510 146834 30451 205792 8530 226518 110253 93757 243537 244388 84414 155809 759 64092 160890 22460 37819 94623 82333 243457 181400 55455 147042 76680 68411 82647 177004 113342 101290 233519 102910 171576 206351 106069 50027 25433 25647 181528 151025 108315 177790 244354 157280 106281 9422 126531 217728 189866 75426 133464 201994 181559 175521 193693 202737 220286 85824 213685 218989 25635 11343 47034 56979 35482 63462 38922 37968 210451 120706 219363 60448 132016 126700 22748 198597 53416 128911 7505 137686 102769 169059 48163 169526 182763 179267 92923 5854 131136 95450 235863 245757 158873 76274 54318 96671 201329 144531 50185 207427 149735 124912 93108 123080 138910 220921 195526 79352 82927 44059 162601 130527 204094 112247 207354 231783 240489 52459 131618 221269 202141 231897 196536 52798 944 30164 25638 162312 232458 206489 225776 145382 75635 227215 58743 174071 96148 101973 245230 103672 107378 120399 66199 21708 63424 177846 239700 25646 229452 102193 121555 136901 147444 97725 221191 109312 190757 124630 224374 26010 247638 65659 184767 206666 38267 96078 190198 29534 68846 25168 204196 33591 128567 43080 110242 189368 61570 26591 101642 80678 179814 208573 109265 149898 11278 4164 216855 115310 134775 241879 88239 86398 239192 229069 94179 182732 93239 236819 245509 222505 189883 210512 150835 246464 241887 66852 96074 45205 100540 79929 53609 160819 38776 230838 82734 132953 168700 170485 190842 65628 139433 61280 216332 247960 228557 88091 166200 157825 156259 115559 714 43777 211818 97 194071 162445 102987 145695 62160 142721 156767 75892 14190 196165 131352 117774 42615 153157 196539 212581 133142 235534 169651 537 224549 114013 180525 67664 46311 38662 221590 197234 27777 195913 41664 204314 161803 8483 157370 98793 38003 85405 172973 7691 162345 45982 16565 189662 72177 234778 80337 83320 184231 176098 124162 142482 108186 147092 210207 100260 44959 53289 6744 168454 213864 184437 135669 55146 118643 7916 11052 54181 191522 106340 99316 166961 186736 156320 170930 180911 182954 145194 235964 19064 43836 108909 34949 220939 215705 96170 194052 69474 45604 191243 224871 203147 158983 149073 140111 81557 122823 94353 204071 128162 149497 147200 45044 25413 21743 1272 192888 35561 201278 25592 51181 107859 231374 41126 50623 196778 238718 86300 145688 113687 119600 6592 88516 45641 248309 27080 65067 150216 212853 201389 11471 149222 70389 151721 30643 32135 236310 41317 73059 109606 119899 212605 184306 23464 192420 41999 124295 101761 11355 225281 199621 94286 131985 12877 225715 52293 65444 108026 89751 205391 227521 101040 148331 178797 157452 124239 18462 59729 137643 232245 230844 94866 227643 155178 186229 34330 48257 232119 23069 153663 248458 15181 27253 69726 214674 48075 29931 110958 70215 186922 243293 198936 214226 66156 91904 66117 104262 137103 143175 108887 145407 231281 28988 15571 243200 85210 17399 225358 172255 165745 143866 245709 453 100606 238223 54667 44098 30197 158247 146377 233956 164329 1376 31178 30200 210949 208315 175177 213922 108438 188126 60856 186064 156705 173609 87645 230771 225655 127352 106990 221247 39662 41522 225534 172877 59561 245519 152019 197078 130700 125007 49160 151322 247927 134073 10089 223992 60326 152619 147093 82173 183660 245232 12853 27092 49250 63357 19260 229149 185521 55756 103950 101158 153593 26266 126755 15932 69427 34636 124941 139156 245861 36349 616 228768 34282 122276 17590 144210 247190 70954 113169 244590 37944 166374 239331 209737 161620 55919 192030 81832 91429 103313 46534 67734 173429 154258 105944 41060 226228 227690 160907 4252 232522 131296 240517 90412 93681 106686 44128 17596 157227 107252 55541 147192 116285 151266 32170 11173 186644 65451 55189 117791 167323 175467 54825 23163 187333 158741 172505 109686 216903 40396 64791 218319 214364 66901 73685 237158 219336 36848 93260 95322 11448 28658 178482 149792 232765 91369 109821 96682 117819 127644 11294 217540 167311 25710 90122 240104 92245 235021 3452 27113 17146 82641 72044 171047 142722 111533 179372 202725 201488 116137 20566 151671 242878 138360 134834 72769 65240 166258 63247 156551 232574 179175 231344 138576 121376 80226 69906 82168 65072 31452 112583 232487 203561 18692 102668 21207 44637 237057 27421 173244 31104 80599 163689 194954 89255 127637 55488 3691 117074 221349 153621 16127 163711 194232 5459 213723 104912 54539 51452 160687 177706 43529 79741 29709 51819 66586 136361 108355 157002 63157 237635 62859 76391 241703 129546 188307 86444 105854 53879 152552 2041 124347 142987 32856 222938 125201 82762 170284 16959 98443 129945 40018 49565 53602 177398 116199 149676 91041 59791 19660 126282 149010 17883 202366 150566 110504 21980 141845 18248 141470 207036 149070 134337 204714 100306 7965 167742 84972 93792 62211 152330 16218 118008 101527 72118 89277 181512 13245 193654 113358 158611 62368 39732 4613 93447 173655 82317 123861 171612 99313 76475 221795 208808 107229 55045 229259 111079 107853 70317 216879 120613 110966 233423 215570 26503 186560 112939 208711 139717 201761 174237 143094 83404 116111 155690 226053 15075 52220 86419 85130 6811 182561 19712 4048 168848 209774 8940 239348 223110 231134 86576 10494 28614 7618 18457 157134 214472 143942 235249 128712 213041 226144 230993 194548 13207 47753 10850 216246 30936 163692 95991 214753 242629 242181 102991 214827 233590 176815 146728 92578 103869 172733 198450 98652 164396 187407 201378 139860 19383 66746 236491 29137 228621 130433 160764 182187 220557 29989 46938 87222 118049 124191 142437 166394 43168 153024 227962 208247 168521 197304 23094 236501 174010 153243 42655 36506 54282 57912 226021 19775 153014 133227 7321 18030 97432 241662 140152 133457 59249 26280 170491 17872 140847 65497 201257 79853 171661 242224 126779 78699 84544 146049 3302 125319 69307 50644 71105 166368 61448 237704 165464 230246 44334 29671 26638 239220 59546 120494 190667 125352 227328 180956 233922 144649 173602 232985 33273 156277 125443 75037 241543 10185 38434 200067 51735 36450 116842 21581 3547 165526 78814 155055 7878 46703 59545 263 104643 186334 30402 133177 139320 237354 84745 24072 27521 73642 6406 114460 35646 20349 59146 95139 22067 126010 79630 60878 104417 210573 56119 106513 140768 239423 49067 192020 19976 111604 219853 65707 224106 58206 59609 92272 212051 120868 57294 248329 95506 118507 132501 233302 143511 35317 217067 129142 110835 67727 63281 162179 28196 244909 241388 21030 132290 73517 59171 48012 49 85708 14682 179617 81754 158180 189624 42489 72742 773 112670 9822 7643 45109 575 185548 91177 160848 98222 237222 92692 96215 77171 217388 220035 43373 174993 112269 108764 44096 207165 196161 96945 92786 86114 115120 106853 72633 160825 77550 248161 144999 76788 215761 193331 55223 47421 115450 228710 37286 216463 145108 108950 121312 93748 42651 183820 190382 44789 225166 221032 102120 224164 146495 192474 131682 17488 14999 89635 112302 51201 158824 244757 148437 29766 122930 98575 73016 139765 54361 100204 60590 219057 43331 217978 247745 36250 58750 133681 121056 167119 32751 176395 243894 26988 183631 197989 102496 149875 11311 72041 142225 198431 192377 16637 48408 97717 2020 233853 15099 198949 180945 126778 62026 6426 202251 60441 224036 137925 239206 229401 90071 687 144132 199101 238264 115476 6211 92505 16587 117984 171354 159518 62617 149715 127492 43409 3495 57568 108972 34990 66411 58195 59690 189723 18098 203450 5517 115309 61471 35256 222942 241858 209300 109452 7519 205786 151759 26410 8864 23354 84235 165263 133641 188849 237484 7808 156071 63431 54735 169750 202053 125419 122945 54714 71991 195629 239040 90617 30362 108060 228206 44054 13379 116017 88010 108889 227571 189606 132224 4738 156603 246634 88674 37872 13971 175206 46478 19338 77571 40630 29294 234783 109529 234808 133551 233752 55710 66273 57346 245044 138498 11986 177145 234076 32202 58522 111697 23665 82346 99669 169198 174001 204264 138421 108446 205250 189862 105872 105217 221082 246373 143722 86298 32036 17926 157096 40076 32542 111680 69961 6820 81961 134628 169984 163172 226060 206230 102394 105363 225580 106315 247119 110204 153284 114156 16307 224644 183213 246752 237044 20060 159861 75454 245352 213432 153627 72495 167387 172378 16760 107580 98065 84937 100979 58685 111975 51147 51408 24840 49948 189641 82883 80420 22574 239217 192296 102101 43612 41042 124362 186019 159318 192851 52307 6210 16167 123903 184413 209180 32457 122230 176385 131577 80963 228440 230696 161735 39987 245055 69358 133379 107970 142143 66851 32265 143945 113799 76994 124954 33686 168432 91845 71651 21860 59020 230815 93315 13269 39253 211578 37623 80107 24280 126571 95842 103114 225789 68107 202517 107241 23251 28816 51565 113032 174033 31107 144826 90292 226064 222848 248392 179623 142514 168902 159311 236986 110069 136749 7917 104659 49280 243820 176635 146473 180669 203409 184079 232842 245552 11492 173708 10856 102845 99258 118506 30813 150600 231570 206520 2925 198398 171231 170636 89083 210935 118057 22101 42607 246787 246064 57222 211674 15671 235217 191747 27400 134796 238192 91619 34667 61178 33763 90953 100262 126710 66299 217389 192325 144562 237646 150905 188299 212010 85393 96132 44695 24216 232062 5535 188649 18324 111303 68647 116394 53765 101975 223298 223526 83036 76797 61638 137555 13135 50306 145263 175534 98623 110783 201308 188039 126845 130437 76010 37078 239560 198194 70887 195683 176265 79069 177387 210364 68665 149659 108818 209879 75117 210670 190565 201166 599 70928 32422 165853 211901 165053 130571 208475 138582 247239 42820 123007 109536 72188 243364 161068 204105 47688 90392 106117 248436 73462 15782 143786 237794 185481 232859 130778 98674 168047 77741 244562 235780 70392 19557 8360 141425 64672 209059 186934 114194 109385 78722 219042 160603 7791 111298 53521 92234 212063 202059 220353 65585 221975 68362 187772 152446 163960 212126 96426 94509 40447 64858 208088 113950 155958 46994 86012 96343 246173 164388 186914 176632 53042 134405 197489 235713 26932 74508 13203 57259 34837 236106 12412 102780 167148 98629 238600 136917 124694 114631 35070 239937 106110 247632 27232 44246 245592 20743 43312 14508 83631 180830 73431 90206 88978 242119 206601 18022 74525 240463 94436 175137 149309 217875 158943 4434 176559 82007 227570 196125 100757 59978 72140 79232 191568 188460 100052 217511 81155 206147 149577 56079 71541 222758 238439 79216 22098 28929 123966 163370 22311 216102 105941 100621 104233 27960 56085 151244 101027 29408 144492 181587 163119 11430 244398 21419 242434 118686 67725 3313 19005 37259 65712 211737 174410 82233 209522 27658 238041 126668 50567 25795 142790 141222 181988 71408 117999 167345 129617 210175 209517 159329 67046 163448 156535 200537 146574 39391 120246 236930 84324 143149 154983 222520 72752 190043 112042 60761 215771 231144 71313 181343 26899 13248 223248 205999 91539 93366 190846 123977 47239 153697 72578 174433 134702 96423 40666 60482 226011 192341 230761 58421 165375 247964 227581 96339 214769 153161 115927 122046 241409 66056 144172 157723 159852 135752 57499 3954 147313 55445 56966 6047 111951 106910 96276 218081 167819 178044 214657 149257 136608 88539 60879 171942 70146 165725 31510 157348 116994 58313 198977 200521 241496 229566 45256 71825 214082 41745 24050 127127 115584 191839 192220 17263 11519 518 200651 171370 142102 225291 119288 224703 58539 220838 168117 196326 182637 162122 141521 29086 40713 187491 179665 51622 216003 7684 112917 57614 69109 77764 54516 62330 158369 80489 213029 5340 221714 109802 85374 358 121699 238176 50703 13295 246226 107088 196493 46656 185866 50680 9108 31722 74578 154136 115162 77528 197979 131802 219249 208607 185305 200397 54827 94999 194599 61961 156744 111170 85220 88532 231581 61246 83878 52808 221275 84205 66834 233899 154334 169708 16586 237395 108499 214370 201384 42148 27074 247732 108650 137271 89806 9417 182044 147527 194953 75424 111738 188351 97783 193031 159267 70027 221949 165444 175286 76840 213438 143058 83585 124504 182527 12641 205205 114265 143686 126596 69142 30266 39481 138110 206360 153371 215186 238472 11174 136718 122463 203844 64822 178263 33828 187629 184213 56138 198602 40609 181224 175872 124297 132919 1723 133710 37931 2763 213794 193038 200759 133613 117078 58407 116319 209622 227823 210921 127324 221927 56643 116185 90202 9168 55637 230701 229884 206000 3991 138473 165182 32581 9723 61972 42725 214229 199655 86377 84382 225608 16298 72233 107018 141027 19901 127839 122462 68347 99338 109128 217117 12863 122605 66939 42575 21497 154784 107137 86317 869 114080 189806 110137 130790 36012 169838 60588 101775 242937 28333 1238 70163 21787 24501 181300 83069 93868 29345 117589 181743 82384 76124 110606 149164 89874 98369 72347 243285 6216 186027 118473 228325 60840 203930 104117 123877 208192 71312 102538 197544 184800 203081 220265 201819 141386 16072 147629 242788 174814 196612 143471 15346 69591 1161 115926 30019 11045 81676 146748 55585 82238 58534 43009 52327 122435 55217 194445 187212 215642 147287 187664 136912 45994 29710 177408 57185 199503 201138 235024 71673 157319 154697 174501 68710 205994 139873 78131 188080 210108 114662 190838 68372 59872 207549 77349 67647 159196 126448 72317 20814 52333 145527 117608 234845 54952 172566 131029 219404 89971 240906 181526 117644 228679 64772 173728 54462 193133 105040 75885 1264 153269 178150 234974 52536 176254 183205 178695 28473 173692 16735 45553 16241 80828 34345 173618 180710 21622 187637 126572 55809 50528 211617 192928 214795 27515 229836 143496 225154 189095 207583 114507 95841 162546 134383 190767 114437 45763 240262 207498 138417 106785 37017 205434 62217 192710 222795 175810 15526 166672 196243 114625 106942 26418 52181 161490 158710 225241 68253 114076 13468 57250 205939 55311 243389 117615 67915 53625 226756 37698 82453 38535 126427 164828 33527 202322 35748 58455 146980 237905 99970 61970 49512 63275 41549 72933 79452 229416 91119 124331 27013 136872 140859 10537 89873 35497 19266 209801 32272 198033 160722 222592 236556 197130 79520 88343 200872 44918 154074 110085 134608 59616 164668 241342 73542 123580 139254 46144 169565 155586 64023 205265 198954 148377 23142 246445 135781 32420 144814 31252 8505 217136 232718 210665 38470 135568 99842 140668 120739 95952 83758 67921 43308 32373 237172 120963 197798 210646 79784 232441 50957 211861 73885 198017 114813 105050 199639 83823 244330 230549 70951 2447 54949 30648 115033 27479 58684 22002 5198 238677 199043 142870 118983 137659 227130 27050 171552 65657 68686 230557 212660 248076 107777 216365 60799 50925 81615 56148 177065 218969 184852 17315 242901 46056 133573 99450 104266 230572 172358 117408 100674 143202 13206 25214 231038 99946 85905 39744 117785 83177 225522 188643 100484 2879 78671 222072 23748 168660 236080 36610 57420 226100 108738 149450 203286 148860 201097 2624 44679 35149 232406 247718 14009 68772 26821 235920 165415 70510 229299 38781 192427 56314 74965 42528 179314 218999 183181 51990 154144 63725 221515 212549 16631 27461 59717 111875 86004 147836 225381 166511 114120 47065 160374 36532 99230 152785 123803 188017 151963 217914 166207 36813 10825 26059 25557 86423 189998 27144 34707 138521 166746 226277 95137 145123 41194 81997 198972 87972 172258 89 95104 146073 70154 147385 66983 164227 9835 241237 63536 81468 82878 153903 141326 66613 192599 172142 165346 230552 28497 10838 196133 126735 169426 132283 83382 210809 231553 191358 1468 118767 93215 18941 155200 176207 168979 146810 133192 133009 218898 246806 12556 201992 113879 119102 93514 110694 194501 140635 117883 152191 11831 197753 75289 115220 4072 96665 94401 82572 12005 46012 15103 211713 207011 82363 116997 84489 181244 135222 97921 245405 9349 112462 195763 26455 98546 29389 66149 63309 210835 211943 50330 143450 173579 60324 181535 81624 174695 218177 229860 183552 82263 120616 121477 48679 219478 156012 168898 28361 122477 230263 125228 98191 178800 95710 59626 215286 242926 109543 201373 43716 160044 18974 228490 120814 119620 55758 16721 244710 94162 147076 159062 169785 146751 116203 172316 138887 148035 225285 541 79474 6320 178178 237166 101531 17831 32147 109437 51524 233851 79136 248318 221169 74691 237898 39246 33022 231774 90713 51727 23095 14085 164713 233897 214962 13298 107366 126508 203795 5917 32493 224773 231329 12319 218810 57835 13150 192887 170553 192940 125822 90198 3498 76991 108769 192869 63152 180151 106180 72203 141435 52388 247469 216962 127371 203196 34394 146869 47541 15654 56838 156248 198999 180206 215276 159914 47356 215573 146384 232251 96395 6945 109151 35969 53062 234305 225293 170913 211721 219001 111284 137403 1979 1751 74291 198952 240243 200647 174966 119678 130100 117152 50000 131515 46605 3864 74772 163855 33055 232065 10446 156541 115312 62861 188797 222828 155334 238239 183149 5741 206370 234966 182463 32258 5294 24626 238428 58795 211969 131174 62594 158877 87269 1559 163084 144902 236989 174846 62015 17541 228040 61880 218986 35998 228487 5714 201375 167018 14353 211558 75098 50719 208838 247293 29106 40062 246212 68568 231597 195187 72396 106878 130360 106616 165329 66114 43215 5287 102135 222297 219142 86715 211997 234531 85254 25540 193193 240520 67437 27342 145116 114919 119245 229150 214240 26463 164082 190539 143976 196024 154691 189185 246821 148872 63978 210430 47251 70712 246955 105528 23713 189661 245062 188510 152432 159213 246380 128662 185922 133078 58733 196012 101915 235575 78302 93438 67461 229747 184564 23478 235366 103496 31545 92897 107433 13120 186810 184478 162943 151814 237217 159424 187517 147530 51168 95515 98142 80538 90431 214568 146340 50227 191977 103296 147089 18354 216727 21999 235115 217193 135173 237329 175191 61941 61843 123784 111647 138197 140120 134909 154962 187395 188982 139378 85138 159234 59461 4358 98806 198321 209272 20250 26698 191152 186716 53962 128976 169333 29016 113325 176238 175730 123168 233135 15455 241602 61510 9216 70676 11505 152748 227276 23618 238375 157283 234042 100854 27376 177136 116779 43541 247698 141872 40534 62646 50444 205929 37208 227735 193130 204841 35864 23586 243367 33663 181983 33881 96716 227704 33190 214952 79957 193483 212297 158518 120015 189728 148578 34858 78353 22271 43104 155462 236241 128160 149328 39991 60133 6064 41779 145357 62256 33565 6093 115623 185911 207574 245581 217560 101071 202415 172071 201689 20429 166293 115021 244807 195250 138786 1920 74760 200375 205170 15689 171728 222847 39797 52463 150240 217445 44942 193885 149818 33219 146300 51058 71764 71554 115535 67004 242267 136030 92326 148765 159064 95414 141436 75121 65168 113840 124607 19626 17348 21715 219743 96810 120483 169478 50478 113774 113875 241053 87621 191442 234004 130205 239152 123003 97828 224229 138287 77294 16664 214014 244597 74148 227715 32201 97194 131630 113727 154782 124735 23107 230009 217928 108744 22780 215103 53490 203860 179804 85550 41452 183434 137733 90755 124757 213484 239664 123021 201842 187472 49751 7973 120432 171096 243168 151074 170806 240091 91216 66329 199552 7074 134113 216527 136925 184090 122215 114389 163613 118585 93542 14963 152160 10002 128037 109872 155071 63341 215495 42806 87272 225542 198589 201059 170037 95593 170478 98587 3986 155310 36778 227037 192755 201359 182981 59 94110 58674 238245 60635 210707 21770 50498 166500 197648 139150 59659 138631 79985 55641 193490 19881 101845 178721 148186 232159 50427 205245 171944 109080 175495 140365 45776 205660 94413 213467 154860 2725 112035 102960 74031 223752 168066 130644 179324 21646 65084 161365 145389 8042 59934 176944 13349 189192 207544 224636 112289 51653 13312 123474 156386 137167 98402 213982 70035 25911 72719 39500 165947 123200 149732 26505 43827 79188 160815 91498 237290 226068 232836 203871 79750 127643 69691 44687 176169 114174 38976 184495 100977 87190 45030 64187 213305 17622 69927 164557 241327 83618 219704 81665 113276 186150 166679 19359 192248 125465 147252 205600 136554 163106 19415 176690 229170 123920 183789 141038 132777 182888 40340 207104 233697 63266 133738 226298 121292 890 243323 100480 16250 119186 126669 159805 168734 103055 138819 30473 5837 170235 25737 6200 102945 170023 52431 14350 13205 61297 38023 164051 39016 189908 155288 137526 155667 182369 29077 52917 30701 232206 46613 133510 136706 227359 5452 79897 99174 62388 190321 17088 204245 92921 194794 170273 141858 142333 248165 31506 202544 25969 124707 127403 33684 47263 169280 245240 162619 208022 59649 198248 27881 95309 133843 30757 218408 148109 91667 43120 138265 51053 227450 201880 164410 134363 1610 11259 206032 147479 230283 105835 154149 57140 8593 145609 19736 94326 103401 57146 190300 144020 132520 205316 184217 153174 128488 211699 83876 138794 122750 214507 27524 245047 34676 96519 212289 36594 86039 60644 53795 133837 163714 51657 105866 25585 231387 99290 28498 25605 229583 32407 196838 80568 163883 79033 143198 91467 48169 72958 165127 225969 115281 64336 225316 39257 93563 125015 203109 82423 177957 171649 216954 247436 122153 120883 137992 108776 144381 105376 248049 38030 65740 13303 197056 121453 18056 214983 28092 85106 235211 80516 53505 17943 105688 231110 21777 93177 103290 240062 89813 155444 139450 212876 54287 41731 141419 210383 109917 22952 99158 60929 223920 208512 41082 79836 126997 21424 49013 70619 161786 202302 202542 46719 140222 188800 228567 23962 84019 56861 156235 154619 159528 74912 74699 140224 245932 5109 17298 148846 222715 224141 101840 5655 233779 161506 24523 221330 122611 150831 166127 159217 196111 95748 226391 13750 96729 44089 170659 22063 13 171860 173796 247770 97096 31657 185018 84115 83634 58739 137855 232639 111107 37058 19700 210888 118336 4777 23869 192083 118104 238232 118460 148466 64236 178196 156291 2791 59570 113181 136116 201653 245076 169215 48063 39324 236249 217702 19249 247460 128249 52601 106971 195435 48957 36704 30686 217373 246701 179382 98787 131394 217247 130414 18940 13231 92552 215539 108139 156240 208939 202249 235496 210443 203756 27022 76664 138587 220437 220073 246499 101837 21791 54606 73577 150741 139448 32502 98346 113126 185716 63666 165455 233137 179725 11004 196583 74179 182103 166270 50767 574 27198 96707 104657 37656 46068 94297 12928 151169 158724 166339 190420 121660 235014 21007 17376 166058 187335 131055 9607 85302 86119 214865 69067 128408 133067 24268 17796 105718 162774 149110 113858 124296 122386 19596 162614 61327 32219 4126 62915 210912 190987 53934 38530 115674 80191 201614 102666 137813 107249 89033 104941 102549 147104 54692 180552 125842 74061 233807 96478 240938 142418 103111 207252 208468 122347 98840 21343 224959 165248 162903 231420 27109 60911 36416 158339 217623 16926 157887 223007 217535 118623 234358 39846 145964 47627 172569 151976 68383 164953 129655 214060 124628 202079 65034 105419 35549 19896 161533 183609 125071 198140 40015 232369 190929 40906 243888 112389 57596 32605 236703 217120 90981 9892 154353 44232 231146 141315 243629 76774 197726 170934 105948 155358 226418 83776 75711 87910 138387 29608 209917 59756 114259 76796 181131 72005 214512 215973 78009 216783 82708 95310 121908 228535 134557 47984 52351 245516 73023 117853 135402 117076 70446 135842 156122 224933 7716 50548 192917 11098 55965 72671 190646 204762 152167 149874 106010 200734 214505 41635 116243 142738 173537 205254 207332 67868 76411 170906 18458 57150 166275 22944 229880 20439 20987 153893 131478 128407 45061 55470 175438 11040 199588 247125 222352 135038 93562 217098 130485 108980 217698 243703 36181 118498 238696 73734 180268 100550 93063 37549 204335 185358 32118 43795 198506 173024 59620 60043 81115 26946 134872 114197 236756 67058 158776 147013 232597 10737 111243 207101 91715 91447 36057 85129 21640 102784 105246 180563 197096 45075 122337 226510 101720 8148 241558 29084 236548 53003 94407 186492 104175 123668 159078 70197 37974 97204 192419 10417 68459 196078 227316 1574 158023 166810 54855 195719 137736 148873 6656 106738 203764 46737 161722 65164 29459 241083 150605 168035 149319 246161 46483 10801 230244 214494 226945 107716 218946 38580 136641 125227 115200 149949 166985 210492 153817 9955 181188 185229 67543 151977 50247 131031 99377 167147 105977 226919 41550 36690 56212 225713 136312 244220 224867 41575 114203 31936 101547 63383 129375 190087 163915 19346 2862 23450 66241 246417 226323 128300 233528 84617 227875 43520 93289 98668 242269 146075 119864 7726 59447 82104 49396 156973 165716 84615 46048 92808 183707 89341 153562 32106 119902 51933 161228 4924 114898 117901 152814 96997 4440 245814 179214 208991 236389 175720 42553 40186 153556 164959 86967 46433 138015 99671 17701 213767 163781 45284 67133 15069 159200 159993 206729 158959 210588 229446 221355 182980 221973 68978 12857 11371 26680 173826 103000 75246 233348 126624 86703 242094 237155 25680 3619 230623 24048 109604 172079 121357 230917 124454 37896 239864 225422 214513 7663 178761 547 110634 29484 94039 216947 83664 74723 99218 229344 187386 46526 203999 138915 169897 71260 167616 129897 237320 233285 150200 23565 190952 50726 157645 10529 233269 174521 210172 307 184651 211791 150531 215487 76572 181691 45031 15578 218472 248062 61743 102440 190061 144174 246260 7723 134400 227756 146332 94002 72701 20584 8084 183457 124627 147110 37130 179770 191599 155747 175599 69381 27429 119256 188968 141527 36717 115935 223648 97520 188426 227318 62893 183289 90389 138392 242178 65266 125561 239675 203772 62713 165601 145509 148770 79171 22246 183480 28349 193349 3293 156987 184534 155381 26939 22655 140183 146556 99402 136057 198356 149605 25268 69329 96011 238450 224154 93275 190455 213439 127890 31980 204273 144375 235476 107645 180490 129795 41846 70379 180300 218333 84478 20362 48390 215401 194491 224063 60974 156274 55733 89825 22886 117516 91134 88851 226713 160729 28326 12915 41965 235262 63735 91681 45425 11602 85422 79764 124016 26788 137563 204478 138613 68517 110991 203466 49992 58219 89809 114598 26291 83050 6845 18886 189474 175279 128464 52903 17318 207190 116754 148123 28171 33575 63355 166886 92942 50744 48890 39172 191424 86456 139071 153409 93755 121916 14458 41073 182815 157642 218274 188501 130887 224365 153990 46244 182226 136292 77504 188962 158644 12399 35673 227551 175282 68225 175491 242892 114078 67495 120836 174581 234040 55847 182025 117698 129298 166364 145642 41892 247055 90267 54588 145466 5453 7926 116081 125879 132594 198514 88490 37220 127859 84063 12719 194449 84081 114483 50702 70341 241825 224432 41727 228114 200601 136952 191077 186747 71999 182846 223945 115022 144281 79919 199315 45403 167129 48104 166583 49304 126210 222737 238296 63359 49057 211611 178974 10018 156866 94757 9014 119739 212842 95045 105430 20572 222043 76402 221605 63087 100248 5173 103141 58773 101913 231232 78813 185312 224971 92638 144259 93916 70975 67370 177921 94217 86900 11935 188620 223426 69494 228853 53883 45729 169670 46862 99014 190713 103846 95413 247402 146378 44112 194508 117354 182706 195412 49646 152686 82554 99004 150150 159991 212955 172428 200802 237451 7569 102189 35569 22871 101149 10918 88224 41321 240637 147006 138141 38975 156701 63942 20266 216764 11660 57223 101619 235174 7104 10363 118450 211530 95470 169510 21968 10245 42165 94304 45581 52192 6382 202710 71783 29128 46228 86892 27751 101262 94307 180984 24903 159611 33780 207837 92080 214007 138228 12891 150332 165404 215625 183847 196981 45658 72834 137293 175141 124935 203161 59064 34627 159874 112564 211344 180799 70641 206387 180837 11629 137282 168502 117639 4266 187022 44623 28479 216248 36688 167193 161454 204355 45170 205227 7979 156506 114968 246005 209005 30047 186085 119182 24782 105930 223373 220266 72484 83821 225096 44720 122738 112216 21237 148033 39209 93939 183198 137818 159295 142474 234668 83617 205197 219327 123837 44255 227572 215601 47052 18752 131574 196904 99092 110480 184474 13257 15651 183863 191894 10535 72076 5266 173491 49801 86051 160104 183597 177716 35181 110514 203093 125978 60951 233760 197970 248357 63661 245484 46793 178615 162596 29223 119951 151137 135564 35045 193384 32504 13315 73270 112626 124914 33335 96111 209677 116702 101931 198056 12458 243482 129611 179010 125802 182646 21362 4939 123266 136733 208902 172314 101528 126587 97493 13899 208815 243117 208109 165651 187657 127964 43564 134633 220082 108580 131192 119142 71972 38719 55905 121149 133304 81487 186134 175373 19826 83470 143124 102411 20061 78781 234241 212878 167266 194338 116713 158681 7317 29126 29 148206 35041 245594 112224 238007 75511 220187 172342 66758 37542 80587 233616 214059 82827 146037 233923 229842 22762 190527 201271 89023 107950 156284 25953 48880 32049 247250 90816 70921 27288 211709 98665 65477 123395 43821 150610 2976 41482 236246 120435 101376 104990 229605 28289 232845 164772 88297 160950 191881 240192 31264 64229 164578 51116 236046 115992 175244 61358 130940 190841 152122 67872 159725 105444 35326 103383 52853 124891 137656 44439 184430 183907 211431 102473 80921 175361 168540 86295 247189 138836 127384 154086 33025 40139 109467 80976 26261 9462 227509 227520 83380 36537 6319 115730 152988 172777 179550 235483 90877 75022 105338 226196 228877 194216 115936 9967 136630 118339 220946 51704 186189 212152 55446 238795 239869 152074 58747 208417 11917 131908 168967 54910 190075 160299 85187 219218 52140 126954 190453 241492 201199 157171 208003 232014 34642 190265 199305 150139 83666 187138 2541 62960 202745 204967 82512 18661 48685 52015 154102 74531 76333 212082 166410 49027 230997 65699 214846 67913 199580 72471 165768 83567 81985 3741 86321 27163 93392 41179 233184 18846 83960 235300 196023 202438 68015 49360 115646 34473 30952 152136 226474 6083 121812 27946 89776 188881 70930 207694 239245 41751 208379 171935 102568 224731 150269 61223 101282 146653 248496 85745 245026 180418 21092 72573 149748 179405 139730 40506 200367 186077 7506 110984 59421 210869 212038 122478 233087 146237 117683 172225 212846 4450 37426 225779 12655 11772 1167 136084 221992 196426 142421 86960 226761 98319 127817 98410 51921 56491 90591 63786 226405 73640 152509 208587 106207 36050 29141 203181 180578 227067 194254 81818 207863 78320 60954 220279 243060 135900 190867 193823 102281 183666 132114 185385 219765 3486 222401 242282 24357 246139 75350 233452 29171 62051 191022 14914 97159 85352 152022 237215 69487 90102 186921 181301 201580 123870 240229 221526 157324 241460 165395 157973 230708 80988 34602 96449 108574 13395 69800 72512 105587 145974 7989 81297 19971 113758 187100 39462 178382 39357 51977 157744 218160 92841 6583 206843 239955 87235 131792 208375 84476 102427 174496 20308 171461 144486 36721 184851 203325 149524 29120 4340 69450 39776 123761 72294 221075 198378 103476 168009 89719 141906 208113 46470 37706 129628 76289 135945 130524 200059 197746 226825 181435 127360 176854 66374 22479 116031 69960 153474 30877 193058 127218 42389 204288 144978 125606 80618 67709 167753 99151 106851 105009 170849 142586 54057 171997 141133 189392 109994 120197 164453 180398 154914 68011 232216 126616 208358 50296 50482 203691 240849 152466 33516 72498 4303 85562 152763 33856 57298 130806 189154 192948 203744 32946 212942 98798 138222 17843 68044 150392 127162 244332 6156 136652 184061 145335 168292 4277 236242 13740 120096 2266 51682 130158 27763 109349 44487 29256 146813 247395 219289 20803 125302 133088 191798 122103 108670 132178 164803 26871 113953 107260 162805 234365 230378 79738 87123 132615 78720 247010 16739 115698 153170 17544 123917 89650 179644 225577 72383 154139 80907 30020 48891 28330 3822 242954 50813 143116 139410 161511 53931 21699 119144 221533 96967 110459 51388 40406 181677 122524 235545 17346 130964 239261 177885 36333 97970 201187 175523 5942 81083 202574 213131 204631 79080 197561 80886 191618 155450 188453 156093 36094 227550 45381 23164 164829 63495 233510 120603 215659 153568 35319 179587 126160 83484 245198 29502 247893 99421 35059 193069 131361 73564 140627 223546 31708 56571 89663 234998 226419 219575 150560 181141 70119 121277 27714 55543 49543 147037 91915 192400 92939 134637 121024 198740 52666 127821 248186 96456 54813 161111 97083 237007 79132 113769 220263 220665 41346 162696 209152 98479 110819 155003 58605 241375 230852 220542 15992 32488 69692 112151 200369 209389 20480 106740 239366 49046 55795 32447 87014 200735 228284 108176 209539 212100 117776 94109 126367 88837 200966 161494 134219 160737 195025 157730 165661 66984 141696 50342 200134 27133 6581 127611 240206 166862 111747 62729 139194 918 118906 38909 240005 51799 130383 152413 65643 130127 197542 16523 123703 232485 120672 68073 175500 105069 221311 200760 159974 16769 181465 235053 197786 58571 121314 20189 176909 113600 196403 197423 82590 86522 190758 126678 187736 95970 145355 87066 101342 154596 194987 152925 113236 42460 142357 50197 165477 63272 43142 159280 166783 241576 98240 172861 53828 74997 105530 37416 80839 129653 130439 233737 152585 123730 137527 68638 60790 157759 218423 181175 27962 208517 149343 3757 86496 198940 50182 15779 26462 98976 82753 225904 4435 49558 57911 160570 6384 10247 59737 131947 217396 133994 211942 79153 187888 23747 27846 14005 179235 178273 125691 229592 234424 200835 178465 148229 96617 101056 160230 228395 49277 9244 92708 145552 16686 26592 49915 93000 79130 128583 235868 77910 158667 229059 186601 38311 244343 156193 49384 130310 176777 244418 91885 136796 232268 170692 80987 47810 147303 193609 51150 204664 4027 53249 206673 193249 26177 70440 139574 209471 165251 238942 94323 30955 125839 73403 43995 207533 39043 154598 226780 100489 96 108247 166204 110838 231036 77603 60096 7705 139373 131311 138913 9565 82778 3148 223979 132817 66980 190748 228822 164395 41513 150691 106715 4152 90055 196164 75899 238316 101267 28101 121248 214335 16996 16731 71078 143782 129166 39071 69835 95462 233985 69884 216721 139455 75841 119836 232420 169438 72496 222919 149235 214067 192522 47784 44177 23993 179612 236948 137678 33027 44717 101125 112309 10183 85675 83963 71429 165169 74919 61730 231210 31000 29168 106219 75642 44444 131408 183575 158045 49945 67995 214773 184982 46915 24809 111847 103620 216455 210669 121956 186304 296 32035 25936 141607 233300 78919 140925 176388 239834 164066 59248 65459 120049 214129 97907 110477 180933 233878 194324 141994 139989 238535 128968 225600 153204 2258 203309 238971 467 238817 35103 122520 108254 15996 129063 77807 132366 31132 173015 16009 136803 82450 2620 50072 238733 91478 11464 111578 134989 209661 118955 83101 9055 247765 12376 104477 88076 154846 91223 138686 139287 91280 61431 200382 178992 65973 111643 179899 204302 81497 112509 53102 69668 128991 20111 207670 226466 69093 124558 245789 132139 219811 99412 172831 54528 141107 215097 146861 27782 94593 168011 87659 230667 247053 104380 152468 104252 37296 50392 107134 33702 177007 227987 35576 196065 59918 19509 42562 234459 43554 159973 103561 27873 211630 144454 171690 57601 17836 121384 137508 29064 21289 217846 150810 142993 154407 48146 57354 44842 220113 190655 52943 131137 89280 25042 15343 19296 1244 38798 116174 134485 69096 6755 240588 153044 245755 169098 176626 187484 74308 230329 23658 210105 33677 29654 142959 174952 40786 137150 150805 132843 68123 65210 167763 169617 82633 191467 170798 173065 246176 138464 117142 200822 182753 19243 76954 1911 119408 224409 201372 59736 40998 181520 85511 142381 45765 13883 165252 120558 194098 113402 233001 40652 50315 82355 133012 211511 203448 107856 7880 23856 11783 70981 93871 97169 163416 214406 35893 202216 192348 56256 222154 242522 172385 180545 210937 91061 86668 117740 38595 111549 158492 58091 12181 235797 112324 12624 107167 11027 153114 174331 75524 237369 24689 133885 36076 38743 215055 154254 210678 6572 204633 153366 237025 228199 209684 91505 122982 104934 8868 76156 218433 89276 95971 42710 44140 169162 108356 61103 35415 146405 147495 24316 123134 102179 151833 76013 15020 211057 131880 232285 229945 68358 132237 87689 162350 124400 113493 180661 221596 136853 90797 113968 229148 128801 124995 194181 4581 62322 107482 175859 237813 216175 6165 188152 222439 193190 14938 33972 7890 137912 155113 188061 218647 170552 138859 69603 108248 190532 180519 230207 203620 196713 25931 29153 105324 185490 152360 47385 12484 84024 179739 28995 201454 91090 142276 119890 246525 104683 135622 63739 48716 177850 51644 58088 152461 88660 135786 236815 101007 213370 173723 63716 119384 47084 121308 28313 32186 243099 195519 244400 122769 124429 233272 231010 192689 135626 161832 18418 63979 28178 67555 88715 38984 184439 96876 69834 241094 219619 137408 100 120579 37164 78482 131148 28014 2515 242809 160824 188595 123831 221116 90988 5106 137640 151927 149822 215914 214715 186073 77695 61151 172691 137488 17487 198905 203542 191623 2684 5069 34870 198498 214667 214470 106240 128684 237355 124695 109860 184272 211729 86951 169717 98079 18220 5965 33982 60502 222388 119640 97733 60891 2075 72504 151071 222211 55362 235343 187589 11683 30428 235344 45768 33429 22129 223488 83225 27818 29694 162675 48901 89607 88972 114717 218254 212067 141615 39012 97529 164632 125118 220571 86723 202529 164862 22986 65131 238277 64938 43431 161147 82093 245570 35630 127430 74587 83609 18891 196489 62581 3205 236526 180173 85594 192410 127977 228547 85147 27771 21943 209296 52710 134952 162700 137747 139346 642 230209 162789 131970 118958 68040 180052 18132 245748 233072 140906 139082 157428 21062 215220 115819 119946 79425 182870 234018 227926 171288 212773 229098 122725 211239 78825 117607 186403 131338 179629 13300 6034 19959 159657 157078 217041 17815 119355 199614 70300 118665 226287 6797 22596 220254 48306 41292 25336 146895 220966 142525 39187 33112 184881 152293 235084 90685 209472 108352 163019 62012 75859 112974 33056 31686 133671 242514 61630 65508 214555 76105 243945 160951 82737 233376 123261 162164 224989 190277 215090 118440 178390 124566 120097 33095 217424 18668 144957 38895 144244 131246 242249 209955 45760 155663 104312 161941 16014 52985 88214 129479 153547 128893 175620 25869 15112 162141 9064 31705 72890 15549 159254 237090 180126 240092 93652 136850 159447 106221 47562 177218 231638 161002 58735 22777 69661 149527 205381 16598 112077 165120 201421 196803 45455 6607 220739 639 197725 84632 129047 110451 127596 104530 58629 161044 19531 213829 108667 195103 193240 222944 40064 19192 133943 176654 200451 159713 168016 235156 61786 172096 210546 225469 238444 181073 201136 144790 143036 40384 19015 52971 122406 62289 117038 222957 200449 61422 132829 179563 27642 134244 196061 105157 155950 92246 220938 173593 227773 65326 163249 17012 44315 235388 174694 215935 81780 179949 76705 147840 10179 179368 24374 209424 158699 30409 205288 96690 75982 39882 141908 11747 208320 58519 46715 95268 43105 129973 243489 182826 56574 240996 237272 115156 155737 150231 232113 150444 243673 242410 25207 61427 12480 2935 2800 241961 40636 42972 13555 2417 103623 33350 222227 161760 122701 12662 47703 138656 183068 93105 83937 220561 235439 9293 143090 36584 171631 160589 179787 177461 228831 67793 208926 196268 96719 192961 239540 51293 81130 26925 72438 165376 168197 73782 20685 147908 167540 79335 229017 75638 187043 240506 220559 77430 52779 36521 236693 239647 105741 159319 83151 72751 89389 146511 144773 203794 49507 86232 117825 183770 215126 192944 190907 29357 210230 191907 131578 86352 25968 229248 112338 55764 26041 221295 200680 123408 44292 45834 87424 153448 74248 195958 10943 167419 142085 65128 92751 45596 42921 204608 142132 17754 177104 236226 188607 28476 163261 34507 169087 79370 229570 49310 6655 232684 210566 236766 49345 180081 154776 34924 148863 179359 72932 94335 119908 203773 41907 14438 56862 38295 222183 163850 33622 75801 16332 228766 39497 136907 229889 208225 200065 240513 233141 214834 133944 165742 80905 55116 184026 194533 199347 78144 226668 147433 183051 181033 97572 33494 118382 109060 171714 66926 157686 210273 149281 50198 112728 21907 51536 28286 185571 55469 211307 189709 27608 87863 219658 168500 211068 66319 60661 16512 163496 143305 85429 105248 143007 211324 207623 174451 208533 151425 226830 59981 180182 116530 11910 97648 222438 129340 239027 209171 134215 101404 153982 99322 31913 174352 70914 67571 69954 31835 32815 86426 127963 163030 116046 199484 75000 151178 70999 246866 240099 126808 227799 239653 192056 245846 105520 217731 87526 223173 230952 52911 16284 221650 217886 46525 109220 134344 211384 129058 243378 169409 133433 37630 11386 186892 204738 232475 82948 149330 128325 4894 36314 68418 113135 112852 163861 27149 5947 75741 206248 247665 88341 204489 178328 210240 172741 201145 35448 62693 54133 146364 180890 78334 8809 116145 177561 113622 99205 45444 104604 224312 183487 189071 38008 33714 155563 37607 74204 75149 194647 52354 196294 179035 145592 28469 25068 81840 240397 167815 118206 174194 6862 90934 157053 127273 138316 195117 216499 35891 164562 170036 169767 57695 193873 201046 209234 33385 112218 187980 50013 238516 131874 94460 157556 239610 149900 140455 87331 41538 172535 106636 58086 161582 41107 241982 228380 245644 77142 1149 203724 219451 156771 141328 130339 41223 153456 139444 156255 56891 24946 210046 117096 34654 94254 110076 213647 72460 226609 147716 64071 206417 62798 15929 215864 144638 232439 153159 242020 29278 229464 116155 234462 32932 220868 110668 33646 164791 6208 112013 168604 165325 192638 172100 47775 203571 25060 196017 128932 98038 171912 245441 186155 43662 168343 45177 170285 217489 89550 101529 21308 126198 49809 141367 191227 234993 110573 207796 38193 169142 131331 242405 145122 49153 151374 64998 128766 20592 163938 185456 158394 187434 80661 7542 211470 66455 207633 138432 189404 45739 85320 62868 218201 13815 232632 212250 136053 179029 69825 74808 54093 99816 207346 205575 71593 25850 200305 223808 225335 149008 92805 168746 52976 226382 61702 20376 123841 59528 7828 40859 67704 208206 200926 14309 197435 136595 17234 127592 176396 34889 53421 73574 212269 16695 61751 209859 187824 32831 53746 183038 206744 107593 100463 140863 26586 1311 225647 78384 5930 243809 40233 124411 73405 7856 197927 43237 205828 233231 176796 2482 69500 174992 177043 166531 59008 29366 32206 90465 121082 193089 70667 134017 96572 87400 220737 67655 234223 4193 139916 176022 156470 104931 87578 143706 116004 213394 213005 201481 105838 134000 121267 23815 81656 96124 132208 210178 209518 98542 94354 190093 211996 79322 214614 143250 68969 231509 194033 91573 2013 84701 147710 70289 25275 237407 211497 171142 48120 39404 74067 88022 220545 210915 20338 2852 44948 22122 76214 7680 246147 192342 28074 95329 111830 54274 228754 34434 25437 244128 178425 150961 111266 180775 161681 30735 203006 201965 63959 57760 127999 219259 154477 205639 210128 32516 110949 142108 75092 152691 174292 137268 146084 58524 25130 49947 91801 229184 136379 160821 159593 232445 132900 16407 233645 204141 6973 49370 213865 107257 75773 169844 97236 201823 246302 163559 16275 159869 199607 240311 122416 218411 126626 196845 54380 74055 187572 225739 232817 146 96255 168361 143858 193210 103808 168844 41405 209216 139668 23257 47333 150467 22978 7025 49219 108717 108740 59204 135537 87196 7650 180923 131011 90414 79898 120369 236734 132938 217482 114908 79843 53847 23767 225763 115668 156144 17583 19215 225494 175568 167641 197084 137214 46411 245989 219681 43614 117267 243275 5775 68305 188264 205417 141617 64900 202796 86147 62480 211044 18561 145112 109420 141083 184197 42538 106687 48171 124642 222911 76132 208969 228225 211269 29720 36741 13151 168566 135342 41192 41028 118455 99087 46259 145972 205430 24502 240293 42863 184046 81599 119680 101119 199936 66115 105213 220427 4343 212342 120587 16777 165836 78668 48614 136277 22093 223849 243771 81677 99854 238652 93424 111638 114117 178008 60098 235144 115561 118112 236363 180808 73114 199778 179631 146370 182946 74580 36676 225178 83162 84703 22078 130211 205769 199939 222507 162553 79252 180632 80096 15092 124945 169383 165453 183013 90104 173428 198815 47572 223171 52157 21132 245786 125438 120244 1674 229521 201473 184328 20235 213592 222100 66244 136115 133591 144925 127359 112519 227369 246441 87238 144563 138687 212971 243712 204449 191373 174373 163925 179217 116181 54060 77130 88485 52613 178241 13284 106443 211135 2824 169286 248040 102205 92113 162984 141331 211158 169788 39920 243964 148049 244460 69944 90148 55602 184337 24568 246243 534 144900 235419 203054 48039 108445 131544 71735 207847 91064 169529 153741 153404 115855 51866 102121 39982 147807 7299 140092 37659 208385 20343 3160 193954 78852 114478 16405 58302 226940 10818 14306 171911 143834 201658 178326 191399 1364 227677 162386 121096 93741 149780 236807 176517 212071 133834 129885 34559 172580 188552 26673 224916 29726 143172 4588 35870 211258 90409 218997 120751 123727 149171 24195 1456 187591 207086 174023 240430 23209 71824 128549 169456 2580 84710 33225 60457 97122 145950 84770 132571 56445 77988 209868 112742 219926 167388 34784 214788 17669 246578 115599 83754 81807 108916 223657 85917 71243 9873 118578 63190 120568 190172 80683 191628 210227 81906 162839 71613 169952 163784 188320 15131 8218 91471 67458 16120 223787 17902 28901 189364 158642 233944 60068 41354 80771 131521 123607 243727 201532 50087 113200 231725 217477 182268 120286 227428 49230 114327 32461 174061 71192 44374 57386 89355 129840 127710 92202 143336 36300 76503 125322 132187 66377 132108 153914 133101 214724 97988 198072 52248 86644 133043 87571 153931 230806 41805 117510 36819 238806 38114 165373 13652 154647 79112 158077 178559 146669 120368 198874 142067 76510 139551 217324 185784 127507 30602 69047 224306 163608 41968 126435 231051 172986 230041 231282 81310 30306 134924 6899 142939 70534 192340 130160 181030 43027 10068 174667 167396 234395 6725 56680 14429 147950 33126 174661 100324 228494 136049 71837 64940 77198 39907 158359 77747 101046 198039 111602 244501 71701 23983 190058 221823 140191 79451 175014 142020 101548 8847 69420 247622 221941 6351 218588 232934 188109 119784 13191 65111 94126 97952 124842 214860 218267 12845 159364 101083 71341 78180 13812 174146 130723 157183 33643 85092 40804 63950 167302 114010 11477 189072 210972 152349 92284 53574 214458 166417 149476 211614 226719 177305 62325 118080 54225 34289 134324 228684 183371 125282 147552 693 22704 93232 147893 196020 185565 4568 6113 87664 37514 164861 195995 212659 146175 113446 28382 238723 139516 45159 134270 133038 178256 128652 241076 220541 108466 30631 95519 156881 77184 211988 200845 87707 185627 224148 191153 32366 226257 109620 82072 241985 72454 222876 91211 2770 69024 206026 199447 92346 210499 180577 225667 209128 248359 235311 161867 7692 19973 192730 81142 152797 219461 119551 245175 229029 47665 38466 230499 123203 117633 115571 61576 74415 215658 211986 24479 246043 193815 200444 237726 78392 122651 11908 203269 154376 203759 85391 209065 68582 115520 147299 206487 231615 213812 239429 185570 134339 72299 34823 117831 40830 173985 73728 10483 238687 11954 103535 951 46072 156443 79506 25780 90322 139217 94267 180008 236096 173440 232051 213761 108267 127176 109878 95947 94628 208459 247072 171260 223906 136465 217898 41154 192998 39545 17675 181023 132310 174891 157355 75480 50288 143183 156676 28662 38740 39653 239052 131219 63586 25083 49490 180515 177126 238067 72155 231710 48320 39684 214587 96467 66599 15721 125096 43470 61699 158382 110023 25683 49336 115394 52011 181737 34542 3167 193788 82180 246045 252 25993 30099 237645 117208 190966 169390 199612 195735 199854 207656 103176 93934 48934 83179 32497 127050 40624 224712 106791 92660 105588 185618 54153 209515 115543 187334 159429 232517 64593 235853 12047 84908 190163 240410 228213 156877 92025 164360 103663 43668 91257 52427 28903 100478 185951 10010 193503 49590 92527 197637 74399 221574 182462 54197 185133 227935 204627 90312 50784 195821 200021 173864 230251 17529 232570 141216 153182 148829 145587 226943 232298 34525 215586 15852 177500 82483 133955 13024 245964 246859 111196 212197 174909 124508 108691 227592 153260 51493 145584 92442 110682 104975 125463 135012 202867 40328 33951 198137 135825 246003 160009 246240 282 129918 10984 128687 198267 65689 28686 39192 56066 207281 123148 16383 101678 77281 25745 90410 80121 3282 158749 243424 202608 49221 2134 166644 189138 181226 178295 60966 171143 128592 21046 175098 79511 38925 53980 197963 207713 182690 31646 43029 107930 231149 3178 118076 82245 244009 28818 62135 210632 174838 177173 167875 235838 168831 19830 62804 121418 78600 54871 113661 132649 93126 216439 243178 91165 137252 109210 109077 2186 240801 231193 34179 241996 15434 111081 158915 180101 60030 165488 60652 114291 95238 152082 72464 224094 224078 28757 88625 119568 189212 3606 273 158898 55276 13708 41026 201654 225107 139829 199654 45828 35724 93598 179669 42281 27539 161530 22293 233146 227896 86104 97769 106185 96461 179180 192661 66741 129292 237934 107744 47653 69710 124262 6000 158103 50113 172439 224635 242585 86348 240812 184716 109328 74118 127395 17264 214581 209755 4805 126145 96458 215025 185591 91974 240556 242967 83335 9763 42393 30744 123941 187578 197742 215906 14015 116005 123802 113593 154435 188718 144385 152486 225741 112537 207957 59823 212703 247084 34393 172208 238984 90369 67333 13828 202169 140684 43642 66781 161374 228448 126489 28769 223786 118862 227992 54364 159752 20103 244731 26934 140495 1898 46649 18553 70860 186537 228952 185988 25295 247105 149915 93324 25888 115578 45460 70358 205349 103895 10490 219112 202844 196660 176687 193680 167798 184467 188016 133120 247353 127514 116553 32340 245073 236012 40793 174685 51755 86053 140726 169473 236480 139600 123683 157722 114380 100610 93403 240394 152822 91440 89019 96817 176400 44120 133238 182331 116138 75778 91495 1628 58725 93582 50408 36477 120819 77552 205826 71086 171716 133637 163450 72264 239401 241122 40739 118711 61610 121596 172479 124041 139421 196814 233022 245826 30471 39566 143754 104351 181661 226403 67278 72220 222465 94416 109975 191078 206937 196580 68018 118592 223246 111377 10888 176792 174752 9956 44210 95577 99705 126509 136093 165227 30337 191957 234136 141114 7895 57380 160661 158221 86301 27578 100799 163220 205307 94921 118865 2145 155879 88857 99499 201391 199068 162970 218546 177269 90479 236805 43316 223741 210327 186704 23945 105092 216087 129593 81203 245216 120959 5721 241309 49818 68588 69300 83249 95314 135709 33770 69425 246453 210556 67631 93165 119816 64455 112488 46626 201981 225147 36807 144266 127987 120028 201647 229488 159745 128781 107131 176179 539 69914 86887 243126 226304 156103 183142 216905 100412 202899 34310 39314 29453 155894 233611 123456 35524 18393 210878 24397 203500 195210 85547 155345 185298 82821 55391 247435 97043 104844 46571 159342 242658 31536 212561 119863 3497 116657 15608 76442 214804 125828 122144 65011 220970 28255 112822 28915 65074 169652 123486 134174 221871 106505 219733 164764 246639 207186 71763 227605 88725 24312 189046 68264 154385 198329 214155 137471 43569 87039 63416 102774 216287 40761 45222 182006 13293 101991 125987 102852 100638 218607 42809 163157 188981 221756 126520 101441 232183 241405 52378 151342 243208 145337 163535 21174 213144 170397 46762 219155 117817 34873 151860 151726 96133 141198 24025 46339 119939 209806 113122 142196 100048 70005 52471 219382 215887 169757 53745 12817 112472 139029 86258 33911 77458 146322 73273 87359 73615 152464 157405 140595 69806 139525 19900 202960 160630 33260 41275 68057 92174 13266 73378 98227 220076 226950 75541 173810 131419 202233 57340 238773 49594 38622 141109 209653 204210 21617 245711 187339 70016 65381 68403 166152 123853 206563 104709 96479 225764 146916 28038 73368 158648 22931 48981 216514 99595 41091 223296 176724 91666 123988 130535 243289 121265 10773 85270 55892 11797 195221 37654 36808 58369 182519 236741 40543 43644 198908 241386 5771 188865 231805 206707 88901 32566 6192 74721 230646 114984 115404 64032 31943 77740 134435 48059 63113 41715 148908 114698 66304 80318 171417 204016 51476 74981 75496 128725 78377 104321 18103 105787 237833 199715 102361 221229 170603 96710 234836 248115 61394 247304 79735 100865 133112 214523 32245 236222 156503 127421 42311 247336 167688 4845 127909 32649 77320 240622 145237 121666 136953 230878 189561 125331 99221 140626 98658 237832 45950 53874 96667 17386 178966 31243 16638 236511 43686 145577 96753 193088 78111 218579 149921 8559 164774 215777 159997 223024 127279 86756 116589 194823 91361 80356 125798 154872 212317 30849 37214 217883 68726 40364 56372 55166 32894 43717 95038 201700 144465 160525 136005 213485 130908 144320 22841 6298 56200 232452 12878 230131 172206 150672 244648 101319 165096 98631 13804 53532 215416 33265 235516 180264 174072 59376 192901 123880 169350 175355 7538 200312 217162 151498 144880 159827 191790 98446 241722 89508 44452 235719 225246 181367 25499 188056 81366 156594 58933 13340 46820 214051 17744 227396 152540 145015 208760 15701 230916 91325 211894 223291 42287 5188 150932 185389 231625 7232 29445 109913 25534 70427 53796 536 116262 98202 200204 83768 164719 176390 70855 215146 179216 226809 29281 45955 221035 127849 248256 207963 178079 196929 211515 112540 25982 35449 210528 34416 204008 95431 125079 204549 5464 100914 122280 136151 37644 236296 157657 1923 84657 112236 161284 109753 166965 238807 121431 82831 178307 107293 27345 246343 102298 2993 78987 194332 171817 13076 57730 59703 145283 80561 150197 144331 238522 188858 241970 100047 172890 231825 201349 19285 134504 25492 89770 146903 131837 125582 169890 186954 164049 99890 240891 243966 94971 182696 11133 126554 186239 181803 19667 185034 210476 97242 86507 15398 75584 152108 168083 87574 27408 90245 44191 111289 158640 138618 126171 14442 160002 184226 220487 21827 109710 79271 235133 105554 2471 37746 112633 9563 233646 179667 236871 240236 87683 15609 39430 186409 8552 150228 23148 198625 22361 92281 237505 125170 244145 213054 143179 134850 19134 152831 59118 140801 185148 229662 101435 69077 208229 19849 88765 156754 247639 187287 236033 26907 57518 149621 185595 33202 24526 40747 51769 30455 175856 5396 107380 93815 101647 133355 24407 97473 19320 163728 156149 146585 109267 56705 142130 21504 244976 126639 197562 165145 60372 207938 34526 68477 236760 117428 225249 14036 99555 119871 107681 49043 232635 182592 231852 68122 137929 107825 163502 129547 7418 145986 210511 66020 69987 115801 121972 34828 204007 31330 154028 62187 23079 127266 11725 186089 79071 174511 8945 106883 160140 42995 78559 153827 168652 109367 124100 200658 155989 100422 23054 27449 195788 86218 187149 8328 3956 26122 48483 42249 222916 152205 229685 107656 156232 176201 196937 6979 215678 25306 108855 20247 148672 87292 189696 107363 3952 232637 37716 173350 202778 140652 19628 156467 124355 21757 109146 227590 235241 41574 32056 42144 234774 7541 114577 134411 125560 103508 148239 106306 3309 147595 213255 234153 73005 123647 133628 103306 130923 67485 179719 193484 4457 128800 76989 220582 29302 111595 53741 218350 39264 43182 89287 74129 240572 70055 41533 23667 236413 247620 29901 125653 226042 141259 216377 183083 186057 179465 221683 233634 35242 6051 80319 214522 145410 41021 180584 228076 155085 185118 6716 151153 223978 194586 222212 65805 27465 216241 233464 124022 239847 102943 186875 19691 236650 243460 246258 37136 234065 73806 79017 233110 244999 211124 146550 198790 197497 55113 78929 72458 26766 217744 30719 20965 172416 54132 10380 188816 159356 101990 82861 146946 29265 89979 235845 50005 33949 63972 41797 64915 217597 28383 126393 217974 210639 201687 72101 59792 176855 155996 77331 105890 246830 162818 141459 33839 229288 211849 122278 55899 146520 86284 204373 56413 66878 165300 137571 222328 224637 9199 193204 15382 137189 161131 82546 179404 158161 4127 112160 197153 208035 38322 66764 104598 186174 151879 31832 6419 130519 200058 46958 199620 104884 162743 215965 112987 196506 72000 225138 137554 234634 121997 43566 174150 169411 64838 135495 81260 123839 224988 113106 14864 143112 158169 234296 110859 69744 127496 8923 113448 234405 107895 98032 29221 149214 165659 134736 224484 140312 66968 96441 116140 196425 206333 83975 155336 121740 119736 208051 15583 203395 127512 106867 243093 180310 75639 67033 178807 34961 245980 204227 368 123500 98635 143246 241526 226129 181599 2751 55981 214544 45877 231748 198318 165001 64834 73884 154402 94181 163580 161537 155820 56635 23265 155935 46366 117618 129963 89848 99962 113534 125506 31165 83779 52423 182627 153654 39093 128975 225456 56361 173670 161375 70330 148478 39896 84339 48207 191779 196950 191755 125843 183145 114044 59096 230972 203630 132463 29616 194562 26330 223626 109652 81330 67317 209759 134294 153782 203922 31992 87362 115762 9089 189098 98670 131401 26140 49622 209205 178222 72022 234368 188626 66169 71174 201918 241105 172345 228009 81790 229892 225016 61078 81423 40858 227768 84499 22639 75242 43690 191305 11079 21065 188446 231589 162154 227357 217398 161527 7054 154781 147565 207908 166437 153015 7472 161197 133889 75012 18193 202064 110816 114411 21805 160820 17627 221826 61817 185231 136672 204862 58214 60377 138129 187784 120623 139056 77299 25199 63685 57628 152940 84085 2785 181591 218024 190218 213964 133348 218875 63394 157753 64865 242787 49926 199254 14765 223371 247376 192055 126542 201 82707 99241 164319 38226 14621 51015 18326 41659 117979 32268 16998 33938 213587 5717 36511 95796 72813 51718 79433 2441 131382 223507 9413 119957 195341 176891 24887 10551 96499 16929 154036 163979 222379 86159 7201 15664 82604 150090 105148 235216 65639 208848 98509 211714 8571 243262 106386 23712 23176 202537 133514 61455 96391 233698 10897 203693 130488 112259 173332 121820 106635 17167 121552 35777 39718 246362 229275 96809 98999 43123 181172 97344 85804 65347 187953 247284 237553 186050 61827 61487 244593 78810 43516 134372 18375 21433 125610 63814 63603 162173 11346 96136 216595 83128 183583 96917 97862 73533 206663 67561 33751 8387 39569 91252 83699 2490 200181 60996 218320 130150 90825 181472 179720 30938 37468 109238 115787 41662 196961 209978 22259 194567 228427 57662 147487 175956 243345 42683 175324 144208 226539 90820 85817 42666 54215 25351 132867 51745 75858 203276 115105 1802 4567 111582 137845 170097 136828 243359 102742 69577 179049 63715 219630 153091 34919 26862 155565 70214 133246 242502 2087 138791 89631 44225 48083 106353 247018 18967 225790 144784 93875 105426 242122 69299 22484 131931 92376 4228 123584 164860 204626 197859 239233 213769 42627 22694 107905 73502 234815 48329 201161 204937 215201 182859 195153 230491 10610 91600 110569 206528 36401 158863 134687 85450 207255 145898 211636 54551 214885 2556 193467 190033 234138 36067 138492 89836 124712 47826 94913 201360 123290 167111 246948 108853 62507 209088 177661 121019 88401 71255 164308 241621 32779 226595 174382 241138 153579 20530 83182 32450 120129 90560 124165 136932 94341 48359 63818 22142 75923 168661 80881 57899 181530 78723 78970 185562 246527 35180 188592 202357 223400 164762 100950 201074 204809 49082 170723 215244 196350 103285 172604 8549 147615 98131 133365 177012 43696 11217 228347 231750 55208 93873 47841 230013 20107 33573 90157 143015 63913 229727 36452 86720 185711 248403 28961 223306 175489 217804 3972 158861 35178 233039 127305 70164 155778 238779 139362 203990 202210 175929 81248 186600 5385 176579 143992 106058 227800 238785 189470 34863 247912 27438 196940 108322 160170 102266 45338 128626 98837 174795 214260 22670 133776 38012 191482 62539 203258 179694 104171 158606 92112 243427 241729 206063 47040 19046 151612 40620 245762 22657 85296 235189 10502 69355 143882 224271 2081 18871 203988 245157 50990 218416 156925 23379 64527 8720 146524 68197 165337 20405 21692 3476 142278 4637 214331 32825 45085 56794 173976 83570 108399 87671 246401 133371 73200 226338 221618 174215 240644 139479 183193 202353 171788 9496 172240 213740 149681 25314 68592 95533 116686 148546 107962 233244 23221 46010 181991 233499 122109 193939 103954 13940 81664 177562 108504 106752 62873 89490 99255 45313 153479 134881 151490 187371 48710 188295 84196 100776 217549 57404 180149 91990 178359 28321 118556 22386 229107 173067 171722 220323 167103 89852 104272 106147 107654 53343 42911 147742 208039 137921 143587 87993 236894 243765 51952 219120 112245 22302 62034 79658 95499 38344 9675 106662 186908 51849 8381 126881 98311 196843 166021 126391 137871 137576 24928 63868 44895 151331 166893 140032 59315 67795 101183 221133 151828 228400 51861 219646 118637 16179 138977 205893 30159 63180 144057 99832 231536 121990 198691 83879 165223 247725 148413 99872 89682 26164 175913 220281 102267 223482 179032 208495 2973 162326 222491 91449 122761 174670 39155 203188 6806 172627 73923 32111 79870 92766 55154 105402 131128 88178 237470 127017 83191 171913 122870 92432 207967 205269 240896 112754 66706 222006 132039 56224 65062 247466 131111 76255 164126 193625 73654 79244 203832 154262 113728 220142 112553 201427 174683 6658 220587 187723 10001 160352 179055 89544 212516 65637 246460 164636 172354 162140 76851 63445 123830 242999 188882 168211 160981 122417 174446 134236 242608 178290 140871 207528 125563 102563 193260 194474 134071 57763 32126 209995 51255 115202 218035 247812 39413 28765 227063 171923 226640 244363 232050 238269 151862 110760 177942 66707 71664 6395 151487 70642 76764 231121 159493 112835 212074 4580 17408 164102 148286 94080 197269 96399 74409 87025 220798 143142 80410 19771 118412 173138 77154 220024 239276 50115 165937 21839 175425 219459 124161 79605 131581 168148 12046 215814 36147 137125 13106 70590 75006 146280 211771 223005 40846 204783 45316 13422 197278 124337 151513 219094 154401 205031 81258 100396 95332 125634 60957 7178 233393 161234 193818 233833 124218 240088 191906 110392 41952 34086 61797 58289 204391 189999 60501 23281 51306 225736 150709 13715 158833 139510 213941 31665 93583 118712 240818 232346 141995 30288 245664 129672 201127 14847 195993 130367 157536 39484 209320 229032 150816 99920 186937 131906 168512 46554 70303 8841 172368 214415 15771 122918 246089 23513 97528 175973 38886 19480 92160 157725 240447 57543 88175 135649 78958 224216 144728 160054 69872 130886 185181 237063 57623 196058 226716 163160 72213 166694 45468 65554 147691 212501 24447 60791 190345 71023 189334 154820 154951 68180 114828 229580 109025 130719 51700 233839 142113 176742 33077 105448 229117 141356 66077 222395 154211 157203 13432 38577 1351 63967 2104 147123 131918 15215 74668 234253 33869 58001 217156 199745 90986 147534 3506 210298 19246 97105 182312 5855 49473 156083 31558 13717 82578 32800 115090 18080 190902 14572 176674 34492 186821 195451 240003 9954 214681 150239 52658 49522 231000 176711 224130 67914 223318 155550 171127 231970 125905 184976 16432 206879 84119 25655 70547 74014 194468 228449 64119 213262 226142 21847 166581 236642 128981 165310 184393 193696 131597 19032 108601 154042 101618 247219 246913 231071 151250 136287 222426 51076 126414 220841 140138 154644 29489 47058 105396 20720 122335 148904 109774 169037 49769 37652 8362 96904 36115 49666 92324 174028 183792 37415 204854 57459 136266 106468 142820 57841 245102 32029 124127 208558 157736 198189 141638 237983 114644 214750 181049 188919 11690 76021 120335 53700 78097 108602 66353 174623 18368 156485 7247 161649 18648 155865 135742 172105 18107 56956 125077 199849 38572 242011 114661 214790 109726 212075 173589 103264 24158 56091 44729 89411 48526 207905 138251 92913 51587 162808 144059 33884 242126 210102 145088 246100 237367 242139 160695 18607 228191 28878 2812 66262 51381 141687 244739 107271 28017 20870 137807 187619 246077 183043 175076 202224 137899 92734 209869 3438 231818 20964 124104 101061 246450 22846 48530 206924 131960 211691 55574 27155 23187 216830 229628 192299 53643 206277 91420 52876 193400 248241 131276 75097 86137 213400 218213 201936 136194 61770 154687 138453 90196 51002 174771 94027 73679 40379 12869 3284 96842 3208 247861 238388 8941 29087 65563 71384 110117 186844 50533 225136 214320 99750 50907 246145 167494 122102 220627 176109 96847 14636 33558 50677 104548 82700 150154 113916 169134 71585 204107 163068 75570 135416 155053 86901 46686 221857 86607 94014 222067 212731 233468 141657 246475 158295 26535 56101 135576 104158 165514 195507 189244 88404 139306 157389 209495 247314 110575 15924 154508 162257 25741 17195 103102 13148 188487 127725 47937 205102 123190 129763 81577 111376 39919 223103 87110 132441 78168 150794 139811 247152 36470 102220 159962 167520 122321 172981 241849 145189 187535 226061 8526 52975 223092 45849 86635 228687 157623 29604 188940 125911 43205 186413 132019 91842 186599 59628 87770 189990 190710 132619 212951 66793 123029 77269 107509 244058 85275 247743 151840 158089 207754 64075 143073 42871 247258 177869 66830 185816 124033 151406 179131 154701 100351 60673 162192 62337 234638 8987 228819 29182 208062 8584 89451 212584 202976 37612 51701 65078 131809 223799 84845 146661 34612 52913 69787 125075 62549 95937 49124 16539 197243 165347 82785 48733 150413 165208 124614 49367 195992 104838 113899 96490 29881 11083 88595 142595 49171 27064 78054 108133 220215 107677 185005 10673 79852 35348 82314 238419 106201 90376 34540 94250 119443 125711 50171 18119 195185 42026 120592 211784 85204 108562 243989 110846 137323 212574 180341 171285 46324 43148 148972 87470 151503 184050 54809 92971 83197 61164 134512 67465 97866 34349 93014 238813 173438 46006 47341 228043 121717 90380 209447 75161 129137 22389 6727 100138 45138 86818 74234 38543 245214 215458 218615 223858 33289 71132 243090 226047 209392 93212 58934 193797 107327 38566 244541 237843 56446 8625 50697 202702 45272 129000 131637 12766 44053 179839 176157 176839 56226 186799 190448 182188 193 7727 15879 132898 19202 177259 220501 147846 225632 227914 43437 158607 21755 158967 47438 211987 119780 5868 137939 218036 98031 163346 225007 178283 134891 85828 183077 8188 63328 214389 66835 137228 90319 47902 93498 206190 175551 123191 207140 164737 190313 149470 47328 236612 160326 120455 69156 56116 227339 103585 225262 3053 246457 1704 6173 248127 109558 39783 101727 78173 140514 215655 227172 74302 239174 77300 142060 201838 101150 7632 1471 69778 178205 113096 60121 230445 175174 109083 179574 185573 83772 86274 135044 188505 77384 200639 209579 78299 152530 125092 69561 230418 46808 72898 157419 172296 33117 151389 52583 50552 171824 193949 62176 163205 66963 120844 22342 24688 10967 240510 244643 209425 158660 19949 52084 136058 207486 95453 14679 76952 136770 41705 199841 159654 176677 213361 8616 161574 108211 12966 93003 31929 25288 129019 147323 174056 117509 229684 179896 158345 234393 16153 76174 18979 48225 75091 157522 204411 87064 206919 84821 129346 89939 243021 167639 62129 213099 136404 40690 160093 123885 169159 17472 95102 62639 111739 27161 153466 125035 131221 179392 215721 211309 132622 58413 121388 220119 80500 244217 8712 41019 79841 166497 222446 78432 166395 72200 23816 182348 126051 189331 70535 113349 226747 204784 81768 57740 53786 35303 101234 120469 84578 244215 121439 27464 208184 178793 128528 24974 20053 33638 173169 225491 104863 86287 214924 104602 157779 67418 132802 198 53549 159854 154481 114224 56957 108702 165330 182318 205891 86889 70201 41915 210681 83732 182311 135691 96659 62809 136684 234399 190240 206272 222786 188287 2472 150834 14868 151520 170467 226318 221213 223926 1025 204741 81349 132580 214514 108935 116371 239184 43088 231577 150370 19014 76545 237784 183667 67106 218288 149637 186598 72133 87697 14367 172935 122920 218822 82164 206310 191217 80658 78837 165141 185293 108405 132072 163081 38557 59048 69503 85387 112192 218961 233167 43867 159430 64691 31552 222550 108727 210390 165291 159734 42718 70585 103762 141589 178652 130695 115795 180115 170888 63782 50604 151349 130132 64948 10579 63414 624 17054 241941 28855 88321 236517 67381 160351 118836 131227 81608 170211 182650 221940 79715 7016 56789 172278 175763 185857 194698 1873 120585 47276 78240 130131 234443 180513 202291 38131 241658 92359 205050 217452 91078 219981 208061 10654 25923 202679 133902 92227 228061 61055 91866 158705 58298 9971 50671 110476 50418 50537 15840 107024 134200 235083 124155 50270 46382 233154 144732 100679 123624 156021 11325 139727 116656 11293 147733 701 106208 83094 123269 152457 169997 158278 102836 238452 165439 3510 190217 127328 49631 34880 20541 62932 241623 31147 127807 188248 95022 172536 207311 219306 207391 5006 101512 204638 86437 180645 21835 196706 242600 209303 247341 143265 183883 164535 20647 211072 239227 23537 42312 63543 138789 40870 87482 155510 165965 59142 246289 86089 168899 36466 3710 179083 23015 15836 132890 123763 121617 147517 221950 225089 99570 100149 17515 117529 130467 84334 16593 4473 211695 5710 102221 194906 18223 110961 144763 183210 96946 22329 41787 239412 177109 55668 216211 109950 57158 149511 133281 26392 130304 28273 15677 207994 164212 42003 167454 157930 112314 64207 138144 38452 104391 82101 1833 25783 245433 87538 193926 205931 217721 126148 78204 110655 165341 64481 107428 135242 159899 43486 234732 41003 66201 21077 48273 62982 165695 244071 248257 40153 89306 82979 149969 225561 201254 177369 190824 84867 76931 243182 14829 68349 218904 234491 6480 85045 205052 159549 222404 64400 177828 154848 137246 21778 9065 235926 185941 225788 93797 105478 128646 242355 218666 245515 48421 100903 29273 49433 62443 101900 141752 193369 85932 217851 545 172026 119686 140503 100907 51221 60572 108669 69138 183384 179060 146365 32627 110710 23214 94320 128451 154663 231076 13290 211613 62096 78819 117715 169326 244994 133728 44229 186968 110330 73450 144861 93639 175106 228036 232896 72348 234665 91256 223859 168715 55560 144923 193439 82376 84277 1445 64372 126622 48174 172768 202701 167725 104696 248270 31394 57418 178889 239488 161782 181715 29602 137199 156798 11269 221662 172808 106002 155640 103682 247880 243194 205453 54894 186898 30214 185766 242388 1538 42799 34704 31214 173150 143776 190320 106150 23052 199839 122593 216345 121572 145848 28375 30239 102485 59668 55177 37983 203850 85962 151212 227857 220580 90703 206552 194300 64494 238602 173101 13488 110581 103053 99327 156231 124483 40104 64267 73001 41212 229937 170715 107411 90171 114716 10102 19770 138534 236239 85184 149842 200768 195559 90141 66907 186804 165975 19769 38019 5330 46415 5921 147677 67796 79393 23602 177722 70062 51138 64923 152546 37491 34290 135314 190875 112158 38215 165950 239280 25480 8665 233602 87627 46409 211306 207786 118794 199474 109548 178058 23333 145726 33844 79227 171842 28385 173055 11039 144626 18379 206749 15402 76282 175125 34213 225066 226038 86680 194488 133007 77969 212210 19319 38430 92529 101372 185579 69445 227982 118219 103936 125673 76222 142056 161956 114403 166344 221513 15371 218169 10097 81662 157398 9119 57804 176858 205159 73161 228722 148897 80545 59038 112194 197252 34688 98154 158144 180641 20149 221364 231986 203475 240034 59688 137689 341 178515 5502 153254 95528 69279 235239 464 19217 168802 144409 236657 234222 89748 205704 182643 70992 211336 153338 215076 53476 91734 227389 213416 172156 36502 214888 216428 216098 58556 155602 155218 153612 22779 81296 122644 192121 36869 183668 202067 208397 81632 135372 50991 49951 98565 123691 135624 167505 111681 210596 212619 93824 174692 201778 138917 165857 118347 74520 110119 58239 136995 161906 217632 134778 71449 163247 145307 26224 162488 231093 215405 55972 164491 214358 234733 165202 64645 28806 126793 147770 121607 101541 99296 151005 7587 227776 27953 80504 112672 64425 168684 237572 84374 225299 184483 143878 8874 219967 163805 95911 146729 159698 8536 13788 189230 22645 11468 80458 24907 154377 2126 188402 176893 52482 144774 110464 36922 80960 197876 152328 82721 5732 15459 242791 173223 99329 88863 127083 71739 60218 105694 141217 181018 203164 41860 158972 235997 30251 231009 29958 242719 34830 197020 86135 184531 239635 124249 53059 212114 163048 48727 84812 119651 158308 39910 7359 149069 225830 25227 219156 53075 203321 108942 73605 239435 110916 42507 124546 217200 211393 104443 106534 154722 81073 46248 34242 172263 133558 153929 94702 60177 40254 233987 235672 11645 206602 127393 153005 166211 69599 11358 79124 40192 194898 190627 106692 236580 74237 72380 181208 24487 55039 89997 140641 72081 149032 179674 201720 160440 63251 225496 193037 94369 89365 188952 145762 216097 59763 107404 159983 234600 151453 43090 229712 183225 134067 77308 117703 87358 86527 195869 99965 246637 152595 180108 244392 16208 67344 23863 238053 21197 151811 175558 154483 27828 161826 128541 233217 43618 86161 165544 19112 168986 214318 226611 105453 198794 111111 82833 61776 233046 243906 219991 148153 146085 5715 189409 25335 32823 228554 120330 187271 191438 11656 131441 95176 111694 37396 85531 232672 29804 125275 155804 106682 72511 31269 90255 229588 205682 57201 143444 86025 20314 70603 101230 60812 223662 56533 69602 72366 213015 208125 195112 233843 203507 141118 210676 186767 124928 15429 54713 123648 82329 42116 188491 153582 31029 80679 155985 108960 133615 182444 242028 2963 120930 17486 37882 193684 118405 26737 97135 237669 218089 21122 138458 228290 177179 163705 176873 91570 12058 95572 175400 200303 185859 228304 56537 246235 216589 212879 761 232655 68576 141532 141866 203018 170401 98016 167042 90275 105289 166908 53101 143965 150462 76383 38456 133635 73077 201030 189867 7498 100906 129205 54642 245208 158074 42981 36995 21287 207483 199595 161627 56933 71317 12051 8164 26645 149342 178090 96411 45620 45092 114742 134830 80360 114184 125459 101595 162174 85053 141362 224838 155869 193360 247483 135023 200696 54068 9252 13908 109510 64803 235022 116812 218901 91345 127826 95407 168628 20958 181373 197073 218299 8780 206521 234152 10790 80659 34314 108345 61250 199712 39117 12579 225975 203127 87633 18230 84639 51966 230525 243674 55084 245643 112892 43913 25596 44396 240294 171052 245983 46585 133995 229400 209466 4291 22837 195140 177944 12421 195887 214118 176984 31122 63398 51394 116740 219456 65083 182420 188045 44355 81774 94765 233840 139862 128280 24038 133923 191939 229687 91020 72772 180497 75994 124125 128557 162118 84512 67608 183699 91957 84167 55830 220807 159863 95110 204365 208635 55861 9134 105353 246838 201543 95088 34385 100386 43653 59227 182507 188008 44134 195431 34804 18978 164467 243978 141714 140622 198653 28187 210303 124554 187225 207471 186753 122775 126966 133490 67263 178699 65286 13677 229894 231220 182809 220683 111618 86134 209906 174174 51986 168957 125424 175676 183821 95278 217640 190921 205340 115359 38089 85880 65771 49400 172049 8521 26687 85568 136948 93079 3801 177694 18239 201674 122931 145369 107714 90671 105435 167335 43892 80140 86467 38654 196148 82681 94814 122633 5967 141989 3919 83457 161853 26784 96079 79129 110743 226465 101766 40838 5331 171604 3765 201075 57644 186659 220143 242518 93696 233594 49854 94997 246178 118920 246013 172894 243569 196686 43648 235008 61543 163542 59037 151636 116239 13136 153716 164499 79998 215985 113304 242978 156558 34431 149456 127400 202187 248113 223652 2486 112761 156863 172623 189151 64078 19416 176119 16382 160003 225417 77245 157780 70799 185741 29588 160353 234250 194646 199472 261 37947 61850 22983 225968 126179 34790 98622 183587 33739 142360 25866 13051 184917 206244 92226 129092 33747 117802 246029 135247 88032 64885 193015 219985 63829 72089 99519 102718 216085 103918 98533 144468 124938 172858 244040 183715 104101 226351 120039 46628 124574 42493 156642 13429 32351 208256 169619 67125 55466 839 146687 119783 127171 2615 101534 63070 106837 55238 100782 51504 126216 43741 110936 166682 122917 27723 197134 102908 94097 34840 28812 64849 87077 171839 193576 18923 89857 103184 60054 45933 17213 177746 155116 116791 147491 81259 178585 105001 161581 146351 209174 245315 229459 131069 62675 17496 202767 121788 190620 38630 54228 88257 149973 85115 66820 81313 143252 103963 149782 63617 97620 14625 45172 215529 89916 241748 21966 21845 216000 15860 172007 91635 60373 74848 182114 110788 47458 146766 138727 162723 76422 30375 62488 150589 186170 226544 6654 138205 240789 201333 164769 214950 198841 994 81470 196834 196730 173496 26132 194513 92506 55198 51473 205047 117006 8506 222387 212864 47645 182194 123379 47537 131869 156249 63240 202769 205248 97127 158718 211247 113729 204492 187210 35337 205337 196640 200240 193573 3690 30747 190989 131180 45931 193306 94212 72422 55486 183202 104109 175443 225077 109144 182784 78682 17500 87551 144646 31195 174557 178163 16064 70177 5225 46309 62362 203464 200433 39512 205955 115833 141748 216576 160638 99688 234933 292 182454 19611 178594 217667 186580 203073 83635 177991 184517 8560 10154 232270 43818 148582 175849 186275 16305 60289 99589 159921 128213 45893 217255 144025 149868 115548 208556 169424 132375 191380 182456 168897 206361 163265 221508 25753 125557 180041 143993 202071 77727 144111 156425 20842 132254 193621 174168 135636 149649 175024 45107 31287 64440 138806 180007 202943 191518 1034 70644 106005 28430 117027 93980 61856 180116 134592 162373 68864 231272 144874 166281 164080 29183 15902 196679 98013 22984 58638 193510 101589 107076 154429 238866 177779 8322 93328 32291 199596 140211 199375 80754 63453 31535 246982 98018 167347 189938 186829 12359 87062 206453 9530 46410 15780 228602 82959 51709 238580 5151 27204 51004 241751 10582 60534 108613 12219 11275 33742 12790 222255 117216 42408 86249 46673 81740 118128 167830 54448 240909 69200 150920 149012 22502 79223 162478 174676 147079 81878 148900 32892 125925 184125 99392 209586 93488 159207 1991 111936 199441 219510 195709 122766 78765 153580 192999 6931 36216 6189 59813 76688 1251 153118 117426 110262 5350 170562 92214 48800 22557 222097 59094 115669 122557 150812 137053 11632 248013 201717 189731 204656 155930 136231 230808 246748 225740 118928 106604 117143 43453 115797 118935 213237 209106 63966 39911 222206 222952 166504 221258 106755 71606 187770 51529 107210 12217 99102 61038 242265 22435 225549 13226 218149 207872 104295 10284 38652 46693 160474 134126 15564 106038 23055 85085 22384 124119 216046 67686 70482 148705 204410 9353 4345 167015 127353 29680 155316 181016 168228 110657 75624 66859 163673 64562 141920 42177 127071 3955 72614 68303 109178 151255 131159 107348 242272 13718 138390 205776 178094 190718 59767 183727 174275 7344 75877 245257 124250 181125 201096 178265 176550 110850 41643 90618 163734 168645 169203 190865 218522 80972 119561 237014 206207 67659 44725 135859 213024 136286 203275 76786 45585 188751 5962 15357 30999 167143 179335 114977 230205 94036 148327 139464 63063 81500 172393 53432 79961 176472 43412 157625 205925 71518 66063 44285 23150 216813 217770 97606 91625 238564 117045 13241 159198 61409 171548 192841 155114 246941 1171 192363 76103 164154 26074 115572 76763 58494 75539 147208 5807 57379 241921 161034 158231 35829 142660 223461 245602 210883 141464 43561 192899 228365 75065 79991 171066 14601 154143 104102 240341 99880 208218 222155 143656 4339 221271 26672 174115 40514 2665 116670 147748 82710 194743 10314 236009 200683 149243 57545 217884 83102 35615 244492 28715 69232 101574 69065 47544 212759 24769 133524 186068 97815 221252 24975 214395 23082 21734 20304 77465 57910 224877 130690 52581 177370 57780 150659 6032 162664 203514 226886 159595 215680 156311 212127 116309 94923 181372 23428 97462 72149 152987 117080 209145 119633 155475 130420 154194 176735 17334 79177 100898 166636 64139 30435 48807 52245 48902 192894 75632 1895 77092 18570 186793 42626 46443 188663 95382 16420 22968 239736 33407 2019 66018 150766 152308 20611 229751 70764 228141 187832 22993 160919 42016 232671 209021 59342 8870 50090 235339 102389 211420 73725 226174 134847 244725 185919 196263 213249 169732 211884 192649 171632 93167 11457 141800 147528 202198 191295 190849 138676 38994 223194 118266 101066 111765 231286 83938 134895 232176 67425 97333 137749 168156 109678 234757 37982 121525 110354 182010 123489 174531 165589 209899 67545 116034 201737 224833 209215 44307 116718 201931 234775 134058 4467 88887 131739 16992 221390 41350 202908 243134 143887 116010 46375 236236 68234 18013 79471 144650 152245 146079 117355 198887 110769 195061 236800 219135 42088 207351 229423 61778 96004 13053 102271 71802 156601 77225 187173 27003 41886 146848 110005 186603 191277 93923 85497 35340 142355 11787 103888 102922 160420 206635 174311 188354 5725 84103 30097 216775 46446 239329 216118 101006 154857 168891 136226 134509 217811 220750 178946 100510 16957 35931 137662 106270 182092 155359 195929 183895 122023 117931 104580 234379 3656 29270 28666 673 14874 77408 1921 50745 216051 177916 65050 112921 220686 241833 62302 219506 220692 234864 51837 231813 43744 48255 53048 85587 63027 59730 181165 53896 166366 100686 97519 134147 237163 100682 6101 112711 97102 172992 236421 104524 151761 55192 40 31513 11994 135219 14583 246646 123590 112242 36516 137029 40542 180498 178953 158825 45690 2843 133807 128647 99124 164559 58268 13590 33136 146476 227512 53222 112778 78709 86219 104082 8914 175674 210231 164684 54422 146704 6338 219207 49986 31944 108753 91158 23242 59061 95229 5479 127484 232123 241782 162613 92017 31279 150068 69644 140998 75737 52552 93400 134261 99198 235784 109256 119027 93116 107880 227528 30937 164478 167723 64442 240915 216170 162803 64202 54107 46151 140425 33876 171771 193447 221725 16983 187835 39988 16498 242852 75143 116716 199762 3489 23133 123138 34254 49783 15252 204177 95747 3743 16708 137816 219867 245524 34258 177862 45611 86473 235671 9313 41556 19810 172864 228204 97170 132056 75384 24295 145894 49585 206247 117909 95897 12553 207433 238028 169397 99289 153683 132201 120338 229743 224614 215208 28679 171092 158079 63721 47336 84422 124075 224290 119605 36821 111179 159729 234509 209404 32477 221192 12656 213150 211564 215781 202554 94542 19816 240883 96057 81019 170481 60819 54711 75991 168885 175292 178078 196507 242058 33781 161931 84456 12451 187250 54306 103640 146734 232149 55854 123591 170721 103447 198829 131532 194385 219688 159655 41780 55550 186906 136257 59205 109436 161671 24399 62641 91359 130162 80459 188396 34097 61529 194246 188267 114680 160995 232551 126681 84968 124535 128141 214416 227362 210294 216889 115913 205104 246297 67393 206111 144436 53509 113173 181954 213732 208331 17248 108197 80156 9257 171507 182065 42078 76129 136185 146091 17923 114493 243252 234067 149390 160748 114862 36786 188946 235986 209292 44709 130896 18517 6311 13851 105655 68125 116535 207424 27351 197951 140774 151821 240952 54263 153215 11751 13062 97003 114072 108456 205917 7924 124195 90232 235553 128334 105524 49781 195030 162797 38422 92101 136822 89314 169453 71300 144597 236610 152759 19913 141232 234889 59685 27871 27503 561 46798 208093 23942 110302 95795 88078 197434 175652 8786 72564 222019 53192 190222 65097 168072 60224 12765 209563 6281 42859 61043 2121 150892 129024 173943 119847 191626 142490 98469 174794 11507 104920 61010 82829 7139 116735 67178 177841 222275 75450 17233 4745 110407 157529 52850 83605 167871 158860 48699 80651 230768 45347 93901 10814 54350 177394 95477 196275 181562 11417 231918 96828 244446 109576 115436 180423 10761 174120 177992 192852 43665 83885 170910 116558 41332 180659 73924 78389 19079 239674 72946 34475 134420 173942 237388 102505 213966 208627 203453 218450 132014 175420 55216 141101 115826 203359 177355 244456 200437 97124 39559 97465 206322 186827 120839 15741 73108 162205 149298 134402 221121 148938 138564 45622 214646 156390 101889 220141 9512 18931 129252 48739 17026 203480 166195 28095 61441 223061 52632 175030 209857 243813 131026 38575 43235 28690 212852 236924 75908 219972 141336 223223 109653 17032 102425 203816 242137 186585 115844 74568 193048 142376 219166 216066 7648 213803 115086 26194 138401 105381 111622 31069 220612 95950 48979 163369 195613 218346 63048 109612 39596 225847 13970 157817 17407 146936 244755 232795 156088 225867 93017 69289 42321 236804 206810 242723 211793 67405 34357 173806 226688 57122 123372 68029 238342 33797 222993 205033 133244 19054 19614 207986 54137 200180 224328 128978 93749 50797 106623 219848 14187 58402 7832 236700 173183 132872 143214 20029 136174 20431 220129 110702 111597 53137 127669 159137 62351 202539 131171 21977 55697 25919 57458 145882 110686 69593 117886 142013 159382 236606 227619 47835 31127 232457 170791 180492 35879 105669 118004 30568 98669 2873 86072 78242 7095 177434 39611 108275 127949 244651 227615 25684 2226 188496 144712 149251 102275 21102 237415 222236 32750 64460 160206 25310 140085 105400 210238 96711 123130 93460 219038 136946 98518 237866 204424 209050 31177 116797 179312 225110 213887 215392 147482 112956 82494 208390 23490 61154 169508 27263 175169 192269 164585 200852 191778 21800 245177 133988 57550 181271 234954 69277 229053 93433 230638 206145 721 81071 139879 76030 1105 111367 155257 96289 138952 110973 102963 127173 38118 78124 242868 152258 219755 52167 224820 58352 147675 42970 43036 74811 192217 128847 89220 23507 238464 200400 240093 175369 226554 216368 9067 90454 112143 123232 42474 101374 25681 245803 113529 132750 104230 47686 175005 82461 195984 51867 171785 189967 124948 181969 171347 120430 77653 95981 46899 11552 197444 187656 215029 177504 98392 197314 208193 228432 24827 90775 216602 44820 58758 111354 167066 230747 209344 185515 53433 135262 200183 233863 129953 201813 235312 176256 3885 105551 137718 185797 120314 246496 167374 18631 240468 152404 66197 189801 168873 80016 69629 63697 23401 3493 145961 136848 190140 30866 107021 140241 123883 12114 94052 116745 12547 241219 6604 44976 124220 87049 55947 178157 189129 61637 206389 211445 138609 164526 115176 178115 189951 175633 128493 140058 210650 233550 199184 230636 130817 117629 217941 219117 93231 241519 169309 161808 200009 5558 68678 57708 92724 184850 77704 2225 164834 101016 98945 155009 66636 42949 240176 235220 211011 177458 210480 1126 93762 174418 78293 23899 52221 61540 137862 84668 117337 127959 240998 65058 185333 104858 75683 127006 236176 43896 182330 201891 235777 71134 149168 81942 111413 173651 63476 105016 9856 87194 90894 189219 191917 25504 17425 198481 159354 43349 195801 171639 231085 119699 113354 169637 15287 207542 48119 178952 128115 92109 188132 215305 145995 73332 202164 211687 90016 147203 136556 30011 113247 117070 121702 100937 242968 221095 91677 1600 136519 59571 87254 117225 163231 115117 17613 215813 109363 201456 113157 192216 161011 120843 49700 195151 132495 171319 10569 63816 124293 89428 48472 158678 174074 5608 177164 143297 119499 3273 158476 109232 196832 198567 151298 44405 131018 185676 17474 164151 33171 5704 140929 139446 119585 79465 24741 10823 68796 27717 182862 17730 134016 55799 182633 28696 234366 153335 192484 107197 197510 149199 72483 98492 231677 242435 125723 141614 211088 19097 5291 201003 128102 69118 112578 95647 2034 55880 35054 60266 32717 102392 4912 201318 235403 31119 134621 243415 39347 7067 45563 246760 43705 137947 131320 25545 144475 209627 223863 32556 213126 123621 14100 83899 33705 84773 103182 120011 83967 148835 53034 17610 23779 213460 200131 105759 140292 5083 246664 144383 34459 176794 15946 134611 118769 88358 14792 242710 237671 174133 65455 201497 15125 174647 46365 54738 186461 37172 209708 16049 100075 174488 222624 21706 130249 202264 37597 62839 236832 169626 238684 108154 138681 74041 198198 126848 45825 202505 116874 145962 213310 239251 3968 99874 157156 204717 177358 67117 18361 178087 237418 246851 144625 13250 215505 124189 227188 75536 215465 244963 179346 242708 50433 224223 177083 12750 62737 50694 242778 227932 8165 190275 191003 137430 82020 44281 2316 38046 194441 13415 232164 235154 244666 173804 70032 73272 192426 127495 156048 174466 24179 228662 36074 23825 43706 106808 8889 200576 53535 43032 143113 66435 87608 229380 207876 221143 213324 26643 41862 170527 243645 218341 244528 170852 246439 165994 5405 199684 79739 163466 243254 21430 29494 194353 51040 174034 15885 244338 8216 115635 105293 66297 107009 211055 61803 122798 125585 215253 57147 45713 72036 172945 28633 161485 128534 85992 238851 238962 16413 37422 37810 141169 45651 229530 52139 82848 181848 95677 88565 102564 43267 216050 88688 122828 147903 113081 233347 85102 237431 211659 69848 166289 181122 10199 126724 171629 221835 114730 101909 99731 34969 94423 3562 128872 55682 65142 164254 58631 146933 169715 106727 168127 188803 189799 156759 80958 1183 26019 186869 127524 208350 35853 108586 92446 204431 134942 156242 172065 33491 228864 20684 82349 118168 4364 189000 675 140620 20784 245663 168089 199023 62301 123588 20329 183228 126087 153318 152972 143704 195811 113462 120772 204224 9118 1078 175644 25915 3026 68663 38333 64698 1769 219342 142744 14045 85855 94388 19226 234457 92657 3197 171699 101733 200532 21193 11156 109701 52664 246733 80288 183451 70364 100374 32262 94780 45340 130141 153121 99408 229360 16322 131867 13144 105429 64286 168146 125206 197853 145926 27691 43897 149588 74592 48308 161913 131127 181693 128352 185580 61270 87225 14686 35089 24054 245412 39742 68730 16391 125917 215832 220697 9886 2431 246166 145541 7850 171362 75362 116875 178775 100109 87172 237588 38526 193835 199292 234095 176801 231591 123672 173072 217522 236716 184266 210942 181151 50406 81556 9369 2038 176268 97735 128805 91935 198490 12455 3409 97066 108203 142392 215440 17700 154460 129596 67094 92383 113997 237714 71623 246841 35925 48658 38852 9176 186877 187963 21347 227679 220640 84906 128303 14908 221875 122407 234376 24644 117765 170693 146097 179333 140175 183677 77576 227254 119712 156935 110518 115490 67217 115424 48379 150488 101131 241352 1003 90691 191108 160215 68369 23732 194287 30364 144269 24992 70465 48419 219203 112795 239496 134439 201783 10423 140610 53339 57376 4167 220900 78084 119715 206877 84107 222612 63552 920 124984 86369 181495 91606 222798 153287 162067 157226 19341 7803 78088 162244 184183 241047 72763 104242 37615 214152 92945 30181 110758 112997 17359 205966 33569 87613 123444 30988 230350 201634 98235 122491 179090 77416 180918 247720 157058 41036 115534 51797 185590 47358 103778 152051 171177 92683 26564 32937 14393 154611 6015 17680 206636 52498 95277 196707 156736 226171 36494 40145 41295 184901 228028 226985 210975 233417 87488 185193 194841 159726 110615 27951 107493 140272 135518 143180 56520 241068 73756 50509 166616 86237 97116 41868 234028 9552 107097 58374 216477 183562 206669 192935 131107 109205 237774 98219 199876 65908 71780 149888 131897 66290 122579 153211 64225 171160 217248 246946 4184 33323 120533 139949 196871 97374 70287 68862 224201 93379 38268 99425 216563 40279 68717 89354 221411 67703 206705 243466 86000 175039 10305 26990 130805 10760 191812 178978 102621 161963 102103 225350 127380 46655 51930 242465 173926 192721 80673 174336 98621 151054 88866 197958 141587 75237 56213 119134 208046 214342 188787 164788 94393 209113 102514 8345 30087 85114 133468 181879 181798 116381 85208 244836 55564 79115 187753 23405 77620 201159 220305 109569 67337 58544 75873 218667 26684 1304 44595 144802 34226 8132 190053 168759 59438 108884 186815 136723 33750 16820 94592 100801 208799 237235 194941 69945 46480 225123 143291 71077 191057 89489 80314 71464 102855 7533 107042 199346 117688 236155 72066 31347 77252 16238 3881 109530 209800 154594 189032 75844 132831 84735 231521 115931 188270 236985 70569 220023 112575 141808 169115 201563 28426 112599 23427 233546 10357 65509 182571 239057 141871 43924 13028 203440 210275 151201 177413 19168 74282 207763 68213 216041 49884 221779 15737 1865 53131 221994 140662 234446 208563 188892 132188 24200 30468 206252 65449 166676 160531 14645 31089 229089 144344 241967 156820 174105 100554 159638 30160 145427 82802 218385 46312 164943 24031 202476 206359 172756 101713 77904 30782 158693 215654 167458 135880 83593 85368 97049 105178 171535 139985 48243 107691 171124 97379 83440 125145 26287 244414 169088 73733 129558 142051 239283 108891 13117 228988 191265 199959 7493 37236 204148 138918 243088 81306 194072 88415 241728 164938 83802 72891 21619 157011 27613 34362 87540 27323 120133 128812 226372 2954 145505 13456 1045 39835 148042 40553 178481 49970 90989 228936 27728 137820 73037 159746 194831 206240 224791 225037 31466 29040 150901 192391 235600 188599 189434 113918 51904 122162 111389 184249 50855 61476 115892 16347 63401 56422 51172 140042 80055 128219 159232 51057 184466 26858 145939 112864 218803 1359 155936 8274 212438 58473 34230 190816 27427 122485 91095 50870 219199 196390 52757 111979 172742 232085 194727 133569 222363 226312 105952 248493 197068 232373 186614 230711 89052 29723 174690 236211 218376 225890 12033 10165 183463 37318 103815 1317 227436 131653 190027 183762 84614 20746 94395 2193 60286 210067 189422 168050 86204 113033 63793 98771 48456 29226 107472 173902 223170 159838 2467 180746 23109 231317 225126 172546 148762 47448 241788 111432 61641 186992 203743 170845 90802 142916 109322 221406 227952 245696 186746 219998 243148 211227 93492 244258 150456 87302 153069 191734 145969 142309 123722 228693 141770 147472 181305 231776 99216 130536 13533 39789 227970 184396 101563 213284 214089 173835 108442 179418 90674 138748 69477 14415 9730 22534 114286 129120 188097 62511 7148 18158 43464 88102 240608 235525 139764 6757 131745 26046 208865 194016 28443 213396 117948 5591 6792 1811 19315 73036 77663 22517 211403 66734 222283 171325 208096 59854 193245 175209 201388 243443 230192 30147 57009 65081 47114 219627 14584 90293 98366 210838 8840 159252 189628 199143 38074 215801 160012 8108 126780 122116 152700 244443 5624 34604 152608 215197 111453 206949 80129 244014 128161 32322 230264 104198 137393 78071 96245 69529 239662 45033 226265 239713 42424 176624 164674 193655 233316 152647 236831 36486 150434 40944 100703 79104 121554 12748 144000 43368 95465 76240 190493 149931 97291 165217 212447 153573 232433 180950 18275 30170 246753 189033 226792 180313 214683 228051 58272 136237 246144 47311 89683 148 23046 232357 59100 85004 102524 97468 135976 86193 98735 245673 191941 166452 188667 226161 131735 3349 151955 96331 13982 149249 100399 40218 226406 183231 222509 232151 21696 21575 149279 92320 89523 169549 126679 23469 16463 129491 127562 178539 99123 104739 127759 7515 41587 226240 207605 126721 178853 40847 92464 150978 202195 12886 173458 127609 13167 105675 99021 23662 162328 158276 48555 215409 37667 114404 53180 244097 115473 115286 244645 222160 22680 147054 33806 119581 148305 29600 109287 175236 199243 35014 86722 113651 67798 180876 246087 12 192921 115727 155582 47145 141820 140371 211301 193292 48307 76700 230987 47801 94808 178702 118323 36085 72257 182958 72961 184350 200044 130613 172550 216542 132572 152885 34989 212460 11387 42322 214584 133757 10541 130952 160672 29640 112580 145951 195152 54340 209542 68564 76938 101800 30689 22913 60459 116360 229723 194658 94398 182447 11564 231952 140357 33894 238030 159237 200012 107335 97376 167532 107788 241871 97359 17671 100269 185542 57244 14660 102933 140834 140621 150818 44288 19029 116211 58864 24189 203058 77511 194354 198109 247773 134112 66074 38675 237326 77263 63784 221573 78470 212060 139152 53729 130327 130247 187298 110022 159608 167589 66950 125396 150494 23505 63532 130736 27789 5091 46716 157109 22263 71311 221186 150261 233787 217084 88086 74131 128111 63485 219622 176447 83286 187044 146400 210028 65982 55099 5968 3904 66709 238678 185953 151915 42263 42483 11110 130203 84229 6839 79334 77265 208779 25376 3499 187938 57288 231304 118922 151651 141504 83288 72951 195449 173498 238897 22051 30062 186406 150242 85380 214923 163899 202972 9269 138025 234731 208588 29598 34681 107283 239961 102253 161657 200910 216040 154705 244957 20118 229825 154453 93715 2499 234064 177414 214576 10615 203001 59511 81793 79965 22020 28523 32483 187722 100848 218534 12307 57092 63221 125216 218729 163088 875 60474 220552 105131 136840 221915 131539 94498 103295 72723 240274 120220 30940 106725 171843 119923 20391 76621 3554 117579 143699 30440 228937 225176 62518 212227 73159 203741 179210 55378 229849 96473 221538 147613 105726 93141 236388 124207 152020 217927 144296 73251 26995 83660 168163 95236 196675 170339 89816 230074 160493 59129 11594 139353 164874 128135 167781 91548 90365 13745 185136 143650 105974 160092 180972 66433 125149 18227 206768 220361 30321 61462 19392 229136 48071 224638 111752 54808 242140 48563 240710 27530 158941 125252 116346 79516 217282 162534 29046 4928 225053 126151 214052 41747 176415 185694 63010 28390 81930 32833 76035 997 149994 9193 203219 216999 117969 226407 157403 234143 55077 119275 174919 221982 17279 111439 47243 98506 127482 149423 238274 36785 238721 211472 197338 204111 149924 19575 4279 933 134660 173409 179284 131420 74972 134436 4088 116388 131196 112895 175638 210916 128865 65687 36790 191638 131314 168013 137744 244894 141487 85858 117293 188774 39675 161279 548 41095 139994 109343 192601 224706 127477 94295 141761 11833 28601 243023 2511 199722 233076 26497 46069 128818 230084 110014 100015 246668 188828 103087 153332 243575 219662 31567 1596 191516 134103 27316 90399 139331 170730 27780 217539 130342 37892 195722 147268 7312 5447 241224 53304 192295 46893 125445 172211 133898 51593 45323 108404 190341 40635 201063 136709 56140 98616 4270 220771 57162 83348 110124 20518 122129 247709 227596 47861 42807 37739 140724 113184 104793 13537 163488 84857 206342 69251 228975 194028 114100 35921 93546 109660 17753 132648 102489 97666 34504 150399 210082 222859 31993 55201 185094 55802 44440 248060 135417 141004 189666 7184 69479 16553 224343 41718 148203 157719 195297 222466 70862 153224 71925 84072 49234 117184 24722 2805 182740 103266 229041 38277 193857 48917 80876 158002 4443 201484 141724 16292 168763 245691 47286 218069 218722 111053 141154 199020 146272 20559 80773 237613 206181 86689 77365 103384 23789 71230 54492 171251 159386 102929 25466 163808 204675 17695 39993 225337 24582 180251 179031 121794 178856 198317 157873 122850 152198 6859 16497 74674 50316 210194 103715 245543 35960 194182 172680 130643 183565 28820 171676 190478 154790 193324 170669 133701 215060 133190 68748 86671 93349 14943 175166 156517 46328 181336 82374 76468 172178 79813 3306 19969 131436 210538 144213 178332 55963 168048 92972 53016 171877 51939 150934 1918 118116 212772 191724 150177 187150 222603 105282 79952 179838 127620 224542 167252 186508 191307 11167 95473 159763 143510 121658 44253 196645 23692 129530 80469 35662 47111 66158 123097 71070 205301 117648 233992 79635 200730 176966 124494 242177 187823 222852 39479 109722 157837 217190 73910 8290 180756 209786 129287 114288 195326 17122 219123 529 118315 200946 3679 164756 73305 144287 70223 143228 123466 223195 150523 195123 79479 103065 36459 72388 193599 72487 58383 230034 50142 115059 158356 148591 239822 246837 152787 63579 132873 108568 142901 90813 69885 94674 246992 66510 244920 101805 54824 139839 71655 190346 46405 142356 222349 102726 102307 222521 183909 161517 199275 149031 97534 64839 35894 231115 5020 31543 180607 36048 78253 165394 106778 207094 107666 67347 61144 118466 48758 240618 125124 116635 75248 159208 167033 220950 228533 226629 128717 80065 170275 212742 49586 88913 108098 233560 96511 24049 54822 26604 50331 13289 23685 219223 136513 53580 121040 25364 200089 103841 81971 88483 222721 62568 228823 217661 146118 113405 222770 78931 106388 96123 185365 113866 140524 193847 104343 55931 122583 105738 9549 224839 99622 54014 69513 225815 67879 69888 46892 51634 39664 141625 104621 111673 198344 196869 222765 164299 4151 125482 56734 109252 75501 650 30379 11744 171963 78419 81940 237047 85615 193486 245529 85884 139939 126290 228641 166307 78372 235438 61982 162252 56517 36681 139411 97742 192226 107166 52886 186108 191916 241121 220957 227502 41990 144107 31170 94415 114254 185654 246058 104176 66263 214604 21378 43291 98617 40749 65647 40627 178188 133799 77239 153126 20009 56620 120333 231798 206574 156399 176571 84080 147088 26384 53251 162139 31408 239854 42650 96188 232913 145304 22353 27440 207550 235754 40441 136192 88663 26647 213289 115767 213061 58464 115071 232651 232080 78937 225367 171770 184905 191538 242757 216958 165645 55528 82876 220549 186695 22121 86926 247768 103859 205747 93728 5487 95346 240524 146715 172693 77393 156209 163441 74017 121061 187801 242799 125708 247355 163739 106690 216787 114393 163869 9201 60896 102660 185540 102624 27914 64439 29577 169725 122584 108508 238710 152648 46381 152042 187435 146335 19131 211043 186801 89945 209251 221423 170893 73286 117840 230295 178212 160802 82951 1850 109617 115545 76059 241281 124115 230113 167705 247043 20739 160923 44596 224653 115648 60259 209112 79399 163954 50466 25934 13461 192222 26101 54885 105488 152479 191793 11814 39317 131342 213497 96574 174203 187460 51981 28759 236946 117667 1338 53473 225605 1221 28531 55232 143835 16362 111551 196857 229296 27857 100485 133844 63408 173234 73138 112598 117753 32011 208743 50960 158865 13371 73566 12464 222948 194119 39123 206474 197913 184062 35694 88961 167231 218395 45221 33650 236376 243783 208952 50426 240640 28949 204517 161152 107278 212454 143491 139062 202489 24561 20243 85100 198497 117933 218696 89369 112723 186562 74950 162474 71812 130564 145095 188289 55467 140598 97573 118171 154931 90447 38329 155896 5351 233455 4788 80757 38847 77114 77202 52239 138867 65875 135895 17388 176537 203457 133795 180309 140931 17174 74790 33097 107652 10880 70539 56468 110318 188442 19703 110754 165379 149241 147465 32965 174349 41226 171992 54036 129844 84450 135328 202460 80737 68821 247063 212719 226807 104133 246705 174898 220098 204884 31963 192792 63923 120794 50059 54278 88255 77324 73529 195691 179527 48950 119368 50050 198365 33955 81549 106695 84757 169849 229354 36755 61477 19524 208544 200971 229938 54343 59829 114868 118035 210276 71971 76505 131909 84558 39340 227244 179672 187193 91863 178708 72604 51249 207500 152601 46792 242922 5000 115174 208480 57636 151215 246148 217591 205073 168240 113921 44351 190128 32879 75465 66036 24393 63151 173366 154802 90658 19868 123 135797 104726 138437 181905 135587 177426 179455 85437 180855 225370 83476 150856 57072 205843 136374 127100 62439 40079 89594 191267 223749 105605 191421 133492 74053 151094 44390 175689 81868 37587 229962 197576 144836 236637 106657 34895 60806 127199 94634 121139 41066 168257 42478 194512 12405 108629 225219 183095 47380 65023 122303 193553 149124 214394 150821 60773 85611 185810 175724 105689 16678 230671 218203 114372 53471 171103 54362 46497 247322 154587 152710 96841 52338 213062 110944 158258 107370 142142 109236 99369 72053 221289 228652 213545 209945 247356 10912 179855 25375 102463 8257 39547 46991 204321 83822 31312 36280 62196 142944 143543 38423 154568 85404 71640 103019 153731 43704 193456 101237 215657 10543 42372 182802 208704 216725 133922 181891 20332 104743 217970 39335 68980 235625 159998 49917 11270 157603 178546 1813 187104 125133 221665 75108 22743 57974 44543 215900 221198 20520 68283 115999 72161 136780 58372 44644 147592 5478 94321 38720 61724 232469 6575 82738 183123 22217 59304 33475 106084 227939 207928 114414 9289 171430 7770 86598 63406 99223 196931 41986 124248 122074 134438 45265 21533 70141 25292 196441 238272 116122 129875 91422 175464 198399 201999 169847 155108 175571 140201 176825 216103 202644 224235 9080 142465 189356 188713 211912 233361 29193 88696 19066 43263 105062 181121 246399 171599 9052 127014 226625 33760 121356 141500 120382 231950 82954 11362 65428 33852 125660 96901 82162 241070 11990 159534 136276 238719 4827 130562 1191 101509 41197 90331 189543 146579 198667 39041 32690 67711 186619 158883 130509 201865 32568 244202 205701 139947 22525 188867 196183 167159 148146 64339 176100 224440 47068 52345 109971 148045 16492 117956 168729 92400 89203 189501 118176 18314 38723 25970 120815 120014 221585 75472 93237 21589 115356 25918 247000 77070 224335 29102 3405 215713 115290 113337 61858 47048 166695 135235 170745 223172 15957 200672 22340 68789 221988 82272 42776 20301 84539 122029 150355 104188 55615 84513 33543 188692 136134 42345 85833 96278 5596 123657 59358 231537 235420 62037 194702 237695 108200 177912 171243 51412 184134 246750 7698 223497 91154 58299 70253 200209 246054 10300 191289 169519 219481 170272 88028 39697 55194 208819 86511 1518 57297 32436 91910 70948 16283 23612 103402 77928 52731 213331 195353 203944 225921 87421 212475 101179 181145 106491 99238 216192 169506 51019 227942 188958 53005 17717 129437 88207 38619 246272 182782 158243 54371 132498 149521 15034 136368 167026 88612 50203 142933 29093 244117 190216 238270 125730 191571 223260 26992 4481 178236 113782 90316 139806 201167 120190 198151 181234 220566 62757 33694 183306 52830 14464 193659 106347 246879 18331 98207 63073 38897 89674 176539 240992 1461 233723 217293 235542 188400 113485 102518 105054 163848 108789 198622 132779 232810 133363 145746 84297 206866 174411 23649 166649 19807 21809 181000 219933 166434 198914 131104 58641 200109 25015 129747 73453 180188 34015 182090 199475 238640 141481 189330 190687 47036 130036 126841 127928 187341 150608 111437 194231 38297 199955 189120 18247 33657 75699 60953 54654 201252 10173 166934 70070 82042 84347 207846 242992 25842 156356 80827 53897 1592 87591 103707 215960 173360 90728 194494 34885 45022 139784 236558 240226 88421 197142 72896 131247 150790 137434 163478 211102 212704 76887 46810 207290 101739 23165 124710 130159 136140 151534 195832 63329 117549 204574 246493 111215 30678 99082 222204 117718 238344 56901 133501 63144 4426 72660 136737 65892 135507 157970 66890 112679 222638 15403 224481 231465 231435 79340 64237 131604 105839 152383 95264 185170 43753 145066 189361 116885 39557 127605 151050 120429 78906 146965 175788 211598 169980 79297 214729 42176 213480 211662 39542 120991 193372 97165 121223 128721 160751 19318 30653 115506 229642 247593 146742 98132 125369 123133 89349 48263 210913 170301 25249 32104 182110 7658 36271 48625 194289 160954 242668 102400 142249 232239 132358 238919 182897 81275 64973 51954 222366 39901 207553 169517 151506 88503 77847 198989 230115 219541 66661 19126 228063 164188 87301 205717 12933 72995 170816 173654 50769 120343 82284 95452 72452 111849 217370 76084 171454 214021 187201 68838 94693 65220 141793 67225 102876 149650 69343 136674 43650 175738 112841 103708 85080 218452 109520 189283 144140 86087 136371 49887 79577 18217 69982 179447 186737 70653 152610 189854 9521 155688 169278 126462 220299 95696 105863 106253 234511 213227 194064 15976 180944 14562 242338 90875 38563 12256 39273 230857 242618 69155 1824 146394 235240 142802 200574 31212 80685 7775 79732 17986 236475 79946 113288 55777 47410 74497 74160 110869 31871 177309 181676 163490 42824 211474 29298 63848 46368 728 203025 74631 206186 224406 83015 149544 47892 46949 10198 210055 115943 213690 246918 99116 89900 102864 155760 240424 97280 38705 102817 78942 116887 148913 226856 154246 104735 55436 67319 9311 30261 81894 94648 73179 100729 175728 42159 187014 140209 57537 4242 1262 109527 193686 225702 136197 169228 211471 8714 184274 84163 88376 238173 186211 236876 178561 200583 220619 161743 85982 9258 117129 226664 13254 242995 127545 90383 153618 40440 231627 110857 129283 185288 205017 40227 201306 238713 131626 53659 230272 121973 116847 90065 245950 76912 168122 37354 227669 244301 243725 211782 180401 76915 23274 242287 25056 237444 35295 53991 28389 223892 22280 84616 206909 212601 159034 89408 136281 225490 36281 226288 19432 15539 102738 17970 168261 220787 180178 214186 186637 58817 7977 61562 157049 228050 152450 109766 188606 178598 1528 214429 153542 119732 77129 205892 136523 229475 14324 32618 239962 67684 128734 220733 211283 24029 45972 57622 14 235547 206587 236156 70431 226868 173560 11640 113902 204467 233234 144704 158921 203295 142348 140258 212748 12864 151716 105599 209787 222169 91669 154298 130061 55115 230291 147381 62240 161701 220193 84557 122987 190854 108094 247288 34409 64012 108607 15040 88809 125812 218125 75698 113927 46118 69387 102129 227425 47302 158789 29203 612 34693 178455 35405 237332 117927 231754 239669 3149 20857 111716 24967 46187 241527 121690 187794 10800 84423 198108 43512 99363 126610 149610 101852 204045 141876 231297 242654 91918 191546 62262 14662 133133 27541 146702 130740 186082 235681 46826 229652 110929 110934 64130 185441 134644 138178 5019 160563 177588 168349 117135 122281 161054 239888 19757 37986 177015 186255 111906 172587 157819 150130 241326 16226 150542 241075 107613 188765 182807 127237 35481 131268 215157 72418 65650 30662 70829 45271 2840 62314 78649 225746 178462 219968 21452 140839 25049 17222 66039 61458 182151 246485 248307 65948 92594 30103 157867 242646 114953 39550 149619 152006 183482 39362 205549 138267 62698 37338 208234 241614 223593 129863 8984 92855 212377 165032 202131 71634 244057 74894 9381 166587 246395 151968 10740 16447 34981 226363 68024 90578 173053 37913 132961 180147 212362 86206 227434 71127 161708 93599 128472 9916 169858 177761 219503 65792 100992 205283 118495 62323 137741 199467 199931 93671 24422 43574 25300 93760 227352 68870 30209 165398 33902 115464 190194 244533 236326 148236 213640 48112 97393 200481 60529 71776 144432 5292 67562 73770 215260 72590 59009 216826 201954 159349 60602 151376 61310 6818 38710 105907 202726 200069 44567 211857 121446 185460 58164 243067 27466 177236 163962 227469 92698 119708 38627 51313 9820 25687 177714 70834 29312 217264 236090 42262 136175 145168 113642 43106 180755 1661 181959 178908 193843 136994 233947 221162 62711 145259 5747 90866 221401 136012 244556 58695 74274 194774 167989 178766 130975 225952 135191 156974 67931 30213 76926 130400 89957 10699 87401 134876 33776 129132 91102 35079 55675 200087 217159 45878 58490 7748 125795 81979 217488 187236 6111 4310 122488 46733 235711 29906 74339 42708 164418 233767 213555 204075 114627 60465 189487 201558 186039 128072 1705 111648 179555 119733 62632 65059 14586 136777 226842 83686 179473 223129 161697 148096 79291 218718 186165 213691 1426 29204 116601 185139 5748 19239 30912 2985 21971 241840 65160 46017 206626 174684 234892 101004 180902 123121 203813 153682 22068 193338 54902 178773 19885 29740 43271 21931 240981 193063 132454 134567 174666 237180 102331 236980 177280 117480 77479 116703 3492 212203 190415 226344 53043 227791 80592 110082 244959 35165 66440 46758 43723 10298 240058 188220 107408 116163 173374 84381 137257 1980 51613 119663 168946 78955 243845 44771 202994 207719 142094 217907 223105 13644 132604 105679 203807 244774 224580 155243 94357 25009 229814 159683 55392 131170 213656 145214 71563 192424 147961 83933 2128 135243 143570 120787 151720 130045 179388 33644 47454 146290 196348 219183 235782 9575 57747 99247 195176 202397 16342 110589 149927 97303 64277 150420 175634 179485 29421 201672 67828 2675 148442 221689 239014 122562 179940 11393 187124 65515 183329 16829 48547 147514 79662 146994 64365 21033 168018 91745 223181 44636 20298 64156 75094 108752 167462 91512 218185 43775 52868 101081 39109 41637 49374 137277 85832 247747 138674 160084 122977 4834 116448 101051 207254 63319 47043 131974 48416 42155 214063 94696 90849 140533 173129 219114 214805 8390 172825 153633 148055 38221 82619 22633 95979 176647 209825 165519 178424 203640 101139 29390 164053 144517 154014 116831 233665 66957 162486 204019 162284 235556 129351 99419 198287 92705 113000 49126 142948 194187 125854 10822 26814 59234 123673 29398 157296 60428 15587 131414 182094 49457 22677 22896 144227 40699 183063 201952 171310 144804 147036 28640 76204 147291 224732 184821 29482 148653 177017 241964 204247 109756 149180 36455 83828 220223 64278 61947 163489 212319 159136 18258 18480 18075 40533 45499 51616 200326 106654 89981 44724 130484 159075 239643 128780 58895 136724 35687 156210 169544 114521 67728 139188 160481 6508 219250 131223 29170 143173 247209 214483 76262 74138 114840 28004 182168 145907 98409 246015 116210 131258 108665 190106 102809 8104 224472 3792 218388 102923 163874 144552 88118 13819 39475 104150 216793 113209 11491 204705 185593 214575 39431 50223 126607 196494 196749 163640 155617 97651 21762 189782 25886 175891 114033 229208 144898 168239 160228 54043 241692 161562 82987 137748 4302 155607 92397 144794 21410 24125 36328 224926 135522 77290 39724 186586 36637 169155 91219 58790 214693 207083 107753 67000 8594 85583 73053 171270 122084 45422 231529 202422 137897 186166 233883 35744 93121 247135 50618 171342 28037 75207 21621 225325 3182 121004 80023 56162 93823 141282 148961 196105 208755 135459 192499 127645 66870 102735 202758 100162 176149 196512 214884 130011 225045 78092 191735 2672 60172 126186 89400 121079 141656 123693 55671 126173 187859 79158 81165 1424 230097 67919 33831 178871 213599 153687 153738 107342 232273 136395 66954 104831 12076 150717 190761 156031 154428 93898 208018 130486 201982 213267 229261 104692 211645 195261 96208 120767 112809 129118 48445 200423 185942 171379 27053 58506 177843 174543 35514 246379 170214 90818 92030 65502 97962 161028 38010 121065 69107 170349 139259 191091 146225 129859 40731 93406 141387 97144 50755 78555 155340 136290 196813 57253 211904 123433 162201 48384 198996 8446 108290 215507 52435 6634 99517 159467 25678 18473 212643 219850 90304 137345 205105 152318 96247 246552 117395 31076 202955 130266 240237 86586 214164 178129 186591 217755 32318 236122 75390 11957 192235 135363 68262 207954 131759 80317 150338 68183 43756 168985 28299 180621 112812 94140 33986 92176 193482 77916 235775 115460 173519 27154 213489 145290 76917 230914 41358 46105 132596 195842 69895 181876 175680 87346 221551 74852 143719 227513 163787 27148 238877 148117 44353 142521 247317 150745 113635 55608 204267 78841 191208 19062 179944 61991 36974 62350 102880 21405 69868 60566 46575 159165 70923 125070 72854 215236 157127 59091 84711 169375 217555 231587 100056 89149 107713 7153 230869 49053 79481 224794 232384 225525 233009 19348 243705 17460 214856 174486 179832 47241 224541 176528 35812 160087 143264 33334 121104 118354 85044 228384 156561 128664 133687 47934 144719 67261 199414 80259 75616 110865 223932 142952 124979 217502 150595 162729 14643 85182 70605 68350 198696 143546 244702 244366 90386 148439 236776 60912 156565 71155 162799 61869 162961 113246 217670 89589 241314 228108 136658 67451 105129 89896 11742 209625 165966 209889 28396 3443 33905 116205 118430 83465 178048 187724 29175 245699 200741 10786 53156 185042 171668 5782 90941 3389 181507 212809 108489 206546 184040 132583 57480 240768 192349 111256 189701 26951 26393 158249 139536 56424 201084 132997 206171 136121 109277 74676 184606 202693 222689 158630 230056 3376 68178 78552 99318 205463 158506 27373 88098 150689 182995 238519 59420 201007 189178 183692 157393 118361 8892 60802 67090 33348 22308 194091 231333 140540 174413 238073 38836 97427 87557 131651 235951 69271 149162 13149 212944 49647 31917 216963 165943 157898 165723 20356 36122 29583 159372 56220 143087 58183 99427 174716 197507 206486 89879 188336 200096 71403 182055 100593 183760 246588 199904 212225 123386 190944 41369 170345 41426 55259 244585 51620 138021 185125 36124 42813 177312 120291 165642 103581 103257 222956 223251 195904 43604 47722 247349 90920 206665 229810 31365 185435 71744 239259 20562 116788 149403 71653 22883 98700 160280 27890 81450 81365 244696 73020 204339 5285 53681 86037 225854 156239 152687 87924 171075 51211 110649 116318 200536 230788 4573 225164 104684 231279 193212 216622 115035 123849 204305 228396 59292 197552 106895 162372 176409 80211 219381 147740 78602 203414 57717 58072 134005 229705 102992 231127 207753 226170 86974 504 123521 112842 35793 166841 190221 39534 95627 199308 39136 220029 85501 104702 102107 132341 170604 167430 184027 142441 122473 194509 75866 81199 217998 179973 57515 103924 67379 91730 81486 82204 120620 112463 171683 56912 100211 239776 192328 45820 130546 6278 39972 231596 90903 77023 170779 26015 197868 203617 78554 206399 64732 19762 61289 24571 367 227724 61084 73580 14052 114897 228518 58896 148200 95175 108515 116638 80946 120318 108033 29330 200649 73705 81193 104223 80863 134407 213940 120655 148235 42043 229735 153048 164669 173122 179774 246550 192014 207436 51572 31275 175352 29382 234428 38332 205106 168952 64995 113917 152721 22718 206519 106798 92039 35366 68364 141434 135643 17412 220763 204531 188001 205764 124763 137039 234336 42952 29026 188969 128658 186257 173955 191529 241268 43641 181710 105024 222145 129049 140938 87537 79000 114026 216265 220408 195496 65207 233093 174369 236780 149383 177751 80628 80102 127878 59084 11575 208717 204160 129550 230664 36155 50328 130456 125411 12375 227304 124277 166709 237848 35052 145764 243697 123461 231424 61073 7120 170714 172739 19263 154340 69079 190151 235166 35526 239017 96229 31792 180349 184892 165728 216259 209663 175265 59027 941 40152 108634 189286 50547 137794 165635 101076 218964 8433 238978 70685 13924 211750 170001 12280 234271 58611 50935 136761 221043 80122 46173 63181 150043 64445 191995 183624 57063 172946 1744 110688 4717 170229 85797 217777 217459 212600 51325 15436 241507 3184 142035 210852 13591 201122 234189 127986 2544 202513 92607 150515 132513 38490 178881 100882 14048 123842 168266 21095 151035 82236 200055 120169 242319 126972 117712 84007 142274 237489 137232 110146 207959 135585 92130 60535 110741 117732 92690 171256 166736 166727 171372 121781 50741 137354 176555 179402 61065 201115 235326 235680 131376 220307 28693 202602 158158 108429 95613 9718 239182 124024 52000 38731 103539 177538 244209 189287 18869 122915 92047 246894 1706 236941 166457 221086 245450 247832 46346 64342 213954 127310 112770 184544 95888 201786 53300 164293 114502 166738 199710 155408 236570 49447 2599 33557 133868 85998 37135 217321 73210 32462 143877 86088 44333 180261 235265 217094 194302 184315 180455 77785 84611 214196 106159 199316 11264 239215 108419 167465 14358 6332 101258 206706 128886 154354 64027 31729 155339 53402 106085 30221 228613 158049 108316 219304 54045 140865 68250 152702 171789 35920 178225 93920 95561 42276 244306 41749 232548 219983 64693 221219 33040 159298 223312 125818 208249 155856 4744 2222 97419 219463 232878 97839 73410 71569 9275 219525 219310 144457 10650 72254 9942 217693 219984 223405 25337 161687 66853 48988 42736 244908 31341 153489 130876 55431 8891 161192 174745 3622 159864 154741 67982 40785 16922 243828 193158 244732 195047 223904 56852 7328 88319 122228 205655 206853 193236 245638 152515 205466 164552 55557 104680 218061 74141 53218 222621 244047 247952 40755 101742 160837 197103 127531 194190 104845 218569 21813 29816 104143 42337 180949 229251 56001 75021 69424 216586 247363 156330 161463 87852 43670 15009 233524 246782 96824 20786 140116 34173 245220 205577 172643 168859 49440 141826 238633 110263 180379 212547 105194 175503 176846 122093 177984 23402 121884 244692 245774 216133 175954 113810 103207 56661 211157 204199 224386 84244 243157 31444 209860 6531 126286 206783 152321 105258 190481 185662 208709 129328 5604 103444 14706 50881 237599 214756 105103 194523 141562 83259 83569 228078 5116 122067 40644 92862 85859 37504 198511 205022 4218 4281 207079 81679 166317 237203 211693 139672 46302 119994 183109 180011 193137 191433 180725 97804 233813 194650 120716 212281 175591 68510 85136 63351 194576 174730 209194 196513 7417 192621 184903 203503 104827 181270 27985 98197 208590 104792 69702 116512 2479 160807 179328 12152 73344 3713 146507 97349 114777 107047 7919 157995 43284 48608 85435 237981 189608 133003 214092 236549 38061 60578 238525 188985 101266 40315 136569 92869 38150 77762 214123 45975 57611 164915 62850 169843 116317 89632 235224 123921 207849 6011 219862 67186 94073 150755 98193 23978 224672 56029 24202 31320 32718 126887 8146 54115 6890 147646 104717 48132 180738 28306 124080 150674 190682 198851 40536 159694 66676 107506 40449 245916 127036 63807 76824 95797 5196 73219 227526 69053 35441 1371 70218 172863 128414 129302 1832 215510 7753 225252 46199 46195 237806 134281 8427 180670 204546 218653 155819 224642 55004 247351 106489 117906 117905 178194 51697 48871 215859 190407 113484 198253 14289 162712 133034 182794 213499 169737 18662 182432 189257 169610 26301 26774 32999 205272 192981 21961 215014 88858 124774 208300 143780 85446 46371 59369 167546 79384 133771 245956 225333 169338 165691 210529 154893 223419 4033 242810 74192 210769 18917 133027 18933 59758 58220 214286 86229 36679 139103 139134 37081 21054 21034 99523 169488 220302 226632 214417 9328 240841 237219 17433 220653 132333 36635 20604 214356 141033 141026 141345 165122 19114 59555 59179 140963 80560 124203 91391 126350 24830 97777 128754 181563 22125 124837 221490 64651 134614 213397 232646 48892 171974 22065 89528 39578 233888 184566 172697 56287 128587 103482 172356 88366 129020 196596 161999 84438 168728 213257 112388 132886 19706 132409 21556 36095 57385 185860 86615 57871 198568 198583 169060 213471 66955 187581 6763 148169 6484 41444 148365 85245 133377 169620 0
510.61/510.66
510.61/510.66 c Core has size 19912
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3495676-1307807245/watcher-3495676-1307807245 -o /tmp/evaluation-result-3495676-1307807245/solver-3495676-1307807245 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495676-1307807245.cnf
running on 2 cores: 5,7
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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 3.92 3.34 4/189 22652
/proc/meminfo: memFree=30490192/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=23164 CPUtime=0 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 2008 0 0 0 0 0 0 0 25 0 1 0 970955191 23719936 1666 33554432000 4194304 4365125 140735056060448 18446744073709551615 4293676 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 5791 1677 247 42 0 2939 0
[startup+0.0446279 s]
/proc/loadavg: 4.00 3.92 3.34 4/189 22652
/proc/meminfo: memFree=30490192/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=24116 CPUtime=0.03 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 4159 0 0 0 3 0 0 0 25 0 1 0 970955191 24694784 2858 33554432000 4194304 4365125 140735056060448 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 6029 2858 254 42 0 3177 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 24116
[startup+0.100625 s]
/proc/loadavg: 4.00 3.92 3.34 4/189 22652
/proc/meminfo: memFree=30490192/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=34904 CPUtime=0.09 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 9678 0 0 0 8 1 0 0 25 0 1 0 970955191 35741696 4808 33554432000 4194304 4365125 140735056060448 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 8726 4808 254 42 0 5874 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34904
[startup+0.30058 s]
/proc/loadavg: 4.00 3.92 3.34 4/189 22652
/proc/meminfo: memFree=30490192/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=41196 CPUtime=0.29 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 13255 0 0 0 27 2 0 0 25 0 1 0 970955191 42184704 6028 33554432000 4194304 4365125 140735056060448 18446744073709551615 4246924 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 10299 6028 261 42 0 7447 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41196
[startup+0.700509 s]
/proc/loadavg: 4.00 3.92 3.34 4/189 22652
/proc/meminfo: memFree=30490192/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=45564 CPUtime=0.69 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 14285 0 0 0 67 2 0 0 25 0 1 0 970955191 46657536 6932 33554432000 4194304 4365125 140735056060448 18446744073709551615 4257476 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 11391 6932 262 42 0 8539 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45564
[startup+1.50036 s]
/proc/loadavg: 4.00 3.92 3.34 5/190 22653
/proc/meminfo: memFree=30462804/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=52132 CPUtime=1.49 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 16154 0 0 0 147 2 0 0 25 0 1 0 970955191 53383168 8426 33554432000 4194304 4365125 140735056060448 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 13033 8426 262 42 0 10181 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52132
[startup+3.10105 s]
/proc/loadavg: 4.00 3.92 3.34 5/190 22653
/proc/meminfo: memFree=30454000/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=67980 CPUtime=3.09 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 31115 0 0 0 305 4 0 0 25 0 1 0 970955191 69611520 12017 33554432000 4194304 4365125 140735056060448 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 16995 12018 262 42 0 14143 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67980
[startup+6.30045 s]
/proc/loadavg: 4.00 3.92 3.34 5/190 22653
/proc/meminfo: memFree=30413392/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=167860 CPUtime=6.29 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 82213 0 0 0 620 9 0 0 25 0 1 0 970955191 171888640 27172 33554432000 4194304 4365125 140735056060448 18446744073709551615 4244701 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 41965 27172 262 42 0 39113 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 167860
[startup+12.7003 s]
/proc/loadavg: 4.00 3.92 3.35 5/190 22654
/proc/meminfo: memFree=30307216/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=264808 CPUtime=12.69 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 169852 0 0 0 1251 18 0 0 25 0 1 0 970955191 271163392 47530 33554432000 4194304 4365125 140735056060448 18446744073709551615 4272031 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 66202 47530 263 42 0 63350 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 264808
[startup+25.5008 s]
/proc/loadavg: 4.00 3.93 3.35 5/190 22654
/proc/meminfo: memFree=30305000/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=264808 CPUtime=25.49 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 170457 0 0 0 2531 18 0 0 25 0 1 0 970955191 271163392 48135 33554432000 4194304 4365125 140735056060448 18446744073709551615 4258052 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 66202 48135 263 42 0 63350 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 264808
[startup+51.101 s]
/proc/loadavg: 4.00 3.93 3.37 5/190 22655
/proc/meminfo: memFree=30291408/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=264808 CPUtime=51.09 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 170705 0 0 0 5091 18 0 0 25 0 1 0 970955191 271163392 48383 33554432000 4194304 4365125 140735056060448 18446744073709551615 4264062 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 66202 48383 263 42 0 63350 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 264808
[startup+102.306 s]
/proc/loadavg: 4.04 3.95 3.41 5/190 22656
/proc/meminfo: memFree=30285928/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=273000 CPUtime=102.3 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 171792 0 0 0 10211 19 0 0 25 0 1 0 970955191 279552000 49470 33554432000 4194304 4365125 140735056060448 18446744073709551615 4262555 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 68250 49470 263 42 0 65398 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 273000
[startup+162.301 s]
/proc/loadavg: 4.01 3.96 3.44 5/190 22658
/proc/meminfo: memFree=30284016/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=273000 CPUtime=162.3 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 171792 0 0 0 16210 20 0 0 25 0 1 0 970955191 279552000 49470 33554432000 4194304 4365125 140735056060448 18446744073709551615 4243507 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 68250 49470 263 42 0 65398 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 273000
[startup+222.301 s]
/proc/loadavg: 4.00 3.97 3.47 5/190 22659
/proc/meminfo: memFree=30287440/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=273000 CPUtime=222.3 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 172026 0 0 0 22209 21 0 0 25 0 1 0 970955191 279552000 49704 33554432000 4194304 4365125 140735056060448 18446744073709551615 231895184432 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 68250 49704 263 42 0 65398 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 273000
[startup+282.301 s]
/proc/loadavg: 4.00 3.97 3.50 5/190 22661
/proc/meminfo: memFree=30282684/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=273000 CPUtime=282.3 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 172182 0 0 0 28208 22 0 0 25 0 1 0 970955191 279552000 49860 33554432000 4194304 4365125 140735056060448 18446744073709551615 4262555 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 68250 49860 263 42 0 65398 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 273000
[startup+342.3 s]
/proc/loadavg: 4.00 3.97 3.53 5/190 22662
/proc/meminfo: memFree=30276804/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=273000 CPUtime=342.3 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 172182 0 0 0 34208 22 0 0 25 0 1 0 970955191 279552000 49860 33554432000 4194304 4365125 140735056060448 18446744073709551615 4257751 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 68250 49860 263 42 0 65398 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 273000
[startup+402.301 s]
/proc/loadavg: 4.04 3.99 3.56 5/190 22664
/proc/meminfo: memFree=30272812/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=273000 CPUtime=402.3 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 172182 0 0 0 40208 22 0 0 25 0 1 0 970955191 279552000 49860 33554432000 4194304 4365125 140735056060448 18446744073709551615 4250123 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 68250 49860 263 42 0 65398 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 273000
[startup+462.301 s]
/proc/loadavg: 4.01 3.99 3.59 5/190 22666
/proc/meminfo: memFree=30283568/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=273000 CPUtime=462.31 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 172182 0 0 0 46208 23 0 0 25 0 1 0 970955191 279552000 49860 33554432000 4194304 4365125 140735056060448 18446744073709551615 4242730 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 68250 49860 263 42 0 65398 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 273000
Solver just ended. Dumping a history of the last processes samples
[startup+486.301 s]
/proc/loadavg: 4.08 4.00 3.60 5/190 22666
/proc/meminfo: memFree=30282440/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=273000 CPUtime=486.31 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 172182 0 0 0 48608 23 0 0 25 0 1 0 970955191 279552000 49860 33554432000 4194304 4365125 140735056060448 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 68250 49860 263 42 0 65398 0
Current children cumulated CPU time (s) 486.31
Current children cumulated vsize (KiB) 273000
[startup+499.101 s]
/proc/loadavg: 4.07 4.00 3.61 5/190 22666
/proc/meminfo: memFree=30281308/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=273000 CPUtime=499.1 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 172182 0 0 0 49887 23 0 0 25 0 1 0 970955191 279552000 49860 33554432000 4194304 4365125 140735056060448 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 68250 49860 263 42 0 65398 0
Current children cumulated CPU time (s) 499.1
Current children cumulated vsize (KiB) 273000
[startup+505.5 s]
/proc/loadavg: 4.06 4.00 3.61 5/190 22667
/proc/meminfo: memFree=30280684/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=273000 CPUtime=505.51 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 172182 0 0 0 50527 24 0 0 25 0 1 0 970955191 279552000 49860 33554432000 4194304 4365125 140735056060448 18446744073709551615 4263988 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 68250 49860 263 42 0 65398 0
Current children cumulated CPU time (s) 505.51
Current children cumulated vsize (KiB) 273000
[startup+508.701 s]
/proc/loadavg: 4.06 4.00 3.61 5/190 22667
/proc/meminfo: memFree=30280684/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=273000 CPUtime=508.71 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 172182 0 0 0 50847 24 0 0 25 0 1 0 970955191 279552000 49860 33554432000 4194304 4365125 140735056060448 18446744073709551615 4261054 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 68250 49860 263 42 0 65398 0
Current children cumulated CPU time (s) 508.71
Current children cumulated vsize (KiB) 273000
[startup+509.501 s]
/proc/loadavg: 4.06 4.00 3.61 5/190 22667
/proc/meminfo: memFree=30280436/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=273000 CPUtime=509.51 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 172182 0 0 0 50927 24 0 0 25 0 1 0 970955191 279552000 49860 33554432000 4194304 4365125 140735056060448 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 68250 49860 263 42 0 65398 0
Current children cumulated CPU time (s) 509.51
Current children cumulated vsize (KiB) 273000
[startup+510.301 s]
/proc/loadavg: 4.06 4.00 3.61 5/190 22667
/proc/meminfo: memFree=30280436/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=273000 CPUtime=510.32 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 172182 0 0 0 51008 24 0 0 25 0 1 0 970955191 279552000 49860 33554432000 4194304 4365125 140735056060448 18446744073709551615 4260663 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 68250 49860 263 42 0 65398 0
Current children cumulated CPU time (s) 510.32
Current children cumulated vsize (KiB) 273000
[startup+510.501 s]
/proc/loadavg: 4.06 4.00 3.61 5/190 22667
/proc/meminfo: memFree=30280436/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=273000 CPUtime=510.51 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 172182 0 0 0 51027 24 0 0 25 0 1 0 970955191 279552000 49860 33554432000 4194304 4365125 140735056060448 18446744073709551615 4242927 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 68250 49860 263 42 0 65398 0
Current children cumulated CPU time (s) 510.51
Current children cumulated vsize (KiB) 273000
[startup+510.601 s]
/proc/loadavg: 4.06 4.00 3.61 5/190 22667
/proc/meminfo: memFree=30280436/32950928 swapFree=67054844/67111528
[pid=22652] ppid=22650 vsize=273000 CPUtime=510.61 cores=5,7
/proc/22652/stat : 22652 (MoUsSaka) R 22650 22652 10137 0 -1 4202496 172182 0 0 0 51037 24 0 0 25 0 1 0 970955191 279552000 49860 33554432000 4194304 4365125 140735056060448 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22652/statm: 68250 49860 263 42 0 65398 0
Current children cumulated CPU time (s) 510.61
Current children cumulated vsize (KiB) 273000
Child status: 20
Real time (s): 510.676
CPU time (s): 510.691
CPU user time (s): 510.44
CPU system time (s): 0.250961
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 378492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 510.44
system time used= 0.250961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172187
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= 11
involuntary context switches= 849
runsolver used 0.803877 second user time and 1.9897 second system time
The end
Begin job on node114 at 2011-06-11 17:47:25
IDJOB=3495676
IDBENCH=88050
IDSOLVER=1989
FILE ID=node114/3495676-1307807245
RUNJOBID= node114-1307806130-22488
PBS_JOBID= 13551038
Free space on /tmp= 74068 MiB
SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT02/industrial/dellacherie/w08/w08_10.shuffled.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495676-1307807245/watcher-3495676-1307807245 -o /tmp/evaluation-result-3495676-1307807245/solver-3495676-1307807245 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495676-1307807245.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= c06006abff210b8bf7e7ef549c74aa4c
RANDOM SEED=1143755943
node114.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.848
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.69
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.848
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 : 5226.15
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.848
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.848
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.73
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.848
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.848
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.848
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.74
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.848
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 30490736 kB
Buffers: 309128 kB
Cached: 1273128 kB
SwapCached: 10540 kB
Active: 1129940 kB
Inactive: 1099632 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 30490736 kB
SwapTotal: 67111528 kB
SwapFree: 67054844 kB
Dirty: 4308 kB
Writeback: 0 kB
AnonPages: 644460 kB
Mapped: 13348 kB
Slab: 163788 kB
PageTables: 6556 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1055916 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74068 MiB
End job on node114 at 2011-06-11 17:55:56