# OUTPUT - CURVE: BLS48, BIGmax: 2^560, Arch: 32 bit, NB: 70, BASE: 29

BIG = 000000c0ca9da2adb8fa02dced3c81a9cd86699073b5277b5c973bb92d7ce0a77defc2657218bda3305b010cbc6ae33680a9806e90dbc2e2dabaef1f8894f1f8255269cedaf0
BIGraw = (9cedaf0,fc12a93,7e2253c,5b575de,90dbc2e,54c037,11ab8cda,b602197,18bda330,1e132b90,1829df7b,17725af9,17b5c973,839da93,73619a6,1da79035,18fa02dc,14ed156d,3032,0)

DBIG = b51b03a6888b4d76c4c0b0ce592f24b6ff703ef447ffdf4b4c4647f541f44dc578c0430180852a2b994e01fd2edaf8208667381be56126ec0f413f537d9ee461387d11618aa70c5d8d122c99f379c3cbbee45de6838295ff7d472242c68467ef4fd83afac6a3

FP = 0251208d022e228c04a0f1099597466fe307016bf113737d26412309117834ea5e1e65884b75cec3c29c1c99c495e2171b9041998c24c63f298b68c237a832b74640407fbb2d
FPraw = (1b474a65,9893f32,b5ad5b7,ef4ce13,583ed1b,1b8d2ef7,b3b0618,164b5b2a,18e0f2d0,16ccb0be,1b3de69e,132332b6,3ad55bb,18664b2c,1ef94d0d,100a040d,cd26ba,1190ae89,186e2e28,18)

ECP = (0cc4d6f7535c50d4ae56bd510229fb8e84ae437d0b3720bda20b8d18a8bdea81989c23d423d25f09466106fc5b716e58d51dd4c574dd86c6d57289d265c8413e335b4b5b3796,0e45907ddebc277d11fffe49baf8fe7b91f28263d9b2375b45749cda5f5d562c2004d28445c8dbb9ebbca0368b5c9de26235333465aaf909fea7e42235de0c8eb8b0de616bc9)
ECPxyz = (0cc4d6f7535c50d4ae56bd510229fb8e84ae437d0b3720bda20b8d18a8bdea81989c23d423d25f09466106fc5b716e58d51dd4c574dd86c6d57289d265c8413e335b4b5b3796,0e45907ddebc277d11fffe49baf8fe7b91f28263d9b2375b45749cda5f5d562c2004d28445c8dbb9ebbca0368b5c9de26235333465aaf909fea7e42235de0c8eb8b0de616bc9,00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001)
ECPraw = (0cc4d6f7535c50d4ae56bd510229fb8e84ae437d0b3720bda20b8d18a8bdea81989c23d423d25f09466106fc5b716e58d51dd4c574dd86c6d57289d265c8413e335b4b5b3796,0e45907ddebc277d11fffe49baf8fe7b91f28263d9b2375b45749cda5f5d562c2004d28445c8dbb9ebbca0368b5c9de26235333465aaf909fea7e42235de0c8eb8b0de616bc9,00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001)
ECPinf = Infinity
ECPinfxyz = Infinity
ECPinfraw = (00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000,00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001,00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)

FP2 = [0638c2da1ad69eb3460ec9c8d61070cde2cfdf974833d0685ff03a9083d2635d6a3a038dbfab14ffd7017c6d455c42fcef582f44fbf9f26b046fe9d0fb4fe83a1877a8a60af3,0df04f53ca2a93e41398b8e09dd79aea6c949a3bea4687c2f717960449cd418da2792f26fc8bb760a6996bf6945a31da6a8913c875e5a309d302a90d87e77874eb006a85544c]
FP2raw = [(1418da61,1ac6ce31,16436744,c8afa80,1a599322,1da97a1d,1c6ee5f6,1228e781,b52a992,1bbaf9ea,ea43fd1,341f2fd,19758250,a083281,942a777,dc091c1,b0622e7,a9a4628,4c6943c,c),(7f9c1d4,a746b34,14e09c57,420f784,bcd933c,166775ed,5265895,1a414b52,1d881de2,1196f128,185c8b55,9897082,f002947,17e9185a,7fb2df1,fb6e275,19b48309,108b4ea2,1fb47ceb,10)]

