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

BIG = 0000e92e64a147e7edbbfa8b4507ef9d7c226671bfb2febfa33101b56408a73d6d91ad7a6334c517ef7503b7cb2995170c8c0a2b67afe25c7c766d901e74b129a5e12aaf89b3
BIGraw = (129a5e12aaf89b3,31f1d9b64079d2c,c8c0a2b67afe25,1d40edf2ca6545c,1ad7a6334c517ef,6d590229cf5b64,31bfb2febfa3310,1141fbe75f08999,a147e7edbbfa8b,3a4b99)

DBIG = ef61bd62aa0a4467965cec767aea9aa38960ca8684163b79fdf087b3d13095d47489940b3416498c00e79f8e1ca3b7d846d682f36f74a2f445dc81de73e58fd2d4a30a734d72d1c6f7d4b3841dbafcc4a49a5909bd4ca6365668341e58f6930699e003e2b6ba

FP = 0c63b3ec63f8d87b5a375e860bad28a5d195c408238f676703714a3a17bfed467b4920b813c4e88d24d24d472500f46b8e59dcfe8478025d28d78adeacc5ee58afb967bd08ce
FPraw = (c12f01edfd808c,226b11c4e603e29,173c09eaaa88bb1,e8f58dbe13bcf9,368b7d158af1861,37e68fff0dddb26,24c83869156a6c,3385c46e8e64fd8,22a86c1aea6d421,2707064a1)

ECP = (08fb944c42190ca143440fd9a17025b6f4f34403a99b55e00e184a538f2171a72c69c4472b534cbd48e897bd7f03d3f9b202e009c6397cf14086eee990ef2555ef77d5993f89,060d22a758c000a903858dbaf0f6e129641ff90cc3707581d31cf6bcfa173080850ecaba08ef2c3a68686993949ef417a59aee1fd391757277e66ff782040c89c3385594368f)
ECPxyz = (08fb944c42190ca143440fd9a17025b6f4f34403a99b55e00e184a538f2171a72c69c4472b534cbd48e897bd7f03d3f9b202e009c6397cf14086eee990ef2555ef77d5993f89,060d22a758c000a903858dbaf0f6e129641ff90cc3707581d31cf6bcfa173080850ecaba08ef2c3a68686993949ef417a59aee1fd391757277e66ff782040c89c3385594368f,00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001)
ECPraw = (08fb944c42190ca143440fd9a17025b6f4f34403a99b55e00e184a538f2171a72c69c4472b534cbd48e897bd7f03d3f9b202e009c6397cf14086eee990ef2555ef77d5993f89,060d22a758c000a903858dbaf0f6e129641ff90cc3707581d31cf6bcfa173080850ecaba08ef2c3a68686993949ef417a59aee1fd391757277e66ff782040c89c3385594368f,00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001)
ECPinf = Infinity
ECPinfxyz = Infinity
ECPinfraw = (00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000,00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001,00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)

FP2 = [0b53e8aa1ce0a976938aceb37a3261821626e04f1bd0b99dd6f68b533110a3c5cb74a5ae2e5e2363af6ebdec477daef2dc71af25f1a7d652c0c1527995c75abee27097f5c4f8,0872eacb15e16847332276048791de7382dd8ce5ebb13581d88f7377dd3ba17fbc16c44e04da129bba96926d3a22c13d3b86d540a423a334fb24e21abeede1e8aad198e4643f]
FP2raw = [(30550a897a8f435,33f011ce60b65da,3756b8ee096d54,39d563f3914b8d,bf5cb70916943d,21bda38135562b2,105971020dea68a,d588cd645edad7,3b349ca22a640fd,1d4f6ee79),(212bcd2f066f54b,3a9593e0f5b330e,283c6188c919448,38e3e8b9d89d6d2,38272e104b097a5,11cdc5d92c2d99,1522e1693bdbaf1,21943f71bc7cb1c,198d70a8acf18b5,28d8c9aef)]

