//===----------------------------------------------------------------------===//
//
//                     The LLVM Compiler Infrastructure
//
// This file is dual licensed under the MIT and the University of Illinois Open
// Source Licenses. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//

// <random>

// template <class UIntType, size_t w, size_t n, size_t m, size_t r,
//           UIntType a, size_t u, UIntType d, size_t s,
//           UIntType b, size_t t, UIntType c, size_t l, UIntType f>
// class mersenne_twister_engine;

// explicit mersenne_twister_engine(result_type s = default_seed);

#include <random>
#include <sstream>
#include <cassert>

void
test1()
{
    const char* a = "0 1 1812433255 1900727105 1208447044 2481403966 4042607538 337614300 "
    "3232553940 1018809052 3202401494 1775180719 3192392114 594215549 184016991 "
    "829906058 610491522 3879932251 3139825610 297902587 4075895579 2943625357 "
    "3530655617 1423771745 2135928312 2891506774 1066338622 135451537 933040465 "
    "2759011858 2273819758 3545703099 2516396728 1272276355 3172048492 "
    "3267256201 2332199830 1975469449 392443598 1132453229 2900699076 "
    "1998300999 3847713992 512669506 1227792182 1629110240 112303347 2142631694 "
    "3647635483 1715036585 2508091258 1355887243 1884998310 3906360088 "
    "952450269 3647883368 3962623343 3077504981 2023096077 3791588343 "
    "3937487744 3455116780 1218485897 1374508007 2815569918 1367263917 "
    "472908318 2263147545 1461547499 4126813079 2383504810 64750479 2963140275 "
    "1709368606 4143643781 835933993 1881494649 674663333 2076403047 858036109 "
    "1667579889 1706666497 607785554 1995775149 1941986352 3448871082 "
    "2109910019 1474883361 1623095288 1831376534 2612738285 81681830 2204289242 "
    "1365038485 251164610 4268495337 1805601714 1262528768 1442526919 "
    "1675006593 965627108 646339161 499795587 840887574 380522518 3023789847 "
    "1457635507 1947093157 2600365344 2729853143 1550618999 1390905853 "
    "3021294812 882647559 838872117 1663880796 4222103589 2754172275 3844026123 "
    "3199260319 4176064873 3591027019 2690294242 2978135515 3172796441 "
    "3263669796 1451257057 1427035359 4174826006 2171992010 1537002090 "
    "3122405306 4162452508 3271954368 3794310005 3240514581 1270412086 "
    "3030475836 2281945856 2644171349 3109139423 4253563838 1289926431 "
    "1396919653 733220100 2753316645 1196225013 3699575255 3569440056 "
    "2675979228 2624079148 3463113149 863430286 623703199 2113837653 2656425919 "
    "175981357 4271478366 4238022735 1665483419 86880610 2963435083 1830392943 "
    "847801865 3237296945 332143967 3973606945 2671879697 2236330279 2360127810 "
    "3283955434 203240344 4048139172 13189264 2263058814 247241371 1566765783 "
    "3084408095 3719371299 1958375251 1985924622 1712739232 1861691451 "
    "2644502937 2337807839 784993770 2962208780 2190810177 1523122731 "
    "714888527 578678761 3698481324 1801168075 534650483 3390213921 3923356461 "
    "3586009066 2059432114 52511333 1969897376 3630122061 524661135 3513619765 "
    "563070233 501359785 477489274 658768624 938973567 1548584683 1345287459 "
    "2488691004 3441144905 3849305094 2430000078 855172178 614463281 2092744749 "
    "176381493 1655802051 2273888101 2474494847 3471978030 2138918303 575352373 "
    "1658230985 1675972553 2946663114 915579339 284981499 53939948 3022598146 "
    "1861218535 3403620774 4203516930 2360471119 3134536268 1383448498 "
    "1307602316 3847663247 3027225131 3597251613 3186237127 725127595 "
    "1928526954 1843386923 3560410503 54688266 1791983849 2519860352 4256389699 "
    "2328812602 486464275 3578698363 301279829 1303654791 4181868765 971794070 "
    "1933885487 3996807464 2144053754 4079903755 3775774765 3481760044 "
    "1212862354 1067356423 3764189132 1609862325 2209601551 2565747501 "
    "161962392 4045451782 2605574664 2520953090 3490240017 1082791980 44474324 "
    "101811128 4268650669 4171338684 772375154 3920460306 2319139534 599033750 "
    "2950874441 3373922995 1496848525 4095253594 1271943484 1498723121 "
    "3097453329 3698082465 281869581 3148270661 3591477288 747441437 2809508504 "
    "3896107498 303747862 2368081624 1844217645 886825352 287949781 1444561207 "
    "2512101757 2062331723 741720931 1383797313 3876746355 2041045348 "
    "2627599118 1124169970 200524822 3484820454 55883666 1135054804 669498692 "
    "2677215504 3097911127 1509628615 617580381 2229022193 85601568 3243896546 "
    "3715672328 912168347 2359163500 1180347564 4243175048 2092067103 880183327 "
    "4000664709 2045044777 3500474644 1515175520 1862207123 186628841 "
    "3337252925 708933575 4015964629 3136815297 3314919747 2891909013 "
    "3316567785 3944275369 3608506218 2884839110 3054055598 2707439927 "
    "1381111877 3275487281 4292456216 2639563270 3327301876 3576924628 "
    "721056309 2002808140 748967365 52380958 2200261692 763456477 1708381337 "
    "2038446433 2682979402 1526413779 2211263302 3879771969 75966584 3645059271 "
    "2985763524 4085690255 82390958 1883631385 1647521260 1598026998 3038041577 "
    "2501913134 3279302868 1738888524 805035483 756399074 3863810982 1097797270 "
    "1505792529 898904527 583561003 717152376 3333867738 1099456544 1663473545 "
    "1242141229 3828627682 1966201676 1713552361 3852160017 1584965284 21695908 "
    "1013262144 145341901 3995441263 3462066219 2239637848 1214086163 "
    "2428868268 1650037305 1545513388 1621198806 4232947817 1823092073 "
    "256414624 1745018809 1357102386 2055139770 3280958307 2482431613 "
    "1664870585 859130423 4097751123 3079768369 2470211009 2984880786 "
    "2808568948 2877071923 1984903163 302768457 1866396789 869566317 3746415787 "
    "4169433075 3025005404 3980733379 3539207278 3953071536 876960847 "
    "2548872156 800507464 1865466907 1273317878 3754712872 1757188269 "
    "3229950355 3731640200 2283390608 2204990292 411873449 447423849 1852437802 "
    "472825525 3044219944 2913114194 1859709265 4053786194 574820536 2104496732 "
    "865469814 2438352724 4208743605 4215067542 1364015250 4139974345 "
    "3838747005 1818502786 2914274940 1402365828 1751123528 2302578077 "
    "2463168652 1968705496 1730700144 3023943273 1139096844 2658667767 "
    "2063547264 705791165 1444775274 2415454225 1575664730 921044163 648101324 "
    "1212387162 4191962054 1787702169 1888718041 1518218010 3398792842 "
    "4079359729 149721439 750400353 2661036076 3802767886 520152586 951852508 "
    "2939585975 1375969109 385733137 3523607459 1902438415 4250996086 "
    "2712727066 484493674 3932107461 1428488210 1764242548 3424801055 "
    "4004904451 2226862072 2393366939 3609584727 3614444319 317349896 "
    "3826527525 204023804 981902443 3356042039 3051207045 1869902661 561831895 "
    "3706675415 1527687593 1227610446 2596341042 3191717368 3269246891 "
    "557877074 4062070629 3052520266 3772487029 400039836 3195205275 4085394797 "
    "1655557239 1345770144 2864727192 449281238 73189507 528365765 2727400656 "
    "247880434 2408277395 777039183 2210179398 1088433648 2124356402 1555630141 "
    "604790219 195012151 3312518356 923728373 3999251660 3313059535 3478133921 "
    "3395026960 383464614 3425869222 2446885186 4032184426 157195416 3158909476 "
    "1663750443 2046427584 1658453076 1784483001 3146546889 1238739785 "
    "2297306523 3472330897 2953326031 2421672215 1221694592 1588568605 "
    "2546987845 3375168573 2137961649 3056565164 330165219 235900365 1000384800 "
    "2697255904 579122283 3050664825 73426122 1232986102 2940571064 3076486824 "
    "1708182873 2796363264 292154131 4280019913 1102652157 1185393592 "
    "1494991690 4270076389 2384840717 425785147 2385321880 317514772 3926962743 "
    "392176856 3465421709 1878853468 122662664 2958252160 1858961315 2244939588 "
    "2361884409 2860936803 683833250 3291277128 1686857206 1112632275 "
    "1200680507 3342928196 2677058150 939442136 3407104669 2906783932 "
    "3668048733 2030009470 1910839172 1234925283 3575831445 123595418 "
    "2362440495 3048484911 1796872496";
    std::mt19937 e1(0);
    std::ostringstream os;
    os << e1;
    assert(os.str() == a);
}