FP4 = [[08c2a5f08c6a62174619d0ab830aa73ffe3cbc5efa21eae94dd0301718f66991a00a4f9b8ec16a9c1d4a25f63997be029bcbd7b95b1e8136742d1c3f5e1fffef2b3eaca19b71,08a98e6d211590f619babd252f2931f02627d06f7d80627d680c19f99ac2045d2c02fee41de22d390368cb4acc03aa17436cccbf2993be4908f97c3968be2eebe3c656f9b97b],[076a957a9bafc40afc302fbe7f93aa2c80f7101648aa63e06fbc3144449b4450ce59c89c1aa5df3a140026db532be156bc959fdfd7bc7c1e8c9bb4d09f112c7e2cd2ccbce375,0c04680da3d3940799a981b7ae43b00762eacaa3f54aad18717ce58334475550938be9d21d5e6e07bd9affadb594a2899eb73245508080e05c3530f6f05596a176555124143d]]
FP4raw = [[(cf35c55,15c54199,182ecd2,fd5ba2e,145a33cd,72c8a73,96b0a6d,7d39708,c9a0d63,1da50361,1dcd093b,b8952a3,89f3faf,a130f4b,181e1a10,1188929a,5abf5dd,185301c8,c573b60,2),(1c1ffdc5,1abd1ac2,6c24f43,c830229,9c25ea0,5af223e,4a5a0db,336e181,775e93e,98a485d,b67ae23,1c67fe23,2b29803,151416f4,195fd593,1655a32a,a81d1cf,e2c92bc,1efc7b52,1c)],[(bcf42c1,7177192,1f092f04,863d186,1f47ddfe,74aa92f,ebe9e14,1486739c,18c35733,36ac151,541bfca,1140cee5,9b9a821,13fa020c,6c1cdf9,1945f310,d712b4f,1dac586a,1e24fff8,1a),(1b36a269,1d9fdd1b,9d94255,832b0dd,121d588,2667548,1292bbac,1d6ff06,ee7816f,16c29f17,105c8f70,9157065,185f4f5e,c9d9f93,f23ae78,1d0b43f0,f3b9f41,11f35039,1cafd8d6,1c)]]

FP8 = [[[044f15f634db1e6f7c8914e27ebecb06f7bdcb8f61bc6e18ae8a7d82435b4a2655a27aa72a5a87d5af90bf3ffc0fde476c6d26a2a2d0ada9fbbc2d52195200fd725ae8d9423c,0cfe82661d7e2f0d748eb89deaa8dfdf31545c6a212dc35f8bd95a0f5d040dee9de21f5ccd0b6bc946938affa985a05cb4ae3d43545fb4777d06dea2e6b4d0c40771fea65def],[00598f42e542c0fc78873abeb021ee3ea8f7284f495bb301668f15f62d7f4f992779e45b9ae8d6e323e05e4ca8501e11f1939e477b7eebad3daccf9a94e78034e87be8b9cecf,0e0362447dfaa6e1a60d59d42617810851ec9f7a313ea1d9875d505490b60495eee47a917f588337f78cd9e785b709dd8833245a044fc50e6b02470332f22148f4d04358b35b]],[[0b5c397da47703958f8f0878d30b7baa74abb2b1e2ecc2c2aefe62cb5b2ba92536da7e3045d8f5ea6b50c836b176ad8444487252499f2549d482782616a3d8e27ae41f7c3f24,0935f40505d49e79ced448399c9569e61ca5152211bc75764969bb2277f448a43074206643706cfdb3a9acad5eb78953aa03b7e35f6749c692c625ebebb8a9ca22c311392189],[08ad9af280406860ddd41efa48e1a36c605a8d1294fca17fd5e53ba90c5f31a7dabacf8964154345839272039346edd46f29b6e26dd0347061aa0bf0edf765d5a644dd33cdac,0684ab459f3c51a180d481bfd7fa48c536a9b2ceb4aa25e5965256fb4d6c23d203870ec4b9dec49ebd0b9424eb663c52585a7a2599148e4b8366627dc95111764f97d9d9ef8a]]]
FP8raw = [[[(d0c7755,1103d7eb,61b5881,f94faf0,1f55001b,1a45c6ab,175ae0eb,1fff34c6,222b660,2b9b030,a81626f,1c24072,d9a92e3,16d42a90,a587055,fed0518,2765175,1193ccfd,119a1b56,12),(1feace0a,11637f05,f7af5f7,12857d5d,93cc60,1df4609a,1c2f5a3e,fc7e0b8,106f648d,1e7435f8,befa681,fe8b033,22ec0b9,15f8ad25,8639b72,f962ac4,11c12882,9a4e781,17d89c3e,12)],[(16010049,fc4a9cd,13e61ff5,1909cbea,1b2afef8,1c98fbc8,5f41e9a,c0ae757,c22c712,1d426a38,4ad4051,34e5481,152416f2,4622c12,649bfe7,7bf9258,89d6e6f,1caa6327,160208bb,3),(4ead3f0,7fe6eaa,8efd303,1df7247d,7cd8e31,159053fb,b5e182,f09149,bd7aa43,16ae8198,c720472,1369e600,690d2b6,1714309a,73e2174,154fc500,7c06d8a,cb7eb85,d62b974,17)]],[[(2d531a,7fc862f,343b4b2,122a630,5cfd511,1418f23c,50b3b6e,76228e0,1fc239b4,1277e1c9,2fda233,133c4e1f,5066c7d,14dc074f,15e049d1,1bd9ad5,134ec40c,12d2365f,fb51466,1a),(19483689,c602b6e,1c25d457,12680a92,26ca73b,256a59c,e6fc16b,1238a54a,45e6571,e75dcff,7983d82,4ec69af,1f2cd2d4,1034e938,1b867fc4,185ae9d5,ff8afbc,1bdeeb22,ff53949,9)],[(8311792,15e47d16,1aa09739,3573361,15fcdc52,d93ba0,f3429a0,12cd5b14,185aa3b9,1986601d,145f1611,81235c6,11525adb,1a393c64,9e9a9c6,8646112,188ac0d3,a11381b,157216f7,14),(8f18c4a,97742ed,128dffc6,a4d20b,1767d5f0,a65f8e0,a9ae8d3,1a3cc4c2,181b52c1,3b72846,45cb3d0,8a39392,17a84eea,ff0d51d,33f3136,1734e0d3,154498ef,331c4cd,19f7b275,13)]]]

