; ------------------------------------------------------------------------
; HeavyThing x86_64 assembly language library and showcase programs
; Copyright © 2015-2018 2 Ton Digital
; Homepage: https://2ton.com.au/
; Author: Jeff Marrison <jeff@2ton.com.au>
;
; This file is part of the HeavyThing library.
;
; HeavyThing is free software: you can redistribute it and/or modify
; it under the terms of the GNU General Public License, or
; (at your option) any later version.
;
; HeavyThing is distributed in the hope that it will be useful,
; but WITHOUT ANY WARRANTY; without even the implied warranty of
; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
; GNU General Public License for more details.
;
; You should have received a copy of the GNU General Public License along
; with the HeavyThing library. If not, see <http://www.gnu.org/licenses/>.
; ------------------------------------------------------------------------
;
; dh_pool_2k.inc: 2048 bit Diffie-Hellman parameters
; see dh_pool.inc for commentary
;
if used dh$pool_p | defined include_everything
dalign
dh$pool_p:
dq dhp2k1, dhp2k2, dhp2k3, dhp2k4, dhp2k5, dhp2k6, dhp2k7, dhp2k8, dhp2k9, dhp2k10, dhp2k11, dhp2k12, dhp2k13, dhp2k14, dhp2k15, dhp2k16, dhp2k17, dhp2k18, dhp2k19, dhp2k20
dh$pool_p_size = ($ - dh$pool_p) shr 3
dalign
dh$pool_g:
dq dhg3, dhg2, dhg3, dhg3, dhg2, dhg2, dhg3, dhg2, dhg2, dhg2, dhg2, dhg2, dhg3, dhg2, dhg2, dhg2, dhg2, dhg3, dhg2, dhg2
dalign
dhp2k1:
dq 32, .data, 0, 0
align 16
.data: dq 0x8504f88c3996a07b, 0x7f2b007b1ffa0673, 0xa9db4bae03eb9c03, 0xa0e3878a06267b6c, 0xab5f2f1a5319af29, 0x2a7c413263be4e6c, 0xc0384e0cb4e135e3, 0x22344c34a7262e56, 0x9b8603b32f16488c, 0xcea722e70103032b, 0xaf3301215276630e, 0xebbcb074b3a9a72d, 0xdcb8c775bf76b700, 0x7dcb71158cc7b572, 0x74f101d1b51edc5b, 0x74127a6cd529f2c0, 0xddc3ffea7b57da5b, 0x74d3e61cd55fbaf9, 0x1bb3067d413e91ae, 0x724f3828e6dcaff5, 0xd6b940e648e21c92, 0x8a2451976f08f7b0, 0x52d106531aff1586, 0x3cd694db8e018a8d, 0x290e06525cebc2ea, 0x2660b7aa536ceae, 0x5e49e4f7e3351cf2, 0xac5bd488978f3871, 0x1ef6ed9721e64419, 0x35bf5a2cea663da9, 0x69050881922aafd3, 0x934907c43831c377
dalign
dhp2k2:
dq 32, .data, 0, 0
align 16
.data: dq 0xd314c58c2122a62f, 0xc82bf5ff4835decf, 0x415556ea5cc6b3a6, 0x1bab2586376eee5e, 0xe651299169aeb27c, 0xdd6285debb340d01, 0x3552202dcc0fdda2, 0xb0a0e0607c96a795, 0x95b453adf2adc316, 0xb946ca2d4e6f5d6e, 0xa53c7c7eef650e4b, 0xa7b1a8954bd3b7ae, 0xb98faa53e9d7df9, 0xe69cc708251fa49c, 0xefe75698e76600d0, 0x28ae0b8bf7dc04ce, 0x33c8a09284f355eb, 0xecd0cc5881ecd7cc, 0x4fd6a44c8190f533, 0xa9f1e525c176a715, 0xe825875f7d0bd685, 0xb07a77c265a5a36f, 0xa147758cc6371d4d, 0x74234b6cfaebfca5, 0xc0347811fb471891, 0xeee27b8af026b832, 0x21652ac6f8146cf0, 0x4b49d97c9757bff1, 0x1c2615e828c085c3, 0xc24a0e6565f77ffd, 0xe2ee205ebbcf94ba, 0xe251e0be321c8341
dalign
dhp2k3:
dq 32, .data, 0, 0
align 16
.data: dq 0xb8408375c4a1aa2b, 0xecc1035d62f74da, 0x26720f375f8a1735, 0x2cdd6e0f764165de, 0x92494dc9d36a197, 0x65b251d7668d9d1a, 0x70aa13bc711e9a4c, 0xd513bfe72a887f11, 0x2d1bad56ac838737, 0x5cbf42d90f9c1d46, 0x16c219aa8b572e0a, 0x224a445cdaa39e95, 0x90f2aa3eb6a38291, 0x79dbb710bf743c9c, 0xafc2025e38001469, 0xb50150e157eef149, 0xa376fd1f66758b34, 0x1251a4023591715a, 0x9073c69facd455ae, 0x1641d68debcfd880, 0x58619fb542d11b32, 0x8c35f532a53cfe34, 0x1a2e909578570fd0, 0x7a3c6df41e3637c7, 0x6bb6a3bb62577515, 0x51b8ff57a9e43314, 0xb7be50fc051dd3a4, 0x88f4e4f35d1763f2, 0xd8d2d32fbdac84c4, 0xdcc9f4ec496faf1d, 0xe948e2ba1bc526fe, 0xe83889e2102b3e45
dalign
dhp2k4:
dq 32, .data, 0, 0
align 16
.data: dq 0x453e0b8e8f4c48b, 0xd9530faaee8a038b, 0xae95f832097fc5b5, 0x5ecf33d2442b2061, 0x4220038a22dd7d21, 0xbccecf8f897beb44, 0x34137c54f5f166c6, 0x18bf572bc81fe15e, 0xd034e07543730582, 0xb711cf5978c13d53, 0x6ee517e95ea4349b, 0x79963159787f9bc6, 0xbac6ab3e65828c1c, 0x4654d0c9484bc878, 0xce3362aeb41a66b7, 0xc79ad4415aa86eb3, 0xe95f7ee678e1aedf, 0x81714f1d6abc8e3b, 0x6e0980021c57f3d5, 0xb021213fbfb6aa25, 0xdae632da59422d54, 0xf1c15a292160bcb9, 0x9f11f34f625582a8, 0xbe15caaf8edc2b03, 0x82e41e9beec56910, 0x98cf89e3f33effb6, 0x6d839cf7efdc825b, 0xb91035adbdb9d391, 0x60dc25c3ebffe2c4, 0xfc6eea81734b6d2e, 0xa25d2e03b09a9243, 0xe25bdb4c9b89f229
dalign
dhp2k5:
dq 32, .data, 0, 0
align 16
.data: dq 0x7b6367492aa8545f, 0xf1adb6180cd82f13, 0x44477dd6d3d98146, 0x9524e3a0a3aee734, 0x804342b072ba0486, 0x839f7e6dd2a8265d, 0x86f243bee7d8fb7e, 0x2d33baac3063ce0f, 0x9723860457d04918, 0x828951ffc671f079, 0xf419e8a034cb4bca, 0x193b5824e5862420, 0x7f4942673514d74d, 0x6acff41e37e4a162, 0x109e43941de817b1, 0xbe8f9b5fcf7eff81, 0x1ee74ce9465e6da4, 0xd0136bd76f91e97b, 0x6a4743504faefdac, 0xcd6e57bc451aac1c, 0x3533d47416ea555a, 0xbc3a632c4baf66c3, 0xc959372bd165e6b6, 0xed32f574286570f4, 0x81c76558f20cdb1e, 0x489a2304568eecc8, 0x4224fb201c597bbc, 0xa7efb7e96d57a6dd, 0x1bc1947f1a3e5f12, 0x3c0ef1c566edd366, 0x17440017e729b362, 0xe24c259c3ff32730
dalign
dhp2k6:
dq 32, .data, 0, 0
align 16
.data: dq 0x88a4d930d9bb4d47, 0x9f5c5f26fdb46c15, 0xf4e330880e675479, 0xea8f97a96611ff5, 0x458b7b7135ba13e8, 0x7204d7e700242848, 0x6e94e557e1513631, 0x70d4b0f58df15349, 0xbd318fd3124c82cc, 0x67d1a6dbe20ebd1c, 0xa1025e4c8aea1651, 0xd35c9a5ccc0f79ff, 0x54fdb6d362b68e3b, 0xfb32b162fa054122, 0xb12dccf3ee2a24e, 0x7c71419704194cce, 0xadc7c952b2a8ba9b, 0xf2480eb05bf511f7, 0x1bb8d650f5a82a16, 0x14d354dd81f96a76, 0x7ae01e4edc15dbb8, 0xd3ebfc8af72f67ac, 0x8ba7de2f95dbc144, 0xe09ca9752a74f70a, 0x3eb2e7067280e0d6, 0x5efc7de96c8aac0d, 0xbcdef02b6ae4a896, 0x5b45920aad046a57, 0x220aa6f5351215a2, 0x842cd24fdafad87a, 0xe6dd14d40cbd9f62, 0xd4ed0b19c45c59cd
dalign
dhp2k7:
dq 32, .data, 0, 0
align 16
.data: dq 0x53eb53f97453713b, 0xee41c50c44676fb2, 0xc69ef4fb0926d024, 0x7623f731df847858, 0x82a11c9a1d3fca9e, 0x662af7eb2f326b74, 0x8e45e7fdc553b303, 0xcd701a74541fc59c, 0x92ea64edd61fff8a, 0xd3ac78f85fcde6ce, 0x7c37206768d58d9, 0x15797a0f6e791436, 0x4337a34661c7b805, 0xfe02d3899addc62b, 0x8ba31a9495faf6f7, 0x75e1dfe68258553, 0xcbac4f03d767f758, 0x79b046893b1840a0, 0xed7ad328af6baa9e, 0x415803963db8a056, 0xf0d670957d0a8831, 0x5c4c1ba73ea6b0de, 0x9d01249a9e59245a, 0x768109bcd072ae70, 0xdf79fe0a8e8f0c6f, 0x1532095b07405a95, 0xaf2ae56e7c13d538, 0x5137c138f366cf2b, 0x890c9ec3261eab7, 0x287c9b692ddb9dcd, 0xba871d50ab14ed2, 0xd5a414554783d7bd
dalign
dhp2k8:
dq 32, .data, 0, 0
align 16
.data: dq 0x923312865b097777, 0x6b7004c6ef6b8de0, 0xc5000adb4fb4adbb, 0x510c5ab9e5dbd199, 0x7bb7207d1fae8752, 0x63980fc42e981032, 0xd473f08b2ba4f297, 0x320156d36515c371, 0x2c29869e215ef1b5, 0xeddb9250892eede1, 0x155fdcd5a8468aff, 0x36b02e80b123640a, 0x32a9552ea5d852ec, 0x17dc51f793f27462, 0x31803443d54257bf, 0xb9a994e2e590d04b, 0x4d38b49b492619b5, 0x3033c9f0e7b25bd2, 0x396755f4f8b1c62, 0x6acc6ae06a5f242c, 0xd6d5ffdda2351843, 0xcce6fc544ee8ad61, 0xc7f482d1040ce814, 0x5adbb98100ff1b13, 0x919a2316cd89d4b9, 0xd7572a247c7ff8a4, 0xf1ddd7030de7400c, 0xb607ea42a5cdee81, 0xe8e6e9e7740822fe, 0xe2572a6ead95495a, 0xf4f094039d5280b3, 0xfd90aaf3d5b3b698
dalign
dhp2k9:
dq 32, .data, 0, 0
align 16
.data: dq 0x7679909c71213a47, 0x35c847e7c17add2, 0xed7954f7942e7664, 0xfea6f8d12d78ceb1, 0x9ac578a87194ba42, 0x80bb91ffaa16ce48, 0x70f3a2a53874c2c9, 0x861cd01899b39e71, 0xec071c7065736d52, 0x46249a4a01c5e80e, 0x7b0c457d7ed2caf0, 0xcf6da4bb940e2f5d, 0x7707537d2961122b, 0x6696d9cd2446a239, 0x465c3793a9e33e5b, 0x2f0a4553216d9f68, 0x88a6f7fb45a20ffa, 0x55921d01c8d445a7, 0xc538791044556b49, 0xcf4ed03aa9f2c21c, 0x242e350f4085622a, 0x98f8a5f86a9b525a, 0x9cc7413bcc957057, 0x8628ec7328f67dfe, 0x9344a825b7516220, 0x1149e33ebc70df71, 0x1c7d103c092aa5d7, 0xbc3ca80eae1bc54c, 0x755efc379497232f, 0x42fa1c24b417e3a, 0x97042d580b6f0197, 0xd1fce0970ac96372
dalign
dhp2k10:
dq 32, .data, 0, 0
align 16
.data: dq 0x806b3ce528d1cccf, 0xd6125e6022a8b583, 0x640bd41a9b59f3d8, 0x3f25d672233f0404, 0xfd8db2daeaeb2e38, 0x10c5ee1fc781082c, 0x22bb049239faecb0, 0x6df53c5b7e84dcb3, 0x629f42a5b26e645b, 0x4748fcdaf6a680e6, 0x5269478c2969963c, 0x68f267fb4edceed2, 0x37beaccf861fe087, 0xf0720386d23dd1bc, 0x85d7f0c64644939f, 0x51629045d1817ea5, 0x59b1f5d99386e87e, 0xe0e4b9a9b23ccfde, 0xbffab5bd33c602ec, 0x6a4f7250ff748558, 0x40fdab151d6f4e45, 0x64647715e61b8758, 0x4a90ed9d60987eba, 0x459d9fa6e93bb337, 0xa07070187e96dee8, 0x94a0d283bfb789dd, 0x27a78f52493b5817, 0x5d1a86496b4811b3, 0xa24bd9f5294973c2, 0xa54d2684906ca77c, 0xef5f5573ca954441, 0xf853855f001db759
dalign
dhp2k11:
dq 32, .data, 0, 0
align 16
.data: dq 0xff28f8e8bd0ad2d7, 0xc48ec7f5e899bf8f, 0xc1b806ad99606024, 0x9815aaea22ba0714, 0x153de78180676454, 0x6df251c14242aa40, 0x3af5c6c69ec573d0, 0xc321688504c45bb3, 0x52a237b5dbfbae43, 0xf871bf071a026eb6, 0x1c9ca9455f4b3cf, 0xe12848f87dfccf8e, 0x1e47faf3b576cf7a, 0x442f9c88f7a01ca9, 0x7a6f3b95db8c3536, 0x26ac3c12d2e24ca6, 0xb7da0a0fe04320d8, 0x79ec5557df9a05e5, 0x8f863ea350466d9a, 0x84868fa2d29131ed, 0x2f459e1d52feb32e, 0x728b1318bc5e19e2, 0xff0d2b9ed6270812, 0xa988fabc04ac7f28, 0x76e72e3be3956cd, 0x3f729d9e654fa0c1, 0xb27ef2cd6ba67144, 0x36021ce3eac9240d, 0xbd9865d768574a5, 0xc890cc21d2e94792, 0xacb229ceb39e431b, 0xd02f72fd9195665d
dalign
dhp2k12:
dq 32, .data, 0, 0
align 16
.data: dq 0x86ef76d3adda8e5f, 0x1e26a1f9468e8853, 0xd9888004b177be1c, 0xa8df46e5d34b815d, 0xf136e00042285233, 0x4f881b723ae04418, 0x5492970c163d7748, 0x9004c3b826cc368, 0xe7d4362b2b8f579f, 0xb74b0d0ce4776052, 0xc60058c16bf42582, 0xfa0072cacfb16f49, 0x1a6a16a07e4b9d18, 0x3322a865b88bba4f, 0x88e5db3152b6b037, 0xc99408df031a8688, 0x4838a5264d29c85d, 0x4c013d20e6c4e524, 0xcc453c2de0026f04, 0xb8e5f62b9410a0e6, 0xf31a93dd8e411a9f, 0x40828f5ab988b2cd, 0x9707b168bfb4e203, 0xca19bc6e9558d2d1, 0xfc256d619399a419, 0xeca5b528c405f2b9, 0xa6bb0116fdcab51f, 0x3cfd9f901cb57067, 0x7aba65f6d0bcce91, 0x2c03685ef0c1c79d, 0x925c77d9f35adb2c, 0xc08de2dfa262896d
dalign
dhp2k13:
dq 32, .data, 0, 0
align 16
.data: dq 0x8b2835a75f1adc2b, 0x333a594b12675691, 0x11795c32f2dcccf4, 0xd4e31681b0948a0a, 0x1d69e1bc19cad29c, 0x4b9f645989165b50, 0xdf9ce97b49e3712d, 0x21d5d17dde00fac8, 0xe24b3e5d3d94d2fe, 0xa893e1fc463de667, 0xcb723553626f275e, 0x859c456b5b792b86, 0x588aea4da2d734e8, 0x447c4d907f0c839e, 0x8993982aa85aa047, 0xf176f1de763c46b4, 0x8eb0243d472cae33, 0x826ef484216d2755, 0x8d6141b6e1df1e12, 0x708fccc4669ac150, 0xc8ed5c5d6d2fbf00, 0xc04dd713afb2cfe9, 0x96d1b328d7ed24fd, 0xebaacb2dad90f24f, 0x8945b00b1232a0e9, 0x2bb2b508945b19ed, 0x25206cb8e976e7cf, 0x7067d43c8e7c2e6, 0x6c35fef4b9fc669a, 0xb8174852da23a52c, 0xae665019c56793c5, 0xa8535cd937206c3e
dalign
dhp2k14:
dq 32, .data, 0, 0
align 16
.data: dq 0xdceb5cd7040f5167, 0x986eb96c2020093e, 0xcc5cdbc7f2e86ae1, 0xf69002dbf3ebdbbe, 0x628d7acfde15655, 0xbf631fe336593ede, 0x368de64fe8573407, 0xd3648359bdba803e, 0x3cf53bf74a042964, 0x53bbfecf27495a40, 0x4255ef11d8fe74cf, 0x18328dfc024010d5, 0x96746e11919a12df, 0x14e112ca72c5b3b1, 0x5e72e0c2f2249af6, 0x659a67ac7786e9e4, 0xdf8cf1856d0ee430, 0x9984413db33ed7e8, 0x72e03f73b9543c4c, 0x32a02118b66b4aeb, 0x4fcaaa8b28b4fefa, 0xf8b1cafcde5c7418, 0xf3faf27b0aaa627b, 0x8f865da3c577351d, 0xb63fc1e241f96229, 0x34c0e487c23cd320, 0xbdb8fde2e4a74b23, 0x1ae5bd5acad85a1d, 0xffe1f301ecd5027c, 0x1d3914289b6fccfa, 0x6a537fa53fd686d4, 0xe1695a37a88b48a5
dalign
dhp2k15:
dq 32, .data, 0, 0
align 16
.data: dq 0xc554a0315ce00b5f, 0xe781526567e12ad7, 0xb556758f4a06ce40, 0x946a14f6aafd522, 0x9eb54fb857dcb9c4, 0x42effa9f97edfaeb, 0x573f5d20cd6c6262, 0xbbb7f7653b94c54d, 0x589d5a420aa16be8, 0x8916ad269a5e6dc3, 0x547d355550a7740f, 0x93dfe6b5d823d8b4, 0x7efa8f48320a3f60, 0x53937ce681b5d056, 0x5a21f79ac07748ee, 0xc72048746402c4d2, 0xbdb107699a763e11, 0x94174006bc398a8d, 0xe95b21a33890dc0c, 0x5079fcd7d1d57d4d, 0x2d613974ef6d8e5f, 0x15ec99a87248382e, 0x3e91456e342307b9, 0xaafd628dad7e346d, 0xed0efb7ad36fe330, 0x977490d406299836, 0xbef0c41d3ef57c42, 0x5cb64e914ad42cc2, 0xb02ed3c043e4e768, 0x622cb2de768605f3, 0x848e5dcbfa4b1617, 0xaac7c8ac3cd1997b
dalign
dhp2k16:
dq 32, .data, 0, 0
align 16
.data: dq 0x2c913434f0ac7dff, 0x6fc014ee56f21d86, 0xc2a287bf2445b657, 0x305ac0c7ae13be87, 0x79218f76e478d8f7, 0x9044996dda8c60bc, 0xb5a86dc70424adb0, 0x9608900dd33148da, 0xe73ed389f03a8679, 0xe8c38abb290b443b, 0xfebbc2d9039fd3bf, 0x6dc254fae445998f, 0x952abb5ad2f55199, 0x99c7d129ad5297b2, 0x76cb30de75c1a8f9, 0x299a0083a731671c, 0xd09a10824b6e893, 0xf056cc1db8c0f9c8, 0xd900d71b55fb1882, 0xfed5a5ca387f3b47, 0xf712f804de8bb220, 0xc2167f38dab8f20d, 0xacb222bd575c468d, 0xd8cab655f660245, 0x9b0a391004ac4f20, 0x3b71d5f43c15ed59, 0x7132a6956d5a7363, 0x5f7d8a14a08dba79, 0x3817dcd78313e529, 0x6b3270611c9b2e02, 0x24c7dd736ef8e130, 0xd89c6d22d75affcf
dalign
dhp2k17:
dq 32, .data, 0, 0
align 16
.data: dq 0x1f3eb4d20d7e142f, 0x1b56d8b370ea81c0, 0x8d1aa40293c21f3d, 0x73e9b3e9dcf5d2dc, 0xb55be205c43407e7, 0x7ad105bd8e6bb6b6, 0x45b97544c3168620, 0x537cee47bb0849fd, 0x6a59d5caffdab9fc, 0x478e1be9a85a005d, 0xddd23a1f742b090, 0xd465c760894f6c1, 0x54ae437efbb1680c, 0xcb2a1a2edaec7742, 0xd32cfbbbfc466a5, 0x196de8aed3cd5651, 0x4e9ed1c07637f928, 0x71094a9ace40629b, 0x5130c79f6a518070, 0x3ccdf30246ad41ab, 0xa6240b5eef88ed86, 0x146b98a0cf155704, 0xbfe02187d735d116, 0x2bd825a7cb77a76f, 0xe9a32c8fba93f18d, 0xfd4ccac42ce1ba9b, 0xd92eca1176f6de5f, 0xb2cfd1cc60e8e391, 0x18e562b090c08af4, 0xe3fd4d6a098c3962, 0xfaa02e411ccbb86, 0x825142328f859348
dalign
dhp2k18:
dq 32, .data, 0, 0
align 16
.data: dq 0xedcb1639200f1f4b, 0x242399205c70da03, 0xa2423fb8176a4f60, 0xcd5d887378714138, 0x4c2798a47f369ebd, 0x1f303d6b1bcf2e68, 0xac4109a5ef9aa069, 0x1209eb5dd682e6b2, 0x5b01765b9fb0b14c, 0x8e29108e86745401, 0xf3c1fa41c184e7e, 0xf933c9bf4ccb0746, 0x21ef186056afbe66, 0x8d80fe6f8ecc2f6c, 0xcdb6ea431dcd9224, 0x9a2fef1946c764c1, 0x60f869663d6f32ed, 0x2d48171a608ab88, 0x57b3dd5ea0bb3080, 0x4636a48c5915512a, 0x934e1b185e6b93a2, 0xb9b369b457c847bf, 0x490ba95001322e8, 0xb5ea1831e06e1af8, 0x40eb957b5b105c72, 0x4a633e12b1ddc9fa, 0x16e4970cd747c9a7, 0x26533b1e9f50eee9, 0xa682b668ca5fb740, 0x5f5f715d2714daf4, 0x67f56c90b513685d, 0xd293765121bde62a
dalign
dhp2k19:
dq 32, .data, 0, 0
align 16
.data: dq 0x2d9c26fc6540fbef, 0x42063abcb61e271c, 0x8f3dcfbfcb8621a3, 0x787d1331216918f0, 0xc556969c39c593de, 0x45657c3484023d06, 0x34944fa28a4fec6d, 0x49da1779baf0711c, 0xf786b2987856af1d, 0x78514cd87c17b701, 0x6ec6bf921ca50f44, 0xf45c5c98ac66c822, 0xfecfd7eee66ba516, 0xf6d017aa0c941047, 0xb464ac545838460f, 0x6234ac351c48aa, 0x77ecf05b610dc0f8, 0x81a55eaa7a1ea078, 0x2774f5c83a5b50a, 0xdab5f900adbe9f2c, 0x65f2bf452f337e08, 0xdc7a868f905a3dd7, 0x655ef9b2540fc77e, 0xbaea35a5206d3c5c, 0x2b36e699a7095ffe, 0x17157a89468d319, 0xaae7ae67680026e1, 0x438ce6a925a63617, 0x14b3432b40a2290, 0x4aea2da69b45093c, 0xe36d985ea69df659, 0xd4b8e763d648cd8a
dalign
dhp2k20:
dq 32, .data, 0, 0
align 16
.data: dq 0x5043338836813b4f, 0x3785fe11a58f5678, 0x79f6a2b3297c649a, 0x640eb19a5740ee4c, 0x9d9bbb412127212b, 0xdd91ea6dfd2c5a4c, 0x8401482741f2600c, 0x591af2b00617a87c, 0x1543574c3bd91b58, 0xdb14f3d45943ff53, 0x5df8a26a255282d4, 0xb0e15b76e5954d95, 0xbb93889d362fedb, 0x407e730252469b54, 0x3f1d7e29e9d35390, 0x232957f17bd78dc0, 0x9c09c0c56f8c1519, 0x86122288097d285d, 0xd4db48d383ef536, 0xc792c22824d6cba3, 0xea4345bf5ebeed68, 0x919032cd3f2ad4b, 0xeaebc604536807eb, 0xe8b6d0e82706994f, 0x7f6a346dda60e7a4, 0x7101d6b12408ea74, 0xe51b2d5afb5476a5, 0xe134555abb2e2cbe, 0x8b3fc01273accc2c, 0x684783bb01315ed6, 0x1d3a5f4fcca22828, 0xabb3e0d241b5f638
end if