DK64 RNG V2

test(0x2A8E551C, 0xABDE9A6D);
test(0xA9BD537A, 0x548A0933);
test(0x7366E6CD, 0x7E8BFE6A);
test(0x5A24B449, 0x62A6F5B6);
test(0xE9A1D34, 0xF8D893A5);
test(0x9B913722, 0x613C48BB);
test(0xC887910F, 0x6136DFC4);
test(0xCD779AEF, 0x3F27A024);
test(0x85170A2E, 0x43FA6857);
test(0x4D4C9A99, 0x51EF07C6);
test(0xE03FC07F, 0xF98C6874);
test(0xBA07740E, 0x553008B7);
test(0xF4B5E96B, 0xF8272470);
test(0xECFBD9F7, 0x57FBC38C);
test(0x8A131426, 0xB777F9EF);
test(0x247048E0, 0x6F95F361);
test(0x764AEC95, 0x2F77B992);
test(0x3C3E787C, 0x6F6DA64D);
test(0xDCBBB977, 0x294B1D0C);
test(0x35A86B50, 0x5BA4D311);
test(0xC7978F2F, 0xB2368764);
test(0xD7F9AFF3, 0xDDF62958);
test(0xFF2DFE5B, 0xC50054A0);
test(0xFFEBFFD7, 0x5A35EFEC);
test(0x9C8B3916, 0xE231FA1F);
test(0x6476C8ED, 0xAB423A0A);
test(0x4426884D, 0xA41431EA);
test(0x4C1A9835, 0x6C6830B2);
test(0xD713AE27, 0xEB29FC);
test(0x6140C28, 0x6A534E09);
test(0x6038C071, 0xCCFA43BE);
test(0x17B62F6C, 0xD4BE107D);
test(0xAD5D5ABA, 0xD713E773);
test(0xE641CC8, 0x57DEE629);
test(0x2400480, 0xA673A81);
test(0xEB35D66B, 0xE8AC2D70);
test(0x46A08D41, 0xD6A40A4E);
test(0x45DC8BB9, 0xF6A80666);
test(0x96812D02, 0x49D4051B);
test(0xB0F161E2, 0xC410F47B);
test(0xD66DACDB, 0x96CF3120);
test(0xB9FB73F6, 0xBFA3377F);
test(0x7C24F849, 0x71A269B6);
test(0x34926924, 0x28668ED5);
test(0xBE657CCA, 0x6CEF8243);
test(0x77ECEFD9, 0xDE20DC06);
test(0x753CEA79, 0xA975626);
test(0xF2FBE5F7, 0x1E645F8C);
test(0xBE937D26, 0xFF8B4EEF);
test(0x1BB83770, 0xC745F0B1);
test(0x995B32B6, 0x28CA673F);
test(0x629EC53D, 0x5B9F6A1A);
test(0xBC297852, 0xE9B7382B);
test(0x9BE537CA, 0x78160143);
test(0x92892512, 0x29417DEB);
test(0x5C80B901, 0x1F56C30E);
test(0x26CC4D98, 0x2C45C0B9);
test(0x39A07340, 0x7C375A41);
test(0x6CD6D9AD, 0xB58993CA);
test(0xCD899B13, 0x1F7AD9F8);
test(0x846108C2, 0xBD22ADDB);
test(0xFD6FFADF, 0x640E9F54);
test(0xC06580CB, 0x6471450);
test(0x5876B0ED, 0x1E71020A);
test(0x2B425684, 0x6F1EDCB5);
test(0xA845508A, 0xB14DC303);
test(0x7DECFBD9, 0xA4897806);
test(0x10442088, 0xB5DF96E9);
test(0xB3236646, 0x7553E58F);
test(0x813B0276, 0xD5B073FF);
test(0x25C24B84, 0x8E944DB5);
test(0xF317E62F, 0xD0ACF264);
test(0x243E487C, 0x55CB364D);
test(0xE7B5CF6B, 0x9F99D270);
test(0xB16162C2, 0x8D333FDB);
test(0x4D949B29, 0xD33BEF16);
test(0x6D32DA65, 0xDAC12D22);
test(0x12042408, 0xDA68C469);
test(0xF773EEE7, 0x24D4F3BC);
test(0xAEE55DCA, 0x970BEF43);
test(0x273A4E74, 0x31D093E5);
test(0xE093C127, 0x106620FC);
test(0xD259A4B3, 0xC3F41718);
test(0x95012A02, 0x9839DE1B);
test(0x30FC61F8, 0x77D20999);
test(0x2D8A5B14, 0x87E3F805);
test(0xD133A267, 0x73FA113C);
test(0x79AAF355, 0x3F129152);
test(0x27D24FA4, 0x42C84355);
test(0x81010202, 0xAD87D61B);
test(0xBB6576CA, 0x9BB3443);
test(0x67D4CFA9, 0xF7459996);
test(0x47928F25, 0x493BDAE2);
test(0x91992332, 0x7A41258B);
test(0xAEA75D4E, 0xE7B460F7);
test(0xC17F82FF, 0xC0B448F4);
test(0xB8CF719E, 0x24E2C907);
test(0x79ACF359, 0x2AA0986);
test(0x1F7E3EFC, 0xCE0DBACD);
test(0x5E28BC51, 0x18C64E1E);
test(0xD5ADAB5B, 0x3E021DA0);
test(0x8FC11F8, 0xA26DF999);
test(0x845B08B6, 0x725C453F);
test(0xA9B95372, 0xCD5B18CB);
test(0x6D1CDA39, 0x733F02E6);
test(0x1ACC3598, 0x9F7488B9);
test(0xF307E60F, 0xB3F130C4);
test(0xEBDFD7BF, 0xD9F716B4);
test(0x8CAF195E, 0xE716CDC7);
test(0x5892B125, 0xD0B994E2);
test(0x78C2F185, 0x9E7019C2);
test(0x5FFEBFFD, 0xA4D1A5DA);
test(0xD8D3B1A7, 0x2574577C);
test(0x511EA23D, 0xEE43A31A);
test(0x74C2E985, 0x6F7FB1C2);
test(0x459A8B35, 0xC02187B2);
test(0xFBA3F747, 0xA9F8A09C);
test(0x4C3C9879, 0x69772C26);
test(0xBD3B7A76, 0x95C68BFF);
test(0x91392272, 0xCDDA9BCB);
test(0x322C6458, 0x99C16879);
test(0xC2E585CB, 0x839D5550);
test(0xD6E5ADCB, 0x6E4F5D50);
test(0x65CCCB99, 0x516F84C6);
test(0x803B0076, 0x9F459FF);
test(0xE3E1C7C3, 0x3FADBEE8);
test(0x7080E10, 0xA08296D1);
test(0xFE9FFD3F, 0x85FDFE34);
test(0x9295252A, 0xBECE4F23);
test(0xCEE19DC, 0x783A182D);
test(0x8805100A, 0xC6DB7C83);
test(0x31AE635C, 0x777AD3AD);
test(0xD7D1AFA3, 0x9620C548);
test(0xA07340E6, 0xE608BFAF);
test(0xA85950B2, 0x5538750B);
test(0x32A6654C, 0x34D90CDD);
test(0xD797AF2F, 0x6DF82764);
test(0x1F923F24, 0x71F86CD5);
test(0x1C243848, 0x9394BA9);
test(0xBE3D7C7A, 0x251A1E33);
test(0x5066A0CD, 0xA3D4706A);
test(0xF0E9E1D3, 0xA698F1B8);
test(0x493C9279, 0x642DE26);
test(0x5618AC31, 0x9E29BC7E);
test(0x23E847D0, 0x7B5A0591);
test(0xBBAB7756, 0xC770A35F);
test(0xD5A9AB53, 0xB6D32D38);
test(0xB53F6A7E, 0xBF14AC67);
test(0x99A93352, 0xF4DDB72B);
test(0xBF497E92, 0x8663096B);
test(0x40B28165, 0xF08EA822);
test(0x24FC49F8, 0xEB00D199);
test(0x6A00D4, 0x7E5BE2C5);
test(0xF9E1F3C, 0x4BC39E0D);
test(0xCE659CCB, 0x2A908050);
test(0xDA45B48B, 0x7DEA3510);
test(0x35E86BD0, 0xCE93D991);
test(0x1D983B30, 0x2546A171);
test(0x8D9F1B3E, 0x96172627);
test(0x3A6074C, 0xCD5046DD);
test(0x1D203A40, 0x4DC67541);
test(0x745AE8B5, 0xB4BB4732);
test(0xC0918123, 0xD54B68C8);
test(0xAFA75F4E, 0xB3707AF7);
test(0x8B1F163E, 0x18C0E527);
test(0x12EA25D4, 0xB773C3C5);
test(0x6FCCDF99, 0x46C888C6);
test(0x33B26764, 0x9621F815);
test(0xB23B6476, 0xD4B16DFF);
test(0x4A5494A9, 0xFD189A96);
test(0x6FCADF95, 0x83311092);
test(0x3B807700, 0xDA380B01);
test(0x93EF27DE, 0xEC2A8A47);
test(0x885710AE, 0x1A1DBCD7);
test(0xA0F141E2, 0x84F547B);
test(0x29025204, 0x64B7A235);
test(0x810F021E, 0x6AC1F87);
test(0xF689ED13, 0xC09B03F8);
test(0xB21D643A, 0x5ED162F3);
test(0xECBFD97F, 0x6C3BAD74);
test(0x30A06140, 0x529A7041);
test(0x5600AC01, 0x73101A0E);
test(0x2DA85B50, 0xFDC40311);
test(0xFEC3FD87, 0x46A471DC);
test(0x751AEA35, 0xD885AB2);
test(0xFF7DFEFB, 0x54AB1CC0);
test(0x18F631EC, 0x136930FD);
test(0xA00B4016, 0x2B44551F);
test(0x182A3054, 0x250F4C45);
test(0x700EE01D, 0x7D4F077A);
test(0xEE77DCEF, 0x8266FA24);
test(0xC6618CC, 0x83FE2A5D);
test(0xE505CA0B, 0xCC104C90);
test(0x4A3E947D, 0x9596705A);
test(0x3A307460, 0x7ED128E1);
test(0xC4E189C3, 0x93E698E8);
test(0x6924D249, 0x52AC7BB6);
test(0x33B46768, 0x59B97049);
test(0xA0C94192, 0xC079F06B);
test(0x9AA93552, 0xC099D12B);
test(0x739CE739, 0x1F85ABE6);
test(0x7762EEC5, 0x264D7602);
test(0x990B3216, 0x991F9F1F);
test(0xA27D44FA, 0x4F764CB3);
test(0xDAD3B5A7, 0xBCEC8B7C);
test(0xD42BA857, 0xC8D07E6C);
test(0x9FF13FE2, 0x3C933A7B);
test(0xB88D711A, 0xEE5C4A53);
test(0x90D521AA, 0x9A4521A3);
test(0x6008C011, 0x76C6FEDE);
test(0x2F2C5E58, 0x368D1A79);
test(0xBCE779CE, 0x7EECD377);
test(0x8E1D1C3A, 0xB85DBAF3);
test(0xE7B3CF67, 0xDC025A3C);
test(0x3E2C7C58, 0x2692A079);
test(0x305E60BC, 0x1C13F18D);
test(0x9ACF359E, 0x44D7BD07);
test(0xB2D165A2, 0x2211A53B);
test(0x95A92B52, 0xC5ED4F2B);
test(0x59EEB3DD, 0xC1AD483A);
test(0x7E94FD29, 0xD23CE916);
test(0x14942928, 0x747AC709);
test(0xBDA17B42, 0x8CF37E5B);
test(0x9CAF395E, 0xA2D86DC7);
test(0x9ED13DA2, 0x375F9D3B);
test(0xB0ED61DA, 0x3CE20413);
test(0xCDF59BEB, 0x616E34F0);
test(0x262C4C58, 0xCF03079);
test(0x937726EE, 0x14AA5E17);
test(0xDE23BC47, 0xAFCBA19C);
test(0xE95BD2B7, 0xD571E54C);
test(0x9D5D3ABA, 0x1B524773);
test(0xBA497492, 0x8BB6876B);
test(0xB101620, 0xDDD0DFA1);
test(0xAAF355E6, 0xC13FD0AF);
test(0xF9FDF3FB, 0x74208DC0);
test(0x50A4A149, 0x532BFEB6);
test(0x91B7236E, 0xF0213097);
test(0x4E4A9C95, 0x5A13A992);
test(0x2C86590C, 0x34F8ED9D);
test(0x1BCA3794, 0xA7992A85);
test(0xDE79BCF3, 0x8A3CD258);
test(0xD9E9B3D3, 0x58B29BB8);
test(0xBE8B7D16, 0xF12D6E1F);
test(0x27A64F4C, 0x73C3EEDD);
test(0x53B0A761, 0x4BED1DEE);
test(0x145028A0, 0x7A5CD021);
test(0x139C2738, 0xB71C8DD9);
test(0xA417482E, 0xEFC18E57);
test(0xD1EBA3D7, 0xBE6943EC);
test(0x8B8B1716, 0x5AB4401F);
test(0x72C0E581, 0x1470058E);
test(0x68B2D165, 0xC5F2B822);
test(0x4C7A98F5, 0x18CEBA72);
test(0x772EEE5D, 0x48EB40BA);
test(0x804F009E, 0xADDF0C07);
test(0x27144E28, 0xAD92A809);
test(0x52B2A565, 0x43C87C22);
test(0xBCED79DA, 0xC9B33C13);
test(0x505AA0B5, 0xE479F32);
test(0xD3A1A743, 0x10FD1868);
test(0xF585EB0B, 0x6DAFF990);
test(0xDF93BF27, 0x44AA06FC);
test(0xB99B7336, 0x133CADBF);
test(0x4CD099A1, 0xF33FEB2E);
test(0xF1A9E353, 0xFF660538);
test(0x20924124, 0x3DB486D5);
test(0x10D421A8, 0xB8796589);
test(0xC8F391E7, 0xA32A3ABC);
test(0x864B0C96, 0xED18B79F);
test(0x9C113822, 0x471A55BB);
test(0xF4C3E987, 0x514B6DDC);
test(0x12802500, 0x3917E101);
test(0xE029C053, 0x920A3E38);
test(0xA7634EC6, 0x5B71B40F);
test(0x5276A4ED, 0x5808660A);
test(0x1AD435A8, 0xADD26989);
test(0x814B0296, 0xF26C359F);
test(0x3A227444, 0x25ACDF75);
test(0x4A5094A1, 0x75E9AA2E);
test(0xEB83D707, 0xB4BF7D5C);
test(0x8D191A32, 0x6572B08B);
test(0xA9AD535A, 0x37CE4793);
test(0x1D523AA4, 0x67913255);
test(0x7E16FC2D, 0xAFF6544A);
test(0x610EC21D, 0x8D49817A);
test(0x7F2EFE5D, 0xA6CC10BA);
test(0xCB199633, 0xBEE05A98);
test(0x825F04BE, 0x621301A7);
test(0x61E2C3C5, 0x8A014702);
test(0xB02B6056, 0x207D785F);
test(0x883B1076, 0x67D529FF);
test(0x9B35366A, 0x3C04AF63);
test(0x652ACA55, 0x6E827C52);
test(0x1820304, 0x75319F35);
test(0xB5376A6E, 0xB0B6CB97);
test(0x19C23384, 0x1C315B5);
test(0x9F813F02, 0x7370EF1B);
test(0xDCFDB9FB, 0x5FD19BC0);
test(0x7DD2FBA5, 0xB5D85D62);
test(0xBF517EA2, 0x94C0EA3B);
test(0x7F34FE69, 0xF1927956);
test(0x614EC29D, 0x3887FA);
test(0xC90D921B, 0x91DB5560);
test(0x8D851B0A, 0xA7660B83);
test(0x5B6AB6D5, 0xEC187ED2);
test(0xF4A9E953, 0x629A5338);
test(0xA17F42FE, 0x4751AAE7);
test(0x2D345A68, 0xAD72C749);
test(0x5FCEBF9D, 0x4E9E60FA);
test(0x21B24364, 0x42E82415);
test(0xBE477C8E, 0xF70F7737);
test(0xF3A3E747, 0x4C17D09C);
test(0x9CAB3956, 0x1BA97D5F);
test(0x7200E40, 0xCB9C3941);
test(0x5470A8E1, 0xA4BA316E);
test(0xE501CA0, 0xB3F43421);
test(0xA3A34746, 0x9F70528F);
test(0x21B24364, 0x42E82415);
test(0xD8D9B1B3, 0x703AC018);
test(0xDD43BA87, 0x1D870ADC);
test(0x98CD319A, 0xE9C810D3);
test(0xB8BD717A, 0x448F8F33);
test(0xDA9DB53B, 0x1BF2DE00);
test(0x3C20784, 0x7F98D9B5);
test(0x206040C0, 0x23E9C9C1);
test(0xB5396A72, 0x744E43CB);
test(0x9DFD3BFA, 0x3AA7D7B3);
test(0x37B26F64, 0xC5126015);
test(0x10E221C4, 0x119DAEF5);
test(0x2B3E567C, 0xE7EFEC4D);
test(0x9FC53F8A, 0x6D8EE603);
test(0x574AAE95, 0x83B09392);
test(0x51C4A389, 0x585F9BF6);
test(0x5E18BC31, 0xFC0A8C7E);
test(0xA937526E, 0x23E59397);
test(0xCD699AD3, 0xE60356B8);
test(0xCE8F9D1F, 0x35FD5C94);
test(0x86CB0D96, 0xD2F6C49F);
test(0x9C7138E2, 0xF380DF7B);
test(0xCC5598AB, 0x765C8AB0);
test(0xE68DCD1B, 0x8C085460);
test(0x25124A24, 0x5282FBD5);
test(0xA15342A6, 0x784D566F);
test(0x6704CE09, 0x81BCC476);
test(0x40F281E5, 0x637DAEA2);
test(0x22F445E8, 0x452ABCC9);
test(0xDAEDB5DB, 0xAB9DA620);
test(0x10F021E0, 0x6AC1F861);
test(0x6D84DB09, 0x2E036D76);
test(0x92C7258E, 0xD8990C37);
test(0x4D629AC5, 0xB9713202);
test(0x8C4D189A, 0x7718CBD3);
test(0x39BE737C, 0xF217654D);
test(0x4FB49F69, 0xA42BA656);
test(0x1C5238A4, 0x9BD51855);
test(0xCEDB9DB7, 0x3E79344C);
test(0x227C44F8, 0x6DAA9099);
test(0x48C49189, 0x2EC2B1F6);
test(0xC9C19383, 0x551B97A8);
test(0xE52DCA5B, 0x13E5B0A0);
test(0xCA25944B, 0x88B111D0);
test(0xBE697CD2, 0xF41E72AB);
test(0x9D7F3AFE, 0x186142E7);
test(0x5C72B8E5, 0xC63279A2);
test(0xDB4DB69B, 0x58042FE0);
test(0x3A7E74FC, 0x4AE478CD);
test(0xDD13BA27, 0xC753C5FC);
test(0x3ABC7578, 0xFA3C0719);
test(0x3FE27FC4, 0x792674F5);
test(0x8ADB15B6, 0x1EA2EE3F);
test(0xFC1DF83B, 0x45104500);
test(0xDC61B8C, 0xFC20CE1D);
test(0x14D829B0, 0x6E98BDF1);
test(0x86510CA2, 0x37DF203B);
test(0x6D42DA85, 0xF77CEEC2);
test(0x183C3078, 0x5628619);
test(0x42408481, 0xFB4D188E);
test(0xE43BC877, 0xA14DE00C);
test(0x3B96772C, 0x41BA353D);
test(0x25844B08, 0xDF3CBF69);
test(0x2006400C, 0xC249A89D);
test(0xEE7FDCFF, 0x90C4DAF4);
test(0x14822904, 0x94278D35);
test(0xC0E181C, 0xE5F5816D);
test(0xF081E10, 0xFE6366D1);
test(0x561EAC3D, 0xE8F0251A);
test(0xEA29D453, 0x87634238);
test(0x660ACC15, 0xC71312);
test(0x6ECADD95, 0xB774F692);
test(0xF237E46F, 0x3E685BA4);
test(0xD651ACA3, 0xE4869E48);
test(0x88C31186, 0x5C1117CF);
test(0xD793AF27, 0xE6C936FC);
test(0xB18B6316, 0x98A01C1F);
test(0x65CECB9D, 0x1506FCFA);
test(0x425884B1, 0x2666BAFE);
test(0x11C0238, 0x7E04ACD9);
test(0x868D0D1A, 0x239F3653);
test(0xF46DE8DB, 0x76DA3D20);
test(0x6610CC21, 0x4B8D7BAE);
test(0x3DB87B70, 0xD64164B1);
test(0x95E72BCE, 0x7544DD77);
test(0x415082A1, 0x4C4CC02E);
test(0xAF1B5E36, 0x38059CBF);
test(0xF1FDE3FB, 0x163FBDC0);
test(0x6F7CDEF9, 0xB71DC0A6);
test(0xE3E5C7CB, 0xC6DCAF50);
test(0x1D603AC, 0x8C0B57BD);
test(0xF0E3E1C7, 0x5BD2891C);
test(0x99FF33FE, 0xCF4EE7E7);
test(0xC9419283, 0x6F3D8AA8);
test(0x93A12742, 0x20173A5B);
test(0x247648EC, 0xBA5C5BFD);
test(0x38EA71D4, 0xF55F9FC5);
test(0x620CC419, 0x956E2346);
test(0x1180230, 0xF6D5BC71);
test(0x6AFCD5F9, 0xA24F4BA6);
test(0x150E2A1C, 0xF926B6D);
test(0xA8F151E2, 0x6630247B);
test(0xDAE7B5CF, 0x60D73D84);
test(0x109A2134, 0x9050C7A5);
test(0xCFA19F43, 0xE20CB068);
test(0xA97D52FA, 0xE19B02B3);
test(0xB105620A, 0x67FBA683);
test(0xCD7D9AFB, 0x89EE08C0);
test(0x87B70F6E, 0xFAC82C97);
test(0xAF855F0A, 0xB6617F83);
test(0x248C4918, 0x21DE8639);
test(0xB0836106, 0xBE86214F);
test(0xBA5774AE, 0xE4DAD0D7);
test(0xC7198E33, 0x8FEFF298);
test(0x7F40FE8, 0xC853FEC9);
test(0xDE61BCC3, 0x5F232FE8);
test(0xA4FF49FE, 0x906405E7);
test(0xB4E169C2, 0xD6459ADB);
test(0x15E02BC0, 0x48B2B8C1);
test(0x8D4F1A9E, 0x66C5E07);
test(0xF2A9E553, 0xCB221F38);
test(0xF0C1E18, 0x85925739);
test(0x46648CC9, 0xEAE3F436);
test(0x252A4A54, 0x7D9C9E45);
test(0xFB55F6AB, 0xDDE550B0);
test(0x9EB73D6E, 0x48AE8297);
test(0x4AD095A1, 0x5BC7B72E);
test(0xEC27D84F, 0x5B43FE04);
test(0x5E16BC2D, 0x3873144A);
test(0xB1CD639A, 0xCF269AD3);
test(0x37F86FF0, 0x82C7CF31);
test(0x27EA4FD4, 0x6DE1E5C5);
test(0x3D947B28, 0x159AF109);
test(0x857D0AFA, 0x3B275AB3);
test(0xE6FBCDF7, 0x9193278C);
test(0x1B3E367C, 0x2C2E4C4D);
test(0xE713CE27, 0xBCACC9FC);
test(0x7114E229, 0x93D18A16);
test(0x14822904, 0x94278D35);
test(0xC837906F, 0xD18C17A4);
test(0x2BFA57F4, 0xB98E0F65);
test(0xF971F2E3, 0xF8B5AF88);
test(0xC69F8D3F, 0xF4D84E34);
test(0xDED1BDA3, 0x28457B48);
test(0x35EC6BD8, 0x55C2C9F9);
test(0x74E4E9C9, 0x6C8EAD36);
test(0xF601EC, 0xF9C6C0FD);
test(0xC0298053, 0x1A86FE38);
test(0x1D323A64, 0x2E19AF15);
test(0x679ACF35, 0xCF1CFBB2);
test(0x4FA69F4D, 0x4B075CEA);
test(0xFE1BFC37, 0x18F100CC);
test(0x9E013C0, 0xBBE180C1);
test(0x40888111, 0xE521CBDE);
test(0x307460E8, 0x83961BC9);
test(0x3F687ED0, 0xDE0ED091);
test(0x274C4E98, 0x1223CDB9);
test(0x9ECD3D9A, 0xB030ACD3);
test(0xE2A7C54F, 0x4BC90704);
test(0xF067E0CF, 0xFD236C84);
test(0x3216642C, 0x323F3E3D);
test(0xC7978F2F, 0xB2368764);
test(0xA5434A86, 0x8A81FCCF);
test(0xA8215042, 0xF0A74F5B);
test(0xE8BDD17B, 0x79B3CD40);
test(0x7498E931, 0x6412D57E);
test(0xEBD9D7B3, 0x8F30AE18);
test(0xAA07540E, 0x996E68B7);
test(0x26984D30, 0x4EE38B71);
test(0xA2E745CE, 0xCDD22F77);
test(0x91CD239A, 0x57A35AD3);
test(0x6C0AD815, 0xC72FAF12);
test(0xF169E2D3, 0x8C76FEB8);
test(0x8A6314C6, 0x4722C20F);
test(0x941D283A, 0x7EC656F3);
test(0x895512AA, 0x22425EA3);
test(0x415A82B5, 0x1E421932);
test(0x659ECB3D, 0xBED3B81A);
test(0x59AAB355, 0xC78F5152);
test(0x96012C0, 0xD60373C1);
test(0xCB95972B, 0x1D8F7730);
test(0x324E649C, 0x96D063ED);
test(0x11FE23FC, 0x8FA25BCD);
test(0x63B0C761, 0x7AEBDEE);
test(0x973B2E76, 0x57DAAFFF);
test(0x12282450, 0x9B0F3811);
test(0x329A6534, 0x9F4C3BA5);
test(0x27E84FD0, 0xAA4A6D91);
test(0xA4F349E6, 0xFAD734AF);
test(0x744EE89D, 0x1F2E75FA);
test(0x9AB33566, 0x928F2A2F);
test(0xB285650A, 0x1995CD83);
test(0x70F8E1F1, 0xE188F73E);
test(0xAF395E72, 0xADE5A7CB);
test(0x6582CB05, 0xC8B2542);
test(0xD5F1ABE3, 0x38201488);
test(0x979B2F36, 0x44139BF);
test(0x33186630, 0xC192D071);
test(0xF30FE61F, 0xC24F1194);
test(0xE041C083, 0xBD23E0A8);
test(0x6446C88D, 0x550EF52A);
test(0xFCC9F993, 0xF9F2A678);
test(0x2F705EE0, 0x30AB1161);
test(0xE54DCA9B, 0x4D5D33E0);
test(0x930F261E, 0x59E5F387);
test(0x712AE255, 0xFB53B452);
test(0xA0994132, 0x6A46AB8B);
test(0xB5616AC2, 0xBC23A7DB);
test(0xCB41968, 0x50117A49);
test(0x491A9235, 0x933E2B2);
test(0x429C8539, 0x2084B1E6);
test(0x685AD0B5, 0x27EA0F32);
test(0xE533CA67, 0x5EAC193C);
test(0xB5CF6B9E, 0xC1AE7B07);
test(0xBA7B74F6, 0xA581447F);
test(0xE563CAC7, 0xB4DF5E1C);
test(0x64C0C981, 0xF026998E);
test(0x65BCCB79, 0x34B3C326);
test(0xE763CEC7, 0x4C57921C);
test(0x4F009E01, 0xE0EB640E);
test(0x635AC6B5, 0x2D3D8D32);
test(0x92112422, 0x51C151BB);
test(0x5A82B505, 0x4B760742);
test(0xBBD377A6, 0xF46076F);
test(0xBECF7D9E, 0xEB4B6507);
test(0xBC837906, 0x4B57594F);
test(0xBD4B7A96, 0xB2824D9F);
test(0x23AA4754, 0xCC027745);
test(0x333E667C, 0x45D0BC4D);
test(0x45C88B91, 0x52BD545E);
test(0xAE315C62, 0xD3CBACFB);
test(0xE93FD27F, 0x23295274);
test(0x5E2ABC55, 0xDC5DC652);
test(0x8485090A, 0x7DC92183);
test(0x1C003800, 0x4892D801);
test(0xE84DD09B, 0xB09181E0);
test(0x33FC67F8, 0xDB065799);
test(0x84990932, 0x21B3D38B);
test(0xA7A34F46, 0xCE60BA8F);
test(0x7042E085, 0x5AB13CC2);
test(0xB0096012, 0x236E7CEB);
test(0x17262E4C, 0xD22441DD);
test(0x145E28BC, 0xD381198D);
test(0x136626CC, 0x1622E05D);
test(0x71E0E3C, 0x804C10D);
test(0x5AE6B5CD, 0x7F0B816A);
test(0x4EA69D4D, 0x7F4B42EA);
test(0xB2816502, 0x9266DD1B);
test(0x2486490C, 0xD7181D9D);
test(0x6514CA29, 0x7005216);
test(0x115E22BC, 0x704CCB8D);
test(0xACFD59FA, 0x2AAD5DB3);
test(0xB995732A, 0xC8764523);
test(0x32DE65BC, 0x996A328D);
test(0xB1AB6356, 0xD2179F5F);
test(0x9D9F3B3E, 0x51D8C627);
test(0xA7A74F4E, 0x558FAAF7);
test(0x8B431686, 0xD96758CF);
test(0x192A3254, 0xF0CB6645);
test(0x8B9D173A, 0x3B0779F3);
test(0xCB41968, 0x50117A49);
test(0xF97DF2FB, 0x8E4280C0);
test(0x76CAED95, 0x1555C692);
test(0xF84FF09F, 0x2FEA9A14);
test(0xBA5574AA, 0x214358A3);
test(0x87ED0FDA, 0x9BC1DA13);
test(0xAE0F5C1E, 0xD6BCB187);
test(0xB15B62B6, 0x426CD73F);
test(0x5F42BE85, 0xD33382C2);
test(0x637CC6F9, 0x2A4C88A6);
test(0xCCA1994, 0xB793A485);
test(0xCF4D9E9B, 0xCB32F7E0);
test(0x2B6856D0, 0xF35CC891);
test(0xF921F24, 0xB636CCD5);
test(0x4F809F01, 0xC6C9710E);
test(0xC8D391A7, 0x69B2B77C);
test(0x36646CC8, 0x2D42F629);
test(0x5268A4D1, 0xFEE41C9E);
test(0x7C12F825, 0x914F2FE2);
test(0x25804B0, 0x3580DCF1);
test(0x709AE135, 0xF8B9E5B2);
test(0x82030406, 0x3CDB684F);
test(0x9B1F363E, 0xD4828527);
test(0xC22F845F, 0xFCC59AD4);
test(0x66ACCD59, 0xE3B41B86);
test(0x598CB319, 0x51AF4646);
test(0xD7B7AF6F, 0xA76FAAA4);
test(0xF13BE277, 0xF9DB320C);
test(0x9F913F22, 0x902CB0BB);
test(0xFF4DFE9B, 0xFE77D7E0);
test(0xDB01B60, 0x949EA3E1);
test(0x9017202E, 0x50F8657);
test(0xDD11BA23, 0x3BC4DC8);
test(0x6302C605, 0x8F34E442);
test(0x4E709CE1, 0xDE51956E);
test(0x48C29185, 0x6B2B39C2);
test(0x6D60DAC, 0x86B7D9BD);
test(0x9CD139A2, 0x9FE7693B);
test(0x6424C849, 0x57FFF9B6);
test(0x4C40988, 0xEEC6BE9);
test(0x7F20FE4, 0x4BC8695);
test(0x74A8E951, 0x80CE971E);
test(0xDBA1B743, 0x6EDDE868);
test(0xEFCFDF9F, 0xEC2BBD14);
test(0x66E2CDC5, 0x84ADC902);
test(0xBA2F745E, 0x9D056CC7);
test(0x9C913922, 0x2CF862BB);
test(0xCEF19DE3, 0xA5FB5E88);
test(0xE01BC037, 0x38E5F4CC);
test(0x95252A4A, 0x58E051C3);
test(0x985330A6, 0x4EB06C6F);
test(0x143A2874, 0x12DAA5E5);
test(0xCB0D961B, 0x29538960);
test(0x7652ECA5, 0x3DD59A62);
test(0x97332E66, 0x497CCF2F);
test(0x96E52DCA, 0x7D697F43);
test(0x91B7236E, 0xF0213097);
test(0xD0E9A1D3, 0x2F15B1B8);
test(0xAC395872, 0x4AB159CB);
test(0x57F4AFE9, 0x74FB7CD6);
test(0x29E053C, 0xF3364C0D);
test(0x446E88DD, 0x2561193A);
test(0x5770AEE1, 0x7EE7F6E);
test(0x3B6A76D4, 0x72B5E0C5);
test(0xC5618AC3, 0x79C4A5E8);
test(0x5F2ABE55, 0xA819E052);
test(0xDEAFBD5F, 0x2B367FD4);
test(0x1DEA3BD4, 0x7888E1C5);
test(0xB9BF737E, 0xD3E32167);
test(0xA1014202, 0x250B161B);
test(0xE4D9C9B3, 0xFD0BF818);
test(0x2EDA5DB4, 0xE34ADA25);
test(0x891B1236, 0xFA19C0BF);
test(0xE6E9CDD3, 0xB13FEDB8);
test(0xC7B38F67, 0x647F1A3C);
test(0xF717EE2F, 0xFF9D5A64);
test(0x3286650C, 0xFB61899D);
test(0xE6CBCD97, 0x3B5FE2AC);
test(0xCC239847, 0x5C91CD9C);
test(0xF411E823, 0x51A2A3C8);
test(0xD94BB297, 0xFCF483AC);
test(0xE3EDC7DB, 0xD53A9020);
test(0xA0F341E6, 0xCBE6CCAF);
test(0x2F7A5EF4, 0x2A06A65);
test(0x9DEF3BDE, 0xE1838E47);
test(0x43D687AD, 0x146969CA);
test(0x402A8055, 0xFC52BA52);
test(0xBB7176E2, 0x9F48057B);
test(0xC9C19383, 0x551B97A8);
test(0x2BC25784, 0x54FCE9B5);
test(0xB6C16D82, 0x34464B9B);
test(0x7B1EF63D, 0x5B1FE71A);
test(0x14DC29B8, 0xF5C7AE59);
test(0xCE799CF3, 0xCE7B3258);
test(0xDAF7B5EF, 0x7D92FF24);
test(0x1FE83FD0, 0x4C699D91);
test(0x4EB69D6D, 0x9C07048A);
test(0x92C5258A, 0x15019403);
test(0x7914F229, 0xF1B25A16);
test(0xC315862B, 0xD9D09A30);
test(0x311E623C, 0x74E1050D);
test(0xBA4F749E, 0xD67CF007);
test(0xFEB9FD73, 0x74AF18D8);
test(0x3EE07DC, 0x4E9D2E2D);
test(0xA5CB4B96, 0x7EBDEA9F);
test(0xB10F621E, 0x39F0FF87);
test(0x2C945928, 0x8E1D3709);
test(0x127624EC, 0x672287FD);
test(0x46648CC9, 0xEAE3F436);
test(0xAD375A6E, 0x52D5FB97);
test(0xD6C3AD87, 0x714061DC);
test(0x8E811D02, 0xEBF3351B);
test(0x5F08BE11, 0xAB0AE4DE);
test(0xC78D8F1B, 0xE0412E60);
test(0x3B86770C, 0x24FE739D);
test(0xA36346C6, 0x2C814C0F);
test(0x3B4E769C, 0xC06D4DED);
test(0x346068C0, 0xE9BD1C1);
test(0xF895F12B, 0xEDA00930);
test(0x48209041, 0x883E314E);
test(0x5DC0BB8, 0x5C22859);
test(0xC4EB89D7, 0x65DBF1EC);
test(0x26DE4DBC, 0xC98FA8D);
test(0xC06180C, 0xD797A09D);
test(0x25E04BC, 0x8047458D);
test(0x593CB279, 0xC2047E26);
test(0xA4D549AA, 0x84F729A3);
test(0x57DEAFBD, 0xD79529A);
test(0x6A20D441, 0x9739A54E);
test(0x6AA0D541, 0x7D17B24E);
test(0x17362E6C, 0xEEE0037D);
test(0x8B911722, 0xA57AA8BB);
test(0xB3036606, 0x3BDC624F);
test(0x5686AD0D, 0xA3B48FAA);
test(0xA85350A6, 0xA720C6F);
test(0xE051C0A3, 0xD9DFA248);
test(0x8915122A, 0xAF535823);
test(0x91ED23DA, 0x911ADE13);
test(0xDD21BA4, 0x91AD9F55);
test(0x773CEE79, 0xA20F8A26);
test(0x428E851D, 0xC760687A);
test(0x6D42DA85, 0xF77CEEC2);
test(0xDD03BA07, 0xAA98045C);
test(0x7C90F921, 0xB395C4AE);
test(0x16622CC4, 0xF2283DF5);
test(0x90D921B2, 0x2174120B);
test(0xB59B6B36, 0xE44C45BF);
test(0xC7498E93, 0xE6233778);
test(0xDD3DBA7B, 0xD2C0A240);
test(0xD9BDB37B, 0x89AE4740);
test(0x4B029605, 0x75927442);
test(0xDD47BA8F, 0xA4B5FB44);
test(0xA5194A32, 0x7F15208B);
test(0xBF317E62, 0x5B4966FB);
test(0xD421A843, 0xF6DB2568);
test(0xC3FF87FF, 0x3E0A89F4);
test(0xDF35BE6B, 0x5BDAF570);
test(0xE887D10F, 0xD8BA1FC4);
test(0xE99BD337, 0x4860EBCC);
test(0x859F0B3E, 0x38365627);
test(0x70AEE15D, 0x9CA497BA);
test(0x1B8E371C, 0xBBD9146D);
test(0x5AA0B541, 0xC156124E);
test(0xD2B3A567, 0x2594383C);
test(0x6D7EDAFD, 0xE33D04DA);
test(0x2B7A56F4, 0xD3B00265);
test(0x380070, 0x649125B1);
test(0xA84F509E, 0x83431C07);
test(0xC6078C0F, 0xE3E09EC4);
test(0x105020A0, 0x4B6C6821);
test(0x16FE2DFC, 0x8A4EDDCD);
test(0x62BAC575, 0xDE7FCF2);
test(0xAF135E26, 0x29A7BBEF);
test(0xCEBF9D7F, 0x8C30A174);
test(0x27724EE4, 0x9661B995);
test(0x24924924, 0x6CA4EED5);
test(0xC6818D0, 0x4795A291);
test(0x589CB139, 0xA2AEEDE6);
test(0x4C00980, 0x87BD7B81);
test(0xFA79F4F3, 0xD2CFAA58);
test(0xA5CB4B96, 0x7EBDEA9F);
test(0xDBC1B78, 0x2A2B7519);
test(0xEA05D40B, 0xC6BCCE90);
test(0xA3314662, 0x12B68EFB);
test(0x6E84DD09, 0xF9BF8776);
test(0x5640AC8, 0x2E41FC29);
test(0x3E1A7C34, 0x463F66A5);
test(0x6456C8AD, 0x71CAB6CA);
test(0xA76D4EDA, 0x2D670D13);
test(0xC8299053, 0x7867CE38);
test(0x5D80BB0, 0x7E9337F1);
test(0xD377A6EF, 0x5903C24);
test(0x237046E0, 0xA3D9D961);
test(0xA25F44BE, 0xD99641A7);
test(0x8CE719CE, 0x4BA7F377);
test(0xFBC5F78B, 0xA7079C10);
test(0x76A2ED45, 0xCD806282);
test(0x36FC6DF8, 0x3E3AA599);
test(0x4CFA99F5, 0xFEACC772);
test(0xC83B9077, 0x58BB080C);
test(0x57B0AF61, 0x7ADD85EE);
test(0x7B08F611, 0xF39DBCDE);
test(0x9BA7374E, 0xC8BE72F7);
test(0x1A3E347C, 0x6072324D);
test(0xFC03F807, 0x565F2A5C);
test(0xC17D82FB, 0xFD1CD0C0);
test(0x26A04D40, 0x5D416C41);
test(0x74D6E9AD, 0x136A63CA);
test(0xB62D6C5A, 0xAA7D8C93);
test(0xFFADFF5B, 0xAADE61A0);
test(0xC6878D0F, 0xC9BEABC4);
test(0xA4434886, 0xBEC5E2CF);
test(0x9F073E0E, 0xD8594AB7);
test(0xF233E467, 0xB7396B3C);
test(0xB02B6056, 0x207D785F);
test(0x4A309461, 0x3C7226EE);
test(0x91312262, 0xBF7CBAFB);
test(0x4A5694AD, 0xC0B012CA);
test(0x8C5918B2, 0xCA59D0B);
test(0xB65D6CBA, 0xB0D173);
test(0x3F167E2C, 0x8ACC903D);
test(0x8BF317E6, 0x1578AAAF);
test(0x7E1CFC39, 0xFABCBCE6);
test(0xF3B9E773, 0xB399FAD8);
test(0xAB7956F2, 0xF1E4464B);
test(0xC3E187C3, 0xC82A7EE8);
test(0x9F953F2A, 0x175BA123);
test(0x721CE439, 0x6DEB84E6);
test(0xCC7B98F7, 0xFA9A768C);
test(0xBEDB7DB6, 0x80D8363F);
test(0xFD29FA53, 0xA6593038);
test(0x346268C4, 0xD23349F5);
test(0xA125424A, 0xE5B189C3);
test(0xE8E9D1D3, 0x48B821B8);
test(0x975F2EBE, 0x188123A7);
test(0xEB1BD637, 0xF9FB12CC);
test(0x816B02D6, 0x2BE3B8DF);
test(0x7D48FA91, 0xFE04F75E);
test(0x7320E641, 0xC0D68F4E);
test(0xE3ABC757, 0x9EB4116C);
test(0xF0BDE17B, 0xD7949D40);
test(0x2ED45DA8, 0x98847189);
test(0x40808101, 0xD6C3EB0E);
test(0x33F867F0, 0x53D76731);
test(0xBB017602, 0xD625BA1B);
test(0xF0EDE1DB, 0x2DC7E220);
test(0xA005400A, 0xE07DEC83);
test(0xA96152C, 0x42B93B3D);
test(0xA42F485E, 0x1ADB30C7);
test(0x8D611AC, 0x1E300DBD);
test(0x8E6D1CDA, 0x48088313);
test(0x8B6316C6, 0x12DEDC0F);
test(0x7242E485, 0xF22970C2);
test(0xFB61F6C, 0x76DD407D);
test(0xFEFBFDF7, 0xAB35978C);
test(0x20B44168, 0x3AC38249);
test(0x99D533AA, 0xC3E20BA3);
test(0xCE419C8, 0xA644BF29);
test(0x2C3C5878, 0xF0148E19);
test(0xA905520A, 0xA1AD683);
test(0x551AAA35, 0x96051AB2);
test(0x50E2A1C5, 0x2838D02);
test(0xA7514EA2, 0x7B1E7A3B);
test(0x6918D231, 0xBD1FAA7E);
test(0x6D70DAE1, 0x8A18BB6E);
test(0x38BC7178, 0x62C3D319);
test(0xADB35B66, 0xB185182F);
test(0x2A9C5538, 0x502E3D9);
test(0x7F5EFEBD, 0xFCFF559A);
test(0x81F503EA, 0xE3B71EE3);
test(0xCD7F9AFF, 0x4D8580F4);
test(0x6F60DEC1, 0x4D52DCE);
test(0x1280250, 0x13917E11);
test(0x56E8ADD1, 0x13B2919E);
test(0x603AC075, 0x9091BBF2);
test(0x20EA41D4, 0xDBBD2FC5);
test(0xD3CBA797, 0x1C69F4AC);
test(0xBBB97772, 0x2094ECCB);
test(0xE421C843, 0xB29CC568);
test(0xA4B14962, 0xC450B5FB);
test(0xA68D4D1A, 0x9B227653);
test(0x83B5076A, 0x8404C63);
test(0xBBE577CA, 0xEF994143);
test(0xBCB7796E, 0x28B98E97);
test(0xF503EA07, 0xC43A745C);
test(0x7740EE81, 0x293E7A8E);
test(0x5CFEB9FD, 0x419D57DA);
test(0x1CB83970, 0x93020AB1);
test(0xE797CF2F, 0x29B9C764);
test(0xD23BA477, 0x4E140C0C);
test(0x746CE8D9, 0x950E8106);
test(0x1BD237A4, 0xB5F70B55);
test(0xDE93BD27, 0x78EDECFC);
test(0xC2E985D3, 0xACC45B8);
test(0xA041408, 0x7C87F469);
test(0x6AAAD555, 0x4F0D0B52);
test(0xEFA5DF4B, 0xE0BEE0D0);
test(0x115822B0, 0x258662F1);
test(0x2A345468, 0x4A3E7949);
test(0x36166C2C, 0x612FA63D);
test(0x1DEE3BDC, 0xFFB7D22D);
test(0x97532EA6, 0x82F4526F);
test(0x1E4C3C98, 0xE886E3B9);
test(0x9E473C8E, 0x7F8C3737);
test(0x94812902, 0xB25BD11B);
test(0xB0B7616E, 0x9BE85697);
test(0xBB47768E, 0x93DB2937);
test(0xEA67D4CF, 0x36BAD084);
test(0xAB7356E6, 0xA71DDDAF);
test(0x4C6A98D5, 0xFC12F8D2);
test(0xCF119E23, 0xDF72E1C8);
test(0x60D0C1A1, 0xDDF1F32E);
test(0xFF5BFEB7, 0x579C214C);
test(0xC5C38B87, 0xE9C2A7DC);
test(0x345468A8, 0x790F0089);
test(0x2BAA5754, 0x29E34745);
test(0x6364C6C9, 0xFF32E636);
test(0x2E645CC8, 0xCF622629);
test(0x94BB2976, 0xDA846EFF);
test(0x32146428, 0x6EA7C609);
test(0xF5CBEB97, 0x2B6568AC);
test(0x30B46168, 0xF6852249);
test(0x61B8C371, 0x7E946ABE);
test(0x4DD29BA5, 0x82937D62);
test(0x1EEE3DDC, 0xCB73EC2D);
test(0x32BA6574, 0xD8C3BEE5);
test(0xBD617AC, 0x81645BBD);
test(0xC56B8AD7, 0x4BB9FEEC);
test(0xC2D385A7, 0xA34A1B7C);
test(0xE18BC317, 0xCDC45A2C);
test(0x7400E8, 0x50513BC9);
test(0x72D8E5B1, 0x3F89A7FE);
test(0x6D26DA4D, 0x45345BEA);
test(0xCD319A63, 0x81723108);
test(0x761AEC35, 0xD94474B2);
test(0x7EAEFD5D, 0xC0EE03BA);
test(0xBFD77FAE, 0xC5655FD7);
test(0x3D0E7A1C, 0xE4F67B6D);
test(0x8F351E6A, 0xAF337763);
test(0x17BE2F7C, 0xE31BF14D);
test(0xEC09D813, 0xE563F2F8);
test(0xE4D1C9A3, 0xEEAE1748);
test(0xDB65B6CB, 0x831DD250);
test(0xF441E88, 0xEA237CE9);
test(0x7DAAFB55, 0x6E02F952);
test(0xA1CD439A, 0x1364FAD3);
test(0xBF497E92, 0x8663096B);
test(0xC18D831B, 0x19D89260);
test(0x417882F1, 0x9422243E);
test(0xE8EFD1DF, 0x937E8A54);
test(0xCABF957F, 0x5D403974);
test(0x331A6634, 0x852A48A5);
test(0x8D871B0E, 0x6AFD83B7);
test(0xD1E1A3C, 0xCE6D5D0D);
test(0x85AD0B5A, 0x915A9F93);
test(0xCA5594AB, 0xDEE456B0);
test(0xB4436886, 0x7A8782CF);
test(0x6280C50, 0xE3E0011);
test(0xBB5376A6, 0x2967FA6F);
test(0x8DA91B52, 0x680C7F2B);
test(0xEA09D413, 0x4DEBBEF8);
test(0xE023C047, 0x4743D59C);
test(0xCC039807, 0x231A4A5C);
test(0x4E309C61, 0x6B628EEE);
test(0x651ACA35, 0x51C6BAB2);
test(0x7B5CF6B9, 0xA777566);
test(0xD761AEC, 0x6C7605FD);
test(0xA6E74DCE, 0xFCC29777);
test(0x380070, 0x649125B1);
test(0xC4C18983, 0x5A6F15A8);
test(0xC195832B, 0x28367330);
test(0x38407080, 0x414B681);
test(0x279E4F3C, 0x65660E0D);
test(0xEBA1D74, 0x325016E5);
test(0xABAD575A, 0xCF467B93);
test(0x85E10BC, 0x46AFE18D);
test(0x588AB115, 0xC25BB412);
test(0xB2A7654E, 0x16A4C8F7);
test(0xCC5398A7, 0xB2C5127C);
test(0x6FAEDF5D, 0xD0E87DBA);
test(0xFB51F6A3, 0x56B66048);
test(0xA2B34566, 0xF06FFA2F);
test(0x4B989731, 0xC2F2AB7E);
test(0x7A1AF435, 0x834DCB2);
test(0xDFD5BFAB, 0x7B3085B0);
test(0x144C2898, 0xF32DDFB9);
test(0x19DA33B4, 0x2CDCB825);
test(0x24AA4954, 0x97BE9145);
test(0x249C4938, 0x3E9A47D9);
test(0xEB01D603, 0xB49F828);
test(0x4F089E11, 0xEF4944DE);
test(0x5FB2BF65, 0x9C55CE22);
test(0xD057A0AF, 0x68E46AE4);
test(0xBF017E0, 0x70157661);
test(0xD06FA0DF, 0x93FE0D54);
test(0x3D707AE0, 0x54F47D61);
test(0xE5DBCBB7, 0x8C5F8A4C);
test(0x41AA8355, 0xADECE152);
test(0x44F489E9, 0x56058ED6);
test(0x35406A80, 0xA0E06881);
test(0x3AB87570, 0x730D16B1);
test(0xD89DB13B, 0x847AAA00);
test(0xDFF5BFEB, 0xB4A808F0);
test(0xE33FC67F, 0x5CC0B674);
test(0xD843B087, 0x22DA88DC);
test(0x9BF937F2, 0x1C00B34B);
test(0xA7814F0, 0xCCD93031);
test(0x2C6C58D8, 0x4647D2F9);
test(0x2F0A5E14, 0x397E1F05);
test(0x5B1CB639, 0x20052EE6);
test(0x7302E605, 0x4AF68442);
test(0x2F605EC0, 0x13EF4FC1);
test(0xE4FBC9F7, 0xFA1AF38C);
test(0x9F7F3EFE, 0xAFD976E7);
test(0x8BDD17BA, 0xADF68073);
test(0xE963D2C7, 0xE3CFC61C);
test(0x85C90B92, 0x43A3326B);
test(0xBB0B7616, 0xA81B131F);
test(0xFFD3FFA7, 0x2F1C4D7C);
test(0xF825F04B, 0x247DBDD0);
test(0xDE0FBC1F, 0xBE0EF94);
test(0xD717AE2F, 0x881A1A64);