FP4 = [[0b14d7b5c1683aec4568936f3c6febe4a9d4922228f0ef75d83ba0d59c67e87f52fc8f53e5e0ad58a3738cdf91d3a69db49680b2bb514bd3c9c79d72df637ded9a92abb5d237,0b76661d1269c02b1ee124b6162ceb4c0ff5dd178d29d6e1017a9dec7c2e913f743748a3224d8e6863d6c504147c7936e3ea377860689dbf5c65a5969ddc0f810eb9487dcae9],[0617ffe748c462530c91ad41d79c0fe03fc9fda53483c94c14763f134f78e06f2a981bab041d23c382c09b4e4fbacd83eea8989f45056f14a35747adc416fe2bbfd27431eb46,0e08c4730baee526dbf03422897506c42a88bccd754fe7bef598d5d085be3e80620d05f27f4cb6ca66adbfb9968ef5c4bd43dd5ca1bf1175652102c0e6fb69cde975ecb0c423]]
FP4raw = [[(18a371af83b6653,e385dd99a6c0ce,1b9d0daca666792,1659548c4a59add,1418f71cbcc0209,110398809e8886e,2e055f003518d5,7c965d1472e6f2,1a01b0a2f9b3f5d,27ca2b76d),(ba595856d5fcf2,2b51bf3e0a409b8,3322b8ef8641b7f,3ab9c9a78751971,8ee29285ebb7,73f1ae2ab4c997,3fc5a0c873f0219,3c61f3fe393613e,35800d5e661e8cd,155a41067)],[(1cf5ce8258991b8,28369ca3b97f7dd,25d2aafb2f82cf3,2a200496cf65627,39a7bb318c3b8e0,38ad19b0c5b855b,c2b03707d7bede,c13ba801950849,4a9cbb55635adc,15b4962ee),(1ce4648d02daf48,2bac4548bf63e9f,278705fda05866b,3792402eb9be15b,14b26ea13afd6e7,2b4a7694a470021,cd4acf2ca0783d,be8b243cc31fa3,368ba47b739ecca,1da6dc346)]]

FP8 = [[[08d2bf95e54ac0c8d8969de00d745e08c6ba5166c764ff2e2a5d4df7963feef1b80d5d58e4accc8a15b23f5ba68036dd312bec90da54dea65a2be357e74e1425f3bbabccff33,08f332ac9452ab8a5b1200905b620167538e6237f6800c9d8f966e16e7d788f91ff7d475c9933cd582f41bfcb8a157e62000f23e5ab46a62441ff7440fae274de5368a5ae09f],[0edb77c120a1421ec612ec56057d06d463be1116db09f0f9851ae7b7254cde4953586fa7d892bfe2f071f5ab6f32aa9226d8c1939364c61454ac31380a881a2a7ab9d4abed9b,05b5933223ffeae5816eb5a7330a577d6d2d6245c34ffb27905ab8bdc96011eb3daca3d43bcbc46390b102b3d11b47caace7a5ddd33a7808c462d24b83ab8c9af953cf9e1e06]],[[04be6e21ac14582f7b1c6ca8c457ce83e0a8db813683648ffff9197ac198c6a1ac660e2dcad486a89629d775a72cb8cb3ca61648db273fc70745e4fe2921f63c145fc910a0f3,033627ee72e90f1b4f5c3c450f0658a2a8c60ef77d9126869fa763373a6924be62d8079e90e84ad6f1f7cdf669e4da183ad63f92bb39f292bb8b29a9e8d4e7450dd8583173eb],[0521701978756132fb06121ac3a165f4198f08cf5362beae21cfd5c9d9ffc2999233e4d9d073399cc40196f2b2bdeb15886f5463c2aa253b87b717887b061d307fab1b3edb13,09ed00e270172f996616716b376155804d0c23336688bc893cb82761fd59b703fc4b23b6bd9402947595287b8eb026a5e4a01442d57d0ac53b9d5e2b44ac7450834407cb83dd]]]
FP8raw = [[[(2d0431ad7214857,3a39742a91d1654,3c7060aa5e36120,1d25867a08ead7e,27d8668af6f8081,247b45e2f9f631d,2075d578aa88cd2,27e79cadefc54de,21e0ed654eeaf86,30058df0e),(336f5c66e395de8,1bc1b65544b24dc,3579dd0a41ef7b6,2563c475b5210bf,a3e3e869f3faf5,2c4e69f50cc55cb,a3981f284f000d,36cbf192ec058c3,333d78789def35,ee1002b9)],[(1c69a677ea4bc9f,e5077916007702,196f8e3e21ae81f,2bc9c5831e2da61,1719954192288d0,2374dba78453a8f,44feca79f29bee,32e2b7b2c82fbf5,bb0604d5f4d926,6ed3eb86),(325d24ebddaf30a,3e43fb216c495ed,2bd74cfe18e8690,3b7c95180558628,21337ce56e5cc50,68e47f9c52f2bd,28df439cfc7e78,283c24afa78ad48,7cb6cc7c2135c2,e3ae6feb)]],[[(a6ea3ce184be1c,1702667cc8cfffa,3c54709bc02ecd5,dfe43080537def,2ff691ac1e76496,1d5340f53cd6d2d,192956efc5b9f28,1f7ea7f0c1e8697,3a7085aa8d41598,5a79e70a),(6630ac4065a064,1de40deb8b3c934,37ebb3541899109,2dcfe735f95e680,146b777c8237627,2c5bbca2d731a40,7e54a14bfba2bf,c397f93a186d77,d6c41e43541f1,3b3d82962)],[(22174467eb59992,32c3d4bfc5c6f3b,2f2fd10508e5c98,d853c7796e00c,3b31ed4753c08b7,21e5db77bf89fd2,36a4b8ae487acea,34457c0fbb6e6ab,36f5348882d6ce2,10e2a6c01),(333933ad64be080,24b68552345a964,7296b727c9b612,223cb31f73c3878,147805d7827ec01,3047619a22031e4,327d83432ab7f84,3668c7ba980fd70,223b61a2c41553a,33dd4ae6e)]]]

