sfc64_test.go

// Copyright 2022 Gregory Petrosyan <gregory.petrosyan@gmail.com>
//
// This Source Code Form is subject to the terms of the Mozilla Public
// License, v. 2.0. If a copy of the MPL was not distributed with this
// file, You can obtain one at https://mozilla.org/MPL/2.0/.

package rand

import "testing"

func TestSFC64_Zig(t *testing.T) {
	golden := []uint64{
		0x3acfa029e3cc6041,
		0xf5b6515bf2ee419c,
		0x1259635894a29b61,
		0xb6ae75395f8ebd6,
		0x225622285ce302e2,
		0x520d28611395cb21,
		0xdb909c818901599d,
		0x8ffd195365216f57,
		0xe8c4ad5e258ac04a,
		0x8f8ef2c89fdb63ca,
		0xf9865b01d98d8e2f,
		0x46555871a65d08ba,
		0x66868677c6298fcd,
		0x2ce15a7e6329f57d,
		0xb2f1833ca91ca79,
		0x4b0890ac9bf453ca,
	}

	var s sfc64
	s.init(0, 0, 0)

	for i, u := range golden {
		v := s.next64()
		if v != u {
			t.Fatalf("got %v instead of %v at step %v", v, u, i)
		}
	}
}

func TestSFC64_NumPy_DEADBEAF(t *testing.T) {
	golden := []uint64{
		0xa475f55fbb6bc638,
		0xb2d594b6c29d971c,
		0x275bc4ece4484fb1,
		0x569be72d9b3492fb,
		0x89a5bb9b206a670c,
		0xd951bfa06afdc3f9,
		0x7ee2e1029d52a265,
		0x12ef1d4de0cb4d4c,
		0x41658ba8f0ef0280,
		0x5b650c82e4fe09c5,
		0x638a9f3e30ec4e94,
		0x147487fb2ba9233e,
		0x89ef035603d2d1fb,
		0xe66ca57a190e6cbe,
		0x330f673740dd61fc,
		0xc71d3dce2f8bb34e,
		0x3c07c39ff150b185,
		0x5df952b6cae8f099,
		0x9f09f2b1f0ceac80,
		0x19598eee2d0c4c67,
		0x64e06483702e0ebd,
		0xda04d1fdb545f7fa,
		0xf2cf53b61a0c4f9b,
		0xf0bb724ce196f66e,
		0x71cefde55d9cf0f,
		0x6323f62824a20048,
		0x1e93604680f14b4e,
		0xd9d8fad1d4654025,
		0xf4ee25af2e76ca08,
		0x6af3325896befa98,
		0xad9e43abf5e04053,
		0xbf930e318ce09de3,
		0x61f9583b4f9ffe76,
		0x9b69d0b3d5ec8958,
		0xa608f250f9b2ca41,
		0x6fdba7073dc2bb5d,
		0xa9d57601efea6d26,
		0xc24a88a994954105,
		0xc728b1f78d88fe5b,
		0x88da88c2b083b3b2,
		0xa9e27f7303c76cfd,
		0xc4c24608c29176eb,
		0x5420b58466b972fd,
		0xd2018a661b6756c8,
		0x7caed83d9573fc7,
		0x562a3d81b849a06a,
		0x16588af120c21f2c,
		0x658109a7e0eb4837,
		0x877aabb14d3822e1,
		0x95704c342c3745fe,
		0xeeb8a0dc81603616,
		0x431bf94889290419,
		0xe4a9410ab92a5863,
		0xbc6be64ea60f12ba,
		0x328a2da920015063,
		0x40f6b3bf8271ae07,
		0x4068ff00a0e854f8,
		0x1b287572ca13fa78,
		0xa11624a600490b99,
		0x4a04ef29eb7150fa,
		0xcc9469ab5ffb739,
		0x99a6a9f8d95e782,
		0x8e90356573e7a070,
		0xa740b8fb415c81c4,
		0x47eccef67447f3da,
		0x2c720afe3a62a49b,
		0xe2a747f0a43eacf4,
		0xba063a87ab165576,
		0xbc1c78ed27feb5a3,
		0x285a19fa3974f9d,
		0x489c61e704f5f0e3,
		0xf5ab04f6b03f238b,
		0x7e25f88138a110dd,
		0xc3d1cef3d7c1f1d1,
		0xc3de6ec64d0d8e00,
		0x73682a15b6cc5088,
		0x6fecbeb319163dc5,
		0x7e100d5defe570a1,
		0xad2af9af076dce57,
		0x3c65100e23cd3a9a,
		0x4b442cc6cfe521bb,
		0xe89dc50f8ab1ef75,
		0x8b3c6fdc2496566,
		0xdfc50042bc2c308c,
		0xe39c5f158b33d2b2,
		0x92f6adefdfeb0ac,
		0xdf5808a949c85b3e,
		0x437384021c9dace9,
		0xa7b5ed0d3d67d8f,
		0xe1408f8b21da3c34,
		0xa1bba125c1e80522,
		0x7611dc4710385264,
		0xb00a46ea84082917,
		0x51bf8002ffa87cef,
		0x9bb81013e9810adc,
		0xd28f6600013541cd,
		0xc2ca3b1fa7791c1f,
		0x47f9ad58f099c82c,
		0x4d1bb9458469caf9,
		0xca0b165b2844257,
		0xc3b2e667d075dc66,
		0xde22f71136a3dbb1,
		0x23b4e3b6f219e4c3,
		0x327e0db4c9782f66,
		0x9365506a6c7a1807,
		0x3e868382dedd3be7,
		0xff04fa6534bcaa99,
		0x96621a8862995305,
		0x81bf39cb5f8e1df7,
		0x79b684bb8c37af7a,
		0xae3bc073c3cde33c,
		0x7805674112c899ac,
		0xd95a27995abb20f2,
		0x71a503c57b105c40,
		0x5ff00d6a73ec8acc,
		0x12f96391d91e47c2,
		0xd55ca097b3bd4947,
		0x794d79d20468b04,
		0x35d814efb0d7a07d,
		0xfa9ac9bd0aae76d3,
		0xa77b8a3711e175cd,
		0xe6694fbf421f9489,
		0xd8f1756525a1a0aa,
		0xe38dfa8426277433,
		0x16b640c269bbcd44,
		0x2a7a5a67ca24cfeb,
		0x669039c28d5344b4,
		0x2a445ee81fd596bb,
		0x600df94cf25607e0,
		0x9358561a7579abff,
		0xee1d52ea179fc274,
		0x21a8b325e89d31be,
		0x36fc0917486eec0a,
		0x3d99f40717a6be9f,
		0x39ac140051ca55ff,
		0xcef7447c26711575,
		0xf22666870eff441d,
		0x4a53c6134e1c7268,
		0xd26de518ad6bdb1b,
		0x1a736bf75b8b0e55,
		0xef1523f4e6bd0219,
		0xb287b32fd615ad92,
		0x2583d6af5e841dd5,
		0x4b9294aae7ca670c,
		0xf5aa4a84174f3ca9,
		0x886300f9e0dc6376,
		0x3611401e475ef130,
		0x69b56432b367e1ac,
		0x30c330e9ab36b7c4,
		0x1e0e73079a85b8d5,
		0x40fdfc7a5bfaecf,
		0xd7760f3e8e75a085,
		0x1cc1891f7f625313,
		0xeece1fe6165b4272,
		0xe61111b0c166a3c1,
		0x2f1201563312f185,
		0xfd10e8ecdd2a57cb,
		0x51cdc8c9dd3a89bf,
		0xed13cc93938b5496,
		0x843816129750526b,
		0xd09995cd6819ada,
		0x4601e778d40607df,
		0xef9df06bd66c2ea0,
		0xae0bdecd3db65d69,
		0xbb921a3c65a4ae9a,
		0xd66698ce8e9361be,
		0xacdc91647b6068f4,
		0xe505ef68f2a5c1c0,
		0xd6e62fd27c6ab137,
		0x6a2ba2c6a4641d86,
		0x9c89143715c3b81,
		0xe408c4e00362601a,
		0x986155cbf5d4bd9d,
		0xb9e6831728c893a7,
		0xb985497c3bf88d8c,
		0xd0d729214b727bec,
		0x4e557f75fece38a,
		0x6572067fdfd623ca,
		0x178d49bb4d5cd794,
		0xe6baf59f60445d82,
		0x5607d53518e3a8d2,
		0xba7931adb6ebbd61,
		0xe853576172611329,
		0xe945daff96000c44,
		0x565b9ba3d952a176,
		0xcdb54d4f88c584c8,
		0x482a7499bee9b5e5,
		0x76560dd0affe825b,
		0x2a56221faa5ca22c,
		0x7729be5b361f5a25,
		0xd6f2195795764876,
		0x59ef7f8f423f18c5,
		0x7ebefed6d02adde1,
		0xcfec7265329c73e5,
		0x4fd8606a5e59881c,
		0x95860982ae370b73,
		0xdecfa33b1f902acc,
		0xf9b8a57400b7c0a6,
		0xd20b822672ec857b,
		0x4eb81084096c7364,
		0xe535c29a44d9b6ad,
		0xdef8b48ebacb2e29,
		0x1063bc2b8ba0e915,
		0xe4e837fb53d76d02,
		0x4df935db53579fb8,
		0xa30a0c8053869a89,
		0xe891ee58a388a7b5,
		0x17931a0c64b8a985,
		0xaf2d350b494ce1b3,
		0x2ab9345ffbcfed82,
		0x7de3fe628a2592f0,
		0x85cf54fab8b7e79d,
		0x42d221520edab71b,
		0x17b695b3af36c233,
		0xa4ffe50fe53eb485,
		0x1102d242db800e4d,
		0xc8dc01f0233b3b6,
		0x984a030321053d36,
		0x27fa8dc7b7112c0e,
		0xba634dd8294e177f,
		0xe67ce34b36332eb,
		0x8f1351e1894fb41a,
		0xb522a3048761fd30,
		0xc350ad9bc6729edc,
		0xe0ed105bd3c805e1,
		0xa14043d2b0825aa7,
		0xee7779ce7fc11fdf,
		0xc0fa8ba23a60ab25,
		0xb596d1ce259afbad,
		0xaa9b8445537fdf62,
		0x770ab2c700762e13,
		0xe812f1183e40cc1,
		0x44bc898e57aefbbd,
		0xdd8a871df785c996,
		0x88836a5e371eb36b,
		0xb6081c9152623f27,
		0x895acbcd6528ca96,
		0xfb67e33ddfbed435,
		0xaf7af47d323ce26,
		0xe354a510c3c39b2d,
		0x5cacdedda0672ba3,
		0xa440d9a2c6c22b09,
		0x6395099f48d64304,
		0xc11cf04c75f655b5,
		0x1c4e054d144ddb30,
		0x3e0c2db89d336636,
		0x127ecf18a5b0b9a7,
		0x3b50551a88ea7a73,
		0xbd27003e47f1f684,
		0xf32d657782baac9b,
		0x727f5cabf020bc9,
		0x39c1c1c226197dc7,
		0x5552c87b35deeb69,
		0x64d54067b5ce493f,
		0x3494b091fe28dda0,
		0xdf0278bc85ee2965,
		0xdef16fec25efbd66,
		0xe2be09f578c4ce28,
		0xd27a9271979d3019,
		0x427f6fcd71845e3,
		0x26b52c5f81ec142b,
		0x98267efc3986ad46,
		0x7bf4165ddb7e4374,
		0xd05f7996d7941010,
		0x3b3991de97b45f14,
		0x9068217fb4f27a30,
		0xd8fe295160afc7f3,
		0x8a159fab4c3bc06f,
		0x57855506d19080b6,
		0x7636df6b3f2367a4,
		0x2844ee3abd1d5ec9,
		0xe5788de061f51c16,
		0x69e78cc9132a164,
		0xacd53cde6d8cd421,
		0xb23f3100068e91da,
		0x4140070a47f53891,
		0xe4a422225a96e53a,
		0xb82a8925a272a2ac,
		0x7c2f9573590fe3b7,
		0xbaf80764db170575,
		0x955abffa54358368,
		0x355ce7460614a869,
		0x3700ede779a4afbf,
		0x10a6ec01d92d68cd,
		0x3308f5a0a4c0afef,
		0x97b892d7601136c9,
		0x4955c3b941b8552e,
		0xca85aa67e941961d,
		0xb1859ae5db28e9d2,
		0x305d072ac1521fbd,
		0xed52a868996085bb,
		0x723bfa6a76358852,
		0x78d946ecd97c5fb3,
		0x39205b30a8e23e79,
		0xb927e3d086baadbe,
		0xa18d6946136e1ff5,
		0xdab6f0b51c1eb5ff,
		0xf0a640bf7a1af60c,
		0xf0e81db09004d0d4,
		0xfe76cebdbe5a4dde,
		0x2dafe9cc3decc376,
		0x4c871fdf1af34205,
		0xe79617d0c8fa893b,
		0xee658aaad3a141f7,
		0xfd91aa74863e19f1,
		0x841b8f55c103cc22,
		0x22766ed65444ad5d,
		0x56d03d1beca6c17a,
		0x5fd4c112c92036ae,
		0x75466ae58a5616dc,
		0xfbf98b1081e802a9,
		0xdc325e957bf6d8f5,
		0xb08da7015ebd19b7,
		0xf25a9c0944f0c073,
		0xf4625bafa0ced718,
		0x4349c9e093a9e692,
		0x75a9ccd4dd8935cb,
		0x7e6cf9e539361e91,
		0x20fdd22fb6edd475,
		0x5973021b57c2311f,
		0x75392403667edc15,
		0xed9b2156ea70d9f1,
		0xf40c114db50b64a0,
		0xe26bb2c9eef20c62,
		0x409c1e3037869f03,
		0xcdfd71fdda3b7f91,
		0xa0dfae46816777d6,
		0xde060a8f61a8deb8,
		0x890e082a8b0ca4fc,
		0xb9f2958eddf2d0db,
		0xd17c148020d20e30,
		0xffdc9cc176fe7201,
		0xffb83d925b764c1,
		0x817ea639e313da8d,
		0xa4dd335dd891ca91,
		0x1342d25a5e81f488,
		0xfa7eb9c3cf466b03,
		0xfe0a423d44b185d0,
		0x101cfd430ab96049,
		0x7b5d3eda9c4504b,
		0xe20ccc006e0193f1,
		0xf54ccddedebc5df0,
		0xc0edd142bd58f1db,
		0x3831f40d378d2430,
		0x80132353f0a88289,
		0x688f23c419d03ef8,
		0x4c6837e697884066,
		0x699387bb2e9a3a8f,
		0x8996f860342448d8,
		0xb0f80dff99bfa5cc,
		0x3e927a7f9ea12c8e,
		0xd7e498d1e5f9dff3,
		0x78ecb97bb3f864cc,
		0x3c4ffd069a014d38,
		0xf8d5073a1e09b4d4,
		0x8717e854f9faef23,
		0xfbcc5478d8d0ad7,
		0xd3cd8b233ca274ff,
		0x8bd8f11f79beb265,
		0xf64498a832d8fd0e,
		0xb01bba75112131ec,
		0x55572445a7869781,
		0x7b56622f18cb3d7a,
		0x7f192c9e075bdb83,
		0xd9a112f836b83ff3,
		0x68673b37269653dc,
		0xe46a9433fb6a0879,
		0x127d756ca4779001,
		0xc1378e8b1e8eab94,
		0x1006edb0f51d078c,
		0xc6dd53961232d926,
		0x9a4aeef44038256d,
		0xd357f4fa652d4f5f,
		0x59f3d2cc3378598,
		0xe76e6207a824a7fc,
		0x5fc5e33712ceffef,
		0x77d24aeb0ccb1adc,
		0x5be4b2826805659e,
		0x257c69d787e64634,
		0x58dd52ca6bc727b1,
		0x3ab997767235ea33,
		0x986a2a7a966fad14,
		0xc900f8b27761dcc4,
		0x44991bdb13795700,
		0xe5c145a4fe733b2,
		0x56f041b56bffe0d3,
		0x5779c4fef8067996,
		0xa0fe8748e829532d,
		0x840c1277d78d9dd4,
		0x37ebcb315432acbc,
		0xf4bc8738433ba3be,
		0x8b122993f2e10062,
		0xe1fe8481f2681ed5,
		0x8e23f1630d9f494a,
		0xda24661a01b7d0b3,
		0x7a02942a179cee36,
		0xf1e08a3c09b71ac,
		0x3dec2cc7ee0bd8fd,
		0x1f3e480113d805d4,
		0xc061b973ad4e3f2c,
		0x6bea750f17a66836,
		0xbc2add72eac84c25,
		0xcff058d3f97934ca,
		0x54ccc30987778ec2,
		0x93449ec1e1469558,
		0xe2ff369eb0c6836,
		0x41c2df2d63bf8e55,
		0xf9302629b6c71be2,
		0xdd30376b8e5ab29a,
		0x12db9e04f911d754,
		0x8d03d6cd359f1b97,
		0xe15956511abf1cee,
		0x9b68e10e2c2fd940,
		0x2e28de6491c1ce53,
		0x52b329b72d0c109d,
		0xc2c0b115f9da2a60,
		0x6ca084105271bbff,
		0x49b92b8676058c1e,
		0x767fc92a70f7e5a3,
		0x87ba4ed4b65a6aa0,
		0xf70b052e0a3975e9,
		0x3e925c3306db9eec,
		0x43253f1d96ac9513,
		0xe3e04f1a1ea454c4,
		0x763e3f4cc81ba0c8,
		0x2a2721ac69265705,
		0xdf3b0ac6416ea214,
		0xa6a6b57450f3e000,
		0xc3d3b1ac7dbfe6ac,
		0xb66e5e6f7d2e4ec0,
		0x43c65296f98f0f04,
		0xdb0f6e3ff974d842,
		0x3d6b48e02ebb203b,
		0xd74674ebf09d8f27,
		0xbe65243c58fc1200,
		0x55eb210a68d42625,
		0x87badab097dbe883,
		0xada3fda85a53824f,
		0xef2791e8f48cd37a,
		0x3fe7fceb927a641a,
		0xd3bffd3ff031ac78,
		0xb94efe03da4d18fb,
		0x162a0ad8da65ea68,
		0x300f234ef5b7e4a6,
		0xa2a8b4c77024e4fb,
		0x5950f095ddd7b109,
		0xded66dd2b1bb02ba,
		0x8ec24b7fa509bcb6,
		0x9bede53d924bdad6,
		0xa9c3f46423be1930,
		0x6dfc90597f8de8b4,
		0xb7419ebc65b434f0,
		0xa6596949238f58b9,
		0x966cbade640829b8,
		0x58c74877bdcbf65e,
		0xaa103b8f89b0c453,
		0x219f0a86e41179a4,
		0x90f534fc06ddc57f,
		0x8db7cdd644f1affa,
		0x38f91de0167127ac,
		0xdcd2a65e4df43daa,
		0x3e04f34a7e01f834,
		0x5b237eea68007768,
		0x7ff4d2b015921768,
		0xf786b286549d3d51,
		0xaefa053fc2c3884c,
		0x8e6a8ff381515d36,
		0x35b94f3d0a1fce3c,
		0x165266d19e9abb64,
		0x1deb5caa5f9d8076,
		0x13ab91290c7cfe9d,
		0x3651ca9856be3e05,
		0xe7b705f6e9cccc19,
		0xd6e7f79668c127ed,
		0xa9faf37154896f92,
		0x89fbf190603e0ab1,
		0xb34d155a86f942d0,
		0xb2d4400a78bfdd76,
		0x7c0946aca8cfb3f0,
		0x7492771591c9d0e8,
		0xd084d95c5ca2eb28,
		0xb18d12bd3a6023e,
		0xea217ed7b864d80b,
		0xe52f69a755dd5c6f,
		0x127133993d81c4aa,
		0xe07188fcf1670bfb,
		0x178fbfe668e4661d,
		0x1c9ee14bb0cda154,
		0x8d043b96b6668f98,
		0xbc858986ec96ca2b,
		0x7660f779d528b6b7,
		0xd448c6a1f74ae1d3,
		0x178e122cfc2a6862,
		0x236f000abaf2d23b,
		0x171b27f3f0921915,
		0x4c3ff07652f50a70,
		0x18663e5e7d3a66ca,
		0xb38c97946c750cc9,
		0xc5031aae6f78f909,
		0x4d1514e2925e95c1,
		0x4c2184a741dabfbb,
		0xfd410364edf77182,
		0xc228157f863ee873,
		0x9856fdc735cc09fc,
		0x660496cd1e41d60e,
		0x2edf1d7e01954c32,
		0xd32e94639bdd98cf,
		0x8e153f48709a77d,
		0x89357f332d2d6561,
		0x1840d512c97085e6,
		0x2f18d035c9e26a85,
		0x77b88b1448b26d5b,
		0xc1ca6ef4cdae0799,
		0xcc203f9e4508165f,
		0xeaf762fbc9e0cbbe,
		0xc070c687f3c4a290,
		0xd49ed321068d5c15,
		0x84a55eec17ee64ee,
		0x4d8ee685298a8871,
		0x9ff5f17d7e029793,
		0x791d7d0d62e46302,
		0xab218b9114e22bc6,
		0x4902b7ab3f7119a7,
		0x694930f2e29b049e,
		0x1a3c90650848999f,
		0x79f1b9d8499c932b,
		0xfacb6d3d55e3c92f,
		0x8fd8b4f25a5da9f5,
		0xd037dcc3a7e62ae7,
		0xfecf57300d8f84f4,
		0x32079b1e1dc12d48,
		0xe5f8f1e62b288f54,
		0x97feba3a9c108894,
		0xd279a51e1899a9a0,
		0xd68eea8e8e363fa8,
		0x7394cf2deeca9386,
		0x5f70b0c80f1dbf10,
		0x8d646916ed40462,
		0xd253bb1c8a12bbb6,
		0x38f399a821fbd73e,
		0x947523a26333ac90,
		0xb52e90affbc52a37,
		0xcf899cd964654da4,
		0xdf66ae9cca8d99e7,
		0x6051478e57c21b6a,
		0xffa7dc975af3c1da,
		0x195c7bff2d1a8f5,
		0x64f12b6575cf984d,
		0x536034cb842cf9e1,
		0x180f247ce5bbfad,
		0x8ced45081b134867,
		0x532bbfdf426710f3,
		0x4747933e74c4f54d,
		0x197a890dc4793401,
		0x76c7cc2bd42fae2,
		0xdabfd67f69675dd0,
		0x85c690a68cdb3197,
		0xe482cec89ce8f92,
		0x20bc9fb7797011b1,
		0x76dc85a2185782ad,
		0x3df37c164422117a,
		0x99211f5d231e0ab0,
		0xef7fd794a0a91f4,
		0x419577151915f5fe,
		0x3ce14a0a7135dae3,
		0x389b57598a075d6a,
		0x8cc2a9d51b5af9aa,
		0xe80a9beffbd13f13,
		0x65e96b22ea8a54d8,
		0x79f38c4164138ede,
		0xd1955846cba03d81,
		0x60359fe58e4f26d6,
		0x4ea724f585f8d13e,
		0x316dfdbadc801a3c,
		0x20aa29b7c6dd66fe,
		0x65eaf83a6a008caa,
		0x407000aff1b9e8cb,
		0xb4d49bfb2b268c40,
		0xd4e6fe8a7a0f14a9,
		0xe34afef924e8f58e,
		0xe377b0c891844824,
		0x29c2e20c112d30c8,
		0x906aad1fe0c18a95,
		0x308385f0efbb6474,
		0xf23900481bf70445,
		0xfdfe3ade7f937a55,
		0xf37aae71c33c4f97,
		0x1c81e3775a8bed85,
		0x7eb5013882ce35ea,
		0x37a1c1692495818d,
		0x3f90ae118622a0ba,
		0x58e4fe6fea29b037,
		0xd10ff1d269808825,
		0xbce30edb60c21bba,
		0x123732329afd6fee,
		0x429b4059f797d840,
		0x421166568a8c4be1,
		0x88f895c424c1bd7f,
		0x2adaf7a7b9f781cb,
		0xa425644b26cb698,
		0x8cc44d2486cc5743,
		0xdb9f357a33abf6ba,
		0x1a57c4ea77a4d70c,
		0x1dea29be75239e44,
		0x463141a137121a06,
		0x8fecfbbe0b8a9517,
		0x92c83984b3566123,
		0x3b1c69180ed28665,
		0x14a6073425ea8717,
		0x71f4c2b3283238d7,
		0xb3d491e3152f19f,
		0x3a0ba3a11ebac5d2,
		0xddb4d1dd4c0f54ac,
		0xdb8f36fe02414035,
		0x1cf5df5031b1902c,
		0x23a20ed12ef95870,
		0xf113e573b2dedcbb,
		0x308e2395cde0a9fa,
		0xd377a22581c3a7da,
		0xe0ced97a947a66fb,
		0xe44f4de9cd754b00,
		0x2344943337d9d1bf,
		0x4b5ae5e2ea6e749c,
		0x9b8d2e3ef41d1c01,
		0x59a5a53ebbd24c6b,
		0x4f7611bf9e8a06fb,
		0xea38c7b61361cd06,
		0xf125a2bfdd2c0c7,
		0x2df8dcb5926b9ebb,
		0x233e18720cc56988,
		0x974c61379b4aa95e,
		0xc7fe24c1c868910b,
		0x818fd1affc82a842,
		0xcee92a952a26d38e,
		0x8962f575ebcbf43,
		0x7770687e3678c460,
		0xdfb1db4ed1298117,
		0xb9db54cb03d434d3,
		0x34aebbf2244257ad,
		0xd836db0cb210c490,
		0x935daed7138957cd,
		0x3cd914b14e7948fd,
		0xd0472e9ed0a0f7f0,
		0xa9df33dca697f75e,
		0x15e9ea259398721a,
		0x23eeba0f970abd60,
		0x2217fdf8bbe99a12,
		0x5ea490a95717b198,
		0xf4e2bfc28280b639,
		0x9d19916072d6f05c,
		0x5e0387cab1734c6a,
		0x93c2c8ac26e5f01e,
		0xb0d934354d957eb1,
		0xee5099a1eef3188c,
		0x8be0abca8edc1115,
		0x989a60845dbf5aa3,
		0x181c7ed964eee892,
		0x49838ea07481288d,
		0x17dbc75d66116b2e,
		0xa4cafb7a87c0117e,
		0xab2d0ae44cdc2e6e,
		0xdf802f2457e7da6,
		0x4b966c4b9187e124,
		0x62de9db6f4811e1a,
		0x1e20485968bc62,
		0xe9ac288265caca94,
		0xc5c694d349aa8c1a,
		0x3d67f2083d9bdf10,
		0x9a2468e503085486,
		0x9d6acd3dc152d1a3,
		0xca951e2aeee8df77,
		0x2707371af9cdd7b0,
		0x2347ae6a4eb5ecbd,
		0x16abe5582cb426f,
		0x523af4ff980bbccb,
		0xb07a0f043e3694aa,
		0x14d7c3da81b2de7,
		0xf471f1b8ac22305b,
		0xdb087ffff9e18520,
		0x1a352db3574359e8,
		0x48d5431502cc7476,
		0x7c9b7e7003dfd1bf,
		0x4f43a48aae987169,
		0x9a5d3eb66dedb3e9,
		0xa7b331af76a9f817,
		0xba440154b118ab2d,
		0x64d22344ce24c9c6,
		0xa22377bd52bd043,
		0x9dfa1bb18ca6c5f7,
		0xdccf44a92f644c8b,
		0xf623d0a49fd18145,
		0x556d5c37978e28b3,
		0xad96e32ce9d2bb8b,
		0x2e479c120be52798,
		0x7501cf871af7b2f7,
		0xd02536a5d026a5b8,
		0x4b37ff53e76ab5a4,
		0xdb3a4039caaeab13,
		0x6cbd65e3b700c7be,
		0x7367abd98761a147,
		0xf4f9ba216a35aa77,
		0xf88ca25ce921eb86,
		0xb211de082ec2cbf2,
		0xdd94aa46ec57e12e,
		0xa967d74ad8210240,
		0xdaa1fada8cfa887,
		0x85901d081c4488ee,
		0xcf67f79a699ef06,
		0x7f2f1f0de921ee14,
		0x28bc61e9d3f2328b,
		0x3332f2963faf18e5,
		0x4167ac71fcf43a6,
		0x843c1746b0160b74,
		0xd9be80070c578a5e,
		0xbd7250c9af1473e7,
		0x43f78afaa3647899,
		0x91c6b5dd715a75a5,
		0x29cc66c8a07bfef3,
		0x3f5c667311dc22be,
		0x4f49cd47958260cd,
		0xbef8be43d920b64e,
		0x7a892a5f13061d8b,
		0x9532f40125c819b1,
		0x924fca3045f8a564,
		0x9b2c6442453b0c20,
		0x7e21009085b8e793,
		0x9b98c17e17af59d2,
		0xba61acb73e3ae89a,
		0xb9d61a710555c138,
		0xc2a425d80978974b,
		0xa275e13592da7d67,
		0xe962103202d9ad0f,
		0xbdf8367a4d6f33fd,
		0xe59beb2f8648bdc8,
		0xb4c387d8fbc4ac1c,
		0x5e3f276b63054b75,
		0xf27e616aa54d8464,
		0x3f271661d1cd7426,
		0x43a69dbee7502c78,
		0x8066fcea6df059a1,
		0x3c10f19409bdc993,
		0x6ba6f43fb21f23e0,
		0x9e182d70a5bccf09,
		0x1520783d2a63a199,
		0xba1dcc0c70b9cace,
		0x1009e1e9b1032d8,
		0xf632f6a95fb0315,
		0x48e711c7114cbfff,
		0xef281dcec67debf7,
		0x33789894d6abf59b,
		0x6c8e541fffbe7f9c,
		0x85417f13b08e0a88,
		0x9a581e36d589608f,
		0x461dca50b1befd35,
		0x5a3231680dde6462,
		0xcc57acf729780b97,
		0x50301efef62e1054,
		0x675d042cd4f6bbc9,
		0x1652fdd3794384c9,
		0x1c93bbeeb763cd4d,
		0x44b7240c4b105242,
		0x4c6af2a1b606ccfb,
		0x18fc43ece2ec1a40,
		0x859a5511aeae8acb,
		0x2f56826f1996ad2f,
		0xa8e95ce8bb363bdf,
		0xf4da396054e50e4b,
		0x5493865e9895883c,
		0x768e4c8b332ac0e3,
		0x32195d2aa583fca5,
		0xf2f353f21266bc15,
		0x43cddf1d021307d,
		0x6031e3aa30300e4a,
		0x4f1298469ac6088f,
		0x4b4d450bafac574e,
		0x23e1cf9c0582a22b,
		0x2e9036980db49cd0,
		0xe4e228b113c411b2,
		0x8bddcdb82b51706,
		0xd2a7ea8288593629,
		0x67fe90e98fdda61,
		0x7b63494dba95717b,
		0x105625904510d782,
		0xdf4aa2242454e50a,
		0x32541d6cd7d6c7e3,
		0x5661fb432591cf3b,
		0xce920a5ed047bce7,
		0xed4178a3c96eea8f,
		0xe378cd996e39863b,
		0x169e1fdc8e2b05e1,
		0xaee1812ef7149a96,
		0x648571c7453d12c5,
		0xb7b6bc9328573c43,
		0xe7fb969078e270d7,
		0xdfc2b1b8985f6e6f,
		0x862b6527ee39a1aa,
		0x1ee329aea91d7882,
		0x20d25324f2fe704,
		0xbfcc47401fc3bbfd,
		0x1515cdc8d48b2904,
		0xbd6eefe86284261c,
		0x9b1f28e3b35f22ee,
		0x842a29d35e5aecda,
		0xf2346109ad370765,
		0x24d68add5a71afd9,
		0x4a691421613d91e2,
		0x60e3058b3c244051,
		0x79194905cdaa5de8,
		0xe0e2df35c01e8987,
		0xe29b78beffbb5e4a,
		0xcdcdbc020218c19e,
		0x5ae0af8c16feae43,
		0x8109292feeaf14fa,
		0x34113f7508dfa521,
		0xc062ac163f56730a,
		0xf1660e66ec6d4c4c,
		0x5966c55f60151c80,
		0x3865ae8ec934b17,
		0x472a7314afb055ec,
		0x7a24277309a44a44,
		0x556e02dd35d38baa,
		0x9849611a1bc96ec1,
		0xd176f5d5a8eb0843,
		0x44db12ec60510030,
		0x272e3a06a0030078,
		0x7c4764dbefc075ea,
		0x910712f3735c1183,
		0xd49a2da74ae7aff6,
		0xcf9b3e6e8f776d71,
		0x27789fe3ec481a02,
		0x86659f82c6b5912b,
		0xe044b3dbf339158c,
		0x99d81f6bb62a37b0,
		0x5f5830c246fada9a,
		0xe68abab1eeb432cb,
		0x49c5c5ace04e104,
		0x1ac3871b3fc6771b,
		0x773b39f32d070652,
		0x9c4138c2ae58b1f3,
		0xac41c63d7452ac60,
		0x9248826b245359e1,
		0x99bba1c7a64f1670,
		0xe0dc99ff4ebb92f2,
		0x113638652740f87c,
		0xebf51e94da88cfc,
		0x5441c344b81b2585,
		0xe1e69e0bc2de652a,
		0xe9ab6d64ae42ed1e,
		0x879af8730e305f31,
		0x36b9ad912c7e00d6,
		0x83ef5e9fca853886,
		0xda54d48bb20ea974,
		0x32c6d93aefa92aa2,
		0x4e887b2c3391847d,
		0x50966e815f42b1b8,
		0x53411ac087832837,
		0x46f64fef79df4f29,
		0xb34aae3924cd272c,
		0xf5ad455869a0adbe,
		0x8351ded7144edac8,
		0xeb558af089677494,
		0x36ed71d69293a8d6,
		0x659f90bf5431b254,
		0x53349102b7519949,
		0x3db83e20b1713610,
		0x6d63f96090556254,
		0x4cc0467e8f45c645,
		0xb8840c4bd5cd4091,
		0xbd381463cc93d584,
		0x203410d878c2066d,
		0x2ebea06213cf71c8,
		0x598e8fb75e3fceb4,
		0xdcca41ceba0fce02,
		0x61bf69212b56aae5,
		0x97eed7f70c9114fa,
		0xf46f37a8b7a063f9,
		0x66c8f4ffe5bd6efa,
		0xe43fd6efda2d4e32,
		0x12d6c799e5ad01de,
		0x9ac83e7f8b709360,
		0xbbb7bb3c1957513d,
		0x7f87c08d4b3796b0,
		0x9a7d1d74b6aa4a5c,
		0xa4314530ff741b6f,
		0x99a80c6b6f15fca8,
		0xd2fec81d6d5fc3ce,
		0x15a98be1cc40cea,
		0x98693eb7719366f3,
		0x36ccdc2a9e9d4de8,
		0x3c8208f63d77df25,
		0xca2e376e2343df6,
		0xcc9b17cbb54420c6,
		0x8724c44a64d7dcb8,
		0x9d00c6949ff33869,
		0xf4f8e584d2699372,
		0x88f4748cdd5a2d53,
		0xe215072a1205bc6d,
		0x190934fe6d740442,
		0x7fac5c0ab2af106d,
		0x1b86633a0bd84fa1,
		0x1293e54318492dfb,
		0x433324fd390f34b9,
		0x4c5eb2c67a44643b,
		0x59a6e281c388b0dd,
		0xe78e03f9c44623b7,
		0x91307a93c768fc3d,
		0xde8867b004d8e3ff,
		0xdf52c3f57b7c5862,
		0x993f3e1d10358a92,
		0x9ccb10bc3e18662d,
		0x45093ce48a114c73,
		0xd59d05979d26330a,
		0x417c0e03300119a9,
		0x1c336500f90cde81,
		0x1c8ccd29ead9b85b,
		0xb76baf3e55d4d950,
		0x133ad6196c75fd7e,
		0x34200b0cde7ed560,
		0x9c7c3dacb213c8d9,
		0xd97563c4fd9bf1b6,
		0x5d910e871835b6cb,
		0x7d46c4733a16bdf9,
		0xe41d73194ddc87b2,
		0x7d3d8a0855a465a9,
		0x70c2a8b5d3f90c0f,
		0x9e7565ca5dccfe12,
		0x2c0acb4577aa51b1,
		0x3d2cd211145b79c7,
		0x15a7b17aa6da7732,
		0xab44a3730c27d780,
		0xf008bd6c802bde3a,
		0x82ed86ddf3619f77,
		0xaabe982ab15c49f9,
		0x9bcad8fa6d8e58a4,
		0x8f39ed8243718aa1,
		0xe9489340e03e3cb6,
		0xc722314f5eefb8d0,
		0x870e8869a436df59,
		0x4dae75b8087a8204,
		0xe1d790f6ec6e425b,
		0xafd39ea1b1d0ed09,
		0xdf2c99e464ddf08f,
		0x74936d859ab9644d,
		0x3871302164250e73,
		0x764b68921e911886,
		0x2a1d024b26bb9d66,
		0x797fba43918e75b4,
		0x62ec6d24ccca335b,
		0xf4bd8b951762b520,
		0x9d450dede9119397,
		0x5393a26d10f8c124,
		0x6b74769392896b57,
		0x7f61dbcc0e328581,
		0x64e1df3884d0d94,
		0xba77dcdf23738c37,
		0xf8e288bc0a177475,
		0x4a8abfd1702ecb7d,
		0x53f22886694736a7,
		0x8fc982597ced3e3,
		0x1bc46090f820fff7,
		0x8bd31f965d02229f,
		0x65cd0cb29996ee53,
		0x702e0f4fcf8c2e9f,
		0x293b77bff307a9a0,
		0x125a986b8b305788,
		0x416b0eea428ebf3c,
		0xeac85421ab0e8469,
		0x7f5496095019aa68,
		0x1a96d7afbc708e0,
		0xb91262e6766e01e1,
		0xd0a549cc4ccc6954,
		0x75a9a073f50c8a0d,
		0xae275d2c1c6cd23c,
		0xcf159b5ec5d28fd4,
		0x75d0838ce9b92b,
		0xd4eddcee6dc4677f,
		0x6a0a8ad5df6b75b8,
		0x6f3fd0ef0f13ecc4,
		0xb75a5826c1a8f8a8,
		0xd47098bbc7943766,
		0x3d4ddd62d5f23dd1,
		0x760a904e4583841c,
		0x2afeb5022b4cf1f,
		0x66d5f653729f0a13,
		0x9a6a5ab62980d30f,
		0xc332f5643bbf8d5b,
		0x848fb702e4056a90,
		0xa057beaf3f9e8c5f,
		0x6cc603e4560a6c6a,
		0xec761811a7b23211,
		0xb14aa4090a82aaa5,
		0xe29d9d028a5b2dbb,
		0x5564e53738d68f97,
		0xfabca36542eaaf3b,
		0xb9912fcb782020a2,
		0xe865e01b349284fd,
		0x540b5ff11c5f9274,
		0x3463f64e1e7451dc,
		0xe15d3e2f33b735f8,
		0xf5433336eadef6e,
	}

	var s sfc64
	s.init(5778446405158232650, 4639759349701729399, 13222832537653397986)

	for i, u := range golden {
		v := s.next64()
		if v != u {
			t.Fatalf("got %v instead of %v at step %v", v, u, i)
		}
	}
}

