/* Zobrist.cpp * * generated by ZobristCodeGenerator */ #include "Zobrist.hpp" namespace sunfish { const Zobrist::Type Zobrist::Board[Square::N][32] = { { 0x17b17c12beec384cll, 0x97b166b3dd39652ll, 0xcb72fe812e60e070ll, 0x6e3b8ba4c98e391ell, 0x16ca2489b3a7a0ell, 0xceb47ed87764a014ll, 0xf528cee6b9996d92ll, 0x126d157115ce5e6ell, 0x729924b0bf4aebc4ll, 0xf66df9d58b74ecacll, 0x785edf49897ec2fcll, 0xd760bfeb06b412f0ll, 0xa92bd51ba0c85400ll, 0xe72f6bac0a7fbf96ll, 0x403dcc0f8aae894ll, 0x6b6da8dd898c2acell, 0x3e9824c2b17a0756ll, 0xa7afa85efe192706ll, 0x7b12aac8b5da4a6all, 0xd09802023eacf0cll, 0x1fb7c72f68668a9cll, 0x7a48c69bc339a156ll, 0xa4c3a2d2af24ed7all, 0xaf9022cd2b20cc24ll, 0x509684b3b901fc66ll, 0x875c4e69cb0e5f6ell, 0x71821777dbd3a02cll, 0x63094093fece360ell, 0x3b9f1a19b1dabe84ll, 0x80383052c9b837dcll, 0x738337b3767a1cf6ll, }, { 0x62eb0f1cda0a9dcall, 0x5c12388401701f76ll, 0x87e31260e16badaall, 0xf2c310de6e4d920all, 0xdb6847021455c2acll, 0xc38f1c11969ac3eell, 0x5919b5ca966980e6ll, 0xacf33bb12a452682ll, 0x4b7b18cdbc01f1d0ll, 0x69a7634dcb6a2c16ll, 0xf0eb97e38b8e47all, 0x2f7ba90fac863d60ll, 0x1707fa2c6db696a4ll, 0x6aca871dbee8afb4ll, 0x824b1acd8170a6cll, 0x17882e5e418075e4ll, 0xb86994a3dd7be288ll, 0x184551c80043b2ball, 0xba1f39c5b17e7884ll, 0xcc2893fb6a6514c0ll, 0xe2640d09edb3745cll, 0x54f74e6d1d8f1930ll, 0x2dccb4627533cfe0ll, 0x9bc2e1b39ad83054ll, 0xc21c60541fe7180all, 0x3d334d7879f88318ll, 0x672e90156ef68262ll, 0x6c9fa9cf60e54caall, 0x58ceae42d9ce4f96ll, 0x4670a51a30fab8e0ll, 0x6c667f29bf7e1ca2ll, }, { 0xf873f04db1f348ell, 0x91da55527eae408ell, 0xdfc0108e9d4035a4ll, 0x53769e49c9481d2cll, 0x57c9fd1efeda6e2ell, 0x4cc297435b7996all, 0xc9ee060445645c64ll, 0x125b6ce3c6198cd0ll, 0xce1448c836856f36ll, 0x30d5ebcdf00bdf0all, 0x5dc87c8561e46702ll, 0x37ab07d5c39bea1ell, 0xfdf658a99f37936ll, 0x14044350918dfcc2ll, 0x56a94aabbb4ce90ll, 0x8c7fb230241a5d70ll, 0xa1bb93e398c5d24ll, 0x57b0feac8e57f6f6ll, 0xbb74ac6f7c78b5b0ll, 0xf70603eb0939156cll, 0x3c95c12bda3c06fall, 0x3ac13ca15c5c6daall, 0x8de576ddc57e8ba0ll, 0xcb69638d86e18056ll, 0x957f07c6fa171b5ell, 0x970f141a88230422ll, 0x47df5c0a7571c5e8ll, 0x3a1c0eafe1f33328ll, 0x68c9827ce09cf3aall, 0xd9215438cc1b66b2ll, 0x6dc6e78a54515cd8ll, }, { 0x3adb038e88d7569all, 0x2c70330208d81474ll, 0xfe70b7e28d75aae8ll, 0x1e2978a158dd2172ll, 0xcb4035cd0e41c08ell, 0xfd71004c8da8caa4ll, 0x7003350382f06e44ll, 0x7396826c700dff36ll, 0x359d6b92b0e735b4ll, 0x4853cf5ec52d33c4ll, 0x3c1a99757df9a9f0ll, 0x6f2927e8b58723e2ll, 0xa91cf3a1213db742ll, 0xb05a085fb8132316ll, 0x1dd1eaa7094c18b8ll, 0xe9f895fc486f9d7ell, 0x2ff1ab9a26704cfall, 0xa9e04557917e6014ll, 0x9dd0b25d989b445ell, 0xac6b3c1a134eddb2ll, 0xe185a023a8b8b316ll, 0x245e796a6df712c8ll, 0x2d9ec989265c6a36ll, 0x63ab8240defd840all, 0xd5a5211b70a073e6ll, 0x862b731bf9fc2094ll, 0xd9245b015e1a9dfcll, 0xd515e941f7aa820ell, 0x93a897ee70e50852ll, 0x690789617563124all, 0xe852882b0edd776cll, }, { 0xb10993a30cca3c72ll, 0xb5e4169f2e628e9cll, 0xb2f8158a50d27012ll, 0x33140c121d763a92ll, 0x2d8524088491681cll, 0x55f47be460876990ll, 0x357fcb3c45f21bf2ll, 0x3025dae7eeb03e7cll, 0xa7654bba27e952a6ll, 0xaecb9f64ba2dba40ll, 0x34d5080b4824729all, 0x72560ac86d37d2aell, 0x1ba4a4f8065aad44ll, 0xffe65ac7582d69a4ll, 0xed84683d605b6dd8ll, 0x62f7132c2ea78830ll, 0x32e1a215ff34303ell, 0xe300f8e18ac19710ll, 0x5ded6a68d3ea9ef2ll, 0xd06426a59d451116ll, 0xfe003df24d8b282ll, 0x3cbd07b3a507f24ell, 0xb77d4454311375d0ll, 0x4ba22dcde55023b4ll, 0x98c9c4e0582cc81ell, 0x2877a71959b4f982ll, 0x42fe50102c839e16ll, 0x6ddd0c5311473004ll, 0xca88b70a7d02ebdcll, 0x717dab3545c74236ll, 0x8166d28bd31edf5cll, }, { 0xd387e590349821d0ll, 0x4a01b6a8e6421f6cll, 0x2cb1782c135ead82ll, 0x9e45054a76e50c44ll, 0x464c722b8c55c8b2ll, 0x9493005e1572e4dall, 0x641191f28db713f2ll, 0x50ed92aa5e0832dcll, 0x4473c8d52dba8a48ll, 0x24f7b03e8e9e7a70ll, 0xd2dff860d29f7984ll, 0xa7e8fcad9004883all, 0xe1f12286e675ffball, 0x98a46f2c11fa451cll, 0x564038f1ed6bbf04ll, 0xe9a5abcea92986b2ll, 0x98c5180b6204f7f8ll, 0xa5d4338ffaf52f64ll, 0xd946dc4f544074fall, 0xb479090839e376a4ll, 0x9adc08c2cd381eb2ll, 0x73c972f91bb1fbacll, 0xe20e0c3250ba0214ll, 0xf326b3a4f76a6cbcll, 0xc4882bcd9dc182ecll, 0x1a82f13c96e4155all, 0x3b4b83116b032c14ll, 0x922411bcbc4b9a6ll, 0x1f0a2e69003ec2ell, 0x7186c47ff727e962ll, 0x3cbe1923961abfc6ll, }, { 0x9edcfd3d20589d0cll, 0x85672610721dffdcll, 0x2f30b1872db42b22ll, 0x327bbba497a94292ll, 0x21f91c51f72572ecll, 0xf88b8e9e2af55fa8ll, 0x21af6f16c5679592ll, 0x1fb9a9f71c5a4c1cll, 0xe27b9c73659b11dall, 0xc0da077951d28288ll, 0xd429891330162f9ell, 0x43f17b2640f35be6ll, 0x718de4b5d038160cll, 0x3b70b68d7223ff66ll, 0x72977cb1cd149790ll, 0xa8980c27a5924e7all, 0xc9528f2077d35b22ll, 0x81a2e0e8b6162b7cll, 0xced7da9f32992e62ll, 0xb5ced2da941e1412ll, 0x607e929e27d3416all, 0xc4cd15e9804aa9d8ll, 0xae4efdde530d523all, 0x187e9ca6c6f550dcll, 0x5f1e3365d6e5c056ll, 0x11f3e8715d66e4c8ll, 0xbccf36021e5cf422ll, 0xa574f03ac9fc9064ll, 0xa7d1a7014a05858cll, 0xcd91aa5208278b0cll, 0x479c1532ed89e50cll, }, { 0x50079bd93f844caall, 0x60be58651014fe2ll, 0x9db0b7b7bffbb232ll, 0x2eb7757da6286cf2ll, 0xac7645bfcf38af44ll, 0x144bae7a0a663470ll, 0x4851b9544ad18490ll, 0x667c438c3d5374f0ll, 0xe568f15a164bdf82ll, 0x1c2e5275e852e3a0ll, 0x801ae346abf0b334ll, 0x6565d63c4bcac00all, 0xe460f380dc98e4e8ll, 0xf83f1d75b394cbeall, 0x3154a3ed4dd5b55cll, 0xe9944458e06ab5fall, 0x1b95cd04ce6c3880ll, 0x1268ed3ca696d854ll, 0x7eb7345856f08500ll, 0x64b57ec3e0c0e19ell, 0xe9ab2d08ec8d755ell, 0x400e3e535e3ccedell, 0x4a3beac379607f22ll, 0x5eef230d63f79724ll, 0x56201dfaa83cd54ell, 0xb4fe7e27355b6590ll, 0xc1ca912d37ba665all, 0x1a27bd0024078e54ll, 0xc8d70be2a04a5f1ell, 0xc35050708cd0b0cell, 0x2f37cf53ee5873dcll, }, { 0x60293879417c3c2all, 0x66a3b150150926dcll, 0xa42711ce94f3a716ll, 0xc1fa473dd66f8ff6ll, 0xd57d4a81f8a66398ll, 0x74ea0a5943a1643all, 0x567319282de724aell, 0x150729d9d7151afall, 0xe7734347b4f65210ll, 0xb6f9b30e63475c68ll, 0x77a83f9a8a97992ll, 0xd3c2da746ffcf69ell, 0xd73a08641cfd9b64ll, 0x6b27f3ca27cff6ball, 0xa73dfdfc2c812e00ll, 0xd63cce9d2b1e2f38ll, 0x3eb61be7db2bff98ll, 0x3c170efa6bebcb98ll, 0x7d5bb566eaad0bbell, 0xe3a61025155f1a4all, 0x86aca13edc4e18all, 0xc5b37184ddbb9c48ll, 0xd1fb103603d7a89cll, 0x55ab3f741ac1b630ll, 0xc993dba907a85fb0ll, 0xb1f9ec11b3743e62ll, 0xcf6b8e38c44c2290ll, 0xb8c8c7024dda69c2ll, 0xd47aa460597f6340ll, 0xab9074d0fcddbdc8ll, 0xde5b97a26c9a9494ll, }, { 0x75f4b4336efe6630ll, 0xa7f1385f82bd119all, 0xbcac33320922ab82ll, 0xdb7f1325d4c3ebb6ll, 0x3e8d628e266cae3ell, 0xd0c1c7a5bb62c838ll, 0x6594490e16246b1all, 0x4be48435f8bbc7f6ll, 0x394fd58a816a4dccll, 0x14a80dbb06eb9476ll, 0xe27f54d199d0cbb6ll, 0x2298447b2bfd49ball, 0xf33324befc39de16ll, 0x7391b2c60d276632ll, 0xac3d903398ac5624ll, 0x811841fa16f34926ll, 0x4b39c4f5f81d654ell, 0x6ca7323b350f1090ll, 0xa6a015f02f56184all, 0x160540e8ae819bbcll, 0x5bffb83c2aec5dc8ll, 0xf112cd1e6dba1612ll, 0xbb2a39f1a5969d26ll, 0xfc7e2c81515bea12ll, 0x12dbb86197205b2all, 0x1f396fbcb106a600ll, 0xe04fbb842d5e9a9all, 0xeb99bdec59f27c72ll, 0x3e7265f851087c26ll, 0x695efcf7bbb37e44ll, 0xb85bd62ea764233all, }, { 0x4bbfa2dcadd2e614ll, 0x5770c41d18323fa4ll, 0x223b5cf7af5034dell, 0x192960b6a31ecef4ll, 0x96b159c59c6dc18ell, 0x544dfffa9490ed98ll, 0xf7e4654f5ef78cc6ll, 0x2eaf02f5a5dd05c2ll, 0x3aef25cd12880b7ell, 0x7e1ad6beceafd78ll, 0xc614cbd8cf1531f0ll, 0xc9c6c083000b3628ll, 0x30f5e71c182f2022ll, 0x5725dd0f3c2da040ll, 0xf5580f29473ab878ll, 0xa1f34569d54cb282ll, 0xa7dcbcdd373cd962ll, 0xa28652e527091eccll, 0x16b5322d2dcb1fdell, 0x5c96c76975b442bell, 0xe06e45b27ae30850ll, 0x54bc481eba8fcf0ell, 0x22ab3a4ade213e5ell, 0x696b0b1b699b0c8ell, 0x4e61cc7159a4141ell, 0x51b1f2d1974a3638ll, 0xc69fe7dc4e0f37d4ll, 0xbc7a13e57d6a2502ll, 0xdd26b3804be24290ll, 0x74047b86e78b0e2all, 0x7c6bb3560b03dcaell, }, { 0x3948d9823f7a21d2ll, 0x496fb857f7ec1530ll, 0xd72fc3e0ab847e5all, 0x76ea1c15f1145b0ll, 0xab7bcf07863ed004ll, 0xccc5cb54c105b74cll, 0xcec5427ee5517a0all, 0xc4ec56e713bd4a94ll, 0xaef114fe8bf2195cll, 0xaba461cf275f6a34ll, 0xc104505db2d9223cll, 0x89a510166aac67b0ll, 0xf4131c15f7491904ll, 0x84bb40de86af5a26ll, 0xe37df17aa7587dd8ll, 0x395e075678d1aff8ll, 0xa4a411e16fdcd8a0ll, 0x68f6eeeb9ce5cff2ll, 0x3432e56b8dd96936ll, 0x452173669ff03842ll, 0xe80b6ca510316846ll, 0x6b40a5887aa5c898ll, 0x1656edd226cac8dcll, 0x6a6dd65093b5bd2ell, 0x53e8bb89347461a2ll, 0x53d9a07da981d6cll, 0x183b54ec1877a6b2ll, 0x94f7e8d09b4f3b24ll, 0xf326ffd0fd3b71e8ll, 0xeb673e35b0b707acll, 0xc394e4e6aa13d360ll, }, { 0x7701219612f20168ll, 0x7a5962003ecd6062ll, 0x817dd828f7cc702all, 0x2a13b31f870f6e86ll, 0xac143a5e83876ef0ll, 0x39f561bcbbc62284ll, 0x6d6d6bcd56b5e4f8ll, 0xf6d92757cd71be92ll, 0xed0861c9d79b4118ll, 0x952c913d5c6b93f4ll, 0x37c9ba66dddd462ll, 0x1e061d234c685f68ll, 0x2ef435e18ca1a1e8ll, 0x378a6c1fc8f1558ell, 0x2183a91e9e6825d4ll, 0x4337332aa542a24all, 0x3724867c8c0e6b64ll, 0x3d85b767a9e10adall, 0x426fe8ae8bed8c26ll, 0xec99dea006b5cc40ll, 0x9ae5f59c3d2a64d8ll, 0x76ad563d565f37fall, 0x1021c50f79d0bf24ll, 0x44b47df0a8accc02ll, 0x93c697e3574bd1all, 0xb8cad5e8ac4598c0ll, 0xca02e74458b78aeall, 0xa37a28d117bc689cll, 0x111c1c85e449eadell, 0xca148fb8f8afeb1cll, 0x6f297fc9defbf6c8ll, }, { 0xa5efd62b03a52e88ll, 0x761423318d8d4d8ll, 0xda3cb149f9ee89d6ll, 0xd11b6adccb6ad058ll, 0x84962db9f0468af8ll, 0x4f8cb59b99849694ll, 0x66d733bbef19c95cll, 0x6b1ff77a3373c4c4ll, 0xcc9fee8c46d3ce90ll, 0xd73dcc4042041078ll, 0xafbb4413bfc9608cll, 0x9945abab134cb158ll, 0x2cb4b0a07a374ecall, 0xe1e594f4e81693a0ll, 0xaa8dea87148c4f34ll, 0xcad15abc59f137c2ll, 0xd81d47778ea046aall, 0x3be90f4f857c57c0ll, 0xac71180ae97a57e0ll, 0xbdc46d3d478bcb0ell, 0x8232725bd39d9a1cll, 0x8ac7db61d74fedfall, 0x96dfc9cb70914d22ll, 0x38b237afdb0d42ell, 0xf797770fb5beb4d2ll, 0x2089af65b5d35124ll, 0x3624765ab645d82ell, 0x17e47c3f09b8b8dcll, 0x84267441bcc13e0cll, 0x1ace2f9d6214ac94ll, 0xf247bd2e533f6f02ll, }, { 0x78e52a0de212bea8ll, 0xaf86662e65e4a0a0ll, 0x2fc06279173b7c32ll, 0xe52a40cbd12b57aell, 0xe19a8a02a31c5078ll, 0x7c14d7f316047f5ell, 0xfbfdd78713424d98ll, 0xf8f6ddab41eafc0all, 0xf156d977f25aeb64ll, 0x38c80749709ce87ell, 0xfd87242f0104b29all, 0xffd904ffb2130432ll, 0xf14f010c4cdd3c18ll, 0xf457c417210636cll, 0xdf4f770cf80072eall, 0x2eb83b1a0c40a9c4ll, 0x75440769afa7d69all, 0xa63a63534a5d4848ll, 0x80e2912693be1d0ll, 0x70746c0c4644b2dcll, 0x385c857d9347d75ell, 0xdc0646e71cc684eell, 0x488f2a7218465174ll, 0x346320ece3a26cf6ll, 0x94b85b99a331bbc6ll, 0xbdbccbd5d0ed09b6ll, 0x45bb2920265defdall, 0xaec06698cbfda9fcll, 0x19963a0d55813df8ll, 0xac4b4ad0416fa4e0ll, 0x2ec4e254b1451a30ll, }, { 0xbbfbf8165cd268a2ll, 0x946abc445ce37798ll, 0xfe7230b0ae939040ll, 0xf43b68fd8f3d13eall, 0x1a5053314a874b44ll, 0x971994fc3da66a7cll, 0x2d228105037b3a34ll, 0xee95c22d9f653644ll, 0x2960289f16cc75dcll, 0xeb36975474a8f728ll, 0x26056cd9395ed806ll, 0x2d82713223e61314ll, 0x1c8fa4593fcf75ell, 0xa84e3c0597f9ee38ll, 0xc02f9667b96cf0d0ll, 0x7ea56c12fa96d7fell, 0xf33f6b8e116c48a4ll, 0xa34a2a50600a4886ll, 0x4790a1b7486cf242ll, 0x21f1df11e0c09cbcll, 0xf3538d45cfef4d6ell, 0x1ab4aa561bb78548ll, 0x90e9d51c4c44a9eall, 0x33b13add86b88e2cll, 0xaa96627dbe3c0022ll, 0x52fb0bdc7f4db1ecll, 0x64b4579fb33e97dell, 0x66383d2340be9ceell, 0xe85d39f2edcae1d8ll, 0x72918d799e88e618ll, 0x289499ad0d7138all, }, { 0xd696182484d03190ll, 0xf050f80e0a47a440ll, 0xd17e6dda49a18070ll, 0xbb0c1954b461e182ll, 0x8fb01d75d7976ecll, 0x6305896e74813542ll, 0xff184c7ae6c2a1a0ll, 0x5d9ef80f5eaaf428ll, 0xad8e675baf733d16ll, 0x10c559d010c6c96all, 0xa7d71e30e7191836ll, 0xfa4a2f3f00b0748ll, 0xdb37c2916dbd6396ll, 0xcca4d125b3b58e36ll, 0x5328b50dced3754ell, 0x368516462cdc6bf8ll, 0xd3b71a0987b1c7eall, 0xbaa035d5c6122afcll, 0x814d6575f4d21500ll, 0xc1870f6267b8c1f8ll, 0xd59e7433c49af9e2ll, 0x262f7a61f1d43a9ell, 0xd9c6451038262f22ll, 0xad8e7de2ce9d375all, 0xa8d0778b49275fc8ll, 0x34347314036c493all, 0xbc30e9871c1a2f06ll, 0x82a93af13f79d7f2ll, 0xbbdf073d88d93fa6ll, 0x3a51a47d49d231c0ll, 0x3ba0719ed48b0e8cll, }, { 0xdf61dd6567a68338ll, 0x8164b62c3f2107a8ll, 0x99ad0708bc51709all, 0xe5f45588f919a2cell, 0x67facc4e5d24f428ll, 0xcb7698d66e5ba07ell, 0x3e1fe36c16ebc5all, 0x40ff45d5f97388eall, 0xe2ac424eb22bb246ll, 0x64993758f7bc0b38ll, 0x9f0660337c0d91ecll, 0xd0f9cd8d6c62c6c4ll, 0x8b636f7ba18d4040ll, 0xc1d98e486d3ec5a0ll, 0x36abac31be5245eell, 0xeae781e77d078a06ll, 0xb418d6e578297592ll, 0xea886ba89d611ae8ll, 0x6eb94b9ed42ed43ell, 0x12cb941bc724ad84ll, 0x7b5a004592410f9all, 0x2229abb0f19ba298ll, 0x48ad318df1de839ell, 0x7c848b3c1494b1c2ll, 0x88d70dadc310357all, 0x3d69e44824d50c32ll, 0xb23059b2b9897fdell, 0xe09b21c4e9eefc82ll, 0xb1f43657d50b2ball, 0x4ff452a57c4cdf42ll, 0x37b7567ac60e339ell, }, { 0x92b7560354103c8all, 0xb651eca39904a8all, 0x3e642b8c688a8dcell, 0x81f98b996120007cll, 0x2589ac5c2e8d7076ll, 0xf4d453d69202219ell, 0xf15a83fda29f110all, 0xd57634229c1f7204ll, 0xdd270efc6149da0ell, 0xc0916937131b3620ll, 0x60af9d3378f359call, 0xb9c123f39bcb7670ll, 0x6d2ea9b2ba9e8058ll, 0x4ee19c1e41df1894ll, 0x3629442cb0c55ccall, 0x983f412ef9de15a8ll, 0x6092d1f0853f8026ll, 0x121025b0cc0d15cell, 0x45faa98ecaad8e56ll, 0xa4fdf8fc8bcf120ell, 0x15911b875f9be468ll, 0x5f7557ccac6a2348ll, 0x35571c48a9946874ll, 0x1332f67271d91ee8ll, 0xdd74cb4cc6dd21d4ll, 0x337858726ddcdaa2ll, 0x603c66f6f8bf6d94ll, 0x1cb41919d06dbeaall, 0x9c335fd11e321dd2ll, 0x971190b806716c72ll, 0xf6d208f85a4d8498ll, }, { 0xc96518f622957aa4ll, 0x227d382a8a59dd86ll, 0x63ff4151a5492a1cll, 0xbbaa30b71d6f8b7all, 0x492fe8a4b5e6b0bell, 0x72c0613557a9dc8ll, 0xaf435dfc8da04828ll, 0xeb3321389385510ell, 0xf7973b7dce129e8ell, 0x7e1333e4506a1c26ll, 0x76a51036ff51466ell, 0x755b2515a6057f00ll, 0xf1f6a0a75055c442ll, 0x42c89ada225e05bell, 0xf91ca566dec6220all, 0xb38599ea251a0222ll, 0xd9b641f23306a0fall, 0x23bed3ab623a09fell, 0x1641f7d6149391b8ll, 0x476cfc6af40bd8cll, 0x23814310590b347ell, 0x9abdeb055b6d1560ll, 0xc8fa369e180b73aall, 0x91ebcd9db9d2abf6ll, 0x5fcd64c050397ba8ll, 0x4ee0692069a7406cll, 0x3a7b210d9d45291cll, 0x76f3f0cdf6e38392ll, 0x2094d241bf2ae0f6ll, 0x8b5100998c6f52c8ll, 0xe941fa788af84e2all, }, { 0xfb78bf3bdb3f67c8ll, 0xd35ce7240d83d6acll, 0x14e64370e39b3702ll, 0xbd910c63252eebb8ll, 0x11b6f89ac7a37138ll, 0x5c28fd548ce58ba8ll, 0xd08a046ec59cc72ell, 0xb6da8a9956478424ll, 0xe44f801a81801b04ll, 0x7f715cd03e2686e6ll, 0x75e9a7506e91bac6ll, 0xc9496758abe311f6ll, 0x1aa9ab9b5aa905d2ll, 0x7bdf7c97641f0c20ll, 0xf3371f5017e5ae02ll, 0x448f0aaf13c1e684ll, 0x7ad7fae6c7482d0all, 0x24c1a5e24cef7a4ll, 0x15567bd2471e4244ll, 0xbb17c777b5557caall, 0x5df998eeb9ba97cll, 0xb9d36578ee9c35all, 0x356f434743fd7344ll, 0xb3083fd258860eecll, 0xed7e56bdebdf17a6ll, 0x8cc6a66c905439aall, 0xcbc495a2222c085all, 0xe53bc43a41c3472ell, 0x9bb117f1bc775744ll, 0x1a189166128a78f8ll, 0x6542cafaac7d5e6ell, }, { 0x44efa1797c67218cll, 0x8b87dcc369cb4838ll, 0xa4bb570bbacd448all, 0x91aafe20394ba954ll, 0x176bbc340f2b3950ll, 0xc9a225aaeaea3acll, 0xad698dcef25e7da6ll, 0x634552ef85354d12ll, 0x4dc3262b4090c662ll, 0x2f3bf9765f68c668ll, 0xfe1a411cff3f25aell, 0x97dc7278f63a2b26ll, 0xead002d9009ce58cll, 0xa00333a3a2dd26aell, 0x824677cc2307fa62ll, 0x70ae30e2b395f448ll, 0x2f6c51a1f4399564ll, 0xc818a8100e7f6e58ll, 0x23dbb172ae4a2520ll, 0x23642c2c3a4518f4ll, 0x75775f686f7ed1e6ll, 0xfd8f54f3fd9981e6ll, 0xa1c2ea7a7fe23040ll, 0x2ec704ff4ae0666ll, 0xdfa436ab4fe54062ll, 0x9d05e0f550c184e2ll, 0x914f1ad22471fe5all, 0x79a142a1ed147e82ll, 0x9efd8b6a6cc79d32ll, 0x4011066713995d8ll, 0xe865862d1fa53986ll, }, { 0x229d4f9975fc8f74ll, 0x6b49cfa26d7ef744ll, 0x23dd24eb5635d4a8ll, 0x2e87e0eb0c6f5e0ell, 0x4c92e47a0b6f28bell, 0x80dadd0aa45349e4ll, 0x167a27bebed0e920ll, 0x77e6d507ac290e30ll, 0x2a45eecf54bb51dcll, 0x813c8795d9f8d050ll, 0x71ab485b108e0388ll, 0xf1093aef3340f978ll, 0xff4ddf4808c3d55ell, 0x263cc4a15b01e0fell, 0x9c85e662cf000ad2ll, 0xb4fe9565118e780ll, 0x165593c18ac6f4b6ll, 0x342286b54939b740ll, 0x44f61691fd2f82fcll, 0x1cf9d200a5dd1828ll, 0xdeb467882bf76658ll, 0x744305ee4a2ea2ecll, 0x392aa01378ce87d6ll, 0x1ef7ac85bd4c6504ll, 0x17b3ad24d6dd393ell, 0x7980f8b23dbc516ell, 0x223e1cf2fb7794d4ll, 0xba9ee80e5a24c3d6ll, 0xdb8a49e731f32b22ll, 0x90d10382eef1b3all, 0x21c06da2fc900164ll, }, { 0x36f3d31de610464ell, 0x991a18b585b7161ell, 0xa91aa069009fa632ll, 0xf57b608195cc5978ll, 0xf22feeee99ee18bcll, 0xa0e887974c4247c0ll, 0xb13a1609465c85eell, 0xfdfd6b34b8e948fall, 0x16c499a8a0f18830ll, 0xec080e8dc8b0f8ell, 0x5bd9925826efac5ell, 0xe64b2615470f2a94ll, 0x13377e53ce88b570ll, 0x26ab43654803a8fcll, 0xb2fbfabb7311b15all, 0x673f7e193a0cc802ll, 0xbdcbd4fc9b817f94ll, 0x336e4fae3d8e31bell, 0x842a9c364e17291all, 0xd0b45b31f9a3f702ll, 0xfe3ddd0c931c404cll, 0x327189ec1eb8e8f6ll, 0x731322f59b943d0cll, 0x350113b8f141f468ll, 0x11b0fa949758f9a4ll, 0x329ebc1f68016daall, 0xe7a5b0a75828516cll, 0xdae36ad9f7292684ll, 0xf3283a21674938f0ll, 0x6685a61447f22854ll, 0xd35b5867814dc76ell, }, { 0xa830206eea3837d2ll, 0x995824b6c349dfb0ll, 0x928688c6bb78eed0ll, 0x8d6ccbd81ced5022ll, 0xbcdf4533253fbb0all, 0x1be50c3f48bbb64ell, 0x9ba92bedf0017f36ll, 0x6aabecd3cb9ee4dcll, 0x22252fafbca1d2d0ll, 0x6c99d5e8e8134da4ll, 0x2e728f7e9330bd48ll, 0x249b87eb9ef860ccll, 0xadb4f0728a691906ll, 0x9c70860bdc9964e2ll, 0xe7d05d14ddd98aall, 0xcd7669168201e734ll, 0x2ec9e09e50cd0954ll, 0x80e4374db6151d84ll, 0x5d4aed737f256d4ell, 0x68dbdec38dd38116ll, 0xf627d0b731d1a07ell, 0x91fbcf04aec3c8a6ll, 0xdea9fda655ceff6cll, 0x20fca361337b7efcll, 0x9ce1d2cd567292c0ll, 0x95a0c574f126fae6ll, 0xe6d9cdbcc36c1ddall, 0x498c79ddbbcc3c22ll, 0x503aba363cb154e2ll, 0xd1046f07d8ed17fell, 0xd111a0b31edfb94cll, }, { 0x2dd312c0f6a54794ll, 0x810f60922ca5e030ll, 0x298d60cad0d136b8ll, 0x160c93ca8bfc3b34ll, 0xc5dd67266647c360ll, 0x418dacd46ceaf79all, 0x835ea8476ef815b4ll, 0xeb31208079f1d39ell, 0xe91db141ff2487f8ll, 0x55c2eeda1b319112ll, 0x2251c35acd0d9f16ll, 0x9ca7cc6880dc0490ll, 0xd66eb0433b6482ccll, 0xf271a66ea8b0aefcll, 0xb11b7e0da0783468ll, 0x24662de935f1f9call, 0x1712680eec8792f4ll, 0xe3b17d46a47d8b62ll, 0xc18978d717543572ll, 0xbf0a7a5fb14e29c6ll, 0x8130af475f44c218ll, 0x4c85f26cc4fbad8ell, 0xeeb198b4c55e82bell, 0xa86763af761d9296ll, 0x6d0307e9a5c1bc3ell, 0x89e6ca549e37cadcll, 0xfcf9d41180c5d520ll, 0xe496d027c5d2f252ll, 0xdb002a338078df56ll, 0x2e76390ee2ac928all, 0x79cf9dc931e6c5e6ll, }, { 0xbc960492b8cc154all, 0x4951ecaad63356dell, 0x8e9ad59b67ff6714ll, 0xddbe2638c0819ce0ll, 0x507b1509e9ac8fe4ll, 0x997e371405179becll, 0x6099e77175e917d0ll, 0x8aa4de5fecc8bd08ll, 0x216f08ecfd131086ll, 0x1adff3e0257aa62ell, 0xb7befaafc013de4all, 0x29bb8824f3f78d4ell, 0xb9667b04f34983e6ll, 0x219baf546e9d5c40ll, 0x1fa27e15c3e3a62cll, 0x4ca57d8d39e31b26ll, 0xff7dff232720ce1all, 0x9e23f330e0e2e94ell, 0xee5aee4a7a4a7c16ll, 0x9df7b309fea86422ll, 0xdf7e10843cea2edall, 0x7c24dc008a4069c8ll, 0xa871480c6272868ell, 0x8826ac838181228ll, 0xdd98e671a150d130ll, 0x9a0a7273c6fffd0cll, 0xc7b910f722e3d80ll, 0x455f0c9626bd3e60ll, 0x39765cdc9dc60284ll, 0xb97e6b45ca4a80e6ll, 0x3bc1fcd480fb69a4ll, }, { 0xd03c1838b65b8562ll, 0xad36114420988aa6ll, 0xa5cdd6c87d2423fcll, 0x988120ac21eae346ll, 0x5b42554945f25d90ll, 0x6815c7c97ebae2f8ll, 0x822b504ff1b8df96ll, 0x96a66bc8ed0e9dd0ll, 0x868da834ca238fe0ll, 0xbc73d4033cf1f0all, 0x929abe4af8e5e4bell, 0xf203dd732fe3bff8ll, 0x24e1085242ba7eall, 0x816026c6e3f32814ll, 0xdfdc77540e1d61a0ll, 0x6bd2cea1853c3c0cll, 0x47d77f2e5e7fc3d0ll, 0x664399fc30e9faa8ll, 0x3373fc33e699ee16ll, 0xe66cd2ab7013d4acll, 0xd4e7ef9e5c4a082cll, 0xb816a936671310acll, 0x722326ef28f63b46ll, 0x5f622529aedcee2ell, 0xb9078be57837ce0ell, 0x7a3cef79ceaf1fe8ll, 0xd85edd69ac639716ll, 0x29b55f11cceeb25cll, 0x326f3f3ee992e932ll, 0x2c5d5c9bf669ee4cll, 0xb4f855a859033346ll, }, { 0x1ebd3f4a2528bac4ll, 0x79725d209299ba26ll, 0xa69d9274730bc254ll, 0xcf205bbb8e5a1292ll, 0x789e724468c1cc48ll, 0x718efa8c576861e8ll, 0x9b23064c68fc22fall, 0x98d951380f25eefcll, 0x91d1a3257eb5a626ll, 0xf60475e2188cefcell, 0x8c585b72c0f5130ell, 0x75af7ecfca527e14ll, 0x6bd5db98d9765b02ll, 0x2a76f07e3af2be74ll, 0xe66d2130af1cb0c0ll, 0xa3ac87fddca60e70ll, 0x73e5400dc68c5484ll, 0x5c43b0e60ffcbc2cll, 0xda86e5daf0093adell, 0xe8ca99d188e503fell, 0x1419ad8afc624bc4ll, 0xcd701916e8323824ll, 0x5436b31a813bceaell, 0xa1a5cf457c32648all, 0x76add461f916e982ll, 0x9fde59c8198e35d4ll, 0x90d478650dc388b6ll, 0x1f94e90da48ec51all, 0x1bd5db031fd75ba0ll, 0x6b9b9ec6a1fbafb2ll, 0x98f7890d8afc6ecell, }, { 0x384e4d716ed86e18ll, 0x3982c30339bf1720ll, 0x4bb9d2f350f5ce9cll, 0xc2aa0ff2cd987132ll, 0xb30235d873240256ll, 0x2fe4315ecac96e86ll, 0xe6387a702684eeaell, 0x8b0fc134212e27a0ll, 0x24867c66312ca92cll, 0x5cf5f19e92d0d9ball, 0x94bfc6a24a91a890ll, 0x4ce6195d813835all, 0xfe07897dfd870f7ell, 0x662f3d9be2b98ba2ll, 0xfe01822d30a8b932ll, 0x7a9abd62a645e76ell, 0x4d5a801a6db39d62ll, 0xbec490645b2e7436ll, 0xae8a5b3e798dc51all, 0x5ba0afe8e019dd0ll, 0xaa2a2c1be1736046ll, 0x36594880b1bf0b68ll, 0xf53bc202a28e50call, 0x56b27312b97b1558ll, 0x5dbbbc32295da672ll, 0x6b1278021bd4c2e6ll, 0x6044e261502b06ll, 0xad3e58ae3e772062ll, 0xfb692ec745274e4ell, 0x1a88fef468314e20ll, 0x840a7bea30f5fe4ll, }, { 0x8b4ff5fde4bc8638ll, 0x2bbc885752448d36ll, 0x6f074df70bf645bell, 0x394207191d516dccll, 0x711a816940ab5b84ll, 0x122f8965cfee45f4ll, 0xf4cabbc0dedf56e8ll, 0x5219e0f0c39eec1cll, 0x763be126ff6b91f8ll, 0x3616f3d7aa74644all, 0xdd39725cdc1ac1c0ll, 0x3aa07886c8e785bcll, 0xdd5e05e73e14b5cll, 0x6dad2e4abbfa4530ll, 0x2508259b1cea2fb2ll, 0x17390a6f8b45644ell, 0x661d44b852a3e5aell, 0x95f72bc0c7f1a594ll, 0x4ac3d861b17b7562ll, 0xb87d13e9ef99f740ll, 0x780bcb90e5718d32ll, 0xac13a3876657f3a0ll, 0x2691062947a08d42ll, 0x50df15fb47a9b568ll, 0x40ffd356a0c22620ll, 0x360a7c0890df62c2ll, 0xffd3000a3af54996ll, 0x9afd865984304804ll, 0xdfb3705fbb30d1a8ll, 0xbd80b96fd59d2250ll, 0xe86281cc1f117b90ll, }, { 0xdde912183562edfell, 0x98d954cf0f460e2ell, 0xd2b70046a2c60cf6ll, 0x5ade9fbb1602d370ll, 0x9c65fc22416a6ce2ll, 0x6768b6da10261aecll, 0x3146d464783dc32ll, 0x5fc271a92dda0dd2ll, 0xbc3ab46692996708ll, 0xdf41899f87d2153ell, 0xdcfca7aa1c908002ll, 0xf8eb330a87c0005all, 0xe77c48dc5e629a26ll, 0xf8ee0dbf22eb5d20ll, 0xd421df1e6148f9fcll, 0x74484754b5f098ecll, 0xf0387191f8d7b824ll, 0xd42f713ba88f283all, 0x97f41a5f71a9d624ll, 0x3d2aceb6f6112d98ll, 0xcdc81dec30bdeeb8ll, 0x1f94f311464cdeb4ll, 0x1c17059130f46626ll, 0xd0d515e2a0a6f496ll, 0x190d6cdb2cc56228ll, 0x3705b75ff71c8b08ll, 0x7a7152eb4e33689all, 0xb64f1cb698d4ce3all, 0xc1f3a222ddacdb56ll, 0x6546d3f879759514ll, 0x3f1f05eb2611a0d2ll, }, { 0xd3681355fb2a752ll, 0xba5431eb88c60d42ll, 0xb7f029668d71ba4ell, 0xfb3409802a848104ll, 0xb73f1f5b3f8ad098ll, 0x7806ccd2a4515bcell, 0xa9373651b091b84cll, 0x897911f477ac02c8ll, 0x796c5ecdf069134ell, 0xcb32381e3dd1951ell, 0x98cbec57872df9a4ll, 0x8daf7b95c2f8c5b8ll, 0x7135139c8085f38ll, 0x189a6f752fc0e3fell, 0x549e5097c32cb4aall, 0x51fc245f19611f20ll, 0x7d9a19e0e4a06342ll, 0x92dc15a4774dcb46ll, 0x5d5d01c1bf927612ll, 0xae0e3f495c3dd2e8ll, 0x8b4fd06e9d80b42ll, 0x8e6bbb5bfd4e262all, 0x72ffbae2c5f095d6ll, 0x48847c3ada896a96ll, 0x9b74713ac5dfb1f2ll, 0x5f5accea70afc2e8ll, 0x180a293ba623f8d6ll, 0x56df08f168121bc4ll, 0x4137eaa3fd592104ll, 0x1acc69f208bbba4ell, 0x39f4151c62fa9b86ll, }, { 0xa6d9cecba24a0e5cll, 0x2149926c34e45cd4ll, 0x566a9fe881dbd296ll, 0x83a654ddae7ffae4ll, 0xbd424c43bed8775cll, 0x9f7622ae5173822all, 0x5f286a6ec2bb91ecll, 0xdb2cbf56f7cc618cll, 0xfc18670bf70cacb6ll, 0xfedaf78f0ae1bb2cll, 0xd2bd68fa348a88d0ll, 0x8549b302198e12f8ll, 0x9460f6824474b9a0ll, 0x3823dd64ddcf04e0ll, 0x5255ef184c231020ll, 0x694a3e3e5db499d4ll, 0xe287b8bc41db70b4ll, 0x606154e727d850e4ll, 0x37e08304acba8f82ll, 0xe54947105c657460ll, 0x19f3c9956295684cll, 0x9c00f16bdbf245c4ll, 0xeb3d64e5f08421e6ll, 0x8a0393278b5d98c6ll, 0xa9a13505f5ac1338ll, 0x82ba7615d8f1f8aell, 0xc93436fa0b862506ll, 0x43af82a0f63f8996ll, 0xd3db923f6c57a484ll, 0xecac696f52e2f15ell, 0x2180bee7eaeb387all, }, { 0x69c64d2accb3ff1all, 0xa26401c2ac1000d6ll, 0x106dd5586939161ell, 0xbb2cea352eb84884ll, 0xbcb0b36a4fdd68d6ll, 0x6737909e36e1e484ll, 0xbf12e3e86ae975acll, 0x5983bd31a4440482ll, 0x7d2eaa6ca21b0744ll, 0xe42d673882582f16ll, 0xa7a0ea73d4146b60ll, 0x7aee071ebb705ba0ll, 0x3d2bbe22228e0a00ll, 0x981628f7e742f2f6ll, 0xcfd9e569824f6452ll, 0xa8256156d8334e1cll, 0x4f933168c9135a0ell, 0x6125dfdba0e4d31cll, 0x579ac8b878680be6ll, 0xbf1055fbb3f21730ll, 0x2ff2cf2acd8e3c72ll, 0x5bf4eaa364aa0584ll, 0xcfc4e88a38bc93f8ll, 0x1f4ab7df9d269f0all, 0xcb9d61903d74d448ll, 0xe8982247e59ae494ll, 0x40aa3821d2f92c32ll, 0x4746439d9f496e46ll, 0x36665dbc339bcfd0ll, 0x444b6fd5436d20c0ll, 0x89663ffdf4b204d2ll, }, { 0x29509999ca2ee800ll, 0x4969f04d2cbd4ebell, 0x3a3f136e31dd8bdall, 0x4f97d7b277429f9all, 0xcc1972ee8de1d712ll, 0x5d64feec19d2d482ll, 0x6fed99db1631476ell, 0xc3604cd0285a80b4ll, 0xea100246fc26b79all, 0x8f3478e8e1ba47ball, 0xc519a38873202820ll, 0xf6996caf8fe36042ll, 0x12458de02e2cafbcll, 0xadb1cc009aae7adell, 0xa35002c73bf490d2ll, 0xc7c7241e05ab01b0ll, 0x740697ca5c8362ell, 0x62e6d2652e98df9cll, 0x99706b8ac961e7ecll, 0x7f993c0267b7fe0ll, 0xde455a1c3106e1b6ll, 0xe6a0eedc1eb63f96ll, 0xdd6402cfdb0466f4ll, 0xee8260aa6740bb10ll, 0xeabb90ff297c24d8ll, 0x9a35af36e0bab9a0ll, 0x89c8ebce5cf8833cll, 0xb7abce63e1f142c8ll, 0x9ee2a6520d4aa28cll, 0xf0691b1c434bddf0ll, 0x9dd792bb788b1c86ll, }, { 0x3a41abae579ce044ll, 0xedd4ef7c9f28fa64ll, 0xe16014de94ea5bdell, 0x760510a6b0e9ea9cll, 0xd9aee0b6aa61b29all, 0x16bc0fbe217aeb92ll, 0x56b8a1ca66b350dall, 0x1adbc07e1a769a60ll, 0x7f833e8b691b4d76ll, 0xfd2d9570a1718fa4ll, 0x5c243455a0e93f90ll, 0x985d34d79498b8dall, 0xcf9da4a2d3b18b52ll, 0x8caecb462f4203d8ll, 0xfbdbd9e165735d78ll, 0x501fc5fe0ff39832ll, 0x8b4f0de73aae8dbell, 0x37b90648208c2fb2ll, 0xc49d185d28c67664ll, 0x562fb891755c19d8ll, 0x7bf1788ec910d74all, 0x79347546be2ad2d8ll, 0x8a211b94e6cf674cll, 0x9462535d271d1db2ll, 0xb42f42f13ba1618ell, 0xe487461dbd48f222ll, 0x5a6750559a916d38ll, 0xcd9d8db44fa5773cll, 0x5a94efd6f615bb28ll, 0xaabc84f4cf4607a0ll, 0xe5b7ef031449ea02ll, }, { 0x3f9d1b672a07bd8all, 0x138a057df629d5call, 0x98d647b2a522c760ll, 0x250c8ed9f9e576e8ll, 0x9209e1f9caac61c8ll, 0x9d796471060d315all, 0x4316ba397b60cdc0ll, 0xd5ed920af64c1a4cll, 0xb772a4cc30986d14ll, 0xc9a1f391906dbfb0ll, 0xe33eeed233450922ll, 0xaea1ad6d7ce33564ll, 0xe0223c45d3d6296all, 0x61441d481dce7d8ll, 0x48ac2601c5774128ll, 0x5a3f9d608d3dda20ll, 0xab5e40aa3ee3c298ll, 0x18fbcc4723ce0d96ll, 0xf106ad3ebebb7194ll, 0x2a55c5b2137786a4ll, 0x473c419fb0c642f2ll, 0xccbfc644d8ccfbfall, 0x8875bed897050e92ll, 0x7422edad03ee60f6ll, 0x7690cffa2b3a46f8ll, 0xd630bd693abae966ll, 0x6385ec545dde0b68ll, 0xcf64fa2f165b86f8ll, 0x689ee83213e94662ll, 0x71ae27fa82c71e2ll, 0x74ebdb9981af2936ll, }, { 0xd16df654056ad47cll, 0x81bf73199ac9c7a0ll, 0x8d5b39f233a5abecll, 0x4593c00b904eaeecll, 0x468a6aa15ef3541all, 0x9d08d399271625b8ll, 0x88d86809dd3b9a6all, 0x8314cd393c25b65cll, 0x8c3d3bd160ba4d5ell, 0xb2c079ae99265576ll, 0xd86b035beb4cf02ll, 0x7360f8880afbfcf6ll, 0x619278ebf6a3803ell, 0x93324f86945eef96ll, 0x89f4f15e979478ell, 0x1f440e3f0f690a2ll, 0x1b83c72700689514ll, 0x108425582b2c1cdcll, 0x170b48ef8eb7f310ll, 0x985ae82c605ec586ll, 0x2f1c511f43625f6cll, 0x6f252021dd76200cll, 0x87296b344ccd0b76ll, 0x3cc3748150e673ecll, 0x8cd29b06e2f2c3c2ll, 0x26945484cd704e8cll, 0xce88db76d35a7160ll, 0x9d94c495471457e4ll, 0xf9ffd5f6a6d85e00ll, 0xf1cfeebc86063c96ll, 0x1c4936e5307c54c0ll, }, { 0x32c37fb7864ceb02ll, 0x808359a2192d2342ll, 0xa221dfe8ca9acbball, 0xefa29afb2d363158ll, 0x3947bdbbe83a4aall, 0x1fdc187c4d8c45ell, 0x4d2d26d9397fd010ll, 0x8eeb549b3b9eca06ll, 0xd8d5248ee5a3076cll, 0x71e18cdc550c2f2ll, 0xf27e2f53e915c3e8ll, 0xbda52855b9aaab7all, 0xff4569bb5046f98ll, 0xaaa4074779ba8708ll, 0x1f72b4d524a6169all, 0x4648fd93b05ca774ll, 0x550f6ac5c2e0269all, 0x6b8c9ae87f7953dall, 0xfe7a5cc70f042e6cll, 0x52ee00aefba04320ll, 0x87ec47abc92af6bcll, 0xaf25c00b2865d918ll, 0x2b4f7ff1e48e27e6ll, 0x67fcb51942b46664ll, 0x48a325f205851c2all, 0x7598ac6ea2517762ll, 0x29ff36a05947779ell, 0x92b2de1ac387e8d4ll, 0xe4053d9ccea47372ll, 0x13cf99fd938c2396ll, 0x8baebe58fc88a09cll, }, { 0x85e895c6b72c045cll, 0xbece405d525cf48cll, 0xcf98b613b5fb7d06ll, 0xd8acce38db8d776ell, 0x77cfffbe4eb363f8ll, 0x5f6d3d1955311d2ell, 0x3a1041c74775a50cll, 0xb135e413b02c7a88ll, 0x5deb5b48ab5e6076ll, 0xdd5d6125ca6e82bcll, 0xd1c0fbe6485ec7fcll, 0xcbe8080b14e9da2ell, 0xf294fdf0146b41c8ll, 0x12785f209cadd184ll, 0xb278812bc3de6852ll, 0x1646bcc7665a883ell, 0xa0c982a30db4a766ll, 0x26e51eaad8d50c18ll, 0xdf32fd6b21e82c3ell, 0x4b0121cddb401196ll, 0x28630497f94b1ce0ll, 0x62079550b3dc7668ll, 0x6f6fe564a582592ell, 0xe039db353cf89b6all, 0x8e670ddc90d710a8ll, 0x9bf768455aecfb0ll, 0xbb6de802cf6c142all, 0xecaa764936649ddell, 0x8d76cfd6fb5d5e34ll, 0xb40dedfc428c3e42ll, 0x825148c400186994ll, }, { 0x78c6ddd901907b02ll, 0xa66c88ad84093a36ll, 0x97ae61a6e1d30850ll, 0x151f6cdef51f8bd8ll, 0x7b4ab84c80fbae56ll, 0x8a88c7d3895304cll, 0x46e0ee851065d9e0ll, 0x4de1d56766612baell, 0x36bcc1fdc638f9c4ll, 0x3ba453cb0d1c93eall, 0x98f3a0e8cbfbfc3all, 0x18dde11a9f912362ll, 0xbf2c0e8b3bd934call, 0xeb7e2287ec66b106ll, 0x20cc4f1bc3fec0d8ll, 0x26acd5276c7dca68ll, 0xd03331457c13ea50ll, 0xa4bf94898e6267call, 0x7c36badc7e915204ll, 0x38e7d0dda9f44ec6ll, 0xd9971ed61ae20c00ll, 0xc1e09d5815bbb19ell, 0xb145ccc0bf03a756ll, 0xb4f0a42ae6ba99c2ll, 0x79e55002331a67a6ll, 0x77e0e88898a043bell, 0xe4ed10c38e0d9172ll, 0x887b30958dfc8030ll, 0xe2f359a26883f32cll, 0xe5ab199c354b51aall, 0x5250c9fde8b7e46cll, }, { 0x45ab916817fbb8f0ll, 0x3e845083efa5065all, 0xf830230c715f2522ll, 0xe4f3b884541b7ef8ll, 0x9aafd37224e8f60all, 0x2d207e0d2536a188ll, 0x59c4650be15b6486ll, 0x92e74a4b7c800c4all, 0x1fd7057df39e0388ll, 0x835d6f1f82cf7fa0ll, 0xf4de4521514a1e52ll, 0x9bf4e41978785ddall, 0xaab7121773fbf6b0ll, 0x637c914040ee1d36ll, 0x823774a7db172b8cll, 0x96e32def39fc7d3all, 0x4563fbd750fd3296ll, 0x71aa8af6ab5436d6ll, 0x764d8ad947f5bf7all, 0xd42a135e71928358ll, 0x7ed5e31943a38c42ll, 0x3b848a4a3dbb61b8ll, 0x2f5bae0cac960064ll, 0x9bbabcfc26877e6ll, 0x7e11aa4cb89046d6ll, 0xf847c3480ba96468ll, 0xa1ae3c40823f3582ll, 0xb365d87ee87836e2ll, 0xd17a4d918f71ee44ll, 0xd78dae4f224ed56ell, 0x9a35bb8a278d8886ll, }, { 0x6efa066263dabf72ll, 0xbf638714fbb5e574ll, 0x595f83606e67f6e8ll, 0xdbe1fe686fa9f15all, 0xf6cbe3711c0edc18ll, 0x3108e655a56a0394ll, 0x47f6336a99e3d80all, 0xc93588b33acd3a38ll, 0xb63e750bf0e8fce8ll, 0xf396879a6deb706cll, 0x25062d042c717dcall, 0xba9d9125dc1ed94ell, 0x800f20fe85e385fell, 0x5c976f6073d72662ll, 0xaeb86ffb503015b2ll, 0x9dc570c73bce8eaall, 0xd8d69e6f8d09078all, 0x3c43bc79e9640ec2ll, 0xc62e04b83b802850ll, 0xd9b9ac1ba2de1b32ll, 0xc9db03d7321e179all, 0xfd12db2fcca5e372ll, 0xa32668e6e6673ad0ll, 0xb78e284744f79bf2ll, 0x273bc2288e0750dell, 0x6fb447b823a6d4dcll, 0xafb90064feb95770ll, 0x6dca3e6c0caf7f6ll, 0xc60e2d33ca5b5208ll, 0x5ee5831489af6274ll, 0xd4cb1e9c3e87f814ll, }, { 0xed6910cbc5695128ll, 0xd1a3af14eabba496ll, 0x5d5a6d564a8bfc38ll, 0x354621ad726001cll, 0x7a5cf45a7f0a2c22ll, 0x8456d9a90f6d23a0ll, 0xc04861883f88a898ll, 0x151573fe289f7adell, 0x74c2294c076a2f8ll, 0x9983a626079ae972ll, 0xa1331896805f2e1ell, 0xd5da2869dbe3ed4all, 0x2d0c98773fe5a950ll, 0x7cc23992375aa326ll, 0xd07809121d4a4840ll, 0x81fcd6b7f143c14ell, 0xab6c6a4247f78cf0ll, 0x397cf359cd91bae0ll, 0xb5913c6b9d44b5aell, 0x4042ff6b2dfc8d48ll, 0x51190a2b3d09dc74ll, 0xbeca1872eb50cc08ll, 0xc65049693b2b2128ll, 0xbbf2cc066704b46cll, 0x9316a931ad56f48cll, 0x4c92f1aceeb4b4c8ll, 0xc61827653dbec422ll, 0xb1e916f3a76edb00ll, 0x4f3eacfe25112878ll, 0xb8ab07eba5167534ll, 0x18abcf952f2523bell, }, { 0xce96b4a4464a4424ll, 0x69b88a9ebe12c32all, 0xa18baa9343afdc78ll, 0xe183a1fe79ee5aaall, 0xbf017531a415f72all, 0x4a24b21b21800094ll, 0xbb831940721a98ball, 0x62c9fd13647fa096ll, 0x1760144134de432ll, 0x381b272c7bed1aa8ll, 0xca89c52f279d56cll, 0x82c1deaaf40ff03cll, 0x2d3c74e5c423a592ll, 0x90a7491832662f52ll, 0x15e6c48a56014a46ll, 0x37f78e19d08cf95all, 0x4694e5c279ee0a8ell, 0x16cd325045e7b878ll, 0xbee76912b5c088a0ll, 0x8dfcec139f107c8ell, 0x8dacb0eda5aabcll, 0x410b2bb2ec959380ll, 0x13e93232355526eell, 0x31da05dea33cd63cll, 0xd00b8fee21ab45fell, 0x2ddf602f59c3825cll, 0xc16c7b151b0728eell, 0x1848aecc9e9395c0ll, 0x8684580a6b92a9e8ll, 0xa2de52cbe7f44e40ll, 0xa1bf52130c3c7c52ll, }, { 0x9115805537c66472ll, 0x5494def2b46d5ff6ll, 0x7365c48693bee734ll, 0x13b6fbbf056bb7fall, 0x2d13bce4bb2f5e8ll, 0x8b4e6e4ce729ad6all, 0xd2a7de81feea886ell, 0x32efe557df30e3b4ll, 0x37ec8f0f42c7e580ll, 0x3726c1cbdc53f684ll, 0xb935a0774a6c6fecll, 0x36983984a344c9a4ll, 0x5f9adff30ca513e8ll, 0x4ebc92254a71c8fell, 0x2f17d169abbb9ac0ll, 0xb605ba0ef4aebf4all, 0x760783df77fe5de4ll, 0xffcd5a20ee5a98c2ll, 0x378bc4f0fd2a48b4ll, 0x71ab631665aa9918ll, 0xb371869352944e3cll, 0xa582582b3c58dd2all, 0xa644c10e1887c652ll, 0xc29cd7bf4c61d74ell, 0x413948413a7bda3ell, 0x380ab72a08f92354ll, 0x4ff1f74070b5196cll, 0x90fe1dfcbca707b0ll, 0x55a2e12dbc29696ell, 0x100f63fb2cbab028ll, 0x80e0813831264be0ll, }, { 0x66c1bc1610bf491all, 0xc18398a9306673ecll, 0x8087eaaaa4b71466ll, 0xdfe1c90f61b5f872ll, 0xe6849242c18095d2ll, 0xaf85feb91429e664ll, 0xe9889a93d3b64fd2ll, 0x86c96c0d363250c0ll, 0xa71402b804733490ll, 0x3d8d5a88a1c41958ll, 0x50067305b0de74e0ll, 0xe3d16dbb3e8bd48all, 0x283e023678dfc9b0ll, 0x280900e3642434c0ll, 0x3c84c279092d9f3ell, 0xe98e190905a73876ll, 0x610000ed6c9ff008ll, 0x313f4efdaeb1ea2all, 0x8817190266a18130ll, 0x1b5ec8337822d590ll, 0xf51c492ee4bf49a4ll, 0xd46ea8156d21bc1cll, 0xa2229111b37a01e2ll, 0x637835e90d6dbeb6ll, 0x7af2ca014cd488eall, 0xf07c1eb9e263bc8all, 0x93f29ef4eccca52ll, 0x7fca6e25efc2ba50ll, 0xd5b74e1aa22ec7fell, 0x8c25fc924cfe1a7all, 0x61cd80a3cd223e0ell, }, { 0xff63642441e033bell, 0xf2a316f487db7204ll, 0xdbb1931645c0c3e8ll, 0xd2520e2c6ff157eall, 0x13362c542043bae6ll, 0xf6a39808b1e331a0ll, 0x9e6f72c4b4a4be82ll, 0xdf8d9519892deed2ll, 0x1e622ab5a4c7cdb4ll, 0x97d90a2a8878859cll, 0x8f477357bc60a29ell, 0xdd16b587a5365d1all, 0x2a285cff7ae14f22ll, 0x1c44b091ea2686fall, 0xabd04e678b467034ll, 0x7201f6e50e1e2a34ll, 0xb3d4c0677e2698ll, 0xee556fc9ee26359all, 0xeedbc4c52e6a9beell, 0x37cd5f0823a50e80ll, 0x106c3c7bc045dc8cll, 0xfa74b4aab118a5dall, 0xaa14acb0672b7ecell, 0x1088b759a8782b7ell, 0xc383e9135ad6bddcll, 0x814c4d9e97abd5e0ll, 0xb606054a9ccb5642ll, 0x1b1b1d5b4482b5eall, 0x7b37e81ed02feda2ll, 0x63dfd307fb76a272ll, 0x94ec7732d6018716ll, }, { 0xd5a5b7d0d217daecll, 0x8dc922eb9a9c814ell, 0x5713e0577f04aeb0ll, 0x6e771fda74c67f72ll, 0x89e36470944d47f6ll, 0x74071d3a829e7196ll, 0xbcd26b8d6837b112ll, 0xc4ab9adfd9925bcell, 0x9a0388ff200914bell, 0xf1c8e800901cd840ll, 0x50e73baf9dd185c8ll, 0x8cf36ec282676eb6ll, 0xecd485594f05d4f6ll, 0xdf4dcfa8c03f2d98ll, 0x351575fccbfe36d0ll, 0xb062784fb56d5fd0ll, 0x852d9935ced11862ll, 0x44584b4b40e0b7d0ll, 0xe43d5cdbeff7f40cll, 0xa5dc0cc1ff0e0052ll, 0xf08d3ca9abf7a1a6ll, 0xd6bbe7c0ace1128ell, 0xa4a2d17684bd7c10ll, 0xe4ac73301356dcdell, 0xeb97b2274be39338ll, 0x925f1dbe60746ea6ll, 0x4ab17868c54bc3fell, 0xaa3a9a68e5ff5b3cll, 0x837a35c1b17afe70ll, 0xb1ab180017014eccll, 0x3175f96085392072ll, }, { 0x1228d24f5d16b4b6ll, 0xe957f97e1073bb56ll, 0x91cbb0f1deaf2d1ell, 0xeb33b462b2d6e9a2ll, 0xc64de0c98435ee4all, 0x1d6969a8b417ce8ll, 0xc03add3fac963e5ell, 0xcf982c4217c99b80ll, 0x250365de4cd148aell, 0xfccc94c1de5a3740ll, 0x17817268b8ef3d80ll, 0x7c1949e0077c3e42ll, 0xf8e719372246eeb0ll, 0x9ba5bd3df9c9a6dell, 0x68aa5862fbc612cell, 0x48f6c1c0f9c2c156ll, 0xc7e911a82b323a24ll, 0x5295e9e04cc8367ell, 0x729b084736218538ll, 0xdddb1866d2352c56ll, 0x77c3793ad6cfbd9all, 0x73c1c6af15512b1all, 0xc637f3a0f19db10cll, 0xae2e3e4eb1812008ll, 0xda220a39536bf72cll, 0x85c9fbaa46bab7dcll, 0x6e70b2b5afa729acll, 0xcc20e4d279f471a6ll, 0x32b03e19e88b4f2ell, 0x384c6062ec3bd4ll, 0xf7857130c455abaell, }, { 0xc5a246cf65efec1cll, 0xe96e4433aadd3b7all, 0x37d36b08becded00ll, 0x8337edded3453fa6ll, 0x9fd2fedbb4282ba4ll, 0xa1edcfeb55787b3cll, 0xcec7f2a33c1c3f5ell, 0x77e17b0bfbdfc266ll, 0x958d0f473ac3069all, 0x11477b124cabc0a2ll, 0x59c9321c43793e88ll, 0xb9a6c82b60c657c2ll, 0x891cf9590737b62cll, 0x684bd175c66ca586ll, 0xf3b0c224da4d0c18ll, 0x7d382edb47d68488ll, 0xa4d2a106e99704f4ll, 0x709108fe6ea14772ll, 0xd21d815124a961e2ll, 0xc10b2fee6852846cll, 0x2bcf3c6c850c7984ll, 0x37f1c5effc115888ll, 0x708bb3c4446baa70ll, 0xe11ed9ef2f7b1026ll, 0x1d205f9dfe21161all, 0x92bfdf6fb980c574ll, 0xdde467513d34a9e2ll, 0xd681d1007452825all, 0xa1a8d4c2612069a8ll, 0xeec70a5ab3ea2360ll, 0x3e1dc8ca55f83d4all, }, { 0x44f4db8e628359dell, 0x3548536cce15a570ll, 0xb378174bcdcb36aall, 0x1d0dbc608a5dddccll, 0x7de9792da1e46ec0ll, 0xf8732ad9eb70409cll, 0x66b3e07b7053d6e2ll, 0xe82e517b5efa58b8ll, 0xbbf6f1a814c7097all, 0x34ad5a771b3f9feall, 0xda59bc7d3a678602ll, 0xac2ebc979eac9814ll, 0x628b8fae467bfa96ll, 0xd0e290b28d2e4a64ll, 0xe1d077bad5bd59acll, 0x45fb69a67c593aell, 0xe05d428a352a7274ll, 0xfd7dd376415d1202ll, 0x8ee6b44c36087d74ll, 0x21967a0293d162all, 0xc337a1d17f3d9b5cll, 0xb2ee1504913f27c8ll, 0x951091711c91b822ll, 0x1eb1c13ed806942all, 0x7c90ed8ece233c58ll, 0x5a7c2a8586805e36ll, 0x253fa58e5fc80ceell, 0x991ccbd06c3b4766ll, 0xfc04992ca07fa0ball, 0x1a120106e98e8336ll, 0x1f3dac0d4c32984cll, }, { 0xf569ac586792fb58ll, 0x420732144b81022all, 0xaaf62a40faf8f6eall, 0x58eb8260ec4fe4f0ll, 0xe6f46223b40b6c54ll, 0xdb7a8bf23924f3all, 0x73303e56c1bb3af8ll, 0x10bea760f6b499ball, 0xa0f004751619c0cell, 0x149775792b310704ll, 0xcbc7ed42088ff032ll, 0xb3cbe54f892f2c3ell, 0x7c6f39c7c1b8c534ll, 0x90744e7af13d29b2ll, 0x7b4499dbae9f9fecll, 0xd170da6c7f77b73all, 0xa2b9621493bd5252ll, 0xa4a43f063cff5a8cll, 0x60de483c1a329312ll, 0xefc74e3041294666ll, 0x84d53f10f7cb1b4cll, 0xa1c8f342dd85f192ll, 0xaee3fc3d063d0ab0ll, 0xe481df3992f6768cll, 0xf9750aaf16ac6a6all, 0xef8d2002fb80347cll, 0x3c9fbd302beffca0ll, 0x516db7736636f36cll, 0x6cf204a0f7513422ll, 0x6cbaa75f4b7d9b74ll, 0x229a9dbf0265614ell, }, { 0x166246a584105efcll, 0xcd2d4f45a77ddf58ll, 0xbc31b0dc674cc7f0ll, 0xf6a5b350cb954dacll, 0x564dea60e7b21ffell, 0x597353d9e9dc7e02ll, 0xd890b275f1a6453all, 0xd92abffa65d341d8ll, 0x4a81952c1d259fc4ll, 0xb84967fd43341464ll, 0x41ea1d2833e90706ll, 0x21948268bdcd94fall, 0xa23022e2c88399e2ll, 0x11295c322981324all, 0xbc06c2abf158dd5ell, 0xde91daef3a4ff83cll, 0x84dc407a1cd69b8all, 0x172d24170dadc09all, 0xb8d3d4be34fd7e52ll, 0xb537abe1f08b4cfcll, 0xba2535c43ffaa66cll, 0x9eeb490fcbf9fae0ll, 0xbeab6f758c062e1cll, 0xa0e751edb620c1a4ll, 0x3b2aeacc97e7b12all, 0xc636fdfd94f1f956ll, 0x84c281f79f9162fall, 0xa17d26f40e8576e2ll, 0xdea3dfdec5538674ll, 0x3bb84b289e6e6b00ll, 0xda9f87408a137aell, }, { 0xf1f3f55b6db38178ll, 0x730bfacab17001call, 0x54ffe585ba1c44d0ll, 0x692924897df13c8cll, 0x85db2c3c7d2e8790ll, 0xd80a401e8af3cefell, 0x507919513048b948ll, 0xe3565d75c9fba130ll, 0x5e09305476e86dcell, 0x968f5af99e0742all, 0x59a286df39a1cf26ll, 0x66343de12066610all, 0x3086ea7bac083126ll, 0xa693b902a4d426b4ll, 0x89fcc560a6620880ll, 0xc443bb6194549c4cll, 0xf95f469a62eb44e8ll, 0x5db567d7a91c4054ll, 0x6ee5a82b38562986ll, 0x933c4adc4d01aad0ll, 0x1383ff356f39efcall, 0xd34128ca53d74d0all, 0xbb4dd0846643c3fcll, 0x2192f0ee15c11536ll, 0x431ec3897b29c100ll, 0x4ebbe3e7e6ed8988ll, 0xa08d64a091c23c0all, 0x89030be163cb07a4ll, 0xe62d3d52891a49b4ll, 0x61a021182402ff00ll, 0xc157b1f74ea9b97ell, }, { 0x4937390017f9e714ll, 0x553a1517a525684cll, 0x216a9752ae686a72ll, 0x4131f9146b9a598ell, 0xb0be75c047e55814ll, 0x6fe062f6177bbe7ell, 0x284a47afe92df5ecll, 0x20c1c8744290af0cll, 0x2be054e5147a3a86ll, 0x5d997d3fd3dcd990ll, 0xb7de59dc718bbb0ll, 0x499a9528f673977cll, 0x99f0fa414fbdc7ecll, 0x16065f5882fa935ell, 0xd351a32575edd46cll, 0x904d5b3df33f5458ll, 0x3b7b315c34576a84ll, 0xdfc432a8347fa4d4ll, 0x9b44aab9ae171f66ll, 0x2a16973a8f91fd66ll, 0x975ac8a987b48718ll, 0x612c5346f15b2f6cll, 0xa3ed317cb568b08all, 0xdb7e4fdc5096f1f0ll, 0x3df82c25ff8653f2ll, 0xd85ea0aaf960184cll, 0x52a0642e3b00ed86ll, 0xe18146caa4b5682ll, 0x67ee6f4d4c6d7372ll, 0xd7fc40fa1278eae8ll, 0x2d3cbcb55ff3d2fall, }, { 0x89ae193035040134ll, 0x98b928ae55ea4d8ll, 0x3b68305adaa04da2ll, 0xa53eab00004ab7d4ll, 0x2591a64369df16fcll, 0x2b57a2b49d2eb588ll, 0xf1b6a1c0cf5a9b54ll, 0x8392dd61061e1db4ll, 0x76a92d625ad4886all, 0x24bb00e5b2405a4all, 0xe4c4114115762c58ll, 0xf17f8a793b71abdall, 0x44a523bd7a2023f6ll, 0x19e228a2afc1610ll, 0x9f0ac240583c4596ll, 0x862fb8fa677c4c2cll, 0xb9c19ed8856acb46ll, 0xd3a10e036c6c272ll, 0xbcf5ba9c4d56f7b4ll, 0x387c26b60c4a6a48ll, 0xa123a1d3bdd1e772ll, 0x1a8778959f3c8cfcll, 0x59d2587767e5892ell, 0x77f9457721ad4b56ll, 0xeca71fff2639586ell, 0x82078124c900c592ll, 0x66f145e769dfa6f4ll, 0x52638b0365076d20ll, 0xfca753353d0630aell, 0xb2d369e0a055a180ll, 0x648c17705c31641all, }, { 0x959a8e31a5f38e50ll, 0xcc080ae19db128b4ll, 0xb285120854601806ll, 0xe80f22585a15801all, 0x78334740039909b8ll, 0x7067bc342c76af14ll, 0x4a2a6acf287b445all, 0xc775dd88dd2112acll, 0x1aef74c3b23a9296ll, 0xcf94747f3110bd96ll, 0xa978d7d8fa77afall, 0x2195f33a6ee1d2a4ll, 0x9fafd68e92be736ll, 0xcbe104774cac341ell, 0xa17c85c9230cff72ll, 0x6314a65675c15e76ll, 0x39b558b8f56e10cll, 0x89f3da6eadecc532ll, 0x822fd9883e182026ll, 0x952cbf1065b5b442ll, 0x7da6aa9dccfe9aecll, 0x8ce6d710293fe876ll, 0x30c227a0c3257de0ll, 0x52875f3947819430ll, 0x8a7a06e51674f8e2ll, 0x1502e56a2c82184cll, 0x6eb50f5367ec7312ll, 0xd8ea8eec1728b186ll, 0xd99d94d91fb43dfcll, 0x5613388b1273414ll, 0x527dc218ac54f712ll, }, { 0xff5e4c066c423638ll, 0xadac6bfa4e5038d2ll, 0xac2e0b533bcc8f90ll, 0xd99a32524ea14abell, 0x7ecc3a13eaa90338ll, 0x6bf7a24446a11f28ll, 0xf9ecea5b5df51e52ll, 0x6340e3539baf6e2cll, 0x67b28e303c793cfell, 0xf1a52ea41a7d17b4ll, 0x6f024c9b994699ball, 0x4bb204f18756f880ll, 0xa1be0e5c6193eed8ll, 0x5729ab1a205f9d6ell, 0xedd64aa45eecf246ll, 0x700d477b0bae2b3cll, 0xa0ec1b971dff3134ll, 0x651d9fd5df4327fell, 0xcd1d989f371cf990ll, 0xa762f42c2cf3983cll, 0x3b43eab434a4593ell, 0xd6c8ac91c19b45b2ll, 0xcf30e3e595c64acell, 0xe9f05f86fd086afcll, 0xa2045dbfd7a66dcall, 0x4dbc360702f98d50ll, 0x5e121cc4e068543all, 0xf9fc130d04b2450all, 0x7bb4711352bbfe08ll, 0xa54d972b2bf90fe8ll, 0xc8889f93106861ecll, }, { 0x421cab3f3b051e50ll, 0xa965b82f18f5a022ll, 0x2e7527ae844df29ell, 0x46aed86721eb8042ll, 0x8a054bcdb70fbc3all, 0x333e961a48b644call, 0xb0a928d0ad79a9f8ll, 0x77c9172584f7b78cll, 0x681f8dd1bae9d5d6ll, 0x239cf0d50b3c7c7ell, 0x2f2db13a878396dcll, 0x528b32727d92086ell, 0xf764b05c518c2adall, 0xb807915a47d535e0ll, 0xdb82f4aba9930432ll, 0xb9083848fd657efall, 0x1b2cfe13ee69cd86ll, 0x7b5154d62ac12de6ll, 0xf6d3a8e10c9df9c0ll, 0x30d8d528ed9067cll, 0x6b7ac2899ecdcf60ll, 0x816094c1e78a2beell, 0x251cadd5f0700f3all, 0x8043ddbdaa1bb5d6ll, 0x6b71e6664b27e64cll, 0x18a4794237767ecll, 0xb8d9c58613cb957all, 0x946c3728f4072918ll, 0xd84cba02076afb36ll, 0x2bd7020f23ce1522ll, 0x7f9c92ba0214c20all, }, { 0xaad69ece7a14cfc2ll, 0x1e1d631d8a8d6224ll, 0xeb3684c032b30974ll, 0xad2c3b0a914e4faell, 0x2e9960ee315a176ell, 0xc8164ac5a8544aa2ll, 0x8e17c30fa0c8ac54ll, 0x9920c63a02fde45ell, 0xebdb2732ad6f7902ll, 0x51b472369d71e79cll, 0x4cfda2a58e794782ll, 0x5cf1158b9ee83746ll, 0xd31e26bb7ad2259cll, 0x2d38334ba5c9f0e2ll, 0xd02ae65b2556e1call, 0x7803869c592b0574ll, 0x3314d8cb92dae6a6ll, 0x7c515c8a3f202b4cll, 0xabfc5b50ed7815aell, 0x9f6334a100487462ll, 0x4c4fe46107a44c68ll, 0x8f7cd7cf699d6842ll, 0xa9d3cd47d0841f08ll, 0xfdd635e52591bf4cll, 0x8ac2311b5aa38278ll, 0x3c8ad7c009574e1all, 0xe8186e4723fffd5all, 0x7113b7c213001dc8ll, 0x277d83a4c5384c2ell, 0xc87f67291542149ell, 0x21b0d90ee78ba346ll, }, { 0x8c3bcc183e25b378ll, 0x9f1af7c03bde9878ll, 0x9b38f38495123154ll, 0xe2c078d93efd1e6ll, 0x6c5d1a4b07e00a3all, 0x5391fcce392addccll, 0xf10f04cfc5f48704ll, 0x1f46c4b8ee3ebeeell, 0x1feed0e1ed3a1de4ll, 0xd79c0bc3f66d47ccll, 0x25d0c30be8ad30acll, 0x789cacc4d5a4c34cll, 0x275f717b0892b23all, 0xf1808bef9e968958ll, 0xa57c94ac70a38ec6ll, 0xe959816498a9b1fall, 0x8b50cedc88d3d52cll, 0x7fad7b08328c1612ll, 0xb9ee46350c6a3ad6ll, 0xf21365bb841c3472ll, 0xb725d474420b9940ll, 0x76cf87e92c92c63all, 0x6482f4ef1cbe7668ll, 0xfa3d8ae627b0afcall, 0x95153719894f1572ll, 0x4c4a7315e66005bcll, 0x20890043cf9cfd4all, 0xf3d26f919dc2cf9all, 0xc64c31dafdf44ee2ll, 0x10eea1af3b01b312ll, 0xac9de8a2c6cea48ll, }, { 0x8f3eb5cfb27e9fe2ll, 0xb272352011f57f06ll, 0x9bcfac51ad8701ball, 0xdeff3a628e979a02ll, 0x2eaf9f7cf90b6edell, 0xbddc4499586eb8b0ll, 0x3b27cda8911803bcll, 0xe57f5f5f916e6f06ll, 0x46364511775b350cll, 0xd8ccf2b941be0726ll, 0xfa1f2d3ccc1e070all, 0xe839b93f180d7532ll, 0xf4ba5a904682ddc4ll, 0x7300f3045c8ec472ll, 0x4406670e3952f286ll, 0xfccd906bad47f65cll, 0xcd4060dc1c7a5174ll, 0xb9caa7e7a886cc02ll, 0xd758696f0dd94a90ll, 0x46ac2557c2fba7ell, 0x963bba7f78d09a64ll, 0xb2076b0e018be10ell, 0x926ac9531faf0a40ll, 0xdd54ee69d9d18072ll, 0x5a2610eddfe5c36ll, 0x777607588f81e12ll, 0xdf4dd3dcc3d234f6ll, 0x828e824adcec146ell, 0x53ec4da6c61eea8cll, 0x35f74e694fcd5446ll, 0xe77c6b5d18c6deb8ll, }, { 0xfdf0f15d1aeddbeell, 0xb5420a385dd8d62cll, 0xb1a2512d395ddbc2ll, 0x892adc9c7c8c6680ll, 0x26c8b57d25c3110ell, 0x112a7f0544544af4ll, 0xa9fb3ee359ce6aball, 0xeba5f7ccee380dfall, 0x3a074906d80e934all, 0x520c615645b4beb4ll, 0xfdcbcfee213741e2ll, 0x90303c157827e8b2ll, 0x792400d815b29c86ll, 0x99ff24ab8eb516e8ll, 0x2433ade1ab9f0864ll, 0x7bedc51e8910d7a0ll, 0x4f815fcb4ea684ll, 0x496e219d782bd3fcll, 0x7041506aaae312e4ll, 0xf48b684203a08538ll, 0xfa6b3ce2dc43bc74ll, 0x1ac7c83681c827all, 0xbcbe7fa1bff42beall, 0x1330e09a7b8cbb0cll, 0xce55ceaef4da4adcll, 0xb4616976cb72399ell, 0x2e7b95c1cf2d7c30ll, 0x66c26b6361176cdcll, 0x44efe7dc3e079dd0ll, 0xdd7d8f2711855ec8ll, 0x39ef886241df27c6ll, }, { 0x10b842bf5ecd7842ll, 0xe0d1f3ca769b57c0ll, 0xb33b0aa58b0de9c2ll, 0x9216ae1e62911e28ll, 0xd29829db236acaaell, 0x43efee3c0f3301e6ll, 0x379bb71acbc94f62ll, 0x12c3766430c4342ll, 0xb8a7dbbd15684cf2ll, 0x194cca4569a9de3all, 0x78dd56cc014207b2ll, 0x2d296486d3c79658ll, 0x8ba24def08c50396ll, 0x21fb3b56c475451all, 0xcfbc836c418dfc1all, 0x4598efa1c48b732cll, 0xf5d5491570139bb2ll, 0x2c0c1aa70a6925c6ll, 0x7b93d92c565e0134ll, 0xe30dcdcdbb9642cell, 0x2edb135299e3daa6ll, 0xdb34c7fc8ddb8e92ll, 0x6afc823ba2de7770ll, 0xf9812e462b7a117all, 0xd6f2c19ff65e600ell, 0xd35986f78ee7f3b4ll, 0x68f456de3d652af8ll, 0x2bfe485f33e5bc58ll, 0x829640705e5ac954ll, 0x5d971eedf8a69620ll, 0xab89ecc5c8916daall, }, { 0xa41c5880bfe7354all, 0x5960f51e225f94dcll, 0x68a196cbe8166caell, 0x7d15503a8163922ell, 0x9ab7ecb60160ce8ell, 0x94fccb5b026b4cecll, 0x94122fab260e1066ll, 0xa83c50261b7c050ell, 0x58b7a1b390dd5962ll, 0x9d4605f19c4501aall, 0x2690dbea0c051836ll, 0xe107da6dbcd3b492ll, 0x744d14af7511bb0all, 0x5b037dd765559d1ell, 0x456e39f3b068a078ll, 0xc58d2cb6ddba7dfell, 0x11156be3d0a7915all, 0x963da9a788940864ll, 0x987b80484110c33cll, 0xc2f4094a1849841ell, 0x140093eb176d458cll, 0xf6f4410061a7dfe2ll, 0x872214891c52c970ll, 0x20fec7b8eb62fa06ll, 0x3f25acc7d145298ell, 0x36d57a83927c2a1cll, 0x7ec489129125a72ll, 0xb7b53c5c3cd9a5bcll, 0x2109ef2c0ddc296ll, 0x17676202b2defee6ll, 0xd90f5c7738e84642ll, }, { 0xf8d2958bb46c5c1ell, 0xa9922f1e53b31a3ell, 0xae9029b352cade4all, 0x8beafeadae1fb780ll, 0x50cf40ad1e3c0d78ll, 0x4dbbe401f4fbd0e0ll, 0x6f7fcb30444ca1bell, 0x855e6bdca497a742ll, 0x25b6140a94a70cacll, 0xfffeb852c2c0d26cll, 0x6672326ba42f6fe8ll, 0xf7402659b00ec9f2ll, 0x931889e6809dfec0ll, 0x38180b42405a1972ll, 0xf836c33257197c58ll, 0xe06af6a8c4971222ll, 0x737f8059ad2f395all, 0x923651a14214b98cll, 0x729342a8be04d98all, 0xec7c4b8be2913dfell, 0xd7625228ece4e90cll, 0xb81e937fed8a494ell, 0x824304481ce91d2cll, 0x9cb5cbe11a962afall, 0xb8ac5f6a890e3288ll, 0xc300c4210a130b68ll, 0xbd70840d137989d0ll, 0x279daf0e2e0c8902ll, 0x2c9a16dab3f0e076ll, 0xff1538bc0d5f10c4ll, 0xeeccf21c70a0ce56ll, }, { 0x299537486a203178ll, 0xee62312812163a7ell, 0x427dc6ab720e8f2ell, 0xc0d403949ac4c000ll, 0xd6f97dec43c5206ll, 0xcad8fcd5f85297b6ll, 0x1c5297246fe4d168ll, 0xc82f78b180d7612cll, 0x8bca5984eb8979a0ll, 0x5b1958a5491f604all, 0xf1673978ba95c048ll, 0xfe5f5ecb0263e3fall, 0x726e25ccf295509cll, 0x2ecb0fd26157df64ll, 0xc6672085e46f32ball, 0x78a6bef9ec05435cll, 0x49389f24b191d076ll, 0xbbb69a36c434c154ll, 0xddaf055f107a44eell, 0x7ec6d73500121a5cll, 0xdd6e8a3251582b2all, 0xbdeb0ad5d7080c8ell, 0xb4226747b9e05a46ll, 0x412e2656df5e19ccll, 0xce8e0ef2d87deaaell, 0xc02191ddd10ee478ll, 0xa77e08cbe6eafbd2ll, 0xf4011026529c413cll, 0xe5c047c56d925252ll, 0xdbdd34781140e1d0ll, 0xaa65d7813e59ea04ll, }, { 0xeec170346bd14af2ll, 0x8396edce7926c9aell, 0x4665e2b72110ba4ll, 0xd21604a05927a2e6ll, 0xe513ed4dabd8db2all, 0x6c1b654ae78b3752ll, 0xbe3950705271d524ll, 0x3c038f1d3ec27f20ll, 0x8beffb4e2dffc370ll, 0x862d2d4a9e08d4c0ll, 0xe1e725563dcf6664ll, 0xc8328ab55a2e042all, 0x3138a1b5235ae3f6ll, 0x7ee1c8bf3766136all, 0xf385626febd363bcll, 0x58f385c4153cf04cll, 0x1a99d9f0d4715348ll, 0x82c5f17b7cd90f34ll, 0xbaf2ae9344d22a3cll, 0x42d6196ab81149cell, 0xbee5ea9576bdaa9all, 0x5f26a4bbb8e7f304ll, 0x2d50b8954a206f72ll, 0x6a66a3997532c72ell, 0x3277c4f55f2b93acll, 0xe01e64c67fab8690ll, 0xc7f58c5356c455aall, 0x8f39a51d5020eec8ll, 0xa25a1556960fd824ll, 0x45557d201fb68a0ll, 0xc25c3ff7e1182934ll, }, { 0x13230dbcc4da1ccall, 0x3c0d2ed6a85d1276ll, 0x338df816a4b7076ll, 0x73526e50b09d6b1ell, 0x64705354d591b64ll, 0xe1664fdcdb9b69aell, 0xf3ac0d25ebb23ba6ll, 0xdbb1db17e5c4f492ll, 0x6972d4fef47f9442ll, 0x5da6723d254df49all, 0x92a5354081dbf91all, 0x2c1fdfd5be250eb8ll, 0xcab19f5f2398b540ll, 0xb66ba641e4949da8ll, 0xde32ec064b28ce90ll, 0x6e83a2698952ef92ll, 0xfe04cd5c2e7911aall, 0x350b6f99cc88e538ll, 0x78cc32ddef95f9bell, 0xeb64fbeadedbe268ll, 0x262791b33cdf08cll, 0xd078a77eed57b28cll, 0xc883dc5ad9bbbf3cll, 0x1a013176beaf507cll, 0x94f93c62e87dd916ll, 0x1e004397d8dac6ccll, 0x9af130613fc8542ell, 0xb969656e1ca30132ll, 0x8ce2059a7edc2708ll, 0xea289d02fd790ff2ll, 0xed6148bbc4f0777ell, }, { 0x5b660a9261b93008ll, 0x4fd2638b108fcffell, 0x7c690dd6c1ed76ball, 0x466db97d8616a2fcll, 0xf1ec8349017b23c4ll, 0x100bef02cb6a746ll, 0x50c52ce709f656all, 0xcb538606c7cf6a72ll, 0x89e7ad7f4902108ll, 0x4c68293835ab4030ll, 0x70d7536cb81741d8ll, 0xbf3a8d828e61bb0cll, 0x6c5f6346c83f8710ll, 0xa258c4bf19ae6314ll, 0xcce576665c87de82ll, 0x916e7037b1560f24ll, 0x5a0dea030b0b4d64ll, 0xd9db85e1e3694ea0ll, 0xbe31a64e7258dfa0ll, 0xceee332b3fd46204ll, 0x7fb533a319b0cebcll, 0xaa00070857266d08ll, 0x8f61aeebf460406cll, 0x675ecf60bcd983cell, 0xd994ad014fa5736cll, 0x1fd4b7e954ce4f0cll, 0x498f65e889dde6b6ll, 0xe69444929ebca23cll, 0x542e32c8ce90fc90ll, 0xfe9ce52929466886ll, 0x988112ddce1a04f4ll, }, { 0x9fcdb07892f775d0ll, 0xa23d2fbf771343d0ll, 0xfb99b0a7f5bf508cll, 0x82ee7845f28b179all, 0xea6a3f32bcf18c6ell, 0x31d81eec3d8c82eell, 0xe584655ab293b1a2ll, 0x6f72cefb89ba154ll, 0xe4bc1ea21fc5d680ll, 0x2022fde98af26590ll, 0xc0a2e1c8e6b9df5all, 0x50e670d6d032f3f4ll, 0xe54a1ca76e206c24ll, 0x523abd8ffc1d4248ll, 0x2b5e7ee0c3a88b38ll, 0x355d421a118e274ell, 0x837a3200bdc3934ell, 0x5e4328aaac5a23a6ll, 0x57d6efa1738062ll, 0x9838e2d6f141e4eell, 0x18c7ae04210f8298ll, 0x44da168a098cab9ell, 0x23f16b7b60ef9ea4ll, 0x92b730c2be1bedccll, 0x98260e8c60a2fb1cll, 0xcce66d7eee94d9c6ll, 0x223300e5d6dd5b8all, 0x2cd2310655d253all, 0x2680c26e1a8f8fe4ll, 0xb4353637f1b2362ll, 0x589fb82b04052be4ll, }, { 0x5111d73a8d6879fell, 0x297c1c96b707cb3all, 0x705f26c13bf06d6cll, 0xe64533160427671ell, 0x6eeee31f5a2356dell, 0xeeac7bfa5203147cll, 0x15c63b2393df6c02ll, 0xa3a392772656c502ll, 0xff3a4bfb85664ecell, 0xd931212927c416dall, 0xf771ff4ca100d9f6ll, 0xe3f701f20b37ef0ll, 0x1e29947e86d9e026ll, 0x40203ff25950552all, 0x9d4e094e7c9d4504ll, 0xae508f4785a05348ll, 0xe13ce7f444791460ll, 0xe5306c0a73d369f2ll, 0x6975010639375900ll, 0xf0cfda74b9ce030ell, 0xe008214a7af707aell, 0x5d60b51f70097b26ll, 0xe014d887ec222f8ll, 0xa5b81f34c8fd661ell, 0xb0377069cfda16ccll, 0x7bc8ec02b56e736cll, 0xec71f4f88ab7cbb6ll, 0xb5cd3b2e3e7e31a2ll, 0x50f5fb1e3cbd88b8ll, 0x2b14c773e5c8d080ll, 0x33a8fc66555c357cll, }, { 0xeb97d85b8ac9ffa0ll, 0x61d45541cdfc0494ll, 0x7e56ec9065d50c52ll, 0xe714892431609830ll, 0xde0c911ba9d9d954ll, 0x23f164626923a732ll, 0xd8d048b60d552de8ll, 0xd698960c110372e8ll, 0x96c0c9ce289544c4ll, 0x69c2c9943a989526ll, 0xc3e53b2a5e4beb58ll, 0x389ba412a9e3194cll, 0xeacb7eb716071a3all, 0x8c60ab5282d2e7a8ll, 0xa0f10a485b4ae6aell, 0x388135791f61da32ll, 0x31efc627be84d026ll, 0x383a2ba648f37070ll, 0xfa018cdcef66f432ll, 0xd4246bd75917df1all, 0xbb8114841bbbe814ll, 0x1a6d385497fc1df4ll, 0x4505462ebb953a5cll, 0xc653f323e6444df8ll, 0x4ab9b61c2e01d318ll, 0x7673c039b7d3d450ll, 0xdbbc2cf8eefa06ccll, 0xd66becfe780e8576ll, 0x71b8699ad594b574ll, 0x76284aa203590d0ell, 0x9983431a4b479db4ll, }, { 0x4b700d5db77168dcll, 0xc3325f81e03f6756ll, 0xd56f6bfd90e08526ll, 0x1a70cecea3f016cll, 0xef2b77a9713cdce6ll, 0xefb86f919b5ea9a8ll, 0x6a9cfc73acff760all, 0x19bf0c88756b74e6ll, 0x9205e8365ef6b0b2ll, 0xfb6a3aab74fc7bf2ll, 0x233eac8ae2d976b4ll, 0xbbc6a019e8710f92ll, 0x64b6ea2057e905aall, 0xdfaa6246a58ee444ll, 0xe8beb3f80e36b74cll, 0xc7320539b31103cell, 0x80b2db983f9cc93all, 0xaf280ede154b55e8ll, 0x465450bba5344758ll, 0x9d6fa362f6574fc4ll, 0x66cd0c11123a2802ll, 0x14fe4a87c4745616ll, 0xeb3d8f75d3b07b3cll, 0x12d1e6e50914e2b0ll, 0x9f1f72dd12eb8080ll, 0xf0682ed2964965d8ll, 0xb515ca441210a9eell, 0x77414991acff38dcll, 0xb796ad4ee0eb16e6ll, 0x71a0c841a6dcf97cll, 0x7805268d1bd333d0ll, }, { 0xe9df5dce6bdc6182ll, 0xd2113d3a5e3d4b78ll, 0xcdba305260644472ll, 0x70d8bfdd3ad3717all, 0x4dd47e3b32989994ll, 0x47c2d626ddc7e462ll, 0xa22ce61f10065508ll, 0xa2b89ba4a62226acll, 0xcc7defd932cf546ll, 0x55cbb82532d6cf86ll, 0x4f7672ac81c91e9ell, 0xcfda25d76fc000d0ll, 0x7a358d40b885c258ll, 0xc1b97636ffa82bf8ll, 0x1b4327431ea089a4ll, 0x4046009673a9fd9ell, 0x5783256ce0b3156cll, 0xca260fac40610584ll, 0x533813b0ffe07516ll, 0x7b4b07177ed0a25all, 0x5fb108b5560497c4ll, 0xa8f265d6fe3c7af2ll, 0x4b7394c590122dccll, 0x957410c1bdd39a5all, 0xc5bd294b8c42fdb6ll, 0xb05f39ae9957f602ll, 0x13c6df231b6e1bdall, 0xdc8b7857090fc4e8ll, 0x640af00f53c4a45cll, 0x6bcf55e9a9c9bae4ll, 0x5caad951b4a1dddcll, }, { 0xb7c3812fc6b82f6cll, 0xcc5688fc0e8f8848ll, 0x35e6952a7d256e8ell, 0x11f001e272ccc32cll, 0xf6620c65ed53dc4ll, 0x2cdb63dc1fb65798ll, 0x111839c2ce9b31dell, 0xfd79e9777e8c2006ll, 0x9100025b259acaa4ll, 0x9ff901781e0069ball, 0x4c17ffd4bc8152b8ll, 0x26423d3d8d73006ll, 0x652d9fb2383275d2ll, 0xb36e56436a068d3cll, 0x81d7d3bc49cdb320ll, 0x124ff21e6b8dc658ll, 0x89541a002ca983e6ll, 0xcb7b29e89306f168ll, 0x1321fb5f5e96a984ll, 0x29f0d74ba6e5a27all, 0x50264fa64684ee54ll, 0x2e42f5a7fec93d7ell, 0x78a36d98fd681baall, 0x4881371065890feell, 0xac5337f7d15d55a8ll, 0x1dc222b4f430cc3all, 0xb544888eb94032e2ll, 0xc60255b45894668ll, 0x545b11b19106030all, 0xec9334c5873081d6ll, 0xcdb53b616eec3adcll, }, { 0xbb103f473aae8988ll, 0xf0418e9297129616ll, 0xd62943c800707446ll, 0x582ff2ebbe653ebell, 0x6a4b1f708f5c9c56ll, 0xf0f8170084ed604ll, 0xa682a7a2eea394b8ll, 0xdb10489898130508ll, 0xf00d67e937d5daf6ll, 0x4177e8c65bbb4cb0ll, 0x6ea0f17b6eabba94ll, 0x556d605e4e2eae34ll, 0x61d4c2bbe776cb8cll, 0x7b1216d47bce0662ll, 0x4a4550544301821cll, 0x1c5b8463f69d3f76ll, 0xc6e83450833b488all, 0xdf0325da47d1af7cll, 0x54324fd5bb3f374all, 0x717f7dabbed1ded4ll, 0x27516fc05e0f9808ll, 0xc169b93f20a094d8ll, 0xbc9c32c098e476c0ll, 0xdb7ffa26477d09bcll, 0xfd8a135effbe988all, 0xc75de2f26a61240ell, 0x637675bbbc894c5cll, 0x508c2d8a09128860ll, 0x4fb6232579d9d89all, 0x11c4cd73d6b503c6ll, 0x8d7df9c0f226cd02ll, }, { 0x1271585f83c21494ll, 0x759e4ba9986ac49cll, 0xdacf5a2829835198ll, 0x8e43298dcc5bd9d8ll, 0x533e639e993ff6a0ll, 0x743fd4d1f0ce37all, 0xe3f206c6f32162b2ll, 0xf530c6aef92fbd1all, 0x7d00fd897e4cabacll, 0x4f1d88d6d7ad81d2ll, 0xfdb9036cb35d2006ll, 0x858f9a40d482b284ll, 0x1f074c1356d172b0ll, 0xcd2427a5cb52b8ball, 0x907b68bc6d7983d4ll, 0x4b1c51150fb46a2all, 0xf7e4993fb0a4cd94ll, 0x5f193e24ff3ad006ll, 0xccd69b828a826eecll, 0xcce84b30b28d7df8ll, 0xc738596e63532e42ll, 0x92a4bcf995c55210ll, 0xc84ef87f85c52774ll, 0x212f02b7baef51b8ll, 0xc72af9714645605ell, 0x2b643f1355432eb2ll, 0xbeb3270c64063cfcll, 0x472df0bed686e4b4ll, 0xf040828531f1ea2ll, 0xbc3eb3e35fc3010ell, 0xa99d8b0eecb235b6ll, }, { 0x95c3ba33d2f67d2cll, 0x730853db60b48712ll, 0x384fa9d46a9a9954ll, 0xbd8cbf41a6b41658ll, 0xba360cb3e3463014ll, 0x99fb289653118f1all, 0x2bd65a25bbb3bc02ll, 0xd52eff32e4008250ll, 0x5d7ef89d8c5a45a6ll, 0x48ef64ed8655a454ll, 0x599c158c31b4242cll, 0x5988fdbabe01792cll, 0x4c34847722022b4ll, 0x4fcd7a456b3c5d9all, 0x22d5e141c3acb47ell, 0x4d93653d1a15d012ll, 0x649c5eca23df1e6ell, 0x4af2163c5f1d92e4ll, 0x51ff24c8f4bed798ll, 0x1cf9f8249f28130ell, 0x1d17021c2715a942ll, 0x9210a528f295fb4cll, 0x92164cd199657af2ll, 0x5e8f03c19fd81c9cll, 0x496088a70e84138cll, 0x9dea32699ca0966cll, 0xff270b7032cae3b4ll, 0xcdb580e1c7b3aca2ll, 0x5f5750de2aa3c428ll, 0x280f4e4cd770288all, 0x9286ae0cf884347cll, }, }; const Zobrist::Type Zobrist::BlackHand[7] = { 0x4d04df8fbe3b38bcll, 0x72ef09692ddb6622ll, 0xc9bde442534a6bb4ll, 0xb149de0872da5718ll, 0xf6130fb68bb5ecdall, 0xbead1ba54dcc383ell, 0x7f67975054e57d56ll, }; const Zobrist::Type Zobrist::WhiteHand[7] = { 0x86af9af7f196ab74ll, 0xa9d5acba888d11fcll, 0xf3f908590c77fe6ll, 0x3cd7d7971334ef6all, 0xdcdae79795d95062ll, 0x42ccf6ad94b5403all, 0x63bec768e26d7958ll, }; } // namespace sunfish