BIG = 7a4b5674d6e7671b87b663d15ee3f99fe2af57e9985c2c3206b4deac57e2992569bb8617db02b320a65d00824997a021772a7d5fac0bb83ca2b05b995582bc1f
BIGraw = (2b05b995582bc1f,2a7d5fac0bb83ca,d00824997a02177,8617db02b320a65,eac57e2992569bb,e9985c2c3206b4d,15ee3f99fe2af57,d6e7671b87b663d,7a4b5674)

DBIG = 37adf12b66a60adcfb7e25cc0a176f3cdd3b8d124b83ccd660888ccec76a21ac08c87cc72dd53a26c4331135c6dd6e2f3d447e24782b7e50bf9a294fae6bf007dd1a33c880bebc1d709cf2acca4be0610c84359b6bd8369699281f41774b8f16e790ad48122c3a055672d0ca386bc6e3af8db306b5cf3398f0f952a4ab0aa688

FP = 7a4b5674d6e7671b87b663d15ee3f99fe2af57e9985c2c3206b4deac57e2992569bb8617db02b320a65d00824997a021772a7d5fac0bb83ca2b05b995582bc1f
FPraw = (911f9d125128721,8a46f21d0b13abb,85679df695062e0,8658dc8a2249981,825a80d5e66244,2fc0ef88ff05d30,784718d97031d36,6e8c986759f01d2,90f5a840)

FP2 = [7a4b5674d6e7671b87b663d15ee3f99fe2af57e9985c2c3206b4deac57e2992569bb8617db02b320a65d00824997a021772a7d5fac0bb83ca2b05b995582bc1f,748defaecd22da8d1e7dfb74ad85074f3948f3debf6f4f2efbb67508179b423f7a7bac72122c580319c5835ac84685eef2da457db5c59ebd7e9aaf6c23ee8878]
FP2raw = [(911f9d125128721,8a46f21d0b13abb,85679df695062e0,8658dc8a2249981,825a80d5e66244,2fc0ef88ff05d30,784718d97031d36,6e8c986759f01d2,90f5a840),(83bfeaa7c7c798d,1070e32f54c109f,99ffc2a9355895,da25fe1c50f7277,f8ff870e30c032f,a8461eb37c05cd,c82495c511b82cd,dd1cd87f37e4a3,215bf3c2)]

FP4 = [[7a4b5674d6e7671b87b663d15ee3f99fe2af57e9985c2c3206b4deac57e2992569bb8617db02b320a65d00824997a021772a7d5fac0bb83ca2b05b995582bc1f,748defaecd22da8d1e7dfb74ad85074f3948f3debf6f4f2efbb67508179b423f7a7bac72122c580319c5835ac84685eef2da457db5c59ebd7e9aaf6c23ee8878],[7a78f2a3f1247fbce6678b05a2fc757edb5256c1c4b1f33125f68103d046db0ac8715a57754a629b124ea257329023ca6c20d5b5efdc6fbb0c7e792b9cbe7dc9,9dbc4ae952d2d572339ee01f36156d9fbdcb5477bbac6f1f29412d67d80e7212cae23c964e46dd3bb98455946adca55bf8a6c03c06951c0eb09cc021d8f3dee9]]
FP4raw = [[(911f9d125128721,8a46f21d0b13abb,85679df695062e0,8658dc8a2249981,825a80d5e66244,2fc0ef88ff05d30,784718d97031d36,6e8c986759f01d2,90f5a840),(83bfeaa7c7c798d,1070e32f54c109f,99ffc2a9355895,da25fe1c50f7277,f8ff870e30c032f,a8461eb37c05cd,c82495c511b82cd,dd1cd87f37e4a3,215bf3c2)],[(95a318a5917b6d4,f715e4e58fd483f,7d5a301628f484d,e4ba052cce1224f,ad68c5993703834,40a6e4e8d9e8ae,65f6983f0223929,e72b6ed6c12f39f,a8ba00c9),(dfa7b852cd7fe34,8c9b0f93a8a08ae,2258e277ba3e1ec,689189b12c9be63,e0c04e7547e8591,9f4a9b5d706a300,aba4df0809bb992,3e27bd974478451,53a981f6)]]