func TestSFC64_NumPy_0(t *testing.T) {
	golden := []uint64{
		0x91959e5fb96a6332,
		0x3c1dd8a25a7e9f21,
		0x657bdffc99798d9e,
		0x1a04de320b19e022,
		0x65b92af0e5f3c61c,
		0x9c84070ce8f743c0,
		0xbb10e573693cdb25,
		0xd65ea9e76b37fb6b,
		0x503efd0e76c8ae66,
		0xd711dcd04c26d0f,
		0x12f53f435814ac8c,
		0xb392cd402cfc82bd,
		0x461764550e06c889,
		0x716a48b3514e6979,
		0xdd0a322213c18ad7,
		0x6673a8ca0a05c4d7,
		0x2992ef333437f844,
		0xc4aaf7e8240b2aad,
		0x6ab0a1af1f41474f,
		0xb0bae400c226941d,
		0xe5f80c2eeeab48c6,
		0x3832c6a93a4024bf,
		0x280bd824fabe8368,
		0x66b626228321e5ff,
		0xe0bdfba5325a307e,
		0x3a5f65c6ef254e05,
		0x99ea12503cb02f94,
		0x5d01fd2db77d420b,
		0x6959bf5f36b2368d,
		0xd856e30c62b5f5be,
		0xe33233e1d8140e66,
		0xb78be619d415fa8d,
		0x4f943bb2cc63d3b,
		0x9b1460b290952d81,
		0x19205d794826740e,
		0x64617bd9d7a6a1ff,
		0x30442124b55ea76a,
		0xebbbc3b29d0333fc,
		0x39235a0fe359751c,
		0xf9629768891121aa,
		0x32052f53f366e05a,
		0x60cc5b412c925bc8,
		0xf8b7ecda1c0e5a9,
		0x195f036e170a2568,
		0xfe06d0381a9ca782,
		0x919d89e8b88eebbf,
		0xa47fb30148cf0d43,
		0x5c983e99d5f9fd56,
		0xe7492cdb6a1d42cd,
		0xf9cfe5c865b0cfd8,
		0x35b653367bbc3b99,
		0xb1d92f6f4d4e440b,
		0x737e1d5bd87ed9c0,
		0x7a880ca1498f8e17,
		0x687dae8494f9a3f7,
		0x6bae1989f441d5d7,
		0x71ad3fa5a9195c2e,
		0x16b3969779f5d03,
		0xd1bce2ac973f15b3,
		0xa114b1ee2ce0dcdd,
		0x270d75c11eb1b8d5,
		0xc48ffa087c0a7bc,
		0xaaf9dc48cda9848d,
		0x8111cf10ef6e584d,
		0x6736df6af40ee6f4,
		0x1a1a111682fbf98d,
		0xeb217658e1cb3b5d,
		0xcaf58a8b79de9dec,
		0x25d0ffd63c88d7a1,
		0x4c498cd871b7f176,
		0x4069a6156eb0cf3c,
		0xdf012f12edcdd867,
		0x7734c0ac8edb1689,
		0xed6960ac53dbc245,
		0x305e20da8868c661,
		0x5f0c7a3719956f95,
		0x66842bbe3b28895,
		0xb608bc9a31eac410,
		0xfcb17d5529503abd,
		0x829ae5cbc29b92ee,
		0x17f2f0027bc24f3a,
		0x435926c33d8f44cc,
		0x3ab899327098dbec,
		0xaf78573b27f8ead8,
		0xa8b334fabcf8dc60,
		0xcdf3b366a6a303db,
		0x8da9379dd62b34c8,
		0xb0ba511955f264a7,
		0x9d72e21a644f961d,
		0xfac28382e2e7e710,
		0xd457065f048410aa,
		0x1cae57d952563969,
		0x5a160a6223253e03,
		0x2c45df736d73c8bd,
		0x7f651ebc6ad9cec5,
		0x77a6be96c7d2e7e7,
		0x1721fb1dbfd6546a,
		0xf73f433ecff3c997,
		0xed1e80f680965bfe,
		0x6705ad67a3003b30,
		0xac21134efcadb9f7,
		0x4d2ba0a91d456ac,
		0x59da7b59434eb52b,
		0x26c1d070fd414b5f,
		0xed7079ddfce83d9a,
		0x9277d21f88e0fb7a,
		0xfae16b9a8d53d282,
		0xb08a0e2e405fdf7d,
		0x2ea20df44229d6ec,
		0x80e4634cd3612825,
		0xbe62e8aeba8f8a1a,
		0x4981209769c190fb,
		0xcec96ef14c7e1f65,
		0x73fe4457b47e7b53,
		0x1d66300677315c31,
		0xe26821290498c4cc,
		0xf6110248fd8fb1c5,
		0x30fd7fe32dbd8be3,
		0x534ec9b910a2bd72,
		0x8f9bfe878bbf7382,
		0x4f4eb5295c0c2193,
		0xdeb22f03a913be9e,
		0x40f716f8e2a8886c,
		0xc65007d0e386cdb1,
		0x9bdd26d92b143a14,
		0xf644b0b77ea44625,
		0x75f5a53f6b01993a,
		0xfe803e347bf41010,
		0x594bff5fa17bc360,
		0x3551edfb450373c7,
		0x898f9dad433615db,
		0x923d2406daa26d49,
		0x99e07faccbc33426,
		0x7389f9ff4470f807,
		0xdc2a25957c6df90b,
		0x33c6d8965ef3053f,
		0x51a8f07e838f1ab,
		0x91c5db369380274f,
		0xc37de65ac56b207e,
		0xfcc6d2375dde7f14,
		0xa4e6418bff505958,
		0x4b8b9f78e46953c4,
		0x255ab2e0f93cf278,
		0xdf650717af3d96ef,
		0x2caa21cba3aae2b2,
		0xce7e46c6f393daa4,
		0x1d5b3573f9997ac7,
		0x5280c556e850847d,
		0x32edc31bef920ad7,
		0xefaa6b0b08cf2c6,
		0x5151c99d97b111c5,
		0x35ccf4bf53d17590,
		0xa210d7bd8697b385,
		0xa9419f95738fbe61,
		0xdeccf93a1a4fdc90,
		0xd0ea3365b18e7a05,
		0x84122df6dcd31b9a,
		0x33040a2125cea5f5,
		0xfe18306a862f6d86,
		0xdb97c8392e5c4457,
		0xc3e0fa735e80e422,
		0x7d106ff36467a0c1,
		0xb9825eecc720a76d,
		0x7fefc6f771647081,
		0xf5df3f5b3977bf13,
		0x18fb22736d36f1e0,
		0xadc4637b4953abfc,
		0x174e66d3e17974bd,
		0xf1614c51df4db5db,
		0x6664ecde5717b293,
		0xd5bc5b6839265c26,
		0xf6ca9ce1af3f1832,
		0xca696789a9d506ea,
		0x7399c246c8f9d53,
		0xadf49049626417e2,
		0xbcd84af37d09ab91,
		0xbb41c177f3a3fa45,
		0x592becc814d55302,
		0xa88b4e65f6cfe5f7,
		0xa0a55e34ff879426,
		0x3c2ea6aa725b42b7,
		0x65ac4a407b1f9521,
		0xde63d53f7e88b556,
		0x18bc76696d015f40,
		0xd1363f2cd4c116a8,
		0x2fe859be19a48e4a,
		0x83d6099b1415e656,
		0x43f2cbc1a4ee6410,
		0xb2eca3d3421c533d,
		0xc52b98ea3f031f5d,
		0xfe57eb01da07e9d1,
		0xf9377883537a6031,
		0x364030c05dac7add,
		0x6815cb06b35d4404,
		0xceae2d4ce31894be,
		0xc602bcdf6062bf6a,
		0xc8e4bd8dcc6062e3,
		0x9c29e87b92a1a791,
		0x41e626b871ca9651,
		0x325c3d1fb8efbcd8,
		0x7dbbacf8e3419fb3,
		0x3602e72516bb7319,
		0x537a008ebd94d24b,
		0xda7714fc9d4d161d,
		0x1c8c73700e1b621b,
		0x2749b80937d6c939,
		0x76ee6abac5b14d33,
		0xf18d1e92cb6a8b5c,
		0x6ce9579d9291c721,
		0x60523c745a40e58,
		0x637f837fcc901757,
		0x2ff71b19661dc5b3,
		0x393ab586326ad16f,
		0xa0970ea30fe742b7,
		0x570222d7f27fe5ae,
		0x3b5806d43fd38629,
		0x129a0ad7420180c5,
		0x1c4726355778d52c,
		0x7c1459cf77656499,
		0xfe038a0932132069,
		0x4c4cc317a937483a,
		0xa333d24067e926ba,
		0x401d9b6ab37f6ef2,
		0x87ad0e491ebe4a2a,
		0xfc02f312e72d121d,
		0xfde715b3b99767b2,
		0xd111c342ba521c92,
		0x83b221b10879c617,
		0x6a1bf5c01fdf4277,
		0x166bfc0c3f5892ee,
		0x4608d556d7c57856,
		0x8d786857c95ece49,
		0x2d357445a1aca4ac,
		0x79620dae28ecd796,
		0x90e715dc0f2201c4,
		0x173b68b4c9f4b665,
		0x4e14d040ebac4eef,
		0xbd25960b4b892e,
		0x911a199db6f1989d,
		0xfe822d7c601fd2e0,
		0x9b4c1d58d8223a69,
		0x907c1891283843b0,
		0xf4868bf54061c4b2,
		0x17f8cd1fc24efd85,
		0xd44253f9af14c3aa,
		0x16d0da0cb911d43c,
		0x3c6a46615828e79a,
		0x498591c1138e11a5,
		0xcc0f26336d0d6141,
		0x4d3ebc873212309a,
		0x16bad7792d5c2c6a,
		0x474215a80b2bbd11,
		0x7159848abd8492fc,
		0x359341c50973685f,
		0x27512ee7bf784a4a,
		0x45228ea080f70447,
		0x880cab616500d50e,
		0x12fae93f9830d56e,
		0x6744ee64348d9acd,
		0x484dada28cd2a828,
		0x98491d0729e41863,
		0x2f15aac43c2863b0,
		0x5727a34d77a1da0f,
		0xa435cebef6a62eed,
		0xd211697d57b053b0,
		0x65aa757b68bd557,
		0xe3a1b7a2d8a3e06a,
		0x2adf64e67252a7a9,
		0xadadcb75cadee276,
		0x7934bc57ac8d97bf,
		0xccff0d0f412e0606,
		0x101a82aa3e8f3db9,
		0xb0f2498094b4575c,
		0xba2561d9ef26ed8a,
		0xfbcd1268fc3febe1,
		0x9aa10bb19eb152e0,
		0xf496217a601a6d72,
		0xe4be1e4f2fa91363,
		0x473a602bf3dd68eb,
		0xfe8ed2a48c26f4b5,
		0x20e94b1a00159476,
		0x93e1cb1c6af86ec7,
		0x4fcba3898f7442ba,
		0x5150c3a3d94891df,
		0x91cfce6c85b033ea,
		0x625e8a832a806491,
		0x28c97ba72e3ec0b2,
		0x8e172de217c71ea1,
		0x926b80216c732639,
		0x28b19431a649ae3d,
		0x57c039a6e95a3795,
		0xfbc354182fe52718,
		0x819dfd7c7d534cef,
		0xabb4093a619ed44f,
		0xe785b7ac6f656745,
		0xb647b4588b2f942f,
		0x64cf870a14c72d27,
		0x6d4a4a2a0ba9b37e,
		0x78bfb0427d7ce6b0,
		0x8dcc72b8bfc79ac6,
		0x1c14d915d5e76c99,
		0xaf48ddea6f096d79,
		0x51b39b67aa130d8,
		0x1aeeb39d4def06de,
		0xd678092ffedfdd27,
		0x8f54787f325111d3,
		0xf2ca2e827beaa6bc,
		0x339d134099e98545,
		0x1f6a8a7b33942e43,
		0x952c8065dbef669a,
		0xe066aeb6690147f7,
		0xed25aa92cf58ebb6,
		0x7601edce215ef521,
		0xed1c5b396abd9434,
		0x4fd1e407535de9d5,
		0xccc8315a0d4d1441,
		0x85753e250bb86976,
		0xf232e469378761c3,
		0x81d691b8e9aef3c6,
		0x224a2f9cab0ad0e,
		0x978f3d3e50007f4e,
		0xd3713e6a6c0cbe60,
		0xcce8f1eadd41f80d,
		0x34bda028a97d469,
		0x90e242fdf0f59183,
		0x4d749754fbc5f092,
		0x4399f5b7851cc87b,
		0xcb921a5f25f6c5d7,
		0x120bf5d0162101,
		0x1304cc2aa352735a,
		0xf7236c5d0d5d417b,
		0xc31b320fc1654306,
		0xb468c6b23f3fb4e7,
		0xb5985b5bfaca4166,
		0x898285a1cd2f8375,
		0xa13493da372aa7c9,
		0x15c80c09c12634e7,
		0x9b765c5cc9d438bd,
		0xee7da816a9201dcb,
		0x92e269f73b5a248e,
		0xa8086c5de81400ce,
		0xe0053901853d42be,
		0x821df32c012f433e,
		0x17a6d69ca37387c7,
		0x2b10044bfba3501f,
		0x8dfd262afc2e8515,
		0xd68c2c7b60226371,
		0xe81ac114e4416774,
		0x5896d60061ebc471,
		0xa996e3147811dbd1,
		0xa819c7b80ecb3661,
		0x982ad71b38afbc01,
		0xab152b65aa17b7fe,
		0x4582bc282ef187ef,
		0xab5a17fe8d9bc669,
		0x83664fa9cb0284b7,
		0x234c4b0091968f52,
		0x8ab5f51805688d37,
		0xe9e11186e0c53eda,
		0x10df37ef1de2eccf,
		0x780f1b0d52db968f,
		0x50bd4ff292872cd5,
		0x51e681c265f5ad0,
		0x842c49660a527566,
		0x6e56ee026e9eda87,
		0x4cf39e40d8c80393,
		0x13e466df371f7e1f,
		0xf2ce1799f38e028e,
		0x833c8db7adc6ff0e,
		0xc6e189abc2ec98f,
		0xafebb3721283fec5,
		0xb49bc1eb5cc17bdc,
		0xf1d02e818f5e4488,
		0xe5e9d5b41a1dd815,
		0xce8aca6573b1bfe5,
		0x9b0a5d70e268b1d5,
		0xf3c0503a8358f4de,
		0x2681605dd755669d,
		0xea265ca7601efc70,
		0xa93747f0a159439f,
		0x62a86ede78a23e50,
		0xac8a18935c3d063c,
		0x729c0a298f5059f5,
		0xbbf195e5b54399f4,
		0x38aa9d551f968900,
		0x3b3e700c58778caa,
		0x68e6e33c4443957a,
		0x7c56fc13eb269815,
		0xaf7daca39711804a,
		0x50fde6d10f9544b3,
		0xf3d37159f6f6c03d,
		0x82d298f5c1a71685,
		0x478661ac54c5002c,
		0x6053768e1a324ae0,
		0xde8fb4a7e56707ea,
		0xaa2809301faa8cf4,
		0x690a8d49fedd0722,
		0xe17c481b9c217de9,
		0x60d1d8a2b57288e3,
		0x149adfaadc6b0886,
		0xa3c18b6eb79cd5fa,
		0x5774e3a091af5f58,
		0x2acca57ff30e5712,
		0x94454d67367c4b0c,
		0x581b2985ac2df5ca,
		0x71618e50744f3e70,
		0x270a7f3bd9a94ae6,
		0x3ef81af9bb36cd7b,
		0x8a4a2592875254aa,
		0x704ac6086fbb414a,
		0xda774d5d3f57414d,
		0xe20d3358b918ae9e,
		0x934a6b9f7b91e247,
		0xf91649cde87ec42c,
		0x248cec5f9b6ced30,
		0x56791809fd8d64ba,
		0xf502b2765c1395f,
		0x6b04ec973d75aa7f,
		0xb0339f2794bb26f,
		0x4c524636efbaea49,
		0x6bbf3876e9738748,
		0xf686524e754e9e24,
		0x8dafa05a42d19cd3,
		0xc5f069ab2434008e,
		0x4fd64cc713cba76,
		0xdbf93450c881ed5f,
		0x492e278ebabb59a2,
		0x993fddfde4542642,
		0xecde68a72c8d4e52,
		0xe0760b3074c311fd,
		0x68dc0e7e06528707,
		0x52b50edf49c0fdc7,
		0xb2bd4185c138f412,
		0x431496d7e1d86f3,
		0xa4e605b037e26c44,
		0x58236ae1f0aca2b5,
		0x26c72c420fc314d8,
		0x20134e982ab99a2b,
		0x544b59b8b211374b,
		0x1301c42f3a14d993,
		0x52a6ea740f763b0f,
		0xf209d70c2bebf119,
		0xac66a4ebc2aa1be,
		0x683713ed35878788,
		0x2b5578acec06b80c,
		0x86428efa11c45b36,
		0xb49010adb17d291e,
		0x73b686bd8664b6be,
		0x6d28ebf57b6884cc,
		0x9712091230ff58d9,
		0xc9c91f74c38b286,
		0x776310ac41dc008e,
		0x2f3739df0bf6a88e,
		0x5792dc62b94db675,
		0x5715910d024b06af,
		0xeb1dd745458da08,
		0xfce7b07ccfa851a7,
		0xc305f1e983ac368,
		0x485aa9519ac00bb0,
		0xa5354f6589fb0ea0,
		0x32fee02dfdbf4454,
		0x4d1ddc304bbefaaa,
		0x789a270a1737e57e,
		0x9f3072f4b1ed8156,
		0x4de3c00e89058120,
		0xb00a02529e0a86fa,
		0x539f6f0edd845d9a,
		0x85e578fe15a8c001,
		0xa12c8e1a72cce7d8,
		0xc6908abbc2b1828,
		0xcf70090774cbb38c,
		0x3b636a6977b45d4a,
		0xf0a731b220680b57,
		0x18973929f51443a8,
		0xe93e1fbe7eadabe,
		0x8233730f0a6dfa02,
		0x66e50b6919b0ab74,
		0xb1aba87c97fd08a2,
		0xd4dffc1fbc117ad6,
		0x6f7fa65724b96e6a,
		0x4bd5800dee92e0fa,
		0xe18a959db6256da,
		0xe53a291bc66df487,
		0xb7ec306a08651806,
		0x1847a6b80d2821e1,
		0xda50391283b14d39,
		0xacc4d3cd7cceb97a,
		0x57f70185165b7bc6,
		0x302b6d597c3aaba7,
		0xa47f32d037eab51e,
		0xe1509b4408abc559,
		0x4f30a1d7c2934157,
		0x2ad03e6c60b650b2,
		0x334d9c337b0a9064,
		0xc7f442821e7aac12,
		0xbcdeb09298694cdd,
		0xe42402389f8f0fb4,
		0xe5de56af539df727,
		0x7017f9b2101ee240,
		0x1ee5e68d5b10001d,
		0x436229051836387a,
		0xcd532d6d6ec38fb7,
		0x30a66606fdf38272,
		0xfdaa2ab9cf798496,
		0x4277b4adec70e7df,
		0x72cfc30256e0eaef,
		0x3c3359fd9bd34917,
		0xb7aa89598856efb0,
		0xf72226f8bf299ef5,
		0x258c499275a4356f,
		0x999a56bfc7f20d76,
		0x2b3e7432e20c18b,
		0x2d1251332f760cb5,
		0x7420e0eea62157c5,
		0xe85c895aa27cec3d,
		0x27a0545c7020d57c,
		0xc68638a65b4fff0d,
		0xfda473983a4ea747,
		0xd19fe65fb4c06062,
		0x6b1374e050ee15e4,
		0x80065ecd49bc4bef,
		0x4ee655954bc838de,
		0xe8fb777504a72299,
		0x86b652ea70f4bdde,
		0xcdc9e0fbde7e4f33,
		0x352c0a50cd3ac56,
		0x4b8605d368be75dc,
		0x1ac9ea8129efbc37,
		0x470325faa99f39c5,
		0x25dd7ef9adccf7a1,
		0x5ae2c7a03e965816,
		0xf733d2df59dacc7d,
		0xa05bbf0a8a1a7a70,
		0xe8aa3f102846ef5f,
		0xc9b85ec49ae71789,
		0xb904c14ed1cb1936,
		0x5ae618230b5f0444,
		0x97987fe47b5d7467,
		0xabb3aca8865ca761,
		0x38bfdf29d4508228,
		0x353654f408353330,
		0xeb7e92930ae4ef0d,
		0xec50f1a7ca526b96,
		0xd5e2dc08b5697544,
		0x24c7fd69d5ec32df,
		0x6f7e1095568b8620,
		0x6ed9c16ca13b3c8,
		0xe676ef460002130f,
		0xa3a01a3992c4b430,
		0xe2130406c3b1f202,
		0xa8f7263e2aedcd20,
		0xc45d71ef2e35f507,
		0x37155594021da7ba,
		0x22dc94f19de73159,
		0x7969fc6bffc5443f,
		0x97def7e44faa6bfe,
		0x8b940f5e8931d71f,
		0xd95b1dd3f1a3fdd5,
		0x1c83bfdca615701a,
		0xb7fcb56279ceca6b,
		0xd84f8950f20dcd0,
		0xb03343698de3cbe0,
		0xf64565d448d71f71,
		0xda52b4676e0ae662,
		0xda39c2c05b4ffb91,
		0xb35e2560421f6a85,
		0x1a7b108d48ac3646,
		0xc4e264dc390d79ed,
		0xa10727dfd9813256,
		0x40d23154e720e4f7,
		0xd9fa7cd7e313e119,
		0xcbf29107859e6013,
		0xc357338553d940b7,
		0x2641b7ab0bdfcbaa,
		0xd12f2b6060533ae7,
		0xd0435aa626411c56,
		0x44af4a488a9cec72,
		0xb934232ea8fa5696,
		0x760a8b12072b572d,
		0xfab18f9942cfa9b3,
		0x5676834c1fe84d16,
		0x9c54e4fddb353236,
		0xab49edfc9551f293,
		0x567f1fb45a871d,
		0x32a967c873998834,
		0x99240aad380ef8d1,
		0x7f66cbd432859a64,
		0x4cdc8a4658166822,
		0x984e3984a5766492,
		0xa3b2d0a3d64d3d94,
		0x177f667172f2affc,
		0xb1a90607a73a303f,
		0xe600b6c36427f878,
		0xf758f9834cb7f466,
		0x8ee9fce4a3f36449,
		0xcb8f11533e7da347,
		0xe7cf647794dabd7c,
		0xc9d92cfe6110806,
		0xea1335fa9145a1ec,
		0xbc6c29821d094552,
		0x37b9d6a858cc8bc3,
		0xf24e4c694929893e,
		0x55d025ce2d7d0004,
		0xccdc69acccf4267b,
		0xc491c04340c222eb,
		0xba50f75ecec9befb,
		0x1ec7bd85b8fe3bb9,
		0xe4de66498c59ae8a,
		0x38aa9e912712c889,
		0xcee0e43c5cc31566,
		0x72b69aa708fc7ed,
		0xdff70b7f6fa96679,
		0xd6d71d82112aadc3,
		0x365177892cb78531,
		0xa54852b39de4f72c,
		0x11dd5832bf16dd59,
		0x248a0f3369c97097,
		0xa14cec0260e26792,
		0x3517616ff142bed1,
		0x9b693ad39dab7636,
		0x739dff825e994434,
		0x67711e7356098c9,
		0xa81f8515d2fdf458,
		0xdac2908113fe568e,
		0xe99944ebc6e2806a,
		0x671728ca5b030975,
		0xfdad20edb2b4a789,
		0xedc6e466bd0369d2,
		0x88b5d469821f7e1b,
		0x2eabf94049a522a5,
		0x247794b7a2f5a8e3,
		0x278942bdbe02c649,
		0xbe5a9a9196ab99c1,
		0x75955060866da1b5,
		0xdedcfa149273c0b5,
		0xdbeb7a57758f3867,
		0x7b9053347a2c8d5a,
		0xa059b3f2eed338a5,
		0x59401a46ded3b79f,
		0x38044ba56a6d19fb,
		0x72c7221b4e77e779,
		0x526df3491a3a34da,
		0xc3b31184ba16c0c2,
		0xd94c7144488624af,
		0xcf966ee4dc373f91,
		0x62049e65dd416266,
		0x7c2adccb925bf8f,
		0xd5fa5c22ed4ef8e1,
		0xd00134ebd11f2cd1,
		0xfbdf81767bed3634,
		0x62e8cc8ff66b6e26,
		0x3a72d6bcd4f2dcf7,
		0xf1cd45b1b46a86ed,
		0x1271f98e0938bb9a,
		0x82e6927e83dc31fa,
		0x7b9b0e0acb67b92d,
		0x6df503e397b2e701,
		0x93888f6fb561e0c3,
		0x393fb6069a40291,
		0x967a7d894cc0754d,
		0x6e298996ad866333,
		0x5ff3cf5559d6ab46,
		0xd0d70508c40349f5,
		0xc64c66c0dd426b33,
		0x8fea340ee35c64dd,
		0xf9cd381eb3060005,
		0xfcc37c2799fc0b11,
		0x6a37c91d65b489fa,
		0x57231000fa0a0c9d,
		0x55f6e292c6703f9a,
		0xd0508ffbfa55a7a6,
		0x885db543276bdac8,
		0xc26dbe6a26b0e704,
		0x21f884874ebd709e,
		0x711f0b6c8f732220,
		0x354d0a361eaee195,
		0x721344d8d30b006a,
		0xa0e090a0d3a56f07,
		0x16b3d5d823a4952b,
		0x59d7874bc9eae7b6,
		0x9bbb32710076455f,
		0xd4fb22242ffabafd,
		0xe1d4ac6770be1d89,
		0xb259cedebc73dc8a,
		0x35faaa3b4246ab69,
		0x5d26addefdaee89,
		0x8e7ec350da0f3545,
		0xd0f316eed9f8fc79,
		0x98b2a52c9bf291b2,
		0xe4d294a8aca6a314,
		0x25bd554e6aa7673c,
		0xcfde5dcba5be2a6c,
		0xb5e01fb48d2d2107,
		0xe1caf28948028536,
		0xd434aa0a26f3ee9b,
		0xd17723381641b8f6,
		0xfe73bd1f3f3768a2,
		0x1cc6b1abd08d67e9,
		0x247e328371a28de0,
		0x502e7942e5a9104a,
		0x6a030fd242eb4502,
		0xa2ffe02744014ce8,
		0x59290763b18fe04e,
		0xcf14241564271436,
		0xb0fb73c3c1503aff,
		0x94e27c622f82137a,
		0x747a5b406ac3e1f0,
		0x9a914e96a732031d,
		0x59f68c6c8f078835,
		0x809d012c73eb4724,
		0x5b3c3b73e1b37d74,
		0xdde60ef3ba49cdf7,
		0x87a14e1f9c761986,
		0x4109b960604522af,
		0x122d0e1ed0eb6bb9,
		0xadc0d29e80bfe33,
		0xa25b1b44f5fc8e4e,
		0xbab85d8a9b793f20,
		0x825f4cbced0e7d1e,
		0x2d6ae8807acb37ea,
		0x8234420adce2e39,
		0x4a8ad4da6b804807,
		0x1e19f9bc215e5245,
		0x1d6f4848a916dd5e,
		0x9ac40dfcdc2d39cc,
		0x9f3524e3086155ec,
		0x861fffc43124b2ef,
		0xe640e3b756396372,
		0x41cb0f0c5e149669,
		0xe0bd37e1192e4205,
		0x62917d3858f4ce47,
		0xa36e7eb4d855820a,
		0x204b90255a3bf724,
		0x66ee83a0175535bc,
		0x2c14ce7c6b0c1423,
		0x85d9495fa514f70d,
		0x5a4fe45ead874dbc,
		0xe72248dcb8cfc863,
		0xfc21ff2932ed98cd,
		0xcbba1edd735b5cad,
		0x91ddc32809679bf5,
		0x192cdf2c7631ea1f,
		0xbbc451ddf2ea286f,
		0xad9e80cae2397a64,
		0x6918f0119b95d0e5,
		0xa40379017a27d70a,
		0x1aaeddb600e61e1,
		0x15afd93cbd7adda9,
		0x156719bc2b757ff4,
		0x13d9a59e2b2df49d,
		0x9a490986eaddf0a,
		0xef9a350f0b3eb6b4,
		0x5de7f6295ba4fa4d,
		0x7f37fd087c3fdb49,
		0xa9fe3749d6f3f209,
		0x50912ac036d9bfb,
		0x982cb4d726a441f8,
		0x8ca8d8af59b872d0,
		0x7f8adfb0ceeade8a,
		0xdad390ec742be44,
		0xa637944d0045be5b,
		0x3569a3b3af807061,
		0x9599da8eae14511d,
		0xc333e8d19589b01a,
		0xfb9b524a20b571e1,
		0xbd9dc8b37ce5c3e1,
		0x142333005fa389ac,
		0x1368bc37cd5bcce1,
		0x16094907ad6ecf73,
		0xb32c90dbba4c1130,
		0x82761d97c1747dd0,
		0x599f9f267ae3444d,
		0x79ad3382994852e1,
		0x2511f06d9ef06e54,
		0xb35e6ab7d5bbddae,
		0xfca9fa83a2988732,
		0x7d4350f0394ac3ba,
		0xa52a9527bb176ea3,
		0xb49fa0ceb2aa8353,
		0x1f62e504d1468cc0,
		0xe1a77bfccce6efc3,
		0x776cdff4dc0d6797,
		0x56612e39b652c1f2,
		0x5f096a29294eda04,
		0x7978abc3aabd8b23,
		0x79dd875e0485b979,
		0x8a98aa4d5735d778,
		0xcca43940f69d2388,
		0xb2d4b156f144f93a,
		0xbd528a676e9a862,
		0x2a394939c8e7ec5e,
		0xb1da900c6efe4abc,
		0x9869af479de4c034,
		0x78dbdfb88ac7c1db,
		0x18cb169143088041,
		0xe69e5461c51a3e13,
		0x5389fa16ea98183c,
		0xed7c80d1be1ea520,
		0x87246fc359758ced,
		0xab323eba95fae4ed,
		0xbc4c0dde7f8a1828,
		0xdb739f7955610b1a,
		0xecd8c68c3434cc,
		0x138c2eb88c477f44,
		0x28a65f96727aae41,
		0xdee879f2cf5629d,
		0x684f0c90ef20070f,
		0xa24a819ef5621800,
		0x8d0054f870e4fdcb,
		0x99e8c6e695b600b,
		0x50b705245891f7c3,
		0xc02eed3a6e58e51a,
		0x443d64e95443606c,
		0xca24959cfbd2d120,
		0xe072609ea48815bc,
		0xbcc715026590315b,
		0x3e76df24d7aa5938,
		0xd8ff04940d9b79ae,
		0x54474ce790059bcd,
		0x278390dd6aa70e81,
		0xf4df619fe35414e4,
		0x757d71270264e615,
		0x1e8a373699c11b23,
		0xef68c82046e67dd6,
		0xe280006599972620,
		0x234e095183b0f4d6,
		0xe3b7560ed9839749,
		0xcd5ec4086572332e,
		0xc41c0d4aaa279108,
		0x4b9cd6126bc16a6d,
		0x4a7252734f3e3dd0,
		0xb3132df156cc103a,
		0xf9e4abbf7b64464a,
		0xf936df27fb3c47b7,
		0x9142960873f6d71a,
		0x4ba6aa3235cdb10d,
		0x3237a2e765ba7766,
		0xd62f0b94c8e99e54,
		0x26b682f90a3ae41b,
		0x40ad5e82072b6f81,
		0xd0198101f5484000,
		0xe4fac60ba11c332,
		0x472d0b0a95ef9d38,
		0x8512557aec5a3d8f,
		0xef83169d3efd4de9,
		0x53fe89283e7a7676,
		0x2f50933053d69fc4,
		0x76f5e4362e2e53a2,
		0x8676fdccce28874a,
		0x2737764c1fb1f821,
		0x4a6f70afc066ab55,
		0x27f8e151e310fca4,
		0xd606960ccbe85161,
		0xcce51d7ddd270a32,
		0xb4235999794875c2,
		0x580084e358e884,
		0x2159d5e6dc8586d7,
		0x87bd54d8599b3ba4,
		0x3e9ade6a2181664,
		0x5e6e140406d97623,
		0x511545d5aa0080a2,
		0xf49d78ed219aac57,
		0xbece1f9c90b8ea87,
		0x1c741cac36a2c514,
		0x7453c141047db967,
		0xd751832a5037eba2,
		0x71370a3f30ada1f7,
		0x7c01cf2dcb408631,
		0x1052a4fbdccc0fa1,
		0x13d525c9df3fb6c,
		0xa3aa8dbfee760c55,
		0xc0288d200f5155cf,
		0x79f4bcd12af567c3,
		0x8160d163bb548755,
		0x5cf2995fb69fd2df,
		0xcc98ed01396639df,
		0xad95f1d9cfc8256e,
		0xa3df27d9fbdbfb9d,
		0x83e5f5dda4d52929,
		0x9adc05043009f55b,
		0xdfe8329dfde1c001,
		0x9980ccdd5298e6a2,
		0x636a7bd134f6ef56,
		0xef5ff780c4be6ba4,
		0x290d71dc77a56d16,
		0x6d65db9ff58de1e6,
		0x944b063b3805a696,
		0xce468ca2cce33008,
		0x5ba1ccb840f80f48,
		0x28ddce36fc9ad268,
		0x4f77ef254d507a21,
		0xce9b4057fadf3ab,
		0xb518bc68298730e6,
		0xd2eb5b8e2ec665b0,
		0xe1583303a4f87344,
		0x9d5a0df4fbe1bed5,
		0x2ba9bc03ec8cfd07,
		0x479ed880a96ca669,
		0xcedf96338324771a,
		0x312f4fc2da41ffaa,
		0xa0eb9cf23b5e1ed8,
		0xf8f88f975dc3f539,
		0x4a37e185d0e96e0f,
		0xf829654a5c0b46f9,
		0x3909cca7a7f8c7fb,
		0x4c2e1d66ceb45105,
		0xaffaa19e1db8af87,
		0x9ec498246bd18c76,
		0x21d51558edc089da,
		0xe8984112cd1b1561,
		0x7de1d2cf54b0c0e1,
		0xa06729aed50bfb9d,
		0xcf19f733e5db19e1,
		0x70edf2624ab777cd,
		0x46685becad10e078,
		0x825e0f6add46785,
		0x66d4af3b15f70de4,
		0xc676614b0666b21,
		0x282a916c864f5cb7,
		0x2707283a3f512167,
		0x37ff3afda7461623,
		0xc767eb1205e4ca86,
		0x46b359aecc4ea25b,
		0x67fbbb797a16dbb1,
		0x64fd4ba57122290e,
		0x8acc2a8ae59d8fac,
		0x64a49298599acc67,
		0xedf00de67177ce30,
		0x1ea9d8d7e76d2d2c,
		0x363fcac323f70eb2,
		0x19e6e3ec8a9712eb,
		0xca541e96b0961f09,
		0x4d8fd34c2822ec46,
		0x2fdd56a50b32f705,
		0xaac2fcf251e3fd3,
		0xb0c600299e57045c,
		0xd951ec589e909e38,
		0x4dc8414390cae508,
		0x537ef9d5e2321344,
		0xa57bc21fd31aa2dc,
		0xa3a60df564183750,
		0xbe69a5ce2e369fb6,
		0x7744601f4c053ec8,
		0x3838452af42f2612,
		0xd4f0dad7115a54e9,
		0x629cf68d8009a624,
		0x2211c8fa34cb98cb,
		0x8040b19e2213db83,
		0xb2a86d3ba2384fd,
		0x4b85cec4f93f0dab,
		0xc8d212d21ea6845d,
		0x5b271a03a4fe2be0,
		0xff4f671319ad8434,
		0x8e615a919d5afa96,
		0xea7f47c53161160a,
		0x33273930b13c6efc,
		0x98eedda27fb59c3c,
		0x188dc5e92e939677,
		0x9dbd0fa0911430f1,
		0x5b3dcf3fa75dfd2b,
		0x3f03846febdb275d,
		0x20cc24faea9e9cf6,
		0x854f3ac66199ff5d,
		0x31169ac99d341e6f,
		0xa85daed3c0bc1bbe,
		0x64633711e71ba5dd,
		0x530e79978dc73334,
		0x636f2ee6e20aef13,
		0xf6220f8b6d9a58fb,
		0x425db8fa32141a7b,
		0xac7c210f4b02be95,
		0x5fe8cfbe197a7754,
		0xfff7d40c79420ea,
		0x5f8bab9ef4697b77,
		0xaf6fe54e45b23fe8,
		0xce79456ccc70bbce,
		0x645ef680f48f1c00,
		0xa4dfac46e2028595,
		0x6bece4c41effc5df,
		0xd316df886442641f,
		0xa4f6ff994edd2a6,
		0x30281ae3cc49abe4,
		0x39acb7b663dea974,
		0x5e8829b01a7c06fb,
		0x87bdb08cf027f13e,
		0xdfa5ede784e802f6,
		0x46d03d55711c38cc,
		0xa55a961fc9788306,
		0xbf09ded495a2e57a,
		0xcd601b29a639cc16,
		0x2193ce026bfd1085,
		0x25ba27f3f225be13,
		0x6f685be82f64f2fe,
		0xec8454108229c450,
		0x6e79d8d205447a44,
		0x9ed7b6a96b9ccd68,
		0xae7134b3b7f8ee37,
		0x66963de0e5ebcc02,
		0x29c8dcd0d17c423f,
		0xfb8482c827eb90bc,
	}

	var s sfc64
	s.init(15793235383387715774, 12390638538380655177, 2361836109651742017)

	for i, u := range golden {
		v := s.next64()
		if v != u {
			t.Fatalf("got %v instead of %v at step %v", v, u, i)
		}
	}
}