about summary refs log tree commit diff
path: root/test/random-generator.ok
blob: e137d901ef177405b7c5185ab39a444d0e7def07 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
Test 1: Should produce:
P2
12 1
1023
720 296 192 858 101 57 298 629 804 1019 64 617
Above output is for Mersenne Twister
P2
12 1
1023
720 296 192 858 101 57 298 629 804 1019 64 617

Test 2: Mersenne Twister random number generator
Should produce:
3499211612  581869302 3890346734 3586334585  545404204
4161255391 3922919429  949333985 2715962298 1323567403
 ... 
 297480282 1101405687 1473439254 2634793792 1341017984
 Total 1000 integers, 200 lines

3499211612  581869302 3890346734 3586334585  545404204 
4161255391 3922919429  949333985 2715962298 1323567403 
 418932835 2350294565 1196140740  809094426 2348838239 
4264392720 4112460519 4279768804 4144164697 4156218106 
 676943009 3117454609 4168664243 4213834039 4111000746 
 471852626 2084672536 3427838553 3437178460 1275731771 
 609397212   20544909 1811450929  483031418 3933054126 
2747762695 3402504553 3772830893 4120988587 2163214728 
2816384844 3427077306  153380495 1551745920 3646982597 
 910208076 4011470445 2926416934 2915145307 1712568902 
3254469058 3181055693 3191729660 2039073006 1684602222 
1812852786 2815256116  746745227  735241234 1296707006 
3032444839 3424291161  136721026 1359573808 1189375152 
3747053250  198304612  640439652  417177801 4269491673 
3536724425 3530047642 2984266209  537655879 1361931891 
3280281326 4081172609 2107063880  147944788 2850164008 
1884392678  540721923 1638781099  902841100 3287869586 
 219972873 3415357582  156513983  802611720 1755486969 
2103522059 1967048444 1913778154 2094092595 2775893247 
3410096536 3046698742 3955127111 3241354600 3468319344 
1185518681 3031277329 2919300778   12105075 2813624502 
3052449900  698412071 2765791248  511091141 1958646067 
2140457296 3323948758 4122068897 2464257528 1461945556 
3765644424 2513705832 3471087299  961264978   76338300 
3226667454 3527224675 1095625157 3525484323 2173068963 
4037587209 3002511655 1772389185 3826400342 1817480335 
4120125281 2495189930 2350272820  678852156  595387438 
3271610651  641212874  988512770 1105989508 3477783405 
3610853094 4245667946 1092133642 1427854500 3497326703 
1287767370 1045931779   58150106 3991156885  933029415 
1503168825 3897101788  844370145 3644141418 1078396938 
4101769245 2645891717 3345340191 2032760103 4241106803 
1510366103  290319951 3568381791 3408475658 2513690134 
2553373352 2361044915 3147346559 3939316793 2986002498 
1227669233 2919803768 3252150224 1685003584 3237241796 
2411870849 1634002467  893645500 2438775379 2265043167 
 325791709 1736062366  231714000 1515103006 2279758133 
2546159170 3346497776 1530490810 4011545318 4144499009 
 557942923  663307952 2443079012 1696117849 2016017442 
1663423246   51119001 3122246755 1447930741 1668894615 
 696567687 3983551422 3411426125 1873110678 1336658413 
3705174600 2270032533 2664425968  711455903  513451233 
2585492744 2027039028 1129453058 1461232481 2809248324 
2275654012 2960153730 3075629128 3213286615 4245057188 
1935061435 3094495853  360010077 3919490483  983448591 
2171099548 3922754098 2397746050  654458600 2161184684 
3546856898 1986311591 2312163142 2347594600 4278366025 
1922360368  335761339 3669839044 1901288696 2595154464 
 458070173 2141230976 4131320786 4208748424   19903848 
 147391738 3328215103 4196191786 3510290616 1559873971 
3731015357 2918514861  362649214 1487061100 1717053387 
3675955720 1116134897  193529268 3436267940 2835191639 
1852908272 3220971953 3911201640  571213604  781027019 
4219206494 1133024903  409547355  625085180 1214072539 
 584409985 3445042528 3733581611  333104904 2489812253 
2694595213 2361631596   34763086  622576118 2921810672 
3663740744 2293225236 2671706445 1884059696 1507329019 
 857065948 2204390003  592711182 1725752375 1642107460 
 326274448 3274574484 1030432041  173822100  529650788 