FP12 = [[[7a4b5674d6e7671b87b663d15ee3f99fe2af57e9985c2c3206b4deac57e2992569bb8617db02b320a65d00824997a021772a7d5fac0bb83ca2b05b995582bc1f,748defaecd22da8d1e7dfb74ad85074f3948f3debf6f4f2efbb67508179b423f7a7bac72122c580319c5835ac84685eef2da457db5c59ebd7e9aaf6c23ee8878],[7a78f2a3f1247fbce6678b05a2fc757edb5256c1c4b1f33125f68103d046db0ac8715a57754a629b124ea257329023ca6c20d5b5efdc6fbb0c7e792b9cbe7dc9,9dbc4ae952d2d572339ee01f36156d9fbdcb5477bbac6f1f29412d67d80e7212cae23c964e46dd3bb98455946adca55bf8a6c03c06951c0eb09cc021d8f3dee9]],[[443111c659b6c8af818aef544a357be3c342b4b6051519b4105a32ba508a65f2aaa50591d0a13a88c431172cc172420091ba5d58e180fc1920124c96f668d6c3,1d29e5e56ff240ead3b7b8a873a750ab3197d3adbd927dc80b599c82271dc75eaf8ecda96346a49311005da3952107edcf1c750f2ec805a526b6847d3f87aaca],[3b3431aad7da7de7df1745d6734593bb9e4d506c93124f73a1775be6fbb885a59ec6406632d7aa9b32cac70968d28819b747956923457ad8b933538153fe00d4,189674f5b9b8b255b52f717b29d9e513ccb484c1dff632661f47d3e865406602f9e9db7c951093ebd6dd539abd7a9a679a04375e872159b7a8c325d9d8ce238a]],[[18b648070b29f115d5b63e57bc0c65f8ec9c6f744ba0099f02d49bb4e900a7de926fdd3253c65f9e28216f58b3f453f385c041a8eba41e97369a03b9bd2757db,22e1f9335e37e34cb4341fa4aeb1f545c4b720378cfa9208ec1700e0df063cbc8ae3c9e1096e8ab2be2b20ec3252e2bca96df3133ae65caade85dcaad5048d28],[300998a893b697800def396373895161406514b02449f4ef79c6499a30eddb15043758faa98ab4b512fbed190f5d825637a1c68132cc885a20a49c020fe14479,d25c67efad175c4a2ed629527b681d6d3d5506e7e8b4b0d32a5350c35dba15510082aec2c6b47faa929879bb85397888e6ae1f78ff5ac5e55d17a366fe4e6fe0]]]

ECP = (7705256614620e59fde413835c38c259b8191372e435567114ef93c3e2d4dd10eaa737d78a547b04461d72e275f1d5a96043c4bf4a814fe85d08dffdab2d3b13,185f35128ffc9f90429d28035c6565854dd617903c782b9c610c1adad6e5143475d6ee8aac7163e07d13a98006ddd3f55b28ac36bddd00f8bbc7bb73cf602c5e)
ECPxyz = (7705256614620e59fde413835c38c259b8191372e435567114ef93c3e2d4dd10eaa737d78a547b04461d72e275f1d5a96043c4bf4a814fe85d08dffdab2d3b13,185f35128ffc9f90429d28035c6565854dd617903c782b9c610c1adad6e5143475d6ee8aac7163e07d13a98006ddd3f55b28ac36bddd00f8bbc7bb73cf602c5e,00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001)
ECPraw = (7705256614620e59fde413835c38c259b8191372e435567114ef93c3e2d4dd10eaa737d78a547b04461d72e275f1d5a96043c4bf4a814fe85d08dffdab2d3b13,185f35128ffc9f90429d28035c6565854dd617903c782b9c610c1adad6e5143475d6ee8aac7163e07d13a98006ddd3f55b28ac36bddd00f8bbc7bb73cf602c5e,00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001)
ECPinf = Infinity
ECPinfxyz = Infinity
ECPinfraw = (00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000,00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001,00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)

ECP2 = ([13f4b225732cbf7c8f28da29aeb283cccf6809e9b8ae9c84b05feb010ade6ce958c187fc38d9d4514e337b82b1cf4c07e270028df9296cc25afb0cb2cbd838fb,b6f6f3847da81474ef1230ec77656c6a750d7085aad61217b9c60072f21dcda2d5237011c94bbee6e0feecdb2617c315e1ce640806fe7f65062a79303bbc20cb],[bbad265721310b6673accb41e55957e1d00b93a685da29777205687e141167b4cc00bbc852587333c11aa5439b2d056e4cbefcacf4a384703e49a80db73449bb,963b3eacf15dbc1096b1a8ec5df0c0660865eb8d16f2b2d572e9d44c2a7531cd90ab33dca81113998e998e07c4d4bc3f77c5e7b5552c7d8d444c85aae56742c0])
ECP2xyz = ([13f4b225732cbf7c8f28da29aeb283cccf6809e9b8ae9c84b05feb010ade6ce958c187fc38d9d4514e337b82b1cf4c07e270028df9296cc25afb0cb2cbd838fb,b6f6f3847da81474ef1230ec77656c6a750d7085aad61217b9c60072f21dcda2d5237011c94bbee6e0feecdb2617c315e1ce640806fe7f65062a79303bbc20cb],[bbad265721310b6673accb41e55957e1d00b93a685da29777205687e141167b4cc00bbc852587333c11aa5439b2d056e4cbefcacf4a384703e49a80db73449bb,963b3eacf15dbc1096b1a8ec5df0c0660865eb8d16f2b2d572e9d44c2a7531cd90ab33dca81113998e998e07c4d4bc3f77c5e7b5552c7d8d444c85aae56742c0],[00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001,00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000])
ECP2inf = Infinity
ECP2infxyz = Infinity

OCT = 7705256614620e59fde413835c38c259b8191372e435567114ef93c3e2d4dd10eaa737d78a547b04461d72e275f1d5a96043c4bf4a814fe85d08dffdab2d3b13

HEX = 7705256614620e59fde413835c38c259b8191372e435567114ef93c3e2d4dd10
