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 }