FP16 = [[[[003262556ab82c4fd2425f2b301ec1a45c2a62cadea1c42f832ae1517c94511bea84604f26b42ca1f62791dd143f9a05665dd46a2b905bd12c8e698455c5bc7e37bcf07d709a,0dfcb0c0691407b24af7b00751cee38ef713e7b0b70180e79b36bc3ab34b723144656b11657b01c2a7f73d26aa694e9269df20f551429357ee8308f1a3237d2fc19d317971af],[08767a81eb3982c33d770ae7730df01f1be695b03755b0d6e9b0aa54e87cd4218082d424b52a67f115cc919e4b1d8c69c93004366b7472a0ac574497f77b7ed7e75b86552def,097b582175700606f56ad94eeb9c07df002ca7fa6fb49614cf30ee40e6c9c2108ced4f44193499f73d40d31a9b663f7564537e7bb7a291ce11fc6d2d0adbedf4deb9636076db]],[[05c01c3e12b87248523b9e18ac6609ae398f74a79a93de2cedd4fd6bbb68d8eeecdb21c813a77cc26341955e6f4b7a01899c3dfa8ab41feb8a133f16a83861e1fcc3ddbb77ab,0eb3a3856784f5ff5a40b3289612b2913a1819d81151396fbf1183dfabd21478ae48f0616712d9970374d138712ab8ec37d68d45e8eb538fe683fbcc8cbd9e44477fc4c0dc0f],[0746bf192c9f53b6d2a391f195075cf828ac51d0167f1727856f82122221b8cd6e8c272fff8abe02c451b2a015b70494b7055d6c35aee798c937bf6076d1c3476e25946e03c0,0a3fdc042664ed487135f1d193f2949ca3837abc3aaa255dae3d224ee9d9532748981e11d7a5cd9c44cbeae4f3a79e2b4ebc2b0836952476cf48f3c0fe97c125c11b7c03d5b8]]],[[[0c7dabc98f4acfb301f2fee58caec70798d8cdaaae7683bf5e5cf40548f901ee1a7e57e35d8522d453fdb29855edcab495287db4909593c4bc8581ebc41e402e05306fe44894,058e12e0a5252bb263ee9654d404f1e56b92a74e7ffa73b2ab12d3ee0b6b2026c53c19bcd5765e4d27ffda05fa4382475990242147bf73fc9348cecebc775ea90e7f7541bc4e],[0c8c1fe334a348cf8ef3494d511339131357969eb61fb5b64437245e56bf6a6f48b459f8d46e9ea28b026847ed3f0ed2f27a9d0ff0144037300da5c6c09f38b034af85357765,071d978b5bee1d3c9d77210ef8feccd426ecee07b4de46512194afc1e0d6ee61e21b712bbdd36993e6eedc11c97bb05a105490888cc73536ca8b22fb2ca396111554706b772e]],[[01b8ac07dbdd68f8b7e23ca62f9b98ad7fcf91ad4589de9410a413b51f840b75b489ca41d7ce1173e1d00b84c5c32a02f29ee851894626f4cddb936df4e0f87439127bd842d5,0cc3e5b8e2ed7bfe1fd450616b92881020b3e5468c1500bd959134c3b19c899e337edff650038c8d5e1c805006aa0a828aff7420b575803252dd76aa7490e4b37fd6494f197d],[0d59a8afab07b788e482f72f59ffd70954b3d63adc7797c05e6e779a4f9d9417dcd3cdeebedf110fe848942962f744bf8b0c701d86853b251d5c5242008189b2f068cdab940b,0d02f481956c6a796ac370c5339a1a2f62de8aa64acd3a86044030083bd704fb97c55dfd0d055f28d6a734c876f6921f4e0aa41e2eb8a613b580fcb27d76fa254da4d90bfd02]]]]
FP16raw = [[[[(d439e88383bece,2dc47015d0ac84a,18ac683e9025da8,37c80af56c40c22,1ce8663a661f130,71c0457c04f6a6,f96d6fe3aa98a,a9561f85a4eb73,3891f0fb5c08c22,3106c3304),(362cd53299f8d5e,3d82c5ab017a144,2e8f694ab6d14dd,281d6479567dca7,36cedc7e5e664ce,1f9769eef5b6808,2f3db84ed46187f,11333d2e9bf2c3c,2a55c0e167129c6,461210f8)],[(a6b1b51a95cc1b,18138277ee3a5ce,2f6e2810ada87be,1b7574f250e41e,1296116254da888,1372dc2c2e42d8e,2f58c60c81082e3,18b653a72d08f9d,aeff5681d22207,4c2ac3a),(3db966d5910c0f0,198f73bc76f3367,e5ba94c1a3aca5,1a0d8f20f9b41e6,17c731ec9656a4a,2c73e83c5230a3d,3272bf9b5f55792,2a87047d740132c,18480cba40a7072,22fe3189f)]],[[(3331101fa532d71,2f78b863ab82de4,218c24d337097d0,18a634c634b5e8e,17e9fbb8cff92a0,19cbf7f6a8a8de1,8283d5347b9afc,38045057014cb6c,3f8d8eabe501b01,167b39b8),(3f868b08e65ba0d,ce23856c3f53b2,2545489cbfaad2b,26bfbd7667d8f12,12afe7784db7040,b8c4ee54cc92da,18cd728f99e5708,39f6e3f89720943,1ad6ebfa881b298,20e2a8beb)],[(2a4cbb9df5961a7,1d759863c898cab,1cfce9190d3918f,208cac40d0f8638,15466467f8d6de4,204f39705a1ce45,134e4645493354f,2cb1409721d66bb,2a6e97f2827d07c,3bb934922),(c0101ad5310aef,d1516839f02bac,2565a5d599280ad,1b32f43f517c2e4,28ae39a9a74046b,24e395861cf3f4b,c2f2be5208ea72,205856e8ae359d1,fb07876058b679,389e3be5b)]]],[[[(17376e617deb704,260efded5ee144c,1bc484ba75850d4,1b69a7da9bb623,3acc2f5c2ff812f,c817b536d20a1e,208c1c78f812017,29e6feb84bf32a8,abb64cd56aa13a,b11ab163),(1799080773d79ab,9f3dddd18e8fd3,2f20351d9d53dec,b25e9ae7521bbc,3ea1a4d500b8e20,191a33ba06fa6cd,be93bfa8186ffd,37a4eca0ad55e21,8c8348af54c063,333a33e8c)],[(1cdaf317de01c5c,2d8c3a491f86032,3688cb75d7471aa,14a9034c00cad70,25df7330ec7c36,1f92379483658d4,168ee26eff3bcf5,28a78e635b042ed,da86aae723ada3,3bb25517c),(37676e7cd4113de,58910eab02ea47,c22e6ca3505e6e,12d65ad88c8363e,1ef8caf504d7e95,8c713941f5d664,10559eec2dccaae,3fa220e45a10ceb,15e20428cf5269,2c284e66f)]],[[(1c590de9410315e,1a826c770364cc6,ea4acfdae8bdd0,2a2d2b708cc7bd8,3b9b57add07c50e,2e159e085d5195f,2fb2462a5fe8a4b,cbadc9132df6c1,27023fb207fbce,18fb56d28),(e8117f24d95ff5,37a072415134cc7,31b4e0f8ccded33,1b62310d7e6a84,2c370d1883bf326,2f4b5323e048d12,1a3a6c3e823ff08,18fd5894b71aa06,49c1f2806ed11a,2f32d015a)],[(2baba8a2f64b952,18e88d7a5fec9a7,1fcdd5ec307ea34,18307797b455c7c,25180b4382ecc3f,25f783310b90462,183eb669d5496cd,1ec1d8fb79c717b,889d90cd04f065,127679c42),(2a03df977b0956b,118eb138dbc304b,2f32a42efb1a99e,13e81e2f9526630,2c22971ecafcfb3,21aea333ab75b19,369c5b34ff512a9,811311825b292,29ae57efdd17d31,1756a5043)]]]]