1086437636  789877945 2167974914 1030588245 3533061365 
1792148406 4216468704  213264131 3536714075 3877136173 
1296338417 4057830103  205919137 2108245233 1064497347 
2101324080 2336703164 1450493809 3812754708 3865701845 
1476779561 1585902852  142887412  477612192  699530444 
3351157089 3768249319 1673915577  903239649 1038056164 
1171465372 1734789440 2115022236  414269055  959581346 
 566820984 2105828892 4046076449 4101450561 4106566571 
2800184123 2470502098 3253453343  256751188 1869365987 
1008372035 2374606708 1516804538  228288551 3527001547 
1385173098   66157275 1739381798  184785808 3901692666 
 725806641 3475217997 2787929747 1109372433 3142723729 
 557686578 2782047723 2118822689 1936702581 1625646963 
2349385293 3085804937 1272688179 1236112995 3198431244 
2677635414  811555596 3486972196 2949678043 1342211552 
 788174404 1656614077 1582629285 1477167035 2687011245 
3503701453 3351051324 2874557775  348432514 1629591495 
3991682351 1969229192 3331660584 1304012077 2090754125 
3910846836 1871998370 2098597104 1918921592 3246092887 
1315760974  464122393 2184028058 1690455542 2193747147 
3737423698 3511684278 1549884962 3413774919 3938991454 
2767325310 2335626851 1626114941  601913200 3485711542 
 858447440 2288468476 4075602213 1506361431 4252489875 
4032981007 1031118352 3762145731   70955369 2362903502 
1669089455 2673510137 3348740333 2521337794 2047144929 
 892246357 2319875070 1293843163   79245769 2022600352 
3866257397  989939126  835351312 3626278636 3805332945 
 836506264 1895040349  970326679  634920763  733185481 
1028655248  977810701 3434484235 1871311609 2031584214 
1336174158  385787519 3965885375 2768323462 1847726660 
2718987737  793780050 2509902580 3886434164 3120956802 
4207987247 1523159183 1884932179 2922324286  477253416 
3037922812 1108379444  697195677 1755438379  574393398 
2555059183 1930828628 1126190880  180621093 2589191337 
3424652760 3054648512  719646637  952394946 3570038180 
 504304985 1395707758 1274213163 2816553213 1369142370 
1804702100 1821782344 3358274235 2181234724  486158240 
 367287522 4267199121 1127352639  779850007 3440331597 
3276765484  125500149 1142120513 3989398167 1048565860 
3136747194  432668526 2098559576 1478877150 2484746208 
1209580219 1019125185 4160278734 1970740713  918146921 
4136433784 2602441845 2348512686  973030509 2238261365 
 815637919  994690313 1724736366 2099799816 1775069742 
2680317667  730798472 2916864943 1284417767 1698724919 
2733611686 1578128411  651006053 4243350375 3303874296 
 162087183 3796616231 3801767645 4119825424 3922537059 
  77594039 3419583692 2503306160  423966005 3293613218 
1124728190 1407880681 1440346680  554334954 2919409323 
1253962019  586491243 3638308238 3097648541  991125519 
 458538714 2155963569 2807866455    6862945 2122460897 
  53853750 3346001678 1230879976 3071060893  423909157 
3881450262 1652511030 3826483009 1526211009 1435219366 
3092251623 3001090498  281084412  849586749 2207008400 
 131172352 1820973075 3195774605 2962673849 2147580010 
1090677336 2061249893 1724513375 3885752424 1135918139 
2619357288 4012575714 2652856935 2029480458 3691276589 
2623865075 3459550738 2097670126 2477000057 2209844713 
 785646024 1052349661 1030500157 1430246618 3807539761 
2157629976  123154542 2560049331 2104110449 1332109867 
 721241591 4136042859 4203401395  998151922 3060999432 
3207929139 2149509272 1385268511 2023309182 1366796638 
 256061060 4090836236 2929047008 2296609403  182240337 
3744374619  306855912 4014087816 2240468995 2865233169 
 415452309 1244206523 3513921306  281425419 3511338031 
 995954022 3102854413 3026765331  643667197  837979907 
2832983005 1813414171 2227348307 4020325887 4178893912 
 610818241 2787397224 2762441380 3437393657 2030369078 
1949046312 1876612561 1857107382 1049344864 3544695775 
2172907342  358500115 3895295219  571965125  328582064 
 744698407 3066193991 1679065087 2650874932 3570748805 
 812110431 3450423805 1705023874  259721746 1192558045 
