blob: d5d3affd5c72de197c6d9c29b81acf4e33ce5836 [file] [log] [blame]
# Choice: BLS24, Type: WEIERSTRASS
# Modulus:=0x555c007803ccc5ba839aec6e803f2e77e4c1ba825079733568e09e1f244061873220df068a328b6f1c5cbdb6a642ffe2e82d30daf844c1674a06152b;
# A:= 0; B:=19;
# Frobenius action constants
FP2fr1 = 48334ED70EAEF411D45B1923F12DACDC8A306C5FE3D478DB139280643F9704C309AEB8044BCD482662AA30E809FB98D4DC737CB534E024CEA997626B48334ED70EAEF411D45B1923F12DACDC8A306C5FE3D478DB139280643F9704C309AEB8044BCD482662AA30E809FB98D4DC737CB534E024CEA997626B
FP2fr2 = 177AF028D2010AC9DFC9D3DC747E65B1BA2E475C6717CCC2067C183658917D54CEB10FA3D6FA07CC98502155C2E28F3CF2EBE78A5B8A7DD52725D9DE177AF028D2010AC9DFC9D3DC747E65B1BA2E475C6717CCC2067C183658917D54CEB10FA3D6FA07CC98502155C2E28F3CF2EBE78A5B8A7DD52725D9DE
FP2fr3 = 446B196F78603CE6120ACBE889CEA3B3147263B84775378B92BD67DD11AAD789227FA4B9EE14152DFDEA14C083FE658DC246372BE675254400783C0F446B196F78603CE6120ACBE889CEA3B3147263B84775378B92BD67DD11AAD789227FA4B9EE14152DFDEA14C083FE658DC246372BE675254400783C0F
#test1
ECP41 = 3C9C6FF32D02B6EC4159246C4DE0D9125DED9BEC1E4C42B75653124AE9734FD512C6F34B85C174CA500698D815CA89A89687F28490DF5AF8BC8F99672ADB5133DAB27C82A6768D4773B8B675B0CC8BF80B2D845CB5512913C7F70906CE5EC61FF665AE02A1AA4C5D4D76F71FCED6CE00B0DFE54A990979FE3B7ACEF228D309B6D61A138C8838772D0CC8E00D14DE0A1A88540260391D7A7A081E4DD1D13C997780C1270A16F4D68B7CC13F638EE6A80B5CDACDE13E9ADCD1FB09F474261095AD0065CAD72857DA1698CE600BBB002749C5F85E20A7C17BBAA15D5643D46330A8310D4C8563A1EE78063E06237A16BEBA32846F4F7CF947A3B28A9899D1FA4DB91744BFDC9B33D01FEC82ABB2D95D4DF2EC44E7D08B37E429C941C257D1F2504AD18C8CDF9E9D4F72B0D097F243525A4F9223ABE9C63709E03DAB826A0A6D2F4120C3FB6B9673F1D0C69158E0E85DC60C964FCAC5DF6036250FD67AF8D11B13ACC405B202E5F1E3D41911D85A54D0D2FAED24E17F7B383EED0EB6D5D49C624B3EA05344F859310962AF5E134F984029A3E98B668B3D21369FFBB01BB6575EE218AE26A34B3F3F245D3DFFF19BF9C85BBF4DD91979FF3BA70F09AF0BDC4BD50C1EC92E3E1056DAF9D74B5F1AD7B5F9C57D7635D8765CC5CC3CD761B5AF29F1EADA
ECP42 = 506F15E54F54C85AE211E0BA69C0601A09FB44360B5C919F829F7B8A13CCED1972D1BB44119203C4A9FAA11AC8221349DE3F945894B73A0087D266353A233B10D947420F2DE3EAB9BFD9E9DF2A60FEBBB0FD1C405989FB77CBAEFCC71248E6CE90A20E6F7FEF7CBC0F2B221C6C44737324A51C41AD3D80B037DA0F72F3D952CDD8C214F28DF185FB3BB4A8C1F20F250663BAF27C1C5FC16888334C90353CE328DA84C14D7E6EE6354F82FE632A70007FC1E64E10479E1EAAF0A9C46185CFECC30B88278DF109DDE1E9F79FB3C099BAA5597B1F38FD0DAE1E7B4D04986E8B73726F62D5DFF9D9ACF067B41D5B7E151FBE1950B11B582DE9C23DCF457B9718107C7AABB2596E17D7C256855A19D1BF3F143919AD58DEDF4DA7DFB063D7766FFACD88AD56EE7C992B870886DDB8035657FC7318BFCF82A9F9A7FB3B5208A8A145BA9404C12C7957F0DE9857879BAB1FF58BAFD569211299ED252FF868C736114EA89A032418EA2C0184399B2EE0D5B071BACE7C1E90E08CA2DBFD719EE2AC820104882C1B5224246E99CC0D52FFC2E0DE1339EA3DF3729F239AB83B7E93B6F3D97D5FD29A1D3E6D296CE41AB62A49A99282FB14059A02E2219421FC4B5AA002DC6757772F60499221DC2AC025F965DCFE33A05F271FEE8600F166D5A4587299F8B5
BIGscalar1 = 14064F745BDAC47E4B22F172CDD3F5F3B1AA778478D4D5DD2546D488ABC79874F2F86870CA4F40596CD5737EF7456462F3CDA0AF74EE80391F95D433
BIGscalar2 = 0077D1E537746270E7B59154D7070CFAC1B25FAF69058FE1C68A188A639ECDA09C4133D2F9D03952A5BBE2BC65120B7E9B0F85EFC85B71833CE86526
BIGscalar3 = 0289E9E93055F37C77DEF03E229215FD7A89B330FD0A132907FC4DB94734BACDD7908BEB3C61621358CF026C0ED82ADF8408E936CEC4501B1A07F204
BIGscalar4 = 03405501C6B4B51AFB7E5C4245E94DCCB3783E6646A3D971392B21EB12C05F5AA8669F8B6A6FF58A0E316EDC49A8BD8EF09F0AAD52A4ACCFE6EC52C2
BIGscalar5 = 325989E4E23A92049EF364BBA390C614641F495B25F39C1897003BCCA3DAB8640310C725B4714ACCE2C96BF7959D89C68E7F1C22EDE965137D8EE306
BIGscalar6 = 2C0241A0F0D49EB5252D2DC3FB3AAC602D11E7686097C5935E412DE05FD1394054EB30AFC6E794D2A081F4B0420A8DA6BF44D282EB8320911382DBC2
BIGscalar7 = 02C097D935AC90CE807A5994F3DCE6E080CA9278BE61B04443CB3FE809C6E08381546FF9829391246AB2CC48A287C5247173AD6F9672594E10D35A6A
BIGscalar8 = 12C7FD11694ED39C087CED48C5F6B6D541803126BB9F2F23426A2157E85540491C8102D2385A46B9C381E3A611B490893E6729B6F19D5F09ED808468
ECP4sum = 3A1A774FD683245B1CA5CED3ABD4D70B9E17F83D6C482E30EFFEDBA3D53AF76FE607CA9C76A7F7E6BDDA1C7EB652A02EB4BBD2C9641EBEFC7227A3A92CB360714066247BE48BF4D41AA59ABDBCFBD3E9E6B745E68BAAF31B5163B39542557A83CF3CB22E6BBE4FECB7894C0C76CCCDC37A695542680086503464A0EABB92FF48AA4F7F8C224FC8E45593179AA3BEC56B5AE8C362FFCC7F3D59616DE901B1441298133F51A156A2E812602B8A303C4FD2D5591B1C1E0E3D2538170F8519B63F9522E5E2ED64599DE305B9E0391F254FD09AB2F4A52A1A87DFB0168C907F2606B27885376988DD4983883647923B842B5006B4104B9D781B24C5E500863327FFDD1954AE3BD00B68DC3670FBCC97162F7CC5B5E0FE09E60FB54449D2202F6542D388E16EA8E900A9577C5E457F25ABA31A93345C99932607171551C1AB399C743EC66B25D7AC9402BBB9992BA69069F453246E153B8EEC05C50D230F90FBA8B0B15C92ACEFC60773121D860C3F1BCA1E3F80C68E5E5EFECEFD662F360442AE4C83F404CF3EEA49FCBCCC5EAE209429FE86A1AA6F3C363A87CF9AE414637C234BA761DE4A734C9A94665D95942109CE2D5A9220CE6DDA36C6CC53C34D50B6DE7F1477B4FFB8BDF6553DE886199F6A0D0EA4139CC98D80D27EFDCC5D75545681B290
ECP4neg = 3C9C6FF32D02B6EC4159246C4DE0D9125DED9BEC1E4C42B75653124AE9734FD512C6F34B85C174CA500698D815CA89A89687F28490DF5AF8BC8F99672ADB5133DAB27C82A6768D4773B8B675B0CC8BF80B2D845CB5512913C7F70906CE5EC61FF665AE02A1AA4C5D4D76F71FCED6CE00B0DFE54A990979FE3B7ACEF228D309B6D61A138C8838772D0CC8E00D14DE0A1A88540260391D7A7A081E4DD1D13C997780C1270A16F4D68B7CC13F638EE6A80B5CDACDE13E9ADCD1FB09F474261095AD0065CAD72857DA1698CE600BBB002749C5F85E20A7C17BBAA15D5643D46330A8310D4C8563A1EE78063E06237A16BEBA22D7912886D37E16D11053D4AE44E0BECD7CFAA5B545A3157C5DF26C4AE3139445DBF735FEFAA745531AFB5ED450AF9816A0A3FB59A771F499357D391209A62871A919D0BD63E28E4293AC0DDA548B412FB577C9D26CAC4E5DAF08A649C318F9F3E2C0A93CFC8791966C84EA17121D2E343F0F64641431573C4A281DAEFBF2BF96760AEF0506EF8AD60AE4ADB41727F6C88D5926CB0F582482C2CBB6F1F261CB32D1572B6921C942EC7D1524A0E5DF4E9BDF71E0161CDC1AC5CCD41E89D290AF326614FDE586137346CA67591D0B92005B122376DB45E52F3ED370976662F839300D276C8B67649E20E30BB820142A51
ECP4sub = 3E64B8376C9BF2999334EF7D587240BE07717F49D7B8D19A41107DC2D1E98ABB00EA4F5F30EA7240671DD27031C5416E3BF0D84B6361771F10EFC11D1B8E8AC696E4E7F59929F17173F3EB5A17355541BEEFA402FF7F7337EAB0438CE76F3994E0A95D06C9ACFE7180136E360F39EA0562200F1E8132638735BBEC7C3E555D147EF77CF52AD34F670A30007D05602DA2CB80EEE24135596DF8579BAF7CCF14A48E4F1101ADA67E0C579B0F54CD990E9D1C62C0CA33748A61076F825E0C56ADCCB091D30C406E0321B47957215D50E0695B45FA4D085607D27131FD2EFFD32F609D1696112BECA6D7986BB6FCFF543986324B2A009E7A578B3C73B87F476435B48F509BC7DDB05168E714D83B33E1B9BFF7EB25A69D481157CB8A39BF4D1F1E7F3CA92A58CDF3666B66ED6ED454FF4C29BD9F05D29B189FA3BA85729DC800F6D5FCC4BE962AAE08D749710FC263F81B6A09A226FD4BEBFC8D2E52CC574DFB889640A8452C6A16D26B2B0E23FA809E7E95779D6D303DEE90BE67B277FCFF84484219BC3A2C9FC35CC6B655C61AB063EA5D27A61997752C42AC8E09FEBA728D3224276A15272A9E19A0E509C828EB877826847697ABCD2D8E49D26C73312764568E32F274CBAF5B9F22515874B0727CD164EDD89BD50797E9F16003A6C00404E6C3
ECP4frob = 3AD4CB30CFF968BA426FC6E4FD90DEB887C3F7443DD6C66C8B5E3F6D11000F9CCEDF7CB3464EDDEE61E78274456BFB04530992709A5C033975E4FEDB18642949A9E25C81D9DFA0CC3D7E6FEA71E0FC7F2BF9647FA4AA8094DEE4074718DA6C3B95DC52E2212C9ABAE247427B4F71B850AF66405D8223CECB3E9ADCD1FB09F474261095AD0065CAD72857DA1698CE600BBB002749C5F85E20A7C17BBAA15D5643D46330A8310D4C8563A1EE78063E06237A16BEBA3B7ACEF228D309B6D61A138C8838772D0CC8E00D14DE0A1A88540260391D7A7A081E4DD1D13C997780C1270A16F4D68B7CC13F638EE6A80B5CDACDE115FAC93A0FE73944177DEBF17AF2ADEA4F8331436CC98B8BDFB4EDBAA97AA842D0D47CD2E58789683E3A54497EF5CFB53F4CC62C1CEC967744868ECD47B920EA18E203C5C9B36D30B0839D49CF6DCA0E2F17A0DE4A88AC9E5D69637A51BB3EB1843B30F033F83001E264A42030ECB89D0D585D4051F5292018129F7D3CE11F52446DB4F7CE1D1FE2AC55099EFF384FDB1F3371DA06B5438C0AECE32D136BF1223B7282C40880DC51116C4092EDBFD3E122FC1DFD3C0829150AC728C98AC9209BB04DAD4BC38B49DBBC3C8A45CA5902C77663F1723243A0F2BA8AD00547A0927FF0302F9B9B46D3E094CF27456A467388
ECP4dbl = 02FECCB50723BD4C04549598C96AA9D3E0A7012329542F4275DD0E2F715EB83AA36762A05A2AAFA13B50C30FFA68DD9DDD412B1E699CE9E4A4AAF1F802DDA1DEE344E1AD27C5DC31404E7E17A06F7A5C4341AEBE08D9A0E1167A7CC5DCBDEA0111132CC08C6E686B5811CEBB8CF78DBF4C1E0FD99EA2D661031DB08E81B2F89AC301E01795A2FE8CA08D981AD9124D7E4E5A3143826CFD18E8884D336B7A577829E51E0D53C5363DEE97FAA60449C72146886B7E4BA7EADB1C8015BA6B1C22E49F8ECC4E86DEF2EDAD4C47774246C9E320C4E048A6091DCD69ED6E9E595065B1DDC5C9190792DA5317ED4BF38B129FFE4275B33C502ADD3028DE2D384A42E6E241B8419387FA4EA3A4A2166A84590A968072B3507329C06C6A7E7BEAFEBF40B0E3B3FE4F4E4425E620F40A34422CE19269C4BCA13ADB6847257C91E27207E778AF3BA6727998898B4004ED03F8BBFC67D6104AC1E14C4BADA89983215BB8E7E9FED585E66DB5B81142C36CFF5E472490103FCC95EC06865C6835CD5D18BD9ED9F5F8B39AE411E8D496AB7B295806E307DDC579E7ACFCB5BAC6C29480FF96A1FD8468043D3CE01DB23E667E16CF3471AD9F9F935E51EEC9BB3D98105C4FDCA94AAAB42436739F83C446BEAB100C1785F65A6BADB6470BED3CDFDEC365234E719B
ECP4mul = 10821D12BF150C94669C185DD6DC7C8B686A88A454DB758851F8D696D1E7231D270825F23630AB2A6F9268794609BBDC3AFDA7C5300AF8F8FB4E16A31001771BF80EA560980873E09DC075F9C320624A102399433D46A027E86C79F8E5F6B9361EB3D06234BA4BB252D98137A5946FCC48D145B3596DD5C0115B2CAE8263C2D3AB94BA148779F31109898C6A1D159587D23BF8B3E16FD67FE6EB0B5D36BD4DB27A6A0DD85B44C3443C75976868BD38DDE56D08CE2EC84458BC8E9BFD37E5289933992370F16FC5DB75CD0055EECAA0F34CC965A4EAF4E4AC6F4DFBF3C31B4AEAB32DBE5C248FDCFCF5AF1F193786D9F51C5377DFDE3ACEBDDB299120C7B817593EDD4E2518072379FDEDEBB197ADA72CA9340708352E162AE3BD56B14FBB612E453825F8A918240BB905FD034C7C66C1ADAADF753DD668991D1A31C5E203EDFC4F6033E2F36F4FE02741937D20EBF1E4209CC47AB6E2FEE9CA1144309E0F63B669F5233DAA26084C05B27FE635B613C82C03696214AABEE2B4CB2B62E45F45F6EE859AA5F46F55D25831DCDEC379002DA27ED6DA840900684E6E58492DC8468B4D59F38354EE3BF312393BCBD1FDB6062472C40FA2AB3E0179667CCC6FF1E129242ADCF2D79A594546B973EF7559787FA8244BA009FB7ED9031DB30BB7D0CBC3
ECP4mul8 = 186A6244732932E42E7FE29B69DDB8F445A8CEE740F5C5AE3186485F148C49F474268D2C7F66003D5A3C26FEFB8908E1214185DA5FA7EC4CE126EFB71796F78C064592593F9BDEDFC38A9F7917BF39A2CB84ABA8DE5E267601575D8B9571A4E63D40F86E990B8C9ABE9C3E53D7A8005AB4DDC0448BB111ED2A83A3DE60468E459A7DC78249F4F5F1482071913DFB9C72E8E9E67B73E20B4BEBBEC45DA6E6A43B584D72A1789DC9881DEB13F9E85B5EF6534872C44CC67719DEE93995E18939CC95D7A5F4C49D837DB28C6A300C4FE240D997CA128D2D7B1C06C3E03057619F398BCDF441CE177E68C031A13DF99A44171E6955A67B01F06FBEE22AC3F4EB96CAAF46E0D37543BD70DA65736B4B9D6A81C28ACE70447801F5BF15706F9006B837DA0E3E674F431348B91092CC1C2E8201548ABB5FB690CC7D6F17B4135E30071C63772A0BB493D2C3C64B1055BDD1F5262FDE1F71D576608B2E8FBD337D9A528F0C6E1C8A3DDF8BBF4E16FCBF315E3BA2E83058ACD884DE6BDC71A17BAC041F5796138C536477198F34C5EF5EC46A1D895DA97BBF7E1435A3583222BAA9CF0F5471FC11E401DBD8C8C0BC420AD115B3522C7F61ED8A414B656774CA119504F73F1CE2F3421545446D8C8732DDA0EF2D427D76B9A6C6CBB8B918F1ADF9BA4D3772
ECP4wrong = 19E9936E90FB1471EF664DD3B432DEB1F0A0488520E50E645E8E7183CB9EFF7F3ABEDF76526289DBD22134C5D3398EF6C3643C3E7343AE52548F03FA497B90E77F3F71ECF0625FF981E6E4623A2D001D463B4AB579BF63CE07467731EEE3C17610263601D260895269CB3138EC7C2833DEE2BBE980558EBA277EA1838F10EC2400B43909533D69C824F65A962F040764C4BB274438FECF36B07DA0AB23D2ED87808425D14D0526BBD4EF5F6C309ABAA21F105B774E11F9A2DCCA9AA4824DC06685AC777A19F9115E4B0F4180CCF364101628041176E92EF3AC174E18AE35CBE0D3955517B6FC5DFCA74DF7A80806EDCB448F457A881A826BF4B343CEE9106F6F4BD49A0A6869F8DB3E2836A1239999276C04924F28561F2BEE70464022FDED122445E258B5F641EB8562C5993F8033D40EB3C0AE830E6F36BA0DC8C132E86A424CFCB104EC1126BE1DA0A537F84BB1E3FE1178853C7D807E9CDE4606DDB1087D7429127D5095D2D8433F77542F707003B323FF73ED775DDD8FDCA7F265D8549F9FFCC8C75A9F3A6C4B22283662C5C8BF5242B5F3D6AA4790710756DA89D0ED0A17D111F23E81CF1790B8CA4D965093BB62ED057A1F83801DC0537E0CFBFDAA5D5B85EF646C5D9B523E0321C8027346FA2451A0693A64570218E411EE63946AEF
ECP4set1 = 3C9C6FF32D02B6EC4159246C4DE0D9125DED9BEC1E4C42B75653124AE9734FD512C6F34B85C174CA500698D815CA89A89687F28490DF5AF8BC8F99672ADB5133DAB27C82A6768D4773B8B675B0CC8BF80B2D845CB5512913C7F70906CE5EC61FF665AE02A1AA4C5D4D76F71FCED6CE00B0DFE54A990979FE3B7ACEF228D309B6D61A138C8838772D0CC8E00D14DE0A1A88540260391D7A7A081E4DD1D13C997780C1270A16F4D68B7CC13F638EE6A80B5CDACDE13E9ADCD1FB09F474261095AD0065CAD72857DA1698CE600BBB002749C5F85E20A7C17BBAA15D5643D46330A8310D4C8563A1EE78063E06237A16BEBA22D7912886D37E16D11053D4AE44E0BECD7CFAA5B545A3157C5DF26C4AE3139445DBF735FEFAA745531AFB5ED450AF9816A0A3FB59A771F499357D391209A62871A919D0BD63E28E4293AC0DDA548B412FB577C9D26CAC4E5DAF08A649C318F9F3E2C0A93CFC8791966C84EA17121D2E343F0F64641431573C4A281DAEFBF2BF96760AEF0506EF8AD60AE4ADB41727F6C88D5926CB0F582482C2CBB6F1F261CB32D1572B6921C942EC7D1524A0E5DF4E9BDF71E0161CDC1AC5CCD41E89D290AF326614FDE586137346CA67591D0B92005B122376DB45E52F3ED370976662F839300D276C8B67649E20E30BB820142A51
ECP4set2 = 3C9C6FF32D02B6EC4159246C4DE0D9125DED9BEC1E4C42B75653124AE9734FD512C6F34B85C174CA500698D815CA89A89687F28490DF5AF8BC8F99672ADB5133DAB27C82A6768D4773B8B675B0CC8BF80B2D845CB5512913C7F70906CE5EC61FF665AE02A1AA4C5D4D76F71FCED6CE00B0DFE54A990979FE3B7ACEF228D309B6D61A138C8838772D0CC8E00D14DE0A1A88540260391D7A7A081E4DD1D13C997780C1270A16F4D68B7CC13F638EE6A80B5CDACDE13E9ADCD1FB09F474261095AD0065CAD72857DA1698CE600BBB002749C5F85E20A7C17BBAA15D5643D46330A8310D4C8563A1EE78063E06237A16BEBA32846F4F7CF947A3B28A9899D1FA4DB91744BFDC9B33D01FEC82ABB2D95D4DF2EC44E7D08B37E429C941C257D1F2504AD18C8CDF9E9D4F72B0D097F243525A4F9223ABE9C63709E03DAB826A0A6D2F4120C3FB6B9673F1D0C69158E0E85DC60C964FCAC5DF6036250FD67AF8D11B13ACC405B202E5F1E3D41911D85A54D0D2FAED24E17F7B383EED0EB6D5D49C624B3EA05344F859310962AF5E134F984029A3E98B668B3D21369FFBB01BB6575EE218AE26A34B3F3F245D3DFFF19BF9C85BBF4DD91979FF3BA70F09AF0BDC4BD50C1EC92E3E1056DAF9D74B5F1AD7B5F9C57D7635D8765CC5CC3CD761B5AF29F1EADA
#test2
ECP41 = 466F6EC96A63D7A4D5ED07AADCA1EB72374E84D89733A28E05096A59F7A3B040E055DA344A5FAE1F5BE5F65A497FB3D86AC6CE6CD73687CF7E3976E84B0D68FA3A6160BFCAB4A785E94ED864A3E4D6848A532688BA6BEFDF674F84B3F1E76A934B41EA3464AD418FBACD02EFE965C0B749846556D40BF491440BC151998AC77C367B33A136DEF263B659ABFF30535D3FB3ADD336CF17509473095DBC89C758829F68CAB958D4E735D3C27C5002E9E1EC7560DA752D1C275590668B2A9D5614883DAB5E207478008EDB1A837940001D697DF952CEC24046E87DEFF614082F99DA49591F313841069D6B863751C3E5E5F31EA6B33FD89B3B64ABD462CB52D897193FCB40BFC5CF129F8ED9AE626F169221BA476D89904E84E4F8CBC2A360F453F2E5EF881821F37C9A72A15A1245AE78726843D9FFF3CF8BC7AECB6FA53794D85456518E35D6DCDD855244B1F4FA566AC40B7FC47D56917E16211363B0418631CA86269FCD97D7EE12344C4D51E55424619C6E318C6FCD6823179C91784B41DEEA08400EF0F6ED853A8CBD0894A3CF3738B95885B4DDDEA0F2D17B6D65536A28D8DC19B33A16457C09BBE4E3FE8479BB1D1A1DFFD1EC9DE56D16D0E1CD87F61288DAA34E764DDD0BEA6339F78CD371EA06B02ADBED1FCB7E542C539541E4706010
ECP42 = 2EF4AD1E9869BFF5DECF73A0F818F579CF1E5A1BCA246AF063B573DA531025B950E36386E2CA79A90B430EEF056423723F52B8879FC24668D2F4A17417A8ACF7E19F535C53B06BEB1834CDE44FCFF469FA2BDB780ACA5EE2176050DBB122B67A98AC8A64B0E77516FB48D515118C6DF8A779653296B23C3225CABA41E5BA5E80D4CCCB18B52BC8904C244C8EDFC70A4F2FA23F28E5136EB2387336D26FDD384858D5FF294FE411889645B0F34769E560F06AAC3D11170F20F0F472B1305B4225C5CC4214BF191823CC6380EFF52B3A288CC76DA67944FE6897A4A689A82B004B615FF04F3524FE8BF37D40A1B999C0F64701710696BAD74218765AF01C1C82DE4F80C3C8811DD87E0CCDE7E5DCC192E008A8D32C5F063893858558BE84724F75D734196884D4D3B525F1892A4061D9D8F7E2894D8F49D94166E72272F79FDA94FFE7C644948BC99FF989C06E100D7668D4DEC6B44C90D2608DD7AA777C467AC33D3030093D8AC00E4AA7C4655F6F455C21CAA54683F025D1B8055344EAC799CC528449505A52834D467AF7F98BB9E9640155DDD20817FECE9017FCA521C50BF96EF8C398093E2A3A834FAE86CF065C5C929A9F293BA21A44B74A236DD2374648A5AD72394AD4E35CE973874C9D86466C1A3353208587461468AA41DA0EE3C375
BIGscalar1 = 34D83C8F5FA3DFF3EBC9A9BF1EAC06E6AD104FC4D876631280CC540872FD389903BE5B363E8F61AF73AF0AF49A130186231B735E508174B1DF7F4C9B
BIGscalar2 = 181172B2E3C5CE248F25C86688787AED59EC2B456EE0EFF8AB86C567C635BD753E7488E84272DD2268945221410479924FF8DED9CE29F9A0023C8100
BIGscalar3 = 10AE5304003D4D48B4443E1157CB65F9B43D3D8E06EBB1CFF3B92F5F3D513E38392DC1081DEF53A960CF700247A1511AE37CA047AA33FA3BB1491AA9
BIGscalar4 = 29A6D86F5D14A3CE1617F9729D167463A06733C8715EDF5CF8B602CA73BF054E1311CB6AEDDF590D1CA9DC7B08CD9C98C99F2052005EDAD886D9D0B4
BIGscalar5 = 0C3CD3E912EA99BF00FEECC7D8414F53CB8E0A033A8DF2F9014B936221ABA3CBED8B22F4A1E9804341B636E2239DC08B83F828D672C59603EC1E06F2
BIGscalar6 = 0EBCBCD6F2E72DE7CC521C6F492D2A1685845091A6D11D0CACEFAB1B61980EAC4E96A6C47EB32298B2D91806D054A9E64457509B78A3548BFF717896
BIGscalar7 = 262AA755704126BD382AD0079C6231C792322535392542B1A9DF1E09EFA3BA122EBA6621F40C2CB79EE554E4A5EBC437F7337AFC8264E0A1DEE5EB6C
BIGscalar8 = 1601955C041E5F21C26DDE428B548A567D145A79B9F9A3A646F5019353613A8C0BEF8B94A9931BC84E29A658A060CF0E33F9F69A62467B941D66AB83
ECP4sum = 527C01F0C8FEDFB8A9B187D37AA0247C06FB07082853015999CA6B81ADBC7745EFF06D6FBC3ABF414EADFB9EEE47018699D7A82A555E3CCBE89B0F5500E0D87939B96121F14155035391247EE932818B2B826A807A2D803712B1770B69FFAFC562984AEC30CF66DF6FA66B2AB50148801F90056E1D1179E641A40355965A59789513B1D52BB9C2E4F65D9D6E807975002CE3A73BA875EBE578BD907002E42AFD51701B800398E157300444F3C87B961E8D44A49D169DCA91A07812CF569CFAED1EB1CD567ABEF20E83EEDD70DB99E7D3656A2699F3FA1E3FEFE457CCE5379C260D201A27137424CE81A252B2766CF45109E77820D1282CA5794F6DE52D898A0018576761B4B15F034F74E3E38253505E36061FA1E72892400D1B4A9B664AC3771DF9C6E3EEFA0930F137132547B0A498470269109307EDC16FA477867B29BFF6998F74346DFB9C0206D89B70D2DE4A967C85970DC092BB616A6F80AC58BF78C55C00FD141BCB37F220263E717F8DEE72E1662B35B112B81B53FD86D92CD9D2128551A6E94B4BCA1B01BEFFAABD29552D10106E4637AB314385EEB9BBCF9497A03EC57B5B27DAC5428F3780C95B13DA5A3311A1B3336F2C55DF593EAF4BE46248CDEDA9666AB05DBD7A8FDDB0CCC3CA56AAD913C3A7595B8EA262E77469CFAF38
ECP4neg = 466F6EC96A63D7A4D5ED07AADCA1EB72374E84D89733A28E05096A59F7A3B040E055DA344A5FAE1F5BE5F65A497FB3D86AC6CE6CD73687CF7E3976E84B0D68FA3A6160BFCAB4A785E94ED864A3E4D6848A532688BA6BEFDF674F84B3F1E76A934B41EA3464AD418FBACD02EFE965C0B749846556D40BF491440BC151998AC77C367B33A136DEF263B659ABFF30535D3FB3ADD336CF17509473095DBC89C758829F68CAB958D4E735D3C27C5002E9E1EC7560DA752D1C275590668B2A9D5614883DAB5E207478008EDB1A837940001D697DF952CEC24046E87DEFF614082F99DA49591F313841069D6B863751C3E5E5F336B54D382B318A55D7C689A32D66975EA4F679C28AAA6095DA06EFBCB529CF6577D9717CF9E4068A2390FB13454EABF0023DA8C2D65144CCD764BB190FAD88059B88EBBA8FCB60A6D173BED2AD2CE22DFA27E4FF9203C099D1FBAF9237CA74427EB2C6F1C5CB3FA0852F9C32A6A6FF10721E2199B22E2719210FB3261E78A158E72CBAE21071C654CD25290A0537944B60A08F2E2D52DC4CA563D671E663543663043801C8645EF016B1C375A4DA988E6DEC61F13F16846E47E7E1BBFF21315166212EA5F823D51539A89167E0EA8B96499D1310E443D31C26F893E248EAD3AFF61823F5C861B286CBF12C256595B51B
ECP4sub = 3775AB6628C191DAEF043FA7EF362008FAD7442475B6BD8D09CEE9D2D2760CD39B4EF1F54A3F74697322AC593D33D80DDA04F1F60F153B33FB7736C9521725F23334F77E06941F42570C4A5A090646FF7CCAE310E1997BAD1E16F48514992D671FA01D6841D83A8392955BF311107AC8722E5B65014145FB1A8B5F63C150EB134B04F514AC4E324B8B4A71E87B5359EAB39D358956530DD2C7C5C8F486F7B356763932A3CC7EF40700F010AADAAAA1E577E2E48004678FD5355CC831612FE1D39F9991BCD03DC61E45E127989F6A76CCBD1F56BF14ECD3F12F5AD93250BC8E6DA8D0FAACF842C171997DD50EBEE2EB583A3A3F14975A71340D634AD91B299A8281DDB1438E9D67C805BF4302E09A86C02868A050747DFB825EF0A3251FEA5CCD9531C68A63C1CD20AE83880141A37BEB8CB69FFC0E1681EA780CF613913247FA667A3B5CDE1444D0722789ED915C723FD70712B25847923E550DCBF24A5BCE0A664A9DEF01548217251F724F3A7A9BE18DD706457AD23EB1F00BEB3727E701AB82DD498D4EB99407B9CAC617060167573DBCB1496EE415D3B75A1EC89CC99047D84E719031CB20EF54D264F97BC890862357D4F76EFFFCD41CA0565633DB1BF8DC2F9D39E06C77807C050D4E807419A65F1709CC78B390DAE741F038A6987E6F
ECP4frob = 4D6F5FA3E9D9BCD44ECD85BFF76BB95EF25F579278A48DEFB1B862065215A825A1E4113F7B2BE78044D5E8E738D7170CF6B826090395637B1DD58D0C1475D7C879CA5F419FC3B9D308D1D95B5952E5512C88A4BBD5E89B810FD34EEC71CFC24AFFA05B364C9C4BF684E992C9DFABCD019C5ECADEDCEDA04B2D1C275590668B2A9D5614883DAB5E207478008EDB1A837940001D697DF952CEC24046E87DEFF614082F99DA49591F313841069D6B863751C3E5E5F3440BC151998AC77C367B33A136DEF263B659ABFF30535D3FB3ADD336CF17509473095DBC89C758829F68CAB958D4E735D3C27C5002E9E1EC7560DA7535609217DD03873838C2F334DC6124BC5911747015BE8ABEB57C1DB59A7504570BCE79FAA9229D072053312D69C7F5784187DD8DCF602D073A90156810A860868A1169B75C958B4CD3149A62BDC02C761C1C8F699B745069B9F6807442234F024C7CFC045589E0824E93F3AF491B2C26A4AFDE6B968AF67153DB8BE0E762693156DFF5BBD0A908CD3C9D96C6656C32626946A4A4748D22C3E2A5982D5811A28CB5614797E8FC297B819A53A7104CFF50C82051852A4C3BAADA744AEA8BDEF0282766BC76412F469A701BC29FE8AC5738FEC71D2468E304BB5203C6BBC7B4624549E4350DB360A1F08B5397CE731C9352
ECP4dbl = 0D3A6B379DFB65A58F9346FF8663444F28EFA282239C8EC51A0F86B75F1341FF8B901BBE1DEB01EC151D39F8FB8AAAD7C1EB22FE997F082607FFA7F844C7248064EBB81D19B05C90F3030A4B482AD3E2531E2233CAF0DB7F2F769DB78BF6D9B6F894C030F8F59D103ABF5E20BEE9AC34DD62335248071A1923BDCE4477433A067FAE29E47B8810ABA0ED8E30A53D5C18F76CEDC5B8E281005F0259BE0A6DB01370D274A609F24FAED4BF3DD530448C2790636E032592071A74B0B4903177C2566C902F46581E0F2C34A8658AD77813CC69AFEC8814F007346043B0AFFE98447C322BEEE22BC068470AC90343C4C7DB981DB7854FD41F1AF7F957E4A0BAF1634F5D4A98E9172ADCAC1662D4BC31F5878547428FB9F57FD50917F6838E84F5F1AA577F9A6CF1E5BC356DC888A2267CDF2937372E931B30A5F691EC0A4B8800A03B8918C16D0716804A22A3B203CA9A6872EE41B97E0904F74E8A662362F44CE72AB6C700E17648B75E3CBF76EC6F590E5DDC4D9833DCC23881A181C3B2E67D88BFC425D92317FFA49C892DD8293D674528201A453708B66DC9990A271B31B3D2276BC6A774199D577DDE74EB9AD67B5C10913B89EF3F0E63B6FCC65CBCCC98CED3C1275A4D137B523095CDBE872F5BE51EF811254D10EAD92A47E46C90210686D7
ECP4mul = 3D87ACAB39C396B0DA467E453799B7320281AA3C92714AA99412D99AB61E4A0510EE34A6860A92C8DA4C4F9D50DA40BE13ED9E572D09A6A0CC1BD3301838749D42072CCD9F3B1668387DC74459B4EB7CAF6FA3CF69D4DA7498CBFB5726AD61F3C1591E08176EBA726BB147A8720C0968E07634BC4D53FE491854635B80E3ED0FC44856C2DB56E3E1F7DC5C376295F93746D53C6DEB0D15C0F1C4D21B46CC27338FD8871727C9B49BA7C4AEF9C40B330C5DF8DB201CE06BF6E2B7C03F92D3A29E8197F3D0365EB58D711F1163F8AD7BC2E360F0D0936F90C76F21C15FBCB270BB66EA790BD07A614C7A057EF92BA681152942ADB73F1FDD9CC52E3FD13E01831C320E18EDC896C1AB60AF960FA2ADD1E26ED95AAB804006AF9050F4E922DF382E0C5EE2F43E7394C0F2F45B854F099BFBAD6AA1CB8F9EEFDA4CC1CF6DA82E85A7C9E823656BE8D3AEF10F8982B9E2349BE5554928EADA5AAE47A943D49BF7C989B161981B02E8715E0FAF2E132FBB2E592EB9196421ED19DC8DD7751C2424B930ED266FF7984CA46D3DEFD2FF08A6247BF684806B03725BF5737C095328F3F46B148349FC07055152269230515F13E7321238123368084F3AAE8810B8DB8CCC54EBE77009ADF46A4612D77D64A57E4A0C26F9A9C9C029D57C570405A0E336869A
ECP4mul8 = 3A4580EF538506A0C43D1F85C4D8FE8006D3E07F3CDB926977CB1E714F55C21B4C7AF8A095427771B53804159C17DA7B873007F0A499374FCDDD4FF7132A2A27FF47169F242D2F696BF7673DDB4B4F0AE7C4DEAB8105431B0D297255DE22DF8E3BF0A5E8CED8632BB6BFFBFC8589BABE8CB7002AB8A4424E396B11B802D858F96BE0B13BA0DD600CBC04A0D6A7E7EB1F6E613BC05990DEBF528B58C4E6FC9A583BBB3F51AFC122758905D7DE360F3884C19ADF7A2A190024020BF216D9B4C4DB432D8ECAF0BD7D5E5DCD4BC0904C09CDD3A87A14141DC9CAFD165C296993F49215FC702347A964CB40D5A9F3A4C9CD864827310F99FD6F7B547DA4595A7879A22BFBEC6860CDADB673E61D9C213E3F1A6E9C25E8A582D3C8FBD26140C93B0EB92C6B5091BC993384AC45055D1E6E6CEE575AF7380CC9F1988C67DF4DF0A966408BA1BBEAF7D63582EC3DCFE381CCF780860579AF60D3FF9832105626D40119923AB615928C9CBB5A0582CF0A5F793EBC3B7327252815A55EB83B74A1CCB31308E95A177BE7070D653E5D6B826B47B65F8262E5D206AE6FF26F60854E64E4B9590326AD110735837A17BEB04E67C11134EB9D7A40877B0A2BA99FBDC8A79EBF561F6CDCCFC91147156CCA5EBD95AE13F12DEE884E93CC801B55E51254EE8B9708
ECP4wrong = 15C547CF839FA653A448A09E0E00589E58A1D150B36AA287492EEC6790523879F4B15130E5ABBE1EE45AE3C4D5FF3078077AC42387F33DB8E9093E742FA59724418587469600BC086E576522BDC565366973797DE05EF9A0A67A87D21EEEDBBCAC0F3638163D597DA8015DF9D870380B97E663A57609907E153E41CEA6D1E7D8A813366CD244D5AD5A28399989BFC4C14BB4CA515700996DA9965A1BDB80D6BFF9F26101A82C1E79D66F6BAEC9EDC81899C53574494F25348E0C51E9C579DC920F980665E09343ED65FF3FF8EA203A67BEEE303F2641CCA3555FBE7AA193795584B14489BAC7DD11B1FEA96EA099BC412E5A0BA8FFAD19115C9656EFDA1B9FAD946AED20A6477FB395A307E158828BCC701782C4A48D99833718CFE5A4B3AB232E932569D3D4DD5B44D9F80701E63017E77CF4D97E78538DD0A38A41F1E8A258F10110773D364C81A0F4062CCEDB43E201E0FA30FBC525D863CC4654E66D236FC0C3A50034FBBD7D5256263FB8CF6FE15CE252DD8CDA93A1DD945549C77BA088728C18AAE924F7C9786B8EDFA8DD63756AD12A227EF0499C33C51B1F493F9126EBB16FC5084BAFD32095BDB39294BAD9DD1BD5EEA4AFC81795A9F89205E08863193FEFD3E3BAB3301A4AFF0D03373CED2FB93321A30BCC2A72F6DC2C7FAA5471
ECP4set1 = 466F6EC96A63D7A4D5ED07AADCA1EB72374E84D89733A28E05096A59F7A3B040E055DA344A5FAE1F5BE5F65A497FB3D86AC6CE6CD73687CF7E3976E84B0D68FA3A6160BFCAB4A785E94ED864A3E4D6848A532688BA6BEFDF674F84B3F1E76A934B41EA3464AD418FBACD02EFE965C0B749846556D40BF491440BC151998AC77C367B33A136DEF263B659ABFF30535D3FB3ADD336CF17509473095DBC89C758829F68CAB958D4E735D3C27C5002E9E1EC7560DA752D1C275590668B2A9D5614883DAB5E207478008EDB1A837940001D697DF952CEC24046E87DEFF614082F99DA49591F313841069D6B863751C3E5E5F31EA6B33FD89B3B64ABD462CB52D897193FCB40BFC5CF129F8ED9AE626F169221BA476D89904E84E4F8CBC2A360F453F2E5EF881821F37C9A72A15A1245AE78726843D9FFF3CF8BC7AECB6FA53794D85456518E35D6DCDD855244B1F4FA566AC40B7FC47D56917E16211363B0418631CA86269FCD97D7EE12344C4D51E55424619C6E318C6FCD6823179C91784B41DEEA08400EF0F6ED853A8CBD0894A3CF3738B95885B4DDDEA0F2D17B6D65536A28D8DC19B33A16457C09BBE4E3FE8479BB1D1A1DFFD1EC9DE56D16D0E1CD87F61288DAA34E764DDD0BEA6339F78CD371EA06B02ADBED1FCB7E542C539541E4706010
ECP4set2 = 466F6EC96A63D7A4D5ED07AADCA1EB72374E84D89733A28E05096A59F7A3B040E055DA344A5FAE1F5BE5F65A497FB3D86AC6CE6CD73687CF7E3976E84B0D68FA3A6160BFCAB4A785E94ED864A3E4D6848A532688BA6BEFDF674F84B3F1E76A934B41EA3464AD418FBACD02EFE965C0B749846556D40BF491440BC151998AC77C367B33A136DEF263B659ABFF30535D3FB3ADD336CF17509473095DBC89C758829F68CAB958D4E735D3C27C5002E9E1EC7560DA752D1C275590668B2A9D5614883DAB5E207478008EDB1A837940001D697DF952CEC24046E87DEFF614082F99DA49591F313841069D6B863751C3E5E5F336B54D382B318A55D7C689A32D66975EA4F679C28AAA6095DA06EFBCB529CF6577D9717CF9E4068A2390FB13454EABF0023DA8C2D65144CCD764BB190FAD88059B88EBBA8FCB60A6D173BED2AD2CE22DFA27E4FF9203C099D1FBAF9237CA74427EB2C6F1C5CB3FA0852F9C32A6A6FF10721E2199B22E2719210FB3261E78A158E72CBAE21071C654CD25290A0537944B60A08F2E2D52DC4CA563D671E663543663043801C8645EF016B1C375A4DA988E6DEC61F13F16846E47E7E1BBFF21315166212EA5F823D51539A89167E0EA8B96499D1310E443D31C26F893E248EAD3AFF61823F5C861B286CBF12C256595B51B
#test3
ECP41 = 2815674543ACF596BCEFD2379E4F4273F7F57FF2805068B060E582F6DC27E490D0DFA550E7E0C82B6ABB5D21764D4557BC43D1D9C4B8BCF3063183125142CE35F56CB8D037288EA1FB59CE9FCF5565E17C85B07E83AF23C1A37FC737A5E3B5FB2A8B53B7B6D086AE18EAE9A7A32E5DC9540AC1864C203A9D3C5F5EB4350A204CE8C4317EFAAB79906818635F53F500E53C2B29DC4C82E030034114DEEB8C926FEF139D9720B9C079D45EC8373E7987506003C4A534DCD5BEA446DEBD9D420DBA516DCFE574D8E5B2F8B74FA8B3A2F69B1844A8B56F003011DCCFAD032D2407115742B2336F7E9BF11E79BB12F8F1B0B60115AD99CAF781B50ED167E428ED7B1E6B1CAA0D553D16B1939C20E346E9D0E19903518806978AE12B305E939448DB303715C22C91ABF2A4CC0520431711CAC9D0FA0B772ABCB0C1A55F6F35DFD9B2DFB09D261945F14B348FA16A5AF6C297DCCAF41F9FA2487459A16FAEA4A5362A17338670112849E0D133EDD81946181D33FFC32963F9185BE9583E2B8C53D983B3F76697B90588A3C75E654CF3029A38A41B4A298DF278DAF39E9A1B0CEC2D7E1BCA1A6FE32936024EAAEA863C186700AF9C943337A84EE99EBC706810A0DA72045EA18E65BACAC7D8B0C36060A74E03077CC01446343AD80039F99017F9F4A154
ECP42 = 37185490B828A1D0A6DD076B31B2A19C1B51DAB63C3B001B23AAF6B42F349946F877815CF940BC846DA495824F69C93E8CBEB7830C6BEDEAC1A9B2E50962A1D533D2DDBEE29BD3091C9BB0C80C599F6EADB0C424BFE48DD25B444E78A85EBB45836F5A8BE137DC27DCB8768F3EAA5B636ACE513D43051F7D16AEAE83B81EA2D93B74130AD1B6A35A4D1AD94CACA618AB387C4D230FC3BB72785FD73A53A516CD35B2679B8FE1BED8E7CBCF0547A9E36C3AD123D03CB36B12C242A7E6D46C1EC6B6F534D37DEEA21E8EFE1799D6B072B76DD8C579829DBF00A1DE6EDB8A0191DFE07EB2D14D6623548E16A1F81EBC6F813C9121A73F4D5091942701B960787A6288D1B9E2B06B05EF9F2CF5A832DC4E9D1F0884F2199BD0DF565D6A7411F72543CB3A11E44FF8E2CCBA32664B11B7CC4554642222BCC8B4E1047348C914EAE715F4CF34CDEEFF5F10C3A1B6FA1318CFFE9C50C64D23CD57E02F3C75B2B3B4F6F25776D691B5ED37213AB803AF904EBC2EDE905AC154DB1F53FCCA2E8E20F4E228C6C860DF45BD6A4A8E55BB79CD3C27F4E99A1F1A4FC42FCD3B5FC13B7A77D7AEEF8F249704B0C822D1377DBF47536CF0894A0BCDB73BFF702DAFCCC3D513108EC396276B63FAD2C542505F6939B296DC09BF49568B4F4DD587E6C9ADC3D4E869
BIGscalar1 = 065EEAF66CE5EB445ECB3CE34F423EADBD596ADC7D2E6C5C85311B48FA8F1C2B8C2BD13D4133DB6EE41C2C5A8303F35F15CDD91B291257132F9FD8F7
BIGscalar2 = 457CE2B27245CCF6258B036818BC4C842C6F5635C631FC0E6052B6E47B9418DFDE67C5AA8CDBC2ADC466D0B7A945568E32D15F26091624EB92C67AAC
BIGscalar3 = 2DE6EEA6D9E1E513A995C538643BB1F855328546AD121E50A4E2322D59A60D23CC8963BD0AB370EB3FFF42456A680DD0BFCA452689364ADB3E657031
BIGscalar4 = 4A255A7DC365E5731CF1CDAAAC2EFB4ED0FC28078794DFC875434908EFB68038693B96C588AC30190A52A468351C1CC07779327427A2AE4153E8700D
BIGscalar5 = 37967082CD7AAC65ACAFC049634F702A6F679598B00C15AA9742C9A65202A45AC352C334EA9C69D899D4C9F58CFE8A3A348DDDBB2FF20BDD98C3D30E
BIGscalar6 = 400901FAD5D3A4924D3D385ECE1DBB513D73091A6170FB85426ED63DA00E070702415185E26E4EC23A53F3A510A00CF3CDFEEE388848F5ADC74E7C9E
BIGscalar7 = 2D1E89DE01F9658B386508473C8BB1266155FF88C6B3CA2D9D515F08A474C48706782F9C096EEB0BED8F61AB8C80E88B489AD7F64E8F3C5839C5568B
BIGscalar8 = 2F97CD6D02210896B77BCAD48D9D5616738805C415C9516DBB11095BFB35C5DA7AD96519BF47385DD0B126EE7A9EEBDEB5F9930253284F79EFDB800C
ECP4sum = 3C884629C0D3934BB7E50BB1553620225A296621EAF22909556062DB837C723854F54585050D4909965405432B493AA3CBBF415020BB1F90CB4231B1105374D02498AAFC28A34283C63C47E5F4D02E270D45BDEEC4D75FC2BBDDA9681A2F59A198461993E225637A41469A623989EF9D617228CC4AA8B24E0CE65E391C38E80C5324F4A1ACB545C59B90DB72DCB4137240F3CD647EA24034527343322D738E29F6A9511184CDF3FEB808FDB197BE5DCDF02FA9AA33C73983ABD6080557D20991AF084B11355A244E3EC7908B7ED94BEA727A6CFB541C09D5432E0B965AA3737AF29027E7D6920434DCB1D1526F6B693B226EAFF2B0C2EC8EBD4B62871523948D58C73F7E973615ADECA051A72B3C891DF146A00AC342C2880B422923EED6ADB67507EE85B995908CB0DDEDF613AC5E1EBEA3B37071F63C6F899A14A7405533BCD5656C00738BD00C07D8FF4F4865CC53D63E14DA08F70627A07C5E7B1DC14F46038A8E154F00248A3ACAFDB1896A556E00F193434AF2DFC21402B3CF30E8579286EE4D310BF8BE4A36FFA93E3F64645BF27ABABC8C6699230EEE76B81E31810F7A98B6FA095E503DA6838C17D66CC2EE9DD2903D872AE57F0EFB3B32BC88283865153E75F28C85EBE6411B2D1EAF168FC7004E7E412CB290AC60D476942EA696
ECP4neg = 2815674543ACF596BCEFD2379E4F4273F7F57FF2805068B060E582F6DC27E490D0DFA550E7E0C82B6ABB5D21764D4557BC43D1D9C4B8BCF3063183125142CE35F56CB8D037288EA1FB59CE9FCF5565E17C85B07E83AF23C1A37FC737A5E3B5FB2A8B53B7B6D086AE18EAE9A7A32E5DC9540AC1864C203A9D3C5F5EB4350A204CE8C4317EFAAB79906818635F53F500E53C2B29DC4C82E030034114DEEB8C926FEF139D9720B9C079D45EC8373E7987506003C4A534DCD5BEA446DEBD9D420DBA516DCFE574D8E5B2F8B74FA8B3A2F69B1844A8B56F003011DCCFAD032D2407115742B2336F7E9BF11E79BB12F8F1B0B6544652DE38D5440574C9848A5751B35979A51074FB3C5C83D5447D3BDD5690A5991D8D7E839B008DF12C5F2311FA24B2B1176EAE6698CEC27E00F4E83E4A35AE32D2BA4358DE3BACDADFBF4204E807A29FDC4D1C22EF52EA949EF72C3B5E4729BF3E6BCF7A14495D04D3513E42F706C3C4BE515621BC345A216E285EBDB4A88683D7C30A8726D28E8C838EF5FC9FEF81717A06661EB7BDBFD3BB9213879852CB01129428B3CA24EF499315CE0C17434B7FEBA5482C25FE2958E23F7E6B33EBBEE3AAFB403C72D0E394090B24C8062C1AC59ED3217756172DD96F2B0E750EBAAF2982EB9CB3F258DABE4B314F501173D7
ECP4sub = 43054AD493C6C274875654F922E8E99A89E212440EACCF64FD51CC9D95A371C677DCD5344EADB9EDA70D49D2AF4BC75F3603871C4333DA26287A09A74C9697552FD6279727CA88A34924C9CAE4E130ADBC48C2E5E6AA0D79A733BD95A551E954715E7FB5EC49702CBB66AD0DE0E5021A639C3851E834478542A0EC3E6DF83F39A936820D9D9E26176A27820136DBA894705D596742526CB2159B75B68CA6EDE17814276751619DDD57BC0D7126118FC5B0FCF78E2582AC1161E6A62EEB5778B900B4F78DD5A6B3D3EA401AF21BC8BD819A26FCA0A9A0A3FEDA79522E2D0960341CC50F77FCCAC927FD1A92873DFF5DD552A120CCD9F624918BB8ADD7743885AD9CC64626985FD456C1EEC5054F172A21D6B7BB5002C42E4A77FCB0FB782C7E4A7AAEA0D09EDA1DC1AE9EC77832C317A7596152E03090086A12B30045A68529E78DD8EA71E9DF3B07348DC5D7C748EFEE0EBB2505C45355EB287100888439907B06FD63C414FE3CFD0E0F5C1640D114D0F35A3BFFFD8F955F22B12B5155149459A9DD2942C2BB994AB3449BC5088708BA0A73EEB3335BD40B278DC38E925A581A0B4133811C63EEE0BAD7EEEA5051F206B3BFB8EC85195EE3B9B8E7A2669119BC1976237A559D54B68DA96172E7BFDBB9B7B80B4C0F63B09B8F7BDF210C9B340C
ECP4frob = 0CD36C8D0FF520A74969C633C325F8A4C33F1BE6392ED629A82B1CF868D670E6EEB7BB531BE23C5FEFF932DFBFBE1B32D0DCB6376809498AB008ED9219448829D99ED99364D6FA4660DEE469BB8DC947E3CB64D692AC719A16DB50D679B716E8130139812B139A5064E3A12907DD40F29A9D84688F12CE5834DCD5BEA446DEBD9D420DBA516DCFE574D8E5B2F8B74FA8B3A2F69B1844A8B56F003011DCCFAD032D2407115742B2336F7E9BF11E79BB12F8F1B0B63C5F5EB4350A204CE8C4317EFAAB79906818635F53F500E53C2B29DC4C82E030034114DEEB8C926FEF139D9720B9C079D45EC8373E7987506003C4A50BBD4083EBD6E298D844E03AD08B261D9C82B8F07128C7F22A00F66FC78C4ACB7D04516C12D29825F53ED36728D44332E19EC50315068C04041034BF30031BD5E7E4BC0F9E867CDE801B74F96E1AE79717ADE1247AFB70F778DDDB129935F0AA1DCF4F8EF11C600640F52AC8F925C6D0F23ADBF4CB4BBFAF1BD8063E01A78C2ABA0CD00D9B0BB5CF6B8E0DA8700D24DCBC072B211E38D8037D6497B1BC382873A7B6B51224BDBB19A4BA8BF5C0078F519413552A0F0D95927C3BD84F0E206FAFCFA38EC66DDEA92E3F6E0D05FF31DAD9281E4FAB74E7FB435DE22D0A2D2A2EC61D371AEC87FE86193DDAA40EE9FD57A6
ECP4dbl = 19160096DE97552EC664B9293C67F4B27CA40F6CC059E4E939A455C60D868B10A5C4BE374FAC928E36E8A05330D59E3A625B7E4B81182144E680657D45ACE6DB66528304262D0CAF29EFD435FDA9C8F57201622273D717984B6FEA6D24A65FBF28383BBCC05E479F37856334AD9579BE356DC25BF054CB6C528F92C29C488BFEFA8722CC0F7FABA3EC49B0444E0BAA8FFB0B90E94D27BAD66ACB80B93B6A106053416E35E35687615323D24A7604352DAF5C7911110E499E538B82259A71A5DAD0DC5478E12FC2E67251121BB290FB9D9CC7DC2F9A69731161863E657673C70D0D384A26E54CCC53D28E062FB09B951120D49C39D5F89A6A1C45D16E6B1BA1C59209A1C8B194888C0D135ACA8F2C47BC68A8EB2F372D3151C95B5A209417689D9D36D53199E14DD2DBAD77891D1F18E1403BE014697F5E087CD1F9F79B9F93F89F63E6E200208BF18D4DC3B9B33E8B2A8B32C01B62E946A623FF0D30EE171C036447E30FC79C52E6542E227CEB275A56379D6A703739A506239F689CDE6117F704D0D25B514A853958ADE7968A05DAB4ED8DEB9C2A4BB57EF4B865DD54FFE31AAB699BB012B8B5DAEF6AA195B0E8E3D747DE5F2674F78F1449719EBAF3B18B9E9D45270B14E09EB0DBE427845637779F6B2E1A944F2A2C33517C0B79CC6F9D3A
ECP4mul = 06CEF5E13BBCB5D5701C27F33110DDF60A50A590BB1CCAF9B21E9E687CF6D4CED38FFC1963A1747243DDE0D3C5EDEA72B2C56A6293990F1C079F08AC35FDB744F552D9CFFF7A8463B8F4A52F978D24DFEABB0F0AFA128410E174A30DAC96E4A32DBCF4513E92E2AADC4046993535002712CF764091FDD856337C5747BF9764CD3122B81CCA0C5EE69E03479E90DBF8A65ABD03C286998B1BB229152A0C926640E3F76CEDDC0A90D00C85AB1F2B32916C6BEB992B2A68D31F109088DED59C2C09B9D2DFE10D661390A978B0822593D7425D76999DE83D93DAD06012E3E1CC22A5EE0157307C7CE6FEC88B4E3DC306048631DE2012A06B6B3B96DC0D2BEF7DC02A420727D2E08815BA52E55D51F9EE54CE4F8C3DC4178BC470CD27C4C09ED1D8320B35D1447E4803B63AABC30939665B59E2A53FFE5EE83DF5098B8826E30FA572FF2020ED6207C7CDA001614450ADA28A775B137028198CA656FF1662EAEDA7BEA2BA1E4A916BD0A83D39EE23EB0BCF013B6B309E14E96C4F272C65F9A200F10662E71CAD27E4321039AA8E71FE0D84DE443EA7BE8E9FF135004F8AE0955DD02D0CDC6DEE3A2CB8206469AB2DDAE5A4E11D0CD9A104667AC6BF635EBC759771F1F615BD6FE4A77826513191CF8840D0132F249D217BAD6690E039556E857B1C78
ECP4mul8 = 432E2A975561C24A17B731B212591C0109EBC2E4C4782DD4B66025C9A3C4EBE529CD51E5F82D32A379DE16AF0A4A42FF5D62F80E183445A18409973916B742C1ABFDB3EBC9F50927DA6B03DA76B5F3C8F052D8361579B93353D90D2F51994A0B9107DD73E161654329A8EA4F8113B97B83C11998D2F9145A10E96E56963F3483C9A0631648BF0F9BC163694581A2234580370FBEB16FC7163CC2385E29546E8E9F2FFF81C60943EB86DBAE2F8A24D7D4F55AF6C7301AC3187A7257ADDAF65F2A076A4D2960FD38B49C10074264F9A125F446B9C2200C63D6E5B2D399295F213DA9FA16B008DAD18786B44A3CCBCC272A371401A593C4BBB261A959F560C48524BB9DB98FC54FB15E7313C46E865ED1EF54D9A04B0B3C8C019C4A32CFE6E0F662C80A4C8A7A61F640CBC7CE0200300C05182C20464D22B98B84D78FBDD254F0E802427B8B02F761EEA9786C0A65B4E5720998FFDEFBCE04D60002D85BBBC9EFF3D92D6E762E9689EC2141FB24D361F5679FC611C1B897180868A7380A306B5FFCFBE29C058270D778D89E64FED9D51E586F85576BCC06970CB2E4D51FFAFD4F1C07EB72A608EA0949E09373305A6CB90DA88EDBB0470ECBC9B83545F7B3CD7728CC34D45019BBC46AA632853B6BB3ACB5DA0427BBE942FE410A3E6DBE96832714
ECP4wrong = 3320F4AFF935FF339CAB0433D4CCF16BBC1B876C90D6E0DE7D968B6E07B8A1D5AAC2F6DC9C73313B7C1188329CB052940CB8F88D2ACB8C88888F13B14F73ACD1505516190B50D394FA281E5DCE439B501688CF53301EB8323D7E2F06AC7D476F4179CC79EB0FE277BB7F04AAD37DCEB571FBAA6EB07CAC5E4B38D6D8E3A61774E1CDC77BBCA9EDD64DBE612125B1FDE807737B8304BD20562998E16F02937170BD00642A0B275C24DEA4FB261730C94053663BE20259CDC92685DAE3FA42CFF13111737A37428D4A57F68A4B3637E63956279A3F13C02C716903A2CE1F0AF15657EADB33FBC1D32241D76D7FBDBB74720552A2D8A4B442E5F34692A0539BBEF776941D772CD08EE64250698784E8060CF8D1B0F2DBCD10AA237A9E81F75B8549BD9714F32919784341E4F91124753F4F5BAC74D63E21197B33E85C9411D354B726E7F86BCCB1CF94D38F5B5193CC611090144171BE0117C7DB4B8C85FCABAFAE8C3D90CAA22E51503B7D2AF7278FA15C7E267393DC1098D0D81F05F83A6032E9E007DE8C4BDD1C61842B83C52B7F103886774529474B33EA7E21D5FB9CBDA8CB8D8A49F02685FB841780CCFF987456A588B878F1B9850148B5675BE0E55D558032762EAF3C63232697E8F59AE1EBD65CFE483A75F686B0292549CCA6CEB979CC
ECP4set1 = 2815674543ACF596BCEFD2379E4F4273F7F57FF2805068B060E582F6DC27E490D0DFA550E7E0C82B6ABB5D21764D4557BC43D1D9C4B8BCF3063183125142CE35F56CB8D037288EA1FB59CE9FCF5565E17C85B07E83AF23C1A37FC737A5E3B5FB2A8B53B7B6D086AE18EAE9A7A32E5DC9540AC1864C203A9D3C5F5EB4350A204CE8C4317EFAAB79906818635F53F500E53C2B29DC4C82E030034114DEEB8C926FEF139D9720B9C079D45EC8373E7987506003C4A534DCD5BEA446DEBD9D420DBA516DCFE574D8E5B2F8B74FA8B3A2F69B1844A8B56F003011DCCFAD032D2407115742B2336F7E9BF11E79BB12F8F1B0B60115AD99CAF781B50ED167E428ED7B1E6B1CAA0D553D16B1939C20E346E9D0E19903518806978AE12B305E939448DB303715C22C91ABF2A4CC0520431711CAC9D0FA0B772ABCB0C1A55F6F35DFD9B2DFB09D261945F14B348FA16A5AF6C297DCCAF41F9FA2487459A16FAEA4A5362A17338670112849E0D133EDD81946181D33FFC32963F9185BE9583E2B8C53D983B3F76697B90588A3C75E654CF3029A38A41B4A298DF278DAF39E9A1B0CEC2D7E1BCA1A6FE32936024EAAEA863C186700AF9C943337A84EE99EBC706810A0DA72045EA18E65BACAC7D8B0C36060A74E03077CC01446343AD80039F99017F9F4A154
ECP4set2 = 2815674543ACF596BCEFD2379E4F4273F7F57FF2805068B060E582F6DC27E490D0DFA550E7E0C82B6ABB5D21764D4557BC43D1D9C4B8BCF3063183125142CE35F56CB8D037288EA1FB59CE9FCF5565E17C85B07E83AF23C1A37FC737A5E3B5FB2A8B53B7B6D086AE18EAE9A7A32E5DC9540AC1864C203A9D3C5F5EB4350A204CE8C4317EFAAB79906818635F53F500E53C2B29DC4C82E030034114DEEB8C926FEF139D9720B9C079D45EC8373E7987506003C4A534DCD5BEA446DEBD9D420DBA516DCFE574D8E5B2F8B74FA8B3A2F69B1844A8B56F003011DCCFAD032D2407115742B2336F7E9BF11E79BB12F8F1B0B6544652DE38D5440574C9848A5751B35979A51074FB3C5C83D5447D3BDD5690A5991D8D7E839B008DF12C5F2311FA24B2B1176EAE6698CEC27E00F4E83E4A35AE32D2BA4358DE3BACDADFBF4204E807A29FDC4D1C22EF52EA949EF72C3B5E4729BF3E6BCF7A14495D04D3513E42F706C3C4BE515621BC345A216E285EBDB4A88683D7C30A8726D28E8C838EF5FC9FEF81717A06661EB7BDBFD3BB9213879852CB01129428B3CA24EF499315CE0C17434B7FEBA5482C25FE2958E23F7E6B33EBBEE3AAFB403C72D0E394090B24C8062C1AC59ED3217756172DD96F2B0E750EBAAF2982EB9CB3F258DABE4B314F501173D7
#test4
ECP41 = 3697BB16D397830F8D27C925D6E9E19255ADB1D6E7254A530F0E7975B31D576F617187684204AAC411BC1A1BB198DAD02CF61FA4DACBF9B4237D769739BB25595B05241A9D7EC8DF7098DFCB5E509C04CAC7B63635B2B89F6C7C44E2BC084CD400C9B66EAB29490C8B432ABECBE32798F9F707D30F28FD0F17535EE55BA548AEB3148ED8EA644FF0A17B224CB9ADE93EC36A779BCC1D355CA6F3101FB90C17BB8952137C162D6E439AF120D1C1CB30A97BC355CE2C12BAA9D5943DABF039BA9AA78EB0DEECEDAFC23198B5CEF5F1048B980AD239194E1D094055E03A14353435A1C5492F302B2FD776BCFA56BC13507C0D785078EEDAE8151944964A8237EC8D0C90D783DBAEE71D8BF0E67D953856720D662219BEA0DA831CF3430B480073FE8C0016DF32886D78EFD7D69F195D8A8C720378F098E4E91AF66AACAF413D62EDF1A659A3BAA6DF0452491977E6430A7DB267937635E78977B84D217B760CBD6D6EB5614AA86CDA1653F263E65A6675CF586CE57558AB5616C2460DE82A57564D1E6EC564F2836D956C81644189A14311DECB9D971EF549091B110C166F789BF4B9B4404F3960021BC1EC7870577406EF4D570A25328E781BC1F88F060DB9716E020406C5836D253869EADA44CD7D168AB2230F4C8244F82326F54F62DC1F7960
ECP42 = 27F0BB404D92612F924086C8F56BE2629C10356EDBA25811CF3396A8A8DB022E30F8D24AE28EBC7253ECE91B44414B0B78D919403C33D8E830B60CDF07E7AB213FCE352CCEDAB197F6C470F2FD92FE86E54D8271BE70EFCF6FC1D6A81BC50074214133AC139B63D70B0EA8CD81561FBD65A3FEFEE9D8462D54309FAA17947D749F3824A79131B1316036B5D3F9B73C971BF9122D390E690D8EDA8C6E166D916F3F0F5007A62113F738E7B5D5A8A464A505B8878711A6D584603936FB11D242CC5756294F7C587CE81C0955184935A0BE0EDC40CF0233E1659F2EEA73343021C1375F36E1D00103A5824B7F88587875F513928C7A1AD6CBAF5DC521F31E06CACE8B899D93CA937C6FF9D7E320314431E1DD1119250D0398219E123F40A4EB6D0D01697103D1015C017ED1AA303E0483D7615498ACF98EA124EAB1D31FB459CA3ED84E7606DFAB8E0FC238480F5A1916EE7B6A38ED9B278E335B4ABAFC103DA0C01680E42CC466D7B726BCEEE0975B0F65CCD77266AD7EFEF402D1919F1D741B563AAC17727C6BDD98C79417EB39BF8F1C14C57B6C89EA66620F83A94465AE9341DF7102370134C61362CC9B14BBBBC69F4E93C49DF1E07B17C725850BBA513E7A50EAE7E5D12E32D77BA4206E7154B1B2826C1309F1C901105C27DDD3514F6035
BIGscalar1 = 2A003475295712DDAE3D6CBCA2D2300FC8A4AF022ABFAC4E4EFEF4E09A93E5AB25E13487352C1D2DDDE0DF77EF36BB0444D28DB33FB7001A92AC803E
BIGscalar2 = 19F369611A5422F9E904D0E7755BBA7C0B033B47D7919C30D2A3B14260A640D4A5CE2D5F8D28279206CAE9097B70BB4D809C57721AB53078DC93C4B6
BIGscalar3 = 39ABF64779BA45CE321CFC20ABB5D9B2F437C87D2C9DFC506BE0543AB54E53780A5CBC6340F107D694A3FFCA715A271DFA3F3CEC4CD76AB60D4AB147
BIGscalar4 = 0745C1055D7FDCD2DED22E5827A6422AA01C68533C58503D67CB2280799152B5FD184EE223B86E97EFA3DDC7346951C7EDBF5D70792EC75282516EE0
BIGscalar5 = 50DC49DC7EE89C77A6F97F82005E004193C37618D3917D664821BAF0FEC32CFDF56E5FF399B70BB249610E4B022501DAD66D6883E00D7C90DA6A4ACD
BIGscalar6 = 4EA4DC0AD1C93518AEFE6C8509B0C0A6BA708B685D6B5B0766AA01DDD92E13F2DC1676757B34CC280789D2E476AF6790600CFAABE95BDB6232D83B84
BIGscalar7 = 3D8EE4169128E5EDC2DFD0CE97879E572D56D0184DAD80953612FBEF1D5E1390F39555ECC16A044C05A670F9B1F6CDE9749E54FD9A3906F54EC078A2
BIGscalar8 = 2E4880ACC66A7BD5558B67FF4594148BC91E6833EF2F90D8A4E71E4899ADDE3D8C2F6EBB35621F5844D1F750EAE7D78A567D7CAA27AA94666FA9AE75
ECP4sum = 370D86E5F6886123B4B59E9F4500840E6E3BAD00062B586929871E289047A9D54AC23E5285A3A3A99C96AB7359F1E5B237FB87EECF6046CD21F02D901D7A39239845A70A7FDC7F33893026FC4FECC4420970362F3F0386DDB3F20F6D97A1F8BF0CB7D24A6E9129E1472B9C2C36ED07EDC01F4FC6EB86AE6E07FD8DD8A79FCBEE68DCE267B2F356F290F553272417445C28DCF21EF85A75A05B56CD879240B0B3494B365DBEDF3D453BCB3333D390E25DB13860324B6871BDE067AB49771905A6F62462D636E42627FD5BDB5A4D66FC97E5EEC59F4207699E5BCE662EFFE7918D620145DD41A0D71730DE49FE5C2BB2DA09047B73F9A39A20FB0F42ED30D013D5FF33CFF303CB9B9DD972497C96B377BA3E0F844E16D2D815F38DE44D2B3ADD129D21F34ABC68FBF3F66DCD8A01610CC9570C79156E103011AF8F6883ECE6E93D4ED7351BB850E7221E2D6076A84726407491A2F6F0550539CF06C0ECA5D2398B2FEFD9A972A05A420B371983C62E6280DABA799E6267D8451BDC51CA89052894913ACB89D776174ED14ECF70CBCDF493E776EA11174CFD320063EC5314990BC68BBA538500461448E12384DB2C36A7A65C8674C338591B902AA0A3BCB083B0D19C4D1A2D6CEE672E4E1169E245BBEB6C7AFBE85753C53EBE8F3016A3FFBC5A21
ECP4neg = 3697BB16D397830F8D27C925D6E9E19255ADB1D6E7254A530F0E7975B31D576F617187684204AAC411BC1A1BB198DAD02CF61FA4DACBF9B4237D769739BB25595B05241A9D7EC8DF7098DFCB5E509C04CAC7B63635B2B89F6C7C44E2BC084CD400C9B66EAB29490C8B432ABECBE32798F9F707D30F28FD0F17535EE55BA548AEB3148ED8EA644FF0A17B224CB9ADE93EC36A779BCC1D355CA6F3101FB90C17BB8952137C162D6E439AF120D1C1CB30A97BC355CE2C12BAA9D5943DABF039BA9AA78EB0DEECEDAFC23198B5CEF5F1048B980AD239194E1D094055E03A14353435A1C5492F302B2FD776BCFA56BC13507C47E3AFFF14F1DDA56A565623FE0741EAD830E2FE74CA8C17DCEFB7A18F080B1524BABCECCB91B0EBFF697AAB5E428BE45C2D19FBC5BC53EE5A2E3E8C3BFE75EB91C94CC9EAB6035389D481C8A38457945ED31991AE39BF1AD1F7480F4BDDD488D7CAF7F8E675343EEDF5DE677220736D898F601CA1993B1501699C91A9664FEB2B2E06F92793D861227BAC9A26221CE84A71D8BA31BCF3F1C59F7AC50091485D3D91201F874DB6D9CD1C24C488CC25729051D4DC1BFBFE5C41E04D4A2C26E57F32E82452B23342668E80E42F5B272CB1223C5AC1AEB3B9CE2047B12A4EDFA72BF41FF09665E838B7D14F72046DE69BCB
ECP4sub = 255F00A1B0AA9A2FEA33832D7467C8B0EBAE89877A794F53C1AB8D1E84AB828CA7FA798968133F873A1CE7B7ED694BB9FBF38CBB5A565D231FB9F8661FA2A889ECA8369981EF1BCD7D31EC518DAC3D8B1B104A25AB38BBC6EE8DF1DCFEE8C6CAC2ECB93CB21D657A5F4183AB8A03A6A9FE042EF67C900875005E595F309DD764CB2CE02F0657274EC54ACD66C115894A43E8052A6B040DF264C7493921418A55F63117E9FA51B064AA042836AA1411D809D64A31428220E2B3C674FE47DDD25D065E107FC629BE9B31BF8BD9DF8A723055CB95AD6DBF4B845210664129D52F5324DAA44BE627054C0F0D55D5D68A79C52701EFCF5F0250BE59628E5B33CA8530579EACE77869090E8D5A83975901B4C68615CFE9CA36A01ACF6CF36C3B940BAA858AD8A50229B218E83C6F391C0FBBC1034794E5FFB1C973EF8E9DF6B6BA33F8669C2590FB54ADC3DD0BEA154973ED6BA33551257DF33D178952A2A52E7A123D0261B0554B38175C18B7EEDB1F46A2814BEEF10A92B28F881BE08658AFEF065B6482EE95CEF1C46144341B3CDAF642625C2638D24C17344FAC804032672929FA92192A0248875320684A67524932FECEB03FA24AAE34CF9BDF2677C1590B15DCB3748CABD23F557C8743076E962BAD9CB775BF6B6A73A158398B1EF21C5E1E22
ECP4frob = 23326D8F1CCBA9E4E0A27DACC2B4DDE77288D9B51519CB2B32A9F9ABBA60DA1D63561775F4CA178AAEF4749233FD550477530DB26E6F2BB28716DAF9387349C7862D141E6D1E588A1883AAE4D94EBAF65464E0AD89FE7F65DBC410DE1DC5F39EF6BF5C75DDD28D527C752691CB5BE5F3D52DCD690D94B9B42C12BAA9D5943DABF039BA9AA78EB0DEECEDAFC23198B5CEF5F1048B980AD239194E1D094055E03A14353435A1C5492F302B2FD776BCFA56BC13507C17535EE55BA548AEB3148ED8EA644FF0A17B224CB9ADE93EC36A779BCC1D355CA6F3101FB90C17BB8952137C162D6E439AF120D1C1CB30A97BC355CE53A9D8D06394187276B735DC36C66E860CE28A5BF1331659DDF06593D7F415B2339E63231266594CA47712CD98591DF3056F03676277C663CCEF37E542136A13F75329350695764F6C82E35D65AC5A8E24E59C2184CDEFBF1410A4D403C882CB153ACD3E823EAD8E1DD03E55AF4B410DAA8E5261C45787C030ACE22277C4827FF7597EB43D0D9230EE87A30F3A67448AE382D76E3183AE44262A11D35E487FDEFA57235828A13653DBAABA8830D3C49B6C1546B333E1B02D2C67919FEC2E121FD29715979368D61EA6B3B9EBA0D1B830938B7784CB9878893F2E4E7BC231C7A5AC545BA9A910A74B171A7619427EACCD
ECP4dbl = 200A3F9E519B2F4B1C2000BADD702AE3F2EDEC38D4523D98AF1F098E94BD42F97FEDD7E9D182CDAFA340DC79771020D577312A118DFEC77888724EFB1FB1C1BA0C16EC11E686E027A9CC71641FD2B6DF6C6774BD7ABB2547843879FEC2CD834433CB6440C9FD17A1D9551AEF715C0171460AFB0AF9E7E3BF31A418270761AB8C6FAA3BBDFC9B4C484D98187806A23A7652C27B46E829ED0C370E2ABBC58377336B62A67EA95D366919A28596E5623FA000FD0251216CF7E8F85B4CBA389AA56D67EB570771B58CBFC43DFDE33686168990ED26D3713959578AD546F10760D21BCF901A16C1456658121DFB4ED8D71B9E1510AC04221C29CA71551511ED55BE253AE4015F728E63F30D59D068D6472D0B9A14D05BD666D49DA84FAE1D58F0B8866F32194BF3873EF87D8B04E82998BA4BCB8FFC2B7E4657E48B29DA97582C8174429090EEFBD3A8E3CF56FC29BD43B9B2001039F3D008B90937A2124FBE4EB2CE5D5CD6D696C2159536000589CFB5EF2D5B64FA67C1E3C1A9F585F53DA6890E873087BA902AE3F0F21F3693DE6FD9F72EECDF963EB8E51B3CFA5B8DE4C9CF89CA73E8522D21996EF1FAC3689F48A3F00561F4332C625F4A90C639F57D330A0A3B8520B33B6AFD9E3404BAB4B8458DAFAB1305494559E97121A0F9A4B05698563E
ECP4mul = 4F70BC502A18065360C504CDDB9DC9BE4FA1D883ED2DA96AC308A8583C73F797C174FF48BBE9065B0CE744AF2C18B07686B6DB0FA5BE40A68FD6D0952A7A5835899E91E3CB67735A32BDA51B3E829AB0456F4E34E3BD4E827CB672588FCA058541F39B1720A528EFAAAC7D7070F2653001B33890061FEF9C180739D0FCF62850F34B989919F9599D1B193265F619EEC33B91EEFFE24E62E3FEA43F7FF81107BA074C0EB918B31D3CBF50CE48E4B82E5754E825D002E4874D13681335D3EFD3260E155DF388F80B1D0DA9084C9ED1C284B97006A6620658F8A89F3B9EF5411A0BE98481B106C185B55539038432772B2343644E06F25A82A9E65079F1BE6268B9D457147194C4E3FBD265CC725F5C58BCCDF44379CF4FDBDCBD4F124BA7D6342C3F94B6F8626FCF50338255C20D0C77D9BBDDBFF03C1188A2CE3B503C337853C0A274974613F8CC19631DB8CA243CCE7A2CC200EBB6EA4AF70531DBAD96CD79EDB14DEC85877EDEDA33A96BD3D472F0119E08E0937B449F59F18C5E5ABE040059BC3DA827144B08853F37076B841DDC5E6C6D9BC6B97BFE3E3F0A40D2DE83C86DCFB1DE354F6A0C28B655B1BE812511127252A271CBD5FF79DE4EBB83CCBD88C9CE7A2CE8A5E5A85C3CB8C6D3D7DEDDA866FAD5148B9B8B6EB2C1309ED6965BA9
ECP4mul8 = 3AEBC42BB565EE01D99BACADA784C8C5892B5765AB0EDBC4178529F482FC060476C3768076CDB49C9DED0203ACDA37ACC67ED7E3C71FDDE707CB75EB048BB0F3CDC80AB77EF910D04E9B2279ED4FACF730DCFAEDAE367FB92E86F5D31AD058F7F38EA9DAB73C699CC17E96D9912AA8082D97DF7309D603DA521ED6604141C23DFAD0FC5B72FD1111B360F2B7BA0A66BBDC5B895F13450648C2D14318A6FFDF9EE7FB169CE8F87E1D4CB08370F4888E3FB0C8B755232E40AF18A838D3B74CBD510F58545840895D5CDC5F84D434AB78B0D9ABED3C48274E00F766DADCDC1DC70097E848090D00459694459A635EBA2CD7056B7264EE1F77F993A6F821E9EF1669211D1F683BCC09EE7D6E6F175A4902FBF197FC14EB9F577044699216337B932DB814B30A57A00CDC18A93A891587EB9BF306942D6623C8BE345554ECC1CB7A8ACFECC6C727F1A0CDC952C0F722F6283384B6B315D0E5182FA8393DF0B76E34699BC62F8697BD1D7E1CD54FD471A365A5CBE8D82A3D8E3666951BBF8E93AD539E85FA1C659DF4761A0CD242559D37B7E6E4185A0C675DE552B49ADB4F52AD5339F66C5C7A4579AD193087C78B9515B1DEAE7DCB0B69BF06DFB452AC782E8082B4AD1D68554023810C071C5A2FB75FE71472261AB7BF78FA412212BF7E7897429F
ECP4wrong = 0E8835ACA800D58C129D810FEB9A57B5A945A79A5ABB157EC990BA0CCEEFEA90A8DD9D1BAA6ABF84076359EC04FAD97A38ECF2B69F2914D2116F333742EE89ABCF893AF7BE999E3F9E48DDAAEEFA081C6ED4466A319B5AF6EA05FA59147A5A6AFA5B84C46F352DE5F49F2F0FC35FA03FC3F89E2C8DE58BC9332D6D158AD299F185C641743F45ACFD2FEE5B7B0BE41E61DAA77F3EB1FF79A9A970F93486BCF6F2A727006EFF20A8FB8009517F018A5B9BBF832A1421519D2149BBC61D969F7C3CE488301448DBC55BC855E8ADE6CCE74D3C31EF1B682D5CD93A64B875AC1E22138454F4C286B6B7794090DB412F272D90453AB69A8A3A863DE58FC828C2C7AE18489EEB1D7121C87D2A4E04F54159CB7748FA13ADA292B591B3A070DADB69508E5C890881A6E76911EE02B455078759DE086C6CB25BB70A1B822C77CB4BDFFE97B21EE521260F42E338344E348FDD93918109E392D39EDC34FF9CBEF81E10D447658F7D938E3328981497F5CCE18173B5C461F1D14CEA78D19AA1C780C54F733538D0DF0737CC26264BE5C4A16081B331CA48309AF2BD3D690F77B3F0A77D9C8B0D80732E298C50CA34FC9D08D6DF35A56EE6DEAE705E5A2A33120EC5C36921F8C7FDA0D6A23269C8B5A6438653E02976C66E8262F5821034000F5CC9AF7CFA0A
ECP4set1 = 3697BB16D397830F8D27C925D6E9E19255ADB1D6E7254A530F0E7975B31D576F617187684204AAC411BC1A1BB198DAD02CF61FA4DACBF9B4237D769739BB25595B05241A9D7EC8DF7098DFCB5E509C04CAC7B63635B2B89F6C7C44E2BC084CD400C9B66EAB29490C8B432ABECBE32798F9F707D30F28FD0F17535EE55BA548AEB3148ED8EA644FF0A17B224CB9ADE93EC36A779BCC1D355CA6F3101FB90C17BB8952137C162D6E439AF120D1C1CB30A97BC355CE2C12BAA9D5943DABF039BA9AA78EB0DEECEDAFC23198B5CEF5F1048B980AD239194E1D094055E03A14353435A1C5492F302B2FD776BCFA56BC13507C47E3AFFF14F1DDA56A565623FE0741EAD830E2FE74CA8C17DCEFB7A18F080B1524BABCECCB91B0EBFF697AAB5E428BE45C2D19FBC5BC53EE5A2E3E8C3BFE75EB91C94CC9EAB6035389D481C8A38457945ED31991AE39BF1AD1F7480F4BDDD488D7CAF7F8E675343EEDF5DE677220736D898F601CA1993B1501699C91A9664FEB2B2E06F92793D861227BAC9A26221CE84A71D8BA31BCF3F1C59F7AC50091485D3D91201F874DB6D9CD1C24C488CC25729051D4DC1BFBFE5C41E04D4A2C26E57F32E82452B23342668E80E42F5B272CB1223C5AC1AEB3B9CE2047B12A4EDFA72BF41FF09665E838B7D14F72046DE69BCB
ECP4set2 = 3697BB16D397830F8D27C925D6E9E19255ADB1D6E7254A530F0E7975B31D576F617187684204AAC411BC1A1BB198DAD02CF61FA4DACBF9B4237D769739BB25595B05241A9D7EC8DF7098DFCB5E509C04CAC7B63635B2B89F6C7C44E2BC084CD400C9B66EAB29490C8B432ABECBE32798F9F707D30F28FD0F17535EE55BA548AEB3148ED8EA644FF0A17B224CB9ADE93EC36A779BCC1D355CA6F3101FB90C17BB8952137C162D6E439AF120D1C1CB30A97BC355CE2C12BAA9D5943DABF039BA9AA78EB0DEECEDAFC23198B5CEF5F1048B980AD239194E1D094055E03A14353435A1C5492F302B2FD776BCFA56BC13507C0D785078EEDAE8151944964A8237EC8D0C90D783DBAEE71D8BF0E67D953856720D662219BEA0DA831CF3430B480073FE8C0016DF32886D78EFD7D69F195D8A8C720378F098E4E91AF66AACAF413D62EDF1A659A3BAA6DF0452491977E6430A7DB267937635E78977B84D217B760CBD6D6EB5614AA86CDA1653F263E65A6675CF586CE57558AB5616C2460DE82A57564D1E6EC564F2836D956C81644189A14311DECB9D971EF549091B110C166F789BF4B9B4404F3960021BC1EC7870577406EF4D570A25328E781BC1F88F060DB9716E020406C5836D253869EADA44CD7D168AB2230F4C8244F82326F54F62DC1F7960
#test5
ECP41 = 061154D9C0C237009849B8490D89CB91E5EAE2BC44E9B53F77FEE0F1BADEE32B87CEEEF352C84C2226850C517C28485D7D9AAD4BAB8DB9E5B18EF2D947A61744CAB8C280B975719247A3590CC5DA90EDB65EB9B4858E3D1C810902A4CA8860DC44A926D00765CD101049E936995FC619B8755793F3B04B92030CFF2CEAC755FBD710FCDF8E78318D7B8CA14922C8235AEEB24B456355C14FB24867BC7C4DB868F83EAB1605005ABA796D2B74F2358FAAA05887CE2992814EBE405C59FED31AA8585999E096527771CDA610DC19C662095B2B45F2957E7C433276CA8D215A45FEDD53C8815911A955751CAB0CC8E2699244E15DA178B514130ACDAC00F1B030EBF693765C06BE0FCE2CA60BE16C7DAA557668A3BD3B0C0624A51471AC276A771299BEA69672526603856D1F6D4424123B0CDDC33F61EE77C71AF458C477C7B26B630879F023ED74042C2429F8D0E7D3B73A9E22E8141487B1D7FE966FE61B9DFFC1BD6EFDE45C21450B80FAB73C28B27E8DD648F225E88D4B02F8968CB30DF96DF2CB896460359006BCC1CBCC5113076435E43777B92468E5BAF3746E6067CBFCE8C8E9E221E7F17815AD887FCC8A3FA5064C1F20182D8001C5F6C3B10CD9EAAE980B0C2246651C5070157BC31C0AC53DE9566D37EB0109A07558F40F610EA416
ECP42 = 53E2FEFACD33FB8E7FE6D49A92CF5FD9997C74F446973CD91E0BB83C41EB2E7A7091B549A4933A34A5672B054590489443041EC2B4D01F1317A804B91F259C04031ACB3443093FC30DAD1E2B453EAED57340171F138AF04273B94E3ECCE142550919FB65BE5704B3F449A0035B3DA534CE2DA09FBBAC2EC9250DC75F85DA1AFACDE38C7B729F4E89530AFEF9979743DD78AFFD8E2FF1AB571981DCB94E7230ACFBF9A02FE3158061B2EEACF37F621DBF8A5BEEB034FE8DE1361E0486FA024CA97A6B2D989187BD4436AA63A09895FFD9207F1CC781D0BFD466B2CE4B483497E31AEF75CF5C06C876A92E76F341D903143A6A97ABC996BD85B7FDE4F34C7DB1DFFCAB12F27F982090204A909C74787415FA89E29AD1C833414C53AC446F976DBA53D49EEDAC5BB545BCBF55750742FC1C4DF30707399FC67330CA51AA13EAC6FBC7F63369F92D179FCF6CB9ED4CF7B901A98D2154AB494EAB14E87502BC1D07590FFE748C85580BAB3552AFB08A71AEE1382EEF7DF9F4FBC1CD96BD231B5E8CB3FDCEE7271DF7BE29F51B9974930E7C96E05A140EE7604CEA0A3790536AEEAD7692E2021654113F14D18E863A8D973074CF5324681369A85C1D77D46BC3C1D4C6AFF2832144922B059D348DE46F010920AA37986C6296DA4A8DD688575399D2E4
BIGscalar1 = 119F4A785DADCC7343A3753DD3F1E6C54233A1E6344C63B8CBC0922AA6C084771ACA240EDDDFE34FE31877DDE6B37B1DF1D70D8151ED8113486B0DDC
BIGscalar2 = 354E737BEF234D92FB5A593FFEE6D4F99000AD7D9989401E6BCB32B37125F0B532C70BE9B25EA4E831AA603B1E2AB7D5B6918C1723DC647021B9B5B5
BIGscalar3 = 034A5394C41A5A7A365DAF12942D7D92DC84354A6A6DEFB0AFF65AC044957F0B6E0D8F5EBE474E02BA70051A939F18CF075DD5D8FBB2F8740CF5F74D
BIGscalar4 = 31930BF6D02441617061AA97D8F7FB196F88A93281139ABBDBCA76F1E6C2955577E69AF269DC477127A46D0AE98FAD116E5C4E8672FECA51AE70178A
BIGscalar5 = 0A9442A14A2438CC3C6DF0105CC5B69057264C77B6D842040D2E9115321821B3CE5AD89C39C3C5BAC428D137B346B72565B6A4EC26157832C48388D3
BIGscalar6 = 2F47006D20E46B3438B25696741E29D2209AA5737EE4762FF4C148360AD343255E47DE5DCDBA51C4785C3800A466E25D3B785A0D0F6EB7EDBECFFA0C
BIGscalar7 = 40EACEDF9EDFBEB653C8BBF90AFBA847B1AA98C250473A37E2B6D8E324E05C992C1CB47DD06DDB28AD4C439775CE92978BAE3D304D19D820161AA72A
BIGscalar8 = 3509CD0A146FFC714984CF893569F0397894281A76D3B2BF4CE37A5909B7900414AE4C429AE824DF35CE07A0A37E845BE2EFA4AF12D7E6EDB5FE484D
ECP4sum = 1FF04849BEEA914248662FD4D73211C54FB9A21FD145F19BAFB31FA6658F38DBC6DFEC8D2BC35CC72D0A7C60A8CA25B461CCC93A683FA8E3AD66B4FC44040ED9E36ADCE2148F2101E9371748FD769BAF7C44311FCEA0F7553FE645BCD7FE51F00CCFE243D69C369010ECBBB8EB7A3F9ACD4F6C4AF5C26A4234F3CD5657204375F9202D803484E1C02A8B9106095781E810F687F756490D219EE64AC800C38779747674FA9A259186EE1387736DC1756125124804341BA64090ECCC89A646A78113F06C11E084B777E39882BC056145B7433836A6777B447D854387A6F5FCADAF7AA25B6459A14E0D637DF99A64D046340415097F2FC90E09A7CCD80923E7BBC7F9109A58D0C590EE129CC22E1B95F8D67B2F357E896268E79279570049B84FB2811D24E06BFA6AF8110D45951D020D27CACF1399D0AC2F6FB284CDAF3AC23ADA2ADC67F905A0CC7B4DBF889390FD4DB8FA34134D38A4EC92B7AD59B51B6C2AEAFD3446384539EA574EE3BF9B26FB1399EA1CC62BB37B90151D947214D64E1CD0D9830BC21286CA83DC8ABC40E5AFD358E83B02DA12C1A5FDBCAB4C485B79495DEC3224653A312A1E6DA8FFC5FA0A8A28B733A84FF17C624CACCF924108F9823D34EF8C29FFC0EB13D1D8F7CBF6F6444E18A76DEA0ECA451DD96B98347D1FB3B1
ECP4neg = 061154D9C0C237009849B8490D89CB91E5EAE2BC44E9B53F77FEE0F1BADEE32B87CEEEF352C84C2226850C517C28485D7D9AAD4BAB8DB9E5B18EF2D947A61744CAB8C280B975719247A3590CC5DA90EDB65EB9B4858E3D1C810902A4CA8860DC44A926D00765CD101049E936995FC619B8755793F3B04B92030CFF2CEAC755FBD710FCDF8E78318D7B8CA14922C8235AEEB24B456355C14FB24867BC7C4DB868F83EAB1605005ABA796D2B74F2358FAAA05887CE2992814EBE405C59FED31AA8585999E096527771CDA610DC19C662095B2B45F2957E7C433276CA8D215A45FEDD53C8815911A955751CAB0CC8E26992107AA2D68B17B1A778CD406D8E8EFD8BEE2E442649BB63673C3A923DB7C2B731BBB83B494F26854A77484C0A7ED888D04E6E8A4485F25B63C498F5BE1137EE3CF6EF027B21AC74A7654AD5B36CFA0816ED70F94544F32A1AF81C378E61390B4F4F94688708483604CE446973021192DB3687526965A9F3E649DB05C0C7A4133BF5C4A37C5A56A12CE1C923F59D6B79C7761514BAC40AD180755F133A391F840AE678863EED1E96FD2D39BC6C97DCF56A613D2B4933740EFFEE1F3D3AB710ACC979F30F57CC943A808A82AF845C06B3708C355564EBBBC2B61A1D0FAC0051F878BCEC92AAFD2C273A82EBCD57E8F77115
ECP4sub = 4F2DFA984295BFEC22ECA04C24C5E11D07D73674776AB23D38338A96FE17F8C82E265B74070E22241FC8897EA1DE4F636BCAC38DDB290C2EED85A6681194FEA856A182CB561416F4EF2EC722F65D2F5102D5E6474236D9479F1CCA21C52968AB70B762989C68E3E05FEEDF8B1FE982CD5E1AF42AC6F0B6612834BB1E5F29BDEF22C7A6DC52E58046C7E5C23330C918D98B40C230767E0607A39458FAEBAAE69BF10449A1B87A2B9465400CABC16E2BB5FACCBACA24DBACC5A6076597B46531A1145DA736B2A1F06E0CE9B2D47C2D49E574DE04EF8832EAE668FDEF65B81A55F80518B7585033CAAB6E6CA883DBC82964130CC714A0EA292FB1B6A6D199EDE14A92F2922126EE024ACD43757A8592C96AF5E51AEB5232E50CDCBFA1F34A2311E19625BDD0AFC4383660D6C8991E46FE5F92FBC6E272F275DCCF974F14BD803948E8F84DB04E1FDF316A295A6143DA21D07BF91F548E391458E425CC4AD652E9337FE3E0279EDB41870CD2CCB576D4FD25A77CA575BCE1A8CA8E837DC604336A4441875DB38FC0CCA26760F90A2AE907E7FEA7C97D359ED65B95F9907188E183C89E3F909038103FF1F6ABA5F774D43221598CAD04C129197671610615325528E4796F1770ADB4E6C746B4ECA4B340E37757D38EFFC8D1F19A7F240611E74475CA
ECP4frob = 2825AD34C179790E9447B4220038EBA717360BBE572653D7263732A9AF460DC2AC7C7A31888215BC7E979E74BF0193833D31C694228CAA411A602ED30D9A7BF8B3700268406BBB129460785F16DA443E5AC76E80100B4125E8C2D246ECC8E887B6D2FE3A1FA720A5DFBF4AFCC88BAC320BBC7251D39A55F82992814EBE405C59FED31AA8585999E096527771CDA610DC19C662095B2B45F2957E7C433276CA8D215A45FEDD53C8815911A955751CAB0CC8E26992030CFF2CEAC755FBD710FCDF8E78318D7B8CA14922C8235AEEB24B456355C14FB24867BC7C4DB868F83EAB1605005ABA796D2B74F2358FAAA05887CE4FB703515F360C7A3F40EE982BA6293FD882EC899657F918FE22D4239F48A136B79831BEF328B3EE7F2FBC3E67904A7F8504A223797FFC357D563DD40745FDBEE7F7B97949E50F5E056BF69A73E8CD90AA29F5E28B09AA576C1FDEB8763CFF66CFE8DE699F17441F80FD049AA083B19BEAF5FE8CB9E99A654F956DDF3FF27F456B138E62ED297E84A3694794B98245426463CE0D62A4A0D865CFAD8BDCF01029462CF71A2D2F0FBAB46C41C2F3DF6803AC0B778611DCCFB557DA08731B0134BA7B9915D5983CDA3F54E59D4B3D493D7E11C7AA2FABE90E713F3551D5787FB26DD048F6984C228548389E038046FE0E6B
ECP4dbl = 46D12360F13EE209F9FB08B1E58427625549708916379866067F86D6A10EB5ECEF3B620BE5DCBE6BE6FDA952112CCA28DA2ED0EFCC0B7F226D65078A3D8B0428D417D174F93EAD5182A902B20F227E11BAF127D3B38BDE1E9A92FFC8B2EAF80A2AC5DDB4B74BFAC30973B2EBAD45DF23BEAF063B10BE3D1A1C7C7F9AB0A1FB2D395A0C1CCA8593CBEA9035152C424F0AB269AC7B0B403F85B5A18CF54DAE4E3D9BF89A60224A49C5F35707CB8A5674EA365AE1BE4B5DD6C2B405D5750201B6E01DECAA99228F9D14EF5F883784D350514DEB0BE4259030A641FB27944C2DBF6147A18725F5722D06BB28020E20BBB02C0D88C4B347BFB3157F0CB26AF32EEE42826F2CF1B25B3E30055D7D481B3D05E19A8CA8D3BE47A353C01273E7F77162374BC773F9C65394755A89FBD70A2587AAB998816E97EF6C80663E8170B4E68DC3AC09C4DE765DEF03D126E412A71ABEBB17607B648CE17D334713CEC3D2F6F58AD84CD888AC2FA1662A71CB397155AB17E0D63FF9471169481EC4EB28793359A78C47638E612D133CB8380ADDF43FB85AA20E893D375BB51AAF18874B280AC45FC566352017BE3DBC18494576CDB88B65F5BF0B135D611351F9EBFE2141319448FC49A1461155864E656562AF4454E3E122AFFB4BB89645C1A3D89E881073C4ED
ECP4mul = 167531B3582F24AEB1E8F4B7B82183990CD8BA310101025E6C035B19E7C3CDB5C398579C111F969BA9F67553A9138F2290B2587297BEA9E5D0D5E3550739F69F48AB96A2F26877A6B43FFF1FA2D29FCDDDB100C9ED9CB604D6F4451921161DE33BD09BA68247370FD2D2BC5A609183E21B4E7379C21EF3031B00C1302F1BD1547DD24AF59AC3AEE7119F48779363E2B7F50B4474A931E88211DF1A82F39C8D8012B8D5599831470E0BAC347E681086FE572B93A01CB970836D306E0F4EE05A070809D2CCD5E9C38E9862F99AD3501F8517D51670D820485D42CF44290A9BD3D68752F76A452595E3C288F86C589375664DCABEECFA7BCE85AC2EBC94FF83AED3B2D95DAE719410B1FF01363300A6DB15F2CAEAED4DABD41042E177B389B2EB121FE10FA973578F919354DBC3186E45844ACE9E28DCD4B2385A27D6207CF998D642DD2C0E0C71B8E16A2FA19836309AB90790069B699818EE398460D9F216248DE8D061487743FCD50DBE3D74BEC968A502973028EE289AAFD40D7BD92BDCF337971748B1390B87FAD269AF25B91EC341D6D9388A7224E2C51C3BA2672B47ABCF7E35E2C01CDCA0A514837211484C1174D8BAEF5304C1CDD1B909146EA72898BB2980DAA2D9308DB150B820117C2677AAEE771EE10F28177E07E7162819F3616E
ECP4mul8 = 13E17492CEB3F68CF7BC348FF20B1492B614F78E4F352E4960672B3DE6A783E8C598E011B130D70D0008D1FB20F7E7C1812326608DC72D81A68E28663150C157F4973CC5039E163C99B6709540068CC8E3FACF2E051BDD304E4CA9E6C7706435501E98DD6504641C2D467E7DAE8E85B31F19EB820A5AAA792B1C1923BE9DDE08DA6C4702C9B8D17B76F4EDCA257B5BB0AC8352B04533C1864924BC47E0AFCCAA1E7BB421327E7DCFED4F664E849D1C29E1FB9A82073539F7A66040A7DEC6E19A544E7D964DE155C9148920498EA6874A90DE3533803F4780FF5DB974532D419439715080CBAA48E91499F3FB5368567E4BF544E13DC18A334B76677A2ED4042AFD74D38FE94C525F698D13722E547687F7FB6ED9F4F8857FC1475E1C362EB0E3FFB55410D4B90BE3CE8E33353206FCDEF464BF945A9134606541E0F2E394A1C73B8733E8F8BAD65B6837D071EDC9866DD2F302DE04BF2A7761EA60833D46C11CE6DEED421546442B3125E5670DFAD296EA860F00744CF71E88C447F1804EEC1208EB16BB752C00D468EB2F2A07E9D8B5F3C3583552ABB0093FE79F6DAD3030FB9826C62E4CC23036734FC1A8FB2B24EBD201146DB70E05FE2E45D0D14D2B22F342CE13A0AB75D62ABABE8B39E615D06C8FFEA5B30642CF742DE818709E62C148
ECP4wrong = 296F60BE73663A0C15CA65EC31DBBC424516C791D4B4B44DC576928682D1953100461051F30EE7E6E4BDCCB4DD3CBAA25B5456C560B44DEFDF1BAFFF544A22E031EFC05259A5F0604E2F0EBC5601867AA1749389F24BAB228571C39342BD04A0B123C04ED2B65DFA7DEABB3179C3C3581E53439CD68074C12CC03DC75EA276DAFB30E321E0F559611230F18180FADCCEBBC7C75B3AF146F0E511DF8694D1A2A18E9DB2368C6EC60893AEA1163D8BA13C6E960C361CF9251328CE8B935DFBAA1AF7F68FDFF6C545E66A4C0E3C05C17632365B0421FFBC4882B796D3482F5880BB1E84C90214B1D4B62B57E4106CBC3912113CAFC75705B4C533DC6CA08F4BBEED26BA5B38E91D74F2B569D0E39BBEB2E5A9552F2BF21C507142E49E7FBD88D0BFD11B86A32F8F023DC8D1C25B263957F55D5F88FE25C1C0322DDF9456AB815D262701C3E57822C152E1A2538D3F1686F480C5F2AFF8ADDE75C6BF0E614431C159226ABF214A9238C82A580EBDAB81342456F16ACAD9E522B4158DF471933B7BD6EEF975F96AF9B15EBFBA0CB47751BA63077902FD64CC0CE474FAACB87CA21E75B09DE374065CC607784566BD786A98D23C7830965F8FA2A2DAEC7085261A157F74F268EA6782C655001CDE297A884BD6ABA60FF534EC43AA80173F76275EC114
ECP4set1 = 061154D9C0C237009849B8490D89CB91E5EAE2BC44E9B53F77FEE0F1BADEE32B87CEEEF352C84C2226850C517C28485D7D9AAD4BAB8DB9E5B18EF2D947A61744CAB8C280B975719247A3590CC5DA90EDB65EB9B4858E3D1C810902A4CA8860DC44A926D00765CD101049E936995FC619B8755793F3B04B92030CFF2CEAC755FBD710FCDF8E78318D7B8CA14922C8235AEEB24B456355C14FB24867BC7C4DB868F83EAB1605005ABA796D2B74F2358FAAA05887CE2992814EBE405C59FED31AA8585999E096527771CDA610DC19C662095B2B45F2957E7C433276CA8D215A45FEDD53C8815911A955751CAB0CC8E2699244E15DA178B514130ACDAC00F1B030EBF693765C06BE0FCE2CA60BE16C7DAA557668A3BD3B0C0624A51471AC276A771299BEA69672526603856D1F6D4424123B0CDDC33F61EE77C71AF458C477C7B26B630879F023ED74042C2429F8D0E7D3B73A9E22E8141487B1D7FE966FE61B9DFFC1BD6EFDE45C21450B80FAB73C28B27E8DD648F225E88D4B02F8968CB30DF96DF2CB896460359006BCC1CBCC5113076435E43777B92468E5BAF3746E6067CBFCE8C8E9E221E7F17815AD887FCC8A3FA5064C1F20182D8001C5F6C3B10CD9EAAE980B0C2246651C5070157BC31C0AC53DE9566D37EB0109A07558F40F610EA416
ECP4set2 = 061154D9C0C237009849B8490D89CB91E5EAE2BC44E9B53F77FEE0F1BADEE32B87CEEEF352C84C2226850C517C28485D7D9AAD4BAB8DB9E5B18EF2D947A61744CAB8C280B975719247A3590CC5DA90EDB65EB9B4858E3D1C810902A4CA8860DC44A926D00765CD101049E936995FC619B8755793F3B04B92030CFF2CEAC755FBD710FCDF8E78318D7B8CA14922C8235AEEB24B456355C14FB24867BC7C4DB868F83EAB1605005ABA796D2B74F2358FAAA05887CE2992814EBE405C59FED31AA8585999E096527771CDA610DC19C662095B2B45F2957E7C433276CA8D215A45FEDD53C8815911A955751CAB0CC8E26992107AA2D68B17B1A778CD406D8E8EFD8BEE2E442649BB63673C3A923DB7C2B731BBB83B494F26854A77484C0A7ED888D04E6E8A4485F25B63C498F5BE1137EE3CF6EF027B21AC74A7654AD5B36CFA0816ED70F94544F32A1AF81C378E61390B4F4F94688708483604CE446973021192DB3687526965A9F3E649DB05C0C7A4133BF5C4A37C5A56A12CE1C923F59D6B79C7761514BAC40AD180755F133A391F840AE678863EED1E96FD2D39BC6C97DCF56A613D2B4933740EFFEE1F3D3AB710ACC979F30F57CC943A808A82AF845C06B3708C355564EBBBC2B61A1D0FAC0051F878BCEC92AAFD2C273A82EBCD57E8F77115
#test6
ECP41 = 2B21959007E2C9C78DE8548376CF7D4F8E64F4F580137AA30A32860EF144232B076788CAE45385A9E770D04783CB9AB048D0DC28EE8DC700C8ECA49F37CCFC311D3EAAD887B8435E55007111034D1ACF2581CBB87F3A0CE75B2DE05E827BBCF868693FBC6201DD939FEC5C340A1C0430F06324AE07741FBA544B8D703ECB8D336F1D14C5199A8A0E1A94380CCC8410757C6EBBB6634AAC80B7DC27D4267E3813F6AEE560312CB632623B9C2E5E9B96DB34CA94951B1D978721574E898D0614E483525A3A7B6EB553D3AB0221C926792F5CB5B9EAA17639BB327AEC07F41536CD524780F1E530FAD341ECE098DD767EC613F380DA4D24E05C34189EA4969F917EC3C7427FA8372B3AFA7DCD7CF7146FB223B0314F36B4084AA071981D407D932A748F38E1DB5E73E8A02135B337EF24252BADC95010F1354B7514539BD3D431C75E942E5F762EE701925E1D184E525AC857C3734E5172EFEA1BE6FD7449F1A36B31870063C967306851DF54E6759B8E9D8DB0F3308A75A8FFF4BAE9319C54EF5BA90D82C926B28B3893CF9E2C10D0A0BE7E864FE7C996298E1940E4A188847A4D277B8609551623D36E59FB30CCA8847C8836222A77BFC76F002B05B6948F5725625C91A21434879EA01B3B9D4230317469FDB1BA0BB4A9E206EB7B633A826379
ECP42 = 1D386E4346A39220271AD5437D0856D399126E14F359B92C3267120998CDEF97D971C7D45E62A8BAB68C7CA5F692E60B0FDFFE6E74753C527EB033C20B700C16D3F8393607AA1604755EFBB36B115829360A33809C3563BF1F86BAF806D3E3C0709583D88780908ADFA0532011AF00F36BFB2D2F52E857032563D670BF5D4618E9D713A473B62EFC79FA437E52F1F79B5E3B48C842FF4626ADCB28971AB70D25570940F6C5BAC1679AD07A93DD8155FFD3FE01AF14AEBFC0F012B6A0CC6933CFFCA5CEF86701AD2359A2EBAFC10883E1000AA2E344B67F4779BFE42A35CB19DCF2D19F3475444EB0A415C01482FD40863ADBAC59DEAC231EC1D94E8E136CC073E6EAC2A5AEBF95E02F80A1D577B97DBEAB5D20A4B225195B73F0D182425CE0938221AAD266118F91F7EA582337CDBA39DA4EE6907A5F6A1FADA86CB5DC6D6761B50550D21B2A366FE8E8B89CD400BF0FAEE6813EE9AA72D528C0A543251B9008AA6AB883C2AF61EF47F3E0F1BCE7F8B324CB505D56DA2E1E781DAF012459BE7023593C0DA9AC75F832D5362C380AFA495008890EF69D2974A32B007AB23967D9CA63C1810B52615BD8F448AB41841415CF0F5D49798FBB1FD3FA6CC16482D9C573107CF9A2D6B79F340DB405E9EECBE8F8FDC3469D7407767F654D1F03B983B8
BIGscalar1 = 14900DB4ED512AF8C290EC95285CC8C359E4FBF9F0143B971E4F277605E612040F585251ED035741F1A7AA705EF60F4B5785CBD71EFDB93B3F36B6ED
BIGscalar2 = 2E16D1C901011EC9E130613214A3B0CC516909AD1D2423A12E6AD9DD0012B5CEFBBE928EBB9BD4F4FDD0355FF7A0702B1EDBCA36577B484463EC7E9C
BIGscalar3 = 431EBDB068B9ACEDDC6881182BFCBE0796234013D816CD797C3E3A6448066CFC11A9445ECBC4ED964D4908B71E3C774296B0D3F043C7BB7155ABDBCB
BIGscalar4 = 3F85FFA0F6E1E39DC08B6BA9CF50EB055642125351D8D32DFEEF396D9EEF84CC06775534F85ABE379C66694D1DA66FBFB0CB62BB92D3D6305A70B45F
BIGscalar5 = 3CEB8E5A4FEC3FB0D1DC5C8FC0DE62965275078AED6E23EB084058F20151FE466FE2C03BB7275613B7BAC104A5C8AF359FB3E28F19BFF4BDB99B815C
BIGscalar6 = 1E96237215BA5861709A4D58F35D97ABDA873B5CA3142EA2BB562D6CB558E717BD2F5FD5F96499605F894B608F4C5C26E8EC474FD742F16A30591E18
BIGscalar7 = 3B6CD53898EE0079A64DD79D5A00F99B732109CB73C8CA44000FB2C4AE5D27CA94058F61409E2A2866995FDC2DD571FC64625CB811464224715A0F7E
BIGscalar8 = 1148524AAEB8500B13FBF8D399FC4C3DF13D2CB0332E376ED643A67626F844311826354CE752E888E24910B23622CDFBE24D5B72171865F7D8123873
ECP4sum = 2A187E4DEC8A788A4F2AB4C161AC5FDCFBF57AFF6932E9ADFF7161F8DD6135978546FDA2AA4F272858B1F0653228CBDBD36C5D9C29FE5D8165032F104B749851BFE5DC5A12E204F36B5B520BCE807113C3A882A09C6E049422FBBA2DF6C19F1565D15CC86153EFF94783D982553D15D9A0F0803A228F32982BE6BAACBA786AE7C1482BB617BCABA0241A572430A4DC68EE706D6950E3E9FF7014EADE2682537A93D4699720E177649F78A8F99E412980E087078602524ECBC74BF6CE188295471D90030EA2D3554FB072FF2D5DC9D61E498911393C1174DB11AD1DD9AB03835D6CEE892966E42E5DB36B2D769D1B0E86078F4D60A3D8E24B03B12E1EB098B8004BBA80CD9CC2D5DEEF19E13B024806E02FA2BA9767EC10CCF8F3E4C1E15DE8167E358051E4C20961FDB8B29E182363D724ED37052192D3069CA8E8E7131CEE20EFC6710E58A2FD02D62CF6963397135C50D668367AD2BBB36258FBFBD13B8CAF5967ED58244F666832944F6D87E11D057F76E9E4FB6362F2584CC41A7BC039639EBD2D8C5A4436D34FBF054D43608B73807F529E000988971CAFFCA8573D14EF7F2765C3111C61D0CA1E944D4149660D8FCD17B7C7122AA6AE49D72F1CA7ABB3B83E62F52CC11F677A07A3B2B26437D0FC7233C4A275DFE83491BE899F05F5E5
ECP4neg = 2B21959007E2C9C78DE8548376CF7D4F8E64F4F580137AA30A32860EF144232B076788CAE45385A9E770D04783CB9AB048D0DC28EE8DC700C8ECA49F37CCFC311D3EAAD887B8435E55007111034D1ACF2581CBB87F3A0CE75B2DE05E827BBCF868693FBC6201DD939FEC5C340A1C0430F06324AE07741FBA544B8D703ECB8D336F1D14C5199A8A0E1A94380CCC8410757C6EBBB6634AAC80B7DC27D4267E3813F6AEE560312CB632623B9C2E5E9B96DB34CA94951B1D978721574E898D0614E483525A3A7B6EB553D3AB0221C926792F5CB5B9EAA17639BB327AEC07F41536CD524780F1E530FAD341ECE098DD767EC641687F9DB6A7E55E4F824DC9E99F9CF920FA7802A84247FA6E62D0A22D2BF1D50E70ADB7537E83247BEB259965C56CB8739DF7F91CE64D7EA9E4DF781D6CDC52D81EFC6A72A9B7230B2ADADC10ED88BAF1E544D5F2B1B71D91E2446EE3CE843E326F1820CAE9CDCC8A5C026E9E3B8D6FC6BDC103809EE4C3037CAB918E31371CF5E9F93DF5C98577F006D150B42483D9BFD31B55FD8DD64E9E5140DA7961EAB09DD66DCEDCACD654CEEC4C396FC0471A228A8F220045DCA49572CA89B6F267F1F8090C4D6D01F313504E6D7ED45146F9C1E3CFE51DEC5767EA174FD1DA2C8C423C454E28DC7886F8F15946040F83B1B2
ECP4sub = 1F598DDBDC3AB0904865990EA10552AE7143AF425F08A0830C8AE41A051B51192CC78A0B60AC8C1A1501C0CCD2AE45DED74DB5BFF5B7CFFDD90B460F295078BB373C2D04F36756E84373FC4FA077082014E63ED2DC99DE7DD1DF1AC0E86B7393EC16649CE94D6FB042D77F6E5305E52B48E7A03815E43EFD0AB574EA677FD5C29652DF1D31006CD0698457205B1236B67F00892B496E066C4E0628CDD665BE90F40EBE419100599EEB1BD47D403BC19C5957411A10FC09FD2D950B0DD82D5157BF588884CBB1B2F1D61CD90D1F8E8A2F6FA36CEE76584D361DA72E42529331BD61A004E3728EC1B6DDE75875BFD7F7FF4094CEE9ADE982E00920536BD36ABA491901FD25D431B6C10D9555283611176660B1827B11EF2F612C0216830E4A0B9BABCB4E5C56566AA10E2048B80E93B1C2A89B8D0153591D59346E19312D3B3F466E66976342D9E1267E1E8FC9CDFAE7D512A889CCF53456266962A6D4DD4A22A1EE9C214A7301FCE152C072DE63D575089FF69B9F5DECF9439A5C27467E23D0C561F39C5DA2B6D609AF41941D134167F0572076A917CCDB7D742375762B11E84C3555758D167343E4AF2123432360A2921AAAAFFB7CD660C3DB7E7C9409F29970F78D41BDA516D6F70F67C8A18E4BAC3886808AAC5668C6D1FEF8FC1726C07FD2
ECP4frob = 0BF0FCFBD2797AB03B76C3AA2CA74C86434A75BFFF4A91355711B2FD73E1A7F0E5598A49E8373559618E4F9D5F9E4624DBA57E28EC532D629D31DBD118F4CBE37478A869F557D6802E36F7434A50931ADB71819DFF4765BD00EFAAB455FBDB3E261C4013D9716A53DE7988889E26273C50310339467E2BE41B1D978721574E898D0614E483525A3A7B6EB553D3AB0221C926792F5CB5B9EAA17639BB327AEC07F41536CD524780F1E530FAD341ECE098DD767EC6544B8D703ECB8D336F1D14C5199A8A0E1A94380CCC8410757C6EBBB6634AAC80B7DC27D4267E3813F6AEE560312CB632623B9C2E5E9B96DB34CA94954ED669DBD88A98C264095192B09FBEF35801B948EEAEABF302ADCFCAD59F955E65E61D3FF10433065472F3C8D05C81923B909E2AA3D7DB0B131F14C4020E321E2182D605CEE8786051332F591142F0BA382EE559AB4EA580A2F3C91C56D191D6231ADD3FF8AED61CB832B0B5F6AC1A594EBAC55E64DD356B4CA10D9C5BE6854E3297181E090457D0495CC83D17D73929686BEF92F93F599FD799030E5A0625EF0AC37BF5A915C27746F40CC26FB9DB6D08447E01171F620A3A0E09E35CA9231F814C03284C0BCBF48ECC310BD50CABB85252C8C7CAA79BCAD910BF756B160E5994D826CB757A0C73FF8B9FE5CA72DEFE
ECP4dbl = 06B96DCDDFD4C3D990DEB682E268B6542128D639B2EC104F90E0FB6DF5880E11DB4F078281010D649BBAFCEF3EA561D93181800D5656B84B3C43BDAC3D34E5BA7E5471583FD72C89B4E7750418712F40199AFFC32647869CDEF5CD71ED3E43AB57645221066607EEF4FA4515C905611B8AE0353BDAD10802173610F45F744534A8A80974316530DC54054899C7BC530B2C78E0BACB07C56CA99E0C31F21D1507468781E6C98139A6ABFEC9AFFB1ECB20FC9781313BD4A87369276768AB33345A05253686CF14C67FBE73A25D9C0FC95031695CF42D57A1267D6110BA4325E4C2092390DE886FA8DC376039F7D6BBD400254DEACD7BFE146F224076DC5E1922AE6AE545D50CEF5D02A1C7088AD62362334ED431986C576CAEACA76D4576C275329AC3D0F1DF3E71EF304FCAA744A9E1B17C8DA1F610FD926828D0F6EC6157A66076F328595B0D34EAA7EA47A38256E34134674B923A9BA59AE2EEC8D71FBAE528BFF5614BF9F029D90BA4E68EC2A84B1D37E58553ACC6138D442BFE5BC5C38C75E5D8CC510F39D394FD472D9D71F5D68C6C7D51D37F55FB997C81334675C8E5CBF0C054481731BD41E3F14CDA05FE15DF2EF3EA4CC50FA34559829CB375AC9CA806FBEB3C79F3E6D585C3681C59283999EBABB28B4BC30A7AB0ABF8232E930528
ECP4mul = 4C0BFF639551D7B07F05298A3990C9C98A44CC5D6FCFF76CA038D4EB4CD37F51AA22DA44182B8CAFBDC4FADAE3F2B46B164E57E8DE61D080349E382A3299F6CF1A3B046D6253F6CAFACEAF707845CBFFD0B8EB728D6B33898F69999CCA8538F6600F37AE1955016EBA220D4A3530A88ABC14AD259130EA9E15645657A02F0ED4FBF5A48414044A7AFFD0A71B0D8BDBBAC4F4EA21E015A3B70D4AE3DF1C789DDDA454E98BB60AC53B7F6471178433C2F595541DF632FCE12C2CA17A52D2D469C60B81CDEEC4177E9305DA99B6469D9FB9E302809E62B90274646A0E8139DC323881B3CB66165372A1EF8FE3DD25F9F5F90B1FEAD67753800B60BB5177B589D70E097F5EB483C044D42D3322ACB3C199D9B9902DFF208852A515B6BACA92BD608869A58A60B026D53F3AA794B5152744D2555251AEAE5883CB358F0846CCAB00132C7D9316BB69161DA5E4F02371BC7E927E4A29B895712066FA6F0B2828B6084DF56C568F3027F064462D7C21CE64B1BC00F1B17B3423DDC8CDA81C53E02B040338EA80E615DFED7952D26357B68B27F8F6E9267D78F5B39973DC4C2A8C6D196CA36BCDA63A8DAF7E90D5FACBEE38994AAAFCF0209544297F9003FFD4FA117A85418A5AB9E06A9225CFB1D9F0B3F8697E52F3D90B1897EE4F364009599F6AFD3D
ECP4mul8 = 0B49BFDD48BDD100212EABD27C251C5D5408B6FEBD263562C8827664E4B1F378A9BEF436CC19A31778188CEF3F06312F4EC229D72E4563B6EC102CDB3AB2FDA36303BC0A01ED3C8E2960399E75BF9C9AD037EFEC19AF8E3AE6BD4450A3E58400BE78987F962E8606C60AC3302DF1C53644E9F0DB5BF88E942AC3E5DE5A3253F60051E759943E950B9246854498E6840A24E432B5A5E67E8AEB11006430B08C4AC61EFA9A6264697FCF4640483E0BCA44731B5C5D4AD18211841B8EC8CAFCCA98D796F649CBC52D376E0A65E582A673EF8072BBDCE95C5458C47C188990575FCD9F7CD5C14C7415A6674DDF6B3D5C326140782D153A258DB60B32BEAB5974F9B830B5C71AE7606B098CBEA87DA0E511609CDA587BF2907C89DCA596FB597ADFDEAB79289022A525C2B230F3471B9C298E08E4A769034DFF70AF3FC0B5D83D0158E3BC5A94BFF07E0D613EFAF55C3E6FB7D3FE7EB142AF22054899E3409FE91A8E17D3B1963F56CE793412228FB7406184D628F4A54466D11E21C9A33A91FDDBEF5247B989273CF1D7BB54BACFE314DB64E4B51FA9911C9C58762C1F74251179BEF3AD4B51432E575F78AD363695E90C311938A9C89E5C320D4C784E300E79A7EA43D36F900A1FF0477894BACE5AF3D242B4870D1CFD80AD1E9F87D8E8B6046D0C
ECP4wrong = 1F058D980A6218D20CCCB7D425A618472EB929DB1DF1E4A4C96BAD542542B842702E736CEA6D8CFE8B79E6945266B97D40AA356DCD12E3C05989DB1A21DF560DD5C9C96FBCC63AD7EE53FA13247EE4AA3B7BC14CA0FC03B65B96D9BE1831F56F85F8E39451847708013FEA46520697ACEBBDF0F9C6B483722753DFD581744415EA9BA80D6910B2411B69199F4BD50D4B87F396D7E756635E9CB9AA21E3E458C5B4D1507E5DC5CC6DD7DFFC7F52884DF2A3EF815209AAE5288E02290DB53DCE8CA7D5E9F910629588042A2FC68B3557280A804E6CE11C882B79B9087ADEDA3955E7788A9C916BC1075CBD0BACD32372E451FC6D113942FE5A827427E1763424163915FE1346EA3374D3D0AF624E95A77DB9B6D735457457E85EAD314B3FCB133EC56E9D6E6D580F924C325BE80EF13EBD9CD28A211FE8004F462F789206A6C6B6FE6B02A492B8AB867EAB80343885137D2E006971126AE5FC55042D3BB265141E1E6C92BCEC2393F64163EC4CCEC3F2F473E5B7B5E335ABEC808501A9C3825587B8129D3DF99AE2871205C657859247D7162BFDECABE0275EE71C923ABFEB80BC342CE4D92B322D5399A5FEC739A8D75FEC9C6D49296810CD732857BEE53E076484465C6B460316F6840685B05EA6E7CB87D8A6FCC7E1244F0CA92087B5FD7622
ECP4set1 = 2B21959007E2C9C78DE8548376CF7D4F8E64F4F580137AA30A32860EF144232B076788CAE45385A9E770D04783CB9AB048D0DC28EE8DC700C8ECA49F37CCFC311D3EAAD887B8435E55007111034D1ACF2581CBB87F3A0CE75B2DE05E827BBCF868693FBC6201DD939FEC5C340A1C0430F06324AE07741FBA544B8D703ECB8D336F1D14C5199A8A0E1A94380CCC8410757C6EBBB6634AAC80B7DC27D4267E3813F6AEE560312CB632623B9C2E5E9B96DB34CA94951B1D978721574E898D0614E483525A3A7B6EB553D3AB0221C926792F5CB5B9EAA17639BB327AEC07F41536CD524780F1E530FAD341ECE098DD767EC641687F9DB6A7E55E4F824DC9E99F9CF920FA7802A84247FA6E62D0A22D2BF1D50E70ADB7537E83247BEB259965C56CB8739DF7F91CE64D7EA9E4DF781D6CDC52D81EFC6A72A9B7230B2ADADC10ED88BAF1E544D5F2B1B71D91E2446EE3CE843E326F1820CAE9CDCC8A5C026E9E3B8D6FC6BDC103809EE4C3037CAB918E31371CF5E9F93DF5C98577F006D150B42483D9BFD31B55FD8DD64E9E5140DA7961EAB09DD66DCEDCACD654CEEC4C396FC0471A228A8F220045DCA49572CA89B6F267F1F8090C4D6D01F313504E6D7ED45146F9C1E3CFE51DEC5767EA174FD1DA2C8C423C454E28DC7886F8F15946040F83B1B2
ECP4set2 = 2B21959007E2C9C78DE8548376CF7D4F8E64F4F580137AA30A32860EF144232B076788CAE45385A9E770D04783CB9AB048D0DC28EE8DC700C8ECA49F37CCFC311D3EAAD887B8435E55007111034D1ACF2581CBB87F3A0CE75B2DE05E827BBCF868693FBC6201DD939FEC5C340A1C0430F06324AE07741FBA544B8D703ECB8D336F1D14C5199A8A0E1A94380CCC8410757C6EBBB6634AAC80B7DC27D4267E3813F6AEE560312CB632623B9C2E5E9B96DB34CA94951B1D978721574E898D0614E483525A3A7B6EB553D3AB0221C926792F5CB5B9EAA17639BB327AEC07F41536CD524780F1E530FAD341ECE098DD767EC613F380DA4D24E05C34189EA4969F917EC3C7427FA8372B3AFA7DCD7CF7146FB223B0314F36B4084AA071981D407D932A748F38E1DB5E73E8A02135B337EF24252BADC95010F1354B7514539BD3D431C75E942E5F762EE701925E1D184E525AC857C3734E5172EFEA1BE6FD7449F1A36B31870063C967306851DF54E6759B8E9D8DB0F3308A75A8FFF4BAE9319C54EF5BA90D82C926B28B3893CF9E2C10D0A0BE7E864FE7C996298E1940E4A188847A4D277B8609551623D36E59FB30CCA8847C8836222A77BFC76F002B05B6948F5725625C91A21434879EA01B3B9D4230317469FDB1BA0BB4A9E206EB7B633A826379
#test7
ECP41 = 1F7515E4193C9FA140ECDDBB06A57E9B882B79DD9D2DFEFA704FDCF58B5B80444822CD0CE72BB4C42C54244748D3BA556B7038B27E4E0A2C3A4BE662307D62E1BB64C2AAF9676CC2021C1FDE07A4A89C92034FF8F68719ABB9F0F09A3E7BB116F19F7F4585184C295D167B5ADE29E9ACA46BD3BB08D948811A4AA82DBE3ED1B9D16DC45BED87CD7374080C84C96494E0999600B80CF9F3534DA67F82C88C4F31122043A92A3812BEBC0D98DF810B1497187A55F72D5CDF33FE8287763C0F739FFDC473AAA01EC86524BC2906C7D77A03C3BFA496C536C5FF0C6B6E86EC38E6E4E0C7B0B90E15F596EC5DCAA4D7C8CA031AA520546918FC1FEE261BC540AC5F7E755C8AB6DBDD07EAB3046195B811602DB903DE3C11D6C90048B54F097184EECE55B0FD7D86700B0F4609F424285D46CAAE6961DB8830095428DAC0AD94493AC4E82B9484A3E4685932EE1F6EA47B3E88EC7354E3BDA4B0C7111C9249FEDBAE21D40EA17667965D734DE424819F8C0AD43D56BFFAD3C843916DC387C817C36F962E5523B66FF5CAEE4BBC7A4F5AFA0CF8F1E90F8F68D0641BB48ECCEC53734EABE496A5C14FAF3C2A1EB271D4CC39D865B25D08A9F5E426B6ECCFC5FEA27DED398F1B5FCE1B9FD3E9B21F51C897029345844F2FD03A391A33D7F7FEC234F5398C
ECP42 = 3FEAA6150D096C4699B55B71AB6EE09E04C5CCC413DFB1BDD34DE01BBA85094A51112BEC3A984F67EB5552C59B68C48BA11F773BA633A1B3E8FD1D27486DA7E6963B487A4439FA314BA62B8D74AEE17CA8F16A5966C2FB1BDD9D2A961F2865AD4B2C6B46F90EEB11C31C2F006F9A635E96F1FA193903800829A8950AE1EDFF2728C2B4145D5B4CBF5BB3267D8E426273AA51B7E9889D62911284FA554692264BDA1B259B0ADAEDF018A73D34D794D795C9ECF5280782C704BF0230AA8101461558DD3886EF308E4127DBE9A9B9830FFA367694C74B655A30182B30F2213F03318957AE2983BA5247290A32FF5D30C42449A0804534FE43D38EC41F989383BA086C6BFA1642B7450E3FBB86C54E8BC63B1071E0332448E9D45F31B073C7A280FBEE9B349835B1CD4578A8024D0ECF468A86D944F3573E41FB25F41FF21CD614DC801EC7206752F3A78E686C32F5B337FB8C7D980394A110B9EDC9908D4075E4769B3BCC41CE9252843D08EE29B9D1AA67E4845D1A7888765DEDFFEB092079A1FFC140CFCDCDCA7F3C5F7EC7A9B0A717741E2F313DE6EFDD65544F6AB23F1412C43D5A76143D66D40DFA9B82C0ABAA341F8419DDA1DEAA263302E92777D53CA55342EDDE4476979947BC73491B499BF5325CDF5870FC4DED0628999B81F5044397
BIGscalar1 = 09E56639442EF62B82A274190D909DC9134F0CFA8C207E0087C93B17F080E59418AC597C00528AACFAB6F72F705E54EE6B8500F9762FF6DF13985BB9
BIGscalar2 = 5499016718CD6128B2B5148AC8F50F869A0AE210C8C654576CF887C2DF3FB71A65165437632C44A7A0EC0FFF8E783F0027D558B8C9E6D2DF6E31D857
BIGscalar3 = 468B741EFEEF501B2D2091CFB19DD161AF5DA513D84E84B371685FF8B0709BAF2F2361CEC3D5CA105A6F02B461939B7909F9EB9E503FC0198AC6E877
BIGscalar4 = 17ED13F1BA55A11B0286EEACB3681AD181ED453882260A2BD7B521F0C59A902FF787B25F5CC140D610D3D38B6714C658419E8F293823080683F53B92
BIGscalar5 = 1F7CFCC40C6F4A2806DE946106495AE1B469C4F02195F8B98B2CFE294910AF21EDE44E5F7DDC598E7A386CDC8BC2FCA655CB7BBC7FF6C8A52A67AA20
BIGscalar6 = 4A1519507CAA627C8EBEFE8FBAC5AA7DF35B66D24417092296D66CDFCF935C9B94866BBD7E18C8410F4E356BCF229FCE400F0E354E2D4219F51AD41B
BIGscalar7 = 494246968D042B1C9D15FD1D581FDFEC3CF719D5166DD4BCCE8FB9107761646FAB79BB05AB30FCACF93D9A730237C0A49D4AAD6A620034682CD5442C
BIGscalar8 = 2CC51C538F92A8C094A5E47D8F1FBE87AF689D488C3CDA48F52020B32EAC814B77A1920FDB8AF4EA218E619F55A34A7FF6CC911CE98DB18243659290
ECP4sum = 3BB975A80D904366BDA1AEDCC6F3C0CB1AD8220E7DAA20144B02DEC65FF71C29FEC0C7A9CC0C55EEDCCEAFB3737A579A953C546FF9A7A762A31574D32C3A662D9646AC280456BE6579AD7FECCBE2C1E878196B2DD0CBEFBC06793508C513E2838BE4B296BA4EAA2DF266289138DD8E4156D03DA77637FFD319C0A2C92180FA150C078BE63F362ECCCA8AA500D2D3495268DD690EA4746108FD03099F3255F741F506DDCA55D35DB3D36455A2A8CC092DFB302349115E66BF76209CEA741EA3A2C7052C4BC149FC9BC0EFEFE66F94649AD0DA96F83D7772A43D7848006C8E4622A8568C5F0B36755D4026EE3F4C8CC96108F752073DE624EA364FD7F5EB51FEF9BD751ACCDF8E0E0FC3F1B3034AFC47D66A699A24DAB619ECC6F3CB248053DC4CC3FDB76AC2C25F5523D911E526484FFE6883AB88FD369DA24B5E04639A3D6A8845D88AB51ED026B742CB0BF5A54774FEE9A86A46535D515AE9517038EF5D2F23A482494805D1BE1C151602ABACC79BA9DF392162941680D1FA84BF494FF2C90B482E7241D3D65BD614993417D783CB37F9A8AC5A3BE09CDF90F31EEA63DABC15CBA331991F339E7721A289E11435CBC2146984FBBC26EA690B7D05FFAFAF6A4E48A603E1AD3510D010907B38C0DE0CFE4F1ADEF1BA79D7D7852F43A0DF18AEDA
ECP4neg = 1F7515E4193C9FA140ECDDBB06A57E9B882B79DD9D2DFEFA704FDCF58B5B80444822CD0CE72BB4C42C54244748D3BA556B7038B27E4E0A2C3A4BE662307D62E1BB64C2AAF9676CC2021C1FDE07A4A89C92034FF8F68719ABB9F0F09A3E7BB116F19F7F4585184C295D167B5ADE29E9ACA46BD3BB08D948811A4AA82DBE3ED1B9D16DC45BED87CD7374080C84C96494E0999600B80CF9F3534DA67F82C88C4F31122043A92A3812BEBC0D98DF810B1497187A55F72D5CDF33FE8287763C0F739FFDC473AAA01EC86524BC2906C7D77A03C3BFA496C536C5FF0C6B6E86EC38E6E4E0C7B0B90E15F596EC5DCAA4D7C8CA033AB6E0239AB3C99A9574D0A93F92CEF96F652FCB749C6B4AB5DC3C896C2F0159791D00CA785BC26ED3A76EAD34BE1114927C335D71D4B65803FC21072CFEB9AD556363DEFB6AE31A57646DCA50787FBD684DDEB0C4FC35C5F15242188DA5A07D9DBF368B5EB80CEF95266D98E95182B924361FF0E26FB7B80777DBF66440BAE646442C73AC76EAE676FE32BA38B6039F3A8B7A68B44A9698E66464B72F387E762A73AE273D729BC7339E63EEA4D172BB656F6F6A05ACC44DE51A53E5B7611408CDE225CDEEDD93CB63A9AD36C662B0E5952501B916810B1CD81339A6855A2A7121F3D012ADF416A7204CC2A51510DB9F
ECP4sub = 3041BD68687E9475EA992E95E60169CA9D3DC4DE52EAB2155D4976D1BBEC34A6B1EC01934D4201F323CD7FAC87BCF652A315382791A3748A2E7F77AB0AF1D2E76103A79DDBA56DB14F71AC03BFA42C2ED3C2A28F23FF203765654D7E6627736E424A235F4CC214E493FB53A33B4CCDF12BECAF05493E9C8546401A51FB24B83330DDEC8E485F4ED4BFE3D93970913151D4432C005E0605F8A9B346BFB957C070D8E36C49D9D88F1AB9A533E80D505431DB8D838C293A94A61961A8121F4D938CBCFD2013439DF27D4CEB2071B1177F3C2C3AD6F5CEC8846AA4966A966A38CFB5A26522CABAF4FD48AE303A774B3438E306ACDE09B7767C885029C2724403A34AC7D1C5B8189ED839138B2775FFE8AC3B3EC8DEFF81CED26E525B2203685A2ADD1AB0078808689484996A695B4649C9C4C5C30F0D7B2E52B37D596469C3038EB4E0C149384B07634E5AC22B80DBB4D6468ED55403BF5ED3E63F7C675ACD1DB56A881C3603BA6175F3547145806F8271A10BA7CC0639E2D7D0EE9080313BA7C2075C1C9449038B69FFA6BF3835859D71A8E348C053D63F8AD015F456BCA7172906AABB80DD04876760CE283E78AB8CB803FCA6C94F3F92C71C85AC72D004A0F9387962B1FC62F87983358D59F57E0EAEF51620FC53E8F041D01F9842EBA288028A
ECP4frob = 14B4F06EBC4D43A6DBF5C05056A2023D5959563EEFB12B18F7802282CB6F5289913580C36737B9569223F792ACB3CCA4988AC5EF534B7DEFF2BCBC7C0C67F4F5548F621946CC685164A628A374E65C48ABF4EAE99FAB4AD502860820138FF2358E9677455AE5B7801FBDB0EDDB80634989126C30B9D7A9862D5CDF33FE8287763C0F739FFDC473AAA01EC86524BC2906C7D77A03C3BFA496C536C5FF0C6B6E86EC38E6E4E0C7B0B90E15F596EC5DCAA4D7C8CA031A4AA82DBE3ED1B9D16DC45BED87CD7374080C84C96494E0999600B80CF9F3534DA67F82C88C4F31122043A92A3812BEBC0D98DF810B1497187A55F7222790E9BB93093D547E153904897434C0633EA278D9A5CF6A12320779CCDE5F476B1CB1A6C0ED801EC1B2998158D1FBAD7E8B14576093F72101E2034FB7F03AB3A6B596A03D9C13FA67E52754CA1B4B1ADB9ACB2CB999EE9ED3EE52A29AB606C9DA8117519A43677BBA07E0340641A27DC9D1E36B7DB0343EB2A8FDA43B97E47A620122074B8B2B745D829EA03CF8931A91DB2F639932524271A0816B78C01C8EFB608927B5A94F10C6BE110FEAB508F61BBADB46D2B3A5063D4830A172FE090AC2BF4DA026323E814CB16DE6EBEE51494CF75F37BA6F6F2E74A9AD0E1465851283177AF8C68B2D3A92B2EB2F799D72
ECP4dbl = 2D33C98160CFA4A288437DDF4578058207268D4E524AC58E12808063DE85CCC1ABF00B577EFAE428BE9DB00EEBC7835C372224A3733437F0059153CC148CD5FDB594CE21DEB645C1FA12AFDF38D90764E25D06A904FE962A57F74982783FDA70B821E4033C02F3FBE9E7FCA57AF35B329B47C6A6890415C41DC7A4A0AF30DB1B4EDC47AA68E5C9B69CF7ADF685C4A54F6F9DCFAA377E18709250471E4E37AB381DDE2D23C1137EC3F7438D5D7728A7F9FBDB376440AE10304680F1174D50B44EEBEE1744C534C04B864B7CD1760699FB6612BB763BC719E549BC9DBE246E96DF7DDBA000FA0885EEE4BFA8FDA9EA79480EC2AF36CBF99C17E40C96245F8C2C7790F73B98F18BB3042CCD18B76D6CBBFAA596CDA7B22E4F345F224914A9802A24BCC3BA0C6F966E5D9F5CE1591497953F74C2D77FAC4F43A81BFFE3C253719CF69DF6367BCC42244E06053C4F3A2A719D900534F5DFD44DCF25BA2A47C9311768503D6EF7F5DE88564FE34BA04F460E4A6AEEB6D293893062F7E3C3F6E092774838330DE3288CA1F2B2CF99F510D7FF55A008CAD03C53D03663AC9BA71F15EA06DAF43ABF4AA56CBC476425D3A385BAD245A87CF35E654224FAD085C58987B1379C0C8DF0C83483B054A1160151507FC9416254CF79E07D28875CF099D5BF490A
ECP4mul = 01E33901F86B1538CB24412EB89114A6049959ED039B27552F3BD92F991FA4CCCB6A1CB4BC87921A223C66397D9E2B1696D1797E22147AC10894DAA02E5A5D1F41934C3B66F08EB68BCF6B370241D04CBDBE2B411D71CA7D66AAC201D7E50565507F5125C7B76AABFC08A5BD6B74B1D5D1DA2024B666F33A509988325867EEA04E3EE89A22C64D6AA1A67D4362654F0F1C828F91AFEC04BFF66C7327CEC262EB52CCCA0D04DEF1048AB753BAC183D5913CC4D52E21FF043269A7268A6EF4F894869120B816742AB555F064FA1AC1054A8C32D8B3A0E728545935F9B6E84923299C02E1C78B6AB5224CC5590F9809A0503D46871D9E7E10A7AD98B75E4D90D2B2E0DCE280F781E51BF124E005CC10990A7A5D6B6519FF560AE1E7F70DDA350AFDE182EBFA655E00711EA2DBB600C5BE62FC45A04D060D9148A7E93460E61AA1CA6E9C65F85273642154B0B1417CEC9D2CA5441CEF82FDC62B847310C821FAAE306BF3CAAAE63B2BD12053DA47F16CB81479CD7AA28E2CAD50EE02E1410237F935C9B5769ECDDD2AC0CBDF11CEC31F53DCE9F3DB6ACB8D873CF54D02D219B987AD1EF07CFC00733480848891D4A8A8DF3C0B5CE1BFD523AB256AD8A9A55859963AA74C21A5CDEA88B487E8328D1068F11926422374E86F2C588C23FDC7C399F64F
ECP4mul8 = 085DBFB4F908A465BBCCBB80F96D9C17C905D1E1C33CE342B0AF4B47AE140E3C39E608E4EC12736BB517407C79DF106265F59A48282D82FD07CBB383130417B4E65FC62082291D04FB411E9C7E8EB76A0487EE39F2BB3817C1BCB33B34E9E354D4724297DD304CA2ABA224B847C1DC8B861AB31A904EEFD31308BC2BF9CE2A74718403F4BD609842FA8E658FBC84976F83E811733E8A481364D582E90F1DB4608575E356819F89D897F8C54DCA46F1315A29580225ACA1B244632733FAF9C5C98D00E540B7D27F793075C63D8B93EB32DE8B3AE6FDC44659660A35D96A27E02E765BFB8E60EEE44BC765F317987B444B02106070EB308183961727AACAA2B700CB979221FF78DA38734EC8497516832E798EC4781AA061B75A465DE19D5929F0E8F091684E7DCD44D8D7CF7C1396FB0B417A667FFD78B4381981417965BFFC3A5F2085D2AFD83FC450676D3B088D16567747DFA2AAFFE442E748DA0E90BDC71C4331A4DBBF2A7A82078C7640A7EF861977A746F80A8340E7708EF6E1819603E6A56A7A16B3509677F76E4556AD9B7C8D5E0AF2C019B53F7A3E412079443CA91C725969D04E3329952111380103FE0E5B3BC5A082C0584D11A2A1099051E64FFB67530C1EC29B0A69E6964E2D5463117FBC4D76F8317B759FBFC89B7877AAE03E
ECP4wrong = 3EAC0F49B927F2D0B0A5858E05CEFC95FEFE49BA242B15A586B1082EFD377FCF4E374131EF9B2B476322A8B657C8521079C99BF481D752D1ED1430A5009AD97CDDADE607E64B148BA7280D3706A0E28BD341AEF636820565337504D0B1F5BD4016180EB5AA621DD12EA956BCA97A40B21BA231ECB6EFF80E22128A94313D5A0FE141D0E81B7CD2C6B361316A8B8C92D7284107602C74B2533480100B35D76A3C067351D62A2BF6FB3A15F60DF546EA33756B4D3841AD1A99E18782F195EF0837BC14993AED6085B4D4B1FFE5BCCFC3949F9DCBD54C3997C6369CADBB4AC9F1073DE87EDDC36E1192D57AFFBCF3C0D2CA4A25816F4C871B3CF94A59A3DEBD12BDEBF0A79C1F21BB5110F35B5C4E45FBF94CC769FAA369EA74240C08EF5125D69DB4191BEF0AC14DD5AB45910C1033A0007B88C066405F0415A5559DB501FD59EBFFF3DF40D470633A3C7A5765598B30E05FAB0FE3E56F42106E26A64DD1BAB9DD9D413EE16496DC1507476AD30D279A1CB4B61FE5963AF514F91A00633566515EC598184E2078A848F8F244ABD9B0577DFE3884B184007D3BCEACA9516EC64C30633E23732289C5B37977CD0441AE918FD748FA4A66671B6C1532BAAD997660A62BBC687C1822C2F590A83CCACAD928364B2162054343729A2AB1A83A231CD4BC
ECP4set1 = 1F7515E4193C9FA140ECDDBB06A57E9B882B79DD9D2DFEFA704FDCF58B5B80444822CD0CE72BB4C42C54244748D3BA556B7038B27E4E0A2C3A4BE662307D62E1BB64C2AAF9676CC2021C1FDE07A4A89C92034FF8F68719ABB9F0F09A3E7BB116F19F7F4585184C295D167B5ADE29E9ACA46BD3BB08D948811A4AA82DBE3ED1B9D16DC45BED87CD7374080C84C96494E0999600B80CF9F3534DA67F82C88C4F31122043A92A3812BEBC0D98DF810B1497187A55F72D5CDF33FE8287763C0F739FFDC473AAA01EC86524BC2906C7D77A03C3BFA496C536C5FF0C6B6E86EC38E6E4E0C7B0B90E15F596EC5DCAA4D7C8CA033AB6E0239AB3C99A9574D0A93F92CEF96F652FCB749C6B4AB5DC3C896C2F0159791D00CA785BC26ED3A76EAD34BE1114927C335D71D4B65803FC21072CFEB9AD556363DEFB6AE31A57646DCA50787FBD684DDEB0C4FC35C5F15242188DA5A07D9DBF368B5EB80CEF95266D98E95182B924361FF0E26FB7B80777DBF66440BAE646442C73AC76EAE676FE32BA38B6039F3A8B7A68B44A9698E66464B72F387E762A73AE273D729BC7339E63EEA4D172BB656F6F6A05ACC44DE51A53E5B7611408CDE225CDEEDD93CB63A9AD36C662B0E5952501B916810B1CD81339A6855A2A7121F3D012ADF416A7204CC2A51510DB9F
ECP4set2 = 1F7515E4193C9FA140ECDDBB06A57E9B882B79DD9D2DFEFA704FDCF58B5B80444822CD0CE72BB4C42C54244748D3BA556B7038B27E4E0A2C3A4BE662307D62E1BB64C2AAF9676CC2021C1FDE07A4A89C92034FF8F68719ABB9F0F09A3E7BB116F19F7F4585184C295D167B5ADE29E9ACA46BD3BB08D948811A4AA82DBE3ED1B9D16DC45BED87CD7374080C84C96494E0999600B80CF9F3534DA67F82C88C4F31122043A92A3812BEBC0D98DF810B1497187A55F72D5CDF33FE8287763C0F739FFDC473AAA01EC86524BC2906C7D77A03C3BFA496C536C5FF0C6B6E86EC38E6E4E0C7B0B90E15F596EC5DCAA4D7C8CA031AA520546918FC1FEE261BC540AC5F7E755C8AB6DBDD07EAB3046195B811602DB903DE3C11D6C90048B54F097184EECE55B0FD7D86700B0F4609F424285D46CAAE6961DB8830095428DAC0AD94493AC4E82B9484A3E4685932EE1F6EA47B3E88EC7354E3BDA4B0C7111C9249FEDBAE21D40EA17667965D734DE424819F8C0AD43D56BFFAD3C843916DC387C817C36F962E5523B66FF5CAEE4BBC7A4F5AFA0CF8F1E90F8F68D0641BB48ECCEC53734EABE496A5C14FAF3C2A1EB271D4CC39D865B25D08A9F5E426B6ECCFC5FEA27DED398F1B5FCE1B9FD3E9B21F51C897029345844F2FD03A391A33D7F7FEC234F5398C
#test8
ECP41 = 33F098F349611EC22907008C10DE412AE1F1087A32AAA65DACF3B5CAAEC95D255B9817631F5640409933610CDE6D1E5F2867A7CE1E08E368D8DD87BE507AE31297782A2DC9D10BEF115FE9383583949E9B3F1CA3B9F8B03D4B4E15CB3BBCC8747D48DE1CCE6FA66FB9245A9A02C5390E79C11CD6DAA195283212CC139A14A300B13CC499B5C52DA8E1E71F20CB5EBCCBEC58C84C06DFB2CA74BB4EEB9630EFC6B94EB848655D0239B44B5AA2F3A58DF00C666EC80903957B1387117BE8F78DE82DBF1A17E163A7CCDA32E1E669458BB886ACDDC9FE430C0ECB31DDCD9F14C49414A3F8E0F99E2F9F1E7588F778E6BEB912425460370A0D3C491CCE36A607E35E70839B5E5D014B502D0185ACF911C1713BA4BB3881D9E2A7D7E7A1AA17F5C900F3114763CAAD8B590BE987833195200FCCC3A3E621ABC43AD968A03ECF1E34A406AF4FF4302282DA042E9D2A32B94D1672D7990AEB0852DE6BE7E98A1573122245267F3563C5155A0F4FDC05A95ED0E5907C6924CF5A67A27EE22476BAB02CC9042F3E45E2FE2C04FDFB9F59C3747B7251648362B7B983969F3EDFA91DC48399D5A9377B36502CE200DB446FBFF5011424E9107AFC8BC7D959EC1F32DE01C37C41ED7FF9F2CD748266EC26CF02F697A99377C769473958C817F2A139D1B81E77
ECP42 = 297827C7B590B1626545CC7E02573CDE60F9250A46C7BC8E9003D937B3188D4A231DD042863DB2066547F3C42BBD546C594D03115E09A2FC88618F9C32FD7F3012A2483055B080EFFD34AC1A5807D618D0812F7D648189B688DD3EC7429F4DAD4F85B4FA46445FC9995CCAD6B81BC48C331441C71D4DA40A54E09C729EB2B12143C535C06AC0DEE4BE1395EC6C9473D49A0F44B71185A76EBA15B37D9A89354D4EAFF2F69C328D0A837528823A4118C8D60926E4538FB864498AD3702B8DCC699B1D5B610B06CA470DDB026F33CFF370DBA731D1FFDFE0EAAF43E306CE1920D70FFD2C786EC985FBAD4DA0AE79679CAC45CE156B73990F12A30EE3A9508ADB913FAF59C78444D4F85856DF8214F609C38E9351389E508DE282D165AF6F0EAB0C3DB78EC3CBD5E0C3FDEC4CAF30DF6807E96372A6AE14121B49D141B3A9402FE71BF6F1B0D74DDDCD386DEE212D4493ACE473483BF0989A7A487588B24C08E202464C1960D8254FFA2041931E36E034FFA14CDF4B34E33B5B754A23BA8EFF3A209E7E6045DD1617679D04F17031621D67F201B4C2BB627A7B43AEE8335C4B304B5740F99E2E8131763317F25AC055F318830AC4C25AB667E689CF34749531F624164A9BA6C5333AA1D1F9FCA4E7543E79307A78410270783EA3D7445EC8528BE9
BIGscalar1 = 40D47A7D987BBC70040F223CA8857F67A703764DAF0CF05FA6FEE588DEE0BBFB4D9D0A09BDD566B064D9D7718695B514D437EC84B16ECB348198DAB3
BIGscalar2 = 2195438497078464C60C38A7F27F2C73CA44BD839D5A7A2D8A0B5E43C050082157939B07C4C54CC7C587F4C44174808A173933F0BC563F3882CB1F64
BIGscalar3 = 08C3B95E9E3DAD0CB7B8493A49CB494246D814C1BF19000523011524E49FEFF701E8CFC179CEB2200189AFEF6A16288CAA6164F1B3AF253E7881A187
BIGscalar4 = 263DB64642ACB44308792EB340DF1F1D1CF0F8FFFEDADBD5B15091A41176EE9EE7D7B47C86C40C67808543B35099ADED132DB58BB6E9B97B41DE9F83
BIGscalar5 = 15D447EFC727F3704B2341DC57251319FBA0DC149195791D7DB95F1DBB09F16CC6684CEA14E2433B3956D2F168279459FA2881D53D1952A76730E821
BIGscalar6 = 49C1462FAC2E9F4806F821B0401D3320E11B582AF9C63ACEAB4E010FF0BB77315C8C08ECE7263A3FEF4B6F550802C424E2C60221213E413128C7F8FD
BIGscalar7 = 1A3D3447B76297371473D365345D13A2C82540DB49B0656D9A420E5D53839B79008A52361EA3C9AFEE4A2967D5C2D333AB348A153EA822C42F7F35E4
BIGscalar8 = 06250A12B2318057BB1AD92356D08FCFD3031DD434F1112B8B4B692D78D604ABB7ACCCC82980B6191C5CCFA50CD0B274B3A0E1F4622BB3F42965F902
ECP4sum = 039BF33B65EE9675B4FE17A29D2D0AE3B8E80E26662BF12765D01401F63DE80AEBEEFB834AFA21C3A662A1CD2B8BA3BC8B6BE44999396F87A0A080B0399D66A9686F57E7D210464A4D07C3895D508E8F6DA781A939C5B18D1BD4FB2FBAB163A1D54A4C9E4B2CF53836BB33431C248E857DE521BF0AB587D93C56592EFDC3C25820C86169D4BE7E8D83CE04EA8EC21A83D29E13EB89F3CE80D001820A7A59B678D7F7036CF3AD7354C8B5FD461EB58A7A663F666F41ED638462B5C486BB532092442A9CDA4EAE9EE3391C977F28037B41DC8B1EE814080B751987C639070A7DC4498A42E1EDCA744F68C88635DA2F03523B85D083CBDAA5C369D5C75C0739769F364915F9DF45A88469C6F04D148538CEF572CD1D9F113D0E59BE55EE8C66AF6A2B30FAB06F4499E032F7C3F147C872B4C3516D16FC268AEBCB488075BB6C4E86DB0E83A1F4C19996FD5C24A66D3BF431256B12E1138268A5E2922A844A2694F0871BABE086C4A7A101509FC4C2774BE1348784B101BF596365D63A7EA029487F072D37F94165ED2E020578F8CFFEF52033ADA27A9B32644151A919DFB5BBBC782F6DAFEF507F951E7856C523C0D53A9EECC93A83B13DA9DFD71E304BC45766CF2CF99669671D5D014A263D41B144B042307B3962AA9C6416B3716C7475B39C11
ECP4neg = 33F098F349611EC22907008C10DE412AE1F1087A32AAA65DACF3B5CAAEC95D255B9817631F5640409933610CDE6D1E5F2867A7CE1E08E368D8DD87BE507AE31297782A2DC9D10BEF115FE9383583949E9B3F1CA3B9F8B03D4B4E15CB3BBCC8747D48DE1CCE6FA66FB9245A9A02C5390E79C11CD6DAA195283212CC139A14A300B13CC499B5C52DA8E1E71F20CB5EBCCBEC58C84C06DFB2CA74BB4EEB9630EFC6B94EB848655D0239B44B5AA2F3A58DF00C666EC80903957B1387117BE8F78DE82DBF1A17E163A7CCDA32E1E669458BB886ACDDC9FE430C0ECB31DDCD9F14C49414A3F8E0F99E2F9F1E7588F778E6BEB94319AC17CCC2B87E3A7E1E37DA374B19743E1F23F37827E53BDF18722B2EA015F67C23CE0858A8C744751C0C8E4D36E1F51BE9772D97360E3E1C8DA823C6E068370921D461EF2833A6D68E3915A385DE49CA234138BE1B452011C45CFF6791F0175AF26431546AD83A5B1658D2BA1EB8B31E4231E640FFD1460C24725A6DF4D4F31E8349B0E4C6D565DF960B95C9466C64B15FD94142358234253FACC6BE0FFCCAF83A53EE897C4C48EE5131DA803DCD745CDDB01F0BD39602F1814AC3A5EB5A5B561DFCE835F2A8F68D54028ADEDAA2E252E18D3F536A84234664A01966260D12CB3879A0F3D812E052202D784DF6B4
ECP4sub = 4625CBF9050BE6FDC1C12C259623D53F2B23E15B6DB78C14D24E26803B045BD9437434EC663CBAF4C8196B2FF70245A6E023E69AEEC98916C262A3B139F25B48A9CB0F65E1DFD4A546592610FF945C17C076DD535001E21A3EA4B4D1FCE2E38DA4ED18FFA3E5997153537EB4468F30028D687C50EAFE0BFD32845D00F6139DA2025955EA973F411A90805839510B8CF213C63D362157033B59993CED559D45F3BF12C90E7F340B5729BF8D4AF7A511C1DA5EA9331A00909CA625C348346187256FDA342B747F4B8372A29AE6B77C8B7189E3F4EFB3AD789CBC415936DCE00286B0099965E3F1153BB7304B0AA162E81D5140D5BC6D53249DB0D0D4BCB513B874837C6A8003DC169109D5D4D9EB453826BC99080A1A409EC8D4FC040F95956EC7B0F747021D04668ACE4D7DAA47929A80F8E9F52891346F13029B3F6D7D2441F5EF98C889B3FE98474F3B41F1C0A34C13251318DD64CCD3F4C6B1CAC4542D9725A1F8F9F85510DDD8438D999726E35B54D0E7141C95156F170183391CF9EFFB1A3BF0C728424166B2E074AD4D3B1955343967AF680ADBD2B98950C31F0614663C59627D264BA56B453EEAE36EA48334C73A7CF62CF49ECF823CD1E90E9B866C8B2D565737985AECCDA2C42934E0E8F5D0FB97CB53B093D0FD7CA1CE09894D0D9E
ECP4frob = 338333BA94C6C46E5E5037EFD2DBCD34379B9B70696EA32D675994E594CE199323D8DA6939978CB61A734AA85CD7BBD173B0E1467C225D6AE834DD1922170C0E9D9D63E63B0C71CB26A63036ED5D308681D56921DEB2A50037C51EC0229FDB9D9DB30C21757270A064761BFC06287F4D98A810795374796F0903957B1387117BE8F78DE82DBF1A17E163A7CCDA32E1E669458BB886ACDDC9FE430C0ECB31DDCD9F14C49414A3F8E0F99E2F9F1E7588F778E6BEB93212CC139A14A300B13CC499B5C52DA8E1E71F20CB5EBCCBEC58C84C06DFB2CA74BB4EEB9630EFC6B94EB848655D0239B44B5AA2F3A58DF00C666EC84287A0D711F1A1470C6489FB91CF17C8D324ACD730720CE41F293B1EB082A0E174716A26B2045665C40BDCFE0521FB289FEE1E4404A662408EBDF5B10BC8FE2B4BC888C28E0AFA41B2BBE030C50596828FBBEBFCE8D9BCA540F9CA170B7C23DB0F0471BE27D154CF7C667D015C89C3A992022B861C99DD3D539B4A9BA71628509C415064621D1CD062A2875040952348E5F154D0CD88FFA8F5629A321D53C832184E81229148B23061839CAEF863D973F9207DD62D198B980068BFD2E4E52089B3E2B3D334B1714BC1916B781F3445EC09A7FF293DB98F94519D49DB74A89802C436336E080DB3BA89F1D4112C8CB40C
ECP4dbl = 25089CBA5301169D6C1818208BB5B09F298509C51D8367039498C7CE972340BF98BFBB7B8899B45BCEA53B7F9A961D4977F25AC07C0F63B181A1F2F211AB1AA64EA84BC1F5A1AA756BD0D2C2C97DFCA53C05A4A4F0AB7C7F5B2B956B6617ADF8CCC652C2635855BE2BA572501930C2C3E5D8967D433E7E31167ADEE44D65732CD5B532762286F2DA33FAFAAE8DEFCA668BEBDEDDAEDD2F6C5248DC18D35D25D1DEC8C3B10BC4082AC7870D1FC1CF8497AF4739DC4C30ED4F9177EE125AB8CD82459B0C7205A7942AD0E585A84FE7D7542F1290C45FFD6C12B01ED8AA460F01697C60B215FAAEC527E11511AC416C44C80FE784B6E1AF3D1BEE21B9E2321E7C366129346860D0DE1D5A1E37AAE2AD19AEA6A0AEE2340BD62B4E0C6F0B69FEF650EDCFAC997B84E82448837F0725FB567EDB25237D187D306EDD298B6132E56346004ABC04B39CF2C06B658095E4CA84E778C7F154528992A77172C6CF5AD1AEC88457789464FF69D0110D543DB917A13469997DA801D17F8E10AA98BE0B2555A1ED0C8EDA1B913B23BFCC9F4EEEC6925A1830262E3BB1DF5516084D6A773CF344A33EAB7744159D656EAEBEBF3A078EB50F591D485CC8FA84346CE1ACA0F9FCBA64A3C6FCCD148363311E61AECB78D29A9598E730367403DE7D423E341B5D7658
ECP4mul = 5091BDA60466810F7E042736AFAD53527A935F116BAB4311501DA5C8A662C5DDE518910C83641A13FBE08D0BDF80EF6E37AB76C0C5DE0485F9B7B8C73649E6A81415C73FF369E3BB55200D9BAF5B6B36DBFCC90008C78B6BA9738909312D4A2549A59F9B0887FF1BEB7FFC9BA7D9F973DE1C1F5C53761D2839753DB4EC4C2B135E2F0B1938283172719CBE3B1CF5F930BC5E5E4B1FBB46BB23EA4CA427FD133FA22D3ED552835363A430AACD3BF6295B8C5C2E9436EEC0B5497502B632D7F0A6268C3FE6928A7126022CE858C01819FEB87DDDFAB61782FBA70DD6037C0E1F2517C1D38E6BB69EDB11B8487AC7867A990CBD8BEEBC0DEB0826798FE0829C143BB2606C20A35F747D433E17ACC69DEDD259BC319DFA094E440EA167EA9FFA692C0F3312A22F46CDFE94BBDC6B37C32C28BB3B7DC8F7043710CEE7582B8BFDFAD987E0FB59F53329CB35C451331555E994962461CA0E1999AA4DD6931504FFC0B424CF8B6B70FE6BE73381B6E7274E9445BB2BD976B12B053E1D2EF2D7D695D935F1922C77E68DBAFB1A75B1A472D35D3BD825D534798F75DCFC03D36B935B417AD89126D20ECE12BA7060C1CF0BC0C23D8A426C1BAEFB050EB08ED715951771EDF6F51C5D8954B978FB2A25368327DBAED92FDEF82C3C5744160C94B3B0ACD01E
ECP4mul8 = 374C38AAF69A566C42C0D59704E83C8661AE1A161D6FDB0E84138D78723D3E0E5967A54FB7D4FF374428C317D51D0D28F5D5D39E167FFFB827E36E8203BBAC2DE0CE5C08A37B2B373FEE90CA8BD3542C42E99EB536D900A9139EC5A5CAC6F59C92602BA2DC951A998DCC96257A1049F9BB428E15490AAF270E6084120CC36DA743457D7802E0F5910652B06E26DEF887237EA73F3B444D66751B102CC205D55EB03B9C52D549B996E0CD67074171F4A4328EC14D23AB07DB1194A652FE9195A082D7ECC44F21F17B1E144A18D41F95FB3E06DB8546DE63A006776B1547619E138E771FFA1A8150655FEFC033CEF07B6F2A909502AA3AC45A3B274870D1DC2CBB2261960532BA682965207155FC2444DE2F8102146682C07B91130AA934D8685A2AEA58A171EF5603A8B06630328CAF75A14159CB137DB83E47D652FD823CCAE2B51B68524048A4ABFBE8ECEBD312A26A403F10F5640376B5912B8A5D19A82E2E5609DE6573C2CC9C1DF8DFF5461DB219084EFD814E93A262300A23CE8BF40FDCFB53BFA93F16554ACD7D4A566425166FEBC8372EBC05FB80AA6FF5E23CF678204BF14DA32C19B7025638C9C8A445A9C5EA1649817603326C728776E4504DCDD646DD703C818AA0664E4FEA83F64218A42CB3A073E90B93B03CC16CE2122E0C10
ECP4wrong = 185B64DE602E2634DE61C28BB16667DD3AECE04714CAF6E2341FB5E068C22FB45130B1F9C9D387B99FDFC4ACA5EB275D09137CFD2DAC8E7FEDE555BA1ACF1F85AB097B5DB238E25892BCE6CF3B2FB846C270295BB8E6EAD4E9516CC6FCE93896999371C3A64102EAE820A7D19FF1CA91AF2AADEF16E72B70548C39B3EBDFEE4C8049884E56DE68ED7E76992C235CD9AC3BD86FFAF1B48D0173E85C2103394EBFFDE179CB92E0A97985A79C3CBC6D291F3AB76FAC047947C45A57F8B8F5B3B004A4E42FAA64BBDBD0D680070F46FFDE2F252CAA016D4A342394B60AE6863468468ADBF832F026CB344AD11537664C32382841567E843F88CFD84B8AFF87EE4B9EAB02B3E9EFFAAB2D47ACB1BE74BBD32FC5D232E9E776C56D955771791F872BB97243171020D718B87D7827D62CA4BAC1C0DDE928A6BD899FFA549064118FF77B6939377E992C7C34B252FCDDC0A98FF1DFD277190A6E9EDECD17104C074DE6F2FE84E605F24002B64A2AA9F4BEA238FA6395D2547BF187DB3B057B10FC88A70A8521E52A171B0B24DB343AE18EFEFA284521D1FA584E8188A1FF151B566903096E6F85912F2B03A8596E9A8B3BD1FA02F2D492A5568055620EF990B7C660697EA60DF42DE41DF05C5B6CB83B6629E23E95725CBD6EC2201344E1EBE507EA045F
ECP4set1 = 33F098F349611EC22907008C10DE412AE1F1087A32AAA65DACF3B5CAAEC95D255B9817631F5640409933610CDE6D1E5F2867A7CE1E08E368D8DD87BE507AE31297782A2DC9D10BEF115FE9383583949E9B3F1CA3B9F8B03D4B4E15CB3BBCC8747D48DE1CCE6FA66FB9245A9A02C5390E79C11CD6DAA195283212CC139A14A300B13CC499B5C52DA8E1E71F20CB5EBCCBEC58C84C06DFB2CA74BB4EEB9630EFC6B94EB848655D0239B44B5AA2F3A58DF00C666EC80903957B1387117BE8F78DE82DBF1A17E163A7CCDA32E1E669458BB886ACDDC9FE430C0ECB31DDCD9F14C49414A3F8E0F99E2F9F1E7588F778E6BEB94319AC17CCC2B87E3A7E1E37DA374B19743E1F23F37827E53BDF18722B2EA015F67C23CE0858A8C744751C0C8E4D36E1F51BE9772D97360E3E1C8DA823C6E068370921D461EF2833A6D68E3915A385DE49CA234138BE1B452011C45CFF6791F0175AF26431546AD83A5B1658D2BA1EB8B31E4231E640FFD1460C24725A6DF4D4F31E8349B0E4C6D565DF960B95C9466C64B15FD94142358234253FACC6BE0FFCCAF83A53EE897C4C48EE5131DA803DCD745CDDB01F0BD39602F1814AC3A5EB5A5B561DFCE835F2A8F68D54028ADEDAA2E252E18D3F536A84234664A01966260D12CB3879A0F3D812E052202D784DF6B4
ECP4set2 = 33F098F349611EC22907008C10DE412AE1F1087A32AAA65DACF3B5CAAEC95D255B9817631F5640409933610CDE6D1E5F2867A7CE1E08E368D8DD87BE507AE31297782A2DC9D10BEF115FE9383583949E9B3F1CA3B9F8B03D4B4E15CB3BBCC8747D48DE1CCE6FA66FB9245A9A02C5390E79C11CD6DAA195283212CC139A14A300B13CC499B5C52DA8E1E71F20CB5EBCCBEC58C84C06DFB2CA74BB4EEB9630EFC6B94EB848655D0239B44B5AA2F3A58DF00C666EC80903957B1387117BE8F78DE82DBF1A17E163A7CCDA32E1E669458BB886ACDDC9FE430C0ECB31DDCD9F14C49414A3F8E0F99E2F9F1E7588F778E6BEB912425460370A0D3C491CCE36A607E35E70839B5E5D014B502D0185ACF911C1713BA4BB3881D9E2A7D7E7A1AA17F5C900F3114763CAAD8B590BE987833195200FCCC3A3E621ABC43AD968A03ECF1E34A406AF4FF4302282DA042E9D2A32B94D1672D7990AEB0852DE6BE7E98A1573122245267F3563C5155A0F4FDC05A95ED0E5907C6924CF5A67A27EE22476BAB02CC9042F3E45E2FE2C04FDFB9F59C3747B7251648362B7B983969F3EDFA91DC48399D5A9377B36502CE200DB446FBFF5011424E9107AFC8BC7D959EC1F32DE01C37C41ED7FF9F2CD748266EC26CF02F697A99377C769473958C817F2A139D1B81E77
#test9
ECP41 = 01058C478BF1A40781943C07EAA989A3D671A709558078FB08B3A5B2B5B3F0003CF36AFD58EE522917C01AF9441985C21097F41EBD540818B6E959E7094F0AE34F169AF1C29D02BB0B5B207E84A31C3F4FBBD6F01F0A42ECF6A2684763E246A8935AE27E42841EF6A42BACC34B631C896B43805672324C4021A9329C19FCA6BE5C4BE127310E506F37CD09E883F817DCBF4B53AEB7B9FFCBB0A4612925A469689855025C77EA3C57CD39811C66BC19599338572243B3751EA8A44C3504EF005676460B3AA5AB53897AA353280529D944B232F8E367CA8A1F9330190EC3BA95891E676032171A0F012FC5E9571241502544D786DF1647961CE7639D487987E1323C7E4A484E2560CDBD42F01C6ABC1E445F548C61EF164FF8DEADE94F6736AFBB9643A36DC1C320797129CF8826DD49BC118F1DDAFCB5190EB153CF78BF3457A5792E28AF4A162BFD8ACFE9C345620E39F52DC46E1EBC62594BA2112E77D147B85C662E0FEEC57E4A4DDC19776C37BF7DD1116A3DF099CCD9051E8D215DC3B758A085D7C9017DEC52E4C6BBC49A2E9492E95EB55059504B0643D4A9BDF76772A183A91F8E0E3E31CB0600F2BAEA184CC8B65853BBC6094C9739E8128DFE675D0B65C95E4FC37CFC7EA2EDF41B6A888AF8EDA306C1FDFBE35ACBA67E8067C20349
ECP42 = 4D5D1D3A39B163615F94C133313634A110DC93738DD17D579F978DBC6BB92E0EE164B0B3629F874BD1EB7A61C602CB308C018A3BC1CDCB1F648067D8476B2BF2A7E5BAD604B81032328D41F5BC28865BC4948C96CAB834502512EF2AD17C5A348596D8C6E2AA65D5D0C107BED21B1484FE32ADBB15FACFE53FB752D34A092AAF7B2B72AA36587A682694EA28F46E39646AF54D098C1FC111162434A0C4D938B8F364B8178027CC514FBFA4E9FF098AD9B0F00DB60F2215110BC610F723456FC410DA123E3FCA9D571ABEAF392C45CE71E0B724878EE2EC720EFFA3BC827DAD7F41BA8D5D7E57375E2CC168C559AED0D32E5CFB346E96E027E4FDA2F440925CC7B36EDB35667E08232FD22390C7BC3849D5A386D7C9F1DC0D7DEC1287A6C80FE0DA21505626A5111F9740612B1F4669B343EB6FF8478D0FA0B32CFDA52FDABB39CEC9F44A62502E55B54A6E5291A05977907410BC58CCA8366F95BDDB079125108110D5C28E7126140D38CBD630FE117E9C30BF7078CC8607305AA0CF40D6DA1B1FAD3785634D092437270717621BE31902930CA3E36E4DCBECEE0607BD41253EFD991553252AFF97A74D7E8B61509E515200EB7CB93C1BC24C41ED219B0874E567DD6780981F13DE2E2D0EF7BEAA06F49455E96D7F8B9D521E41F1C26CE2F241
BIGscalar1 = 07E555E3707961ACF505F1B26CEE7F1A6FC0732AF695EB137D1D934B95AF73FDF05C83DF65AD4F04D0FEFE8AFF24D21809DF1847936AF8C8B7CD43E8
BIGscalar2 = 3C0A7460955D5ED91C018C6A249BF4A9CC2CB8EFD5B51D7D50A8AC4420F41C5808A9ADFCC7EADDEE2AC1D476CF32E800692D93B7D51B2ED2AB3ADD8C
BIGscalar3 = 09D3E7A5507E803B99D9A3DF8284B430051F8D8C55C372B2DF9A221B61BE087EA4A0EB507CB44E1D54396258F3DFC87CAF055E15DEF06D7D6389819E
BIGscalar4 = 555B297C9CFD862488E0EDB3D9F457AA8D35FC217FA6D1C661D78990E7024C7DB7322869F580768C62C82E5437DA45EE52D121FC4FC1DC3676DA0549
BIGscalar5 = 2A97541CFAB8DB09FAD1D9A63C3B832098959D8D1443597B0549C028FF1C884332892BD44C85E6F7A9B8BDD5FC4D0685A1BB4ECE55277566835A99CA
BIGscalar6 = 33F130B078BA3D43AF603A1D70D3CEA0F5D77FB8D7C428C3362FA9BA757F428C1E5749A5F49F35FA1BFABEF4BA4BCBE61B91C6AE77E929B3192A91B5
BIGscalar7 = 4855DC62706E66880114BC170558B3A642BD20553917B6D0C9B8527E7959FFC2FBC1C385EBAD9B62FB82F09E4A9CABC4DE88E728C993287D0ABB6504
BIGscalar8 = 0AB0A58646FA4193D58466D75DF3C08B96562CF660CECE786DDF8E5C640581B3400E19C6B639545BA71BCC224C3D63544D71E611F32A503FC3FF2D43
ECP4sum = 4A9ED0BB9243B0FC32BFD2F9E8612E9286DBD038B0D727F28C81CF6CBFCFEAB4B375C745C7FFA379CDA58DFDE4B8CE0A471DA407F2B937563B74DE5240B6D626CF607EDCA9A1F8441C8BB18F93F9584B33996645935D58362F4888E2CBC041D880C317B87C5DBDDC092076D986077139D4DD46C7CBB60AA90B3A351811BB26496F309020C21316ABFC6724B3B8B1E1316E6C751AA207CE383E29E8650F97262E3C720495D5F51A31D32DDE4960E20D1BBC36696E21A15B66BE3AECAA2E5B37649356D1EE9EE5A7AFA98D2819E1DDC55F06C6DE40E96B4B485D1E229A1B078D123FC6B3A8AB84470D7F373E40B0FB18010C1617548B896A538639D3DE3F72442E212A8D7E1A753F5D29999976D25E475E16F8E6539CD288803CC873AB2AA5DEF5CF85E078A81C4BD2616F0C1B0AFC4BC9B9BE8277BAA75CE7C51E6157AE320D34CC6B46516DDA73A4BC10BDADD1CC95501A64D2A4D2B2D8F56DAF38F2A8AA835FDC43899591DA01292BCA14B16BECC4B9BD733F5B35731DEBD3C7FD4D7E6ECACD75D4BF6540A0DA4EA831F69D1B49A77E2661C9EA96B4A5F7F0D495484CB6F9BAE68F22F50D59B0F4AFB95B6423B288695F46615AFA4E33A506E9E15D89445E1A066FF6BC7AEB3A75A5CE833904960C7F66E72D91F9346BF33ADC869814DC0756
ECP4neg = 01058C478BF1A40781943C07EAA989A3D671A709558078FB08B3A5B2B5B3F0003CF36AFD58EE522917C01AF9441985C21097F41EBD540818B6E959E7094F0AE34F169AF1C29D02BB0B5B207E84A31C3F4FBBD6F01F0A42ECF6A2684763E246A8935AE27E42841EF6A42BACC34B631C896B43805672324C4021A9329C19FCA6BE5C4BE127310E506F37CD09E883F817DCBF4B53AEB7B9FFCBB0A4612925A469689855025C77EA3C57CD39811C66BC19599338572243B3751EA8A44C3504EF005676460B3AA5AB53897AA353280529D944B232F8E367CA8A1F9330190EC3BA95891E676032171A0F012FC5E9571241502510847998ED852F9D9C374F2606B74D45A843703A02541267AB9DAE02B9844342D2CC52A49B1C3B763DAED4673F0C502751E98D6D3681A0EDD8DC45A32E7EB6BBF23DA7DF86E5D35FCEEB5EFF258D62DCD74B4A861ECA7221997077C3ECBED0CC9504C700FDA05B5D5AA0EEB4705BE9229BDE93575B4096E1077FE7009795063CB28982308FA5619EDFA32D60F2B5BBDCC85AC65622C275344D5A2341F003F6DC32FE08664CF2B4DCA458871D00DD4EC5C65CF59D471DCEACFDCBD2FF99829FA5C9E6DABC1EB86DEB169160A76A794113BE7703376EA3E287E7449753B1D432BDB89FF920EA314D802C9E42E6E24411E2
ECP4sub = 1D236C2EAEF048D4451589164F290B5B15BBC2F7764F82CF5CB1BACE864D6482A6F0BE8AA8C1CFA576AD8D4831BD2AC33091F7E05AFE02C56A6B04C433E5E6A5A9ACF2389FFF8257A77B3CC2ACF66D420C6ACED7CD3BFB65E5EFCFF8F8724495D8C41CFEE875719145ABA1F8950B7ED5499436DEB671F6EA3DDFF0AE75ACFC992ADF0B67B500FB604D519738A57EFE6A9235A61D0C360466C4A7D880F057482562D154845807D61DBB4E16482300D451FA34185B245261224D38562E7722000211176A5DA3C992714FF24EDEFC593A8B54E40E2ED11A7EDDF640ACEDF2AEA1F670504F32426A6936AE8DAFF35857F726088D84ADC81E09920CD7F36A842CD05E9CD3CFFA016B3C971821D5886CC65156C407E45E7BA1E39BC15C09D93E3C844BACB1FCA6FE3A2BF80B61920046DA63DDC0BFE7CFEC1142822754751EADA703AAE3D6B4D085B3D880F18AE7D8A72D37E1F09A1AF5D40BFFAEDBEEE5DB1D8C20F4609DBB805726B37103126569C7E8685F196C8F6F1180EBCA07A74238F108AE9F9A92A06D34B34752BB597635693A199724BD627600E332A9118CCBF5C7C90B4885E2B4E94CF895698F97E776E0730502AC8CC0CEFD90B3659C789C7DAC9903330D5909ABACF346F6A3A6B8B1351942736B9673BE4CED80A5C2DDB2A4D261C979
ECP4frob = 3B6E920683515CDF6FDA97F1EBA1B5CD1E5FE5F6CFA9C00BD9FAC5972EBB5FFB8F671F85FC811E8DA6BF312C48AECC56DC6AC426D5E0C79529313C8E51FC393199C2164F02D0D7092577526E72DF6B4984DBCF615E24FEB5647B37D258EF58D680952DD095B45482BDC5491326C9B7EEA4753A1D669250AD43B3751EA8A44C3504EF005676460B3AA5AB53897AA353280529D944B232F8E367CA8A1F9330190EC3BA95891E676032171A0F012FC5E9571241502521A9329C19FCA6BE5C4BE127310E506F37CD09E883F817DCBF4B53AEB7B9FFCBB0A4612925A469689855025C77EA3C57CD39811C66BC19599338572240375C2AB31B84001BDCA21878D7885CD821605C85D4B150E547932606484D68BC447AB48523C3FB83D6B7C60AF710DB57948839B67003D0846A85083884F96DD05FF1D5B2A5ED352228904D327EAF30E8C1FA7F3459F880008648299F46DDBCDE3342C2DE973C3DCC6295B3A104A449F695F148E12562B82FAE606A07A92B12DB55719F1C7CE7CCAFF70EC03653FEFC4ADECFE87F53D7EDE5F247EB0369761A4CC446F58F3D04D75C5DD70B2331AB672C650C5125CDBD6F03F094C54F95EA4D52E482F9AB9089897FFD70A32F6866E82FE43641A32F14F292E6451BD1F72DB800A45189CEE107F3D297C239BF5E71AD
ECP4dbl = 1F9428B6375EC5303765D104C86A6DFE4E995BFFA2B184B9ABDD66EDB15E40B0D9CD6855829BEBD17F55551BEDA12D537E8DAE4ABF8765AFEC0F181C1F5B7385287FCEC5AB9E9B04EE3AF437EC1A64A10B6DDCACA797712EC6B473E87A9FC31807246F5EED30A2D3651013B6E45256D639ADBF96A547F4C84F184D1B96B55E95947CC984F34486869E4A5DA225C8756A5B8225CFD55674E33002D696CC4186E5308A489E1B1B266464A25E025FB26B403EF258C82BA49FC7CD961257DEFAB5D84A24281948D3CE0A4ABD6A9E97DB6A35C66A5B0839A7C8DA3E3EBD92239A430ADC312E63DF95A8197067D5661EFE3CFE3FE97084B4F3C90CB5C2D19624ACFAE971F291763FE30FF76883FEDBE9C79536F5AA828DCCC233EC3CEE94C23BC56A9B13D3B1CBB5BA92980357170A3CBBF694055E5486028AD9B67E5BDD6D62E3488BF4DA1FC05D8F35A77C61EFD97B1F8F539C63B1F1F4E3122757D9FDF6B7C710FE15B5F0DF8D6BD3E52AAB9D62583A9028C5311C3AD69AA0329B34B7EDAE89EE3EA9793F50CFBF837523137944A3D46DD6F95FB14757E8ED545EEB4F1CBC69EF8CE9E0ABEA33C359854C34CBDF8781E82B5B3F1710C63E89C6A768217EC67A59509DFEA127AD2F6ED8D44E7F6C19DA87736C9EAEC6FD542A1391258BC07436391A
ECP4mul = 13889B4DCEF9B82FA33D8398A6F1AE378E8A45C04C3C603D19DECB1A62F6A7966F0C8705E71C28A3FE5F897E35061BDAE1E4E6A90FD944647DA216EB2525749632907965EEF238C5268EF299760E594CE18306317662937D9B79A8EC3AE1C433E0730A6109FF7F43620D5912B14F3AB51AE7DB6D4D0094A401A145599275737A7BE0AAB3340E3B6B8EF6F1E8E758D127D46E3FA7F55B74583EA09374292A5603A9BDE107463E2A64F8D49457FCD29F4BF961AB7818953BE6458EEEC8CBBAAC3B3A70BAE83B6490BF2AECE0B090D2B20CBBF4AC4794D93988CEF503542D0F9DC05BB5776B07FAE0CEDDD426A6E310FA5C1249EE26B23A2732676074D9C76A0736C537195B9404E8349DEE06A521CEE47976B6D0F508687CB269FEADDF674FBF9FA8831C382E4B269D8CDEDE4E284B8247DA8595E91DA8DC8F6BEF107D6DFCC4B352EAC40593A6699BE306A69C0BA44AC0615A0B575B34D4A3D832BA8DACEABFEC69624DF46B096652461B748FAFD56D7A2010CFA4E515A4C783CE48747657285034BD47DFDC9CA06BA1EF543566DFE09CC603BEB6CBA5D44F88C50BA5BC9BD3BEDB25352647F1DBD2403D558D0A506A67D6D7FAA1F4D77334E37D151020270F7C008D525D97CE806EB547C485F5068F0661ABC48C3D1243BC396A42B6DE1E6CE3
ECP4mul8 = 450640FF19A60D95F80026C3079B9DA1E099C31416EEE5ADEFF749E10FEDA2B28FE34B9F1C745ED771053529E2032B3092885BA808D613E6A08173DF28FB714C316A179841D17E87881EE966B59100BFA36B79A0BB56FE5A611E4D8179F8CEEEDFAC38BE8EBC2EEC8A7A0FF80B62944237DF5B036B547BB1457745066BDFA67FE7F2610EC9E51A088CC2761A3332B5066AA09971D819EC3DC97936E83F4BF7E31418344878C76DC100C3B054FFEDED71F2A2904048A8701B7D844A6B11D962195A352ED2D60DA713F97EB8338DF783878C1A3B3D00D1690A5C26A0BCC50297BB1DCD1D6A987DA87294E3AF9B66ED6C1013B21242C68E2B0BF2C8FD40491FD8E7C6AEF6949C2CF5F03B2B061F8E2EFB3AF98D3A0F971D23475CD6D60140F5A6C9E71FC5FF37177DA2D5DBE2A340D759A5E111853B5E52B10945F3F350EF837745E007AF97D41DB3880ACEDF63C61D58324CF6E2A7A8CEB941AC98E0D324D50718BE6361FD5A81F301519D1BF653D2D5739233CE26D3C28B1E830623CB7AAC911330EC78B8A9AA763CBDD4519848F74ED8939E6441E4C908D6B670257E2A0FFD6F445490211EAE38856583B1E8906951F8D6455EF38FD3B08B8660A4ECAAAFB24B0D35FF66D46E63455C22DA27F9DDBB9B6019C21C4A3BA343D69D42EB7C6E3D18
ECP4wrong = 0788BE7A0F8747C95C813B450118E3C412F95BAD3DA53BA8B50550BB863BD7D2BB6BA2E28024009DD328E401BF6FD8DEFAA96F100CCB3EC2E0984DBE491F451AA019FDC3BE45379C1D8E2F82C38E8D89A511E2FC2719EB75113A14B0747D952F9E71781247310266255980D55CE21BCBD52EFD60E9702361168EB227213BF14A0282772C375F61B6AE395AA50FAC8E752FBB8C3E8C9849E3E20E9905F41A05FFC88892582DE4DBF68A3C3EACF42A87E634D88776208D0CF43DC9B9B4667720EAE032D319FEDDFAE51DE164F0E460C87B252C72AE7E4F5C7485C1E54533850BA4A168B2035C0AA383F5C6D43DC348817805FF695A2C0BFFB1AF753D5F45B148FF0763B84959D527D2155CF27F9D566ECEF20610014703B1EBE4CDF75A9775C1A77E3102C65A8494AA0C87CDC83531F8D97C258B0781BB5F0490D18FED6514B23818C67A6A96258A32D34E9AFD2C5E1FA6F6E5F9D2C28C59635BE6666A31EC7DEBED0E4FF29BABD8514B9D60070E22627F3B1BEA60233CAC8D9086C5684B89767E1D88B65017C0ECC18E9C6B385DB4732095B22E027EFDA5D079EEB6F4C5B62D395F91481313C881B62A2D7F8F5797887E332D7B4A11445C88AAA9F3E5FF78142E3B2012BCC67A35D0EBFABE534E71DB35677A51800A7389459A844C15F3F1495F
ECP4set1 = 01058C478BF1A40781943C07EAA989A3D671A709558078FB08B3A5B2B5B3F0003CF36AFD58EE522917C01AF9441985C21097F41EBD540818B6E959E7094F0AE34F169AF1C29D02BB0B5B207E84A31C3F4FBBD6F01F0A42ECF6A2684763E246A8935AE27E42841EF6A42BACC34B631C896B43805672324C4021A9329C19FCA6BE5C4BE127310E506F37CD09E883F817DCBF4B53AEB7B9FFCBB0A4612925A469689855025C77EA3C57CD39811C66BC19599338572243B3751EA8A44C3504EF005676460B3AA5AB53897AA353280529D944B232F8E367CA8A1F9330190EC3BA95891E676032171A0F012FC5E9571241502544D786DF1647961CE7639D487987E1323C7E4A484E2560CDBD42F01C6ABC1E445F548C61EF164FF8DEADE94F6736AFBB9643A36DC1C320797129CF8826DD49BC118F1DDAFCB5190EB153CF78BF3457A5792E28AF4A162BFD8ACFE9C345620E39F52DC46E1EBC62594BA2112E77D147B85C662E0FEEC57E4A4DDC19776C37BF7DD1116A3DF099CCD9051E8D215DC3B758A085D7C9017DEC52E4C6BBC49A2E9492E95EB55059504B0643D4A9BDF76772A183A91F8E0E3E31CB0600F2BAEA184CC8B65853BBC6094C9739E8128DFE675D0B65C95E4FC37CFC7EA2EDF41B6A888AF8EDA306C1FDFBE35ACBA67E8067C20349
ECP4set2 = 01058C478BF1A40781943C07EAA989A3D671A709558078FB08B3A5B2B5B3F0003CF36AFD58EE522917C01AF9441985C21097F41EBD540818B6E959E7094F0AE34F169AF1C29D02BB0B5B207E84A31C3F4FBBD6F01F0A42ECF6A2684763E246A8935AE27E42841EF6A42BACC34B631C896B43805672324C4021A9329C19FCA6BE5C4BE127310E506F37CD09E883F817DCBF4B53AEB7B9FFCBB0A4612925A469689855025C77EA3C57CD39811C66BC19599338572243B3751EA8A44C3504EF005676460B3AA5AB53897AA353280529D944B232F8E367CA8A1F9330190EC3BA95891E676032171A0F012FC5E9571241502510847998ED852F9D9C374F2606B74D45A843703A02541267AB9DAE02B9844342D2CC52A49B1C3B763DAED4673F0C502751E98D6D3681A0EDD8DC45A32E7EB6BBF23DA7DF86E5D35FCEEB5EFF258D62DCD74B4A861ECA7221997077C3ECBED0CC9504C700FDA05B5D5AA0EEB4705BE9229BDE93575B4096E1077FE7009795063CB28982308FA5619EDFA32D60F2B5BBDCC85AC65622C275344D5A2341F003F6DC32FE08664CF2B4DCA458871D00DD4EC5C65CF59D471DCEACFDCBD2FF99829FA5C9E6DABC1EB86DEB169160A76A794113BE7703376EA3E287E7449753B1D432BDB89FF920EA314D802C9E42E6E24411E2
#test10
ECP41 = 0467AE4814BC27AB27688ED422033B4D4A620C01EEE050C8A635442860CDB10E885FFD14A09818341C5749AFFB1944FADD5C5DAD3143693026263F3F4620ED9D57AAD7E4903CD5A8D29A6A99F7EFD66F7CD4CA02EDB4C1CEB90954E357789C14766FC14EFDF4CEE5A5270BCB43F43EEA42C2C695BE0AFFCF2DB37B7523181D7D36784C7CCD384D1E07F40460B6E254AB85FA97C6758DC468A045250C4F0605EFAD67D83A45EDA59759233B3D1EB53F4BBFB5E2492D2DF6FEB70716F5786A50EF6B06740BD4F44F097D562500F491F9A0C292BB22363089E5815E9A2C140FBFC977DB34D7B1E8CE16B33134128119D9EC4AA5FF5A3CBACFFA4F1DCF7733E6E5984D8D2A9E26A010B1C62C5D24778EE2020D9A9158D6EAB81110B3CD40CDBA338C265C070E9B071FC87789EF884F9FFA53FB1B3114776F60232F6414B5BE5B9CF0BCA9BFA5D952521DE79BE53DEB859BF1CB2375264D15CC6BF9D93705C049F56839724B362E9CB7E24795587713E921AF2542337B52E825446C6F3D1BB1C85DB104F87E0BE19184748584DDDF5FC65C911385D8BB102A89283F97BD05061739B1BAABB5A3005AD782D119204216AA176432E4E594F35D66922DAAEFEEAC58BCE43DE9DBD4F2E2BD8BEE2FD14E3002F14EFBDD33B3989CF27853012A36EA9EF567
ECP42 = 0B62AB14D097E5153E08822C3DDE8A8E301B5FED5013245A75BE2085B935784C435A581BA4B5C49F83E964BEDB3BBBF54ADE8C707B0FA10880FF514541F03D7AFA93D760FC72742D43D445C52A0CEA3460A2E0FEF34CBA93BDA3941000928FCC5D7D528BAD22014C97BBAC3779B5A7BD7B4BED647BAB94F5337F278FCB6E242D77CACE38B2D2BD771B0F7E8A6D4DDE2254281A5BEEE5BDF6144CBAC9762A08E765337C71F3420FA39380DE5BBCB49EA604AE81B90AD0F3753DE9CCBE3CCF88124FEC827088A847ECA092822E58BDC9CBD54FEAC546A30D6092CF0C99DBFEC21E9C48F01F760D3412F278602CE0D4B926291734B27A6A1361DB903DFBC53C6930199C9DFA818234C443A6488E7D000D8A184CEBC2262C658DCB53114284BA8E1C30C91482F1BA610B1078EC06417DFF0BE6ECBABB79C550669CE6F9A55907DF7BF48F2291797A4FB1DB82DDBC3F2421576B3398A3408844AF8ADE7781AD336E103ABC50EBDD7866FE108F641D49D0D60B351BF7C16AF687BB64D8A911DBF4281FD92694822C2C2753E85027ADC545796710B055DF90477073DBC1098651D9C27E2A9680EB42B658A39C5E0F14DB88253514FF6733BC3BEB4525696C0288999DC12011F6F5015B220BDA6281232EF5CAD27611367EF1EAAECCC73F637D7F2D31DA
BIGscalar1 = 4D0E9A3D0DB77119A76277A3602B3322A28BCE51D3870C638C7FF1E7535EB1805A70E1FC50383880C2407D26C406C0F431DD863EA9E75F3CDF388B59
BIGscalar2 = 05AF6E46380203C27714600DC48A79B4C5DA71605E08B0C6A4EF0B54C9F812D0C63957077135EF4041E6512297BE13F4C09C1EAE3F6894760085815E
BIGscalar3 = 1EBD89CF0BF23669DC77A6E19C87DB795A1FF71A13A321812A6BB36A189D5889E122F8E2F966F259FEAF1D5247E3F3B8CB37DAC2FB6850301AF3180B
BIGscalar4 = 04049296042D625F33B3A61B0A9AB8B9304E151EBF5B367B8D6C89D170DBDE10FFC2DF3E564235B59658BCC40CFA4B905DF7159C162B5D30552E33D1
BIGscalar5 = 3DB9D40B2443B9CC532828C1C102B73EEDAA9B2115AC12FCE7F7E5FA05317ABBB9C94DA0A715AFDDF2685281695891AA2CEEB53F5B3CE363FA7A39F8
BIGscalar6 = 3587F132E9EED20FFE6FD110563E66CF2403E5272304C11D3842AEACAAB78601346F1CF99A1AFE4021DED6350C3A4908A69A95A9EC91AA452AAECD42
BIGscalar7 = 0E4401462B43DA3F1894D985F65FD522E00FCBADEC5474FD601513E9FD4086F7A041C0B4FB1B4923D8F34BDDA49E2A80BF32027525D67F49FB5BC3DE
BIGscalar8 = 1F642172E4249463A01523ABE5D51D2DD68D5BBB5B89A1529508ABE8B727FB4F66A219B332B26DA68F542CAD2CD6318D09215D4E700652DE8D7B74B1
ECP4sum = 1BD6567BCF4DAF405CC6B0D7181831F025B10F198462A60A928AB06E54E8EBCC694CA4652460891F9946998602650BBE794D4ED33834ED2625A1BAC039F0BEDDA9CF7E319BE1BA7624B01C5959E40A345E54B2D43C1BA245A8C3D80B117EB4A44847B78C7CD650C6B84560065A05C3D14DA873EDA58481C333AC17C6E6EA0FE4D352062B539A70599263C0956D1B4A7B6F31A3214FF6A769BB885613E8F473890724A05F9137A966A0EE4172AB6DD0C782654850372D5F72AD6B7BC2D035E90101135E751E7F233A54BE5F26AC09E229F5EB32006826B80EE7D3B0C58B812B47589C5667907596FC6BD7B38DC86B68B52E00959B05F1052341A20FA3F62ABB49292FDDC7E35735A00BDFBA6F23DC9463A6FB9B364BAE3405664EDF00BC7828D9D65FCF8F4BBE205A6F5427930A3226034DA7344CAE8AEE20C1FB647405ADC581F4164F84B0766C9A83C539667EE5EFA62AE700B0054FDAD282C64B228B901C921AC8A91DD85BB16D554177CD1CD50C7BE5A7021A727A8BAF4CA099440E9E92CE92F9FDC1E2EAFD4E5A768932FE3A5ACAAE060CE8F093AB4FDD9E372A8DE32A21EC02DCD13D6749C4349202B6C2B9FD66BE2F159BB848EDD3F1AE60EB329B21FF5609A40C21718126F2F6A118117A89C0762410ED48D237F7B4DC620BFADA1147
ECP4neg = 0467AE4814BC27AB27688ED422033B4D4A620C01EEE050C8A635442860CDB10E885FFD14A09818341C5749AFFB1944FADD5C5DAD3143693026263F3F4620ED9D57AAD7E4903CD5A8D29A6A99F7EFD66F7CD4CA02EDB4C1CEB90954E357789C14766FC14EFDF4CEE5A5270BCB43F43EEA42C2C695BE0AFFCF2DB37B7523181D7D36784C7CCD384D1E07F40460B6E254AB85FA97C6758DC468A045250C4F0605EFAD67D83A45EDA59759233B3D1EB53F4BBFB5E2492D2DF6FEB70716F5786A50EF6B06740BD4F44F097D562500F491F9A0C292BB22363089E5815E9A2C140FBFC977DB34D7B1E8CE16B33134128119D9EC0AB6011DC711F5C0347D1CF74C5848DF97348FE429D96283A2B440FAACB17F8524864DADB347D35E0BA8F075D888CC56C1D129CC5D3DA19ED27C25A305BC062408B194A60C2B8C4B50DB19C226661D9193CFB38F8F8E4C013CA47C49469B4314BF0F1648CF46F14AAC69C8DD27E33B72BED276311B695D490DC6A800EFE3A40B5E58B8F32D57093378527D669EB1158463E8201342AEDD12AC9C01272A6C2EDE08D6E4FB961876BAA89573D5F22D87B58F5A5F88550128F532B3A5786CF0D50A4D5A48E2F16453F022CE8346BC87E13AE65685B23F3E217A9C02BA20EC59CC67AA65CC2F4F903E62A54397305F671FC4
ECP4sub = 08ECD31918B407C78047707D99DDE4A6251CFA4053D3DDE7244F6C47853C9F5340DB4252A290A18B3CE7C068735C13F3B058ED543E69DACBDB6B52EC2E7AD0A2DD57E3356F8442A708AF7824EF66F416E255A23FAF00B3E8609BCE08DA7BB2D72DB9E9040B30171653891A80837B916AAAFF970E862EA64A06E3384F1AAAC4ABBBC47328B76E302D56C5DE6D0A9FD2995A4126713DC23FBF42E02A4333AEEF949E70F51622A61BFFA354C1879EE7EA50DE04DE4018DC59E77EE83F06FF278E1EEE379D12E1A8A79DE568656026D704D52DDE7523E13FC3F2289249B99A25951DA51E3CC389F0326A1C102A7C1381A121520BF5C97E96234268F13201570036AF859E7DD46D0EB0BA4C2B080057E4B58AB6ABB14EFE725ADE6A9C5175F0BE395F5D84A904161F9A2AF3EC7C4F10D20255AE1BFC2B101DE1C46C443C9308554ABF38F4A876891637B1937AEC3406202FC2A06902B4258E52EF9023C37D15C88CAD11A1773AD1EF7E460ED0120C917DFBD0AB9D88162DE0E369B80F39F02E2893B83F0EDF6DA82AC6C259F7BDF090C5A8F5BCC9BC4BDACB7F0E701DFC3EA768B0D4661E23CF2525EECC737CC96F17B8D30E3DD78466A7BDA0120296ACC1386FCA23631999CFA491EF70801D613DFDC33C1A0F69DDD31043E6F907EEF291564F2B93
ECP4frob = 4E27980F4C33F478993980275F70C86DB1468C6D95116030D5A94F09F5AA8F10C8F2F5B1AD3BDD7BC6A3D73334E7BA57639C9F31CCDA4FD573FDB41953112765F9B4BEB933EE543B4BCCEA1BB9ADB027FE001317867352BE0702AB7F66F831108C30FF3F2DC52A6E19E45BBDE7F718BC21E21414FFC4FBE82D2DF6FEB70716F5786A50EF6B06740BD4F44F097D562500F491F9A0C292BB22363089E5815E9A2C140FBFC977DB34D7B1E8CE16B33134128119D9EC2DB37B7523181D7D36784C7CCD384D1E07F40460B6E254AB85FA97C6758DC468A045250C4F0605EFAD67D83A45EDA59759233B3D1EB53F4BBFB5E24942F3ADB6FE6D02BEDE1319DEFE6B86BCCEAF0EC5D4521D21DF2755ECE30B4D8A1B63D3B95EEE31E47EEDC0F860F41BFEEF8BB727AF4DBB721B5B569C4808969E137AF05D9DD66DC9BE19F5EF9F451D82925D5EDD678A2529450C8918D6438696F240A62357F0E74C079406638907627B87E09D029AEE9E272D03462B4CBB9CA95ECC24E136E7487B920BE60B52B81CAA934250C22F5D10611A8B6A4A6C134D828FF6556CC4F0380EAEABFDACEF88734B2E17C0003993394CDF2A8FB9E78FB3C61F8F446A3FEE684873C9DDDC0E30116F485C425B13B6BA77D3C59F9F417CCAF11EBA357871E379B85AA4FCD04D19FE79
ECP4dbl = 4E1CED14F7240CE4B8B8239AE733199556A5E256FEA3304773F3892CF16F27DCDB73FAD0E1DF7A6BF4DF3378790A703CE0B0AE62D9EFD41875AB632E514F7A4B710D7E02E6C24545BDEDFC3379C6CA3C5BF475727F2B2D64E8DA91B417742E6695285216CE99EC2B918D755B00AA546D7435AD4556D71EDB0DA884CAF54E48307D452B14ACBBEA1879610CFA1E65F84EA074F2991C6E05EA530CD5B92A40D7FB1410F5083765621E0B7493F6250286FDF729BFFD4E956AA82EE5B313E05717BF9EAC9AFBA8F392534493FC350EE7FEE37F0CD1583B6C62899DD2AC36721EA884E2F6D592AABDB5FA403D32A68C5706B1197D61E4CA6C9EECBCB0E8D28F641DED820512D29F05D8DE5C4363FAF9E6E4C27B0C0D79A62B6A07D712C02CFD6F50F62C04F7D42D70040C840D1F67199F3D7DC365704E0CD14D9CCFC5383EE9F51B7E2F1B652AFF65CC93067D230B479DEA417A4871F8CE69D6C46EE9EC9D9C501FD729E691B9765D806C45E9A5D3A20E8B4CD61AAC8B993DB716B72F4B220B242D52F6CC8082EAFAE8B59A1208248AF90FDB0168D321C675908B0FD353D0927955B7C18128D133440EB6A6045BBE56F7B8A62E7CCF1F895E41D1BC72AEDF6E01EEAF15C74AE7A465ABFDA6508DAEA409A1C3A45B391A0B2C356BD93911ADAE0C9F95
ECP4mul = 4757882682DB1B6695548472143B40650D1522432682242A8800F910528C3AC95340A502A935F61CC502E98042F60116634A61D5D643DE1BAF79A87A2AFC19ED2FA3E6C5E59793830017B154B559B207E25AEBC9C5DA7D29106EAC99197C5C219F57D2187B1F61E1180000C70C50B7EC6464840CCF7C8C7C4572976C05E09E18F9B07C0ABBBBAF34E57CDC7E50300FCD1B026020271D94B9ED00C05C19BE95B882DD972A96933E5E48F4178E99F315F17C685B7E22623EA33B4292F84C815E8351CE21EE803E0FB959B537AC0E65AA56F93C65E25E438AB22A1BE95C948D5F69568F37E3763CFAFB0BDA252454F106140108EF4135A55B7358577727F968ABFD9E5729DB10878BDE9C0165E210D7BFEF2B61B3CE006ACC6F8CB113CCE9992637B136912094B21BA7E4C224092F9B9F937B1040ECF7BDE978FA3F920DCC3B4790DFF3582824AFA4EF76B8E6DBF5786BD036E032991D279E0B05AE80DAFBC5F33E0F5D6CC4F9C922263B23236047BFE39844E43ED87ECCE06145FE2EBA4FA398B089D7FA0F0C025C67FB777F422DC8F101B297A04C1B9BB1683B8619F9144F42DD5FB8CB101A7F30BC4C42DFD1EF5E120978BCF54FCC423C3C6EF6C51C5A9F93B4F22955A2069678E7759945054DCB5D942FB001CDE97B49A1519AC9894B80B452
ECP4mul8 = 53CC36ECD459665869E32CA3DEE053EBCFDD69B16A1FFC81F28C762562EA519A318590F9F56E66803A99BE1D8D8366133B0C5EE340D0660E2DA073D64FB4AE2A83497CDD0446AA52C2C9A622D525C1AB68C782259A0918CA0D7AFEFE8A8F5569C1A03D5FA33FDE5F954074335DE8D4FCF5B69C4E90EBE8B62236C2D6F33925A0337523B29C61D7489576066604351A8FB6ACC800745E04FEB885011C793EBF0DA97A843EF5551B802736CF64C1A761F34D1462082A93EB1B3CD0F83DF8E6394C44FB7EF9CCA6AE771E2C0B9AAD3F5C43792E03F8C0E3CB4F4F70F40A47BB8D663028223ED6B9E2E1D3FCF213C216CEFC35F99DD317C09FD8DACE0AFE20ACDB7ACDE64CF0BB88F231251E9433C3FA98023C75B6CE93CBB43F0B54365E6F70A36AA7CCD78E616FFF32E40E8E2F13E3ECBF37AB80020C312A9A5044D23A0125D0B1EA27F531ABE69E6BCCAADCCEC804D373E3022C16B1314A015C4BD11ACBB0C0024721DE5239DA31A42EA4A86BAC5BE9C3B29EC69ECDC4F8618DE0009BC84198FF7714BC74C3AEAB5B8AD65FE6F1051B498F4609EF9AD4FBFFD2B412272DC85EEC3D6B67562FA8853DAABC1352905ACE6A2F604B9E2EAD116E47ABE92C4FAC065BF519CC8F9B97E6FA256448A79B48F36CEB5599CEEA7FCA339D3EE2EABDF70C4F
ECP4wrong = 1DE1965C305EBC9F418F3B6708BA6931C5CD5214F182C30F363646073C27ED9982369CA73B6967A3ED7E4AF63AF885A263A639155162FB11C874051A110786880A0926F53089B7A6AE2EE284208F77768AFCF8B6B5CC69DEA734A6D49F6CA1E5245A1474A05CAB8E6A0EA2346B082BD91D28A7ECACA8151D251ABE604A4C787DF33AE2219C9FCBC41FE16741A1033B736030E51981182515BEC79F5E3F3B4B8E14C6A97DDE7C9C0F12E12B7E647A248EE05C90112421B92881B158A0BE08AAD8FFB61C1CB4E2E9A6D8225CCE8EA09168529B804C2F38D9B836ED664F11D571B16B214351EE0F58016335FE19A9CC1A911AEDE796F5368A0BD5B53047663C0630073A6DC4B99913C3FCE19AA9CF353B8BC3D38EF2CAD43C67C06214149DAFCA2D94BE3C0D9F2A193C508DAC6B4F055EDF89C421834355A017DCF0DF49A34F957420730FDBF55E34B246730585C3B7DE0F747187576FB35440B0AD356FD5CA1078FFD1C2F435E7EEF705F2B6D7CE7D306AF872487243881B989DC93EF2F8BE36371BBEEA6F20B8A571761A4202856C41C53406FE438AB3565262D5EED85ECA240ABDFE6481144C8B8148530D6D4943C94596A0DDDFE52AB43D382BDEAE0617C109D0865EF4E2618D617C3386E6A7ED1F8FFDA235D7091B90988E3249C66463A10D
ECP4set1 = 0467AE4814BC27AB27688ED422033B4D4A620C01EEE050C8A635442860CDB10E885FFD14A09818341C5749AFFB1944FADD5C5DAD3143693026263F3F4620ED9D57AAD7E4903CD5A8D29A6A99F7EFD66F7CD4CA02EDB4C1CEB90954E357789C14766FC14EFDF4CEE5A5270BCB43F43EEA42C2C695BE0AFFCF2DB37B7523181D7D36784C7CCD384D1E07F40460B6E254AB85FA97C6758DC468A045250C4F0605EFAD67D83A45EDA59759233B3D1EB53F4BBFB5E2492D2DF6FEB70716F5786A50EF6B06740BD4F44F097D562500F491F9A0C292BB22363089E5815E9A2C140FBFC977DB34D7B1E8CE16B33134128119D9EC4AA5FF5A3CBACFFA4F1DCF7733E6E5984D8D2A9E26A010B1C62C5D24778EE2020D9A9158D6EAB81110B3CD40CDBA338C265C070E9B071FC87789EF884F9FFA53FB1B3114776F60232F6414B5BE5B9CF0BCA9BFA5D952521DE79BE53DEB859BF1CB2375264D15CC6BF9D93705C049F56839724B362E9CB7E24795587713E921AF2542337B52E825446C6F3D1BB1C85DB104F87E0BE19184748584DDDF5FC65C911385D8BB102A89283F97BD05061739B1BAABB5A3005AD782D119204216AA176432E4E594F35D66922DAAEFEEAC58BCE43DE9DBD4F2E2BD8BEE2FD14E3002F14EFBDD33B3989CF27853012A36EA9EF567
ECP4set2 = 0467AE4814BC27AB27688ED422033B4D4A620C01EEE050C8A635442860CDB10E885FFD14A09818341C5749AFFB1944FADD5C5DAD3143693026263F3F4620ED9D57AAD7E4903CD5A8D29A6A99F7EFD66F7CD4CA02EDB4C1CEB90954E357789C14766FC14EFDF4CEE5A5270BCB43F43EEA42C2C695BE0AFFCF2DB37B7523181D7D36784C7CCD384D1E07F40460B6E254AB85FA97C6758DC468A045250C4F0605EFAD67D83A45EDA59759233B3D1EB53F4BBFB5E2492D2DF6FEB70716F5786A50EF6B06740BD4F44F097D562500F491F9A0C292BB22363089E5815E9A2C140FBFC977DB34D7B1E8CE16B33134128119D9EC0AB6011DC711F5C0347D1CF74C5848DF97348FE429D96283A2B440FAACB17F8524864DADB347D35E0BA8F075D888CC56C1D129CC5D3DA19ED27C25A305BC062408B194A60C2B8C4B50DB19C226661D9193CFB38F8F8E4C013CA47C49469B4314BF0F1648CF46F14AAC69C8DD27E33B72BED276311B695D490DC6A800EFE3A40B5E58B8F32D57093378527D669EB1158463E8201342AEDD12AC9C01272A6C2EDE08D6E4FB961876BAA89573D5F22D87B58F5A5F88550128F532B3A5786CF0D50A4D5A48E2F16453F022CE8346BC87E13AE65685B23F3E217A9C02BA20EC59CC67AA65CC2F4F903E62A54397305F671FC4