FP48 = [[[[[05c5174e58e6193f6f08ec058177dd6194a3c2b2531ae1ab5749750b20b7bf70fcc03572b5081d65b8d569d56fc8a7c2175dfab7693c908d089fd62068996e635c023e7a36d8,033e18832d7ddaf87989c4603311bb3127ba9aeff543af3752a7b9a7abf119067bef995fadb7c69404b94a8102fff56b9767fc9ee1b2f06a681e9b657e68c47a84ca81d285b3],[0bd475982d4fb7d00bf4528b1a24f8e9ab60777c8271dbd4c9e69759794bebe242e5626e951fa9941ab7f7da400a153f04527ec71133da58c83034cb4bfc65e56534768d1673,0b161823be7fe429854443e7690e6d1f0bba2b12bb9cd2ceeec3527115f1ea04fda3bbdf953ab10200cf2325aa801971e54a845426c03ea192a835638cd6959992e71ce79579]],[[0493b01611b8841640317590b9bbc476bc4494973dbe4c5406166fe8ccd1deebe6c4bd9e7956213374175fc592303551e6eacbe545f201dbe3c73148a05cdd89c784a53b14be,0f5286b6c8f906c77b3f74aad8b2316f9f5c0b6bfcaf970da98e91d88cbd8d49f77eaf4b5f7ec4b8617a7722d35d49d0ca00f962e9627d3b82d9644517c4f2a0ac312985e41e],[00ac17d09be029d4928af377ab289d9931eea716cbc987be5d27e0a0ee77f5efedf6c9e7278796077d3ea71de6cc92a45919896f835dda710b3975d19d501fb887d3d0328629,0523ea5659f24458af1b51a8345bd59f170c47e5df30138daf8cc653bd8034b5ccccd03557fe183d01652c81b43a701122f9197262bfb635686d72336d79e6717dda65d6513f]]],[[[03eaa46b6a03591e241e5a9c10255d3ed1aedde7e7ca38177b504280839538aa6a6262cdd9d2ebf6d2c4e1251b350078f4b5a9c4ed7c6726a9fdbb06ade1329ba2a35fb8ba3e,070b1b976e7defdea18d0b36320b90de1c19b4e6bd16a8fa0eecc91860edfd195896c4b32052fc2c2aa290d46e45c11883d3e34dc5441fa98a842f32fb8a2a68753f8a2eba9e],[05f6145e3b0bf9f945fd4481de2799292638b1162745e96109a8d04c9b0d3645c8aa8c6f82890375db26cd05ed5e2a798dd72059e8ecf8ad942243678f71fc59b7a312e95a30,030dfdaa93a4fb2634a25b613187bb1b64433bbf206e9ec15a186f8cc8dde968530993816729df61d836d408c7994c5fe273f2c60a2716b6b2f442d14ae0995773f989476b74]],[[0351beaedabd5bac54f3ac25bdcc0e09a399c429bce4b55f0aea01d7b8b5477c998623aa192462548aa5c27457f05d3e43e7ce97d28cad507275014f6230bae95262fd4c6193,0cdf93e23e63e7ac345d1e36a5dff20ce49e3159b2fac48eec72c16fbdfd149537346e5744007397e3989b7fffd36f0838cf219076a6ae2d9bf01cac129aecd80de8963b43ab],[0af539a7c68a0500854ca45a13084da3f676d28b35b6fb798b31b17beb22ff4effa15f3f3563a656bb0325ac6154fad9d6a2ec8d9f4969d33e7decb6f061eb6efa23b439a406,0a66ef075189866b4b6a8071700555732e06ed7b9f1a9b0e4ddf2d4a1956fb830d2c95229b32e5f6d05476f9384e449281696c41c385c0d721492c58b1710a69cf848bfac78a]]]],[[[[0524686bb8b0d77f0312046534f47228143428c55f1a3d095f2a53330aaff7acdb529c714ff5b60b5596bf57244acf01b998e7321f7c248eb5f6f4cdcc25f3e9e8783fd7b173,061fdc6da52ac2f44201299aa16a77b728764e414d86e143c6ad7466914ab79d30543757a8aa9a7a2b4f1dd4b68d2076ba2b4d9ff37a63b02608f046f1e8f5a0757ed9f88590],[0352ffda51148a6a3947e986845c78cc45dc2dbe3de5482635f5b7ed1ad60544a2764712879695c04e477f135f219757ae197139e2c211ef06338c45e55a146b7863472aab1f,013fb70d4348ed2f26fd61e3e4596ba4c78d2df29ef47e58fd83077b0a0beaee16ca81cdf2106f30edad91c3bef3674d2534c6f08460fcb4ca0c1d2d4ca680ee5de18800b219]],[[0c5b54db91937fffe1be693d35369a0ef69c7dfb2e3af7210f6227552aefb202c5f106143b04b5a442a3a72a792675d7f85a1a1e65c4f5cd4b97e53ddf2318da9a0c71e280c2,0caae2b1dd207b2eea3fd7f4cdf6278cce3042bf178782b22c52c4ef1903d29c6a63ed8c1158b96899ff49621a3693e6407d78094bd364812f6f6d3ca395ab970d86fd29e07d],[02c8222ff632dcb3c6b4ec14bbcdfefb56caa095cdb15d90462a9d154dce314f4d35a045202bd3fa1a3423205b4eab8319f1b70439dfc1426224d2faaee81ae655a67721b083,084864f3c91c64520fdb2403407c80a73bf1b207f763e2a7705b292bdeac8fbc7170f01f21955185016af0afc01dcf5b5a44693ece94500598001964bdf1d20c0f01ec24bdca]]],[[[07cb57560dee2c6a6f98762f31b03aea08c31bdcbb8ffdca35dd87ddacc32962b38fc11518206ef249fb5d34004c448555eef209d8fb3c5385e2a263035ac3607f98a4c025b8,07cd6c60ad40201b7383373e8c1cf86c6e4b9ea36711f3ebb76a7a3b55effecda81cd07fb0b39bcd5350ad3802f5a683d90ea51503835cde822c8a9f02810d56a8fbfaabe584],[0d64c1b1b8604816a1907817236654f8098a9b03c22db0ebe2c115099eee33e32f8a036e792d97c11f44d41d41aa06d6556b82dcdf8384da26d2515251c26ed3d3aca3c5e011,037f3cc48aa025cf58a5ef102bdb900b65dc306720a18f9a54e5a543c07cf269fd1901fe692028d763d50ff0a6e66e118dac1ac1dc0c07307f0f4c469d8dcdd67670399a9183]],[[0e09a6080d5a78e9873d578dbcd7273d53c6cf6d5f0ba32be7884249648964940ba9d76099ba3cab90bd1d0247d9f7a688d360a402e5c3f9dbdbac0fdfa4ba516cddcf320049,03952802c1ccf17d5e3e8141ddce97dc8941f4c7922802a8d76777310b9f2dc21345c8630e6a333185d98b7a68c3c7894a4448c1a3548845ccd9fcdee95bb09dda4003441982],[0dcdad0acd4c40ad688ace0f30de2577a81a3979f0d24cb392cb86291a4e26cccfec291f4ecfbb0ac030156221ecf9b0dcab439ba67608d66c9ae6a677fc7dae6dda13628077,0a5d969c2e98ae8f5bd4b50546b458e08e4058c9bbf57e3a8cc64036053245cb405aaff9fd6a1f31da92f4a6e47ac83e6b3bc9c38ef1daba647e6815bc42f17d043f6fc065a4]]]],[[[[0cc74b8790850d882500ada40b210612b1c84c23df41f2163ebdf27ace42743f7412d60e7213fe02c1b931da234eb4ce2a4064e6ebd11fa7bb7e7da2628e204e3e824b088931,0f4c75a45653c333b820da2dd0cca90a42f9d6b3bc8040c13192ea72f6c9de2e719159dd122894a2f48864cd49a47fb61e39d81c44ba74aa48fbfb72f7ead9fe40d21daeb059],[02e158122b5e86312bd85c3a0969cb06b38a2d23b1cbcfe45628245926c4409bc7e931d6e3e5b66b207835fa09ffe4f3ddeb3ac09cbf0c306f9cf45e10058e83c571790ee18c,0954e6a7e1579859d7b7f826c26ddd2250f33645f56feea6b189d1097f646dd169d6f57203764c89438ff57a50f65fbb297ca51f6dcc9d3bca0df4739c892b05db7ea74bd810]],[[04c51a10e4724c26a9eb33ecdd48c4a839cb7fe66d05f7c9c214b7f732ae97320f903423ed948b15074d54cba24dde8647b8f270885213a8d292e279b8fb9da0fe9f84ac9261,087fb2fae33ea05a9fafdc384905ae85b008b099e1f7d2e4f4149b90de0e0426d95f1f0ef574ff84143932d3dfed8742cfb6cb3c151da043fad974aca3063c46f6faf60ad49a],[0de72de2e18ecfb950b4bc9da393e2ab4f950b6f8dd1851ed9022ba468e42dd20482575de461a2bb0cbe8b844e05c5e415122560b9f4f3c9817343c5a730339e8056edaa26c0,0cc89ad758d1016680042b20b526e626c38fa448cab7341a7514af457ae64183bbb87dc418b37d5f730c462733b13e1a38d9facaf87c7ac37ea49589e8a32ad7edc3172ff548]]],[[[07447dd77cb26ae6e47d0b1d1c4738a5cc5a755a7137286f05eaf9d8513beaf67122d4804bc7e0e8bd73a8304694a12e443a2f92eca14bd085c5387dadf2eff57deb880a2677,02b0c4757f1dcb8f28ecb8647d130df49d53ac791695cb9fe82a87e7c799ce47ea19a05e6633b6123569e76576e8cd1d895481c4f5ecbd18a0f6c2d3538c6ef6b833db8c0a63],[000f52f135765baa9e07dd791b49c92589fc1b08a6d1e66d3791bb8b68277cf480669af6c19a6644b9e77cc7c7708698bab5aca1dd84beb9930ffa1e57ed2f11b60ab86acd3f,04849cbf10bc9901e8ed092b883050ffe1a4dab565c5692c5b94b6957046bf2f2b0e32a76d215e621e10ca6f9e59aa942677ca6509d1e5e7053d0be9a7c57de67e87184e457f]],[[070e802de24fdb36d115db69b7dd0df2671775a2082659602ddb9f3c73f72c136e7db1bdcc321e5c7406e39925c5f417a774270cec483ca42403aa1218d3ed66c6413a775b5d,03372b5d8a92fbd67267c3a396718448e1e921dbf47608c5cfa764c2788356ea281127a6a8294d7d51a6e1287a65b12860db19829742575281630ddcb1a6102c3e905f9f8b3a],[04b34b53316686b61e07d164e719f5132f52ab1d548daa540e5f42af9ee8f643bf37586bb21781703c4a292b63a77c8db74b6e512b9a397cf938566ce503e2c61d6a78aab8da,03b6d01ca2b93d6c3fa351f825347f29f26826d757bd4020e7d7092089544fc2aca206e6bb4a081573d0027dd55608450c3071f21d58713a73b94785db0c35db2f125ad2813c]]]]]