1714799045 3685508436 2262914445 3903852862 1790140070 
2651193482 2821191752  776610414 2697125035 2212010032 
1254062056 3541766210 1853927671 1543286708   66516686 
3505195914 4226521519 1260092911  717982876  739240369 
 456195732 2116515161 1599487648  838913496  850912042 
3712172413 2103192411  877020153 1458113119 2646869271 
4087221703 3771198399 3952796001 1685641891  226245966 
4065518354 3169076409  715963611 1155859114 4174181651 
1816065125 2422210778 2353087594 2569974907 4049024520 
 563593555 1794197249 2434290377 4222178191 2381045132 
1294739153 1333544226 3011196239  518183212 2861903570 
3168787443 2315530531 1042490149 2998340365 3534153126 
2862715604  796613230  765073073 1342937225  549817636 
3786981820 4291017601 2895722553  734959362 3175258828 
 140019477  268621172 2410334776  565052604 3787587805 
 386344800 2874086067   35710270  817904650 1960697289 
1584484509 2724312018 1978802819 2275314726 4216102886 
2138332912  671754166 1442240992 3674442465 1085868016 
2769242611 1003628378 1616076847  743729558  820011032 
2559719034 1839332599 3121982280 2070268989 3769147733 
 518022934 3037227899 2531915367 1008310588  971468687 
2052976098 1651926578   78218926 2503907441 3209763057 
1081499040 2812016370 1247433164  335294964 2650385171 
2030527826 1139372809 4279827824 3540669095 2285341455 
4220507154 3863048231 3136394663 3319584205 1476940506 
 875141230 2508558662 3896001866  462864388 1609807693 
3892563868 3642514037 3778083990 1403162576 3512254868 
1403323269 1119818229 2831288053 2552740643 2520136409 
  96690857  210381252 1826474872 3306977352 1343117402 
2112059492  693571694 2096734379  767794921 1843084587 
1816280216 1695342628  404711915 3334843684 2570639553 
4186538211 2022604264 3214805180 2989079529 2725165355 
3005995436  310011850 2742468706 2720274646  144327376 
2271696819  295519962 1272030376 1372670420 1397272558 
2280044719 2710639434 2810822904 4271368265 1750711132 
2216408539 3521792518 3111505866 3085328191 1054735512 
4160317205 1427385632 2282061755 3215251668 1396490078 
2933318719  453673969 2926038256 2624047458  338625410 
3344930154 1971116345 1818716442 2998517928  390083048 
 291563131 1144486353  296954266  659950561 2263631666 
1206908601 1125491020 1890151284 2076080514 2264060846 
 561805191 1964622705  405620012 3759692386  517035386 
2225016848 4165419081 4052828294 3248204933 2738939733 
1151808775 4113264137 3113447491 1033828852 1785686386 
2903923175 2038900010 1241522880  238119113 2885394101 
2636011022 2985605703 2107193353  292026696 3884689974 
1094315383 4016714705  962244585 3943968050 2868319718 
1304919603 3626636694 3393461291 1479454799  971639318 
3352306399 1928233566 2900529135 2190901098   28842068 
 990556577 2586302532 3057504668 1661169605 4228191763 
3934152427 2814119472    4943754 1171095774 1986204006 
2014406505 1822565279   12890078 1979620724 1917376192 
3307810835 4170173371 1385005883 1308519769 3370429606 
 923886311 2024463563 1063369787  153599761 3463680785 
 755374878 2088947962 3099927142 1750207400 2033606872 
 926120766  655932557 2320365045 1465119024 3105365454 
2608716819 1218456091  823539591 2331574954 3171519129 
3246671799 1043031086 1425831588 3940307546 3443545749 
1155610704 3681098065 3287797558   63959365  810297004 
3800799806 1234795257 2547289014  391329364  370300179 
2474800443 3972311925 2935022755 3924395679 2347599539 
4212318274 1828491430 3865565525 2767860661 4078993078 
2781496513 4013741232 2916354756   35752471 2730683119 
3340599926 4059491907  111492530  897368671 2524912702 
3046341697 2790787159 1014602604 1409764839  512802978 
 477082227 2608350570  533747000 1933326657 4182933327 
1970210993 2290203137 2843031053 2844558050 3308351089 
3041943368 1504174920  295229952 2843309586  884572473 
1787387521 1861566286 3616058184   48071792 3577350513 
 297480282 1101405687 1473439254 2634793792 1341017984