FP16 = [[[[0b567d94743a6297b9cfb3fa012549daeed9f93693ab2b4174e07f781d7ee80138bdb14a5c5490d193a868a87f4675518e60a24941bdc275f9d5b29720d023c452241ec82320,0f4fd7ce629f7d97de0359878b75af13080564e971967102e89b2accbcfc6857cd013e766fe66384de0039026ddff943a064783b6975b58d09dcaa82c0aa54532b7352b3fe06],[02be14fd9a906ab4f9659e0496d94828d5391d12f77dd049dc01a81ea352653229293496e400c3c9b5962de949dd1b34247fe423512a9ed183a08169f62a469349335f7025b2,0363fa84179933d84c7603548693d75f5b719633cee2649576d90eaa05f3b0757800414639a30ffd5eaaa4c1f03c7b9d4eca9f000316acaf798eb721c47f3cb7978e4ff91dd4]],[[084f22ec1bf658631f7c47c8c20822bce3d1b876ab7cc2eb901cc2883135606afcc77cfc027c1fb065271d11a900c42da873803658f6d1875c65742399accfcae43863a7c1a3,0e907eddc59cb400281f304c24fb54358a1d4632495bb89639242077e7921f83a53683877d721f1da3551cf4095be64acee8ce1f19107afe96b98d55e92bdaa4fa6bb1b8ee7e],[08822d6c749553d7e538520fdf1891c631a80a7b2a934d0f16e28852781c579a129b34df70c0f4a0fb4f406e4bc8c66fb82b067199ca3a632cfb02588a65e2ae9afadf23a732,09994c586e4dd3b65e7cefc5afb87bc9364646641a9a72e2817d85a405061a7176a2296d976182b91be6877ad042813bac28a1d739e13e3dbdaad6da1fd8d0b0cfe7497421dc]]],[[[001fe96583520ecd35e9105fb0af37d731319c26ffa837ad447890701a12af13fe084b64c6f9d46c47ab8a75053be5213f02ce76da5e8106ad4a1b55ef9c4e392899c0dd5344,0a92fac6f338fb6b6ba19972fc52497ac613a7badf23dae1db29f9a58f00a33807646f44ac2702f9079656cfec80aab24c6abd690ab7630dd75efe811fe921dce563934d1b87],[044575a7ff42f411beeadc6e3b31616d04f9fee315426b443370c7886c2c4f478b7905586db6a0122a6a5136188c3396fe78ff47f1e811cb1456ef386455d55bb292473ff712,0b0adc500ffe78f45d8ea1202f3baf6d5d7c1a38082540516e8df1b6944f18f85167366a6f2c4826291d6dcdb72d43f65604b99bbea55f18639175df28c75d18ce705b2a538e]],[[05dbbcbb275c16a4ee864aeb7f226456a572ccb1341647009705d0fc578c9d00e05fee6559c195e5925d4e7dd1325dd5f145fd86bb6a28338917ca1813c5d2e64bf394969524,0939628b70827951bfe21cc1ce17e1abb3044004d90f96f3e9602283ba0f47a116b107007d5286f607e81e5984b86a1ca67c9a849f90977c3c88f13830ea77548caf3237162f],[0f0ed63d1251a610379ebe5b73ebc625477cafc711db101d77f63163670f3405d26c655e8d5ef100aaa67f2886ec4778c32d28771def99c35796270bc7d3534b5f7df0a34b6a,0a25994edf5482e7f2a34dd36ee340b52b40483c3987d3e73d9fd06a7c264da298ff6542d82ad99c85b6696160a360c17ec7e06fe8cbae6754c0a3b9a73db841a76908e3f45c]]]]
FP16raw = [[[[(1cfa3b1d,ea3790c,16f9780d,f53d1,166d3ff8,ef6808c,1e53d549,118df930,633afd4,805fec0,1665ea16,3cb6caa,33054ab,b0d818,ae8be37,17eb69,14d4c1ed,c27417f,1178384b,d),(1abe1d61,13d76add,3d6b5d1,11068413,13f140e9,bc573da,e20bae0,1e6c3b2b,1396749d,74042e5,13e60517,99e3973,1f990a16,1e679a6d,da36050,12000274,8405a52,b7e8cc4,1546abe4,15)],[(4f77275,2ad8fa7,1dd50d26,c4c211,1b089e00,1144e903,563c8fa,13cadb3e,c437e5f,1c3b1123,1459db34,14851c2e,19b2c36b,18510790,526d93a,a1a1f79,6079f95,3eb4d8d,cef89f4,c),(1541cc9a,1b9adb19,f617de,1cdab91d,5d4a365,127fb7b2,15f6d30a,1b73b980,135c7854,9b0e4f,15d89e80,991f158,1dce6763,1295d475,1deacac7,155de9cd,fc7a1f3,12d5f9e5,176f932c,12)]],[[(db0d994,b6ff58f,97278c3,1c7d2444,7b33269,f231f5c,bb59098,65eebac,185379d7,1ba89099,1bd7c1ea,406f057,30df148,941d7cb,173742cb,e326a4d,24a1f6,7ef75a7,2b3b517,1),(1af02fa7,12ffac0a,249f4b4,2bb0eea,1a356304,2d69c9d,146d7dda,5c4713c,14bb32f,6104a70,15ac9059,65b7611,103b541,6f132d5,1da4f066,152f877a,a1d9e13,640b8f3,1e6ee9f2,12)],[(be19180,1f09c846,15d45e03,8e40d13,9831b51,b1db572,f106ab8,1f3f3452,d3e2f07,53e0f6,a54db29,fab54b2,4bbb9f9,103c1526,164881a8,1b75597c,ec10b6a,2743498,728fe2b,1e),(1283dcee,a67a6c9,13c9828f,904b7e,aa22757,f383e66,1294ccba,2525a90,14e699f9,1357c9b1,228d919,1adc494c,7a0bf3b,9a53f12,10f28d26,cc781cf,1d50e04a,1f8501ee,202e2d,11)]]],[[[(156f87a4,8d3c174,78ce614,10a32b77,154d2119,e469417,ee06f74,e29c046,193f10a3,1a9af4cf,14768eea,8fafbe5,94baaa1,11a055e3,124129c,ff1f8d0,61b6908,1a6246fa,24542be,14),(1505fd4e,7742b02,a3f672b,1b63ee33,46f4f58,18f0f5d7,1c68d79e,13a895a8,e515373,13307c2e,8afbf0b,1982280d,f87a437,7c7e78,1d8c46e5,5c01320,16aeae22,128fcf45,feb75b,b)],[(8379af4,162ede97,4f258ff,1c0c2594,1c1a1f49,919789b,13acf843,1b059425,8a6a9d0,6741f58,c4507ac,21fbad2,1b986f32,7637c7c,1bf37f2,10cdf199,d350ca4,65844a4,ce1b4a8,3),(d6bf5da,e6f50c8,1dd9647a,2826027,dd5f8b6,17bde209,9120553,6ed4a37,3484ac6,978fccc,130d7330,1a62bcd1,1d1bd290,16008bcc,c4e2c7d,177fb6bc,8d59793,17ca4af0,165681f4,10)]],[[(10034424,767ddb2,142bed5e,1e4aa286,1f0f2e87,13d167a6,147a64e6,2e76c00,aff628b,1824414e,8e9dd22,5306ae2,216e5df,1d8d684e,d4a7563,114ceea3,2479ab6,2ddcc22,39f9f2f,1e),(18ed79cd,1659f87f,10fe822c,95c4485,16ef5288,162e173a,1c765dc,1433fc3d,1ec0c1aa,19a49ddb,1f6f5abf,14be5fe5,14c3978f,ff280b9,1026a91b,1bca8c2,1b1bf2b8,a46ae2b,19796155,3)],[(fd188f9,72e2d09,13346f98,18895b8b,13b2dab7,1c714e8f,4e01db3,16d733c6,e166636,c973aba,e46fe88,7e4a9f0,cd23828,1f661866,10fb7aa2,8b4b98e,119834e,1c124e29,1c6b15cd,e),(131b06d8,185945b0,67630a5,9fe175d,107351c7,1d93b90d,18d791d2,16050d36,17722014,1bd8dafa,10f56d13,1e0fdd37,39b1280,1e13a464,3a41596,17a0f2ab,16a41840,1ae03f5d,f674fbb,d)]]]]