void
test2()
{
    const char* a = "0 1 6364136223846793007 13885033948157127961 "
    "15324573939901584278 12737837167382305846 15195339788985155882 "
    "6554113247712070460 17235932740818599105 13007415075556305955 "
    "6585479514541334743 8274505865835507625 1718218088692873364 "
    "10390651247454232081 12911994993614796389 3986900029987203370 "
    "6673827651897561714 4426752746717694792 7419158062930293690 "
    "5800047417539173618 15710773105226458059 16164512590413496893 "
    "3438015953120274172 3483801391287623267 293704481016263807 "
    "11580856846363212652 3489109114147636336 3391036861618673611 "
    "8265793309278544843 7557898467821912223 11008748280761875940 "
    "15929443707841919885 8545695347411085846 10810459396490399532 "
    "12233244910455127352 15556950738631379285 16711543556686614082 "
    "12362193084052127890 16520645558585805174 5163125267185202360 "
    "405552980610370477 17567412011316060306 18195950784827697319 "
    "7893142112162906367 11294475722810961618 7284845498332539581 "
    "8406882439401998138 4375387785957411470 9627875716250684710 "
    "8860968026642934661 9743109216691708518 152611520104818631 "
    "5897430410700879663 5351672954305365323 16325991383734641720 "
    "9695181037355459478 15420132328343498044 17772146581546890572 "
    "12095930435311226909 3066005052193896110 11579395203346116306 "
    "9168946227698330317 18318927644793076250 16096433325093805476 "
    "14945900876820434843 16826760579960858105 17664119339058295604 "
    "17844797344364136942 1071414400549507565 16688779616725465582 "
    "3684635020921274863 12774052823168116810 17270284502989966576 "
    "1081012692742984704 4377021575203177546 18341292555997099853 "
    "13297939683513494274 15065725504474304333 10796297883750572804 "
    "15233335271871291997 8767977593699151062 3360856014170688284 "
    "7828232912764786750 15167717223619970150 9622174963375022357 "
    "18262792478991268448 1196631425707106493 5368342740538672272 "
    "10381091599850241237 12108437846306626340 6150860188928778248 "
    "3342980288459577584 12715439159457051276 17996971042887275859 "
    "9749679821487730542 17763727344608586331 16024467606290078168 "
    "7763401887585513696 4448278918811662063 16947956613780322662 "
    "15144807360840708645 3878082612940188435 10709780449699561405 "
    "1649555943517500922 3206645931693769562 12562913950237146427 "
    "237213339742767727 12987800257476421358 1653669854585203688 "
    "3485900643226898485 13961759114404652223 5243794832751327611 "
    "10337687908642742498 16946139522050041809 16716562961992396380 "
    "4275124606042261542 4055100795824867618 6424268654905981295 "
    "3424516503413156556 2670380025813203539 10750762735193959951 "
    "8790031149370411970 4021216986392972993 12076090355041998696 "
    "14407920322903159838 10653597737935867030 15483225617438352002 "
    "2497775263858626604 12295882369431088188 14256043521530136935 "
    "2687322778627883798 3419797801078863201 8786888481486602641 "
    "445698423634900693 9597067954623467255 7101345576557603992 "
    "1498579197046783597 10403325187679734962 2464586980321053562 "
    "2022012026329844477 10802281218030350853 6628929099856200904 "
    "6828177972863192803 8589868113309334601 5245595233272009016 "
    "5335692004673212054 4515133017699498525 15966447436053813932 "
    "15199779177078162007 4190689609934804313 13003438276435994683 "
    "8406046831313066396 10564320513686955057 12668913223662201488 "
    "13130110932487580228 1030848205404711145 17684061609212954769 "
    "12942207438298787911 10731611242140874687 5165052527778107352 "
    "16323046249518133445 17119162873327029615 5754858052433703070 "
    "3864761150247579030 9945988334920003074 11409854727071782565 "
    "5000838138362434817 15526574143469400487 18094554078711846524 "
    "5576294272011007484 3478525338408894755 11392694223389544658 "
    "4692963068671452476 4459301637730340710 9699395817392066460 "
    "14644636990626292085 18065377773424192622 5217202490849387226 "
    "16175595974171756081 2109372019589047677 1624752883142646445 "
    "13462209973053735966 12082930933973802402 1568864426788967895 "
    "17047994306870001795 10556833209957537593 955604103878351641 "
    "9062985603395234592 9757612676622840969 1767246562613391916 "
    "9752598821733361274 7499745701633625047 7824811626141302622 "
    "15819064077972391284 5660565551854829485 17645390577243129343 "
    "7343780801046581776 2233358068547689666 8716657172695403744 "
    "9129027798969787220 334709674395230649 2063182499026924878 "
    "13089071159640936832 1765917316143960741 17552378408917656269 "
    "3917018959478722819 15626740210483166037 1645962609209923821 "
    "12277169606472643961 14545894350924442736 11485249378718653961 "
    "9205208816702766530 10967561305613932827 3105992977398681914 "
    "2125140299311648264 11619505070220308543 5030167448920096401 "
    "4248170446421798953 16184577688118775567 9240607582885304823 "
    "11838996733938359277 415426114101983968 14340734742548675134 "
    "4124085748228276376 17686494750190224280 9472996569628985376 "
    "1207013222233148636 3031046462562068367 45068538181330439 "
    "8678647417835301152 10693327126492781235 3058899219097846020 "
    "18377730418355022492 10269941972656742364 15986476992758938864 "
    "14575856764093007010 14749682846448398393 1042926396621439263 "
    "12184905641567868001 3518848236485931862 6718580865438347534 "
    "6319395993260741012 2855168874111910691 2482146419106261786 "
    "17290238774162848390 8071397865265268054 15873003794708011585 "
    "14422764926380465297 14140979091525022882 3573480287238168646 "
    "1525896111244666696 7537826952717918371 10482908122538761078 "
    "17003233041653857 9473838740924911883 8438240966750123668 "
    "10697754962581554225 15048771265786776312 9067877678399943713 "
    "3399555692325948067 6150260207049997483 7165140289246675175 "
    "14816202987105583988 4753550992948864498 10549400354582510015 "
    "13212062554023586370 1585477630313819722 476999696494664205 "
    "3208739183359199317 16011681780347380478 8149150693959772807 "
    "803412833228911773 2360961455092949929 1517204230639934662 "
    "13863717544358808032 16792122738584967930 12742474971940259289 "
    "1859755681395355028 1540431035241590810 3883807554140904361 "
    "16189061625447625933 12376367376041900879 8006563585771266211 "
    "2682617767291542421 8593924529704142157 9070391845133329273 "
    "3557484410564396342 9301398051805853085 12632514768298643219 "
    "227653509634201118 7247795074312488552 4939136716843120792 "
    "6533591052147596041 1308401457054431629 17488144120120152559 "
    "14075631579093810083 4015705597302725704 6833920126528811473 "
    "5095302940809114298 8312250184258072842 15770605014574863643 "
    "14091690436120485477 15763282477731738396 16394237160547425954 "
    "5066318118328746621 13140493775100916989 6371148952471982853 "
    "15150289760867914983 4931341382074091848 12635920082410445322 "
    "8498109357807439006 14836776625250834986";
    std::mt19937_64 e1(0);
    std::ostringstream os;
    os << e1;
    assert(os.str() == a);
}

int main()
{
    test1();
    test2();
}