pgregory.net/rand@v1.0.3-0.20230808192358-a0b8ce02f4da/sfc64_test.go (about)

     1  // Copyright 2022 Gregory Petrosyan <gregory.petrosyan@gmail.com>
     2  //
     3  // This Source Code Form is subject to the terms of the Mozilla Public
     4  // License, v. 2.0. If a copy of the MPL was not distributed with this
     5  // file, You can obtain one at https://mozilla.org/MPL/2.0/.
     6  
     7  package rand
     8  
     9  import "testing"
    10  
    11  func TestSFC64_Zig(t *testing.T) {
    12  	golden := []uint64{
    13  		0x3acfa029e3cc6041,
    14  		0xf5b6515bf2ee419c,
    15  		0x1259635894a29b61,
    16  		0xb6ae75395f8ebd6,
    17  		0x225622285ce302e2,
    18  		0x520d28611395cb21,
    19  		0xdb909c818901599d,
    20  		0x8ffd195365216f57,
    21  		0xe8c4ad5e258ac04a,
    22  		0x8f8ef2c89fdb63ca,
    23  		0xf9865b01d98d8e2f,
    24  		0x46555871a65d08ba,
    25  		0x66868677c6298fcd,
    26  		0x2ce15a7e6329f57d,
    27  		0xb2f1833ca91ca79,
    28  		0x4b0890ac9bf453ca,
    29  	}
    30  
    31  	var s sfc64
    32  	s.init(0, 0, 0)
    33  
    34  	for i, u := range golden {
    35  		v := s.next64()
    36  		if v != u {
    37  			t.Fatalf("got %v instead of %v at step %v", v, u, i)
    38  		}
    39  	}
    40  }
    41  
    42  func TestSFC64_NumPy_DEADBEAF(t *testing.T) {
    43  	golden := []uint64{
    44  		0xa475f55fbb6bc638,
    45  		0xb2d594b6c29d971c,
    46  		0x275bc4ece4484fb1,
    47  		0x569be72d9b3492fb,
    48  		0x89a5bb9b206a670c,
    49  		0xd951bfa06afdc3f9,
    50  		0x7ee2e1029d52a265,
    51  		0x12ef1d4de0cb4d4c,
    52  		0x41658ba8f0ef0280,
    53  		0x5b650c82e4fe09c5,
    54  		0x638a9f3e30ec4e94,
    55  		0x147487fb2ba9233e,
    56  		0x89ef035603d2d1fb,
    57  		0xe66ca57a190e6cbe,
    58  		0x330f673740dd61fc,
    59  		0xc71d3dce2f8bb34e,
    60  		0x3c07c39ff150b185,
    61  		0x5df952b6cae8f099,
    62  		0x9f09f2b1f0ceac80,
    63  		0x19598eee2d0c4c67,
    64  		0x64e06483702e0ebd,
    65  		0xda04d1fdb545f7fa,
    66  		0xf2cf53b61a0c4f9b,
    67  		0xf0bb724ce196f66e,
    68  		0x71cefde55d9cf0f,
    69  		0x6323f62824a20048,
    70  		0x1e93604680f14b4e,
    71  		0xd9d8fad1d4654025,
    72  		0xf4ee25af2e76ca08,
    73  		0x6af3325896befa98,
    74  		0xad9e43abf5e04053,
    75  		0xbf930e318ce09de3,
    76  		0x61f9583b4f9ffe76,
    77  		0x9b69d0b3d5ec8958,
    78  		0xa608f250f9b2ca41,
    79  		0x6fdba7073dc2bb5d,
    80  		0xa9d57601efea6d26,
    81  		0xc24a88a994954105,
    82  		0xc728b1f78d88fe5b,
    83  		0x88da88c2b083b3b2,
    84  		0xa9e27f7303c76cfd,
    85  		0xc4c24608c29176eb,
    86  		0x5420b58466b972fd,
    87  		0xd2018a661b6756c8,
    88  		0x7caed83d9573fc7,
    89  		0x562a3d81b849a06a,
    90  		0x16588af120c21f2c,
    91  		0x658109a7e0eb4837,
    92  		0x877aabb14d3822e1,
    93  		0x95704c342c3745fe,
    94  		0xeeb8a0dc81603616,
    95  		0x431bf94889290419,
    96  		0xe4a9410ab92a5863,
    97  		0xbc6be64ea60f12ba,
    98  		0x328a2da920015063,
    99  		0x40f6b3bf8271ae07,
   100  		0x4068ff00a0e854f8,
   101  		0x1b287572ca13fa78,
   102  		0xa11624a600490b99,
   103  		0x4a04ef29eb7150fa,
   104  		0xcc9469ab5ffb739,
   105  		0x99a6a9f8d95e782,
   106  		0x8e90356573e7a070,
   107  		0xa740b8fb415c81c4,
   108  		0x47eccef67447f3da,
   109  		0x2c720afe3a62a49b,
   110  		0xe2a747f0a43eacf4,
   111  		0xba063a87ab165576,
   112  		0xbc1c78ed27feb5a3,
   113  		0x285a19fa3974f9d,
   114  		0x489c61e704f5f0e3,
   115  		0xf5ab04f6b03f238b,
   116  		0x7e25f88138a110dd,
   117  		0xc3d1cef3d7c1f1d1,
   118  		0xc3de6ec64d0d8e00,
   119  		0x73682a15b6cc5088,
   120  		0x6fecbeb319163dc5,
   121  		0x7e100d5defe570a1,
   122  		0xad2af9af076dce57,
   123  		0x3c65100e23cd3a9a,
   124  		0x4b442cc6cfe521bb,
   125  		0xe89dc50f8ab1ef75,
   126  		0x8b3c6fdc2496566,
   127  		0xdfc50042bc2c308c,
   128  		0xe39c5f158b33d2b2,
   129  		0x92f6adefdfeb0ac,
   130  		0xdf5808a949c85b3e,
   131  		0x437384021c9dace9,
   132  		0xa7b5ed0d3d67d8f,
   133  		0xe1408f8b21da3c34,
   134  		0xa1bba125c1e80522,
   135  		0x7611dc4710385264,
   136  		0xb00a46ea84082917,
   137  		0x51bf8002ffa87cef,
   138  		0x9bb81013e9810adc,
   139  		0xd28f6600013541cd,
   140  		0xc2ca3b1fa7791c1f,
   141  		0x47f9ad58f099c82c,
   142  		0x4d1bb9458469caf9,
   143  		0xca0b165b2844257,
   144  		0xc3b2e667d075dc66,
   145  		0xde22f71136a3dbb1,
   146  		0x23b4e3b6f219e4c3,
   147  		0x327e0db4c9782f66,
   148  		0x9365506a6c7a1807,
   149  		0x3e868382dedd3be7,
   150  		0xff04fa6534bcaa99,
   151  		0x96621a8862995305,
   152  		0x81bf39cb5f8e1df7,
   153  		0x79b684bb8c37af7a,
   154  		0xae3bc073c3cde33c,
   155  		0x7805674112c899ac,
   156  		0xd95a27995abb20f2,
   157  		0x71a503c57b105c40,
   158  		0x5ff00d6a73ec8acc,
   159  		0x12f96391d91e47c2,
   160  		0xd55ca097b3bd4947,
   161  		0x794d79d20468b04,
   162  		0x35d814efb0d7a07d,
   163  		0xfa9ac9bd0aae76d3,
   164  		0xa77b8a3711e175cd,
   165  		0xe6694fbf421f9489,
   166  		0xd8f1756525a1a0aa,
   167  		0xe38dfa8426277433,
   168  		0x16b640c269bbcd44,
   169  		0x2a7a5a67ca24cfeb,
   170  		0x669039c28d5344b4,
   171  		0x2a445ee81fd596bb,
   172  		0x600df94cf25607e0,
   173  		0x9358561a7579abff,
   174  		0xee1d52ea179fc274,
   175  		0x21a8b325e89d31be,
   176  		0x36fc0917486eec0a,
   177  		0x3d99f40717a6be9f,
   178  		0x39ac140051ca55ff,
   179  		0xcef7447c26711575,
   180  		0xf22666870eff441d,
   181  		0x4a53c6134e1c7268,
   182  		0xd26de518ad6bdb1b,
   183  		0x1a736bf75b8b0e55,
   184  		0xef1523f4e6bd0219,
   185  		0xb287b32fd615ad92,
   186  		0x2583d6af5e841dd5,
   187  		0x4b9294aae7ca670c,
   188  		0xf5aa4a84174f3ca9,
   189  		0x886300f9e0dc6376,
   190  		0x3611401e475ef130,
   191  		0x69b56432b367e1ac,
   192  		0x30c330e9ab36b7c4,
   193  		0x1e0e73079a85b8d5,
   194  		0x40fdfc7a5bfaecf,
   195  		0xd7760f3e8e75a085,
   196  		0x1cc1891f7f625313,
   197  		0xeece1fe6165b4272,
   198  		0xe61111b0c166a3c1,
   199  		0x2f1201563312f185,
   200  		0xfd10e8ecdd2a57cb,
   201  		0x51cdc8c9dd3a89bf,
   202  		0xed13cc93938b5496,
   203  		0x843816129750526b,
   204  		0xd09995cd6819ada,
   205  		0x4601e778d40607df,
   206  		0xef9df06bd66c2ea0,
   207  		0xae0bdecd3db65d69,
   208  		0xbb921a3c65a4ae9a,
   209  		0xd66698ce8e9361be,
   210  		0xacdc91647b6068f4,
   211  		0xe505ef68f2a5c1c0,
   212  		0xd6e62fd27c6ab137,
   213  		0x6a2ba2c6a4641d86,
   214  		0x9c89143715c3b81,
   215  		0xe408c4e00362601a,
   216  		0x986155cbf5d4bd9d,
   217  		0xb9e6831728c893a7,
   218  		0xb985497c3bf88d8c,
   219  		0xd0d729214b727bec,
   220  		0x4e557f75fece38a,
   221  		0x6572067fdfd623ca,
   222  		0x178d49bb4d5cd794,
   223  		0xe6baf59f60445d82,
   224  		0x5607d53518e3a8d2,
   225  		0xba7931adb6ebbd61,
   226  		0xe853576172611329,
   227  		0xe945daff96000c44,
   228  		0x565b9ba3d952a176,
   229  		0xcdb54d4f88c584c8,
   230  		0x482a7499bee9b5e5,
   231  		0x76560dd0affe825b,
   232  		0x2a56221faa5ca22c,
   233  		0x7729be5b361f5a25,
   234  		0xd6f2195795764876,
   235  		0x59ef7f8f423f18c5,
   236  		0x7ebefed6d02adde1,
   237  		0xcfec7265329c73e5,
   238  		0x4fd8606a5e59881c,
   239  		0x95860982ae370b73,
   240  		0xdecfa33b1f902acc,
   241  		0xf9b8a57400b7c0a6,
   242  		0xd20b822672ec857b,
   243  		0x4eb81084096c7364,
   244  		0xe535c29a44d9b6ad,
   245  		0xdef8b48ebacb2e29,
   246  		0x1063bc2b8ba0e915,
   247  		0xe4e837fb53d76d02,
   248  		0x4df935db53579fb8,
   249  		0xa30a0c8053869a89,
   250  		0xe891ee58a388a7b5,
   251  		0x17931a0c64b8a985,
   252  		0xaf2d350b494ce1b3,
   253  		0x2ab9345ffbcfed82,
   254  		0x7de3fe628a2592f0,
   255  		0x85cf54fab8b7e79d,
   256  		0x42d221520edab71b,
   257  		0x17b695b3af36c233,
   258  		0xa4ffe50fe53eb485,
   259  		0x1102d242db800e4d,
   260  		0xc8dc01f0233b3b6,
   261  		0x984a030321053d36,
   262  		0x27fa8dc7b7112c0e,
   263  		0xba634dd8294e177f,
   264  		0xe67ce34b36332eb,
   265  		0x8f1351e1894fb41a,
   266  		0xb522a3048761fd30,
   267  		0xc350ad9bc6729edc,
   268  		0xe0ed105bd3c805e1,
   269  		0xa14043d2b0825aa7,
   270  		0xee7779ce7fc11fdf,
   271  		0xc0fa8ba23a60ab25,
   272  		0xb596d1ce259afbad,
   273  		0xaa9b8445537fdf62,
   274  		0x770ab2c700762e13,
   275  		0xe812f1183e40cc1,
   276  		0x44bc898e57aefbbd,
   277  		0xdd8a871df785c996,
   278  		0x88836a5e371eb36b,
   279  		0xb6081c9152623f27,
   280  		0x895acbcd6528ca96,
   281  		0xfb67e33ddfbed435,
   282  		0xaf7af47d323ce26,
   283  		0xe354a510c3c39b2d,
   284  		0x5cacdedda0672ba3,
   285  		0xa440d9a2c6c22b09,
   286  		0x6395099f48d64304,
   287  		0xc11cf04c75f655b5,
   288  		0x1c4e054d144ddb30,
   289  		0x3e0c2db89d336636,
   290  		0x127ecf18a5b0b9a7,
   291  		0x3b50551a88ea7a73,
   292  		0xbd27003e47f1f684,
   293  		0xf32d657782baac9b,
   294  		0x727f5cabf020bc9,
   295  		0x39c1c1c226197dc7,
   296  		0x5552c87b35deeb69,
   297  		0x64d54067b5ce493f,
   298  		0x3494b091fe28dda0,
   299  		0xdf0278bc85ee2965,
   300  		0xdef16fec25efbd66,
   301  		0xe2be09f578c4ce28,
   302  		0xd27a9271979d3019,
   303  		0x427f6fcd71845e3,
   304  		0x26b52c5f81ec142b,
   305  		0x98267efc3986ad46,
   306  		0x7bf4165ddb7e4374,
   307  		0xd05f7996d7941010,
   308  		0x3b3991de97b45f14,
   309  		0x9068217fb4f27a30,
   310  		0xd8fe295160afc7f3,
   311  		0x8a159fab4c3bc06f,
   312  		0x57855506d19080b6,
   313  		0x7636df6b3f2367a4,
   314  		0x2844ee3abd1d5ec9,
   315  		0xe5788de061f51c16,
   316  		0x69e78cc9132a164,
   317  		0xacd53cde6d8cd421,
   318  		0xb23f3100068e91da,
   319  		0x4140070a47f53891,
   320  		0xe4a422225a96e53a,
   321  		0xb82a8925a272a2ac,
   322  		0x7c2f9573590fe3b7,
   323  		0xbaf80764db170575,
   324  		0x955abffa54358368,
   325  		0x355ce7460614a869,
   326  		0x3700ede779a4afbf,
   327  		0x10a6ec01d92d68cd,
   328  		0x3308f5a0a4c0afef,
   329  		0x97b892d7601136c9,
   330  		0x4955c3b941b8552e,
   331  		0xca85aa67e941961d,
   332  		0xb1859ae5db28e9d2,
   333  		0x305d072ac1521fbd,
   334  		0xed52a868996085bb,
   335  		0x723bfa6a76358852,
   336  		0x78d946ecd97c5fb3,
   337  		0x39205b30a8e23e79,
   338  		0xb927e3d086baadbe,
   339  		0xa18d6946136e1ff5,
   340  		0xdab6f0b51c1eb5ff,
   341  		0xf0a640bf7a1af60c,
   342  		0xf0e81db09004d0d4,
   343  		0xfe76cebdbe5a4dde,
   344  		0x2dafe9cc3decc376,
   345  		0x4c871fdf1af34205,
   346  		0xe79617d0c8fa893b,
   347  		0xee658aaad3a141f7,
   348  		0xfd91aa74863e19f1,
   349  		0x841b8f55c103cc22,
   350  		0x22766ed65444ad5d,
   351  		0x56d03d1beca6c17a,
   352  		0x5fd4c112c92036ae,
   353  		0x75466ae58a5616dc,
   354  		0xfbf98b1081e802a9,
   355  		0xdc325e957bf6d8f5,
   356  		0xb08da7015ebd19b7,
   357  		0xf25a9c0944f0c073,
   358  		0xf4625bafa0ced718,
   359  		0x4349c9e093a9e692,
   360  		0x75a9ccd4dd8935cb,
   361  		0x7e6cf9e539361e91,
   362  		0x20fdd22fb6edd475,
   363  		0x5973021b57c2311f,
   364  		0x75392403667edc15,
   365  		0xed9b2156ea70d9f1,
   366  		0xf40c114db50b64a0,
   367  		0xe26bb2c9eef20c62,
   368  		0x409c1e3037869f03,
   369  		0xcdfd71fdda3b7f91,
   370  		0xa0dfae46816777d6,
   371  		0xde060a8f61a8deb8,
   372  		0x890e082a8b0ca4fc,
   373  		0xb9f2958eddf2d0db,
   374  		0xd17c148020d20e30,
   375  		0xffdc9cc176fe7201,
   376  		0xffb83d925b764c1,
   377  		0x817ea639e313da8d,
   378  		0xa4dd335dd891ca91,
   379  		0x1342d25a5e81f488,
   380  		0xfa7eb9c3cf466b03,
   381  		0xfe0a423d44b185d0,
   382  		0x101cfd430ab96049,
   383  		0x7b5d3eda9c4504b,
   384  		0xe20ccc006e0193f1,
   385  		0xf54ccddedebc5df0,
   386  		0xc0edd142bd58f1db,
   387  		0x3831f40d378d2430,
   388  		0x80132353f0a88289,
   389  		0x688f23c419d03ef8,
   390  		0x4c6837e697884066,
   391  		0x699387bb2e9a3a8f,
   392  		0x8996f860342448d8,
   393  		0xb0f80dff99bfa5cc,
   394  		0x3e927a7f9ea12c8e,
   395  		0xd7e498d1e5f9dff3,
   396  		0x78ecb97bb3f864cc,
   397  		0x3c4ffd069a014d38,
   398  		0xf8d5073a1e09b4d4,
   399  		0x8717e854f9faef23,
   400  		0xfbcc5478d8d0ad7,
   401  		0xd3cd8b233ca274ff,
   402  		0x8bd8f11f79beb265,
   403  		0xf64498a832d8fd0e,
   404  		0xb01bba75112131ec,
   405  		0x55572445a7869781,
   406  		0x7b56622f18cb3d7a,
   407  		0x7f192c9e075bdb83,
   408  		0xd9a112f836b83ff3,
   409  		0x68673b37269653dc,
   410  		0xe46a9433fb6a0879,
   411  		0x127d756ca4779001,
   412  		0xc1378e8b1e8eab94,
   413  		0x1006edb0f51d078c,
   414  		0xc6dd53961232d926,
   415  		0x9a4aeef44038256d,
   416  		0xd357f4fa652d4f5f,
   417  		0x59f3d2cc3378598,
   418  		0xe76e6207a824a7fc,
   419  		0x5fc5e33712ceffef,
   420  		0x77d24aeb0ccb1adc,
   421  		0x5be4b2826805659e,
   422  		0x257c69d787e64634,
   423  		0x58dd52ca6bc727b1,
   424  		0x3ab997767235ea33,
   425  		0x986a2a7a966fad14,
   426  		0xc900f8b27761dcc4,
   427  		0x44991bdb13795700,
   428  		0xe5c145a4fe733b2,
   429  		0x56f041b56bffe0d3,
   430  		0x5779c4fef8067996,
   431  		0xa0fe8748e829532d,
   432  		0x840c1277d78d9dd4,
   433  		0x37ebcb315432acbc,
   434  		0xf4bc8738433ba3be,
   435  		0x8b122993f2e10062,
   436  		0xe1fe8481f2681ed5,
   437  		0x8e23f1630d9f494a,
   438  		0xda24661a01b7d0b3,
   439  		0x7a02942a179cee36,
   440  		0xf1e08a3c09b71ac,
   441  		0x3dec2cc7ee0bd8fd,
   442  		0x1f3e480113d805d4,
   443  		0xc061b973ad4e3f2c,
   444  		0x6bea750f17a66836,
   445  		0xbc2add72eac84c25,
   446  		0xcff058d3f97934ca,
   447  		0x54ccc30987778ec2,
   448  		0x93449ec1e1469558,
   449  		0xe2ff369eb0c6836,
   450  		0x41c2df2d63bf8e55,
   451  		0xf9302629b6c71be2,
   452  		0xdd30376b8e5ab29a,
   453  		0x12db9e04f911d754,
   454  		0x8d03d6cd359f1b97,
   455  		0xe15956511abf1cee,
   456  		0x9b68e10e2c2fd940,
   457  		0x2e28de6491c1ce53,
   458  		0x52b329b72d0c109d,
   459  		0xc2c0b115f9da2a60,
   460  		0x6ca084105271bbff,
   461  		0x49b92b8676058c1e,
   462  		0x767fc92a70f7e5a3,
   463  		0x87ba4ed4b65a6aa0,
   464  		0xf70b052e0a3975e9,
   465  		0x3e925c3306db9eec,
   466  		0x43253f1d96ac9513,
   467  		0xe3e04f1a1ea454c4,
   468  		0x763e3f4cc81ba0c8,
   469  		0x2a2721ac69265705,
   470  		0xdf3b0ac6416ea214,
   471  		0xa6a6b57450f3e000,
   472  		0xc3d3b1ac7dbfe6ac,
   473  		0xb66e5e6f7d2e4ec0,
   474  		0x43c65296f98f0f04,
   475  		0xdb0f6e3ff974d842,
   476  		0x3d6b48e02ebb203b,
   477  		0xd74674ebf09d8f27,
   478  		0xbe65243c58fc1200,
   479  		0x55eb210a68d42625,
   480  		0x87badab097dbe883,
   481  		0xada3fda85a53824f,
   482  		0xef2791e8f48cd37a,
   483  		0x3fe7fceb927a641a,
   484  		0xd3bffd3ff031ac78,
   485  		0xb94efe03da4d18fb,
   486  		0x162a0ad8da65ea68,
   487  		0x300f234ef5b7e4a6,
   488  		0xa2a8b4c77024e4fb,
   489  		0x5950f095ddd7b109,
   490  		0xded66dd2b1bb02ba,
   491  		0x8ec24b7fa509bcb6,
   492  		0x9bede53d924bdad6,
   493  		0xa9c3f46423be1930,
   494  		0x6dfc90597f8de8b4,
   495  		0xb7419ebc65b434f0,
   496  		0xa6596949238f58b9,
   497  		0x966cbade640829b8,
   498  		0x58c74877bdcbf65e,
   499  		0xaa103b8f89b0c453,
   500  		0x219f0a86e41179a4,
   501  		0x90f534fc06ddc57f,
   502  		0x8db7cdd644f1affa,
   503  		0x38f91de0167127ac,
   504  		0xdcd2a65e4df43daa,
   505  		0x3e04f34a7e01f834,
   506  		0x5b237eea68007768,
   507  		0x7ff4d2b015921768,
   508  		0xf786b286549d3d51,
   509  		0xaefa053fc2c3884c,
   510  		0x8e6a8ff381515d36,
   511  		0x35b94f3d0a1fce3c,
   512  		0x165266d19e9abb64,
   513  		0x1deb5caa5f9d8076,
   514  		0x13ab91290c7cfe9d,
   515  		0x3651ca9856be3e05,
   516  		0xe7b705f6e9cccc19,
   517  		0xd6e7f79668c127ed,
   518  		0xa9faf37154896f92,
   519  		0x89fbf190603e0ab1,
   520  		0xb34d155a86f942d0,
   521  		0xb2d4400a78bfdd76,
   522  		0x7c0946aca8cfb3f0,
   523  		0x7492771591c9d0e8,
   524  		0xd084d95c5ca2eb28,
   525  		0xb18d12bd3a6023e,
   526  		0xea217ed7b864d80b,
   527  		0xe52f69a755dd5c6f,
   528  		0x127133993d81c4aa,
   529  		0xe07188fcf1670bfb,
   530  		0x178fbfe668e4661d,
   531  		0x1c9ee14bb0cda154,
   532  		0x8d043b96b6668f98,
   533  		0xbc858986ec96ca2b,
   534  		0x7660f779d528b6b7,
   535  		0xd448c6a1f74ae1d3,
   536  		0x178e122cfc2a6862,
   537  		0x236f000abaf2d23b,
   538  		0x171b27f3f0921915,
   539  		0x4c3ff07652f50a70,
   540  		0x18663e5e7d3a66ca,
   541  		0xb38c97946c750cc9,
   542  		0xc5031aae6f78f909,
   543  		0x4d1514e2925e95c1,
   544  		0x4c2184a741dabfbb,
   545  		0xfd410364edf77182,
   546  		0xc228157f863ee873,
   547  		0x9856fdc735cc09fc,
   548  		0x660496cd1e41d60e,
   549  		0x2edf1d7e01954c32,
   550  		0xd32e94639bdd98cf,
   551  		0x8e153f48709a77d,
   552  		0x89357f332d2d6561,
   553  		0x1840d512c97085e6,
   554  		0x2f18d035c9e26a85,
   555  		0x77b88b1448b26d5b,
   556  		0xc1ca6ef4cdae0799,
   557  		0xcc203f9e4508165f,
   558  		0xeaf762fbc9e0cbbe,
   559  		0xc070c687f3c4a290,
   560  		0xd49ed321068d5c15,
   561  		0x84a55eec17ee64ee,
   562  		0x4d8ee685298a8871,
   563  		0x9ff5f17d7e029793,
   564  		0x791d7d0d62e46302,
   565  		0xab218b9114e22bc6,
   566  		0x4902b7ab3f7119a7,
   567  		0x694930f2e29b049e,
   568  		0x1a3c90650848999f,
   569  		0x79f1b9d8499c932b,
   570  		0xfacb6d3d55e3c92f,
   571  		0x8fd8b4f25a5da9f5,
   572  		0xd037dcc3a7e62ae7,
   573  		0xfecf57300d8f84f4,
   574  		0x32079b1e1dc12d48,
   575  		0xe5f8f1e62b288f54,
   576  		0x97feba3a9c108894,
   577  		0xd279a51e1899a9a0,
   578  		0xd68eea8e8e363fa8,
   579  		0x7394cf2deeca9386,
   580  		0x5f70b0c80f1dbf10,
   581  		0x8d646916ed40462,
   582  		0xd253bb1c8a12bbb6,
   583  		0x38f399a821fbd73e,
   584  		0x947523a26333ac90,
   585  		0xb52e90affbc52a37,
   586  		0xcf899cd964654da4,
   587  		0xdf66ae9cca8d99e7,
   588  		0x6051478e57c21b6a,
   589  		0xffa7dc975af3c1da,
   590  		0x195c7bff2d1a8f5,
   591  		0x64f12b6575cf984d,
   592  		0x536034cb842cf9e1,
   593  		0x180f247ce5bbfad,
   594  		0x8ced45081b134867,
   595  		0x532bbfdf426710f3,
   596  		0x4747933e74c4f54d,
   597  		0x197a890dc4793401,
   598  		0x76c7cc2bd42fae2,
   599  		0xdabfd67f69675dd0,
   600  		0x85c690a68cdb3197,
   601  		0xe482cec89ce8f92,
   602  		0x20bc9fb7797011b1,
   603  		0x76dc85a2185782ad,
   604  		0x3df37c164422117a,
   605  		0x99211f5d231e0ab0,
   606  		0xef7fd794a0a91f4,
   607  		0x419577151915f5fe,
   608  		0x3ce14a0a7135dae3,
   609  		0x389b57598a075d6a,
   610  		0x8cc2a9d51b5af9aa,
   611  		0xe80a9beffbd13f13,
   612  		0x65e96b22ea8a54d8,
   613  		0x79f38c4164138ede,
   614  		0xd1955846cba03d81,
   615  		0x60359fe58e4f26d6,
   616  		0x4ea724f585f8d13e,
   617  		0x316dfdbadc801a3c,
   618  		0x20aa29b7c6dd66fe,
   619  		0x65eaf83a6a008caa,
   620  		0x407000aff1b9e8cb,
   621  		0xb4d49bfb2b268c40,
   622  		0xd4e6fe8a7a0f14a9,
   623  		0xe34afef924e8f58e,
   624  		0xe377b0c891844824,
   625  		0x29c2e20c112d30c8,
   626  		0x906aad1fe0c18a95,
   627  		0x308385f0efbb6474,
   628  		0xf23900481bf70445,
   629  		0xfdfe3ade7f937a55,
   630  		0xf37aae71c33c4f97,
   631  		0x1c81e3775a8bed85,
   632  		0x7eb5013882ce35ea,
   633  		0x37a1c1692495818d,
   634  		0x3f90ae118622a0ba,
   635  		0x58e4fe6fea29b037,
   636  		0xd10ff1d269808825,
   637  		0xbce30edb60c21bba,
   638  		0x123732329afd6fee,
   639  		0x429b4059f797d840,
   640  		0x421166568a8c4be1,
   641  		0x88f895c424c1bd7f,
   642  		0x2adaf7a7b9f781cb,
   643  		0xa425644b26cb698,
   644  		0x8cc44d2486cc5743,
   645  		0xdb9f357a33abf6ba,
   646  		0x1a57c4ea77a4d70c,
   647  		0x1dea29be75239e44,
   648  		0x463141a137121a06,
   649  		0x8fecfbbe0b8a9517,
   650  		0x92c83984b3566123,
   651  		0x3b1c69180ed28665,
   652  		0x14a6073425ea8717,
   653  		0x71f4c2b3283238d7,
   654  		0xb3d491e3152f19f,
   655  		0x3a0ba3a11ebac5d2,
   656  		0xddb4d1dd4c0f54ac,
   657  		0xdb8f36fe02414035,
   658  		0x1cf5df5031b1902c,
   659  		0x23a20ed12ef95870,
   660  		0xf113e573b2dedcbb,
   661  		0x308e2395cde0a9fa,
   662  		0xd377a22581c3a7da,
   663  		0xe0ced97a947a66fb,
   664  		0xe44f4de9cd754b00,
   665  		0x2344943337d9d1bf,
   666  		0x4b5ae5e2ea6e749c,
   667  		0x9b8d2e3ef41d1c01,
   668  		0x59a5a53ebbd24c6b,
   669  		0x4f7611bf9e8a06fb,
   670  		0xea38c7b61361cd06,
   671  		0xf125a2bfdd2c0c7,
   672  		0x2df8dcb5926b9ebb,
   673  		0x233e18720cc56988,
   674  		0x974c61379b4aa95e,
   675  		0xc7fe24c1c868910b,
   676  		0x818fd1affc82a842,
   677  		0xcee92a952a26d38e,
   678  		0x8962f575ebcbf43,
   679  		0x7770687e3678c460,
   680  		0xdfb1db4ed1298117,
   681  		0xb9db54cb03d434d3,
   682  		0x34aebbf2244257ad,
   683  		0xd836db0cb210c490,
   684  		0x935daed7138957cd,
   685  		0x3cd914b14e7948fd,
   686  		0xd0472e9ed0a0f7f0,
   687  		0xa9df33dca697f75e,
   688  		0x15e9ea259398721a,
   689  		0x23eeba0f970abd60,
   690  		0x2217fdf8bbe99a12,
   691  		0x5ea490a95717b198,
   692  		0xf4e2bfc28280b639,
   693  		0x9d19916072d6f05c,
   694  		0x5e0387cab1734c6a,
   695  		0x93c2c8ac26e5f01e,
   696  		0xb0d934354d957eb1,
   697  		0xee5099a1eef3188c,
   698  		0x8be0abca8edc1115,
   699  		0x989a60845dbf5aa3,
   700  		0x181c7ed964eee892,
   701  		0x49838ea07481288d,
   702  		0x17dbc75d66116b2e,
   703  		0xa4cafb7a87c0117e,
   704  		0xab2d0ae44cdc2e6e,
   705  		0xdf802f2457e7da6,
   706  		0x4b966c4b9187e124,
   707  		0x62de9db6f4811e1a,
   708  		0x1e20485968bc62,
   709  		0xe9ac288265caca94,
   710  		0xc5c694d349aa8c1a,
   711  		0x3d67f2083d9bdf10,
   712  		0x9a2468e503085486,
   713  		0x9d6acd3dc152d1a3,
   714  		0xca951e2aeee8df77,
   715  		0x2707371af9cdd7b0,
   716  		0x2347ae6a4eb5ecbd,
   717  		0x16abe5582cb426f,
   718  		0x523af4ff980bbccb,
   719  		0xb07a0f043e3694aa,
   720  		0x14d7c3da81b2de7,
   721  		0xf471f1b8ac22305b,
   722  		0xdb087ffff9e18520,
   723  		0x1a352db3574359e8,
   724  		0x48d5431502cc7476,
   725  		0x7c9b7e7003dfd1bf,
   726  		0x4f43a48aae987169,
   727  		0x9a5d3eb66dedb3e9,
   728  		0xa7b331af76a9f817,
   729  		0xba440154b118ab2d,
   730  		0x64d22344ce24c9c6,
   731  		0xa22377bd52bd043,
   732  		0x9dfa1bb18ca6c5f7,
   733  		0xdccf44a92f644c8b,
   734  		0xf623d0a49fd18145,
   735  		0x556d5c37978e28b3,
   736  		0xad96e32ce9d2bb8b,
   737  		0x2e479c120be52798,
   738  		0x7501cf871af7b2f7,
   739  		0xd02536a5d026a5b8,
   740  		0x4b37ff53e76ab5a4,
   741  		0xdb3a4039caaeab13,
   742  		0x6cbd65e3b700c7be,
   743  		0x7367abd98761a147,
   744  		0xf4f9ba216a35aa77,
   745  		0xf88ca25ce921eb86,
   746  		0xb211de082ec2cbf2,
   747  		0xdd94aa46ec57e12e,
   748  		0xa967d74ad8210240,
   749  		0xdaa1fada8cfa887,
   750  		0x85901d081c4488ee,
   751  		0xcf67f79a699ef06,
   752  		0x7f2f1f0de921ee14,
   753  		0x28bc61e9d3f2328b,
   754  		0x3332f2963faf18e5,
   755  		0x4167ac71fcf43a6,
   756  		0x843c1746b0160b74,
   757  		0xd9be80070c578a5e,
   758  		0xbd7250c9af1473e7,
   759  		0x43f78afaa3647899,
   760  		0x91c6b5dd715a75a5,
   761  		0x29cc66c8a07bfef3,
   762  		0x3f5c667311dc22be,
   763  		0x4f49cd47958260cd,
   764  		0xbef8be43d920b64e,
   765  		0x7a892a5f13061d8b,
   766  		0x9532f40125c819b1,
   767  		0x924fca3045f8a564,
   768  		0x9b2c6442453b0c20,
   769  		0x7e21009085b8e793,
   770  		0x9b98c17e17af59d2,
   771  		0xba61acb73e3ae89a,
   772  		0xb9d61a710555c138,
   773  		0xc2a425d80978974b,
   774  		0xa275e13592da7d67,
   775  		0xe962103202d9ad0f,
   776  		0xbdf8367a4d6f33fd,
   777  		0xe59beb2f8648bdc8,
   778  		0xb4c387d8fbc4ac1c,
   779  		0x5e3f276b63054b75,
   780  		0xf27e616aa54d8464,
   781  		0x3f271661d1cd7426,
   782  		0x43a69dbee7502c78,
   783  		0x8066fcea6df059a1,
   784  		0x3c10f19409bdc993,
   785  		0x6ba6f43fb21f23e0,
   786  		0x9e182d70a5bccf09,
   787  		0x1520783d2a63a199,
   788  		0xba1dcc0c70b9cace,
   789  		0x1009e1e9b1032d8,
   790  		0xf632f6a95fb0315,
   791  		0x48e711c7114cbfff,
   792  		0xef281dcec67debf7,
   793  		0x33789894d6abf59b,
   794  		0x6c8e541fffbe7f9c,
   795  		0x85417f13b08e0a88,
   796  		0x9a581e36d589608f,
   797  		0x461dca50b1befd35,
   798  		0x5a3231680dde6462,
   799  		0xcc57acf729780b97,
   800  		0x50301efef62e1054,
   801  		0x675d042cd4f6bbc9,
   802  		0x1652fdd3794384c9,
   803  		0x1c93bbeeb763cd4d,
   804  		0x44b7240c4b105242,
   805  		0x4c6af2a1b606ccfb,
   806  		0x18fc43ece2ec1a40,
   807  		0x859a5511aeae8acb,
   808  		0x2f56826f1996ad2f,
   809  		0xa8e95ce8bb363bdf,
   810  		0xf4da396054e50e4b,
   811  		0x5493865e9895883c,
   812  		0x768e4c8b332ac0e3,
   813  		0x32195d2aa583fca5,
   814  		0xf2f353f21266bc15,
   815  		0x43cddf1d021307d,
   816  		0x6031e3aa30300e4a,
   817  		0x4f1298469ac6088f,
   818  		0x4b4d450bafac574e,
   819  		0x23e1cf9c0582a22b,
   820  		0x2e9036980db49cd0,
   821  		0xe4e228b113c411b2,
   822  		0x8bddcdb82b51706,
   823  		0xd2a7ea8288593629,
   824  		0x67fe90e98fdda61,
   825  		0x7b63494dba95717b,
   826  		0x105625904510d782,
   827  		0xdf4aa2242454e50a,
   828  		0x32541d6cd7d6c7e3,
   829  		0x5661fb432591cf3b,
   830  		0xce920a5ed047bce7,
   831  		0xed4178a3c96eea8f,
   832  		0xe378cd996e39863b,
   833  		0x169e1fdc8e2b05e1,
   834  		0xaee1812ef7149a96,
   835  		0x648571c7453d12c5,
   836  		0xb7b6bc9328573c43,
   837  		0xe7fb969078e270d7,
   838  		0xdfc2b1b8985f6e6f,
   839  		0x862b6527ee39a1aa,
   840  		0x1ee329aea91d7882,
   841  		0x20d25324f2fe704,
   842  		0xbfcc47401fc3bbfd,
   843  		0x1515cdc8d48b2904,
   844  		0xbd6eefe86284261c,
   845  		0x9b1f28e3b35f22ee,
   846  		0x842a29d35e5aecda,
   847  		0xf2346109ad370765,
   848  		0x24d68add5a71afd9,
   849  		0x4a691421613d91e2,
   850  		0x60e3058b3c244051,
   851  		0x79194905cdaa5de8,
   852  		0xe0e2df35c01e8987,
   853  		0xe29b78beffbb5e4a,
   854  		0xcdcdbc020218c19e,
   855  		0x5ae0af8c16feae43,
   856  		0x8109292feeaf14fa,
   857  		0x34113f7508dfa521,
   858  		0xc062ac163f56730a,
   859  		0xf1660e66ec6d4c4c,
   860  		0x5966c55f60151c80,
   861  		0x3865ae8ec934b17,
   862  		0x472a7314afb055ec,
   863  		0x7a24277309a44a44,
   864  		0x556e02dd35d38baa,
   865  		0x9849611a1bc96ec1,
   866  		0xd176f5d5a8eb0843,
   867  		0x44db12ec60510030,
   868  		0x272e3a06a0030078,
   869  		0x7c4764dbefc075ea,
   870  		0x910712f3735c1183,
   871  		0xd49a2da74ae7aff6,
   872  		0xcf9b3e6e8f776d71,
   873  		0x27789fe3ec481a02,
   874  		0x86659f82c6b5912b,
   875  		0xe044b3dbf339158c,
   876  		0x99d81f6bb62a37b0,
   877  		0x5f5830c246fada9a,
   878  		0xe68abab1eeb432cb,
   879  		0x49c5c5ace04e104,
   880  		0x1ac3871b3fc6771b,
   881  		0x773b39f32d070652,
   882  		0x9c4138c2ae58b1f3,
   883  		0xac41c63d7452ac60,
   884  		0x9248826b245359e1,
   885  		0x99bba1c7a64f1670,
   886  		0xe0dc99ff4ebb92f2,
   887  		0x113638652740f87c,
   888  		0xebf51e94da88cfc,
   889  		0x5441c344b81b2585,
   890  		0xe1e69e0bc2de652a,
   891  		0xe9ab6d64ae42ed1e,
   892  		0x879af8730e305f31,
   893  		0x36b9ad912c7e00d6,
   894  		0x83ef5e9fca853886,
   895  		0xda54d48bb20ea974,
   896  		0x32c6d93aefa92aa2,
   897  		0x4e887b2c3391847d,
   898  		0x50966e815f42b1b8,
   899  		0x53411ac087832837,
   900  		0x46f64fef79df4f29,
   901  		0xb34aae3924cd272c,
   902  		0xf5ad455869a0adbe,
   903  		0x8351ded7144edac8,
   904  		0xeb558af089677494,
   905  		0x36ed71d69293a8d6,
   906  		0x659f90bf5431b254,
   907  		0x53349102b7519949,
   908  		0x3db83e20b1713610,
   909  		0x6d63f96090556254,
   910  		0x4cc0467e8f45c645,
   911  		0xb8840c4bd5cd4091,
   912  		0xbd381463cc93d584,
   913  		0x203410d878c2066d,
   914  		0x2ebea06213cf71c8,
   915  		0x598e8fb75e3fceb4,
   916  		0xdcca41ceba0fce02,
   917  		0x61bf69212b56aae5,
   918  		0x97eed7f70c9114fa,
   919  		0xf46f37a8b7a063f9,
   920  		0x66c8f4ffe5bd6efa,
   921  		0xe43fd6efda2d4e32,
   922  		0x12d6c799e5ad01de,
   923  		0x9ac83e7f8b709360,
   924  		0xbbb7bb3c1957513d,
   925  		0x7f87c08d4b3796b0,
   926  		0x9a7d1d74b6aa4a5c,
   927  		0xa4314530ff741b6f,
   928  		0x99a80c6b6f15fca8,
   929  		0xd2fec81d6d5fc3ce,
   930  		0x15a98be1cc40cea,
   931  		0x98693eb7719366f3,
   932  		0x36ccdc2a9e9d4de8,
   933  		0x3c8208f63d77df25,
   934  		0xca2e376e2343df6,
   935  		0xcc9b17cbb54420c6,
   936  		0x8724c44a64d7dcb8,
   937  		0x9d00c6949ff33869,
   938  		0xf4f8e584d2699372,
   939  		0x88f4748cdd5a2d53,
   940  		0xe215072a1205bc6d,
   941  		0x190934fe6d740442,
   942  		0x7fac5c0ab2af106d,
   943  		0x1b86633a0bd84fa1,
   944  		0x1293e54318492dfb,
   945  		0x433324fd390f34b9,
   946  		0x4c5eb2c67a44643b,
   947  		0x59a6e281c388b0dd,
   948  		0xe78e03f9c44623b7,
   949  		0x91307a93c768fc3d,
   950  		0xde8867b004d8e3ff,
   951  		0xdf52c3f57b7c5862,
   952  		0x993f3e1d10358a92,
   953  		0x9ccb10bc3e18662d,
   954  		0x45093ce48a114c73,
   955  		0xd59d05979d26330a,
   956  		0x417c0e03300119a9,
   957  		0x1c336500f90cde81,
   958  		0x1c8ccd29ead9b85b,
   959  		0xb76baf3e55d4d950,
   960  		0x133ad6196c75fd7e,
   961  		0x34200b0cde7ed560,
   962  		0x9c7c3dacb213c8d9,
   963  		0xd97563c4fd9bf1b6,
   964  		0x5d910e871835b6cb,
   965  		0x7d46c4733a16bdf9,
   966  		0xe41d73194ddc87b2,
   967  		0x7d3d8a0855a465a9,
   968  		0x70c2a8b5d3f90c0f,
   969  		0x9e7565ca5dccfe12,
   970  		0x2c0acb4577aa51b1,
   971  		0x3d2cd211145b79c7,
   972  		0x15a7b17aa6da7732,
   973  		0xab44a3730c27d780,
   974  		0xf008bd6c802bde3a,
   975  		0x82ed86ddf3619f77,
   976  		0xaabe982ab15c49f9,
   977  		0x9bcad8fa6d8e58a4,
   978  		0x8f39ed8243718aa1,
   979  		0xe9489340e03e3cb6,
   980  		0xc722314f5eefb8d0,
   981  		0x870e8869a436df59,
   982  		0x4dae75b8087a8204,
   983  		0xe1d790f6ec6e425b,
   984  		0xafd39ea1b1d0ed09,
   985  		0xdf2c99e464ddf08f,
   986  		0x74936d859ab9644d,
   987  		0x3871302164250e73,
   988  		0x764b68921e911886,
   989  		0x2a1d024b26bb9d66,
   990  		0x797fba43918e75b4,
   991  		0x62ec6d24ccca335b,
   992  		0xf4bd8b951762b520,
   993  		0x9d450dede9119397,
   994  		0x5393a26d10f8c124,
   995  		0x6b74769392896b57,
   996  		0x7f61dbcc0e328581,
   997  		0x64e1df3884d0d94,
   998  		0xba77dcdf23738c37,
   999  		0xf8e288bc0a177475,
  1000  		0x4a8abfd1702ecb7d,
  1001  		0x53f22886694736a7,
  1002  		0x8fc982597ced3e3,
  1003  		0x1bc46090f820fff7,
  1004  		0x8bd31f965d02229f,
  1005  		0x65cd0cb29996ee53,
  1006  		0x702e0f4fcf8c2e9f,
  1007  		0x293b77bff307a9a0,
  1008  		0x125a986b8b305788,
  1009  		0x416b0eea428ebf3c,
  1010  		0xeac85421ab0e8469,
  1011  		0x7f5496095019aa68,
  1012  		0x1a96d7afbc708e0,
  1013  		0xb91262e6766e01e1,
  1014  		0xd0a549cc4ccc6954,
  1015  		0x75a9a073f50c8a0d,
  1016  		0xae275d2c1c6cd23c,
  1017  		0xcf159b5ec5d28fd4,
  1018  		0x75d0838ce9b92b,
  1019  		0xd4eddcee6dc4677f,
  1020  		0x6a0a8ad5df6b75b8,
  1021  		0x6f3fd0ef0f13ecc4,
  1022  		0xb75a5826c1a8f8a8,
  1023  		0xd47098bbc7943766,
  1024  		0x3d4ddd62d5f23dd1,
  1025  		0x760a904e4583841c,
  1026  		0x2afeb5022b4cf1f,
  1027  		0x66d5f653729f0a13,
  1028  		0x9a6a5ab62980d30f,
  1029  		0xc332f5643bbf8d5b,
  1030  		0x848fb702e4056a90,
  1031  		0xa057beaf3f9e8c5f,
  1032  		0x6cc603e4560a6c6a,
  1033  		0xec761811a7b23211,
  1034  		0xb14aa4090a82aaa5,
  1035  		0xe29d9d028a5b2dbb,
  1036  		0x5564e53738d68f97,
  1037  		0xfabca36542eaaf3b,
  1038  		0xb9912fcb782020a2,
  1039  		0xe865e01b349284fd,
  1040  		0x540b5ff11c5f9274,
  1041  		0x3463f64e1e7451dc,
  1042  		0xe15d3e2f33b735f8,
  1043  		0xf5433336eadef6e,
  1044  	}
  1045  
  1046  	var s sfc64
  1047  	s.init(5778446405158232650, 4639759349701729399, 13222832537653397986)
  1048  
  1049  	for i, u := range golden {
  1050  		v := s.next64()
  1051  		if v != u {
  1052  			t.Fatalf("got %v instead of %v at step %v", v, u, i)
  1053  		}
  1054  	}
  1055  }
  1056  
  1057  func TestSFC64_NumPy_0(t *testing.T) {
  1058  	golden := []uint64{
  1059  		0x91959e5fb96a6332,
  1060  		0x3c1dd8a25a7e9f21,
  1061  		0x657bdffc99798d9e,
  1062  		0x1a04de320b19e022,
  1063  		0x65b92af0e5f3c61c,
  1064  		0x9c84070ce8f743c0,
  1065  		0xbb10e573693cdb25,
  1066  		0xd65ea9e76b37fb6b,
  1067  		0x503efd0e76c8ae66,
  1068  		0xd711dcd04c26d0f,
  1069  		0x12f53f435814ac8c,
  1070  		0xb392cd402cfc82bd,
  1071  		0x461764550e06c889,
  1072  		0x716a48b3514e6979,
  1073  		0xdd0a322213c18ad7,
  1074  		0x6673a8ca0a05c4d7,
  1075  		0x2992ef333437f844,
  1076  		0xc4aaf7e8240b2aad,
  1077  		0x6ab0a1af1f41474f,
  1078  		0xb0bae400c226941d,
  1079  		0xe5f80c2eeeab48c6,
  1080  		0x3832c6a93a4024bf,
  1081  		0x280bd824fabe8368,
  1082  		0x66b626228321e5ff,
  1083  		0xe0bdfba5325a307e,
  1084  		0x3a5f65c6ef254e05,
  1085  		0x99ea12503cb02f94,
  1086  		0x5d01fd2db77d420b,
  1087  		0x6959bf5f36b2368d,
  1088  		0xd856e30c62b5f5be,
  1089  		0xe33233e1d8140e66,
  1090  		0xb78be619d415fa8d,
  1091  		0x4f943bb2cc63d3b,
  1092  		0x9b1460b290952d81,
  1093  		0x19205d794826740e,
  1094  		0x64617bd9d7a6a1ff,
  1095  		0x30442124b55ea76a,
  1096  		0xebbbc3b29d0333fc,
  1097  		0x39235a0fe359751c,
  1098  		0xf9629768891121aa,
  1099  		0x32052f53f366e05a,
  1100  		0x60cc5b412c925bc8,
  1101  		0xf8b7ecda1c0e5a9,
  1102  		0x195f036e170a2568,
  1103  		0xfe06d0381a9ca782,
  1104  		0x919d89e8b88eebbf,
  1105  		0xa47fb30148cf0d43,
  1106  		0x5c983e99d5f9fd56,
  1107  		0xe7492cdb6a1d42cd,
  1108  		0xf9cfe5c865b0cfd8,
  1109  		0x35b653367bbc3b99,
  1110  		0xb1d92f6f4d4e440b,
  1111  		0x737e1d5bd87ed9c0,
  1112  		0x7a880ca1498f8e17,
  1113  		0x687dae8494f9a3f7,
  1114  		0x6bae1989f441d5d7,
  1115  		0x71ad3fa5a9195c2e,
  1116  		0x16b3969779f5d03,
  1117  		0xd1bce2ac973f15b3,
  1118  		0xa114b1ee2ce0dcdd,
  1119  		0x270d75c11eb1b8d5,
  1120  		0xc48ffa087c0a7bc,
  1121  		0xaaf9dc48cda9848d,
  1122  		0x8111cf10ef6e584d,
  1123  		0x6736df6af40ee6f4,
  1124  		0x1a1a111682fbf98d,
  1125  		0xeb217658e1cb3b5d,
  1126  		0xcaf58a8b79de9dec,
  1127  		0x25d0ffd63c88d7a1,
  1128  		0x4c498cd871b7f176,
  1129  		0x4069a6156eb0cf3c,
  1130  		0xdf012f12edcdd867,
  1131  		0x7734c0ac8edb1689,
  1132  		0xed6960ac53dbc245,
  1133  		0x305e20da8868c661,
  1134  		0x5f0c7a3719956f95,
  1135  		0x66842bbe3b28895,
  1136  		0xb608bc9a31eac410,
  1137  		0xfcb17d5529503abd,
  1138  		0x829ae5cbc29b92ee,
  1139  		0x17f2f0027bc24f3a,
  1140  		0x435926c33d8f44cc,
  1141  		0x3ab899327098dbec,
  1142  		0xaf78573b27f8ead8,
  1143  		0xa8b334fabcf8dc60,
  1144  		0xcdf3b366a6a303db,
  1145  		0x8da9379dd62b34c8,
  1146  		0xb0ba511955f264a7,
  1147  		0x9d72e21a644f961d,
  1148  		0xfac28382e2e7e710,
  1149  		0xd457065f048410aa,
  1150  		0x1cae57d952563969,
  1151  		0x5a160a6223253e03,
  1152  		0x2c45df736d73c8bd,
  1153  		0x7f651ebc6ad9cec5,
  1154  		0x77a6be96c7d2e7e7,
  1155  		0x1721fb1dbfd6546a,
  1156  		0xf73f433ecff3c997,
  1157  		0xed1e80f680965bfe,
  1158  		0x6705ad67a3003b30,
  1159  		0xac21134efcadb9f7,
  1160  		0x4d2ba0a91d456ac,
  1161  		0x59da7b59434eb52b,
  1162  		0x26c1d070fd414b5f,
  1163  		0xed7079ddfce83d9a,
  1164  		0x9277d21f88e0fb7a,
  1165  		0xfae16b9a8d53d282,
  1166  		0xb08a0e2e405fdf7d,
  1167  		0x2ea20df44229d6ec,
  1168  		0x80e4634cd3612825,
  1169  		0xbe62e8aeba8f8a1a,
  1170  		0x4981209769c190fb,
  1171  		0xcec96ef14c7e1f65,
  1172  		0x73fe4457b47e7b53,
  1173  		0x1d66300677315c31,
  1174  		0xe26821290498c4cc,
  1175  		0xf6110248fd8fb1c5,
  1176  		0x30fd7fe32dbd8be3,
  1177  		0x534ec9b910a2bd72,
  1178  		0x8f9bfe878bbf7382,
  1179  		0x4f4eb5295c0c2193,
  1180  		0xdeb22f03a913be9e,
  1181  		0x40f716f8e2a8886c,
  1182  		0xc65007d0e386cdb1,
  1183  		0x9bdd26d92b143a14,
  1184  		0xf644b0b77ea44625,
  1185  		0x75f5a53f6b01993a,
  1186  		0xfe803e347bf41010,
  1187  		0x594bff5fa17bc360,
  1188  		0x3551edfb450373c7,
  1189  		0x898f9dad433615db,
  1190  		0x923d2406daa26d49,
  1191  		0x99e07faccbc33426,
  1192  		0x7389f9ff4470f807,
  1193  		0xdc2a25957c6df90b,
  1194  		0x33c6d8965ef3053f,
  1195  		0x51a8f07e838f1ab,
  1196  		0x91c5db369380274f,
  1197  		0xc37de65ac56b207e,
  1198  		0xfcc6d2375dde7f14,
  1199  		0xa4e6418bff505958,
  1200  		0x4b8b9f78e46953c4,
  1201  		0x255ab2e0f93cf278,
  1202  		0xdf650717af3d96ef,
  1203  		0x2caa21cba3aae2b2,
  1204  		0xce7e46c6f393daa4,
  1205  		0x1d5b3573f9997ac7,
  1206  		0x5280c556e850847d,
  1207  		0x32edc31bef920ad7,
  1208  		0xefaa6b0b08cf2c6,
  1209  		0x5151c99d97b111c5,
  1210  		0x35ccf4bf53d17590,
  1211  		0xa210d7bd8697b385,
  1212  		0xa9419f95738fbe61,
  1213  		0xdeccf93a1a4fdc90,
  1214  		0xd0ea3365b18e7a05,
  1215  		0x84122df6dcd31b9a,
  1216  		0x33040a2125cea5f5,
  1217  		0xfe18306a862f6d86,
  1218  		0xdb97c8392e5c4457,
  1219  		0xc3e0fa735e80e422,
  1220  		0x7d106ff36467a0c1,
  1221  		0xb9825eecc720a76d,
  1222  		0x7fefc6f771647081,
  1223  		0xf5df3f5b3977bf13,
  1224  		0x18fb22736d36f1e0,
  1225  		0xadc4637b4953abfc,
  1226  		0x174e66d3e17974bd,
  1227  		0xf1614c51df4db5db,
  1228  		0x6664ecde5717b293,
  1229  		0xd5bc5b6839265c26,
  1230  		0xf6ca9ce1af3f1832,
  1231  		0xca696789a9d506ea,
  1232  		0x7399c246c8f9d53,
  1233  		0xadf49049626417e2,
  1234  		0xbcd84af37d09ab91,
  1235  		0xbb41c177f3a3fa45,
  1236  		0x592becc814d55302,
  1237  		0xa88b4e65f6cfe5f7,
  1238  		0xa0a55e34ff879426,
  1239  		0x3c2ea6aa725b42b7,
  1240  		0x65ac4a407b1f9521,
  1241  		0xde63d53f7e88b556,
  1242  		0x18bc76696d015f40,
  1243  		0xd1363f2cd4c116a8,
  1244  		0x2fe859be19a48e4a,
  1245  		0x83d6099b1415e656,
  1246  		0x43f2cbc1a4ee6410,
  1247  		0xb2eca3d3421c533d,
  1248  		0xc52b98ea3f031f5d,
  1249  		0xfe57eb01da07e9d1,
  1250  		0xf9377883537a6031,
  1251  		0x364030c05dac7add,
  1252  		0x6815cb06b35d4404,
  1253  		0xceae2d4ce31894be,
  1254  		0xc602bcdf6062bf6a,
  1255  		0xc8e4bd8dcc6062e3,
  1256  		0x9c29e87b92a1a791,
  1257  		0x41e626b871ca9651,
  1258  		0x325c3d1fb8efbcd8,
  1259  		0x7dbbacf8e3419fb3,
  1260  		0x3602e72516bb7319,
  1261  		0x537a008ebd94d24b,
  1262  		0xda7714fc9d4d161d,
  1263  		0x1c8c73700e1b621b,
  1264  		0x2749b80937d6c939,
  1265  		0x76ee6abac5b14d33,
  1266  		0xf18d1e92cb6a8b5c,
  1267  		0x6ce9579d9291c721,
  1268  		0x60523c745a40e58,
  1269  		0x637f837fcc901757,
  1270  		0x2ff71b19661dc5b3,
  1271  		0x393ab586326ad16f,
  1272  		0xa0970ea30fe742b7,
  1273  		0x570222d7f27fe5ae,
  1274  		0x3b5806d43fd38629,
  1275  		0x129a0ad7420180c5,
  1276  		0x1c4726355778d52c,
  1277  		0x7c1459cf77656499,
  1278  		0xfe038a0932132069,
  1279  		0x4c4cc317a937483a,
  1280  		0xa333d24067e926ba,
  1281  		0x401d9b6ab37f6ef2,
  1282  		0x87ad0e491ebe4a2a,
  1283  		0xfc02f312e72d121d,
  1284  		0xfde715b3b99767b2,
  1285  		0xd111c342ba521c92,
  1286  		0x83b221b10879c617,
  1287  		0x6a1bf5c01fdf4277,
  1288  		0x166bfc0c3f5892ee,
  1289  		0x4608d556d7c57856,
  1290  		0x8d786857c95ece49,
  1291  		0x2d357445a1aca4ac,
  1292  		0x79620dae28ecd796,
  1293  		0x90e715dc0f2201c4,
  1294  		0x173b68b4c9f4b665,
  1295  		0x4e14d040ebac4eef,
  1296  		0xbd25960b4b892e,
  1297  		0x911a199db6f1989d,
  1298  		0xfe822d7c601fd2e0,
  1299  		0x9b4c1d58d8223a69,
  1300  		0x907c1891283843b0,
  1301  		0xf4868bf54061c4b2,
  1302  		0x17f8cd1fc24efd85,
  1303  		0xd44253f9af14c3aa,
  1304  		0x16d0da0cb911d43c,
  1305  		0x3c6a46615828e79a,
  1306  		0x498591c1138e11a5,
  1307  		0xcc0f26336d0d6141,
  1308  		0x4d3ebc873212309a,
  1309  		0x16bad7792d5c2c6a,
  1310  		0x474215a80b2bbd11,
  1311  		0x7159848abd8492fc,
  1312  		0x359341c50973685f,
  1313  		0x27512ee7bf784a4a,
  1314  		0x45228ea080f70447,
  1315  		0x880cab616500d50e,
  1316  		0x12fae93f9830d56e,
  1317  		0x6744ee64348d9acd,
  1318  		0x484dada28cd2a828,
  1319  		0x98491d0729e41863,
  1320  		0x2f15aac43c2863b0,
  1321  		0x5727a34d77a1da0f,
  1322  		0xa435cebef6a62eed,
  1323  		0xd211697d57b053b0,
  1324  		0x65aa757b68bd557,
  1325  		0xe3a1b7a2d8a3e06a,
  1326  		0x2adf64e67252a7a9,
  1327  		0xadadcb75cadee276,
  1328  		0x7934bc57ac8d97bf,
  1329  		0xccff0d0f412e0606,
  1330  		0x101a82aa3e8f3db9,
  1331  		0xb0f2498094b4575c,
  1332  		0xba2561d9ef26ed8a,
  1333  		0xfbcd1268fc3febe1,
  1334  		0x9aa10bb19eb152e0,
  1335  		0xf496217a601a6d72,
  1336  		0xe4be1e4f2fa91363,
  1337  		0x473a602bf3dd68eb,
  1338  		0xfe8ed2a48c26f4b5,
  1339  		0x20e94b1a00159476,
  1340  		0x93e1cb1c6af86ec7,
  1341  		0x4fcba3898f7442ba,
  1342  		0x5150c3a3d94891df,
  1343  		0x91cfce6c85b033ea,
  1344  		0x625e8a832a806491,
  1345  		0x28c97ba72e3ec0b2,
  1346  		0x8e172de217c71ea1,
  1347  		0x926b80216c732639,
  1348  		0x28b19431a649ae3d,
  1349  		0x57c039a6e95a3795,
  1350  		0xfbc354182fe52718,
  1351  		0x819dfd7c7d534cef,
  1352  		0xabb4093a619ed44f,
  1353  		0xe785b7ac6f656745,
  1354  		0xb647b4588b2f942f,
  1355  		0x64cf870a14c72d27,
  1356  		0x6d4a4a2a0ba9b37e,
  1357  		0x78bfb0427d7ce6b0,
  1358  		0x8dcc72b8bfc79ac6,
  1359  		0x1c14d915d5e76c99,
  1360  		0xaf48ddea6f096d79,
  1361  		0x51b39b67aa130d8,
  1362  		0x1aeeb39d4def06de,
  1363  		0xd678092ffedfdd27,
  1364  		0x8f54787f325111d3,
  1365  		0xf2ca2e827beaa6bc,
  1366  		0x339d134099e98545,
  1367  		0x1f6a8a7b33942e43,
  1368  		0x952c8065dbef669a,
  1369  		0xe066aeb6690147f7,
  1370  		0xed25aa92cf58ebb6,
  1371  		0x7601edce215ef521,
  1372  		0xed1c5b396abd9434,
  1373  		0x4fd1e407535de9d5,
  1374  		0xccc8315a0d4d1441,
  1375  		0x85753e250bb86976,
  1376  		0xf232e469378761c3,
  1377  		0x81d691b8e9aef3c6,
  1378  		0x224a2f9cab0ad0e,
  1379  		0x978f3d3e50007f4e,
  1380  		0xd3713e6a6c0cbe60,
  1381  		0xcce8f1eadd41f80d,
  1382  		0x34bda028a97d469,
  1383  		0x90e242fdf0f59183,
  1384  		0x4d749754fbc5f092,
  1385  		0x4399f5b7851cc87b,
  1386  		0xcb921a5f25f6c5d7,
  1387  		0x120bf5d0162101,
  1388  		0x1304cc2aa352735a,
  1389  		0xf7236c5d0d5d417b,
  1390  		0xc31b320fc1654306,
  1391  		0xb468c6b23f3fb4e7,
  1392  		0xb5985b5bfaca4166,
  1393  		0x898285a1cd2f8375,
  1394  		0xa13493da372aa7c9,
  1395  		0x15c80c09c12634e7,
  1396  		0x9b765c5cc9d438bd,
  1397  		0xee7da816a9201dcb,
  1398  		0x92e269f73b5a248e,
  1399  		0xa8086c5de81400ce,
  1400  		0xe0053901853d42be,
  1401  		0x821df32c012f433e,
  1402  		0x17a6d69ca37387c7,
  1403  		0x2b10044bfba3501f,
  1404  		0x8dfd262afc2e8515,
  1405  		0xd68c2c7b60226371,
  1406  		0xe81ac114e4416774,
  1407  		0x5896d60061ebc471,
  1408  		0xa996e3147811dbd1,
  1409  		0xa819c7b80ecb3661,
  1410  		0x982ad71b38afbc01,
  1411  		0xab152b65aa17b7fe,
  1412  		0x4582bc282ef187ef,
  1413  		0xab5a17fe8d9bc669,
  1414  		0x83664fa9cb0284b7,
  1415  		0x234c4b0091968f52,
  1416  		0x8ab5f51805688d37,
  1417  		0xe9e11186e0c53eda,
  1418  		0x10df37ef1de2eccf,
  1419  		0x780f1b0d52db968f,
  1420  		0x50bd4ff292872cd5,
  1421  		0x51e681c265f5ad0,
  1422  		0x842c49660a527566,
  1423  		0x6e56ee026e9eda87,
  1424  		0x4cf39e40d8c80393,
  1425  		0x13e466df371f7e1f,
  1426  		0xf2ce1799f38e028e,
  1427  		0x833c8db7adc6ff0e,
  1428  		0xc6e189abc2ec98f,
  1429  		0xafebb3721283fec5,
  1430  		0xb49bc1eb5cc17bdc,
  1431  		0xf1d02e818f5e4488,
  1432  		0xe5e9d5b41a1dd815,
  1433  		0xce8aca6573b1bfe5,
  1434  		0x9b0a5d70e268b1d5,
  1435  		0xf3c0503a8358f4de,
  1436  		0x2681605dd755669d,
  1437  		0xea265ca7601efc70,
  1438  		0xa93747f0a159439f,
  1439  		0x62a86ede78a23e50,
  1440  		0xac8a18935c3d063c,
  1441  		0x729c0a298f5059f5,
  1442  		0xbbf195e5b54399f4,
  1443  		0x38aa9d551f968900,
  1444  		0x3b3e700c58778caa,
  1445  		0x68e6e33c4443957a,
  1446  		0x7c56fc13eb269815,
  1447  		0xaf7daca39711804a,
  1448  		0x50fde6d10f9544b3,
  1449  		0xf3d37159f6f6c03d,
  1450  		0x82d298f5c1a71685,
  1451  		0x478661ac54c5002c,
  1452  		0x6053768e1a324ae0,
  1453  		0xde8fb4a7e56707ea,
  1454  		0xaa2809301faa8cf4,
  1455  		0x690a8d49fedd0722,
  1456  		0xe17c481b9c217de9,
  1457  		0x60d1d8a2b57288e3,
  1458  		0x149adfaadc6b0886,
  1459  		0xa3c18b6eb79cd5fa,
  1460  		0x5774e3a091af5f58,
  1461  		0x2acca57ff30e5712,
  1462  		0x94454d67367c4b0c,
  1463  		0x581b2985ac2df5ca,
  1464  		0x71618e50744f3e70,
  1465  		0x270a7f3bd9a94ae6,
  1466  		0x3ef81af9bb36cd7b,
  1467  		0x8a4a2592875254aa,
  1468  		0x704ac6086fbb414a,
  1469  		0xda774d5d3f57414d,
  1470  		0xe20d3358b918ae9e,
  1471  		0x934a6b9f7b91e247,
  1472  		0xf91649cde87ec42c,
  1473  		0x248cec5f9b6ced30,
  1474  		0x56791809fd8d64ba,
  1475  		0xf502b2765c1395f,
  1476  		0x6b04ec973d75aa7f,
  1477  		0xb0339f2794bb26f,
  1478  		0x4c524636efbaea49,
  1479  		0x6bbf3876e9738748,
  1480  		0xf686524e754e9e24,
  1481  		0x8dafa05a42d19cd3,
  1482  		0xc5f069ab2434008e,
  1483  		0x4fd64cc713cba76,
  1484  		0xdbf93450c881ed5f,
  1485  		0x492e278ebabb59a2,
  1486  		0x993fddfde4542642,
  1487  		0xecde68a72c8d4e52,
  1488  		0xe0760b3074c311fd,
  1489  		0x68dc0e7e06528707,
  1490  		0x52b50edf49c0fdc7,
  1491  		0xb2bd4185c138f412,
  1492  		0x431496d7e1d86f3,
  1493  		0xa4e605b037e26c44,
  1494  		0x58236ae1f0aca2b5,
  1495  		0x26c72c420fc314d8,
  1496  		0x20134e982ab99a2b,
  1497  		0x544b59b8b211374b,
  1498  		0x1301c42f3a14d993,
  1499  		0x52a6ea740f763b0f,
  1500  		0xf209d70c2bebf119,
  1501  		0xac66a4ebc2aa1be,
  1502  		0x683713ed35878788,
  1503  		0x2b5578acec06b80c,
  1504  		0x86428efa11c45b36,
  1505  		0xb49010adb17d291e,
  1506  		0x73b686bd8664b6be,
  1507  		0x6d28ebf57b6884cc,
  1508  		0x9712091230ff58d9,
  1509  		0xc9c91f74c38b286,
  1510  		0x776310ac41dc008e,
  1511  		0x2f3739df0bf6a88e,
  1512  		0x5792dc62b94db675,
  1513  		0x5715910d024b06af,
  1514  		0xeb1dd745458da08,
  1515  		0xfce7b07ccfa851a7,
  1516  		0xc305f1e983ac368,
  1517  		0x485aa9519ac00bb0,
  1518  		0xa5354f6589fb0ea0,
  1519  		0x32fee02dfdbf4454,
  1520  		0x4d1ddc304bbefaaa,
  1521  		0x789a270a1737e57e,
  1522  		0x9f3072f4b1ed8156,
  1523  		0x4de3c00e89058120,
  1524  		0xb00a02529e0a86fa,
  1525  		0x539f6f0edd845d9a,
  1526  		0x85e578fe15a8c001,
  1527  		0xa12c8e1a72cce7d8,
  1528  		0xc6908abbc2b1828,
  1529  		0xcf70090774cbb38c,
  1530  		0x3b636a6977b45d4a,
  1531  		0xf0a731b220680b57,
  1532  		0x18973929f51443a8,
  1533  		0xe93e1fbe7eadabe,
  1534  		0x8233730f0a6dfa02,
  1535  		0x66e50b6919b0ab74,
  1536  		0xb1aba87c97fd08a2,
  1537  		0xd4dffc1fbc117ad6,
  1538  		0x6f7fa65724b96e6a,
  1539  		0x4bd5800dee92e0fa,
  1540  		0xe18a959db6256da,
  1541  		0xe53a291bc66df487,
  1542  		0xb7ec306a08651806,
  1543  		0x1847a6b80d2821e1,
  1544  		0xda50391283b14d39,
  1545  		0xacc4d3cd7cceb97a,
  1546  		0x57f70185165b7bc6,
  1547  		0x302b6d597c3aaba7,
  1548  		0xa47f32d037eab51e,
  1549  		0xe1509b4408abc559,
  1550  		0x4f30a1d7c2934157,
  1551  		0x2ad03e6c60b650b2,
  1552  		0x334d9c337b0a9064,
  1553  		0xc7f442821e7aac12,
  1554  		0xbcdeb09298694cdd,
  1555  		0xe42402389f8f0fb4,
  1556  		0xe5de56af539df727,
  1557  		0x7017f9b2101ee240,
  1558  		0x1ee5e68d5b10001d,
  1559  		0x436229051836387a,
  1560  		0xcd532d6d6ec38fb7,
  1561  		0x30a66606fdf38272,
  1562  		0xfdaa2ab9cf798496,
  1563  		0x4277b4adec70e7df,
  1564  		0x72cfc30256e0eaef,
  1565  		0x3c3359fd9bd34917,
  1566  		0xb7aa89598856efb0,
  1567  		0xf72226f8bf299ef5,
  1568  		0x258c499275a4356f,
  1569  		0x999a56bfc7f20d76,
  1570  		0x2b3e7432e20c18b,
  1571  		0x2d1251332f760cb5,
  1572  		0x7420e0eea62157c5,
  1573  		0xe85c895aa27cec3d,
  1574  		0x27a0545c7020d57c,
  1575  		0xc68638a65b4fff0d,
  1576  		0xfda473983a4ea747,
  1577  		0xd19fe65fb4c06062,
  1578  		0x6b1374e050ee15e4,
  1579  		0x80065ecd49bc4bef,
  1580  		0x4ee655954bc838de,
  1581  		0xe8fb777504a72299,
  1582  		0x86b652ea70f4bdde,
  1583  		0xcdc9e0fbde7e4f33,
  1584  		0x352c0a50cd3ac56,
  1585  		0x4b8605d368be75dc,
  1586  		0x1ac9ea8129efbc37,
  1587  		0x470325faa99f39c5,
  1588  		0x25dd7ef9adccf7a1,
  1589  		0x5ae2c7a03e965816,
  1590  		0xf733d2df59dacc7d,
  1591  		0xa05bbf0a8a1a7a70,
  1592  		0xe8aa3f102846ef5f,
  1593  		0xc9b85ec49ae71789,
  1594  		0xb904c14ed1cb1936,
  1595  		0x5ae618230b5f0444,
  1596  		0x97987fe47b5d7467,
  1597  		0xabb3aca8865ca761,
  1598  		0x38bfdf29d4508228,
  1599  		0x353654f408353330,
  1600  		0xeb7e92930ae4ef0d,
  1601  		0xec50f1a7ca526b96,
  1602  		0xd5e2dc08b5697544,
  1603  		0x24c7fd69d5ec32df,
  1604  		0x6f7e1095568b8620,
  1605  		0x6ed9c16ca13b3c8,
  1606  		0xe676ef460002130f,
  1607  		0xa3a01a3992c4b430,
  1608  		0xe2130406c3b1f202,
  1609  		0xa8f7263e2aedcd20,
  1610  		0xc45d71ef2e35f507,
  1611  		0x37155594021da7ba,
  1612  		0x22dc94f19de73159,
  1613  		0x7969fc6bffc5443f,
  1614  		0x97def7e44faa6bfe,
  1615  		0x8b940f5e8931d71f,
  1616  		0xd95b1dd3f1a3fdd5,
  1617  		0x1c83bfdca615701a,
  1618  		0xb7fcb56279ceca6b,
  1619  		0xd84f8950f20dcd0,
  1620  		0xb03343698de3cbe0,
  1621  		0xf64565d448d71f71,
  1622  		0xda52b4676e0ae662,
  1623  		0xda39c2c05b4ffb91,
  1624  		0xb35e2560421f6a85,
  1625  		0x1a7b108d48ac3646,
  1626  		0xc4e264dc390d79ed,
  1627  		0xa10727dfd9813256,
  1628  		0x40d23154e720e4f7,
  1629  		0xd9fa7cd7e313e119,
  1630  		0xcbf29107859e6013,
  1631  		0xc357338553d940b7,
  1632  		0x2641b7ab0bdfcbaa,
  1633  		0xd12f2b6060533ae7,
  1634  		0xd0435aa626411c56,
  1635  		0x44af4a488a9cec72,
  1636  		0xb934232ea8fa5696,
  1637  		0x760a8b12072b572d,
  1638  		0xfab18f9942cfa9b3,
  1639  		0x5676834c1fe84d16,
  1640  		0x9c54e4fddb353236,
  1641  		0xab49edfc9551f293,
  1642  		0x567f1fb45a871d,
  1643  		0x32a967c873998834,
  1644  		0x99240aad380ef8d1,
  1645  		0x7f66cbd432859a64,
  1646  		0x4cdc8a4658166822,
  1647  		0x984e3984a5766492,
  1648  		0xa3b2d0a3d64d3d94,
  1649  		0x177f667172f2affc,
  1650  		0xb1a90607a73a303f,
  1651  		0xe600b6c36427f878,
  1652  		0xf758f9834cb7f466,
  1653  		0x8ee9fce4a3f36449,
  1654  		0xcb8f11533e7da347,
  1655  		0xe7cf647794dabd7c,
  1656  		0xc9d92cfe6110806,
  1657  		0xea1335fa9145a1ec,
  1658  		0xbc6c29821d094552,
  1659  		0x37b9d6a858cc8bc3,
  1660  		0xf24e4c694929893e,
  1661  		0x55d025ce2d7d0004,
  1662  		0xccdc69acccf4267b,
  1663  		0xc491c04340c222eb,
  1664  		0xba50f75ecec9befb,
  1665  		0x1ec7bd85b8fe3bb9,
  1666  		0xe4de66498c59ae8a,
  1667  		0x38aa9e912712c889,
  1668  		0xcee0e43c5cc31566,
  1669  		0x72b69aa708fc7ed,
  1670  		0xdff70b7f6fa96679,
  1671  		0xd6d71d82112aadc3,
  1672  		0x365177892cb78531,
  1673  		0xa54852b39de4f72c,
  1674  		0x11dd5832bf16dd59,
  1675  		0x248a0f3369c97097,
  1676  		0xa14cec0260e26792,
  1677  		0x3517616ff142bed1,
  1678  		0x9b693ad39dab7636,
  1679  		0x739dff825e994434,
  1680  		0x67711e7356098c9,
  1681  		0xa81f8515d2fdf458,
  1682  		0xdac2908113fe568e,
  1683  		0xe99944ebc6e2806a,
  1684  		0x671728ca5b030975,
  1685  		0xfdad20edb2b4a789,
  1686  		0xedc6e466bd0369d2,
  1687  		0x88b5d469821f7e1b,
  1688  		0x2eabf94049a522a5,
  1689  		0x247794b7a2f5a8e3,
  1690  		0x278942bdbe02c649,
  1691  		0xbe5a9a9196ab99c1,
  1692  		0x75955060866da1b5,
  1693  		0xdedcfa149273c0b5,
  1694  		0xdbeb7a57758f3867,
  1695  		0x7b9053347a2c8d5a,
  1696  		0xa059b3f2eed338a5,
  1697  		0x59401a46ded3b79f,
  1698  		0x38044ba56a6d19fb,
  1699  		0x72c7221b4e77e779,
  1700  		0x526df3491a3a34da,
  1701  		0xc3b31184ba16c0c2,
  1702  		0xd94c7144488624af,
  1703  		0xcf966ee4dc373f91,
  1704  		0x62049e65dd416266,
  1705  		0x7c2adccb925bf8f,
  1706  		0xd5fa5c22ed4ef8e1,
  1707  		0xd00134ebd11f2cd1,
  1708  		0xfbdf81767bed3634,
  1709  		0x62e8cc8ff66b6e26,
  1710  		0x3a72d6bcd4f2dcf7,
  1711  		0xf1cd45b1b46a86ed,
  1712  		0x1271f98e0938bb9a,
  1713  		0x82e6927e83dc31fa,
  1714  		0x7b9b0e0acb67b92d,
  1715  		0x6df503e397b2e701,
  1716  		0x93888f6fb561e0c3,
  1717  		0x393fb6069a40291,
  1718  		0x967a7d894cc0754d,
  1719  		0x6e298996ad866333,
  1720  		0x5ff3cf5559d6ab46,
  1721  		0xd0d70508c40349f5,
  1722  		0xc64c66c0dd426b33,
  1723  		0x8fea340ee35c64dd,
  1724  		0xf9cd381eb3060005,
  1725  		0xfcc37c2799fc0b11,
  1726  		0x6a37c91d65b489fa,
  1727  		0x57231000fa0a0c9d,
  1728  		0x55f6e292c6703f9a,
  1729  		0xd0508ffbfa55a7a6,
  1730  		0x885db543276bdac8,
  1731  		0xc26dbe6a26b0e704,
  1732  		0x21f884874ebd709e,
  1733  		0x711f0b6c8f732220,
  1734  		0x354d0a361eaee195,
  1735  		0x721344d8d30b006a,
  1736  		0xa0e090a0d3a56f07,
  1737  		0x16b3d5d823a4952b,
  1738  		0x59d7874bc9eae7b6,
  1739  		0x9bbb32710076455f,
  1740  		0xd4fb22242ffabafd,
  1741  		0xe1d4ac6770be1d89,
  1742  		0xb259cedebc73dc8a,
  1743  		0x35faaa3b4246ab69,
  1744  		0x5d26addefdaee89,
  1745  		0x8e7ec350da0f3545,
  1746  		0xd0f316eed9f8fc79,
  1747  		0x98b2a52c9bf291b2,
  1748  		0xe4d294a8aca6a314,
  1749  		0x25bd554e6aa7673c,
  1750  		0xcfde5dcba5be2a6c,
  1751  		0xb5e01fb48d2d2107,
  1752  		0xe1caf28948028536,
  1753  		0xd434aa0a26f3ee9b,
  1754  		0xd17723381641b8f6,
  1755  		0xfe73bd1f3f3768a2,
  1756  		0x1cc6b1abd08d67e9,
  1757  		0x247e328371a28de0,
  1758  		0x502e7942e5a9104a,
  1759  		0x6a030fd242eb4502,
  1760  		0xa2ffe02744014ce8,
  1761  		0x59290763b18fe04e,
  1762  		0xcf14241564271436,
  1763  		0xb0fb73c3c1503aff,
  1764  		0x94e27c622f82137a,
  1765  		0x747a5b406ac3e1f0,
  1766  		0x9a914e96a732031d,
  1767  		0x59f68c6c8f078835,
  1768  		0x809d012c73eb4724,
  1769  		0x5b3c3b73e1b37d74,
  1770  		0xdde60ef3ba49cdf7,
  1771  		0x87a14e1f9c761986,
  1772  		0x4109b960604522af,
  1773  		0x122d0e1ed0eb6bb9,
  1774  		0xadc0d29e80bfe33,
  1775  		0xa25b1b44f5fc8e4e,
  1776  		0xbab85d8a9b793f20,
  1777  		0x825f4cbced0e7d1e,
  1778  		0x2d6ae8807acb37ea,
  1779  		0x8234420adce2e39,
  1780  		0x4a8ad4da6b804807,
  1781  		0x1e19f9bc215e5245,
  1782  		0x1d6f4848a916dd5e,
  1783  		0x9ac40dfcdc2d39cc,
  1784  		0x9f3524e3086155ec,
  1785  		0x861fffc43124b2ef,
  1786  		0xe640e3b756396372,
  1787  		0x41cb0f0c5e149669,
  1788  		0xe0bd37e1192e4205,
  1789  		0x62917d3858f4ce47,
  1790  		0xa36e7eb4d855820a,
  1791  		0x204b90255a3bf724,
  1792  		0x66ee83a0175535bc,
  1793  		0x2c14ce7c6b0c1423,
  1794  		0x85d9495fa514f70d,
  1795  		0x5a4fe45ead874dbc,
  1796  		0xe72248dcb8cfc863,
  1797  		0xfc21ff2932ed98cd,
  1798  		0xcbba1edd735b5cad,
  1799  		0x91ddc32809679bf5,
  1800  		0x192cdf2c7631ea1f,
  1801  		0xbbc451ddf2ea286f,
  1802  		0xad9e80cae2397a64,
  1803  		0x6918f0119b95d0e5,
  1804  		0xa40379017a27d70a,
  1805  		0x1aaeddb600e61e1,
  1806  		0x15afd93cbd7adda9,
  1807  		0x156719bc2b757ff4,
  1808  		0x13d9a59e2b2df49d,
  1809  		0x9a490986eaddf0a,
  1810  		0xef9a350f0b3eb6b4,
  1811  		0x5de7f6295ba4fa4d,
  1812  		0x7f37fd087c3fdb49,
  1813  		0xa9fe3749d6f3f209,
  1814  		0x50912ac036d9bfb,
  1815  		0x982cb4d726a441f8,
  1816  		0x8ca8d8af59b872d0,
  1817  		0x7f8adfb0ceeade8a,
  1818  		0xdad390ec742be44,
  1819  		0xa637944d0045be5b,
  1820  		0x3569a3b3af807061,
  1821  		0x9599da8eae14511d,
  1822  		0xc333e8d19589b01a,
  1823  		0xfb9b524a20b571e1,
  1824  		0xbd9dc8b37ce5c3e1,
  1825  		0x142333005fa389ac,
  1826  		0x1368bc37cd5bcce1,
  1827  		0x16094907ad6ecf73,
  1828  		0xb32c90dbba4c1130,
  1829  		0x82761d97c1747dd0,
  1830  		0x599f9f267ae3444d,
  1831  		0x79ad3382994852e1,
  1832  		0x2511f06d9ef06e54,
  1833  		0xb35e6ab7d5bbddae,
  1834  		0xfca9fa83a2988732,
  1835  		0x7d4350f0394ac3ba,
  1836  		0xa52a9527bb176ea3,
  1837  		0xb49fa0ceb2aa8353,
  1838  		0x1f62e504d1468cc0,
  1839  		0xe1a77bfccce6efc3,
  1840  		0x776cdff4dc0d6797,
  1841  		0x56612e39b652c1f2,
  1842  		0x5f096a29294eda04,
  1843  		0x7978abc3aabd8b23,
  1844  		0x79dd875e0485b979,
  1845  		0x8a98aa4d5735d778,
  1846  		0xcca43940f69d2388,
  1847  		0xb2d4b156f144f93a,
  1848  		0xbd528a676e9a862,
  1849  		0x2a394939c8e7ec5e,
  1850  		0xb1da900c6efe4abc,
  1851  		0x9869af479de4c034,
  1852  		0x78dbdfb88ac7c1db,
  1853  		0x18cb169143088041,
  1854  		0xe69e5461c51a3e13,
  1855  		0x5389fa16ea98183c,
  1856  		0xed7c80d1be1ea520,
  1857  		0x87246fc359758ced,
  1858  		0xab323eba95fae4ed,
  1859  		0xbc4c0dde7f8a1828,
  1860  		0xdb739f7955610b1a,
  1861  		0xecd8c68c3434cc,
  1862  		0x138c2eb88c477f44,
  1863  		0x28a65f96727aae41,
  1864  		0xdee879f2cf5629d,
  1865  		0x684f0c90ef20070f,
  1866  		0xa24a819ef5621800,
  1867  		0x8d0054f870e4fdcb,
  1868  		0x99e8c6e695b600b,
  1869  		0x50b705245891f7c3,
  1870  		0xc02eed3a6e58e51a,
  1871  		0x443d64e95443606c,
  1872  		0xca24959cfbd2d120,
  1873  		0xe072609ea48815bc,
  1874  		0xbcc715026590315b,
  1875  		0x3e76df24d7aa5938,
  1876  		0xd8ff04940d9b79ae,
  1877  		0x54474ce790059bcd,
  1878  		0x278390dd6aa70e81,
  1879  		0xf4df619fe35414e4,
  1880  		0x757d71270264e615,
  1881  		0x1e8a373699c11b23,
  1882  		0xef68c82046e67dd6,
  1883  		0xe280006599972620,
  1884  		0x234e095183b0f4d6,
  1885  		0xe3b7560ed9839749,
  1886  		0xcd5ec4086572332e,
  1887  		0xc41c0d4aaa279108,
  1888  		0x4b9cd6126bc16a6d,
  1889  		0x4a7252734f3e3dd0,
  1890  		0xb3132df156cc103a,
  1891  		0xf9e4abbf7b64464a,
  1892  		0xf936df27fb3c47b7,
  1893  		0x9142960873f6d71a,
  1894  		0x4ba6aa3235cdb10d,
  1895  		0x3237a2e765ba7766,
  1896  		0xd62f0b94c8e99e54,
  1897  		0x26b682f90a3ae41b,
  1898  		0x40ad5e82072b6f81,
  1899  		0xd0198101f5484000,
  1900  		0xe4fac60ba11c332,
  1901  		0x472d0b0a95ef9d38,
  1902  		0x8512557aec5a3d8f,
  1903  		0xef83169d3efd4de9,
  1904  		0x53fe89283e7a7676,
  1905  		0x2f50933053d69fc4,
  1906  		0x76f5e4362e2e53a2,
  1907  		0x8676fdccce28874a,
  1908  		0x2737764c1fb1f821,
  1909  		0x4a6f70afc066ab55,
  1910  		0x27f8e151e310fca4,
  1911  		0xd606960ccbe85161,
  1912  		0xcce51d7ddd270a32,
  1913  		0xb4235999794875c2,
  1914  		0x580084e358e884,
  1915  		0x2159d5e6dc8586d7,
  1916  		0x87bd54d8599b3ba4,
  1917  		0x3e9ade6a2181664,
  1918  		0x5e6e140406d97623,
  1919  		0x511545d5aa0080a2,
  1920  		0xf49d78ed219aac57,
  1921  		0xbece1f9c90b8ea87,
  1922  		0x1c741cac36a2c514,
  1923  		0x7453c141047db967,
  1924  		0xd751832a5037eba2,
  1925  		0x71370a3f30ada1f7,
  1926  		0x7c01cf2dcb408631,
  1927  		0x1052a4fbdccc0fa1,
  1928  		0x13d525c9df3fb6c,
  1929  		0xa3aa8dbfee760c55,
  1930  		0xc0288d200f5155cf,
  1931  		0x79f4bcd12af567c3,
  1932  		0x8160d163bb548755,
  1933  		0x5cf2995fb69fd2df,
  1934  		0xcc98ed01396639df,
  1935  		0xad95f1d9cfc8256e,
  1936  		0xa3df27d9fbdbfb9d,
  1937  		0x83e5f5dda4d52929,
  1938  		0x9adc05043009f55b,
  1939  		0xdfe8329dfde1c001,
  1940  		0x9980ccdd5298e6a2,
  1941  		0x636a7bd134f6ef56,
  1942  		0xef5ff780c4be6ba4,
  1943  		0x290d71dc77a56d16,
  1944  		0x6d65db9ff58de1e6,
  1945  		0x944b063b3805a696,
  1946  		0xce468ca2cce33008,
  1947  		0x5ba1ccb840f80f48,
  1948  		0x28ddce36fc9ad268,
  1949  		0x4f77ef254d507a21,
  1950  		0xce9b4057fadf3ab,
  1951  		0xb518bc68298730e6,
  1952  		0xd2eb5b8e2ec665b0,
  1953  		0xe1583303a4f87344,
  1954  		0x9d5a0df4fbe1bed5,
  1955  		0x2ba9bc03ec8cfd07,
  1956  		0x479ed880a96ca669,
  1957  		0xcedf96338324771a,
  1958  		0x312f4fc2da41ffaa,
  1959  		0xa0eb9cf23b5e1ed8,
  1960  		0xf8f88f975dc3f539,
  1961  		0x4a37e185d0e96e0f,
  1962  		0xf829654a5c0b46f9,
  1963  		0x3909cca7a7f8c7fb,
  1964  		0x4c2e1d66ceb45105,
  1965  		0xaffaa19e1db8af87,
  1966  		0x9ec498246bd18c76,
  1967  		0x21d51558edc089da,
  1968  		0xe8984112cd1b1561,
  1969  		0x7de1d2cf54b0c0e1,
  1970  		0xa06729aed50bfb9d,
  1971  		0xcf19f733e5db19e1,
  1972  		0x70edf2624ab777cd,
  1973  		0x46685becad10e078,
  1974  		0x825e0f6add46785,
  1975  		0x66d4af3b15f70de4,
  1976  		0xc676614b0666b21,
  1977  		0x282a916c864f5cb7,
  1978  		0x2707283a3f512167,
  1979  		0x37ff3afda7461623,
  1980  		0xc767eb1205e4ca86,
  1981  		0x46b359aecc4ea25b,
  1982  		0x67fbbb797a16dbb1,
  1983  		0x64fd4ba57122290e,
  1984  		0x8acc2a8ae59d8fac,
  1985  		0x64a49298599acc67,
  1986  		0xedf00de67177ce30,
  1987  		0x1ea9d8d7e76d2d2c,
  1988  		0x363fcac323f70eb2,
  1989  		0x19e6e3ec8a9712eb,
  1990  		0xca541e96b0961f09,
  1991  		0x4d8fd34c2822ec46,
  1992  		0x2fdd56a50b32f705,
  1993  		0xaac2fcf251e3fd3,
  1994  		0xb0c600299e57045c,
  1995  		0xd951ec589e909e38,
  1996  		0x4dc8414390cae508,
  1997  		0x537ef9d5e2321344,
  1998  		0xa57bc21fd31aa2dc,
  1999  		0xa3a60df564183750,
  2000  		0xbe69a5ce2e369fb6,
  2001  		0x7744601f4c053ec8,
  2002  		0x3838452af42f2612,
  2003  		0xd4f0dad7115a54e9,
  2004  		0x629cf68d8009a624,
  2005  		0x2211c8fa34cb98cb,
  2006  		0x8040b19e2213db83,
  2007  		0xb2a86d3ba2384fd,
  2008  		0x4b85cec4f93f0dab,
  2009  		0xc8d212d21ea6845d,
  2010  		0x5b271a03a4fe2be0,
  2011  		0xff4f671319ad8434,
  2012  		0x8e615a919d5afa96,
  2013  		0xea7f47c53161160a,
  2014  		0x33273930b13c6efc,
  2015  		0x98eedda27fb59c3c,
  2016  		0x188dc5e92e939677,
  2017  		0x9dbd0fa0911430f1,
  2018  		0x5b3dcf3fa75dfd2b,
  2019  		0x3f03846febdb275d,
  2020  		0x20cc24faea9e9cf6,
  2021  		0x854f3ac66199ff5d,
  2022  		0x31169ac99d341e6f,
  2023  		0xa85daed3c0bc1bbe,
  2024  		0x64633711e71ba5dd,
  2025  		0x530e79978dc73334,
  2026  		0x636f2ee6e20aef13,
  2027  		0xf6220f8b6d9a58fb,
  2028  		0x425db8fa32141a7b,
  2029  		0xac7c210f4b02be95,
  2030  		0x5fe8cfbe197a7754,
  2031  		0xfff7d40c79420ea,
  2032  		0x5f8bab9ef4697b77,
  2033  		0xaf6fe54e45b23fe8,
  2034  		0xce79456ccc70bbce,
  2035  		0x645ef680f48f1c00,
  2036  		0xa4dfac46e2028595,
  2037  		0x6bece4c41effc5df,
  2038  		0xd316df886442641f,
  2039  		0xa4f6ff994edd2a6,
  2040  		0x30281ae3cc49abe4,
  2041  		0x39acb7b663dea974,
  2042  		0x5e8829b01a7c06fb,
  2043  		0x87bdb08cf027f13e,
  2044  		0xdfa5ede784e802f6,
  2045  		0x46d03d55711c38cc,
  2046  		0xa55a961fc9788306,
  2047  		0xbf09ded495a2e57a,
  2048  		0xcd601b29a639cc16,
  2049  		0x2193ce026bfd1085,
  2050  		0x25ba27f3f225be13,
  2051  		0x6f685be82f64f2fe,
  2052  		0xec8454108229c450,
  2053  		0x6e79d8d205447a44,
  2054  		0x9ed7b6a96b9ccd68,
  2055  		0xae7134b3b7f8ee37,
  2056  		0x66963de0e5ebcc02,
  2057  		0x29c8dcd0d17c423f,
  2058  		0xfb8482c827eb90bc,
  2059  	}
  2060  
  2061  	var s sfc64
  2062  	s.init(15793235383387715774, 12390638538380655177, 2361836109651742017)
  2063  
  2064  	for i, u := range golden {
  2065  		v := s.next64()
  2066  		if v != u {
  2067  			t.Fatalf("got %v instead of %v at step %v", v, u, i)
  2068  		}
  2069  	}
  2070  }