# Pastebin gFUFBUCh CANDO-USER> (defparameter *ss* (let ((*print-readably* t)) (with-output-to-string (sout) (print (make-random-state t) sout)))) *SS* CANDO-USER> *ss* " #.(core:random-state-set (make-random-state t) \"16243 1647481696 3262778951 530973911 720893911 576181976 2391366462 2359827123 3681698013 651978143 581906117 3532120260 3763809679 2023285833 74750070 449924253 3940433665 712306139 946408057 3445285584 3758319699 3462068133 3858074260 2670427306 1517688416 1798815070 1659800981 15601535 3299873847 1370737825 2362530622 1729108683 993438674 3913493499 3452965114 251327328 1558209796 2579138590 36876082 3760120033 1890954066 1671496424 3648247575 442076943 2420996119 2288426358 4176163570 598020676 2529335556 1439995279 2680815416 2531114005 130319431 3443732280 509949309 1509490568 2294030917 2223146300 3984506800 1232956634 2075796899 3456273191 2708679026 3047967087 3728690497 2216676683 2389118735 991028580 1468925112 3097353794 1710813062 4095131530 2184766037 3052592028 1772762016 456034256 381281628 2291775897 2687970677 794468162 1623795546 1290353208 3418061263 431569359 783062527 1951769840 3919973483 1107201375 3366392942 517235802 2314584540 3888597745 1029313494 1006721483 2116227189 3939471907 938985216 524321633 1583988391 357109217 3412517673 1028594167 1859874265 1262677663 2976690878 1588404373 1422462670 3353911062 2440822965 4216272800 3564908221 3107200869 1177518867 1264670859 2039466212 41930700 557131760 3823645221 2491162484 2785579013 4205154875 505063569 3971029679 1943638615 1820377706 734328756 1664159362 213112110 2085271974 2389089892 1980437696 2109831592 3339678001 4245252927 499018546 2849770817 1740576503 2590487959 1042964819 3792884042 3362497369 475569423 980156025 3642304332 2216610235 707303310 1744882072 2204199664 4232623118 3647274678 605707007 1779523122 1000895927 477520076 1242914070 3906996654 88893149 104585934 1633128932 3722648824 3287925415 2100268885 851673286 3027616961 3726113939 495957365 3825284303 458162467 3652988535 3511052397 2175537680 1426899909 1831411968 1726648082 245407277 155155824 1312648672 2872099702 3942789494 2592612572 1599981130 3744096076 2816598497 255171142 1872712790 1348457996 1438083291 3463383229 1118708146 4003534684 313069625 1408297020 536823249 1355441462 679829109 1297998316 3983341637 1321560675 4202654576 2028662822 1950785323 3174057563 4062208743 3220113599 2653329501 1264448840 2236929947 1929965868 3218291857 1707512272 2484560199 3039448588 668486234 2023063639 1594075332 723911568 920090792 523010849 2695063007 3607459340 1337891783 1106930683 2003526784 3249451204 2952216163 1570014758 2255801669 518061286 2288311714 1506152709 2438716282 569954111 3435887555 331453353 3104027543 3198392244 2964668858 599156357 2641797223 2590397896 1053750178 2306200027 2444749967 3741501844 2971424903 2469468782 2725722514 969393863 413330555 1144135808 179494111 249396214 2423426826 2499131173 3120964193 1636273422 878751467 1412286136 813132031 2034623646 2487569087 1535156886 384038297 1234028388 4100438241 1426777139 3066612420 2770728745 1601013763 3557669847 2512097202 2696208767 443800673 1665981526 161381989 2918116332 1460106234 1658787356 1000619911 511529050 1105649306 125028160 1494146394 2295335170 2380566044 3591119091 385445838 2212518757 205467587 936522768 2956663666 688964691 2398281955 1917985514 662997725 2376470360 607205802 3941448507 2810435138 2154547307 530924441 1385139594 3895409669 233563533 2126841553 1678836033 2636169074 7239779 1488419651 1747448895 1328188332 3460542840 1494014399 516593455 2266942917 1605873598 1925090967 1838581867 1045073168 341260431 2476136619 756346094 3733903656 1421914682 1392829835 3733678775 1141337674 2030151646 1268159299 1174694995 2348064676 2256327625 1260663651 3296049399 2165869970 2975984415 205473985 472776310 2022476768 2239076888 3314792342 3784911902 1792339399 564840053 1976035969 3722315225 2058353244 2834599180 1264199138 3322703596 2798562473 1184801750 4045780019 2124269649 2661472498 3941074963 3528179636 4085027736 677458061 3241057800 541408959 354351556 1832808382 631787206 2633567114 3861206549 1785118236 1695647712 3838379573 3407633087 434268574 3962256073 587877670 2053359475 993506160 1410383015 1343833334 916547052 1185710998 2174532366 809711928 883723413 3546428743 421292371 30931519 3134878556 1870582680 829775328 1672145636 3529915102 2413854647 3252502768 783395943 2888639788 2197244592 627555269 2211218245 4242656144 806092173 3393617712 2252831663 2568905170 402974882 3470556029 595929162 2552135879 4166335567 1291417491 3160887346 268194953 1938402471 54523161 3256161657 3911566527 3813882826 2840865004 1587381638 994832100 3221833110 2096640620 2112043941 386747737 3759351491 3062565735 1505201537 2124698921 478151282 3907910309 596687658 1382634303 1338771236 2035589192 1445547901 2520365469 1349866605 1735138383 1458498170 1964726076 4096004551 3424184331 2453132512 3139563747 2155049855 1522890508 972615389 3675620334 2324816703 2966769104 2743801754 3131615417 1744021129 1425505643 497563286 2125320435 3456299840 3324892726 4012564913 2458996483 732083759 435816790 2550052538 3863908453 3809447948 765779642 3428018994 3684533542 828986987 1589337354 3557005867 2852338589 2206703249 3529718998 2726821601 2739145832 3814957484 1201566438 2773612031 2347070382 3055661242 1474638455 2124943470 807593132 2060993982 2967452990 19842704 2913429685 722944281 3316781508 3140846699 1792569430 3252937533 3526809441 2224319894 742355281 2917339107 2033954484 3892169817 3891514227 3407754530 2906693880 3480964758 3670458302 2804993159 3344359280 3271538007 741900317 1805980267 132186061 4282688221 2370769299 3079637299 2825083732 1651380462 117806924 4131413758 4012237012 2032518615 3013645683 2422960283 433344356 721148028 4154115829 3175360280 780556621 770077293 2351070222 844193482 895123905 1953266741 1387320981 2426789494 3668498903 100427448 3734306989 4209534140 2966616178 3040867912 2970601291 2346627815 3705414516 504737551 2527468040 1102946832 100862932 3277070532 4012666788 2782490117 3235588582 556144253 3480929910 1490545487 4047410669 762283790 900253871 3485849141 2083154809 1082630276 2316075942 4074681826 3864669428 2456088227 938299574 231489536 2144682547 1995301358 994839680 1865511094 2631166314 1309556800 2580096222 588859654 3895986073 3345116158 92930574 15617988 3306249875 1634033936 2171102966 2918528134 4201930327 447753576 3987117133 3728229132 4051598898 398918813 1061673274 3543056428 1804860374 973696287 16164488 1311145462 341435330 883404762 1245318483 1329997228 3566302356 2565394663 1038612910 3437601276 3158532850 1259895560 3820969446 1895996083 1303268501 1959488704 1455174530 2623959053 3939188554 3993832237 2623736199 298709211 908213194 2282140438 2516999497 3380409341 819016605 3698549849 1890632683 570132412 168045463 337249279 2321550600 2451931488 2629271577\") " CANDO-USER> (defparameter *r* (read-from-string *ss*)) *R* CANDO-USER> (random 10 *r*) 0 CANDO-USER> (random 10 *r*) 6 CANDO-USER> (random 10 *r*) 4 CANDO-USER> (random 10 *r*) 9 CANDO-USER> (defparameter *r* (read-from-string *ss*)) *R* CANDO-USER> (random 10 *r*) 0 CANDO-USER> (random 10 *r*) 6 CANDO-USER> (random 10 *r*) 4 CANDO-USER> (random 10 *r*) 9 CANDO-USER>