UNPKG

@li0ard/kupyna

Version:

Kupyna (DSTU 7564:2014) hash function in pure TypeScript

564 lines (563 loc) 48 kB
export const dpad = new Uint8Array([ 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, ]); export const kpad32 = new Uint8Array([ 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, ]); export const kpad48 = new Uint8Array([ 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x80, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, ]); export const kpad64 = new Uint8Array([ 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, ]); /** Replacement table No. 1 for nonlinear bi-objective reflection */ export const T0 = new BigUint64Array([ 0xa832a829d77f9aa8n, 0x4352432297d41143n, 0x5f3e5fc2df80615fn, 0x061e063014121806n, 0x6bda6b7f670cb16bn, 0x75bc758f2356c975n, 0x6cc16c477519ad6cn, 0x592059f2cb927959n, 0x71a871af3b4ad971n, 0xdf84dfb6f8275bdfn, 0x87a1874c35b22687n, 0x95fb95dc59cc6e95n, 0x174b17b872655c17n, 0xf017f0d31aeae7f0n, 0xd89fd88eea3247d8n, 0x092d0948363f2409n, 0x6dc46d4f731ea96dn, 0xf318f3cb10e3ebf3n, 0x1d691de84e53741dn, 0xcbc0cb16804b0bcbn, 0xc9cac9068c4503c9n, 0x4d644d52b3fe294dn, 0x2c9c2c7de8c4b02cn, 0xaf29af11c56a86afn, 0x798079ef0b72f979n, 0xe047e0537a9aa7e0n, 0x97f197cc55c26697n, 0xfd2efdbb34c9d3fdn, 0x6fce6f5f7f10a16fn, 0x4b7a4b62a7ec314bn, 0x454c451283c60945n, 0x39dd39d596afe439n, 0x3ec63eed84baf83en, 0xdd8edda6f42953ddn, 0xa315a371ed4eb6a3n, 0x4f6e4f42bff0214fn, 0xb45eb4c99f2beab4n, 0xb654b6d99325e2b6n, 0x9ac89aa47be1529an, 0x0e360e70242a380en, 0x1f631ff8425d7c1fn, 0xbf79bf91a51ac6bfn, 0x154115a87e6b5415n, 0xe142e15b7c9da3e1n, 0x49704972abe23949n, 0xd2bdd2ded6046fd2n, 0x93e593ec4dde7693n, 0xc6f9c67eae683fc6n, 0x92e092e44bd97292n, 0x72a772b73143d572n, 0x9edc9e8463fd429en, 0x61f8612f5b3a9961n, 0xd1b2d1c6dc0d63d1n, 0x63f2633f57349163n, 0xfa35fa8326dccffan, 0xee71ee235eb09feen, 0xf403f4f302f6f7f4n, 0x197d19c8564f6419n, 0xd5a6d5e6c41173d5n, 0xad23ad01c9648eadn, 0x582558facd957d58n, 0xa40ea449ff5baaa4n, 0xbb6dbbb1bd06d6bbn, 0xa11fa161e140bea1n, 0xdc8bdcaef22e57dcn, 0xf21df2c316e4eff2n, 0x83b5836c2dae3683n, 0x37eb37a5b285dc37n, 0x4257422a91d31542n, 0xe453e4736286b7e4n, 0x7a8f7af7017bf57an, 0x32fa328dac9ec832n, 0x9cd69c946ff34a9cn, 0xccdbcc2e925e17ccn, 0xab3dab31dd7696abn, 0x4a7f4a6aa1eb354an, 0x8f898f0c058a068fn, 0x6ecb6e577917a56en, 0x04140420181c1004n, 0x27bb2725d2f59c27n, 0x2e962e6de4cab82en, 0xe75ce76b688fbbe7n, 0xe24de2437694afe2n, 0x5a2f5aeac19b755an, 0x96f496c453c56296n, 0x164e16b074625816n, 0x23af2305cae98c23n, 0x2b872b45fad1ac2bn, 0xc2edc25eb6742fc2n, 0x65ec650f43268965n, 0x66e36617492f8566n, 0x0f330f78222d3c0fn, 0xbc76bc89af13cabcn, 0xa937a921d1789ea9n, 0x474647028fc80147n, 0x415841329bda1941n, 0x34e434bdb88cd034n, 0x4875487aade53d48n, 0xfc2bfcb332ced7fcn, 0xb751b7d19522e6b7n, 0x6adf6a77610bb56an, 0x88928834179f1a88n, 0xa50ba541f95caea5n, 0x530253a2f7a45153n, 0x86a4864433b52286n, 0xf93af99b2cd5c3f9n, 0x5b2a5be2c79c715bn, 0xdb90db96e03b4bdbn, 0x38d838dd90a8e038n, 0x7b8a7bff077cf17bn, 0xc3e8c356b0732bc3n, 0x1e661ef0445a781en, 0x22aa220dccee8822n, 0x33ff3385aa99cc33n, 0x24b4243dd8fc9024n, 0x2888285df0d8a028n, 0x36ee36adb482d836n, 0xc7fcc776a86f3bc7n, 0xb240b2f98b39f2b2n, 0x3bd73bc59aa1ec3bn, 0x8e8c8e04038d028en, 0x77b6779f2f58c177n, 0xba68bab9bb01d2ban, 0xf506f5fb04f1f3f5n, 0x144414a0786c5014n, 0x9fd99f8c65fa469fn, 0x0828084030382008n, 0x551c5592e3b64955n, 0x9bcd9bac7de6569bn, 0x4c614c5ab5f92d4cn, 0xfe21fea33ec0dffen, 0x60fd60275d3d9d60n, 0x5c315cdad5896d5cn, 0xda95da9ee63c4fdan, 0x187818c050486018n, 0x4643460a89cf0546n, 0xcddecd26945913cdn, 0x7d947dcf136ee97dn, 0x21a52115c6e78421n, 0xb04ab0e98737fab0n, 0x3fc33fe582bdfc3fn, 0x1b771bd85a416c1bn, 0x8997893c11981e89n, 0xff24ffab38c7dbffn, 0xeb60eb0b40ab8bebn, 0x84ae84543fbb2a84n, 0x69d0696f6b02b969n, 0x3ad23acd9ca6e83an, 0x9dd39d9c69f44e9dn, 0xd7acd7f6c81f7bd7n, 0xd3b8d3d6d0036bd3n, 0x70ad70a73d4ddd70n, 0x67e6671f4f288167n, 0x405d403a9ddd1d40n, 0xb55bb5c1992ceeb5n, 0xde81debefe205fden, 0x5d345dd2d38e695dn, 0x30f0309da090c030n, 0x91ef91fc41d07e91n, 0xb14fb1e18130feb1n, 0x788578e70d75fd78n, 0x1155118866774411n, 0x0105010806070401n, 0xe556e57b6481b3e5n, 0x0000000000000000n, 0x68d568676d05bd68n, 0x98c298b477ef5a98n, 0xa01aa069e747baa0n, 0xc5f6c566a46133c5n, 0x020a02100c0e0802n, 0xa604a659f355a2a6n, 0x74b974872551cd74n, 0x2d992d75eec3b42dn, 0x0b270b583a312c0bn, 0xa210a279eb49b2a2n, 0x76b37697295fc576n, 0xb345b3f18d3ef6b3n, 0xbe7cbe99a31dc2ben, 0xced1ce3e9e501fcen, 0xbd73bd81a914cebdn, 0xae2cae19c36d82aen, 0xe96ae91b4ca583e9n, 0x8a988a241b91128an, 0x31f53195a697c431n, 0x1c6c1ce04854701cn, 0xec7bec3352be97ecn, 0xf112f1db1cede3f1n, 0x99c799bc71e85e99n, 0x94fe94d45fcb6a94n, 0xaa38aa39db7192aan, 0xf609f6e30ef8fff6n, 0x26be262dd4f29826n, 0x2f932f65e2cdbc2fn, 0xef74ef2b58b79befn, 0xe86fe8134aa287e8n, 0x8c868c140f830a8cn, 0x35e135b5be8bd435n, 0x030f03180a090c03n, 0xd4a3d4eec21677d4n, 0x7f9e7fdf1f60e17fn, 0xfb30fb8b20dbcbfbn, 0x051105281e1b1405n, 0xc1e2c146bc7d23c1n, 0x5e3b5ecad987655en, 0x90ea90f447d77a90n, 0x20a0201dc0e08020n, 0x3dc93df58eb3f43dn, 0x82b082642ba93282n, 0xf70cf7eb08fffbf7n, 0xea65ea0346ac8fean, 0x0a220a503c36280an, 0x0d390d682e23340dn, 0x7e9b7ed71967e57en, 0xf83ff8932ad2c7f8n, 0x500d50bafdad5d50n, 0x1a721ad05c46681an, 0xc4f3c46ea26637c4n, 0x071b073812151c07n, 0x57165782efb84157n, 0xb862b8a9b70fdab8n, 0x3ccc3cfd88b4f03cn, 0x62f7623751339562n, 0xe348e34b7093abe3n, 0xc8cfc80e8a4207c8n, 0xac26ac09cf638aacn, 0x520752aaf1a35552n, 0x64e9640745218d64n, 0x1050108060704010n, 0xd0b7d0ceda0a67d0n, 0xd99ad986ec3543d9n, 0x135f13986a794c13n, 0x0c3c0c602824300cn, 0x125a12906c7e4812n, 0x298d2955f6dfa429n, 0x510851b2fbaa5951n, 0xb967b9a1b108deb9n, 0xcfd4cf3698571bcfn, 0xd6a9d6fece187fd6n, 0x73a273bf3744d173n, 0x8d838d1c09840e8dn, 0x81bf817c21a03e81n, 0x5419549ae5b14d54n, 0xc0e7c04eba7a27c0n, 0xed7eed3b54b993edn, 0x4e6b4e4ab9f7254en, 0x4449441a85c10d44n, 0xa701a751f552a6a7n, 0x2a822a4dfcd6a82an, 0x85ab855c39bc2e85n, 0x25b12535defb9425n, 0xe659e6636e88bfe6n, 0xcac5ca1e864c0fcan, 0x7c917cc71569ed7cn, 0x8b9d8b2c1d96168bn, 0x5613568ae9bf4556n, 0x80ba807427a73a80n, ]); /** Replacement table No. 2 for nonlinear bi-objective reflection */ export const T1 = new BigUint64Array([ 0xd1ce3e9e501fcecen, 0x6dbbb1bd06d6bbbbn, 0x60eb0b40ab8bebebn, 0xe092e44bd9729292n, 0x65ea0346ac8feaean, 0xc0cb16804b0bcbcbn, 0x5f13986a794c1313n, 0xe2c146bc7d23c1c1n, 0x6ae91b4ca583e9e9n, 0xd23acd9ca6e83a3an, 0xa9d6fece187fd6d6n, 0x40b2f98b39f2b2b2n, 0xbdd2ded6046fd2d2n, 0xea90f447d77a9090n, 0x4b17b872655c1717n, 0x3ff8932ad2c7f8f8n, 0x57422a91d3154242n, 0x4115a87e6b541515n, 0x13568ae9bf455656n, 0x5eb4c99f2beab4b4n, 0xec650f4326896565n, 0x6c1ce04854701c1cn, 0x928834179f1a8888n, 0x52432297d4114343n, 0xf6c566a46133c5c5n, 0x315cdad5896d5c5cn, 0xee36adb482d83636n, 0x68bab9bb01d2baban, 0x06f5fb04f1f3f5f5n, 0x165782efb8415757n, 0xe6671f4f28816767n, 0x838d1c09840e8d8dn, 0xf53195a697c43131n, 0x09f6e30ef8fff6f6n, 0xe9640745218d6464n, 0x2558facd957d5858n, 0xdc9e8463fd429e9en, 0x03f4f302f6f7f4f4n, 0xaa220dccee882222n, 0x38aa39db7192aaaan, 0xbc758f2356c97575n, 0x330f78222d3c0f0fn, 0x0a02100c0e080202n, 0x4fb1e18130feb1b1n, 0x84dfb6f8275bdfdfn, 0xc46d4f731ea96d6dn, 0xa273bf3744d17373n, 0x644d52b3fe294d4dn, 0x917cc71569ed7c7cn, 0xbe262dd4f2982626n, 0x962e6de4cab82e2en, 0x0cf7eb08fffbf7f7n, 0x2808403038200808n, 0x345dd2d38e695d5dn, 0x49441a85c10d4444n, 0xc63eed84baf83e3en, 0xd99f8c65fa469f9fn, 0x4414a0786c501414n, 0xcfc80e8a4207c8c8n, 0x2cae19c36d82aeaen, 0x19549ae5b14d5454n, 0x5010806070401010n, 0x9fd88eea3247d8d8n, 0x76bc89af13cabcbcn, 0x721ad05c46681a1an, 0xda6b7f670cb16b6bn, 0xd0696f6b02b96969n, 0x18f3cb10e3ebf3f3n, 0x73bd81a914cebdbdn, 0xff3385aa99cc3333n, 0x3dab31dd7696ababn, 0x35fa8326dccffafan, 0xb2d1c6dc0d63d1d1n, 0xcd9bac7de6569b9bn, 0xd568676d05bd6868n, 0x6b4e4ab9f7254e4en, 0x4e16b07462581616n, 0xfb95dc59cc6e9595n, 0xef91fc41d07e9191n, 0x71ee235eb09feeeen, 0x614c5ab5f92d4c4cn, 0xf2633f5734916363n, 0x8c8e04038d028e8en, 0x2a5be2c79c715b5bn, 0xdbcc2e925e17ccccn, 0xcc3cfd88b4f03c3cn, 0x7d19c8564f641919n, 0x1fa161e140bea1a1n, 0xbf817c21a03e8181n, 0x704972abe2394949n, 0x8a7bff077cf17b7bn, 0x9ad986ec3543d9d9n, 0xce6f5f7f10a16f6fn, 0xeb37a5b285dc3737n, 0xfd60275d3d9d6060n, 0xc5ca1e864c0fcacan, 0x5ce76b688fbbe7e7n, 0x872b45fad1ac2b2bn, 0x75487aade53d4848n, 0x2efdbb34c9d3fdfdn, 0xf496c453c5629696n, 0x4c451283c6094545n, 0x2bfcb332ced7fcfcn, 0x5841329bda194141n, 0x5a12906c7e481212n, 0x390d682e23340d0dn, 0x8079ef0b72f97979n, 0x56e57b6481b3e5e5n, 0x97893c11981e8989n, 0x868c140f830a8c8cn, 0x48e34b7093abe3e3n, 0xa0201dc0e0802020n, 0xf0309da090c03030n, 0x8bdcaef22e57dcdcn, 0x51b7d19522e6b7b7n, 0xc16c477519ad6c6cn, 0x7f4a6aa1eb354a4an, 0x5bb5c1992ceeb5b5n, 0xc33fe582bdfc3f3fn, 0xf197cc55c2669797n, 0xa3d4eec21677d4d4n, 0xf762375133956262n, 0x992d75eec3b42d2dn, 0x1e06301412180606n, 0x0ea449ff5baaa4a4n, 0x0ba541f95caea5a5n, 0xb5836c2dae368383n, 0x3e5fc2df80615f5fn, 0x822a4dfcd6a82a2an, 0x95da9ee63c4fdadan, 0xcac9068c4503c9c9n, 0x0000000000000000n, 0x9b7ed71967e57e7en, 0x10a279eb49b2a2a2n, 0x1c5592e3b6495555n, 0x79bf91a51ac6bfbfn, 0x5511886677441111n, 0xa6d5e6c41173d5d5n, 0xd69c946ff34a9c9cn, 0xd4cf3698571bcfcfn, 0x360e70242a380e0en, 0x220a503c36280a0an, 0xc93df58eb3f43d3dn, 0x0851b2fbaa595151n, 0x947dcf136ee97d7dn, 0xe593ec4dde769393n, 0x771bd85a416c1b1bn, 0x21fea33ec0dffefen, 0xf3c46ea26637c4c4n, 0x4647028fc8014747n, 0x2d0948363f240909n, 0xa4864433b5228686n, 0x270b583a312c0b0bn, 0x898f0c058a068f8fn, 0xd39d9c69f44e9d9dn, 0xdf6a77610bb56a6an, 0x1b073812151c0707n, 0x67b9a1b108deb9b9n, 0x4ab0e98737fab0b0n, 0xc298b477ef5a9898n, 0x7818c05048601818n, 0xfa328dac9ec83232n, 0xa871af3b4ad97171n, 0x7a4b62a7ec314b4bn, 0x74ef2b58b79befefn, 0xd73bc59aa1ec3b3bn, 0xad70a73d4ddd7070n, 0x1aa069e747baa0a0n, 0x53e4736286b7e4e4n, 0x5d403a9ddd1d4040n, 0x24ffab38c7dbffffn, 0xe8c356b0732bc3c3n, 0x37a921d1789ea9a9n, 0x59e6636e88bfe6e6n, 0x8578e70d75fd7878n, 0x3af99b2cd5c3f9f9n, 0x9d8b2c1d96168b8bn, 0x43460a89cf054646n, 0xba807427a73a8080n, 0x661ef0445a781e1en, 0xd838dd90a8e03838n, 0x42e15b7c9da3e1e1n, 0x62b8a9b70fdab8b8n, 0x32a829d77f9aa8a8n, 0x47e0537a9aa7e0e0n, 0x3c0c602824300c0cn, 0xaf2305cae98c2323n, 0xb37697295fc57676n, 0x691de84e53741d1dn, 0xb12535defb942525n, 0xb4243dd8fc902424n, 0x1105281e1b140505n, 0x12f1db1cede3f1f1n, 0xcb6e577917a56e6en, 0xfe94d45fcb6a9494n, 0x88285df0d8a02828n, 0xc89aa47be1529a9an, 0xae84543fbb2a8484n, 0x6fe8134aa287e8e8n, 0x15a371ed4eb6a3a3n, 0x6e4f42bff0214f4fn, 0xb6779f2f58c17777n, 0xb8d3d6d0036bd3d3n, 0xab855c39bc2e8585n, 0x4de2437694afe2e2n, 0x0752aaf1a3555252n, 0x1df2c316e4eff2f2n, 0xb082642ba9328282n, 0x0d50bafdad5d5050n, 0x8f7af7017bf57a7an, 0x932f65e2cdbc2f2fn, 0xb974872551cd7474n, 0x0253a2f7a4515353n, 0x45b3f18d3ef6b3b3n, 0xf8612f5b3a996161n, 0x29af11c56a86afafn, 0xdd39d596afe43939n, 0xe135b5be8bd43535n, 0x81debefe205fdeden, 0xdecd26945913cdcdn, 0x631ff8425d7c1f1fn, 0xc799bc71e85e9999n, 0x26ac09cf638aacacn, 0x23ad01c9648eadadn, 0xa772b73143d57272n, 0x9c2c7de8c4b02c2cn, 0x8edda6f42953ddddn, 0xb7d0ceda0a67d0d0n, 0xa1874c35b2268787n, 0x7cbe99a31dc2beben, 0x3b5ecad987655e5en, 0x04a659f355a2a6a6n, 0x7bec3352be97ececn, 0x140420181c100404n, 0xf9c67eae683fc6c6n, 0x0f03180a090c0303n, 0xe434bdb88cd03434n, 0x30fb8b20dbcbfbfbn, 0x90db96e03b4bdbdbn, 0x2059f2cb92795959n, 0x54b6d99325e2b6b6n, 0xedc25eb6742fc2c2n, 0x0501080607040101n, 0x17f0d31aeae7f0f0n, 0x2f5aeac19b755a5an, 0x7eed3b54b993ededn, 0x01a751f552a6a7a7n, 0xe36617492f856666n, 0xa52115c6e7842121n, 0x9e7fdf1f60e17f7fn, 0x988a241b91128a8an, 0xbb2725d2f59c2727n, 0xfcc776a86f3bc7c7n, 0xe7c04eba7a27c0c0n, 0x8d2955f6dfa42929n, 0xacd7f6c81f7bd7d7n, ]); /** Replacement table No. 3 for nonlinear bi-objective reflection */ export const T2 = new BigUint64Array([ 0x93ec4dde769393e5n, 0xd986ec3543d9d99an, 0x9aa47be1529a9ac8n, 0xb5c1992ceeb5b55bn, 0x98b477ef5a9898c2n, 0x220dccee882222aan, 0x451283c60945454cn, 0xfcb332ced7fcfc2bn, 0xbab9bb01d2baba68n, 0x6a77610bb56a6adfn, 0xdfb6f8275bdfdf84n, 0x02100c0e0802020an, 0x9f8c65fa469f9fd9n, 0xdcaef22e57dcdc8bn, 0x51b2fbaa59515108n, 0x59f2cb9279595920n, 0x4a6aa1eb354a4a7fn, 0x17b872655c17174bn, 0x2b45fad1ac2b2b87n, 0xc25eb6742fc2c2edn, 0x94d45fcb6a9494fen, 0xf4f302f6f7f4f403n, 0xbbb1bd06d6bbbb6dn, 0xa371ed4eb6a3a315n, 0x62375133956262f7n, 0xe4736286b7e4e453n, 0x71af3b4ad97171a8n, 0xd4eec21677d4d4a3n, 0xcd26945913cdcdden, 0x70a73d4ddd7070adn, 0x16b074625816164en, 0xe15b7c9da3e1e142n, 0x4972abe239494970n, 0x3cfd88b4f03c3cccn, 0xc04eba7a27c0c0e7n, 0xd88eea3247d8d89fn, 0x5cdad5896d5c5c31n, 0x9bac7de6569b9bcdn, 0xad01c9648eadad23n, 0x855c39bc2e8585abn, 0x53a2f7a451535302n, 0xa161e140bea1a11fn, 0x7af7017bf57a7a8fn, 0xc80e8a4207c8c8cfn, 0x2d75eec3b42d2d99n, 0xe0537a9aa7e0e047n, 0xd1c6dc0d63d1d1b2n, 0x72b73143d57272a7n, 0xa659f355a2a6a604n, 0x2c7de8c4b02c2c9cn, 0xc46ea26637c4c4f3n, 0xe34b7093abe3e348n, 0x7697295fc57676b3n, 0x78e70d75fd787885n, 0xb7d19522e6b7b751n, 0xb4c99f2beab4b45en, 0x0948363f2409092dn, 0x3bc59aa1ec3b3bd7n, 0x0e70242a380e0e36n, 0x41329bda19414158n, 0x4c5ab5f92d4c4c61n, 0xdebefe205fdede81n, 0xb2f98b39f2b2b240n, 0x90f447d77a9090ean, 0x2535defb942525b1n, 0xa541f95caea5a50bn, 0xd7f6c81f7bd7d7acn, 0x03180a090c03030fn, 0x1188667744111155n, 0x0000000000000000n, 0xc356b0732bc3c3e8n, 0x2e6de4cab82e2e96n, 0x92e44bd9729292e0n, 0xef2b58b79befef74n, 0x4e4ab9f7254e4e6bn, 0x12906c7e4812125an, 0x9d9c69f44e9d9dd3n, 0x7dcf136ee97d7d94n, 0xcb16804b0bcbcbc0n, 0x35b5be8bd43535e1n, 0x1080607040101050n, 0xd5e6c41173d5d5a6n, 0x4f42bff0214f4f6en, 0x9e8463fd429e9edcn, 0x4d52b3fe294d4d64n, 0xa921d1789ea9a937n, 0x5592e3b64955551cn, 0xc67eae683fc6c6f9n, 0xd0ceda0a67d0d0b7n, 0x7bff077cf17b7b8an, 0x18c0504860181878n, 0x97cc55c2669797f1n, 0xd3d6d0036bd3d3b8n, 0x36adb482d83636een, 0xe6636e88bfe6e659n, 0x487aade53d484875n, 0x568ae9bf45565613n, 0x817c21a03e8181bfn, 0x8f0c058a068f8f89n, 0x779f2f58c17777b6n, 0xcc2e925e17ccccdbn, 0x9c946ff34a9c9cd6n, 0xb9a1b108deb9b967n, 0xe2437694afe2e24dn, 0xac09cf638aacac26n, 0xb8a9b70fdab8b862n, 0x2f65e2cdbc2f2f93n, 0x15a87e6b54151541n, 0xa449ff5baaa4a40en, 0x7cc71569ed7c7c91n, 0xda9ee63c4fdada95n, 0x38dd90a8e03838d8n, 0x1ef0445a781e1e66n, 0x0b583a312c0b0b27n, 0x05281e1b14050511n, 0xd6fece187fd6d6a9n, 0x14a0786c50141444n, 0x6e577917a56e6ecbn, 0x6c477519ad6c6cc1n, 0x7ed71967e57e7e9bn, 0x6617492f856666e3n, 0xfdbb34c9d3fdfd2en, 0xb1e18130feb1b14fn, 0xe57b6481b3e5e556n, 0x60275d3d9d6060fdn, 0xaf11c56a86afaf29n, 0x5ecad987655e5e3bn, 0x3385aa99cc3333ffn, 0x874c35b2268787a1n, 0xc9068c4503c9c9can, 0xf0d31aeae7f0f017n, 0x5dd2d38e695d5d34n, 0x6d4f731ea96d6dc4n, 0x3fe582bdfc3f3fc3n, 0x8834179f1a888892n, 0x8d1c09840e8d8d83n, 0xc776a86f3bc7c7fcn, 0xf7eb08fffbf7f70cn, 0x1de84e53741d1d69n, 0xe91b4ca583e9e96an, 0xec3352be97ecec7bn, 0xed3b54b993eded7en, 0x807427a73a8080ban, 0x2955f6dfa429298dn, 0x2725d2f59c2727bbn, 0xcf3698571bcfcfd4n, 0x99bc71e85e9999c7n, 0xa829d77f9aa8a832n, 0x50bafdad5d50500dn, 0x0f78222d3c0f0f33n, 0x37a5b285dc3737ebn, 0x243dd8fc902424b4n, 0x285df0d8a0282888n, 0x309da090c03030f0n, 0x95dc59cc6e9595fbn, 0xd2ded6046fd2d2bdn, 0x3eed84baf83e3ec6n, 0x5be2c79c715b5b2an, 0x403a9ddd1d40405dn, 0x836c2dae368383b5n, 0xb3f18d3ef6b3b345n, 0x696f6b02b96969d0n, 0x5782efb841575716n, 0x1ff8425d7c1f1f63n, 0x073812151c07071bn, 0x1ce04854701c1c6cn, 0x8a241b91128a8a98n, 0xbc89af13cabcbc76n, 0x201dc0e0802020a0n, 0xeb0b40ab8bebeb60n, 0xce3e9e501fceced1n, 0x8e04038d028e8e8cn, 0xab31dd7696abab3dn, 0xee235eb09feeee71n, 0x3195a697c43131f5n, 0xa279eb49b2a2a210n, 0x73bf3744d17373a2n, 0xf99b2cd5c3f9f93an, 0xca1e864c0fcacac5n, 0x3acd9ca6e83a3ad2n, 0x1ad05c46681a1a72n, 0xfb8b20dbcbfbfb30n, 0x0d682e23340d0d39n, 0xc146bc7d23c1c1e2n, 0xfea33ec0dffefe21n, 0xfa8326dccffafa35n, 0xf2c316e4eff2f21dn, 0x6f5f7f10a16f6fcen, 0xbd81a914cebdbd73n, 0x96c453c5629696f4n, 0xdda6f42953dddd8en, 0x432297d411434352n, 0x52aaf1a355525207n, 0xb6d99325e2b6b654n, 0x0840303820080828n, 0xf3cb10e3ebf3f318n, 0xae19c36d82aeae2cn, 0xbe99a31dc2bebe7cn, 0x19c8564f6419197dn, 0x893c11981e898997n, 0x328dac9ec83232fan, 0x262dd4f2982626ben, 0xb0e98737fab0b04an, 0xea0346ac8feaea65n, 0x4b62a7ec314b4b7an, 0x640745218d6464e9n, 0x84543fbb2a8484aen, 0x82642ba9328282b0n, 0x6b7f670cb16b6bdan, 0xf5fb04f1f3f5f506n, 0x79ef0b72f9797980n, 0xbf91a51ac6bfbf79n, 0x0108060704010105n, 0x5fc2df80615f5f3en, 0x758f2356c97575bcn, 0x633f5734916363f2n, 0x1bd85a416c1b1b77n, 0x2305cae98c2323afn, 0x3df58eb3f43d3dc9n, 0x68676d05bd6868d5n, 0x2a4dfcd6a82a2a82n, 0x650f4326896565ecn, 0xe8134aa287e8e86fn, 0x91fc41d07e9191efn, 0xf6e30ef8fff6f609n, 0xffab38c7dbffff24n, 0x13986a794c13135fn, 0x58facd957d585825n, 0xf1db1cede3f1f112n, 0x47028fc801474746n, 0x0a503c36280a0a22n, 0x7fdf1f60e17f7f9en, 0xc566a46133c5c5f6n, 0xa751f552a6a7a701n, 0xe76b688fbbe7e75cn, 0x612f5b3a996161f8n, 0x5aeac19b755a5a2fn, 0x063014121806061en, 0x460a89cf05464643n, 0x441a85c10d444449n, 0x422a91d315424257n, 0x0420181c10040414n, 0xa069e747baa0a01an, 0xdb96e03b4bdbdb90n, 0x39d596afe43939ddn, 0x864433b5228686a4n, 0x549ae5b14d545419n, 0xaa39db7192aaaa38n, 0x8c140f830a8c8c86n, 0x34bdb88cd03434e4n, 0x2115c6e7842121a5n, 0x8b2c1d96168b8b9dn, 0xf8932ad2c7f8f83fn, 0x0c602824300c0c3cn, 0x74872551cd7474b9n, 0x671f4f28816767e6n, ]); /** Replacement table No. 4 for nonlinear bi-objective reflection */ export const T3 = new BigUint64Array([ 0x676d05bd6868d568n, 0x1c09840e8d8d838dn, 0x1e864c0fcacac5can, 0x52b3fe294d4d644dn, 0xbf3744d17373a273n, 0x62a7ec314b4b7a4bn, 0x4ab9f7254e4e6b4en, 0x4dfcd6a82a2a822an, 0xeec21677d4d4a3d4n, 0xaaf1a35552520752n, 0x2dd4f2982626be26n, 0xf18d3ef6b3b345b3n, 0x9ae5b14d54541954n, 0xf0445a781e1e661en, 0xc8564f6419197d19n, 0xf8425d7c1f1f631fn, 0x0dccee882222aa22n, 0x180a090c03030f03n, 0x0a89cf0546464346n, 0xf58eb3f43d3dc93dn, 0x75eec3b42d2d992dn, 0x6aa1eb354a4a7f4an, 0xa2f7a45153530253n, 0x6c2dae368383b583n, 0x986a794c13135f13n, 0x241b91128a8a988an, 0xd19522e6b7b751b7n, 0xe6c41173d5d5a6d5n, 0x35defb942525b125n, 0xef0b72f979798079n, 0xfb04f1f3f5f506f5n, 0x81a914cebdbd73bdn, 0xfacd957d58582558n, 0x65e2cdbc2f2f932fn, 0x682e23340d0d390dn, 0x100c0e0802020a02n, 0x3b54b993eded7eedn, 0xb2fbaa5951510851n, 0x8463fd429e9edc9en, 0x8866774411115511n, 0xc316e4eff2f21df2n, 0xed84baf83e3ec63en, 0x92e3b64955551c55n, 0xcad987655e5e3b5en, 0xc6dc0d63d1d1b2d1n, 0xb074625816164e16n, 0xfd88b4f03c3ccc3cn, 0x17492f856666e366n, 0xa73d4ddd7070ad70n, 0xd2d38e695d5d345dn, 0xcb10e3ebf3f318f3n, 0x1283c60945454c45n, 0x3a9ddd1d40405d40n, 0x2e925e17ccccdbccn, 0x134aa287e8e86fe8n, 0xd45fcb6a9494fe94n, 0x8ae9bf4556561356n, 0x4030382008082808n, 0x3e9e501fceced1cen, 0xd05c46681a1a721an, 0xcd9ca6e83a3ad23an, 0xded6046fd2d2bdd2n, 0x5b7c9da3e1e142e1n, 0xb6f8275bdfdf84dfn, 0xc1992ceeb5b55bb5n, 0xdd90a8e03838d838n, 0x577917a56e6ecb6en, 0x70242a380e0e360en, 0x7b6481b3e5e556e5n, 0xf302f6f7f4f403f4n, 0x9b2cd5c3f9f93af9n, 0x4433b5228686a486n, 0x1b4ca583e9e96ae9n, 0x42bff0214f4f6e4fn, 0xfece187fd6d6a9d6n, 0x5c39bc2e8585ab85n, 0x05cae98c2323af23n, 0x3698571bcfcfd4cfn, 0x8dac9ec83232fa32n, 0xbc71e85e9999c799n, 0x95a697c43131f531n, 0xa0786c5014144414n, 0x19c36d82aeae2caen, 0x235eb09feeee71een, 0x0e8a4207c8c8cfc8n, 0x7aade53d48487548n, 0xd6d0036bd3d3b8d3n, 0x9da090c03030f030n, 0x61e140bea1a11fa1n, 0xe44bd9729292e092n, 0x329bda1941415841n, 0xe18130feb1b14fb1n, 0xc050486018187818n, 0x6ea26637c4c4f3c4n, 0x7de8c4b02c2c9c2cn, 0xaf3b4ad97171a871n, 0xb73143d57272a772n, 0x1a85c10d44444944n, 0xa87e6b5415154115n, 0xbb34c9d3fdfd2efdn, 0xa5b285dc3737eb37n, 0x99a31dc2bebe7cben, 0xc2df80615f5f3e5fn, 0x39db7192aaaa38aan, 0xac7de6569b9bcd9bn, 0x34179f1a88889288n, 0x8eea3247d8d89fd8n, 0x31dd7696abab3dabn, 0x3c11981e89899789n, 0x946ff34a9c9cd69cn, 0x8326dccffafa35fan, 0x275d3d9d6060fd60n, 0x0346ac8feaea65ean, 0x89af13cabcbc76bcn, 0x375133956262f762n, 0x602824300c0c3c0cn, 0x3dd8fc902424b424n, 0x59f355a2a6a604a6n, 0x29d77f9aa8a832a8n, 0x3352be97ecec7becn, 0x1f4f28816767e667n, 0x1dc0e0802020a020n, 0x96e03b4bdbdb90dbn, 0xc71569ed7c7c917cn, 0x5df0d8a028288828n, 0xa6f42953dddd8eddn, 0x09cf638aacac26acn, 0xe2c79c715b5b2a5bn, 0xbdb88cd03434e434n, 0xd71967e57e7e9b7en, 0x8060704010105010n, 0xdb1cede3f1f112f1n, 0xff077cf17b7b8a7bn, 0x0c058a068f8f898fn, 0x3f5734916363f263n, 0x69e747baa0a01aa0n, 0x281e1b1405051105n, 0xa47be1529a9ac89an, 0x2297d41143435243n, 0x9f2f58c17777b677n, 0x15c6e7842121a521n, 0x91a51ac6bfbf79bfn, 0x25d2f59c2727bb27n, 0x48363f2409092d09n, 0x56b0732bc3c3e8c3n, 0x8c65fa469f9fd99fn, 0xd99325e2b6b654b6n, 0xf6c81f7bd7d7acd7n, 0x55f6dfa429298d29n, 0x5eb6742fc2c2edc2n, 0x0b40ab8bebeb60ebn, 0x4eba7a27c0c0e7c0n, 0x49ff5baaa4a40ea4n, 0x2c1d96168b8b9d8bn, 0x140f830a8c8c868cn, 0xe84e53741d1d691dn, 0x8b20dbcbfbfb30fbn, 0xab38c7dbffff24ffn, 0x46bc7d23c1c1e2c1n, 0xf98b39f2b2b240b2n, 0xcc55c2669797f197n, 0x6de4cab82e2e962en, 0x932ad2c7f8f83ff8n, 0x0f4326896565ec65n, 0xe30ef8fff6f609f6n, 0x8f2356c97575bc75n, 0x3812151c07071b07n, 0x20181c1004041404n, 0x72abe23949497049n, 0x85aa99cc3333ff33n, 0x736286b7e4e453e4n, 0x86ec3543d9d99ad9n, 0xa1b108deb9b967b9n, 0xceda0a67d0d0b7d0n, 0x2a91d31542425742n, 0x76a86f3bc7c7fcc7n, 0x477519ad6c6cc16cn, 0xf447d77a9090ea90n, 0x0000000000000000n, 0x04038d028e8e8c8en, 0x5f7f10a16f6fce6fn, 0xbafdad5d50500d50n, 0x0806070401010501n, 0x66a46133c5c5f6c5n, 0x9ee63c4fdada95dan, 0x028fc80147474647n, 0xe582bdfc3f3fc33fn, 0x26945913cdcddecdn, 0x6f6b02b96969d069n, 0x79eb49b2a2a210a2n, 0x437694afe2e24de2n, 0xf7017bf57a7a8f7an, 0x51f552a6a7a701a7n, 0x7eae683fc6c6f9c6n, 0xec4dde769393e593n, 0x78222d3c0f0f330fn, 0x503c36280a0a220an, 0x3014121806061e06n, 0x636e88bfe6e659e6n, 0x45fad1ac2b2b872bn, 0xc453c5629696f496n, 0x71ed4eb6a3a315a3n, 0xe04854701c1c6c1cn, 0x11c56a86afaf29afn, 0x77610bb56a6adf6an, 0x906c7e4812125a12n, 0x543fbb2a8484ae84n, 0xd596afe43939dd39n, 0x6b688fbbe7e75ce7n, 0xe98737fab0b04ab0n, 0x642ba9328282b082n, 0xeb08fffbf7f70cf7n, 0xa33ec0dffefe21fen, 0x9c69f44e9d9dd39dn, 0x4c35b2268787a187n, 0xdad5896d5c5c315cn, 0x7c21a03e8181bf81n, 0xb5be8bd43535e135n, 0xbefe205fdede81den, 0xc99f2beab4b45eb4n, 0x41f95caea5a50ba5n, 0xb332ced7fcfc2bfcn, 0x7427a73a8080ba80n, 0x2b58b79befef74efn, 0x16804b0bcbcbc0cbn, 0xb1bd06d6bbbb6dbbn, 0x7f670cb16b6bda6bn, 0x97295fc57676b376n, 0xb9bb01d2baba68ban, 0xeac19b755a5a2f5an, 0xcf136ee97d7d947dn, 0xe70d75fd78788578n, 0x583a312c0b0b270bn, 0xdc59cc6e9595fb95n, 0x4b7093abe3e348e3n, 0x01c9648eadad23adn, 0x872551cd7474b974n, 0xb477ef5a9898c298n, 0xc59aa1ec3b3bd73bn, 0xadb482d83636ee36n, 0x0745218d6464e964n, 0x4f731ea96d6dc46dn, 0xaef22e57dcdc8bdcn, 0xd31aeae7f0f017f0n, 0xf2cb927959592059n, 0x21d1789ea9a937a9n, 0x5ab5f92d4c4c614cn, 0xb872655c17174b17n, 0xdf1f60e17f7f9e7fn, 0xfc41d07e9191ef91n, 0xa9b70fdab8b862b8n, 0x068c4503c9c9cac9n, 0x82efb84157571657n, 0xd85a416c1b1b771bn, 0x537a9aa7e0e047e0n, 0x2f5b3a996161f861n, ]); /** Replacement table No. 5 for nonlinear bi-objective reflection */ export const T4 = new BigUint64Array([ 0xd77f9aa8a832a829n, 0x97d4114343524322n, 0xdf80615f5f3e5fc2n, 0x14121806061e0630n, 0x670cb16b6bda6b7fn, 0x2356c97575bc758fn, 0x7519ad6c6cc16c47n, 0xcb927959592059f2n, 0x3b4ad97171a871afn, 0xf8275bdfdf84dfb6n, 0x35b2268787a1874cn, 0x59cc6e9595fb95dcn, 0x72655c17174b17b8n, 0x1aeae7f0f017f0d3n, 0xea3247d8d89fd88en, 0x363f2409092d0948n, 0x731ea96d6dc46d4fn, 0x10e3ebf3f318f3cbn, 0x4e53741d1d691de8n, 0x804b0bcbcbc0cb16n, 0x8c4503c9c9cac906n, 0xb3fe294d4d644d52n, 0xe8c4b02c2c9c2c7dn, 0xc56a86afaf29af11n, 0x0b72f979798079efn, 0x7a9aa7e0e047e053n, 0x55c2669797f197ccn, 0x34c9d3fdfd2efdbbn, 0x7f10a16f6fce6f5fn, 0xa7ec314b4b7a4b62n, 0x83c60945454c4512n, 0x96afe43939dd39d5n, 0x84baf83e3ec63eedn, 0xf42953dddd8edda6n, 0xed4eb6a3a315a371n, 0xbff0214f4f6e4f42n, 0x9f2beab4b45eb4c9n, 0x9325e2b6b654b6d9n, 0x7be1529a9ac89aa4n, 0x242a380e0e360e70n, 0x425d7c1f1f631ff8n, 0xa51ac6bfbf79bf91n, 0x7e6b5415154115a8n, 0x7c9da3e1e142e15bn, 0xabe2394949704972n, 0xd6046fd2d2bdd2den, 0x4dde769393e593ecn, 0xae683fc6c6f9c67en, 0x4bd9729292e092e4n, 0x3143d57272a772b7n, 0x63fd429e9edc9e84n, 0x5b3a996161f8612fn, 0xdc0d63d1d1b2d1c6n, 0x5734916363f2633fn, 0x26dccffafa35fa83n, 0x5eb09feeee71ee23n, 0x02f6f7f4f403f4f3n, 0x564f6419197d19c8n, 0xc41173d5d5a6d5e6n, 0xc9648eadad23ad01n, 0xcd957d58582558fan, 0xff5baaa4a40ea449n, 0xbd06d6bbbb6dbbb1n, 0xe140bea1a11fa161n, 0xf22e57dcdc8bdcaen, 0x16e4eff2f21df2c3n, 0x2dae368383b5836cn, 0xb285dc3737eb37a5n, 0x91d315424257422an, 0x6286b7e4e453e473n, 0x017bf57a7a8f7af7n, 0xac9ec83232fa328dn, 0x6ff34a9c9cd69c94n, 0x925e17ccccdbcc2en, 0xdd7696abab3dab31n, 0xa1eb354a4a7f4a6an, 0x058a068f8f898f0cn, 0x7917a56e6ecb6e57n, 0x181c100404140420n, 0xd2f59c2727bb2725n, 0xe4cab82e2e962e6dn, 0x688fbbe7e75ce76bn, 0x7694afe2e24de243n, 0xc19b755a5a2f5aean, 0x53c5629696f496c4n, 0x74625816164e16b0n, 0xcae98c2323af2305n, 0xfad1ac2b2b872b45n, 0xb6742fc2c2edc25en, 0x4326896565ec650fn, 0x492f856666e36617n, 0x222d3c0f0f330f78n, 0xaf13cabcbc76bc89n, 0xd1789ea9a937a921n, 0x8fc8014747464702n, 0x9bda194141584132n, 0xb88cd03434e434bdn, 0xade53d484875487an, 0x32ced7fcfc2bfcb3n, 0x9522e6b7b751b7d1n, 0x610bb56a6adf6a77n, 0x179f1a8888928834n, 0xf95caea5a50ba541n, 0xf7a45153530253a2n, 0x33b5228686a48644n, 0x2cd5c3f9f93af99bn, 0xc79c715b5b2a5be2n, 0xe03b4bdbdb90db96n, 0x90a8e03838d838ddn, 0x077cf17b7b8a7bffn, 0xb0732bc3c3e8c356n, 0x445a781e1e661ef0n, 0xccee882222aa220dn, 0xaa99cc3333ff3385n, 0xd8fc902424b4243dn, 0xf0d8a0282888285dn, 0xb482d83636ee36adn, 0xa86f3bc7c7fcc776n, 0x8b39f2b2b240b2f9n, 0x9aa1ec3b3bd73bc5n, 0x038d028e8e8c8e04n, 0x2f58c17777b6779fn, 0xbb01d2baba68bab9n, 0x04f1f3f5f506f5fbn, 0x786c5014144414a0n, 0x65fa469f9fd99f8cn, 0x3038200808280840n, 0xe3b64955551c5592n, 0x7de6569b9bcd9bacn, 0xb5f92d4c4c614c5an, 0x3ec0dffefe21fea3n, 0x5d3d9d6060fd6027n, 0xd5896d5c5c315cdan, 0xe63c4fdada95da9en, 0x50486018187818c0n, 0x89cf05464643460an, 0x945913cdcddecd26n, 0x136ee97d7d947dcfn, 0xc6e7842121a52115n, 0x8737fab0b04ab0e9n, 0x82bdfc3f3fc33fe5n, 0x5a416c1b1b771bd8n, 0x11981e898997893cn, 0x38c7dbffff24ffabn, 0x40ab8bebeb60eb0bn, 0x3fbb2a8484ae8454n, 0x6b02b96969d0696fn, 0x9ca6e83a3ad23acdn, 0x69f44e9d9dd39d9cn, 0xc81f7bd7d7acd7f6n, 0xd0036bd3d3b8d3d6n, 0x3d4ddd7070ad70a7n, 0x4f28816767e6671fn, 0x9ddd1d40405d403an, 0x992ceeb5b55bb5c1n, 0xfe205fdede81deben, 0xd38e695d5d345dd2n, 0xa090c03030f0309dn, 0x41d07e9191ef91fcn, 0x8130feb1b14fb1e1n, 0x0d75fd78788578e7n, 0x6677441111551188n, 0x0607040101050108n, 0x6481b3e5e556e57bn, 0x0000000000000000n, 0x6d05bd6868d56867n, 0x77ef5a9898c298b4n, 0xe747baa0a01aa069n, 0xa46133c5c5f6c566n, 0x0c0e0802020a0210n, 0xf355a2a6a604a659n, 0x2551cd7474b97487n, 0xeec3b42d2d992d75n, 0x3a312c0b0b270b58n, 0xeb49b2a2a210a279n, 0x295fc57676b37697n, 0x8d3ef6b3b345b3f1n, 0xa31dc2bebe7cbe99n, 0x9e501fceced1ce3en, 0xa914cebdbd73bd81n, 0xc36d82aeae2cae19n, 0x4ca583e9e96ae91bn, 0x1b91128a8a988a24n, 0xa697c43131f53195n, 0x4854701c1c6c1ce0n, 0x52be97ecec7bec33n, 0x1cede3f1f112f1dbn, 0x71e85e9999c799bcn, 0x5fcb6a9494fe94d4n, 0xdb7192aaaa38aa39n, 0x0ef8fff6f609f6e3n, 0xd4f2982626be262dn, 0xe2cdbc2f2f932f65n, 0x58b79befef74ef2bn, 0x4aa287e8e86fe813n, 0x0f830a8c8c868c14n, 0xbe8bd43535e135b5n, 0x0a090c03030f0318n, 0xc21677d4d4a3d4een, 0x1f60e17f7f9e7fdfn, 0x20dbcbfbfb30fb8bn, 0x1e1b140505110528n, 0xbc7d23c1c1e2c146n, 0xd987655e5e3b5ecan, 0x47d77a9090ea90f4n, 0xc0e0802020a0201dn, 0x8eb3f43d3dc93df5n, 0x2ba9328282b08264n, 0x08fffbf7f70cf7ebn, 0x46ac8feaea65ea03n, 0x3c36280a0a220a50n, 0x2e23340d0d390d68n, 0x1967e57e7e9b7ed7n, 0x2ad2c7f8f83ff893n, 0xfdad5d50500d50ban, 0x5c46681a1a721ad0n, 0xa26637c4c4f3c46en, 0x12151c07071b0738n, 0xefb8415757165782n, 0xb70fdab8b862b8a9n, 0x88b4f03c3ccc3cfdn, 0x5133956262f76237n, 0x7093abe3e348e34bn, 0x8a4207c8c8cfc80en, 0xcf638aacac26ac09n, 0xf1a35552520752aan, 0x45218d6464e96407n, 0x6070401010501080n, 0xda0a67d0d0b7d0cen, 0xec3543d9d99ad986n, 0x6a794c13135f1398n, 0x2824300c0c3c0c60n, 0x6c7e4812125a1290n, 0xf6dfa429298d2955n, 0xfbaa5951510851b2n, 0xb108deb9b967b9a1n, 0x98571bcfcfd4cf36n, 0xce187fd6d6a9d6fen, 0x3744d17373a273bfn, 0x09840e8d8d838d1cn, 0x21a03e8181bf817cn, 0xe5b14d545419549an, 0xba7a27c0c0e7c04en, 0x54b993eded7eed3bn, 0xb9f7254e4e6b4e4an, 0x85c10d444449441an, 0xf552a6a7a701a751n, 0xfcd6a82a2a822a4dn, 0x39bc2e8585ab855cn, 0xdefb942525b12535n, 0x6e88bfe6e659e663n, 0x864c0fcacac5ca1en, 0x1569ed7c7c917cc7n, 0x1d96168b8b9d8b2cn, 0xe9bf45565613568an, 0x27a73a8080ba8074n, ]); /** Replacement table No. 6 for nonlinear bi-objective reflection */ export const T5 = new BigUint64Array([ 0x501fceced1ce3e9en, 0x06d6bbbb6dbbb1bdn, 0xab8bebeb60eb0b40n, 0xd9729292e092e44bn, 0xac8feaea65ea0346n, 0x4b0bcbcbc0cb1680n, 0x794c13135f13986an, 0x7d23c1c1e2c146bcn, 0xa583e9e96ae91b4cn, 0xa6e83a3ad23acd9cn, 0x187fd6d6a9d6fecen, 0x39f2b2b240b2f98bn, 0x046fd2d2bdd2ded6n, 0xd77a9090ea90f447n, 0x655c17174b17b872n, 0xd2c7f8f83ff8932an, 0xd315424257422a91n, 0x6b5415154115a87en, 0xbf45565613568ae9n, 0x2beab4b45eb4c99fn, 0x26896565ec650f43n, 0x54701c1c6c1ce048n, 0x9f1a888892883417n, 0xd411434352432297n, 0x6133c5c5f6c566a4n, 0x896d5c5c315cdad5n, 0x82d83636ee36adb4n, 0x01d2baba68bab9bbn, 0xf1f3f5f506f5fb04n, 0xb8415757165782efn, 0x28816767e6671f4fn, 0x840e8d8d838d1c09n, 0x97c43131f53195a6n, 0xf8fff6f609f6e30en, 0x218d6464e9640745n, 0x957d58582558facdn, 0xfd429e9edc9e8463n, 0xf6f7f4f403f4f302n, 0xee882222aa220dccn, 0x7192aaaa38aa39dbn, 0x56c97575bc758f23n, 0x2d3c0f0f330f7822n, 0x0e0802020a02100cn, 0x30feb1b14fb1e181n, 0x275bdfdf84dfb6f8n, 0x1ea96d6dc46d4f73n, 0x44d17373a273bf37n, 0xfe294d4d644d52b3n, 0x69ed7c7c917cc715n, 0xf2982626be262dd4n, 0xcab82e2e962e6de4n, 0xfffbf7f70cf7eb08n, 0x3820080828084030n, 0x8e695d5d345dd2d3n, 0xc10d444449441a85n, 0xbaf83e3ec63eed84n, 0xfa469f9fd99f8c65n, 0x6c5014144414a078n, 0x4207c8c8cfc80e8an, 0x6d82aeae2cae19c3n, 0xb14d545419549ae5n, 0x7040101050108060n, 0x3247d8d89fd88eean, 0x13cabcbc76bc89afn, 0x46681a1a721ad05cn, 0x0cb16b6bda6b7f67n, 0x02b96969d0696f6bn, 0xe3ebf3f318f3cb10n, 0x14cebdbd73bd81a9n, 0x99cc3333ff3385aan, 0x7696abab3dab31ddn, 0xdccffafa35fa8326n, 0x0d63d1d1b2d1c6dcn, 0xe6569b9bcd9bac7dn, 0x05bd6868d568676dn, 0xf7254e4e6b4e4ab9n, 0x625816164e16b074n, 0xcc6e9595fb95dc59n, 0xd07e9191ef91fc41n, 0xb09feeee71ee235en, 0xf92d4c4c614c5ab5n, 0x34916363f2633f57n, 0x8d028e8e8c8e0403n, 0x9c715b5b2a5be2c7n, 0x5e17ccccdbcc2e92n, 0xb4f03c3ccc3cfd88n, 0x4f6419197d19c856n, 0x40bea1a11fa161e1n, 0xa03e8181bf817c21n, 0xe2394949704972abn, 0x7cf17b7b8a7bff07n, 0x3543d9d99ad986ecn, 0x10a16f6fce6f5f7fn, 0x85dc3737eb37a5b2n, 0x3d9d6060fd60275dn, 0x4c0fcacac5ca1e86n, 0x8fbbe7e75ce76b68n, 0xd1ac2b2b872b45fan, 0xe53d484875487aadn, 0xc9d3fdfd2efdbb34n, 0xc5629696f496c453n, 0xc60945454c451283n, 0xced7fcfc2bfcb332n, 0xda1941415841329bn, 0x7e4812125a12906cn, 0x23340d0d390d682en, 0x72f979798079ef0bn, 0x81b3e5e556e57b64n, 0x981e898997893c11n, 0x830a8c8c868c140fn, 0x93abe3e348e34b70n, 0xe0802020a0201dc0n, 0x90c03030f0309da0n, 0x2e57dcdc8bdcaef2n, 0x22e6b7b751b7d195n, 0x19ad6c6cc16c4775n, 0xeb354a4a7f4a6aa1n, 0x2ceeb5b55bb5c199n, 0xbdfc3f3fc33fe582n, 0xc2669797f197cc55n, 0x1677d4d4a3d4eec2n, 0x33956262f7623751n, 0xc3b42d2d992d75een, 0x121806061e063014n, 0x5baaa4a40ea449ffn, 0x5caea5a50ba541f9n, 0xae368383b5836c2dn, 0x80615f5f3e5fc2dfn, 0xd6a82a2a822a4dfcn, 0x3c4fdada95da9ee6n, 0x4503c9c9cac9068cn, 0x0000000000000000n, 0x67e57e7e9b7ed719n, 0x49b2a2a210a279ebn, 0xb64955551c5592e3n, 0x1ac6bfbf79bf91a5n, 0x7744111155118866n, 0x1173d5d5a6d5e6c4n, 0xf34a9c9cd69c946fn, 0x571bcfcfd4cf3698n, 0x2a380e0e360e7024n, 0x36280a0a220a503cn, 0xb3f43d3dc93df58en, 0xaa5951510851b2fbn, 0x6ee97d7d947dcf13n, 0xde769393e593ec4dn, 0x416c1b1b771bd85an, 0xc0dffefe21fea33en, 0x6637c4c4f3c46ea2n, 0xc80147474647028fn, 0x3f2409092d094836n, 0xb5228686a4864433n, 0x312c0b0b270b583an, 0x8a068f8f898f0c05n, 0xf44e9d9dd39d9c69n, 0x0bb56a6adf6a7761n, 0x151c07071b073812n, 0x08deb9b967b9a1b1n, 0x37fab0b04ab0e987n, 0xef5a9898c298b477n, 0x486018187818c050n, 0x9ec83232fa328dacn, 0x4ad97171a871af3bn, 0xec314b4b7a4b62a7n, 0xb79befef74ef2b58n, 0xa1ec3b3bd73bc59an, 0x4ddd7070ad70a73dn, 0x47baa0a01aa069e7n, 0x86b7e4e453e47362n, 0xdd1d40405d403a9dn, 0xc7dbffff24ffab38n, 0x732bc3c3e8c356b0n, 0x789ea9a937a921d1n, 0x88bfe6e659e6636en, 0x75fd78788578e70dn, 0xd5c3f9f93af99b2cn, 0x96168b8b9d8b2c1dn, 0xcf05464643460a89n, 0xa73a8080ba807427n, 0x5a781e1e661ef044n, 0xa8e03838d838dd90n, 0x9da3e1e142e15b7cn, 0x0fdab8b862b8a9b7n, 0x7f9aa8a832a829d7n, 0x9aa7e0e047e0537an, 0x24300c0c3c0c6028n, 0xe98c2323af2305can, 0x5fc57676b3769729n, 0x53741d1d691de84en, 0xfb942525b12535den, 0xfc902424b4243dd8n, 0x1b1405051105281en, 0xede3f1f112f1db1cn, 0x17a56e6ecb6e5779n, 0xcb6a9494fe94d45fn, 0xd8a0282888285df0n, 0xe1529a9ac89aa47bn, 0xbb2a8484ae84543fn, 0xa287e8e86fe8134an, 0x4eb6a3a315a371edn, 0xf0214f4f6e4f42bfn, 0x58c17777b6779f2fn, 0x036bd3d3b8d3d6d0n, 0xbc2e8585ab855c39n, 0x94afe2e24de24376n, 0xa35552520752aaf1n, 0xe4eff2f21df2c316n, 0xa9328282b082642bn, 0xad5d50500d50bafdn, 0x7bf57a7a8f7af701n, 0xcdbc2f2f932f65e2n, 0x51cd7474b9748725n, 0xa45153530253a2f7n, 0x3ef6b3b345b3f18dn, 0x3a996161f8612f5bn, 0x6a86afaf29af11c5n, 0xafe43939dd39d596n, 0x8bd43535e135b5ben, 0x205fdede81debefen, 0x5913cdcddecd2694n, 0x5d7c1f1f631ff842n, 0xe85e9999c799bc71n, 0x638aacac26ac09cfn, 0x648eadad23ad01c9n, 0x43d57272a772b731n, 0xc4b02c2c9c2c7de8n, 0x2953dddd8edda6f4n, 0x0a67d0d0b7d0cedan, 0xb2268787a1874c35n, 0x1dc2bebe7cbe99a3n, 0x87655e5e3b5ecad9n, 0x55a2a6a604a659f3n, 0xbe97ecec7bec3352n, 0x1c10040414042018n, 0x683fc6c6f9c67eaen, 0x090c03030f03180an, 0x8cd03434e434bdb8n, 0xdbcbfbfb30fb8b20n, 0x3b4bdbdb90db96e0n, 0x927959592059f2cbn, 0x25e2b6b654b6d993n, 0x742fc2c2edc25eb6n, 0x0704010105010806n, 0xeae7f0f017f0d31an, 0x9b755a5a2f5aeac1n, 0xb993eded7eed3b54n, 0x52a6a7a701a751f5n, 0x2f856666e3661749n, 0xe7842121a52115c6n, 0x60e17f7f9e7fdf1fn, 0x91128a8a988a241bn, 0xf59c2727bb2725d2n, 0x6f3bc7c7fcc776a8n, 0x7a27c0c0e7c04eban, 0xdfa429298d2955f6n, 0x1f7bd7d7acd7f6c8n, ]); /** Replacement table No. 7 for nonlinear bi-objective reflection */ export const T6 = new BigUint64Array([ 0x769393e593ec4dden, 0x43d9d99ad986ec35n, 0x529a9ac89aa47be1n, 0xeeb5b55bb5c1992cn, 0x5a9898c298b477efn, 0x882222aa220dcceen, 0x0945454c451283c6n, 0xd7fcfc2bfcb332cen, 0xd2baba68bab9bb01n, 0xb56a6adf6a77610bn, 0x5bdfdf84dfb6f827n, 0x0802020a02100c0en, 0x469f9fd99f8c65fan, 0x57dcdc8bdcaef22en, 0x5951510851b2fbaan, 0x7959592059f2cb92n, 0x354a4a7f4a6aa1ebn, 0x5c17174b17b87265n, 0xac2b2b872b45fad1n, 0x2fc2c2edc25eb674n, 0x6a9494fe94d45fcbn, 0xf7f4f403f4f302f6n, 0xd6bbbb6dbbb1bd06n, 0xb6a3a315a371ed4en, 0x956262f762375133n, 0xb7e4e453e4736286n, 0xd97171a871af3b4an, 0x77d4d4a3d4eec216n, 0x13cdcddecd269459n, 0xdd7070ad70a73d4dn, 0x5816164e16b07462n, 0xa3e1e142e15b7c9dn, 0x394949704972abe2n, 0xf03c3ccc3cfd88b4n, 0x27c0c0e7c04eba7an, 0x47d8d89fd88eea32n, 0x6d5c5c315cdad589n, 0x569b9bcd9bac7de6n, 0x8eadad23ad01c964n, 0x2e8585ab855c39bcn, 0x5153530253a2f7a4n, 0xbea1a11fa161e140n, 0xf57a7a8f7af7017bn, 0x07c8c8cfc80e8a42n, 0xb42d2d992d75eec3n, 0xa7e0e047e0537a9an, 0x63d1d1b2d1c6dc0dn, 0xd57272a772b73143n, 0xa2a6a604a659f355n, 0xb02c2c9c2c7de8c4n, 0x37c4c4f3c46ea266n, 0xabe3e348e34b7093n, 0xc57676b37697295fn, 0xfd78788578e70d75n, 0xe6b7b751b7d19522n, 0xeab4b45eb4c99f2bn, 0x2409092d0948363fn, 0xec3b3bd73bc59aa1n, 0x380e0e360e70242an, 0x1941415841329bdan, 0x2d4c4c614c5ab5f9n, 0x5fdede81debefe20n, 0xf2b2b240b2f98b39n, 0x7a9090ea90f447d7n, 0x942525b12535defbn, 0xaea5a50ba541f95cn, 0x7bd7d7acd7f6c81fn, 0x0c03030f03180a09n, 0x4411115511886677n, 0x0000000000000000n, 0x2bc3c3e8c356b073n, 0xb82e2e962e6de4can, 0x729292e092e44bd9n, 0x9befef74ef2b58b7n, 0x254e4e6b4e4ab9f7n, 0x4812125a12906c7en, 0x4e9d9dd39d9c69f4n, 0xe97d7d947dcf136en, 0x0bcbcbc0cb16804bn, 0xd43535e135b5be8bn, 0x4010105010806070n, 0x73d5d5a6d5e6c411n, 0x214f4f6e4f42bff0n, 0x429e9edc9e8463fdn, 0x294d4d644d52b3fen, 0x9ea9a937a921d178n, 0x4955551c5592e3b6n, 0x3fc6c6f9c67eae68n, 0x67d0d0b7d0ceda0an, 0xf17b7b8a7bff077cn, 0x6018187818c05048n, 0x669797f197cc55c2n, 0x6bd3d3b8d3d6d003n, 0xd83636ee36adb482n, 0xbfe6e659e6636e88n, 0x3d484875487aade5n, 0x45565613568ae9bfn, 0x3e8181bf817c21a0n, 0x068f8f898f0c058an, 0xc17777b6779f2f58n, 0x17ccccdbcc2e925en, 0x4a9c9cd69c946ff3n, 0xdeb9b967b9a1b108n, 0xafe2e24de2437694n, 0x8aacac26ac09cf63n, 0xdab8b862b8a9b70fn, 0xbc2f2f932f65e2cdn, 0x5415154115a87e6bn, 0xaaa4a40ea449ff5bn, 0xed7c7c917cc71569n, 0x4fdada95da9ee63cn, 0xe03838d838dd90a8n, 0x781e1e661ef0445an, 0x2c0b0b270b583a31n, 0x1405051105281e1bn, 0x7fd6d6a9d6fece18n, 0x5014144414a0786cn, 0xa56e6ecb6e577917n, 0xad6c6cc16c477519n, 0xe57e7e9b7ed71967n, 0x856666e36617492fn, 0xd3fdfd2efdbb34c9n, 0xfeb1b14fb1e18130n, 0xb3e5e556e57b6481n, 0x9d6060fd60275d3dn, 0x86afaf29af11c56an, 0x655e5e3b5ecad987n, 0xcc3333ff3385aa99n, 0x268787a1874c35b2n, 0x03c9c9cac9068c45n, 0xe7f0f017f0d31aean, 0x695d5d345dd2d38en, 0xa96d6dc46d4f731en, 0xfc3f3fc33fe582bdn, 0x1a8888928834179fn, 0x0e8d8d838d1c0984n, 0x3bc7c7fcc776a86fn, 0xfbf7f70cf7eb08ffn, 0x741d1d691de84e53n, 0x83e9e96ae91b4ca5n, 0x97ecec7bec3352ben, 0x93eded7eed3b54b9n, 0x3a8080ba807427a7n, 0xa429298d2955f6dfn, 0x9c2727bb2725d2f5n, 0x1bcfcfd4cf369857n, 0x5e9999c799bc71e8n, 0x9aa8a832a829d77fn, 0x5d50500d50bafdadn, 0x3c0f0f330f78222dn, 0xdc3737eb37a5b285n, 0x902424b4243dd8fcn, 0xa0282888285df0d8n, 0xc03030f0309da090n, 0x6e9595fb95dc59ccn, 0x6fd2d2bdd2ded604n, 0xf83e3ec63eed84ban, 0x715b5b2a5be2c79cn, 0x1d40405d403a9dddn, 0x368383b5836c2daen, 0xf6b3b345b3f18d3en, 0xb96969d0696f6b02n, 0x415757165782efb8n, 0x7c1f1f631ff8425dn, 0x1c07071b07381215n, 0x701c1c6c1ce04854n, 0x128a8a988a241b91n, 0xcabcbc76bc89af13n, 0x802020a0201dc0e0n, 0x8bebeb60eb0b40abn, 0x1fceced1ce3e9e50n, 0x028e8e8c8e04038dn, 0x96abab3dab31dd76n, 0x9feeee71ee235eb0n, 0xc43131f53195a697n, 0xb2a2a210a279eb49n, 0xd17373a273bf3744n, 0xc3f9f93af99b2cd5n, 0x0fcacac5ca1e864cn, 0xe83a3ad23acd9ca6n, 0x681a1a721ad05c46n, 0xcbfbfb30fb8b20dbn, 0x340d0d390d682e23n, 0x23c1c1e2c146bc7dn, 0xdffefe21fea33ec0n, 0xcffafa35fa8326dcn, 0xeff2f21df2c316e4n, 0xa16f6fce6f5f7f10n, 0xcebdbd73bd81a914n, 0x629696f496c453c5n, 0x53dddd8edda6f429n, 0x11434352432297d4n, 0x5552520752aaf1a3n, 0xe2b6b654b6d99325n, 0x2008082808403038n, 0xebf3f318f3cb10e3n, 0x82aeae2cae19c36dn, 0xc2bebe7cbe99a31dn, 0x6419197d19c8564fn, 0x1e898997893c1198n, 0xc83232fa328dac9en, 0x982626be262dd4f2n, 0xfab0b04ab0e98737n, 0x8feaea65ea0346acn, 0x314b4b7a4b62a7ecn, 0x8d6464e964074521n, 0x2a8484ae84543fbbn, 0x328282b082642ba9n, 0xb16b6bda6b7f670cn, 0xf3f5f506f5fb04f1n, 0xf979798079ef0b72n, 0xc6bfbf79bf91a51an, 0x0401010501080607n, 0x615f5f3e5fc2df80n, 0xc97575bc758f2356n, 0x916363f2633f5734n, 0x6c1b1b771bd85a41n, 0x8c2323af2305cae9n, 0xf43d3dc93df58eb3n, 0xbd6868d568676d05n, 0xa82a2a822a4dfcd6n, 0x896565ec650f4326n, 0x87e8e86fe8134aa2n, 0x7e9191ef91fc41d0n, 0xfff6f609f6e30ef8n, 0xdbffff24ffab38c7n, 0x4c13135f13986a79n, 0x7d58582558facd95n, 0xe3f1f112f1db1cedn, 0x0147474647028fc8n, 0x280a0a220a503c36n, 0xe17f7f9e7fdf1f60n, 0x33c5c5f6c566a461n, 0xa6a7a701a751f552n, 0xbbe7e75ce76b688fn, 0x996161f8612f5b3an, 0x755a5a2f5aeac19bn, 0x1806061e06301412n, 0x05464643460a89cfn, 0x0d444449441a85c1n, 0x15424257422a91d3n, 0x100404140420181cn, 0xbaa0a01aa069e747n, 0x4bdbdb90db96e03bn, 0xe43939dd39d596afn, 0x228686a4864433b5n, 0x4d545419549ae5b1n, 0x92aaaa38aa39db71n, 0x0a8c8c868c140f83n, 0xd03434e434bdb88cn, 0x842121a52115c6e7n, 0x168b8b9d8b2c1d96n, 0xc7f8f83ff8932ad2n, 0x300c0c3c0c602824n, 0xcd7474b974872551n, 0x816767e6671f4f28n, ]); /** Replacement table No. 8 for nonlinear bi-objective reflection */ export const T7 = new BigUint64Array([ 0x6868d568676d05bdn, 0x8d8d838d1c09840en, 0xcacac5ca1e864c0fn, 0x4d4d644d52b3fe29n, 0x7373a273bf3744d1n, 0x4b4b7a4b62a7ec31n, 0x4e4e6b4e4ab9f725n, 0x2a2a822a4dfcd6a8n, 0xd4d4a3d4eec21677n, 0x52520752aaf1a355n, 0x2626be262dd4f298n, 0xb3b345b3f18d3ef6n, 0x545419549ae5b14dn, 0x1e1e661ef0445a78n, 0x19197d19c8564f64n, 0x1f1f631ff8425d7cn, 0x2222aa220dccee88n, 0x03030f03180a090cn, 0x464643460a89cf05n, 0x3d3dc93df58eb3f4n, 0x2d2d992d75eec3b4n, 0x4a4a7f4a6aa1eb35n, 0x53530253a2f7a451n, 0x8383b5836c2dae36n, 0x13135f13986a794cn, 0x8a8a988a241b9112n, 0xb7b751b7d19522e6n, 0xd5d5a6d5e6c41173n, 0x2525b12535defb94n, 0x79798079ef0b72f9n, 0xf5f506f5fb04f1f3n, 0xbdbd73bd81a914cen, 0x58582558facd957dn, 0x2f2f932f65e2cdbcn, 0x0d0d390d682e2334n, 0x02020a02100c0e08n, 0xeded7eed3b54b993n, 0x51510851b2fbaa59n, 0x9e9edc9e8463fd42n, 0x1111551188667744n, 0xf2f21df2c316e4efn, 0x3e3ec63eed84baf8n, 0x55551c5592e3b649n, 0x5e5e3b5ecad98765n, 0xd1d1b2d1c6dc0d63n, 0x16164e16b0746258n, 0x3c3ccc3cfd88b4f0n, 0x6666e36617492f85n, 0x7070ad70a73d4dddn, 0x5d5d345dd2d38e69n, 0xf3f318f3cb10e3ebn, 0x45454c451283c609n, 0x40405d403a9ddd1dn, 0xccccdbcc2e925e17n, 0xe8e86fe8134aa287n, 0x9494fe94d45fcb6an, 0x565613568ae9bf45n, 0x0808280840303820n, 0xceced1ce3e9e501fn, 0x1a1a721ad05c4668n, 0x3a3ad23acd9ca6e8n, 0xd2d2bdd2ded6046fn, 0xe1e142e15b7c9da3n, 0xdfdf84dfb6f8275bn, 0xb5b55bb5c1992ceen, 0x3838d838dd90a8e0n, 0x6e6ecb6e577917a5n, 0x0e0e360e70242a38n, 0xe5e556e57b6481b3n, 0xf4f403f4f302f6f7n, 0xf9f93af99b2cd5c3n, 0x8686a4864433b522n, 0xe9e96ae91b4ca583n, 0x4f4f6e4f42bff021n, 0xd6d6a9d6fece187fn, 0x8585ab855c39bc2en, 0x2323af2305cae98cn, 0xcfcfd4cf3698571bn, 0x3232fa328dac9ec8n, 0x9999c799bc71e85en, 0x3131f53195a697c4n, 0x14144414a0786c50n, 0xaeae2cae19c36d82n, 0xeeee71ee235eb09fn, 0xc8c8cfc80e8a4207n, 0x484875487aade53dn, 0xd3d3b8d3d6d0036bn, 0x3030f0309da090c0n, 0xa1a11fa161e140ben, 0x9292e092e44bd972n, 0x41415841329bda19n, 0xb1b14fb1e18130fen, 0x18187818c0504860n, 0xc4c4f3c46ea26637n, 0x2c2c9c2c7de8c4b0n, 0x7171a871af3b4ad9n, 0x7272a772b73143d5n, 0x444449441a85c10dn, 0x15154115a87e6b54n, 0xfdfd2efdbb34c9d3n, 0x3737eb37a5b285dcn, 0xbebe7cbe99a31dc2n, 0x5f5f3e5fc2df8061n, 0xaaaa38aa39db7192n, 0x9b9bcd9bac7de656n, 0x8888928834179f1an, 0xd8d89fd88eea3247n, 0xabab3dab31dd7696n, 0x898997893c11981en, 0x9c9cd69c946ff34an, 0xfafa35fa8326dccfn, 0x6060fd60275d3d9dn, 0xeaea65ea0346ac8fn, 0xbcbc76bc89af13can, 0x6262f76237513395n, 0x0c0c3c0c60282430n, 0x2424b4243dd8fc90n, 0xa6a604a659f355a2n, 0xa8a832a829d77f9an, 0xecec7bec3352be97n, 0x6767e6671f4f2881n, 0x2020a0201dc0e080n, 0xdbdb90db96e03b4bn, 0x7c7c917cc71569edn, 0x282888285df0d8a0n, 0xdddd8edda6f42953n, 0xacac26ac09cf638an, 0x5b5b2a5be2c79c71n, 0x3434e434bdb88cd0n, 0x7e7e9b7ed71967e5n, 0x1010501080607040n, 0xf1f112f1db1cede3n, 0x7b7b8a7bff077cf1n, 0x8f8f898f0c058a06n, 0x6363f2633f573491n, 0xa0a01aa069e747ban, 0x05051105281e1b14n, 0x9a9ac89aa47be152n, 0x434352432297d411n, 0x7777b6779f2f58c1n, 0x2121a52115c6e784n, 0xbfbf79bf91a51ac6n, 0x2727bb2725d2f59cn, 0x09092d0948363f24n, 0xc3c3e8c356b0732bn, 0x9f9fd99f8c65fa46n, 0xb6b654b6d99325e2n, 0xd7d7acd7f6c81f7bn, 0x29298d2955f6dfa4n, 0xc2c2edc25eb6742fn, 0xebeb60eb0b40ab8bn, 0xc0c0e7c04eba7a27n, 0xa4a40ea449ff5baan, 0x8b8b9d8b2c1d9616n, 0x8c8c868c140f830an, 0x1d1d691de84e5374n, 0xfbfb30fb8b20dbcbn, 0xffff24ffab38c7dbn, 0xc1c1e2c146bc7d23n, 0xb2b240b2f98b39f2n, 0x9797f197cc55c266n, 0x2e2e962e6de4cab8n, 0xf8f83ff8932ad2c7n, 0x6565ec650f432689n, 0xf6f609f6e30ef8ffn, 0x7575bc758f2356c9n, 0x07071b073812151cn, 0x0404140420181c10n, 0x4949704972abe239n, 0x3333ff3385aa99ccn, 0xe4e453e4736286b7n, 0xd9d99ad986ec3543n, 0xb9b967b9a1b108den, 0xd0d0b7d0ceda0a67n, 0x424257422a91d315n, 0xc7c7fcc776a86f3bn, 0x6c6cc16c477519adn, 0x9090ea90f447d77an, 0x0000000000000000n, 0x8e8e8c8e04038d02n, 0x6f6fce6f5f7f10a1n, 0x50500d50bafdad5dn, 0x0101050108060704n, 0xc5c5f6c566a46133n, 0xdada95da9ee63c4fn, 0x47474647028fc801n, 0x3f3fc33fe582bdfcn, 0xcdcddecd26945913n, 0x6969d0696f6b02b9n, 0xa2a210a279eb49b2n, 0xe2e24de2437694afn, 0x7a7a8f7af7017bf5n, 0xa7a701a751f552a6n, 0xc6c6f9c67eae683fn, 0x9393e593ec4dde76n, 0x0f0f330f78222d3cn, 0x0a0a220a503c3628n, 0x06061e0630141218n, 0xe6e659e6636e88bfn, 0x2b2b872b45fad1acn, 0x9696f496c453c562n, 0xa3a315a371ed4eb6n, 0x1c1c6c1ce0485470n, 0xafaf29af11c56a86n, 0x6a6adf6a77610bb5n, 0x12125a12906c7e48n, 0x8484ae84543fbb2an, 0x3939dd39d596afe4n, 0xe7e75ce76b688fbbn, 0xb0b04ab0e98737fan, 0x8282b082642ba932n, 0xf7f70cf7eb08fffbn, 0xfefe21fea33ec0dfn, 0x9d9dd39d9c69f44en, 0x8787a1874c35b226n, 0x5c5c315cdad5896dn, 0x8181bf817c21a03en, 0x3535e135b5be8bd4n, 0xdede81debefe205fn, 0xb4b45eb4c99f2bean, 0xa5a50ba541f95caen, 0xfcfc2bfcb332ced7n, 0x8080ba807427a73an, 0xefef74ef2b58b79bn, 0xcbcbc0cb16804b0bn, 0xbbbb6dbbb1bd06d6n, 0x6b6bda6b7f670cb1n, 0x7676b37697295fc5n, 0xbaba68bab9bb01d2n, 0x5a5a2f5aeac19b75n, 0x7d7d947dcf136ee9n, 0x78788578e70d75fdn, 0x0b0b270b583a312cn, 0x9595fb95dc59cc6en, 0xe3e348e34b7093abn, 0xadad23ad01c9648en, 0x7474b974872551cdn, 0x9898c298b477ef5an, 0x3b3bd73bc59aa1ecn, 0x3636ee36adb482d8n, 0x6464e9640745218dn, 0x6d6dc46d4f731ea9n, 0xdcdc8bdcaef22e57n, 0xf0f017f0d31aeae7n, 0x59592059f2cb9279n, 0xa9a937a921d1789en, 0x4c4c614c5ab5f92dn, 0x17174b17b872655cn, 0x7f7f9e7fdf1f60e1n, 0x9191ef91fc41d07en, 0xb8b862b8a9b70fdan, 0xc9c9cac9068c4503n, 0x5757165782efb841n, 0x1b1b771bd85a416cn, 0xe0e047e0537a9aa7n, 0x6161f8612f5b3a99n, ]);