ECP8 = ([[[04abe9d9c5e01552370a906ce89dded8852f1439125019af89dab4d6a1001979b97db659bdc9905ba0927a56130b84ae96c131427861bdfa59944b3e7be849140d4d82a52a09,094080455f559a1f2ace89cf92a19782d9f5deb30fb87889d80a5234a5bef2d4103d1e29a9632612d5f99900a260b537d1a7a797731a747f7d3874c5c4e18dbeadbffb84079c],[051bf0057a9fc74a20f72ee900bd725ec93c6ef4a635371bce50ac3551264921226d378ab72c54578a51bb1e858bd2d9e9958678a524de530339607292844ec19065e8f6b7d0,0f0c73aaf87d2ba03572ee7d52124a5c44c6d676fd5d7ff1e0825b799b5dd3e156d86a7de79abd5f4213303043f6e35b7e3835edb5aa9c323d13522e80501b5375bfcd0638c2]],[[0361284fdc5464a524266d5926b8f11c648db4b9f915e4af19f6044bc3f293fd54f7e7f61b1f39259f2af87bca8fd1a3d6303a0d7be12667c61f0981ecfea83001cb2822155a,0dcd6fc0b9fe6f0eacbdcde49f04b65c465f96e960ac32b71c4617bb1028972678b83d1fd739e2737ef0c7476f7c53de8983db10b8d25d5f06d8d59dcb70b6237f25ca39fc1f],[0fb16603f398922d16e37fd1e35b97eedb4f886c5b1217a4020f2d466e18cf778bae172338f8b37e502142e2a8276b8e8979f00f6c0a3d4d71baa6bae30b316ce54aa8cf32db,079883c66639461f38f4141a5898b55584325c4bd4e776d9fff4ba1484238bae7bed684d5106bd476e8a84a31593ea81474f968828fc6d9a7f58b4c59b393375b93ac5e96e7f]]],[[[09ec1ef4430829a744961cf5249591fc850dd0d4fc80872231bfe61ad643c4af30911b9fd1a69e0455ce6d85e90eedf2908eb2ecdfc0adc3cfa8645b5dacf9bcf2cc96a1ae41,07d6d8eaee4869a8c954de4b06df55b4be2baa8bccb57c698e5634356a020495223d998b902fbc857b34f6814fcfdd85d999b67dd9256e98cd7fe7af3f50c92059811fba5da8],[07c362f945e70e76c8ab46d10b1c393a925f80dc732685e62fbd93be0b9d5471d638befed4f17e51b60ba4758c262948339b2176ead1fb66bef447e8e53054d16d52a3d373af,0496d37ce54993494f464b7f65bcd9c873a4214bf2b7d842ea4769a35bd41308ee781e9e9c3cb0e054c8682d50e63a4cfec075ce798873b96288dd20b8ffe7f6c00efe319eae]],[[01e7d682b611beb177c0a67814c150300f9cdd7aa8357a21d0df90f404392d4e9dccbdbbbed3d8140b3d4e024aa050cb6bb8fd97f5ff41bd046154c75035b0c15fc935b73f58,0eb78af1fc4b63b8fc58d1c153d4246fb46c9ad1aee8399874db8f7a940001c02c8ed31ed1dcbd8b6144b68cdcc4100db87b84005a4b78c1d98e99cde75e97d56343fb1b3a7c],[09053d605197dbfe26c71a64a005f13b566d5bc242726571f5797390b8a8a8312c651fc9a91710888af9d60c620df78bcda9538b147331d65d66f7cdf0e089a18920d526038e,06295027856bfc0889dab1447a56ee8e5e5b7fea06490a81b436322521b9c101f6d711c67ce81bbd15c38ebbca20ea879be7179ca5e39de0fa8ce2d029ad250d1acc9a693156]]])
ECP8inf = Infinity

OCT = e02ba06c51fd988fccbed9e98bb958e5bf099bd8bc7d7d37860bd3a307d084fd0698344be17a6f3e4216947f11360bf4

HEX = 92c0787b9a5b55c402280020b9791d12f0ff84ee2479354083c2b218149e9017
