; ------------------------------------------------------------------------
; 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_3k.inc: 3072 bit Diffie-Hellman parameters
; see dh_pool.inc for commentary
;
if used dh$pool_p | defined include_everything
dalign
dh$pool_p:
dq dhp3k1, dhp3k2, dhp3k3, dhp3k4, dhp3k5, dhp3k6, dhp3k7, dhp3k8, dhp3k9, dhp3k10, dhp3k11, dhp3k12, dhp3k13, dhp3k14, dhp3k15, dhp3k16, dhp3k17, dhp3k18, dhp3k19, dhp3k20
dh$pool_p_size = ($ - dh$pool_p) shr 3
dalign
dh$pool_g:
dq dhg2, dhg2, dhg3, dhg3, dhg2, dhg3, dhg2, dhg2, dhg2, dhg2, dhg2, dhg2, dhg2, dhg2, dhg2, dhg2, dhg2, dhg2, dhg3, dhg2
dalign
dhp3k1:
dq 64, .data, 0, 0
align 16
.data: dq 0x8c4a4267f2a37047, 0xf0e1bb27b83b9d1f, 0xe6044474902f433e, 0xacf9d79e8df639f4, 0x5a279c00e1aaf701, 0x1c26137a9d0f76ff, 0xfda1fa8c5f1a3898, 0x865f51a496886226, 0x8b64df18b0e02da5, 0xef73b7b50d047ad, 0x8a2a02ea5b9d8ea7, 0x1d157b9503e2afa0, 0x6ec77730ffac6cb5, 0x240536baeb5793d5, 0xe6ec7d79ea4c6fbb, 0x842562819490e94a, 0x379b5301ba2d5c22, 0x732456a7244081a2, 0x38144ed4cf5c2293, 0xb03a40e45ed095, 0xb5bc636c961e861b, 0x626e24310eb1847d, 0xe01d6f48ce2ede97, 0x924b78bd9bbf9c07, 0x9bcca6547d1ea40a, 0x7604f7b6ef6a4d88, 0x8d62810081318c96, 0x9080fba43c78019a, 0x6e92de88de1ebbcc, 0xc91b1bfff11aeb7f, 0x6d0cc017ac6a9534, 0xf5157c68103b2a82, 0x1c1e9e6d9612a5b8, 0xb7dcbab74550b48b, 0xa364d06a00854461, 0xb7ffbae72534a39c, 0xe6e35f550dbe98be, 0xa2264d611456bc86, 0xe759a99787c6d227, 0xf4827c50a24ad76b, 0x9f79b300c4b4040c, 0x4a5ef014515d58dd, 0x49523fe1c0a745d0, 0xbe4335c4b19f0946, 0x5a3fb0f33883991c, 0xfe0ebcfb4a7bd01d, 0xfa7934769c5c34e9, 0xbf57b1c4e7455585, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
dalign
dhp3k2:
dq 64, .data, 0, 0
align 16
.data: dq 0xa9d3768f936cebf7, 0x5bc8e7128fe1d64f, 0xc005466e98ad1589, 0x76e765d95d620521, 0x6334b5cb81c33e1, 0x32a91cf6b0bd2aed, 0xbbe553922d565452, 0xdc815b8136631e66, 0xec5e64b088db4a04, 0x4fc812eed47c8f0d, 0x5506b9fe6a06acc8, 0x44a44cf7cf70a94f, 0x9c04d6667156f031, 0x9eb9baaeeb08cb26, 0x34cd5d2e11e272eb, 0x3eb01eca64d619bf, 0x2cfbdaf121754a1c, 0x6870b71d3b8710d0, 0x2442848bdf821bef, 0x1d34fa9b7d13511a, 0x9603d97c542bc6c3, 0xf39910b9d2e12df7, 0x63b9c0c09f5c82f3, 0xe77d908b2be7de89, 0x52acab88b9a54f8c, 0xe5099edc4371072d, 0xef899ebd14d97090, 0xa247a57fe10c00a1, 0xb03842ab2ec939dc, 0x4f10e98872a7cae4, 0x3d5f52e57ee440ac, 0x4b6580a0242dcf04, 0x1bcefe84a4cf00b8, 0x4b2a4fe82c8a10d9, 0x7f0ccffb6579fd72, 0x5d3cef97ded3240e, 0x291f1a7410dd7009, 0xab66c7942d266dd, 0xd34ad9f96bf87dbc, 0xd9f534ada61d2bf8, 0x389a995719ab6e5b, 0x1720497f27812c4, 0x5009e01e279e29dd, 0x41da807de1f70532, 0xf11388dc78bc4424, 0xda3c8417104054cb, 0x8ceca7297c7850e9, 0xb7db6f33a5691fc0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
dalign
dhp3k3:
dq 64, .data, 0, 0
align 16
.data: dq 0x5145933bd4a15afb, 0x23eaf6fd643dc1a0, 0x2f4220a305f60a, 0x4717de709307e0b6, 0x8abd9573bcce8cec, 0x3949b17094eb303c, 0xd920767a58c568dc, 0x23338e6940f9c2a4, 0x65da012560cf8932, 0x809eadea10dc3852, 0x55aefc3242b1f230, 0x89445876e74c8937, 0xaad241435831a9ce, 0xce9da514ca76a6bf, 0xc8d121b31467592a, 0x9148da4c9891e6bf, 0x8d6242759eb9a587, 0x90791305da2b6510, 0x91b1af619e91e1a3, 0xdf923ada78cbe010, 0xd0b9a98bf3b3bab, 0x74d954f98ca8be18, 0x6527ddc8751494b7, 0x93e9bec2221ed57c, 0x7bdeeea67999fccc, 0x6b468656918ffdfc, 0x4d233b8442fca152, 0xeab0016123607436, 0x1e354804cc620362, 0xe64b0260dc00c54e, 0x5d14db2a145b7256, 0x9c9c0b51d0949caa, 0xb9659cb2020c6d9, 0x115ebfec7b57042b, 0xdd7297f57ccc3022, 0xfc426476bc1644c4, 0xf18c2fda4fab888, 0x31e142faec7f1d07, 0x1946389c2b2a0a0e, 0x9012d383054d5585, 0x8266c06f31a54b68, 0x7e03abebd93643b1, 0x32959b012ae82e8e, 0xf79e96c49db02f32, 0x8d1a5c6b5c6f47c, 0x41a78bf1eea80d6e, 0x7b3a399420f911bb, 0xad938d51e4c255e5, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
dalign
dhp3k4:
dq 64, .data, 0, 0
align 16
.data: dq 0x9d0c230f231a31db, 0x2cd5195d80da0fcc, 0xbb1c53772465e3dd, 0xc27e3247db59d74c, 0x7a57740c0a52a744, 0xc17c4e847a79ff99, 0x60443cb7dcf2c45f, 0x94939db96566d7b4, 0xded077c0ff44a523, 0x12ac13c900cde09d, 0x847f92cf18f94876, 0x282b4bb7f2fb6605, 0x3027b21a8c220a15, 0x8bb5cb5de427706b, 0x483f5af1d24423b, 0xe66286b2dbc328be, 0x7ba8eb478bed97f7, 0xf7de58181fa49e72, 0xa149e097a456f7e0, 0x9a8c97ba22d00e43, 0x387c1596de326dbf, 0xedd27e24ba88573a, 0x583f54bee155ff3b, 0x20d7d2025aa775d3, 0xf643d332d20eb279, 0x7f9939dd28a38d2b, 0x203fb8de96960671, 0x6c78128380668925, 0xf7eea983780b82ab, 0x85fe6b67cc066a12, 0x25457e68ad319382, 0x24996834b337bdc, 0xec480770494edb27, 0x16b400a87b519964, 0xf42caae8958c1454, 0x246774472596543d, 0x583a38f2f1543315, 0x43e364e1be873d23, 0x5a2a0a77f88e2ac9, 0x1e9853b94455b9af, 0x2c57dea3edb05720, 0xb516108625843959, 0xe6db8874ea63f721, 0xbfd3f431e3985144, 0xb8e4c25d2aa50f11, 0x148d8acdae669386, 0xc824c0fa755d2c3b, 0xfa215fd494eb4cf3, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
dalign
dhp3k5:
dq 64, .data, 0, 0
align 16
.data: dq 0xff403ea47d13226f, 0xfb9afbf0fde91a93, 0x294a64486f5344e2, 0xf1d3222c6f1cf43, 0x4e6f15368bb6147a, 0x717a7252740d50e0, 0xa94785c25890e1ff, 0x253d53cd57df707f, 0xb3dad3b286b9e590, 0xd857d6416b340f7, 0x8036352f3a9780d9, 0xd1ca261f1abef1d8, 0x7535bb74e411a989, 0x9f93cc9978367390, 0x6b185f66d7d54024, 0xa11a3e2ebe21f221, 0x87f28a370a19c7d3, 0x72ea38638e8c1667, 0xa57ea1018ba8884d, 0x699b4ada08a2ed60, 0xe328bcb96b3c84f4, 0xb2a759ef99043fbc, 0x3872c1c3bda633b, 0x7df804de796a1665, 0x76be3b239f3bed67, 0x8286e52bf2634e5b, 0x64180d0e62f04495, 0x86e7839cd1745e63, 0x809f9f867d2b05d1, 0x918697bfbb78198e, 0xbe0bdc5ae5a13c13, 0x53aabb337215b66b, 0xc72214ca52be7da, 0xd082feb792aa6760, 0xc4518e8c6b06c06d, 0xd1f12adbdd6aef56, 0x9411949d0e4ef26b, 0x9268b93c9ec1bb3, 0x9581f37f9b07c354, 0xb3f032f1470750ad, 0xa5f44ecf28a82a13, 0x8c3f00c7ee2864fa, 0x2c487d57fb26d139, 0x338f3155204e5ac2, 0x46864c08d99d79e5, 0xdf71a7df714db4d3, 0x6769864e4efe0210, 0xd268c12665e24d53, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
dalign
dhp3k6:
dq 64, .data, 0, 0
align 16
.data: dq 0x457edc3e97a7245b, 0x17955eac491c0667, 0xe53da4712c6703d5, 0x88123ea6436e260f, 0xbda9977328ad04b7, 0x9107197f7fd11bb9, 0x78ca6f4c8d428743, 0xcbb3e569bab26366, 0x142b29318d6af694, 0x2ce96b44bdb20e76, 0x1fa74205313fdea, 0x850cc419cc14e4fa, 0x97e15d2ed94a0764, 0x3f9ef459f6bd0935, 0x54a173b901e2b9db, 0x9344e28cc0932e0d, 0xc7f41f82df95c1d0, 0x6bef46dca2b11b6e, 0x3f7ac745039d29d9, 0xd66566d03a0678d, 0x526d3a2859e55dda, 0x833eeb14ac98aec2, 0x110bdc357824159f, 0xa5a427bcb6abdb70, 0x1c920d0f39c57f89, 0x8d2575e117f2d989, 0x768dc64af468a11c, 0xcc683b55413b3d56, 0x3305f360ff219030, 0xa3d7bf112d660be8, 0x97ce568c67899db, 0xda37df1a051e6e94, 0xf7f626a7ad69f405, 0x5d94469029e42c77, 0x4cbe4eb8e398828d, 0x9e9a241ba2791384, 0x585fa1e9966c27a8, 0xb7ab080dec2807b6, 0xd709232c941e53a2, 0xb73905bd57bdc07b, 0x47c9a0308f116066, 0xa79f231f935b4541, 0x7b1099a7a2d400b0, 0x110476fd668b5768, 0x7c48c6b1351983ec, 0x70b8411196e8a3ac, 0x57336456fb86ba75, 0xb3f00a89531a5035, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
dalign
dhp3k7:
dq 64, .data, 0, 0
align 16
.data: dq 0xd95c1cb64fef9f, 0x728dfa3a394bb7ba, 0x309669186ee0cfc4, 0x76f9a3799913a2dd, 0x5df1239450da30b7, 0xada39412d2022c6a, 0xab5ee2e2ee44824b, 0xf2cbb98cf64540c4, 0x1f703236bc3fd52c, 0x76d6e50c309be013, 0x5ea3b33d92a1ebc1, 0xe3098c4c7756bf6, 0x3a3acfa65a3fcab5, 0x79a7dc051080bd55, 0x9ccd63143a5fd61e, 0xc5bbd4c662ff8df5, 0x8754fdbdbe44cb0b, 0x75723d6cefc40c7c, 0x84fb6a1072e06521, 0x3b7ca93e8ce0be90, 0x214c8aae828aae09, 0x7907158084c516c2, 0x9e9c37050365b4e0, 0x9dbbeb745b2bcf6f, 0x1391bc2eab48925d, 0x6923b935005a2344, 0x64dd466bbaf52cb6, 0xf6e753105fe6d659, 0x3ea725b5289949a0, 0xdb89597842e215f, 0x4844c87bb8e4fe94, 0x90e9a56b564b7a38, 0x689fa4ae2b0ce346, 0xb3997e2658012506, 0x433180692bb1da95, 0xe681e15b6b0d72db, 0xb77f431d8487d5d7, 0x95a1fe95f9fe6ed, 0xb429559d1f538945, 0x5ac0d25475a95cd3, 0xc84d9310b9297d93, 0x8fa493791a5224f6, 0xa957514ee558e6a9, 0x6fe037f76a859b5e, 0x5c5d7bfa885a6666, 0x1be97e43c1a70f38, 0xc5c3c208886334e2, 0xb99142fb2920a5c5, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
dalign
dhp3k8:
dq 64, .data, 0, 0
align 16
.data: dq 0xc6d90e1f8b6a5327, 0xf98676781379d404, 0x6033ffc1ba5d5378, 0x23f0e982691e9c74, 0x221bbbc228cea004, 0x76e41798c1850e7, 0x54ebc602d361129, 0xcc9223aeedb5a73, 0x3c14e8fc24ce5a2, 0x46b4a445a739bb4, 0x3a27b8ad9e1cc334, 0x117f51b30f5e4bd4, 0xd0ef7370beae4466, 0x3f27dae96cea8a64, 0x8d4610934f1bdeaa, 0xfc94e275ac74a93a, 0x714e006032e5e866, 0x50f3d76e676a41e5, 0x920f2c1e6d9b5ac2, 0x86c35d521f5c59c9, 0xf65cf46d672f52c0, 0x63c7db36fda2db10, 0x4c701cefe471eb19, 0xf0b9f32a13bc36d3, 0x7c9798ac14fb6e4c, 0xba4ad9ccc18ed4f2, 0xc4cc7978e5cbf222, 0x89ace3af55775bc1, 0x5dd44ff9e6816a22, 0x4f5cbf6959047b9f, 0x6b9f329af2436569, 0x426ea9928a6316ac, 0x714ff80a5ee7cb29, 0xbdd47c2df766d240, 0x99d731f957a1c889, 0x4e3aa6ef8c36d397, 0x4ba4cec14f7aeb6e, 0x14865fd3351b1a1e, 0xf1c8630dbd56a6a, 0x3917fc960873aedf, 0xa2e759930c5eb043, 0xe886a186ca57c206, 0xd5906977e8b12616, 0x3e07d1afedaf068c, 0x8a7b7740b8da35b7, 0xbac3c332afb7ed18, 0x2d454f5e809a9e67, 0x902cf796d35f7a30, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
dalign
dhp3k9:
dq 64, .data, 0, 0
align 16
.data: dq 0xb4785b80f9b0ca7f, 0x2e36cc973e4a41b5, 0x4b6dd562a6d41c15, 0x25aeeaeea6163a03, 0xd5bbd4d3ebbc4995, 0x87b1bc3b1338e0f7, 0x75045065fa92ee2d, 0x697cd75ed4ad9c4e, 0x6a66043fd7ced007, 0x9d15885987c05832, 0xbe64e163d98de06e, 0xf7ae6c21c3add5cd, 0x2de436149873e17, 0x304b2f0f0d77427f, 0x705626ed8bcabf4, 0xf5a26a407edcd96f, 0x8eea93eba6272bd7, 0xf670827065543586, 0x13c33b98dbe27da9, 0x98385f1c9cf9e053, 0x118c53fb3fd1b1db, 0x543bcd8cbf427b18, 0xca84df07138a11b4, 0xfa5c6bec91aebc8, 0x4dffda73b44ef8c8, 0x1410b07dccabf5bc, 0xf9938da9c2947cfe, 0x56e64380e5cec404, 0xd682c256a49aa7d6, 0xb7d232cbe2921013, 0x35b9f90c80531214, 0x5e5aaba281771742, 0xde688dc6132dfe74, 0x5335804c0a8f5f28, 0xb61130284f3d81a6, 0xcbf2cd9157c680ce, 0x605bf519ea6dcbb5, 0xb42759e2190a6c96, 0x2ffd695b84e9b14a, 0xd57da78b13e94b33, 0xcb86a445e4bdc2b9, 0x21ff2df79c47f300, 0x33818bae93d964b4, 0x9087e3074519a9c3, 0xa8e20602439bf132, 0x18e787a0867c7a77, 0xc4d35d02b5f2de7c, 0xbd12ecc311d0626b, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
dalign
dhp3k10:
dq 64, .data, 0, 0
align 16
.data: dq 0x33d32821964242d7, 0x43b384ee63f6885f, 0xcfddf28a5b9cb2d3, 0xd6d82bb35ff2727c, 0x475ae5d914852829, 0x6028ad8abac3e5cd, 0xa64627d38c700560, 0xdedb5d827fff57a4, 0x70f401efbefd496e, 0x2bd21937dbc0d754, 0xe6e84dce489d8fb2, 0xfa8ad9f0b640d77c, 0x94da2b4a977c4234, 0x1af207d55bccbdf, 0xf37ab7255d8ec71b, 0x6a172fa4c74c6735, 0x3efb1188a1ff4ecb, 0xa3f856f24dda2fe5, 0x64b38d3fc81c4d9d, 0x99a5fdd2f632d4b7, 0xce0c04f8e4b80ad4, 0x352caeea9c7bdb03, 0x41489ed6907ac3d, 0x7d56098338a4322d, 0xf68a93194eb64eaa, 0x8332352f6c7a579, 0x96425de3c567a8e8, 0xbba9df88b01ad731, 0x56be2d3ec012bc4b, 0xbe786f4b2072995c, 0x2805a1406c6f8785, 0xd3dd7a5323fe9be8, 0x7b4348b31f2b0ef8, 0x8557f65bb3e66d6, 0xb8e63ffa16f16dd3, 0x59d406b1e3863e45, 0x26aa522c406d7bbe, 0xe971b2a511b6994e, 0xfe773bbb553785a8, 0x9c7ecb25e2dafcb3, 0xe5bf7b1a3b18a2d7, 0xa064a83ebeeb4482, 0x46110988f386bbb3, 0xe3e3daea08f096dd, 0xa02b8d3a822e1e32, 0x9d2165d97833fe8d, 0x5b0d1b7dc87a45df, 0xa954c8dd7d4d5eeb, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
dalign
dhp3k11:
dq 64, .data, 0, 0
align 16
.data: dq 0x8d82bb2fdf2e83b7, 0x4ee4987b7b9b9c1b, 0xb98e73ef2d44f092, 0x17573f542f0557d4, 0x280b249b85f0b44, 0xa64793c728e0e366, 0x606e7336b2eeb641, 0x318c88cab355727, 0x7d159c99ef86b870, 0xe81eceec128f7c07, 0xe17f3c1a3e852845, 0xdfddf1a2702a0dfb, 0x54fe3c0a4c70d2d9, 0xba5e8dec47b5f506, 0x1652807e3bc566df, 0x540e3e5d75082b92, 0xa82100c09f62be69, 0xcfcf2b86de7d056b, 0xea4298b9934d98f3, 0xa0369e27970176d6, 0xb0cdc0286ab0dfa0, 0xaffa5b2306e1a908, 0x9690f6828469159, 0x7b3407894cd54c7f, 0x50319c69b72c58bc, 0xb291763a479f5210, 0x3cb57b1ad930801a, 0x5b302499a7ca2010, 0x3bdd5f60b473a98b, 0xa3c8f65f63dbf02b, 0x2eb1902447a3b2e5, 0x76335b35f1f3250e, 0x7f78ad35da6bda8b, 0x7d5980ca50873570, 0xd66f37dc1e91d983, 0x264fcead3fb93f76, 0xbfed849a82fa90c9, 0xf17b7c65a5f6cf03, 0xf74c6a9128aa3f09, 0x583b1fd32241915c, 0x8c40e0acda215055, 0x7942cf6211a2e3a8, 0x4a20993bfb4fb60, 0x812eeaabb507a0a7, 0x8e33bb72612ea706, 0xb46b014bf2ebcbe6, 0xbfca1ff6db55394b, 0xd89ec3e89347b366, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
dalign
dhp3k12:
dq 64, .data, 0, 0
align 16
.data: dq 0xec80db5a1adcc25f, 0x6151307bd137483d, 0xcff169bba6b5498a, 0xcf67d659673d89d3, 0x4ab5fc219cd4ae3a, 0x70301cd7691aafc1, 0x8b0869a31f5a916c, 0xaef6d86c246f5419, 0xbadfee5cdb166151, 0x6c15ad6364bcc6ee, 0x95f86f3ed4aae1e2, 0xc4948a5f4995911d, 0x4377857d38985b67, 0xf669beae9da21624, 0x46743f19669cad37, 0x4c92298156c8c624, 0x3893185fd3b6ab3a, 0x3753329ffc5d336a, 0xe9b3a3cd8b70d6b9, 0xb083a755b364b282, 0x4c1370f1b77d6755, 0x45967ff889902464, 0xb60d2c6c2f789817, 0x3eb3c5b5121817ff, 0x40368db9fc6a4e43, 0x441ee038d7d65194, 0xef9a19f87f2cdf3c, 0xe2f9149184171ae, 0xdea5e4edbba418c1, 0x95fb4bbfd37eb762, 0x7a297652f82ec561, 0x6d00afd26bccf479, 0xdfa193244624a12c, 0x8059652acc5b784b, 0x249ab90bdbc02f99, 0xb95e1a0cf3b409a, 0xb455f30b3eb17162, 0x198160ca1d7db425, 0xf3cba8b10e99e281, 0x64976c0e29c859da, 0xfbaf5b920b888d7a, 0xfcb05122a976e98b, 0x7ab4144c867e2059, 0x3aeaea49cc55a99f, 0x9d25af9efbf8eb36, 0xc3b1c45a712050a, 0xccf73994c104759f, 0x99d2ef23318c4e88, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
dalign
dhp3k13:
dq 64, .data, 0, 0
align 16
.data: dq 0x17d6f3ec34a7c84f, 0xad8a6cdcbf8f428f, 0x4b2e534e739b028d, 0xec7d976f8c492d9e, 0x5a8f769456785567, 0xd2feb59f3de35a69, 0x114cbcd05955ba16, 0xca058fc8217de2a6, 0xc883c828db4a8c7f, 0xad2c48a4133cc6f6, 0x566aeece7f1ee5c9, 0x48fbbefca2e5c044, 0xfab2c5df12032833, 0x1daea6febdfeee76, 0xdf81028aa255fdc5, 0x987bbf522f27f423, 0xf609c744fe7db5b3, 0x59c82502aa59985d, 0xee1a66ca9edccf93, 0xb245ccfe1ce13c85, 0xbfa940855439ecbc, 0x420cff22842d104d, 0x5c7e2f082faf5602, 0xba7d1ce6aac9c824, 0x8468e655d8593dbe, 0x9865f96a88b01391, 0x1aae5b6c2ff867d1, 0xbc16a89fbc3614d8, 0x357404fc0a04232b, 0x3ff2447907068bdf, 0xc33cdf1a45cbe5cb, 0xffc8a033cd3a6583, 0x9533d1754678ae31, 0xdd46a25681cf0c24, 0x9108c013395c97a5, 0x830797eca9aff551, 0xa4561e0fac0e0c8b, 0x7894894e1d5914d3, 0x5049b3517385ab64, 0xa1c90363bf616692, 0x8514159541bc3b73, 0xa07c509cb0bfe760, 0xbd57e7549805f172, 0xf9dbf95fda46178d, 0xcedb7a8edb8a7128, 0x899db2235c716992, 0x228483a3c60ef1c6, 0xf2bb4263b31115ac, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
dalign
dhp3k14:
dq 64, .data, 0, 0
align 16
.data: dq 0xd27f56f2ab943fd7, 0xee102bd643aabf2b, 0x96db144beb601338, 0xf8db23269fdb3f51, 0xfff06015be488e0c, 0x5fa80a4168c2d182, 0x52e772523ecd51f0, 0x3fa6fe4278186a3c, 0xa76640d5c3289cf2, 0x5ca762676c1e352f, 0x40adcae1c9f22edf, 0x8076d7b331960b33, 0x896c72e66dcc7599, 0x6df4dac1c833a390, 0x2f7fb2829dafefb, 0x6af04d4f840a047f, 0x673a66e029ea0be6, 0xff899c2338224ed3, 0xa739f470668e127a, 0x5ed371bc2b67ebc6, 0x76f1192ea4b8257e, 0xef3a961b4b62946f, 0xda3bcbc8dade3088, 0xef207a30d02bd166, 0x6333868557a13fc6, 0xf6b6e50b5d9212dc, 0xdea0f9b2ce9ac5d4, 0x1a8d2a66dc08d854, 0x5396b3f61a4e21f3, 0xb2046a2dbed3f4f, 0x4555fe3edce324be, 0x4d3301fb2005e751, 0x6aa1cd4e745f7019, 0xba5ae00015c279cc, 0xa213ea40f7dfc18c, 0xceb5630ac7f00776, 0x223657db102bbbba, 0xdd7bdf46fe2b0fbc, 0x7bb134bf4ff108d1, 0x31e97e4a083acd24, 0x809caeee935b745b, 0x84bea5ad2152a9e2, 0xa3238e457473d5e5, 0xe266b6833d44d5d9, 0x95622afc651f6f63, 0xf26f63a359e86819, 0x2659323a522f902e, 0xe322af2fa7722b8a, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
dalign
dhp3k15:
dq 64, .data, 0, 0
align 16
.data: dq 0x76e8c667a0013fff, 0x81190615237fca7c, 0x717ad41f3bbdb5f3, 0x1137b3480faf3e2c, 0x8b28480a33efc67d, 0x14db13ac154f580e, 0x292cb4f2ecb4ec53, 0x22f83a76e3d912cf, 0x8c7b4f87c02c6672, 0x683440b6421318f0, 0x9cbf40ff4181016a, 0xc6b765e3fec12af4, 0xe81060a5224c056b, 0x9bf03b696d456c2e, 0x4d193cb997fea6ba, 0x3fb53dfc70bbe212, 0x1195fe15cc6954fc, 0x70b1fd19bd8acc79, 0xe7cd03d919ca2286, 0x7e91f338da878a46, 0xe582db7a1fe03d51, 0x5cd9cef5d78166e1, 0xc39e6ca493375d0e, 0xf6c3f617c14e3b46, 0xcff26a226c135e4c, 0x5106bab073fd853c, 0xa8bb1396a9837595, 0x223f2e8fdb429872, 0x4e6a8ddd71ad7a0e, 0xd55a536e92351d85, 0xed95610a20ebaf69, 0x7ecbfb26fe45972b, 0xf1c9d381381ea661, 0xe1b463861d48d28, 0xf7d8721294b44d90, 0xa42384c5af15da4, 0xa4943fe7bcaafd50, 0xadb9c4663dbe9a4, 0x226cc4c321f8d8e5, 0x1dd0115eb0b59a6f, 0x10ae9054577a6bbb, 0x6b1d456c5f975d23, 0xee510b9c2e18508b, 0xe26f6b4fa169e5bf, 0xe8eb81baf05468a3, 0x261e40552d807013, 0x876480001eadaf03, 0xf0825962aa7026e4, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
dalign
dhp3k16:
dq 64, .data, 0, 0
align 16
.data: dq 0xc0c5f9b26ef7926f, 0xcd5170b1d772b97c, 0x9c06d2ef615d569e, 0x2b0db74c4d14aa8c, 0xc59a8a06e0d32391, 0x58bf15170af5e5c9, 0xf8d4edce04dd8097, 0x6d81f1eac1d84b87, 0x464e6f754c0a3448, 0x7653f95c350c43d0, 0x98b10a361c6992bd, 0xfd62c8671fd9b7e3, 0xc3c66855b4bbf09b, 0xb047cfd6cfbdbac9, 0x83d7f60c7a3e2e2f, 0x82c103942d13ff9c, 0xcefc48f70e7b1773, 0xa320029209b69739, 0xd562f4a09234c4ad, 0x3bb3657310ae9fbd, 0xf139e6b7379fbd7, 0xb41dca5b5e32ea8e, 0x9b0328d29ae8568d, 0x329c4cbf05a3b62d, 0x5e5574d2dbb80370, 0xebbb78a46b6792ef, 0xac24357a257887a3, 0xd1a5b221b41758f1, 0xfe3dc826356392aa, 0xf1b4946b0f27a79d, 0x82da908fe723cc08, 0x94f3902ed314195f, 0x577395cebc4de217, 0xba9191406dc0ecc6, 0x85423384ca5f2a0a, 0xbcb86ac5fdb066c3, 0x72f0549ea538a0b5, 0x4253d673a1cf217e, 0x2750101123a99719, 0x93a8a6defab2d9a8, 0xb71e7a294aaac0ed, 0xe03f93327562cd9b, 0x6819558f6e392af, 0x59e5f8d5bb83163a, 0x4cc7b476f944c285, 0x3d9eff6321c09a2, 0x4bc168576d7070db, 0xe7a307a8730485a3, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
dalign
dhp3k17:
dq 64, .data, 0, 0
align 16
.data: dq 0xed4840c8ac35dc9f, 0xc34272da3f334ed1, 0x5bb6265356133810, 0xfe845aa856616e92, 0x8db5e353a41fc12c, 0x3bd02a8551275ca2, 0x99a7898c94fbbb6a, 0xfb331b3d731d4d6a, 0xbd7ad34b3f8242f5, 0x46bf62e828e1acb6, 0xee66444e24d62f07, 0xd38d6cc8b8cf110d, 0xe137526fbbc84862, 0x1aa42c4aa8277b3e, 0xcf80c674132d6f15, 0x12c7a960feb4ce4f, 0xa9af02c02aec7250, 0x6c443bf64d84c5a6, 0xf3eff601665b8b7c, 0xe1014d0a270932f0, 0xf07d23f95972b4b0, 0x1b4cf29c36b7eac9, 0xcfa84849886e7ece, 0x38bb38cb909b9097, 0x9251ca57287b21a6, 0xf2d4685268779852, 0x7c74a5bf8d76ae2c, 0x96f014c3738db470, 0x8a8eea6898392968, 0x60febba561f2a9e8, 0xdf112d5adfd02dc3, 0x21db86cf267933cc, 0xd613ba1c34e1e6ed, 0x334b9fe6229a5133, 0xcdde66106a026428, 0x8c025ce36aeb10a, 0x96e4aaf1a64fbd29, 0x66be5b786d4506b2, 0xfae095a45bbc8a24, 0xb83be8474c4a11d1, 0x68a6b14500882879, 0x2206196ba19e6e10, 0x1d2de1fdbfb8f85a, 0x8813dd0c4b6f7e1d, 0x47c29c8fe03dc1b0, 0xe2e0c17374c29a0d, 0xa40c77ef2efb9171, 0x81a8d8f54cdac62a, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
dalign
dhp3k18:
dq 64, .data, 0, 0
align 16
.data: dq 0xd6f2c2834a454cff, 0x62db24c0debeaf1a, 0x6ed565b096dc33d4, 0x300360eedbf7b5fa, 0x81d5ec149df09855, 0x6563558c5249d74d, 0x61e7b5b3bbf9d5aa, 0x3166eb3c580c0ea4, 0x9a647dc62c6001b2, 0x3a7c4ab1d6225f3c, 0xab945baeea40fe86, 0x5f78480267aff2c4, 0x73137226547239de, 0x9f5ed7be29a5f727, 0xf554b949c84ace2d, 0xa2358c3adf09acbd, 0xcf5faa735fb77c89, 0x8a4d0688f387f9eb, 0xc6d32bff01c1f99, 0xd2d96a6ee10146eb, 0x36466c1e75f22faa, 0x3152e83da679bb5f, 0x2130a67a28a6c77, 0x852dafee6b3e2358, 0x3ee391ad0f6611e1, 0x129da88881dd401e, 0x6698c20ba153f205, 0x78c00d065b218195, 0x79452056ecd0b5d7, 0xcf83ed836d7724e5, 0x80ffbb830502fe4c, 0x50b6e10bc478010d, 0xb8fa853b4f45cad9, 0xd5ed09db49c37b5f, 0x8eee66e4d091d4bf, 0x623a16fa826805c1, 0x2990de05fc14adb, 0x7423d194da63f14d, 0x8ee6791fd6a6681a, 0xd18e8097ffd19da0, 0x68009307e02ecd6, 0xcdba0b4c8dfe053e, 0x23840b392c9852f6, 0x9a1c5c7e594757ef, 0xaa8f47cd73ef4191, 0xdc2b971567517173, 0x8f55a02781d17b7, 0x9fcf8f57682e38e0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
dalign
dhp3k19:
dq 64, .data, 0, 0
align 16
.data: dq 0xcf06be06ec18439b, 0x2ba2725b31fa8acf, 0xef848e7d9830e2ae, 0x363b1f1f8b1dc096, 0xb537d7941cda7b31, 0xa68e9dd23306df11, 0xfc708302a05b2906, 0xf2a034e501575209, 0x59364ab9733c0c70, 0xce784e10b20d9c31, 0x5608552bbb46752c, 0xfaaa7c5b113c652, 0x9b3dd8acade799b8, 0x75e969a8e96f167c, 0xcc9789f740f77c0c, 0x81b033c589f9ff65, 0x1e116a68834d22ca, 0xedf4ced769b038e9, 0x7c6ed023347b5, 0x80f186ce41713d04, 0x6569eef568817e1, 0x5f239cf37ae28b93, 0x5a6199013f3eea7, 0x5062368721e87b59, 0x4ed20ef3abdbab01, 0x8c6b7e501fcce00f, 0xd8924d856dd06efa, 0xf6e37cfb02806e0f, 0x7f9eb759127544ba, 0x285b279f39510533, 0xd260770c27755955, 0x921abb9dd65f7ef0, 0x3c28fe8205de723f, 0x360a528c1797ebd2, 0x45ae550822d7f240, 0x3daa938b070f69b4, 0x81b8ad7ed95a59cd, 0x6bb2fbc76b71bed8, 0xf13c5305c683d838, 0xf9a1ab7d168201db, 0xbd3b37615047d471, 0xc6935a539c879ef2, 0x19c87f5dedb4606a, 0x6412927cf9c9b689, 0xe06d55ffb9859f80, 0x1798cd6a87efcec4, 0x64c13867f0da1803, 0xcf2e3a8952feb821, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
dalign
dhp3k20:
dq 64, .data, 0, 0
align 16
.data: dq 0xa254a4b2a867160f, 0x1ca479a69de3d91c, 0x7b946fbab4a21cfc, 0xc8448ea46ef6a84e, 0x58e514764883287f, 0x34f87ee4a81e0f10, 0x450068ea8ca8ab1, 0x6531f0964d31f0d2, 0xabdd22d9b66d1d12, 0xb9d8cfcb8002b214, 0xf3cb189656abc134, 0x4e41fb02cbd93553, 0xcef8122dfea1a214, 0x5fae9fbad3ca5231, 0xa43668d40184d580, 0xc8dfb78eae7d5617, 0x16a1763f8f81d33a, 0x5f1330127c9aa22b, 0xb73643ecaba549ae, 0x86e4c596153b7a47, 0xd25ad244afbe3f91, 0xafc962455026fb16, 0x5313dcb4c26efaf6, 0x9ae1975fa3219e65, 0x3322d4064ae317f0, 0x4c088b628db77516, 0x67b08d9dcef66049, 0x74feebb1542a7cf7, 0x4b4dcd6585cd4b89, 0x61f220bee4b13dd2, 0xb1b633f7a0db66f, 0xd0966d2e04b70a5a, 0x91ee55e485c62df7, 0x8ad65fd413d9f56, 0x947055d532080022, 0x99a5e21826747a83, 0xc9e793a1a32d5372, 0x82483478be0b6a2, 0xc52f739e9795ff85, 0xf562f568d78b2b94, 0xe2f6ccedfbac7f7d, 0x42cb215ca8b6e46f, 0x405f63b80317786f, 0x178bb935dd9e283f, 0xd295c30230499de3, 0xecfaf73452985460, 0xbf278ba631e1f498, 0xd253ba766de16862, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0
end if