FP48 = [[[[[0726f70beca95ead3d34aba2edbe87ca0b7a7bbd5cac464abb12cbef28fbcdd4f7f255d285b2b6b6df35e9018b458f0c2ac8ad0322bfc8ea37b2c7ff31526845cc1d4e3f5b0f,0acee8efd72e0627dbfdde4fe84e11e28804914f857b42a6cb4ec152fd6c272f6ce606af5b2fa637566f246f2aa35161457bd4b7759ce7ed7ee0aa4256d012b7c5c314468cd9],[064364e648cecaad202e06f27909959c7a9ce0b6633077d51e99b94753ff90b1d5ffffeca775706ac01c076981f78609f0801901279ce22e0486da8e1ef2d2636b333a70336c,07cb7aaab3064b1129b830d305c8f3e1b1b3e409b3224baec4252898fff2bb8fa46c58ce682c67e11383f324ec748fb776b1d1048f78475b01f11cc6c1ab559cc2b082d9784a]],[[0219eead01adc954d6cb79f1715e64cec62cb3d81d9c0613b2c4e37874f24cbeaf679aa5a68e6ec33bddee011f357f0a36012e70473a14becdd8b9a41e6221af7f32476945ae,05e2d187e6ae797802726942aabfee26cc9b6abe201b3293ee26efb2278caba6176e51974e4e869789cd2db3936fa07d3ab17369ac094162bb0a1e1ac652b22c540d630bdf97],[0ad4f4316d4be1fa3ec2252ad308ccccd4128c8cecfaae579435bbff1e5c7ca130131d45d85d8a220d3d60d68563af8761796da60bd86aa6441cfa6572f312245897419ca458,00047eb54f51a9b0f1116d1dd5ceeb6386cd6231ef74ece093dd6a8506ed42d79d3b5eeaa5ef5075334dd682324453cb76d768961ffa791ad113feb2a29e872ce22dcdd49c36]]],[[[0d5a0a1bf92998756692f3e3d1be6ccf0a3be11fbfe9570c3bb0046a84f8b5492c8fa7c56f598db04f7bb17103d807d76f06993a0c2449e643acce5e3c562ca1bea4162d166a,0827795637800dc5f334337365567f4f269fdc2c3f5386ecf39113c5f805082c6884547c28644ababa9ca2d593220626943ad1a92ada56486d8238f9dc2d0a73447fae7eb5cc],[0b1e0159caeca4601516d19d9934cbb5b89eb0f0d913c6242191f493965ae8cd2bb4f7bccd0f423cb09b3f975d739c9ee32c0af9a0f2360f268af76bb68e74a28ac892cc24af,09b54d87f3034e7fa221a6aad21fb5a962245f112a79f5aed6d5dd000bf4cbcf532a72be03342c4b83f5f15cd0d76e191aab709f9a6a9f90e1d362e1f4772925a116479b48e2]],[[0bf471795ee2435b5c2e24545d964d569929dea619ccd793d952198dc2712897dfce56bf09e3fd5b420f1fa672b04a4369fdd206866b7c2856c64d6eba5990b60c657baeb06b,0319db4ce8b05f30a09280a763a297ab0267557d6097bc4060f66a42db3ee79c3129f646d113859c9a3a6996fe012c2672d564c9975d990827419811b071a15cd00a681d6311],[07136077a901535a440622c25232bfde7050903843699672dbd11c9065c59734b03d5575654e92a2432d8b78f161c7a66e12b20c1ac9ebbf9083b0f118965b8fdd8abecc3ec1,02a8304211b9a097ee1cdf0c6a25dd8c270074bf11efeb30db955007f9532cc65dc27e78ef874699c75751f2eb5a8cc5a04288824697905ebda239452c730638bc75c51e9d73]]]],[[[[09c24a16b0266e63ce4b7212434471b50ab5e658cefed199951382aa952ec94812f03cb07a8c8007bad3aa30b36e8a78b3cebd147134e5aa0444daac0b66ac75fb5d30f0ad06,04b0b6a062d1964a30e723b56f5e3a1378babe71a12b0334be9addbd0546bdd6486143af950c9e8704d0a0d90a3cd2502f97b9b23c025c60b2386fb63bcef1f3135bbb58c584],[02968cb3b173fca33a9e9668946270f2356256d8481d5ec051d644cec29977d2a760eed312b01ff7f9d5a143053f69f2d2aea660ceed41eedd1c4f09a87bd43ca9efe27f141d,050458f9f6dc65cf8fdc4a6f982b06d38bc1ec9474c47dd5feef2d6bac1ca5f7b1f1926fc88cdbdb46af48322da1e7d94dcf8f594909f4f1a0ff8fdd6e24acc2010757f2699f]],[[0ce0b109de977ec7fb8864d2ebd44bc68eb190a3d46c9abd46a8cf309127782654f9113fd87ca1a9c6b776db2848aa2a2cb6debb14335cc838458836f9d632adf566f95ceee3,0a2a502088d438723e4cddbc96502ee4f7507a67b971c96ee8516f9a3f2a17f90790af244dc0da0ff1364b56de9e8505cf74e54b5c66a29eeaa85e31ae1629aa0d469e18d17f],[0bba55cf8f5bc3aa12439582e925296e3beb30c3b6f553cf363b28ed4ddf455557649d96b57f089e9bc6fb1db322ca84aa7a3cc25096ecb4ad39aff59acd1bd2bccd5f1ff075,0e6681a5d2e0b3aff3ff599353bdf9e2cecd8918e970541211ea8d4edc8ac4d9b2499e9e7204fbb569913797b80c8571d2aa260862c4c6150a2f6a66ad026d76704b98ae57d4]]],[[[06e85a4c0571d61de5edd4a3fa7c602da169be133b34e3d0a3881615878a42b80a932c133fd5a988f214b8c6b436635b7c46306c68727fa0a6517e4dde7eac1ae15fff85c772,082cb21c5c59a36491f93b49c7ee4ccf6f48db97dfc19e6f14af962f41443286336d109f236d78cdeb7a6abe4ee3035f610c97bbfdbfae7c6ef94d157b2adba00157b65863c3],[015e94e16bc47120a3bc78dd550fcb37ef91cdf8c88ea13997d6602101031f720e1821c6fd4c7c953eeeeb31da62ab0f412dd52b0c104caf44a94b37c65e102c125d23202773,01bf57af34e727eeb220e01da29fd2107873db92ec3f8fc949f624c9900bd07c6e286f26bb4fa269d8a1d4818e4329d1ef598db50605fc174d3000907f1ded0d94caab8362b2]],[[090565a45643c1f800584dc0f0424aabccc2837944dbdc9c4145d401cce9cc6ce108d90b0028ff61f52aa85ece3305c3c8a5a21a8313ea683057ba0317df48c9d1826ceae45f,0b4e2f3ff1268ee8e9d21af33ebc2e00f675fbe2facd66920e4c79a8476701739a6f979b978b547eaf4ddc4cfc918df3d451d52d9350de908dc096eec0a414d6bc210bf5a311],[0099ef16534453ff4916515afa0b8b7a1637a20aaf555f1977802b5c8a496c43f87bfec9d173507188c0461d260923b30baf2ee6b9003c2a74f42c6ed441d610d90b61878b45,0c066852fc4d8b6f2ca1cbf9bd309ae243fb81eed0428d6533fbec29230c26fb21c88ee33c7851a59572667bc1b54f5e0fc12b1ef35b67ebb05cf71ca53e11c6b96b80dc3a8b]]]],[[[[07a36c8be997bef20cccb3a6f47edf8a54d935c757138d8a2f6472a8f24d53160aa641e236212c455afd7ce1bc1a6a0386b6ff696d41957a51f43b11a8da513a3b1dcfd93c5b,0b687f74a7f6a69d52a22bafdd4f2506d24a521d0da0b4e8b89f3f1018af7ed03d9aa2529108a3fd3fa89cbf3e20b7dd1e5743ac5d686906db8ef08947b61c9f8cba696d9468],[08249c54ce40eac6579477b47abaec9f14e8d76e4307e00b196838779b182ea9575bfd564d93eadb9e657c157a9bdd55d5462fa4f89f4de36ab98317117bb31b431e14b0af3e,041cf613546e286737ce0e3bc72f41e5decb80028c170fca73a75ee203d228a4bb75fbeb06376e46d297c1f8faeb539bedb7930bd33babc2fd27e3d97e4aca842e69266561a5]],[[087df7ffb0f0f57d51cdd66219c4d61d3e7da21386e3f706d24b9704e2b214c564e9bfebbc3d1c7a8225c552770c9d8fa598efb700b98dbf32e6e6a480f39b8e3d676939a0cd,0ad757cd55e255491a29617062284b9e2e39a30aea63e80aad53e5b43a9d29419b2aaaaee97708943c5b1a912e2034ebd7c5ff21a90953b077873e06e06627efef286e7380e1],[001e6ba380b2ffa0076d739028bb75f41e01f997c751e08d6a2425a855efd4c5ef0cb8382ad341009b3bcf4bf0b7f1e268dad0bac1866bf67ea625210f1a2da5cd4a7855086a,0003ab2d70f3105486ad10f7c57755ac43667723fdb2f1d33a87ffe21e7b3973d129eb2c73acc6ebc297b421f1b0b1d2b97970b620a4b37d246dc839bc9a2bd123da5494143b]]],[[[021e61a3605d8d3ddf4bbb92c1acd996110ae0dac2e58bef9a93f2c1fdec589afe5967c48fe0ac67ae203ffd40a19bda285a035ecc38f564d1f33c0886a810bb15bf52c5603e,0e7628982a3aa3a16152c7ab8bb1ea46ea3e4f4c09fe8d108435e838731001404b924a098aecce77156f4574906f3f8e1a81d02216f1e91da2593b8b6dcc233a937b7f0f1fce],[09400439db86fb5bb8c8cc3670e3996be9a69e72e96ad4fe56ecacac2a4e874e8d665341d179d2e002d8ba52acdda1046d9f9708796d7a7ef6543412ebe8721613a6112068c6,0924e0b64da8b8ef5fad9b1a3e631d8ef8d4086c49f1eaec036fde7a8b210ba420debd569269f98c72a16f485384c1f620d2b26b89ca367f8492013730ff4f4297b3d30ba9cd]],[[0803e839e235571b648f8c89de1ad2c13231e1f149d9ab9e24c6f649a6a129331f5356bf515da390a04d0bc08a2e48c125986b7272593c8a604bfa9e50eb74893a66c419e206,02ab08ca1651dec2ebd1f803f2f3c5bc8ab9b447bfb92af72481e5d81d6b56225c1e993b7ab5c93c8e1b8cd923f750595fbca7ebaed7782ffd75bec51463f8d3b7da86d82663],[079dfc3a397b538c167cdfa6ae87590dd25b59fe217a9176f47bd65f290b509be27a92d80a9ec41f3ef9f3234ce4ba92c4f6b97e207e22a9083d364d3b84d30dec4d08c2fe99,0c03ea999f79bd681ed52e765c629d18f7343364064a893df4c6166802fa9e75c26e8d2cc7873fc2e8bb4b5479650e9ac63a7790282adafe06adccaf8431f396eb9c1fe9bad3]]]]]

ECP8 = ([[[055f2ddea0e02b64819e4e623c43c8c1e60c4afdbe030b7b972d9f6d7700b1625afbe76592d97ac74448428411c8c13515a7a2e8f6375545216813523ab65644f8347ef5e121,01662cf7f01d51f11dbdeea0c187ad7c4714030b55fd7d1b9d2c49663cdbfe471ba53039c4477f4327d3f526091e0695c15b2fb3ab694d6b24c59e1aeb7ae673edfc78a61f88],[0343793b2d8131a029c272e728cd06da4ebaf7c25705811df9e541117ff5f790475ba0d3c16acd27faf9767514452e3dd28511dce2240838b1d8a73357d45f4d4e99b0e19340,04c3a59d25fdb5204b5d9e6b6e21d655584db2aaddd3d7e127952d55cf5dc211fbc513e07bdca8f5445f470cd50c1a66ee031420215f8c5249f44b5de44c6a17d54b00cc6fce]],[[00a7c4310a04bbac694638310fbfe8ae7dda25ff343b1beffccfdba2ad9d4837aa916416a2814409504cb2aa31dd8b41f9987a1c1d5e28a1468239a5e36708fecd2626ac8fb3,08ba0a9b4c1e090dc140b982329524aac9687e98f7a969f43cfe6a0810f65e84c3703f5d21ec0d1887fe58671c77647d65b2f7796661304120ed16b6b3f42e697f6f3f59c80d],[0243f3ee4d969a58f5f257dbcbb5643247235facbe1a5381d2a7efdcf9684bba7577aa0e02afd30d9156d5b6eec00f4d09c1342ca44384c33c82cf833bb6a8e7f15ca67f12db,0bedf3bac1c18a00f58d75972bb8c3b13d370181c6174453806ad9688c58070bb1728f6c6e3849810e7e931c7985ae99e3db9de71212f62f8559f3b7b85afba34d013a46b301]]],[[[0ac5c4bc8ac8d493436bced8a0564e3f0305ecbb289bc17bc178ef19d7462a6034788a1e54c4a1ac6e32f012a1f12223c60e154e5924baf0e611fd6d92afb186c1d7a91d157f,0f2b89197d93d3b14b3004565dfa25e84060b964670e6c9423de808c6a213da2cd0ce0aa0a7eb99d56b09635234f25795e59da11c8193d4bd0d8a6331d621a92eb4bda4ac4c7],[0825e850988385fcb2a441fe72852c17f2b2eefbd85a15beeb10f7f7a65eecb186151584fdc0b5c4afefe72b96ebc0e96c3e79e1c37e5f5f29b049731e27528def5ef7743b27,01707bfbc83ccc4a7536e6409f25ebb8c323293f9387928aaefa228dc78f6deef7430233ce8e7398ffa1873dd892302a73589ad5c66370ca4bfc7dd5d7d4c1ddebbef355cb1e]],[[0b11c528d1a9f7e5cae95f49ef40ee412b841c53dd9e4596e53587853d34bf38dd54c2d48000a60dcba04729aab7475af59a9e94984cc8c1fbafa064500ab4bbefe3771ef4fc,004fdd5893dc58479a184fe31d8afcc247834c210c76ca6d837b20ce2accbde0a96fad9a24f6596759b3a8e30deba4974bf12c3810a7da250b1468495688fd7dce2d9bc8cd04],[0dbb3bb097393bd147346e6dbdf5f546eb327f0779345363962c5558b1257a1b4f49f2d55a0b0c2849d5f01bc40d8a98e1cccefaf87800ca793f67bc01a8cac55ae0c1039181,0d75434764c4cd9f02b387261ac764008a91ead48d9291f09c9ca6402b542c58e9434236be475a83f41e494a459fffe0cb7b8c4c45c5269b384cf7b42ede31d173f20e462959]]])
ECP8inf = Infinity

OCT = 63e57ed24f1c7d8babeecea7bfd6990b4611bdab902c31aeb75829874d62fcce984c2c2873deaaf344db590863496511

HEX = 9e52c1647dbe8357b5cac267690ab6807f0e027def31d21eb87321428465b24d
