# FP2 ARITHMETICS - CURVE: BN454, Modulo = 0x240000900000d8000090900025b06c01b14400921c00021d4400da888401d5080091c8000145080025084e006c4e0000840000004e00000013 BIGmax = 2^454, Frobenius_constant = [0x12e79ec727a687ebe1ccd92b32139c5d6ddce26929326ecafcb5a200dbd9562d6a87dd06b734a02b17ec7aeee6c3a90b9b8302dc9fd573b0ec,0x111861c8d85a50141ec3b6d4f39ccfa443671e28f2cd9352474b3887a8287eda9609eaf94a1067d50d1bd311858a56f4e87cfd23ae2a8c4f27] # test 1 FP4_1 = [[016E7EBC766A6DF945353491A7211C03DC4B1A8B6AF878A3E47CB042D70EF2429745B9331009A843FD2CAA3F2D6980EE88C423BFA0DAE227FE,224A28A1036459903B5429FE02C37447AE4ED4FC69551B00A67FBFCFB983E3073429CDFE04B452EF939F4E2200318DCD0864EFD93CF07DA3A4],[1A0391763749E7B9312B1820F4E5DD598C7EEB618DEDFB1FD2D31F234F334EFED6FF132BE13569ECEB044C68A541A4688A03C56BD45DF1997B,0AFA05F77788BC56FFDDD808C9D338AB8C9BC3C12579244A99056AB80923736D1DD4F5E855A0EA2416CE759ABC828EFBA766E7D8AFC76687A0]] FP4_2 = [[0427282E4F6DCCEDEF80143B663DF5A9AC8E57EFABF429FE9E5D263E89AC13DA336FA35685C77D38D3750A7D14FB3297265065C2E1D1E20411,218414FC265F88F2C8899F8E5A744AAAF15A9A4A7618B3E4DFB478FF19AE8218466FD4BA3F3FCD6D88B4EFA0899DC7874A7A0FD9795D97DA66],[0716CB381507F237712DF1BF5B320F69D81607D981CD6E9DE4345AC0F109FFE06C482BF83AAF137EF4D5E37E0804821BE644A5655B3CDC4F74,1ADF962EF4CF78229C4DCFE40EA8DEF6482EA2A25FB4D09A190ABADA099FE340F47E36E647C8945E0DE2AF23D3086C431A2A000A4758C2E961]] FP4add = [[0595A6EAC5D83AE734B548CD0D5F11AD88D9727B16ECA2A282D9D68160BB061CCAB55C8995D1257CD0A1B4BC4264B385AF14898282ACC42C0F,1FCE3D0D29C30A83034D398C378752F0EE656EB4C36DCCC842335E464F3090177A07DAB842AF185CF74BEFC21D815553CEDEFFB2684E157DF7],[211A5CAE4C51D9F0A25909E05017ECC36494F33B0FBB69BDB70779E4403D4EDF43473F241BE47D6BDFDA2FE6AD46268470486AD12F9ACDE8EF,01D99B966C575C799B9B17ECB2CBABA0238665D1692DF2C76E0F4B098EC181A611C164CE9C247681FFA8D6BE233CFB3E3D90E7E2A9202970EE]] FP4neg = [[229181D389966A06BB5B5B6E7E8F4FFDD4F8E606B10789795F842A45ACF2E2C5694C0ECCF13B5FBC27DBA3C13EE47F11FB3BDC40AD251DD815,01B5D7EEFC9C7E6FC53C660222ECF7BA02F52B95B2AAE71C9D811AB8CA7DF200CC67FA01FC90B5109168FFDE6C1C72337B9B1027110F825C6F],[09FC6F19C8B6F046CF6577DF30CA8EA824C515308E1206FD712DBB6534CE86092992B4D4200F9E133A040197C70C5B97F9FC3A9479A20E6698,1905FA9888781BA900B2B7F75BDD335624A83CD0F686DDD2AAFB6FD07ADE619AE2BCD217ABA41DDC0E39D865AFCB7104DC9918279E38997873]] FP4sub = [[2147571E26FD790B5645B0566693925BE100C32DDB0450C28A20648CD164B3706467DDDC8B87330B4EBFEDC284BC4E57E673BDFD0D09002400,C613A4DD04D09D72CA8A6FA84F299CBCF43AB1F33C671BC6CB46D09FD560EEEDB9F943C57485820AEA5E817693C645BDEADFFFC392E5C93E],[12ECC63E2241F581BFFD266199B3CDEFB468E3880C208C81EE9EC4625E294F1E6AB6E733A686566DF62E68EA9D3D224CA3BF20067921154A07,141A705882BA1C3464209824E0DAC5B6F5B121B0E1C455CDC3FB8A668385653429E887020F1D5DC62DF4147755C822B9113CE7CEB66EA39E52]] FP4conj = [[016E7EBC766A6DF945353491A7211C03DC4B1A8B6AF878A3E47CB042D70EF2429745B9331009A843FD2CAA3F2D6980EE88C423BFA0DAE227FE,224A28A1036459903B5429FE02C37447AE4ED4FC69551B00A67FBFCFB983E3073429CDFE04B452EF939F4E2200318DCD0864EFD93CF07DA3A4],[09FC6F19C8B6F046CF6577DF30CA8EA824C515308E1206FD712DBB6534CE86092992B4D4200F9E133A040197C70C5B97F9FC3A9479A20E6698,1905FA9888781BA900B2B7F75BDD335624A83CD0F686DDD2AAFB6FD07ADE619AE2BCD217ABA41DDC0E39D865AFCB7104DC9918279E38997873]] FP4nconj = [[229181D389966A06BB5B5B6E7E8F4FFDD4F8E606B10789795F842A45ACF2E2C5694C0ECCF13B5FBC27DBA3C13EE47F11FB3BDC40AD251DD815,01B5D7EEFC9C7E6FC53C660222ECF7BA02F52B95B2AAE71C9D811AB8CA7DF200CC67FA01FC90B5109168FFDE6C1C72337B9B1027110F825C6F],[1A0391763749E7B9312B1820F4E5DD598C7EEB618DEDFB1FD2D31F234F334EFED6FF132BE13569ECEB044C68A541A4688A03C56BD45DF1997B,0AFA05F77788BC56FFDDD808C9D338AB8C9BC3C12579244A99056AB80923736D1DD4F5E855A0EA2416CE759ABC828EFBA766E7D8AFC76687A0]] FP2sc = [1CCA741F1A5BC7B95B5A410E093925B93E0EDE9DC6017570674F1A0E359A22E35B586C155981DC9A47D8EADBB709FF457E0CC91C80A9748645,05F105F08F650687F4E6828AC24245C67B91BB4D60F38AE4A4D0BD7595DA12AE805EA7BA383AA09AC111DE5B36628EA1A27B8E654B26DF7894] FP4pmul = [[1AF80928DE4592344BD3A72F926241FCC389A37BB502064727C3C2DE5CE772562340CD14646594E3F8B1DE66032142F9043E0EBD0538707F34,175487C8BBE3472C7F67CCE71894A631D7C5D730B46EF7DCD671F29BC5B7DE61E802B78AC2F35CA079BF24D10EBAE1DA94CEB7A5DBA2525CF3],[0814C4B4FD1BBA14172EDE35C077FC3EFBC374E758742304C40EC5B2FE32629E18712755BF834951A8696E9F0A853D57078FD316238E348863,2390D6080C7F151E7BC4288347142CCCDB46F8D995C5D7C9F7C501E717A3381A96311989E4F93CA4FDEB11CC09BAAC5919EE52AA13792D8BC7]] FP4imul = [[00,00],[00,00]] FP4sqr = [[1E2ACDE1F03B37D2D179919CD7AA7276B504EDB8474E90D9D6E2B70BA7E2A4850DF84240997D7A7079F4631923A4070F13A987E1D8DADF6F3C,065B54A3BFEB989DF7855A830DA60D48CA741351033B4466C744A23FD718F33C78A66179B6CCD052EB2F8DB685AF7B8C931B3DB659EFC83136],[19A73FB4A2D6FE412A2A75D635A78AEB8A70C14E581EBFFD549B379C227C00FE0A7F6EC999E190F8D92B3FE8526FFFD47D25E24851FFD84F6D,19B8C32FA59D33CE87774DD86878AFF3EFDB935D5DCB1705DB25DBE764861EB7C9F5FF2BADEA067EAAEBF887370E5AAA97CE75FF346BDD861B]] FP4mul = [[17B9E331352D7E13975DF05C019268B27874D87B711777B701232937DAB3072CFFABD2D8824F2901A6C9EB3898ADB193B12B329E207253C01B,2048A6E89873B78C00D6D2F52A169CF3186A2FF444A1D67F5634B96E87FBEC35C4EE9E07E77CFD9986E26F1AE770A721B0809B84687FCFEBB6],[191DCC94C501B4A5FC0CFF4FFBD5E1535137F4F506FC08B252B936BA9484D9B18C1ABC4762BCDC6369F1373648EF69D40F82064ED6EB183B87,10A3F5761B1E75CE54B116393EDDB45C6B6099A1CFFF8933BE833564DD98345B3212FE86FE7419E5AF5429E5DE01F5E9B206EEE7CD8346ADC2]] FP4inv = [[165E2B4C923B642D3E788D8B2516262F7A685F8454BC4629CDC697E7183F99B96241ED8D256DACBCBCABFDDCB23F14047C6D54D1AFE92B51B3,0B76D0C6BE5180A7F175F06B33FBAFCB59F9E727037A9D1730626B4D11CA5A3896F0E8FA096D7DDE744AB3CE65E2C580EB51F482390C4137F9],[087DDA0CDDFA95DD10D8234129AFB25F5D31D63C2DBE97F08EA70FDAB5EC290474604B6640D226146CF39E9352D0C9CD47D71A659CB94DF92C,01FBC5AB7717AB2392B29F5B32919F9EEB0C2D93683574770C47AF24E487EA7A76379C0A04FB08FE59FAF6115FA3C35C52A801E2A545CD9CBE]] FP4mulj = [[0F098B7EBFC12B62314D40182B12A4ADFFE327A06874D6D539CDB46B460FDB91B92A1D438B947FC8D435D6CDE8BF156CE29CDD9324968B11DB,FD96DDAED1CC10307860299908AA0367D6AE9097671D4D27D7AF52D454ED63F442411435914C10DCCA7402F5763363AD6AAD443625582108],[016E7EBC766A6DF945353491A7211C03DC4B1A8B6AF878A3E47CB042D70EF2429745B9331009A843FD2CAA3F2D6980EE88C423BFA0DAE227FE,224A28A1036459903B5429FE02C37447AE4ED4FC69551B00A67FBFCFB983E3073429CDFE04B452EF939F4E2200318DCD0864EFD93CF07DA3A4]] BIGsc = 093DE49B3573C2C899DEE07B836A99CA4B055E8BEBF01E4039243AD00F94ECDEED653D1A4D42CA61DBF4F7F2CB53BFD33015BE3480A0DE8AA2 FP4pow = [[8515A86DE4DD72E946E31411ECB96F03123C5EADD79921EA4E9EAD7DC70B4A7CB685875A6C6C3F36821AF3BC039DEBACEDF5EA742120EFA0,1C119EBECCE464AE1F4DAA7199FCF27BA71A98CF4B586BE128260687D094242B9EE575BD1475457A5A9ADD8480E1561CB315D1C09DD551353A],[0DA95E7A5CAF79C893A305485027B64258E20E50644EAE17858E0BC1B00E35BFA0FBDF6EF3E859ECEB298A998A86B8E1FBFABD072BF6C828B1,04EB9CE31E666D2575ED070C6867680A6C812AFE9A472A58FCA1E558C7C92C6E83B3C354D007E85DFC79D2EB7A28B0045F3B43DCAA29FC3A33]] FP4frob = [[016E7EBC766A6DF945353491A7211C03DC4B1A8B6AF878A3E47CB042D70EF2429745B9331009A843FD2CAA3F2D6980EE88C423BFA0DAE227FE,01B5D7EEFC9C7E6FC53C660222ECF7BA02F52B95B2AAE71C9D811AB8CA7DF200CC67FA01FC90B5109168FFDE6C1C72337B9B1027110F825C6F],[155E32345C9217DEDFDDB40C39A864A526A3734238A11FC186913F52216F5357153D635B422C2F2AE400FDCEFA308F7ACC173BA31642D7E681,072ADB40BD1F0D2252118F084B63A12835B7CE53C02AC1B52CEA20AD01AA11EB8152D311C0B89FB5C9D35784A45EF26F0C310AABBB7FAFC8C6]] FP4_xtrA = [[0C3AD8B4A91A76B0FF60F566BDCF894678827F78C093E3572A2A0AAD42565E0022AD44B33D6958AFB2456926D8FECD32F733E793758B7D1F58,1483F56D49C0A5BDD005C6F23DAC5CD69231D12B2FEDAD17A9700D7EA8D9C333EC7F3821B43A09B159A046DB62A2E25BC702A1F1C2A1EFD3F4],[0AAAACE4F4B537914B62D507B422A395B5887EB4E3817D7CF78D22B9577B111735CC86DF9851144BCBDF4F36A8517569322A0ADD4235111293,154ACE7051AF8D15689EC621677A91ED72506C75463D351CDBEE3A7DD6886C3313C43F1F60B5B0B4D6CD40CF52755A2ECA6FDD660FF84D5E14]] FP4_xtrD = [[1B4DD06903665BE0470F287989683A6EFC6EB8A1715D9F920DE95685F9C4BFFFDF6CCFDA796A29E87F9B0E9AC8D105320221406297251B1F40,09C70481B924957D81FE2687537FFCBCD05E6A7C689112A00246D7B16C14D73E1176557DAFEE3A740E018D735DE85FF38A515E047C0ECCEA14],[05AE618111691DB38B5F8617D4126D9B40E696ED3BFAB202723FC0D1B8DEF4EBB75A052159C254D265233CB8C45748A4892D6D1F5EBBBB823D,0BACCE8E94ADD47C86A26DE9D66EB54957CF1A4D8CBD5D7DC92FD6CEF2CB308A050E22FC57E6D2C6B38095BC43C578A1629C45B045FAAA9548]] # test 2 FP4_1 = [[1F077B3381DF22BACA55503A6E9CFC34D25624DBDFB95DA84C68C211C7E4A95222777747C81ADA80023E66FFAF3FBE275A89814CA30DC2C15D,15E4F0D7B7197E7A8783DE4F1D11FF338841711BE77A7C312439DD5BCABEE09C4810BD0A20C6FB716C47ECC03779A348701E2E34E14E737CC2],[23ABADEDF9E48C5AA4D41E30811987329DF2CC0FC7634E65D16AEEBD71DD522649BCA7F7E60EE3FC425D74AEA27B3F752F604A7E1F56751964,01AAD1AD5DC1AFE845A850CC7F659160E57D9AEC7DBDB2CB8005A8E5931512BD9D70CB10E16951D1FCCBB55D1968B4FF85A37250E97E3E7B6F]] FP4_2 = [[1CD9808A1F394CABF68383D0B9DF179CB510A5F3413C97C779AEFF27EFBA1408417BE2050FB633956B1BF505FBCBF9CC7998984DFB1B28A20B,1167043287F75C94CB94763FE990B569159173FD0D643ADC2A1379DB2C65EED837AB543E070A66A662412A3233F3EA37EBC768E168715E2293],[035B1EAA52E045F11F855171176D783B24926EACB7853A1A1B7C2DA55F2445ED4BE3F84E7517A16EFE8534F8FEADB0F9804E521A867D7A4E5F,0B1C330AECA20722124AAA7DF4EF000A20E8649B82BBEB7979F7C9D86CB051FEC8C684C918369A5AB744ECDB9DC16529DEE23727EE2BE2BC7A]] FP4add = [[17E0FB2DA1179766C048440B02CBA7CFD622CA3D04F5F3528216E6B1339CE8526361914CD68C061548520E053EBDB7F35022199A5028EB6355,034BF47A3F10030F5287C48EE0F2489AEC8EE486D8DEB4F00A4C7CAE7322FA6C7F2A4948268C5A17A980C8F1FF1F8D7FD7E59715FBBFD19F42],[0306CC084CC3FA4BC3C8DFA172D6936C11413A2A62E88662A8E641DA4CFFC30B950ED84659E17D6B1BDA5BA734DAF06E2BAE9C9857D3EF67B0,0CC704B84A63B70A57F2FB4A7454916B0665FF8800799E44F9FD72BDFFC564BC66374FD9F99FEC2CB410A238B72A1A296485A978D7AA2137E9]] FP4neg = [[04F8855C7E21B545363B3FC5B7136FCCDEEDDBB63C46A474F7981876BC1D2BB5DE1A50B8392A2D8022C9E700BD0E41D929767EB3AAF23D3EB6,0E1B0FB848E75985790CB1B1089E6CCE29028F76348585EC1FC6FD2CB942F46BB8810AF5E07E0C8EB8C0614034D45CB813E1D1CB6CB18C8351],[5452A2061C4BA55BBC71CFA496E4CF13513482549CB3B77295EBCB122482E1B6D520081B362403E2AAD951C9D2C08B549FB5822EA98AE6AF,22552EE2A23F2817BAE83F33A64ADAA0CBC665A59E424F51C3FB31A2F0ECC24A6320FCEF1FDBB62E283C98A352E54B00FE5C8DAF6481C184A4]] FP4sub = [[022DFAA962A5D60ED3D1CC69B4BDE4981D457EE89E7CC5E0D2B9C2E9D82A9549E0FB9542B864A6EA972271F9B373C45AE0F0E8FEA7F29A1F52,047DECA52F2221E5BBEF680F338149CA72AFFD1EDA164154FA2663809E58F1C4106568CC19BC94CB0A06C28E0385B9108456C55378DD155A2F],[20508F43A7044669854ECCBF69AC0EF779605D630FDE144BB5EEC11812B90C38FDD8AFA970F7428D43D83FB5A3CD8E7BAF11F86398D8FACB05,1A8E9F32712080C633EE364EB026FD5875D936E31701C96F4A0EB995AA6695C6D53C0E47CA77BF776A8F1681E7F54FD62AC13B2949525BBF08]] FP4conj = [[1F077B3381DF22BACA55503A6E9CFC34D25624DBDFB95DA84C68C211C7E4A95222777747C81ADA80023E66FFAF3FBE275A89814CA30DC2C15D,15E4F0D7B7197E7A8783DE4F1D11FF338841711BE77A7C312439DD5BCABEE09C4810BD0A20C6FB716C47ECC03779A348701E2E34E14E737CC2],[5452A2061C4BA55BBC71CFA496E4CF13513482549CB3B77295EBCB122482E1B6D520081B362403E2AAD951C9D2C08B549FB5822EA98AE6AF,22552EE2A23F2817BAE83F33A64ADAA0CBC665A59E424F51C3FB31A2F0ECC24A6320FCEF1FDBB62E283C98A352E54B00FE5C8DAF6481C184A4]] FP4nconj = [[04F8855C7E21B545363B3FC5B7136FCCDEEDDBB63C46A474F7981876BC1D2BB5DE1A50B8392A2D8022C9E700BD0E41D929767EB3AAF23D3EB6,0E1B0FB848E75985790CB1B1089E6CCE29028F76348585EC1FC6FD2CB942F46BB8810AF5E07E0C8EB8C0614034D45CB813E1D1CB6CB18C8351],[23ABADEDF9E48C5AA4D41E30811987329DF2CC0FC7634E65D16AEEBD71DD522649BCA7F7E60EE3FC425D74AEA27B3F752F604A7E1F56751964,01AAD1AD5DC1AFE845A850CC7F659160E57D9AEC7DBDB2CB8005A8E5931512BD9D70CB10E16951D1FCCBB55D1968B4FF85A37250E97E3E7B6F]] FP2sc = [15FA362F025E79CC0E97783BBF5DB7DD2BB4B02435DE540583D339D5B40CA3B47A84574D48761F75199BBB191A5A70F68975E5C46D330E7A09,0D0A96BC84216044F1AFAB9ECBE7D8C0BF60E43E8F82F31ECD42310FDA0ACA6D39C77D74604EFE3A0096A9FE9BF423DB9FCB2D9808C6CD0B1A] FP4pmul = [[0D4006D732A50D822D9CBA20AC54CBF9CD711B3648554974C0F599E15BB29553985F0446675ED59DF2BD5DA8444CB1E9D4E3AB433A719F0243,196A5DF54E2A758C6D39EB0E8851BCE044EE8FAD439099E843DF529E91442F7A3E9CF954BAEAECBB0A0F0F9F359219E79B32E8598E0D90F6C7],[12F60F656419ED89C8168A01EEE2BB1C9DA002F441630B6F51972383932856B2ECE32A960091EB5933790F68060C61D08B9F8BB00AB336E8A9,0EBD0A37C9008E122F05DE3D552E6DC4959DF3917D93CA30AB3DF8066202022FF55C613C941781A971599D3806B3CFB906A22349A632FEC85C]] FP4imul = [[1F077B3381DF22BACA55503A6E9CFC34D25624DBDFB95DA84C68C211C7E4A95222777747C81ADA80023E66FFAF3FBE275A89814CA30DC2C15D,15E4F0D7B7197E7A8783DE4F1D11FF338841711BE77A7C312439DD5BCABEE09C4810BD0A20C6FB716C47ECC03779A348701E2E34E14E737CC2],[23ABADEDF9E48C5AA4D41E30811987329DF2CC0FC7634E65D16AEEBD71DD522649BCA7F7E60EE3FC425D74AEA27B3F752F604A7E1F56751964,01AAD1AD5DC1AFE845A850CC7F659160E57D9AEC7DBDB2CB8005A8E5931512BD9D70CB10E16951D1FCCBB55D1968B4FF85A37250E97E3E7B6F]] FP4sqr = [[139EA7484219E851C645AAF1A917B4C4CD83093C4396D3E640006041F6A97D65AA5D1CFE8CD6A8EAAC714E6F161A25058166E96E9CED108ED8,148231DF75D4C3C51A222CDFDECA420B643CED1D924EB752B87D4664F25AC29C7ADA43B971B43C5F0BE2CE20152183C6593A4E20C951891518],[2249703C95DAED55B5BB682D9D84728B9DDF21D28A772513D6892B9ABC18A5DAB96636D20CF25819A738C919A55952CE382B9DDAB480DBE3E6,1470083D6023BA38D9898D7083B558E3C4C7CE119C74544B78B2ED68FCC1493350EB33A57E913C026CE84FB27F84BDBB31C664E3D7E0FC785B]] FP4mul = [[12CF7007355BF74EA4AAD6FEEB4B9E9450AD3CFCF438004E6729BE76CE9ED0C125DE7EF82C3D71271D10D109A1D016EE88AAF56BFF15F9E0D7,0D5D1C8775377150D82CCDF6579882DDF77F92093B4D964B3CDA461437D0F752252450C32F9F8DADD41678C3A6A481B5207FDBBD5CAD61FEE1],[1826460D3DF4E92C8C0E3CA16E57BF367A0BBD4D445563F61F142A0B6D7FE496FFB767A2F4A5BF558509CCEA466326FD7E7A60559B2F9D9DD4,230AB94BB4A86BBB70BB197DBA1CBA78755013401D3DE05196F8CE57F6DFA2D9600B4F5D1A17F60093B061C38B677C9E13AE667A33CF42E54B]] FP4inv = [[205B9EB403474CEC6A39F18627F5BE9548DA0AA43E28D16B8F3636DB1F02A43C3571A8052694C9919BEAA5B5EA4ED921C02C5C1D60695CFACC,22EBD81B41C0CEE6FEFEF3E9BE9F405E974010BB50F9DB55E9ECE42900D24A7300A53599528F45B279B0FF11549336069F503418DFEB68CC33],[0849CC8A2676BB7253CB097EFE5B698C7365A2760FE7A07543EC34911255463887A04979835D2F60DC8DDCB5E124ABEC42A9EAEE65B092A817,09798DA44E0F610EE735DD9AB7F6EBB7DDA47233009A31630BF5C1D971900C91BC67D7DEB6959A8A23558F4E70FCF91B5E777C142308F1815B]] FP4mulj = [[2200DC409C22DC725F2BCD6401B3F5D1B875312349A59B9A516545D7DEC83F68AC4BDCE704A5922A4591BF5189128A75A9BCD82D35D8369DF5,01567F0B57A56442E9EBDEFCDACEAC91D22C666A2920FF140D6FBD1A80F08FDBE69BAB08C6332DCE1A20DC0B4F95F4743103BCCEBAD4B394C0],[1F077B3381DF22BACA55503A6E9CFC34D25624DBDFB95DA84C68C211C7E4A95222777747C81ADA80023E66FFAF3FBE275A89814CA30DC2C15D,15E4F0D7B7197E7A8783DE4F1D11FF338841711BE77A7C312439DD5BCABEE09C4810BD0A20C6FB716C47ECC03779A348701E2E34E14E737CC2]] BIGsc = 226C85E08117E83E15A93343E0BAD913CC0C7421F0D04738B1154ED5AE4A433C13FDD9BA10032E75229A0C8AF45714BEE8ED1ED0A4867AD428 FP4pow = [[0CE378262FFA00B7A73D71CB442EE0BE0FBDE90C3472C1BDD24CD8B48884F4BE6903E87CD726663C3277AA8DB8D619B709DE389B1110C920DC,08D57FEE6F1D62CFC16260B6CF591B4A70B82EB585A82ADACA42221D73B19E8B02E83EA2BAC02357E16E8FAFFE1007B7CC0F5F251A754B4395],[201AC112627A81F029CAD0160E84168D0D44DEAFDFF2BDE85FA79CA6BE95EB49E7522206AF818E4D08CB58EA3A434057146A03C0FF6B3A19B9,1E58B100178E81263ACF92F71A58CB671CF82DAA053B5DA517DB8EC8E258827EFF3528F2D64C5F23CD83E086308CDB2367C13DB6028C1E4347]] FP4frob = [[1F077B3381DF22BACA55503A6E9CFC34D25624DBDFB95DA84C68C211C7E4A95222777747C81ADA80023E66FFAF3FBE275A89814CA30DC2C15D,0E1B0FB848E75985790CB1B1089E6CCE29028F76348585EC1FC6FD2CB942F46BB8810AF5E07E0C8EB8C0614034D45CB813E1D1CB6CB18C8351],[125AA5FF404B04603F1878360EC812CF823734B388B8441443C02EF7B3DC397AC60C694F506629DD3825D4CD365357B4C4CBE78F1F29314097,052AC81D0EC3CE40466736B1ED3E242C1768FF92B19D2C010B9CB1F9A225A4D164315CEB46213EF5F788E98410F04C33E4EF9CF6BE5D850CD1]] FP4_xtrA = [[19C04626DECCD8CC2972DB5BE98156EE9EA609800269A7FBFD12EB9776893E1FD85F3D68B01D5D8D3A2A387ABFE7BB035DB9F6B9A6B83D0B7E,0B12C81197AB82AD4871CD80A7DA6EB6B9CBC3373541029A3373D7C1CF4FF1466F70BC9A8A3D20BEBAD1DE76B8D18E18672DD52112296E0BCD],[086F32A3D780CD73C8712AB0716500C577520630DAF2B8E23065F47374FB73CDF9A8AEFD835F23BF0DEAFDBAF31ADCB40B5FDCDDF6F815FF9D,045670F4057610E3E8D96BB4212B1D7DE11A9711C43179BACB2BC4580B521511B8289FE9ACAB630DDB60E781019D6DBD8278358F3DE8B68935]] FP4_xtrD = [[1D8FB2013E5D52DC32BC2A7D173E945E8B5EC0A8BC241CD02F30912F6EE3D4D16691BE6EFF2B03EAF2051C709036A8B7D453E6D5F2D18B0C44,0CB850C007A29ED00BAB0041CA56AFA604FE0B77DF59C10DB40A6635E0DED66BEB4A91A5316B4D7C585B42A0127C3D35FCFDF1B754B4A21BA7],[21A0CAF889A2560AFE42848E5456A8ED773CB8CDE13DBDA4F15D540497CFA0174BBBF6C1D6861011E1E3167611B3D1B78EEC32D6572DC61688,17C5AB981BA71A0964DA2F0982807BA58FC303EA97EFB9E278BE3F3422EB6EAE8BCCC9C74163DFA6667FBA6CB25627BA3D0D4985AADD796F39]] # test 3 FP4_1 = [[230AEB7B061115D0B4D85B40BE85B17DFD403098418B9BFC3D6730EB3721E83D6C3EC54A956233996E0C3A9C202159EA48A830D0B84C4B3A95,1D38BBB92144FF1BBD097A10AD1E4DD2B33A4ADB236F2F151D246C83CC20C4F3186F8B43A8AB5B5321AE074411E8ACE88C25A825DDFCF4C598],[1DEEF10F56EE1A6DE6FBCD02C1C98B1500EDFAFF6475AD07DF98B62F20DD2D8B893FB8AB9769F2767C064E5098D843E78794138B21A0505572,017151E92D440466793CB1194D9751D4928235A06881B15E16AD7731412E74D218B58A0E37019D866F9F54AD4DBA2F56CF72F0A55A10108781]] FP4_2 = [[04C5E2F00B38B0AED21F1EF70DFD1BD0BB05C8FC2A33C53882ECD24A3DFFD02C7FAA0AD7358F3A4A8F9171A141BC3441D4F7CEEDC5C31639D9,0DCCEE138EBDA58D77828C023568EB5F3B87051DD92E3EBE8006AB8D908BB088E3D2D068239E204E8F7B25F22BEB1A5A54168BD520D4B7D18B],[0B22BC2F5A60DD3FB1AFCF5B49FD33CB618427B8404D67C3D51E1EEB13608D28BDDD5C194BDBD98B9A739D7B7EC32ACCC23DCF23E38F6B7975,141A0C35F51B7DBD126A9542FCA325353BBCF0952C1EBB8043E3AF80A75A00513BED5921A041329D35EE2DF46804AED1292F0AAAA05F1D989B]] FP4add = [[03D0CDDB1148EE7F8666EA37A6D2614D0701F9024FBF5F177C5328ACF11FE361EB570821C9AC65E3D8955E3CF58F8E2B999FFFBE300F61745B,0705A93CB001CCA933FB7612BCD6CD303D7D4F66E09D6BB6592A3D88D8AAA073FBB093ABCB0473A18C20DF35D185C7425C3C33FAB0D1AC9710],[0511ACAEB14E1FAD981B0C5DE61652DEB12E222588C312AE70B5FA91B03BE5AC468B4CC4E200C401F1719DCBAB4D6EB3C5D1E2AEB72FBBCED4,158B5E1F225F82238BA7465C4A3A7709CE3F263594A06CDE5A9126B1E888752354A2E32FD742D023A58D82A1B5BEDE27F8A1FB4FFA6F2E201C]] FP4neg = [[F51514F9EFC22F4BB834BF672ABA83B403CFF9DA7466210699A99D4CDFECCA945302B56BE2D466B6FC13644C2CA6163B57CF2F95B3B4C57E,06C744D6DEBBD8E4438715EF78921E2EFE09B5B6F890D30826DC6E04B7E11014E8223CBC5899ACAD035A46BC5A655317F7DA57DA70030B3A7B],[06110F80A912BD921994C2FD63E6E0ECB0560592B78A5515646824596324A77C77520F5469DB1589A901FFAFD375BC18FC6BEC752C5FAFAAA1,228EAEA6D2BCD3998753DEE6D8191A2D1EC1CAF1B37E50BF2D53635742D36035E7DC3DF1CA436A79B568F9531E93D0A9B48D0F5AF3EFEF7892]] FP4sub = [[1E45088AFAD86521E2B93C49B08895AD423A679C1757D6C3BA7A5EA0F9221810EC94BA735FD2F94EDE7AC8FADE6525A873B061E2F2893500BC,0F6BCDA59287598E4586EE0E77B5627377B345BD4A40F0569D1DC0F63B95146A349CBADB850D3B049232E151E5FD928E380F1C50BD283CF40D],[12CC34DFFC8D3D2E354BFDA777CC57499F69D347242845440A7A97440D7CA062CB625C924B8E18EAE192B0D51A15191AC55644673E10E4DBFD,1157464338295EA96762ABD676A498A10809459D5862F7FB16CAA2391DD64988DD59F8EC980572E95EB974B9520380862A43E5FB07B0F2EEF9]] FP4conj = [[230AEB7B061115D0B4D85B40BE85B17DFD403098418B9BFC3D6730EB3721E83D6C3EC54A956233996E0C3A9C202159EA48A830D0B84C4B3A95,1D38BBB92144FF1BBD097A10AD1E4DD2B33A4ADB236F2F151D246C83CC20C4F3186F8B43A8AB5B5321AE074411E8ACE88C25A825DDFCF4C598],[06110F80A912BD921994C2FD63E6E0ECB0560592B78A5515646824596324A77C77520F5469DB1589A901FFAFD375BC18FC6BEC752C5FAFAAA1,228EAEA6D2BCD3998753DEE6D8191A2D1EC1CAF1B37E50BF2D53635742D36035E7DC3DF1CA436A79B568F9531E93D0A9B48D0F5AF3EFEF7892]] FP4nconj = [[F51514F9EFC22F4BB834BF672ABA83B403CFF9DA7466210699A99D4CDFECCA945302B56BE2D466B6FC13644C2CA6163B57CF2F95B3B4C57E,06C744D6DEBBD8E4438715EF78921E2EFE09B5B6F890D30826DC6E04B7E11014E8223CBC5899ACAD035A46BC5A655317F7DA57DA70030B3A7B],[1DEEF10F56EE1A6DE6FBCD02C1C98B1500EDFAFF6475AD07DF98B62F20DD2D8B893FB8AB9769F2767C064E5098D843E78794138B21A0505572,017151E92D440466793CB1194D9751D4928235A06881B15E16AD7731412E74D218B58A0E37019D866F9F54AD4DBA2F56CF72F0A55A10108781]] FP2sc = [115F60BBDB0FC9BDBB591A30CFE4B9E6F5CEFD4A1363EE90E3F6680AA0E11051E6BE0C7931021A8375CBD1191A7CAF20BCD8A16535F593880E,045DA7C26629F016637B0141E984DDF2ABFBB91A3B52172151D0C109C07766A462E1A03C0AE953F844C40FD4805447D09079FF3D184C293D81] FP4pmul = [[23F8C997350EB0F798B48D4C387EF1CCC3B0CB3C77348A0E39A9EC145CAE0E04758C83AACD6950EDE87519126A8816EA1E3C54234A90FFFAA8,033F19125749AD2C32990716378D4F9236CA86B0693C8D816104B76EEA309806C6F8B2F9619B6B9BCFC2EC425AFDC829765B7986E5988FB0B6],[1B6C4B2F46C8B8EC6043479790C9AA6C2A2FC039D8A27CEEF92F6C4BC3413EFADB27A71B69F61FCEC6209EAE67D27E48D3813F1276D6114215,1C89F792434BADDA970E199D909C11FE91BFA85D88D289ECA56C3A2322DBD6BAFB1FDBD1BE9204653A10491E39C55327918F70CA7B28472ED9]] FP4imul = [[2215D6660C2153A169202681575AF6FA493C609E671735DB36CD874DEA41FB72D7EBC295297F5F32B7102737D3F4B3D40D5061A12298967517,167176E24289263779826421348C2FA3B53095242ADE5C0CF647FE7F143FB4DE304D4E875011AEA61E53C087B78359D0944B504B6DF9E98B1D],[17DDE18EADDB5CDBCD670A055DE2AA285097F56CACEB57F27B3091D5BDB8860F11EDA9572D8EDCECD3044EA0C56287CE8B282715F540A0AAD1,02E2A3D25A8808CCF27962329B2EA3A925046B40D10362BC2D5AEE62825CE9A4316B141C6E033B0CDF3EA95A9B745EAD9EE5E14AB420210F02]] FP4sqr = [[0B833F5BDC82ED127E15FFF66FDA65167DDCFD6BDBBA2AA75965EBC7A90CCB0732E6375065DCFFCC2BC2AD4260405909B179E51AE33196E120,0C46A2B84B88E779CCF51009C6D981F12EABE121A7B8A8B0F5A1F5B03A427F54CF8D909D48C3909390781B92C707A6325AE55E7AA3ADB2266C],[1010C683F1F69042D21FBD25E92142E608D47D9258668DA500C557D0E9547E520C24F8C54A4F841FAEE29C96A328F38999DC2FB524A320E81C,0E3EA85E389E76ED63DCDBA305D5F214D1598BC56BFA18909FAEF022439C92B6D39B4918A4D1BFA5DEF19EBBE20358391133968BBF2394A824]] FP4mul = [[17D7BAE31BFCCE49FC948D7035B80593CE74B44F8AE9F179601115E8F45CE6B7BBAAA6138ADE96A742AE58915FD2FEED876423A1C736D101F7,1505ECF8950B13E02E1104E41DB0C03E36D77E381E74131B7F03C245655B5E8046D31739FE0AF952D25260BC8C92F83569433EAE94CA1041BC],[0917058F81F11FBE206295C057DA70DFD7C854E06121F7CEE815161590BF829A40A02038247033B1931BE2C1492524B4A6EC1F27A45D4450E5,1648C3ACC027F1F5CEA921C992FE121E0E2C1E3DC0D735C9EAE308EB553E8B0571196ADE97A964F4E708A646DC69AB4151A89A9FE5B3C8780D]] FP4inv = [[0864B6623D7EF628AC1331461BB30DA3755C035E66338BB401B57446079E7F36A221EF7C35EEC1427D97916934E2D935A659E1CB2CB6B689C5,05E61BFFB34D50E2EE15277BC41F00F296B05928302181E368A0108464FF44BC9AB551B643EAB8C6E750ED18A6C8CEE525AD3337177C07CF0D],[100DD4D0C076E69121FFCA95C6E25BD17FC60178C4CF5590293E0D22A0F02D6FF17D1280CDACAA38F629B1BB3435ED09EF6619C6FAF9AB83FE,026268238BCC4C7C1649D2D4C512CF0C8139CD66B7ADDB66B64D5CEAE2A509F0253390CD2095C89CFF81931BE11CA178D5CAC3BFD088D4AEEC]] FP4mulj = [[1C7D9F2629AA16076DBF1BE9743239406E6BC55EFBF3FBA9C8EB3EFDDFAEB8B9708A2E9D606854F00C66F9A34B1E1490B82122E5C7903FCDF1,1F6042F884321ED460387E1C0F60DCE99370309FCCF75E65F6462D60620BA25DA1F542B9CE6B8FFCEBA5A2FDE692733E570704307BB060DCF3],[230AEB7B061115D0B4D85B40BE85B17DFD403098418B9BFC3D6730EB3721E83D6C3EC54A956233996E0C3A9C202159EA48A830D0B84C4B3A95,1D38BBB92144FF1BBD097A10AD1E4DD2B33A4ADB236F2F151D246C83CC20C4F3186F8B43A8AB5B5321AE074411E8ACE88C25A825DDFCF4C598]] BIGsc = 20C1F8E9C44C2953BF165602A687ED862A30C7E049888A7977BE9A69201D91F536A79FF5F8417965A21A120718E5C55C1DB35C15A47E8546D1 FP4pow = [[0156B697AD7FBC218B8B3355B7CA540213CCF368A329AEC7D8BF45A1A662BDAC2DD6960D874C2E797EA7AFD649A23D669C92B4F0E75354BF69,12DE645D9BDF856AE0F351E7B3C19AAA862DD64758113FEEE867A946F6F77D73BF37E745CE851CFAA3A9AE9B01F9C10C4E5E6FA8FA4B669B25],[229CB9C36DB32EF99FEADFF9FCE54BE0AAF5A77C0BE462AC6643F181F193A1C30AA351090D7B55364C4BB07D3DD0EFD1AA9CA63E413A021341,0564E0F6482672517512C7B49208BF60E56BAAA3FA1C07E8FCC7AE22C9F0CCBCA8C1AEC541285461BD98C5CD533958401777BF25CC2AC16CD3]] FP4frob = [[230AEB7B061115D0B4D85B40BE85B17DFD403098418B9BFC3D6730EB3721E83D6C3EC54A956233996E0C3A9C202159EA48A830D0B84C4B3A95,06C744D6DEBBD8E4438715EF78921E2EFE09B5B6F890D30826DC6E04B7E11014E8223CBC5899ACAD035A46BC5A655317F7DA57DA70030B3A7B],[103AF74133F2F556B27C5C06953F92710A8D118E16542146CE6C8C397CB6A4BA6059B5BD70104CE0A5746F7FAEA38B81969CD278781CD1D7DB,11409B28F491213F4DCDCDCF46FDEA1F58F3A02C0974DC054D25B078736264EAE214D294BB2248FD48E26D2185A997E93FF86CE1484C7152B0]] FP4_xtrA = [[22172FDEE0E0DC84B9B7D691259A00C3CD2718C12CCB7EE650FEB5B47CAE09177ED9CE891A743E28D88E7B9CA915F8D0F1F0305BC33C0E567A,0C633961C89060B19ECABE875D6672BE0DC6010217F830E78650C611E4BD3D427A5E29D853B16B81676FE30E2BEAAF7BE84D9C7F844FCA1217],[04F21619D5E300F4373137C8BA6B0FE2A88326141D1AA2BA38EADBDA5F56842A7396EB73DD19B623A95C67C28369416F25B2B0287CE2C77C6F,0569DFAD084F9CBE81A09C3F5729827A85E482DEEA63E43A41BA41A38E5B3CE51EDB9E9466EEE7FFB7936D2414FA078AD977969CDAE27FD742]] FP4_xtrD = [[0D6D6985D0627171158669753E2FDA1DE5E49D5F90A2F6E966993F0242CCA49C5B8C3CBB3DA2A89999BAD40AF899A5362829837A0E99006C1C,19D52C660900994254033BE8B7FDBE4F2ABF4C8F98DA4EC1435AD1B9AA049F7E9FD20A15F9F6E9ED972CA90B7BD24C624A9A0E2F83B3C89B62],[03EEA7829FD1151E9EF6372B2153810CA828726CE951E37A37F50F1E230B2F591D80DA1C7699590C5CDE9D36FC3D7B57A10456CACBE3C192DA,11214C3093267FBA56563DD5A10495BDF65DF7063CFD7B4CCD09DE84C5F97C5B05065D3512D4FAB2BE3048167D77B6E6B01977D67343B5B726]] # test 4 FP4_1 = [[04A647A22374D9682E1854BDEE1EE169F90174974107E4C8B1A6CFBEBF025DD588799DDB09D58126079E6DE16DCA7F52E20149FA48ABB2E0B8,13474EB8A4167251472177620023B329368B384F0FABED05F9D6B75195B8BF3D6577D6F198FCA20A060F2715532AB92B54FF93FABA92DED119],[1303545A8B428D107DD2D2CD6468CC4C3374644EAE2FD03F75DCE206C93BAB8FA29233E927859C37A7AE7731E72169E97C52A8780162F7356D,1C4E82C8470ADE9DA06765C0326EAED1D7F34B9214947A3C3AAD0F9B761720F7326A764EEEFBF8C91DD9C49C1AF26199913F12727D69175C56]] FP4_2 = [[1CC284B6AB70C85A2426654F35CBB04989986DDBA18BC2DE843D6B51E30AA0BE3B7EFFF15029137F2980236000054D688C80EBB5D6F554C269,0F3C1E40DA11CA229E7E4B3C3C36E2A31D9EEC15E1F2A2C488025DF8D28144A50F3064FC5FB348A224EE145616E64A6B08FCF2068B0D1FD87C],[0B501296B51ABF3F8F0EEDD6BFB4B4E954168CEFE3AD99FB174F13C05A4BC9CA256236457A756C5692B67A7089FE2837A5634B78A2D52F98E5,184363284D0303A7972A0AD7105C805DE947F95AD65F8BC49F9370825025404AD23B8A5690D8A8D29E5405A36F27F1DA25E42A5294C65CCA79]] FP4add = [[2168CC58CEE5A1C2523EBA0D23EA91B38299E272E293A7A735E43B10A20CFE93C3F89DCC59FE94A5311E91416DCFCCBB6E8235B01FA107A321,22836CF97E283C73E59FC29E3C5A95CC542A2464F19E8FCA81D9154A683A03E274A83BEDF8AFEAAC2AFD3B6B6A1103965DFC8601459FFEA995],[1E5366F1405D4C500CE1C0A4241D8135878AF13E91DD6A3A8D2BF5C723877559C7F46A2EA1FB088E3A64F1A2711F922121B5F3F0A43826CE52,1091E560940D0A453700E0971D1AC32E0FF7445ACEF403E3963FA595423A8C3A041438A57E8F999B97257C3F1DCC537333233CC4C42F7426BC]] FP4neg = [[1F59B8EDDC8BFE97D2783B4237918A97B8428BFADAF81D54925A0AC9C4FF773278182A24F76F86DA1D69E01EFE8380ADA1FEB60605544D1F5B,10B8B1D75BEA65AEB96F189E258CB8D87AB8C8430C5415174A2A2336EE4915CA9B19F10E684865F61EF926EB192346D52F006C05936D212EFA],[10FCAC3574BE4AEF82BDBD32C1479FB57DCF9C436DD031DDCE23F881BAC629785DFF9416D9BF6BC87D59D6CE852C961707AD57884C9D08CAA6,07B17DC7B8F5F96260292A3FF341BD2FD950B500076B87E10953CAED0DEAB410CE2751B112490F37072E8964515B9E66F2C0ED8DD096E8A3BD]] FP4sub = [[0BE3C37B7804E90E0A827F6EDE039D2220AD074DBB7C2407716A3EF55FF9921F4D8C65E9BAF175A703269881DA1331EAD9805E44BFB65E1E62,040B3077CA04A82EA8A32C25C3ECD08618EC4C392DB94A4171D45958C3377A98564771F539495967E12112BF3C446EC04C02A1F42F85BEF89D],[07B341C3D627CDD0EEC3E4F6A4B41762DF5DD75ECA8236445E8DCE466EEFE1C57D2FFDA3AD102FE114F7FCC15D2341B1D6EF5CFF5E8DC79C88,040B1F9FFA07DAF6093D5AE922122E73EEAB52373E34EE779B199F1925F1E0AC602EEBF85E234FF67F85BEF8ABCA6FBF6B5AE81FE8A2BA91DD]] FP4conj = [[04A647A22374D9682E1854BDEE1EE169F90174974107E4C8B1A6CFBEBF025DD588799DDB09D58126079E6DE16DCA7F52E20149FA48ABB2E0B8,13474EB8A4167251472177620023B329368B384F0FABED05F9D6B75195B8BF3D6577D6F198FCA20A060F2715532AB92B54FF93FABA92DED119],[10FCAC3574BE4AEF82BDBD32C1479FB57DCF9C436DD031DDCE23F881BAC629785DFF9416D9BF6BC87D59D6CE852C961707AD57884C9D08CAA6,07B17DC7B8F5F96260292A3FF341BD2FD950B500076B87E10953CAED0DEAB410CE2751B112490F37072E8964515B9E66F2C0ED8DD096E8A3BD]] FP4nconj = [[1F59B8EDDC8BFE97D2783B4237918A97B8428BFADAF81D54925A0AC9C4FF773278182A24F76F86DA1D69E01EFE8380ADA1FEB60605544D1F5B,10B8B1D75BEA65AEB96F189E258CB8D87AB8C8430C5415174A2A2336EE4915CA9B19F10E684865F61EF926EB192346D52F006C05936D212EFA],[1303545A8B428D107DD2D2CD6468CC4C3374644EAE2FD03F75DCE206C93BAB8FA29233E927859C37A7AE7731E72169E97C52A8780162F7356D,1C4E82C8470ADE9DA06765C0326EAED1D7F34B9214947A3C3AAD0F9B761720F7326A764EEEFBF8C91DD9C49C1AF26199913F12727D69175C56]] FP2sc = [0BA054539178BD38E4054DE341857EEB28BEB7BBF209EA5C2DEA9B31015B943A3EA3352DFFD4B42904AE7AF0355D3DC556A730585378ECB050,08CA2899008F1E8CE0E2EC297D5A36D299E3749DAD198D6B721EE858F7EF2046262BFFBC2E5C010B6EE971C786358E8735FA06014411015D14] FP4pmul = [[1DA7434ECED8847964BA33A38ABE68348E61CF23DE1E0B576996F4BEF1E4474B91C94F7C0784054884297C2534310D962A98B6809FF4C55012,01400C8D66F1685E98F7922B07B248BBDD3A8E832B45B438BF85F31E8E8CD4A96C872330ACD20E208D72686BDBFF8F2CBBF3AF402EFEA6F97C],[1F240FE3AA1216D8626D12455972C1E0B7D5D7A5F5E2776B176E94B7EC2485CEB19812897F310E1D2A1ABEDAEC746BC50BB9CB71061C0B5E0E,11D837EF400425D9A4C521A935325DC0204D228604918189829176F035F101D14E9743290AC692DD8A5AA8A05FCA11CA1DE20CA5313BD231F2]] FP4imul = [[0DF2D6E66A5E8C388A48FE39CA5CA43DEB045DC5C317AE5A14F46F3C3D071980996CD9911D80837216DB49A4495F7DF8A603DDEEDA0318A228,15D5EB99EC427EF3D4D3D625DABAAD79F25DA85B1303C4F4A9834B6C3D2868B02FD5BCD4C9B0DE1DED25273F8D322B817AFEBBEFE1B89C7338],[1509FC7FA1C6CF3178E7E8680789F8E2E9192C59EE8F6EA11D95CB8BD7B12DA6E724D3BB754BCCA6D203179549163DBBF0F7F967B628E5A034,0CEB8738D51EEBD8E01511404BEB34722551E19205BD6A7A280579C15A41B8D5961BD2ECCA69DA5B0F7CB1D3783B24CBABBD3756DC3B4614DC]] FP4sqr = [[0D9FFD403C279355572B70B69BA6F6A2A9BDEE5B34CFADE20B53A7D287C735C5273A6E0D8B208884F52C5F12DEA76A25BCA5B08CD65E6211BC,0C7AF879D2DB16B448047AF15196590E358B6547171D2A9C0CF06A01ADC8801B02926DD08869827B3E2A79A7F273009D8426C82BC8F33A918E],[0200739A1DBA05E73948A025013694C41E9C02F2E22BB08D8FA2C499BB7BC73EB10757E6F50D505880CEF0684A8611D839BA2318BBAD2D56E5,081A84DEB6CA2A8DE47CA8850A738A026C4BB6D85FDF29999AA153986BA635D0DEDFB355058902EA4172B9CDFF1C9853B8D7809E6EE54446C9]] FP4mul = [[0C9B33D4FB7839939AA385D6C63C00D07558CAC27758AB5EF427F2D677D7AD5A826A529CCF6F91D094ABBF3764BB0D040D938D05AA724F8A27,1212DAD49EB8D0C46BFC52E9437E4AC5BA1EF37B18D1565CECC1F1D34F843A9A420B81C20E442DDA2224A4B93C76BAFC2A9FEC60A926E63515],[219E5674CDD0B8B1946417FB1E1491137F1E59B3A14B30663C17DA902BDF80E217C5820D0903917C2B2EF34AB2FBA855D225F0DD8329F8BD83,11C6BB38A337B7B717F6CFA64F98144F5462895BD2DDAD0488E43449FCCB1C135C5F3A817AA88508635DAB9C94B650FDA709411499A9C08030]] FP4inv = [[1AD0FD8FB77C6D3794C2C9BAAF507399970424E85400D5101BEEC3E893D4801FABAE0166C8ECB279DEC4E64227F0B41B423F0FE6A3E98125E7,12412DCD998030D5EF016174DB2E85B4DC02E947F437F2717E28C26AC237B8BC4B78C084FA38D1A38ED753BE5290907F4E0863774AC459E137],[188D001E5DB4C54A1758AD008977CAD3B91BB25544D3F5A9E4761539424A58B77006A8C1A8F10CD95FED4474DDE0478BB12AD6F191B8CDB91D,15D90B66085A01EA1176780DC8F2DCCF092A795F6284A090D7FB4541E3268A30D60BCC4F998B417A08DDC3AE7C27229FCF178B25333BD14A4B]] FP4mulj = [[1AB4D22244388672DDFBFD0D57AA897C0CC5194EB59B58207F30ACF3D7265FA070B9859A39CEAB6EAEDD0096387D08506F139605D1F9DFD92A,0B51D692D24C93AE1DA9A88D71270F1C5A23AF4EA6C4485E6C891719BB50F77ED46AE238153C8D00A07FEDCD95C5CB828991BAEA30CC0E91B0],[04A647A22374D9682E1854BDEE1EE169F90174974107E4C8B1A6CFBEBF025DD588799DDB09D58126079E6DE16DCA7F52E20149FA48ABB2E0B8,13474EB8A4167251472177620023B329368B384F0FABED05F9D6B75195B8BF3D6577D6F198FCA20A060F2715532AB92B54FF93FABA92DED119]] BIGsc = 21D62731B5974966488C793A919FD9B6206B8D1E3C098F7243C65D88AC4DF6D5B039EAF973C12D56A94F7168347064C641E900A3F149224C5D FP4pow = [[0A67BADA4C3610C3A406CCC3C378AF291ADF98C7DC0B65279AB7A781214959FAFF15562018E7B42029C0AB4128A9C19398E8A7B8C4E425C941,18D134C772F2799C8F8FAEA6B63FC6CD84532AFA388C8465AA93EDC67CEC939589556BE034D854AB29FABF7AF28D4829D56567428C7F5B70E4],[1EE4DB4F0660FBAF997EE089124A80F2BE7061349DF22DB99715DCCE892F390E3983C6344C1C8A4381C9EE6015F2CF375FCBB9287A403AC2AB,01A16E84E37FD98D0F4B877878F62305B3B6BB6C98D00F0F37B514D848703487832E61DB1BF094481688CDB7952513C0707A1B3207CA6C74EB]] FP4frob = [[04A647A22374D9682E1854BDEE1EE169F90174974107E4C8B1A6CFBEBF025DD588799DDB09D58126079E6DE16DCA7F52E20149FA48ABB2E0B8,10B8B1D75BEA65AEB96F189E258CB8D87AB8C8430C5415174A2A2336EE4915CA9B19F10E684865F61EF926EB192346D52F006C05936D212EFA],[1E650AD4A4AD0718975652C0821FE1A6C1A92EA2CDAFC9C2C5BA7D30784E8C1264C7773A6F362AC540330C3FEF8C4E0E17A9587DD5415162A6,085B7C99933C3EEDF04C2CA4DFD1F5830F1F69F95C5095D54F3AAC8CAB955A11F21760C1D593120AD52D6687580C8555613D571F77C9A81FF1]] FP4_xtrA = [[11CADDF668CAA0910D44C8200807E24B19287142ABA18AB644E2B1E15E38A07CFE15CAA5D5D81594CB0876CB201E8D05E780A8E7B9EA0CFFCF,1E92619A5665253B41449589B1225101B4056EB546794C5D0C5300551CCFDE0EB382AFB7F68A2E59D031AB18931CA8EF9907C8FFE6D9577E3D],[1CB0C0FADAD809C78C7AED4A2A5AA36A77653E579D4BF779FDD0A88D734987D73A46EEC625AF6CACB0285782A2F3C124909C4BCF2BA1B4E482,1C9747CF34398961A6DE24CE8E4D8A997D2CEF9375EB7B364529369557B7E11BB13656E794D7F7ED828E483CA9EB80547955B3AA3863F297B1]] FP4_xtrD = [[04536DFBF53DE084FAFAC73ABF6933CEB7BB052CB2BFE450A806085509C27A1A1647325777758638E5EF835003126B7FF8A31C984506FC504C,09EC5B988AAF0A11BA521C2D76FF5EBD79B8F53B13C552AD5D43D5E70658D6A8383487ED57B546675714797DB86B8E475E27A036A1CD7CEF6F],[04071BBF343E4808345DB5BFA457C15AD440CAFE228B4EEF375BAE1EC9F14955F599F7B942D380C7AB2390CBAC7AE5AAAE5F740870731BC1AC,1CB789DF44DF0FC924BAE40549A07BA46AEE4D6A6D081BF4CBFA9846D3D2A2B74322D7F2E23BEC7C581DF505C8B35B865755A5831BB772FF62]] # test 5 FP4_1 = [[17C4588F50793CE5C9902D6062200C747EC79C945BD4A9D58CC612F8F0F246ADEF67E5C4ACC36748BAADF774FEB5F072A4A5F36EC72A547287,22E9E7CBEE58EBBC2E2AE4FF4C8626FC34071BD8FCD50C847C342C7E6484F7F7B95776E8FA05C9D5AFFAF2B6E9BDA6294528D415BC88D96505],[2345902622BCAFF15732A702A7C9ACEC48CB8D18881124E2F0A5ABF0BD0942C781BF001CB12782C357A93F5676D196534E08473159F7F961F8,7889A0E62B3139336E45F0B21099B5771ADEF14753F0EC22C6FC9A0B080E88AD73DD8E8744728B6B586A8067445342F33DA8C0DB487B04BC]] FP4_2 = [[2154DC55E2A4D2023A94F143E8F99158978630452F7CD6A29A4D544E56DE39C7B9122AF4BECB1D984958931EC0EA692098B4C780576809E9DB,0D0765161AEE0213EB1BA85C03FDA7E24B32B35C535088537F91019EFED2F520601F3F76E7186EA6393CC96C45728E5D1BBBFF46A2F0FE114D],[031D8A4802E53D90F3969B6A040F78048F606AC337AF34AA7ECA6E643AECBFE9BB2A4209C214ECDB8080EAAEB75B9551E4D491352CCDA2AB93,125BB3106F7BFC5051F5CDE63FD4AA4CA1ADFEA239F149C83139928A8D4BF80701FDE736A31007A606A67530F4E41360FC9A7BD01DDCD1F3A4]] FP4add = [[15193455331D36E803948EA4256931CB6509CC476F517E5AE3128CBEC3CEAB6DA7E848B96A497CE0DEFE3C9353525992B95ABAEED0925E5C4F,0BF14C52094615D018B5FD5B2AD362DCCDF5CEA3342592BAB7C45394DF56181018E4EE5FDFD9307BC42F6E22C2E23485DCE4D35C1179D7763F],[026319DE25A115824A38B26C8628B8EF26E7F749A3C057702B6F3FCC73F42DA93C577A2671F7679EB321DC04C1DF2BA4AEDCD86638C59C0D78,12D43CB155A72D89856413D6F1E5440218C8DD9381453AB454008F249854068FAF71C4C52A547A3171FEDFB15C2866A3EFD82490F9254CF860]] FP4neg = [[0C3BA800AF879B1A3700629FC3905F8D327C63FDC02B5847B73AC78F930F8E5A1129E23B5481A0B76A5A568B6D980F8DDF5A0C9186D5AB8D8C,011618C411A7EC43D265AB00D92A45057D3CE4B91F2AF598C7CCAE0A1F7CDD10473A5117073F3E2A750D5B49829059D73ED72BEA9177269B0E],[BA7069DD44280EA95DE8FD7DE6BF156878737993EEDD3A535B2E97C6F892407ED2C7E3501D853CCD5F0EA9F57C69AD35F7B8CEF408069E1B,238776EF19D5A6C6CD224A0F739FD24C3A2921A0D4AC11312139DDEE78F9C67F531DEA717A009574B9AFE3800509ACBD90C2573F72B784FB57]] FP4sub = [[1A6F7CC96DD542E38F8BCC1C9ED6E71D98856CE14857D550367999331E15E1EE36E782CFEF3D51B0965DB256AA1987528FF12BEEBDC24A88BF,15E282B5D36AE9A8430F3CA348887F19E8D4687CA9848430FCA32ADF65B202D75938377212ED5B2F76BE294AA44B17CC296CD4CF1997DB53B8],[202805DE1FD77260639C0B98A3BA34E7B96B22555061F03871DB3D8C821C82DDC694BE12EF1295E7D72854A7BF7601016933B5FC2D2A56B665,121CD72076B00CE8E209080A97EC5B6A86B0E0E12962A941358E449801BDEB89AC07BE57E57972E589BA434FDEAE3FE27AA32CF10B6BA9112B]] FP4conj = [[17C4588F50793CE5C9902D6062200C747EC79C945BD4A9D58CC612F8F0F246ADEF67E5C4ACC36748BAADF774FEB5F072A4A5F36EC72A547287,22E9E7CBEE58EBBC2E2AE4FF4C8626FC34071BD8FCD50C847C342C7E6484F7F7B95776E8FA05C9D5AFFAF2B6E9BDA6294528D415BC88D96505],[BA7069DD44280EA95DE8FD7DE6BF156878737993EEDD3A535B2E97C6F892407ED2C7E3501D853CCD5F0EA9F57C69AD35F7B8CEF408069E1B,238776EF19D5A6C6CD224A0F739FD24C3A2921A0D4AC11312139DDEE78F9C67F531DEA717A009574B9AFE3800509ACBD90C2573F72B784FB57]] FP4nconj = [[0C3BA800AF879B1A3700629FC3905F8D327C63FDC02B5847B73AC78F930F8E5A1129E23B5481A0B76A5A568B6D980F8DDF5A0C9186D5AB8D8C,011618C411A7EC43D265AB00D92A45057D3CE4B91F2AF598C7CCAE0A1F7CDD10473A5117073F3E2A750D5B49829059D73ED72BEA9177269B0E],[2345902622BCAFF15732A702A7C9ACEC48CB8D18881124E2F0A5ABF0BD0942C781BF001CB12782C357A93F5676D196534E08473159F7F961F8,7889A0E62B3139336E45F0B21099B5771ADEF14753F0EC22C6FC9A0B080E88AD73DD8E8744728B6B586A8067445342F33DA8C0DB487B04BC]] FP2sc = [11B43BA33FB3229257CA38EDD1539EB0B92778D48455C959FF1795E625FEB4E65175ED3386F69A89008BC7F12DC6C0C2240FC20CBEF00CBE63,045F12AC575E5BB5B199D9CD9A8A626C243A8645DDD675082BEB15FAD7290615A503B9F995E66754C950DB9423122C28C782407FE2D079455A] FP4pmul = [[1572F95FBB590615AEFE63EA3A680F137F3C9511FAA51ACE6C36ECEC96B0D0D77E0B66F4C787C7A88737F2569713B40F650AC0FFD2FD02F77A,14226F00528679AE6D232115A361E372FDCAB11961D7217251748351186D4645B3AA527930C7305A2A47F835E2E852245F9D8714CC2544326B],[06E7025B0E6EEE85930386349AD00B1C84B1318C9AF796079D9A9381C8BCF9C6A4E381499CE55013E1F1818EBDCF9D41E8FDBEDEF4FD84CFD2,1CB2DDA38DF1250B4E43817B95A5A9D9BD50AE5BEACB4F792885428164BF47112990A799FC0C58C6FC8E86FA7CA260EE7887D0FA0989CF495D]] FP4imul = [[1711611D41E34397251F95813D1F59CE9896712D3752A31BAB1696D2BBC570A7BC7C0712B0838D22A0A741D3223BC1C98A97CDBA80A951C9F6,1FA79D7FB96126F0B6F9E3FCC10757EBBC506DAD9F542BBA24CE2260060E60C6E3A883A3E4480F5650D2E0DA620C98A388A3505608236593DB],[21163EE88AF037C55B18EC0A2E156FAC0F6232ABCC448D33F6942029681F8C060546A872C0CEF30CEF8C1358965C594BAC211CC47DDFE587A7,01E2268398ACC4E4CDB917C2C84266D5DC6B7BC51D4FC3B08B1BF2682C203A22B5CF763A1D11CA2DAD61AA019D114D0BCCF6A3036D21EC12F0]] FP4sqr = [[1DDE73327B48D76A85501064F86D6BDBC49D81FAAF46D648CC58E0287CFB742ABA954F0666F2722F5624A6D566AA981B91FDA38D3B9A08C1B2,0E28A9362CE53258FA4B6B735D33C610C1B41377B83EF6320F35C18BA7A39C3CCD70B272CF0D9807B7F1174FA21B4347D2CE7AE7454AF0499D],[173271061303F59EE067AAF19A924BF2C6B331A0E2EEF60B3FB8F97EE1C8A417BB37DD56FAC966569F2D27B5D53EB85A1B28FDA453C77C1451,06A459F3FFDFC998ECD6E2AF1802D42206DE391425B0662FCED7EFDE2C8E2788039F9BED7B3D5C70FB8AB75497DCFBDE2D75EBD5F19DCCF44D]] FP4mul = [[19DA83DE70C03ADC510E26A6F2A1ADF5DB9D7050DDBC578DB0833EA82BC9DF709ADFBB1DB9F0A27D958BF6E9CE3E9B380824F462DA633713CC,098DECC2EA5A07FF6B768BCE6F15C289B0C7A3DF138C5C4900C73BDE2DA8A7F7FC386157CA410A29FDADCA0FB7C60B9B8B9BA87293BF09C54F],[12E2051DB007E6AE605F1578E80C567E84714F74C3F253E87B7B4F1915937061D8A92C24C257BFA6AF1A97F69C294ECA27475F3B5B0ECF6C72,178035EC98D49F74BB4EDD42E7E9CE80DD6EF7E48696630AF6809BEECE45B5DA21F81F71C73A73DF4C4DF15A77E55A41768F723400D54CDFA7]] FP4inv = [[06D0CC7FA76B0E98039F89D54DF8C9091A0B87D91C9E02673C25BAA43C3412E20DFE3747CD1D4B9C846D5BCA510AA9B517DBD0392960F13095,059569AE18967373CDA3F0AF701639120EDC04C72D5411EBDFB0597A8B69873750F7F8790AEC88E8D8D0FB5AA44B0BDB108A30BD019F193252],[0A81C242C8FAF2C0B268CEC2B7E4079734CB5ED528E78155BF7B9E5755BE328ADE52E0B93009D8358C735559408F115E9873EA1E73507EDB02,10B873A070613FD86ADB6649D1DCA24AB34C2809274A8528C0BBC1CD28468E416CC1AEA0C60C59B9C67DDE9EC08BAF544730C3C74218D8BF58]] FP4mulj = [[22CD06853C917EB823C46111F5B91336D1B0AE2740BD33F6CDDEAF56B201343ED44B228E29E31037EC50D4D60F8D43105ACA9E707EAF7E5D3C,23BE19C708E7E12A8AA0ECF359DA46A1BFE66C09CF6515CF136CA88AC81151502F32DDAB386BF54EC301A9D6DE15E9964145EFF235407466B4],[17C4588F50793CE5C9902D6062200C747EC79C945BD4A9D58CC612F8F0F246ADEF67E5C4ACC36748BAADF774FEB5F072A4A5F36EC72A547287,22E9E7CBEE58EBBC2E2AE4FF4C8626FC34071BD8FCD50C847C342C7E6484F7F7B95776E8FA05C9D5AFFAF2B6E9BDA6294528D415BC88D96505]] BIGsc = 14D16F33297D5717F5EDC4FBD307855EF3BC6FBC17D325667CF990812AAA830B453B20C36E4990AE219097CCAF5FE6DD93EFCC3E345B624EB7 FP4pow = [[23E480A95467C5D734368C8E23104F2C89EB1119FF11CA8CCC9E4CD25E22A2D55D59576EBA4E9649DB7FEE5839A5FEF5E9DE251FF284DF8D15,0BE90D18C1F9045FA982E23277338D9DEBBA6A88D0D9E5C0B709D6D72AE12B443F60CDA5A8CB97870D891D79DF7E8896847F674EB9D9478AD1],[2068831522CAB9CC7FB4E1146D39755B4FA9AC2BA746DBC2BD0BFE7AC17FC356934635A6BD68360C86E5D8CC9BDD76EB687D4D5B5C0553B5AC,13A77773B0DBE6648C242E02BB2145471BBB9257D0749AB4609E7938ACFB221F2BC58E6DC0D8B3A3CBE9D3E6A92B3D8E251A3DBDDA727BFCBA]] FP4frob = [[17C4588F50793CE5C9902D6062200C747EC79C945BD4A9D58CC612F8F0F246ADEF67E5C4ACC36748BAADF774FEB5F072A4A5F36EC72A547287,011618C411A7EC43D265AB00D92A45057D3CE4B91F2AF598C7CCAE0A1F7CDD10473A5117073F3E2A750D5B49829059D73ED72BEA9177269B0E],[02F43AF5C86FD1FA20D1D3FF15AAF52F23D78DBE1576C4AD862F43D21884108533035B7F63CA64791509011DF2E0DCAC7C5A17E3AF240D9B34,21368C6630034659280002F6907D2E0770217911E619E974510040B73DEBE770B4704BD9FD136C97595AB4DE63AED473F18289F22EEA671566]] FP4_xtrA = [[23AFB29E1A386221E6A7EA159BC3F6B8DB99B457D0CEF820885ECC06CDEC1A73318867CB89A244E43F3C23637CCF8B375D3BE7AB98967BF180,0566E4E3B26C63E9F3C5AA866715DF456FA1BF1FDB82E5EB4DD42158284C9403053AD824C980A6F58EF1C2B61D05450402FA2BDD8768156431],[155D3224B348CD964C943C094523092C7EB75F6DB6ED051C5F8C1567C357CD52D52FC6389DE7BB840E10406E25B1C2683D3B519128B148EB85,1DABA892C9AAC63C6412158A7435549BE005B4B5D1C4168764E49112B64729FB33E96DB1B9E8BAD37DA224B742FB7EC85FA1BE5584EBED3E52]] FP4_xtrD = [[1255C2A3DA57359EF2C045A459DDBEF478524964139D84BAF6CD94BF1F18BBD6DC574B7D0EB0AB9E05D105EBD58CB736CCB1BCAFFB455FDCB7,1054DABE50350AE09F16C1750F88501BBC2DDCE9F694E1639ECF1D9FE69D565D5BE554A0DD8C145CA20BCDE2A73BF6F6507CD2BC68393D7FB9],[15BD9032587BA5818DABD8F69EC4CDC7F5C24AADBB113B9699029C4F53D77F96BD924D905A8E5BDD046F0A61EA45E4FFAF398C066BB76ED81B,07956D35CC362C0B53B36E907C24078CF513F6F6B45848081465E912429E44995E87570A89C64187D23B8C556665A26413F13D57A82EC2FDC5]] # test 6 FP4_1 = [[03E87E8358056AB574D2856B7823FAB1CB25795C677CA29F76CA44100112A6437DE41666933C7E98D0A83CB8B4E260909F077600D857C10771,0129ACB9375C6F4F38442475F76F7A2CF4A69B752357EE65284EEABAA3965455D3666B3BCBD889B74D64DC1EB76093DBAEADCE420FD8D04321],[0BB45A906FC3136DF73479F1E7771B7135A577C8D10098B36B6D8894935F81F7CDB1B4BD4797F45D99FB8553A3A27828371057BCC402A7FD85,0E85DB0AE96B0AC53A3D081F606872DD0F69E8A5CE4AD9DC25CF9456B7B87CEAC71AA26511D9B2CA687533EBA0E81B62376E14F07D73E0D27A]] FP4_2 = [[14287808FE188EC2D9C52DFCF6ADE1740E35A38F628A7EF3279134695355E86FEA167E14EEF7BC82933B11C2B09426585DF7BB4C8F5AAABD69,05942751BF118687C0B08DD3F76D5C4F1373C2DA76A549F08923B7E6ABDDCB7758058ABDE03B2519599A57497094098AB7E98672BD3B6C0BF6],[1E73ED04916520AC733E59BEBCAA5A77ED726A84153BC420AA339B1529B29FBB2B7227280ACA29DC7ECDEDB8772D0B8E8084FB7DCFF27206ED,16FB39CEE6C3BB2784375A5427350A9A2DFD6221D592BB854A5877940C4DB2FA1F2CA70E4DAAEA8A8387148595579F9DF16FB66686926A8896]] FP4add = [[1810F68C561DF9784E97B3686ED1DC25D95B1CEBCA0721929E5B787954688EB367FA947B82343B1B63E34E7B657686E8FCFF314D67B26BC4DA,06BDD40AF66DF5D6F8F4B249EEDCD67C081A5E4F99FD3855B172A2A14F741FCD2B6BF5F9AC13AED0A6FF336827F49D66669754B4CD143C4F17],[0628470501275C1A69E243B07E7109E771D3E1BACA3C5AB6D1A0492139104CAAF89213E5511D1639F3C1250BAE8183B63395533A45F51A045F,01811449D02DEDECBDE3D27361ED11758C234A3587DD93442C27316240045ADCE5B581735E3F9554C6F3FA70C9F1BAFFA4DDCB56B6064B5AFD]] FP4neg = [[2017820CA7FB6D4A8BBE0A94AD8C714FE61E8735B4835F7DCD36967882EF2EC482ADB1996E08896754601147B76B9F6FE4F889FF75A83EF8A2,22D653D6C8A468B0C84C6B8A2E40F1D4BC9D651CF8A813B81BB1EFCDE06B80B22D2B5CC4356C7E48D7A371E1B4ED6C24D55231BE3E272FBCF2],[184BA5FF903DC492095C160E3E3950907B9E88C94AFF6969D89351F3F0A2531032E01342B9AD13A28B0CC8ACC8AB87D84CEFA84389FD58028E,157A25851695CD3AC65387E0C547F924A1DA17EC4DB528411E314631CC49581D3977259AEF6B5535BC931A14CB65E49E4C91EB0FD08C1F2D99]] FP4sub = [[13C0070A59EDB3F29B9DE76EA726853F6E33D65F20F225C99339EA2F31BE92DB945F6051A589CA16627578F6709C3A38C50FBAB496FD164A1B,1F9585F7784BC0C7782426A225B289DF9276D92CC8B2A691E32C0D5C7BBA5DE67BF2A87DECE26C9E18D2D2D5B31A8A517AC447CFA09D64373E],[11406E1BDE5ECAC18486B033507D2CFAF9770DD6D7C4D6B0053AC807EDAEB744A2D155953E12D2814035E59B98C36C9A3A8B5C3F421035F6AB,1B8AA1CC02A8279DB6963DCB5EE3D44492B0871614B820741F77F74B2F6C9EF8A87FC356C573D04009F66D6677DE7BC4C9FE5E8A44E17649F7]] FP4conj = [[03E87E8358056AB574D2856B7823FAB1CB25795C677CA29F76CA44100112A6437DE41666933C7E98D0A83CB8B4E260909F077600D857C10771,0129ACB9375C6F4F38442475F76F7A2CF4A69B752357EE65284EEABAA3965455D3666B3BCBD889B74D64DC1EB76093DBAEADCE420FD8D04321],[184BA5FF903DC492095C160E3E3950907B9E88C94AFF6969D89351F3F0A2531032E01342B9AD13A28B0CC8ACC8AB87D84CEFA84389FD58028E,157A25851695CD3AC65387E0C547F924A1DA17EC4DB528411E314631CC49581D3977259AEF6B5535BC931A14CB65E49E4C91EB0FD08C1F2D99]] FP4nconj = [[2017820CA7FB6D4A8BBE0A94AD8C714FE61E8735B4835F7DCD36967882EF2EC482ADB1996E08896754601147B76B9F6FE4F889FF75A83EF8A2,22D653D6C8A468B0C84C6B8A2E40F1D4BC9D651CF8A813B81BB1EFCDE06B80B22D2B5CC4356C7E48D7A371E1B4ED6C24D55231BE3E272FBCF2],[0BB45A906FC3136DF73479F1E7771B7135A577C8D10098B36B6D8894935F81F7CDB1B4BD4797F45D99FB8553A3A27828371057BCC402A7FD85,0E85DB0AE96B0AC53A3D081F606872DD0F69E8A5CE4AD9DC25CF9456B7B87CEAC71AA26511D9B2CA687533EBA0E81B62376E14F07D73E0D27A]] FP2sc = [149A709E500EAF6BAE4CF0BD8AC784E4294B6E877D50FE3C4F59DDE8E32FA3C24FC3C4F75634ABFC6FA757479AC9EC818803660178D682A351,2186E369773AF02930F59D592B575AAE376947233A1727A7A566BCC6AA0F96DC4D859624568ECB77E250B3960918443063E46392C26BF160C6] FP4pmul = [[0B3A1293EFDB9E83D0DDE10D5490F797D3A96A163045862F9ACFE533E2DB93CBBB8BC99CCA34DF3CC302EC3D01E33F823191A2548AC7E1D96A,1C2297B5B53DCA27074C13A640B97021EDE622BA5FF0FAF5BC56B18A282410245217A9A57975723607FC3D0212781D490FC9405F95A38601ED],[15F7B5F635ECF0352F5B56D67E92ACAA06E9A8F5A9ED3BC1013C7ED1945CFD1D0C4146FF3696908869345A88D2E39747E016BA8B2E33374903,1AF9CB1B244830C60ADB9D9D92658CC872D8871200CD3D53B1927BC1916D8CEE14A0626148421ACEDE4BFD769187F10C6EF47EA09891C2A9FE]] FP4imul = [[138A7890B81B158B481C9B1958B3E578F7BB5ECE056F2D1D51F35450055D3F5175747000E02E78FC13492F9B886BE2D31B254E0439B6C52535,05D05F9E14CE2C8C1954B64DD52D62E0C7410949B0B7A7F9C98A95A531EFA5AD2100182AFB3AB09482F84C9994E2E34A6965074A4F3C114FA5],[1685C4422ECE8925D375D1B95FA31D345AF75659F902F963D522D05E5CDBB4CF03E6BFB264B2BDD3DCE14CA1C5DE58C88F51B6AF860D47F386,9D46168F1585DA2210089C96A9664DEA898A18CF763D12350C30A08E96C685E2619BF956B66DF3C03967994BEC88EA0D2668B1D743641C3C]] FP4sqr = [[23792A86C3EA1F7CC1953867778C7D4D15F18AAC619D5E049C4BAB785B33CA693B4C1CC45FFDD7A16ACD3C5ED4B726435FEAB4760C6FB22BD0,18D29B925C0D1BE28EB783ECEB458DB84DE33900B258DF0FDB0E7C107F933C6C445A0B05977E4B762B74B287DE9F46157BBE00C573B16DF5F8],[05EA96BF43312991AFB8F649F2368AFE4C71443175A5FB7F0D6A8B1D9B22454F42D75898E8B307856E5C4C6C175D99E217D45C4EA52F5F617C,1F6D8DE7D2236A0AEAEB5F8E7A6C9FC6259E8868D5238A1736C1D70AAD81480DA97AE13C569D41AEA83D66C27A81E4A51BEEF6BC5AEA59A038]] FP4mul = [[0EDA1801FEF45E97FD95C83AF7FED43DE0D19B63D8586363010E460240F8ED95F102130EFEFCD7E9D48833823B2BF5653DBE17F466ADC6B04F,1E0E6F6DBFD7BB1F53EF62808156528C74DA562CB36D033C93A44C7224C90C669BE646D4FD32DE5E4B2D7B52E0D64B950258C0CED1CF391AD5],[03FF9791ED6767955CAF67B868E2C499983B25C13A8F6BEF79D12EF0A90E367408230143CC8D8AA9BFF7C2F863572DA8A6D20D2C895CE1F5E1,03259AF2C746B8BC4AE4967350C156F0B2977A05DD0CE442A812991495DB752307427882396868F31A945124328CC1B25BB674E0116044BF24]] FP4inv = [[059C6484D22C2E87C57D421AF1EE678AFB868C2C99AEC1A6B40F8970CD051E1F984505DD163A6463EAD4590426A27774774065AACB87E9C49E,2331F464851FB017970F54A56791152A37363518D3336BF4CD7F8E44527D8C0349F4FCC7F9EF121B3FDBD1095B11466D9ADDAC4A72EF043C72],[1EF280EC5B4F6BD5F07CC574F05430C6912E2183B968079ECEC67A7A1F587E4AFB0703C0565A0FB9F99141E32B8F387FF23584D7E42FE4CF5A,0B80B4AAA41C54C1A8E033AD0F004F7DFFBF30E45E419D2161A6DE027308938857F2FCFDBE6890F2097F2E80AEFDAF57CF75122821B4233505]] FP4mulj = [[212E80158658E0A8BD8801D2ACBF1495D77F8FB51EB5C0F4899ECEC65FA8DA150728DA5837034993568E9F686F085CC683A242CC948EC72B1E,1A3A359B592E1E333171821147DF8E4E450F606E9F4B728F913D1CEB4B17FEE294CC57225971A7280270B93F448A938A6E7E6CAD417688CFFF],[03E87E8358056AB574D2856B7823FAB1CB25795C677CA29F76CA44100112A6437DE41666933C7E98D0A83CB8B4E260909F077600D857C10771,0129ACB9375C6F4F38442475F76F7A2CF4A69B752357EE65284EEABAA3965455D3666B3BCBD889B74D64DC1EB76093DBAEADCE420FD8D04321]] BIGsc = 101D2FC8FD4A52AEBECE2D5FFF5CD35A2C25A4A8C6B9860A43BC3CED46B360AC672EAE2FED8A1A3CB6DFAFDAF1B5024C46EDF10F112CDFBC50 FP4pow = [[143AAC3C96CDD7B543AC8B9CE25B68B80AD8403CC143F505E1A128F51B890D25D5DC276C4145A5CC2A854FB3C57C0BE4949BE8F5C4793A6738,0C0EE5977D06E52539F42A8869DA495AC33D6FD73C0B1665BC0E7619CA8E18B844EC46D37DE11B95B9125595482754C49B974336F6A4E28270],[1A215C3BC17887C6CEE61216A65AA1717B1A95E7D9B859200DFB962E6266C911CE3179EBECDFC2F55894C2AE54E1FFBE3D4B41BC5A7F5DCE8E,0DE37BF4EC824DFE8E9D41A8020B42253C3C0433DA5BCB560F9B86969F7F9AF37EDB2F3C1FA4B36132FDDDE4F1983834B381C7EF1FB5407931]] FP4frob = [[03E87E8358056AB574D2856B7823FAB1CB25795C677CA29F76CA44100112A6437DE41666933C7E98D0A83CB8B4E260909F077600D857C10771,22D653D6C8A468B0C84C6B8A2E40F1D4BC9D651CF8A813B81BB1EFCDE06B80B22D2B5CC4356C7E48D7A371E1B4ED6C24D55231BE3E272FBCF2],[C42241EF05454CCF4ADC56906A8B801B2FD174E884E1877C22F90CC952934455F4CCCB52E5D1CA9E7D3D3B7BB466ADCC56320F97513F9310,15CC010F7AAEA6E5FEBC821356BCC3C0B102B56B838A180F043C8EDAF30E308D5DE90BECCE36453FE7D156214AF43EF9D512F282D9D599A490]] FP4_xtrA = [[0F2896E2D930DA10E4A0FDED71D832B7A360D9D488CE32D7678B99253DA74B4EF2AD446ECC26BC006328E2ABAD974D9FB214A1D2B53083A176,180DA23B8EA18141E42985CE550C2DE166B7DF5B1ABB9AD214A529198B666E9033BC31649F50A36E72FB2F7FD7C42802CFFF82FDD3FA7B5E7A],[13CB05B31ABEBD2BABE7BC7221629484D14BB6208CCB1981B92A215C5CC514B8BDCA7D8F196EB5DCA8A235FF487DD317DBDD208C72AC898E02,0CC291C43F1870D456168FB551B4DD95EC51A82B678315A3C6228FE48DA0DF919173DB3500D077B45C97B860558B953C8F547A37A89F0A98A7]] FP4_xtrD = [[1BA82D8013DF4A11D7F02D90874487E97FA697F392A418C5AEB72358590E7DE23F83EFF73984DA6FC97CC2ED6AF2652221DBC8745BC0301CEE,167F421FED543D441E2F3B00FC66995E649602166BA902458A70A69B386693C09D8D348DFFCD380790AAFA4A6FDE1E5E1E62644153FFCD6FB6],[1D534BE022B7506D9E21EA2DC124C1E0B7BC33C317A72CE5E4459C46C1E1493EDE3AC21377E2F040A25357135EA28A3285F50BC82D34AF5C86,1879436DA4F8A7955ED4DFCD158D197E932E592255B93BB23E60252F98F06CDB371E5E06790B9F43541F809950041B6906CB209D07D21B4519]] # test 7 FP4_1 = [[013EA86CA2F998F9C55C081A3088DC2B6BD8B547891E1EACD10449AE7F4D4E7852E8975E90E76643CDC40AFB12FD846518A627531C4C0073CC,0B856A0FE33398580A0A30F8FAB52AB6C1C535C47B21890D927D2A4DF846429B733C7DB317C8797EC8E1C30C5122CC399FBFC328E59686BE4D],[05AF325C78767CF0B538CF3C62372CFECA6579D02B04F8DFD61CD19E91AC721C077B81B073F4FEE884261B6E2D1F60EA4BD63374E01488C36F,21E82005149D7CB3717D0A8009AACE052F73D5D3200E252D61C7CBD9406BE47672C0BFC1AE6E2E3CA25C99C7777595FD2515DD50B8C0E3F6D8]] FP4_2 = [[118900663FEC4E739A82BB1CA462C30CA3EEB32A14188D89F750747B670C6F971AFE760B4FBC3AB342F3EB9412F9C4497C9C0E3B868E771948,167C783E6A199BCA2C59CC6F786246F2B267D563D965ACC014F23DFAD92DA393FCED077E10410353AE0F55947995C7B36302F5EA6D5F489626],[03911CD292EC262DEB898FBD4F3AFD1B7172667DBA8C641D9A4BC7D3EB80B04DC70B52B1F13DDDD738175A6467E4EE3CBDE512F6E5F64D8434,0559216E99E93692579D7E7EBA6EDF6DD740863059556069A175F27298C67BF8D26CCE6D596C121D91E0278CA7F333F53D6AC5AEB1A4611E6E]] FP4add = [[12C7A8D2E2E5E76D5FDEC336D4EB9F380FC768719D36AC36C854BE29E659BE0F6DE70D69E0A3A0F710B7F68F25F748AE9542358EA2DA778D14,2201E24E4D4D34223663FD68731771A9742D0B28548735CDA76F6848D173E62F7029853128097CD276F118A0CAB893ED02C2B91352F5CF5473],[09404F2F0B62A31EA0C25EF9B1722A1A3BD7E04DE5915CFD706899727D2D2269CE86D4626532DCBFBC3D75D295044F2709BB466BC60AD647A3,034140E3AE85DB45C889F8FE9E69417155705B715D638379BF3CE3C355308B67449BC62F0695385A0F347353B31AC9F1DE80A2FF1C65451533]] FP4neg = [[22C158235D073F063B3487E5F5278FD6456B4B4A92E1E37072FC90DA04B4868FADA930A1705DA1BC5744430559507B9B6B59D8AD31B3FF8C47,187A96801CCD3FA7F6865F072AFB414AEF7ECACDA0DE790FB183B03A8BBB926C8D554A4CE97C8E815C268AF41B2B33C6E4403CD768697941C6],[1E50CE33878A5B0F4B57C0C3C3793F02E6DE86C1F0FB093D6DE408E9F25562EBF916464F8D500917A0E232923F2E9F163829CC8B6DEB773CA4,0217E08AEB635B4C8F1385801C059DFC81D02ABEFBF1DCEFE2390EAF4395F0918DD1083E52D6D9C382ABB438F4D86A035EEA22AF953F1C093B]] FP4sub = [[13B5A896630E22862B69DCFDB1D68520792E02AF910593401DB4AFBB9C42B3E9387BE95342703390AFD86D676C51C01C200A1917E3BD895A97,1908F261791AD48DDE40F489A8034FC5C0A160F2BDBBDE6AC18BC6DBA31A740F76E13E3508CC7E2B3FDABB7843DB0486C0BCCD3EC6373E283A],[021E1589E58A56C2C9AF3F7F12FC2FE358F31352707894C23BD109CAA62BC1CE40702EFE82B721114C0EC109C53A72AD8DF1207DFA1E3B3F3B,1C8EFE967AB4462119DF8C014F3BEE9758334FA2C6B8C4C3C051D966A7A5687DA053F15455021C1F107C723ACF826207E7AB17A2071C82D86A]] FP4conj = [[013EA86CA2F998F9C55C081A3088DC2B6BD8B547891E1EACD10449AE7F4D4E7852E8975E90E76643CDC40AFB12FD846518A627531C4C0073CC,0B856A0FE33398580A0A30F8FAB52AB6C1C535C47B21890D927D2A4DF846429B733C7DB317C8797EC8E1C30C5122CC399FBFC328E59686BE4D],[1E50CE33878A5B0F4B57C0C3C3793F02E6DE86C1F0FB093D6DE408E9F25562EBF916464F8D500917A0E232923F2E9F163829CC8B6DEB773CA4,0217E08AEB635B4C8F1385801C059DFC81D02ABEFBF1DCEFE2390EAF4395F0918DD1083E52D6D9C382ABB438F4D86A035EEA22AF953F1C093B]] FP4nconj = [[22C158235D073F063B3487E5F5278FD6456B4B4A92E1E37072FC90DA04B4868FADA930A1705DA1BC5744430559507B9B6B59D8AD31B3FF8C47,187A96801CCD3FA7F6865F072AFB414AEF7ECACDA0DE790FB183B03A8BBB926C8D554A4CE97C8E815C268AF41B2B33C6E4403CD768697941C6],[05AF325C78767CF0B538CF3C62372CFECA6579D02B04F8DFD61CD19E91AC721C077B81B073F4FEE884261B6E2D1F60EA4BD63374E01488C36F,21E82005149D7CB3717D0A8009AACE052F73D5D3200E252D61C7CBD9406BE47672C0BFC1AE6E2E3CA25C99C7777595FD2515DD50B8C0E3F6D8]] FP2sc = [10BA44531536DB0DE24A7A9F85E66254854B5E9D12668708717A4B8009AC2C2D5C92F072E08A1EC5A9EA259F56C3A007C0F1D3AAA5737DD2FC,1E0C33583FAA834D8C2A452B3A4B4D7244C533C58F63FF36B5217DFF37A4A2DA0041434AE0B5ACCF871509613209C0ABFE11B6635C8AEB5EAF] FP4pmul = [[2168A01DFE1F46F2665438EBEB07D42BD6249F2172DFCE417CBC0A830B52D14006B0DCE1A6291BCBE59A1826D0214AF35435204CF769681EC4,1C8DA0EE0253349B04E609D207F8AA2EDAEDAB94955FD4FB73A526A9409CC6506420988A63A1EB5A33AEE7FD5D597C4B7D787ADBBC5DCD6FF4],[12F3D896C1D8B4B3354B2B064937575CFA56C6CF928C13A013D24FF01B5A5E720D4B11083ADAE66F4C7C16195C85259568CC44F48486C45CFD,10A69D43473BBBB26786A87F066A946DC4151E23B4978DD49A0E97D0911F3A58114BED6CE0059E2F93A2ADBA1FC4ECB36BB97DA8ADC87E52AD]] FP4imul = [[0777F28BD1D995DAA028309D2335290487143FAD36B4B80CE619BA16FBCFD6D1F1738C37656C6596D29841E271F11A5E93E4EBF2A9C802B6C8,21207BCF5334BA103BAC95D5BA8E9446D95B4208C6C934342AEE234B4DA3BA9CB2D92A328D6DD0F8904244497A82C9593A7E92F513872875BB],[221B2E2AD2C6EDA43F54DB6A4D4B0DF8BE60DAE1021DD53F04ACE9B76A0AACA82CE50A22B7BDF97318E4A4950EBC457DC70534BD407B34949A,1770BD4E7BACB434A61B6EFF7D8EB816A66300183454D47DF6AA826CEE7E319EADAB968A103BED6B150214AAAF3B83EC4A832FE2CE8557C8B1]] FP4sqr = [[1E99AD86687608EE80C676193B7204A032D9C9546CC8DD8F9321B7CD267BE8C1CEE231BAEA89E0608594A9CE7CA7CFC25FBF292A27FD458C13,1EEB94894CFC6ACFE53BAF756D5F3D2FC8BB29C8B801B6A595FF8AFEF44CE3C5E8BC5676C3A340B72B76AC7F170A75A3BDDD04387AA2DFC1AA],[224A7E97F2A5F5518C9C0949AD2A80A05FD83BCD211A5926775CBC152D01D5C4FFCB8341939831FD4D34D65C4BB7E77E9B9CB6C235749A7E46,1B045A35EFC3904ACCA8473154B3CEA591333F47B5532D16D344462BE7F2B03324662516CDA3E49E55CF23C88873D0D742337B05CD6366EFF0]] FP4mul = [[1FADC1F882BC1E825DD927B51540B8A795BE0251927B9EBB4F88C033439189D4141F2F4DF4DFFE46B2044696C46AC3D4A728F2CA501427D67E,1D2CBBDFA2326A343765AAE0400FACBF5CC52113C986409A9C8383DCD21090C2287F987C7CAB6EF63010CB94D33413B43E9F6322552DCCECF9],[085AAA15D56F9A71EFDAE82A6003D677BFBE5F1DB04200F28E92C6010D2E7AF367275C8CE6B34284640A420D7CFCAA66CB29D498354F8AE091,14E3D3D7794D4401CA5FEA66F41A836A113E9DB398BD2B60CB35EA33C8F3CD6BDB5DF79E70892E446405E551EC16CA19FC0221A4871F8B7DD4]] FP4inv = [[05AD54228172DCF7C8C8A031306C7634847ED616C33F907A876BA223D94D8CF157D826FDED9202EB9A07B408F3B9B3E9140A5683CD1C75FC98,0BE2372A6AC026F904F1EB0A8F656351B837E2035B2C1CD2ADDE8017379D4567ABCB7F6AC6A2287385C8F723629CCA944D28C0200EF7457CFD],[20205FE1BB2BB735313D3C6FA61D680B005737A8115D374231033CB7B75DE3F3B35C9056D25AF644575D529CAC3225921F8E2F6403FE48510A,04CA43AEB1C3A8B4FB1EFD8F1AE2E34956A19026AE88309D2F771BD44E5ACD386F3A4D99C305612DD99E21D7085F3F59BCB67FB5E333DB0217]] FP4mulj = [[07C712E763D9D83D444C54BC7E3CCAFB4C35A48F26F6D5CFB855E04DD54262AD954C89EEC6CBD8AC06D1CFA721F7CAEDAAC056247553A4CCAA,039751D18D1321A4262549BC46318F0248954F112F131BEFF3E3C2EF4E16818A79AA7972211E2525017A67353846F6E6ECEC10C54AD56CBA34],[013EA86CA2F998F9C55C081A3088DC2B6BD8B547891E1EACD10449AE7F4D4E7852E8975E90E76643CDC40AFB12FD846518A627531C4C0073CC,0B856A0FE33398580A0A30F8FAB52AB6C1C535C47B21890D927D2A4DF846429B733C7DB317C8797EC8E1C30C5122CC399FBFC328E59686BE4D]] BIGsc = 0927488BAAA7A73E84E9D53BAA6B46B8043AF3D6A0431E29D0291CA5ECDE0F137D220F41155B15EBB7FB9C76E5BA6675D67748D7821AFF517E FP4pow = [[02C61A02F5DA2598B10FE90B33D2D7A94D6999256B417621975604263B80F2E722A1454258F13E44C1B8774FEA7507CA68541891BE186A533E,022969DA0154981879D662A645A28954AAC1C7B257CF1858E5C75AF34EECBB08968AB046329D0F169E6464F6CA4A306C297CD31E0ABF6D5F62],[07651A09889F4F2CD5326BA60F1258ADADF4311CB96A5DB41AFAAA0E7B5A4486D3A5D0898E36F4265646904DAE55B7DD0DB918BD9FB83C96E6,083746955F1D87703DFCA8B52D6843ACA033C97FC62230240E78D3CBC23514EEC35BEFB1DA83D399F64A2971C7670301A8807EDF2B757D7207]] FP4frob = [[013EA86CA2F998F9C55C081A3088DC2B6BD8B547891E1EACD10449AE7F4D4E7852E8975E90E76643CDC40AFB12FD846518A627531C4C0073CC,187A96801CCD3FA7F6865F072AFB414AEF7ECACDA0DE790FB183B03A8BBB926C8D554A4CE97C8E815C268AF41B2B33C6E4403CD768697941C6],[6D8D345468C1196389E6D3E8F61BC911D17E0CA776C8262D8D08999021BBC4F1F7E8B1131FBC15591900B5C358B7E9306585AEEDBFB69A05,154C4003F56A776F69E1770B53089F978710E35DFD89EB2D30682F5851A3B6B086DAD2FD64C0644E3330C3681892708B09669D3A8687CA7F7F]] FP4_xtrA = [[06786E618D560BF5CA4642C65EA56880A2AA83444FA1574E116EAA24E160352731C654D644ACFE123711F991E5BB00A84F8BCB82F184B03F27,1AE880CD9FC3AEE84C6D62F2C4C4F2A046D4A2CD0AC5A2C7AD171E9BE9B87E7C5519F2A404079574DD8DB3E7829CA7489D88DF5FB2B2FC2AF3],[105A7D838EB7811DF869CFA51ED0E0E088B96F7637D72984153E3D8CEF4FCC09A52B29ECFC5BE4C1F4040D616DEA3B0D5C7E3FC8EF07AF55B0,20D5C1E5AEB0753AF86672730FC565E93E4B9C2B2C4779F34BA0EA566BAF87AE72524A4F56D4A6C3769B995D396712C1CA3C58F1F1E0B13F6C]] FP4_xtrD = [[1C1C5CAD2282D6FAF60E65E4DA604C495B285EC55A8CA035F119247027E14BD1291102FDC8BB13D8EA0C93D856ACC6F82E72DA83EF6544A47B,07E0C06986953A1FD1274D8377F4E7C24530BE3FC1BEA48A7105366303C05E8F02435B1094124DB999B3266674C4DD307E5D7DE6AF75D24510],[09A8E2C0E3921732F67D17C24BE86E9C435F2EDB5B2448C8DF9584C9CC58E4F50E30BEA27A3D27CE3078BF3839A8A952AF491DABA79DAC0511,16D4992018FCD9B1AE813C311CA892AC8D92E9C9BD6F73370ED228CD60C6CF1008C4149A27F631175077BB569EC2FCD0845F35A6A2E52EDD7A]] # test 8 FP4_1 = [[1EFE56D0DA09D8BBD589B032148E5CDA905F81F792006AE2394C67B199DEFDDD62F7212CA25BF135CFE17D9BE76F93F3D690C40AD1B36A5B51,0F17DBBEDD4F505A8DE6EABD394E5CF03C68892BB491ABF3A28E3B29686FFECDE55FBBED5B0AE4FE7A47BDECA186E74F399DD3309D4AADDD3F],[20BD0C3663F37A6477AC52D6828ADA1CB7541E0D965129B7A9E8B60F0FD56B8551E4A3D9DAEA27A7633FDA3ECC89AD87E4301B53FE301606B2,0A17B230F7E6907406A60F879FE8DDCBF9746515CEA32F7642269C0C2DF4CB3FD5A2E142E60A8656A1ACD94392C4C4AC581B7F1D84C692C936]] FP4_2 = [[1F845BAAECF69C05B7F124BC6F478C3613830665448BD5A73EA43875B98E82E0FEB0D58954A5E7A7A9135CC116E7F3163FA5108E45AC0D13CD,101A94375BA167AF71C142A2EDB23B37DC1F930E3302E38A286D8AF053AD639E4F4A9CBFFE75F4355B209C89FDDBC3D2D45B5365D7ADE2A8E5],[1319D6C69C9F927AF3D996EAB60AC6097CEB6846E2053DA0F44BF6F95336535977871B40BFECD16E6F6740EB015879992FF659DA1C1F8B8780,079CCAC9C61F2BAC48EF02FA6CA1B8ACDC33EAF049DA12EF678527497858F2DB288314491B997F85365A277AE83E221D9DDEB8DB773E4B82D2]] FP4add = [[1A82B1EBC6FF9CC18CEA44EE5E257D0EF29E87CABA8C3E6C33EFC59ECF6BABB661162EB5F5BCD0DD53EC8C5C920987099235D498C95F776F0B,1F326FF638F0B809FFA82D602700982818881C39E7948F7DCAFBC619BC1D626C34AA58AD5980D933D5685A769F62AB220DF9269674F8908624],[0FD6E26D009234DF6AF559C112E5342482FB85C25C56653B5A33D27FDF09E9D6C8D9F71A9991F115AD9ECD29619427209026752DCC4FA18E1F,11B47CFABE05BC204F9512820C8A9678D5A85006187D4265A9ABC355A64DBE1AFE25F58C01A405DBD80700BE7B02E6C9F5FA37F8FC04DE4C08]] FP4neg = [[0501A9BF25F6FF442B06DFCE11220F2720E47E9A89FF973B0AB472D6EA22D72A9D9AA6D35EE916CA5526D06484DE6C0CAD6F3BF57C4C95A4C2,14E824D122B187A572A9A542EC620F1174DB7766676E5629A1729F5F1B91D63A1B320C12A63A2301AAC09013CAC718B14A622CCFB0B55222D4],[0342F4599C0D5D9B88E43D29A32591E4F9EFE28485AED8659A182479742C6982AEAD2426265AE058C1C873C19FC452789FCFE4AC4FCFE9F961,19E84E5F081A478BF9EA807885C78E35B7CF9B7C4D5CD2A701DA3E7C560D09C82AEEE6BD1B3A81A9835B74BCD9893B542BE480E2C9396D36DD]] FP4sub = [[2379FBB5ED1414B61E291B75CAF73CA62E207C24697497583EA909C46452500464D813A34EFB118E4BD66EDB3CD5A0DE1AEBB37CDA075D4797,22FD481781AEC0AB1CB6381A714C8DBA118CF6AF9D8ECA86BE218AC198C4703796A6E72D5DD9F8C9442F6F630FF9237CE9427FCB139CCB346D],[0DA3356FC753E7E983D2BBEBCC8014133A68B5C6B44BEC16B59CBF15BC9F182BDA5D88991AFD5638F3D89953CB3133EEB439C179E2108A7F32,027AE76731C764C7BDB70C8D3347251F1D407A2584C91C86DAA174C2B59BD864AD1FCCF9CA7106D16B52B1C8AA86A28EBA3CC6420D88474664]] FP4conj = [[1EFE56D0DA09D8BBD589B032148E5CDA905F81F792006AE2394C67B199DEFDDD62F7212CA25BF135CFE17D9BE76F93F3D690C40AD1B36A5B51,0F17DBBEDD4F505A8DE6EABD394E5CF03C68892BB491ABF3A28E3B29686FFECDE55FBBED5B0AE4FE7A47BDECA186E74F399DD3309D4AADDD3F],[0342F4599C0D5D9B88E43D29A32591E4F9EFE28485AED8659A182479742C6982AEAD2426265AE058C1C873C19FC452789FCFE4AC4FCFE9F961,19E84E5F081A478BF9EA807885C78E35B7CF9B7C4D5CD2A701DA3E7C560D09C82AEEE6BD1B3A81A9835B74BCD9893B542BE480E2C9396D36DD]] FP4nconj = [[0501A9BF25F6FF442B06DFCE11220F2720E47E9A89FF973B0AB472D6EA22D72A9D9AA6D35EE916CA5526D06484DE6C0CAD6F3BF57C4C95A4C2,14E824D122B187A572A9A542EC620F1174DB7766676E5629A1729F5F1B91D63A1B320C12A63A2301AAC09013CAC718B14A622CCFB0B55222D4],[20BD0C3663F37A6477AC52D6828ADA1CB7541E0D965129B7A9E8B60F0FD56B8551E4A3D9DAEA27A7633FDA3ECC89AD87E4301B53FE301606B2,0A17B230F7E6907406A60F879FE8DDCBF9746515CEA32F7642269C0C2DF4CB3FD5A2E142E60A8656A1ACD94392C4C4AC581B7F1D84C692C936]] FP2sc = [11616DB671BEB030602F5F44251E6A14C5DB36B57C97D28C18ADAAC3395AF4744F17810271AD1B42D92C0D2D3E99978DF3E88DB92BC4BE1F83,13654686E620939F91FC44067A71777346924C757A31336DE8780A9C2FB6EC5ADC7032D1C90F25927CFFC2110C8E0635555797E94B830681A0] FP4pmul = [[212A44276B102C7AB04805A44A3371D3B9352666B6163337FAD3583C7EB453E7971F5E7DEB31A3DEF5D40D5626514F6FD6CE2EBEBEBFD4E1E7,066AED3137FF0FD57E8B254307B95955BB446395D153DEBB93188E4355E1E98CCCC76EB1A1923434A9A46EB803C1D7FF4008E3A7B692FBB8CC],[07F532EAECA6AD8366723F4CED79C24BA8E62AFF26410C868F5636501DFFAF1A7689D9E3129C15D2013ED7B49407DE306AFB509E2959A4EA31,0552989075AC8CD63E0CCA679139614C40729B2E6678EF9FFC2A219DC5AAEDC9A12E753BA8A565BAD3A98C6188DFD65E64F98C9B9BB5B677FC]] FP4imul = [[F45C55F63FDD22D360715DADC201EFCB048A585602DF7FF911B6A81D0DF2DDB157383868E56877D0F89B40CA390BA7C5F55C49E7E7E87EC5,21A701180D298279E02F4B2C45C3B28E4453BF0DB7FBAF6EE9E1E910D30C4D91447A937D7AC232F50DE59577921453298B50C653B10AC10C93],[0D2B521CBBA348BF4252E3DCAFA96EBEDBB4CEF2743817560D57DB3656CAF27539D5CAF4F4C8E592D88D23B50DEFBEB42550BF4A1F509A2E6C,22A5DEC6C74D1B2C2DF9DCB539ADA49220EAC3068A764A1E8B0D69CCBDAFB9B6D6E260D44904A45E46B1A2D8971360B5E4C079CE536E038067]] FP4sqr = [[232F1020CE841C6713F5C304ADE3B5B31CE4E0E9453E9131C99EF8663F80189A988BDE92D21ED559528167D4DCBBB8D1CF9CEA065290204789,162A84FCACF4DA71F5BA89C14A79A7D942C76F4B61DF631ADAF39ACFF6B74FB45BFDBA76DBD2C27B8ACE70A817A397987BB8CB9E577BF29580],[0C1CA507A56A9AD720F2C138E9A4FCCEBB1BC26C4BE4C838064172B2393728E5F5688C9B5032171BE7CFEB133034E31E5E6B23168DB0E4E55A,043A70B86D371D021D4F3BBEB29E2A5099A47C30B4EC94EF8F7B57731FF2C4D28FCF1755E42C3887F7265790524B2BE3D453BF5DE43A072268]] FP4mul = [[1958F5F5E1BA59C1E2D66DD3812CCE941046CBCF8C6F3C67FF91CA518101DE62D7ECDAA163F3A48EA5B09A4C49AA7859F30581B9EEE7E529F5,1E61A0409BC1D16C65EBE9DE1642FC113F3F7FD8D78E4A1B782089EA2DDCFF3B65F038AEDA426B5F78EB5F8BBE6019E8E8327C00A9544538BE],[14A5ED89AC400B43AC9A1AA3B6D4F16E80A849C026BF41AB05BCBE2C40CA4AB64C93DCB706D1EB32C79FA4D7C6F3F286DB62B8FD861795B27F,2BA3DD1FE7BB23E99A71269DBFD0F3D8BF26F1B44D9AE9C39C1286BAE95DB5ACF84FBEC277980AF38A63018D7519A0C1B7CFBA7A3D081D74]] FP4inv = [[20A803103F5575E10D586C6FED9E063B215B0F7E28A7344BE571AFDD240E4F401F69D5F7C7BCBAE4F8CFFAF769459D52A300F80189FF6B7BDA,13A39C0DD5C7949BDDB0C5A04FDC58AE942EF89F1C422CCBC4DCECD49669BECCF84422A7FAD6F061A17BAB1311B4E1B8A1BA12310854601A65],[08AC0B4F418AD7F010AF6E35EA584757DBDA20710554E0F8DF62EACE9CB8DBF4CE48820FA2AE81862E741B29E0AAAAC29C02CC1BD02F9AD7E7,0B3A539029F760FA1876F1CFFA5769A337D7E7E1D501B80CB7020CCBBA99DC50F748ABBB555511CC492E27AFC4C3CEA7E31B55B7AE9E1ABF1E]] FP4mulj = [[16A55A056C0CE9F07106434EE2A1FC50BDDFB8F7C7ADFA4167C21A02E1E0A0457C41C296F4DFA150C19300FB39C4E8DB8C149C367969833D7C,06D4BDD75BD932D87DC1D25DFCC34BE6FF84829148F45710A80E7792B9C861BD26F5BD1CBFAFA5FDDFE46581F3007233B84B9A7134F6A8CFD5],[1EFE56D0DA09D8BBD589B032148E5CDA905F81F792006AE2394C67B199DEFDDD62F7212CA25BF135CFE17D9BE76F93F3D690C40AD1B36A5B51,0F17DBBEDD4F505A8DE6EABD394E5CF03C68892BB491ABF3A28E3B29686FFECDE55FBBED5B0AE4FE7A47BDECA186E74F399DD3309D4AADDD3F]] BIGsc = 21A7B0FD0CE092ED902630CA2D6CA1F68E16CBAF992C75DB32640C6C375F6195C4121FEE081F7EAC65711FDBCC0422A30E5E35784B40CDD68A FP4pow = [[16F0965CF1FBB4EEDC59442DC8643AD87D61713A4148AA71F7F26DE1D82DDC407034908DF263BD68753C7E5EC31815165865971145D384F7AB,141A3F320A2EA39A9BC38D8E5C2555670CFF1BC716881EB0AB5D430928E9E4B95A6239BC924D4B4ACDCC9D1C4D9C611CA9BFED25D241B49A2D],[01F19E886ED232D8BBB5A846C09F83179975C2E43CF67D8790B3EB167AEB3913BA319C3ECCE61E5B44B82C271F01F446C312C9529A0235CA84,0DEF694601F8D491C80F7A392E4A45DFA41CEC7C024EB0BD802747CDBF6E2843084E46DDEE8256F21691BDB7CF6EBC9023A903A2FB0B61160F]] FP4frob = [[1EFE56D0DA09D8BBD589B032148E5CDA905F81F792006AE2394C67B199DEFDDD62F7212CA25BF135CFE17D9BE76F93F3D690C40AD1B36A5B51,14E824D122B187A572A9A542EC620F1174DB7766676E5629A1729F5F1B91D63A1B320C12A63A2301AAC09013CAC718B14A622CCFB0B55222D4],[07D624A73CE553615110950C6D5496EC4F38167F0D440E101F1E8078D0908E5F150A70AC4FC9F692F96968DD4FEBC36E3B08D17D3FDD5967FB,095CFB9A8E2279C8604D9B93BAC834DDADC88E0B05EC85328DB377550549348E27E48EBDEC37765A51A3359E09B8EE7292DB3867989ED15CC4]] FP4_xtrA = [[0ABE3D65C022C08031EAE56EB97EE24554FFE328E09C8E38E1659C00DE98A607BD76D103C951DA5255FE8DBAD263A13581A12CF3DF5FADE777,037E7F5BF8E78CE4887326B49A13AC7D33092A4304127CA5B8EC2298384EE2396FA4BB29EE3AADC8A3795385E4C8FDB92C8403BB03B829E5DD],[1FB2CB73A25DB6CCDE644E32DFBBE35CC9456C30080235A6B806FA17A80768021BF6A090A70A026EB8C4200BB0417E51BC859CB8453832BF22,223EB0395986C299D693603B9D961366F94E627D210CE8D7F4AE4A6AD8AE92D5EBFCFFF2FE2A293DC45E1C71377D30E433FA968F984D2CBB20]] FP4_xtrD = [[0932630F1A7142EF6972F2A0AA7767FFAD69DD8C3D3DBD8A9B07038B8FC3F1E7D32F64398EABFAEDD7C6BA9D7A2A90EAA67B61F0FD294B90FA,1BFACE0EF25711BCDA7D4446FD8D59FA7B3A5D8614BC0D50D9D7FF05A9D9272091D00A9C2702007EBB4742CF40E3C8FA8C7D253D6AE696DB15],[0596BC546D4FDFA00F2A46E5A359D904C73BFD634087176CD21129BF50DE55E0980E444F037C566A643F038FF0AC3E2D1ECB59BDEE1110F298,1869D51A5D043DEA2A9B5ACDF26FE5E88C8D465C5232F3DC13C88F8B7BDC5B523B14D9DBB04145353A800A1777D4B53C848ABD98EDC72CB4D4]] # test 9 FP4_1 = [[22900430B6E6DE7F3C3BAD429431475A2DF3139F1CE112CA5EB8FDF11E30569A4905DC3B024D1DB8C7C0EBF4303C217D8AC402432C9C7E35FF,10535BF17F9FDCA3A645BA7D7BFC41E3A110F78288E44EBD2099A53F4E2C1D33DD430F3BEE6308017A9F09AC87E84D1C01A28AAF395F1EAD09],[15AF888FFEC59FA566F4650283FA9033A6B631A39B7D29CE61AF83F5A16557925F7F29354A3995A23C2FF0D86975FEEA44F24657CF186FF01B,16285A37E3E8FB36E116915D24F299B0FA4D4ADBBD7ABB9E1EA041052748C7E9E56B67823E1F6F977A6CAFBA6BDBB22ECB2C4E37A446B3EFB8]] FP4_2 = [[07BEFC860A50357EFF73BDA9DBC28607EF76BEF75D6B807FF5B1EB175F01F22175506E9C7ED92B421AF1C3FBDFCAE2523BC8881D87DB34B45A,164D3A05317CEA57CC10D8A5FE5CB529770021AE47804D334319FEF6EAFF21A78ACB0C3E69D7899A18FC10632E071AE499A9C16E18B7B2531B],[1590586A01E9168577745DF22C99241B792A1C975EC101520BD1C0D7397E43F76FABC9EC72F991F3E01C75459A19046F32AFF8595EBE5332D5,177C5EA6CC33FBEF42FC13843AC47DB4B54E17A54DAE0A5020DBB538556C139E60CA0E9E3C610F87E1D2A1DDBAB222769C4271C750FEF3A3BE]] FP4add = [[064F0026C1363BFE3B1EDAEC4A4361606C25D2045E4C912D106A0E7FF93073B3BDC482D77FE140FABDAA61EFA3B903CF428C8A606677B2EA46,02A09566B11BEEFB71C6032354A88B0B66CD189EB46499D31FB2C9ADB52969D3677C537A56F5899B6E92CC0F49A16800174C4C1D0416D10011],[073FE06A00ADDE2ADDD832F48AE3484D6E9C4DA8DE3E290329806A4456E1C681CE992B21BBEE1F95F744181D97410358F3A23EB0DFD6C322DD,09A4B84EB01C1F26238214E13A06AB63FE5761EEEF28C3D0FB7B1BB4F8B3068045A3AE20793B771F37370397BA3FD4A4E36EBFFEA745A79363]] FP4neg = [[016FFC5F4919F980C454E2BD917F24A78350ECF2FF1EEF52E547DC9765D17E6DB78BEBC4FEF7EA475D47620C3C11DE82F93BFDBD216381CA14,13ACA49E8060FB5C5A4AD582A9B42A1E1033090F931BB3602367354935D5B7D4234EB8C412E1FFFEAA694453E465B2E4825D755114A0E1530A],[0E507800013B385A999C2AFDA1B5DBCE0A8DCEEE8082D84EE2515692E29C7D75A1129ECAB70B725DE8D85D2802D801163F0DB9A87EE7900FF8,0DD7A6581C17DCC91F79FEA300BDD250B6F6B5B65E85467F256099835CB90D1E1B26607DC3259868AA9B9E4600724DD1B8D3B1C8A9B94C105B]] FP4sub = [[1AD107AAAC96A9003CC7EF98B86EC1523E7C54A7BF75924A690712D9BF2E6478D3B56D9E8373F276ACCF27F850713F2B4EFB7A25A4C14981A5,1E06227C4E23CA4BDAC571D7A34FF8BBDB54D6665D6403A7218080D0E72ED0945309CAFD85D0866786AB4749C62F3237EBF8C9416EA76C5A01],[1F3025FCDC891FEF80071057616C182D8C150C3CBC287C55DDC31E67E7139AEFD35F48D74003AE5C137B92CF5CFA7B12424DFE705A1CBD46,22ABFC2117B5D7479EAB0DD90FDE87FDF64333C88BCCB36B41C5665555DE8953853320E40303680FBDA25BDD1D778FB8B2E9DC70A147C04C0D]] FP4conj = [[22900430B6E6DE7F3C3BAD429431475A2DF3139F1CE112CA5EB8FDF11E30569A4905DC3B024D1DB8C7C0EBF4303C217D8AC402432C9C7E35FF,10535BF17F9FDCA3A645BA7D7BFC41E3A110F78288E44EBD2099A53F4E2C1D33DD430F3BEE6308017A9F09AC87E84D1C01A28AAF395F1EAD09],[0E507800013B385A999C2AFDA1B5DBCE0A8DCEEE8082D84EE2515692E29C7D75A1129ECAB70B725DE8D85D2802D801163F0DB9A87EE7900FF8,0DD7A6581C17DCC91F79FEA300BDD250B6F6B5B65E85467F256099835CB90D1E1B26607DC3259868AA9B9E4600724DD1B8D3B1C8A9B94C105B]] FP4nconj = [[016FFC5F4919F980C454E2BD917F24A78350ECF2FF1EEF52E547DC9765D17E6DB78BEBC4FEF7EA475D47620C3C11DE82F93BFDBD216381CA14,13ACA49E8060FB5C5A4AD582A9B42A1E1033090F931BB3602367354935D5B7D4234EB8C412E1FFFEAA694453E465B2E4825D755114A0E1530A],[15AF888FFEC59FA566F4650283FA9033A6B631A39B7D29CE61AF83F5A16557925F7F29354A3995A23C2FF0D86975FEEA44F24657CF186FF01B,16285A37E3E8FB36E116915D24F299B0FA4D4ADBBD7ABB9E1EA041052748C7E9E56B67823E1F6F977A6CAFBA6BDBB22ECB2C4E37A446B3EFB8]] FP2sc = [174E539CA11F92044D97E2E6739F45719BD09FB0FA1807425C8011D692E82F3B0891E404BB4D7928CF77774811F2F657DBF4F28E29F487039E,14721DDF913128AE3E72E4B4FE528350DC215CB496E077131EEFD95FFB28B0C43D649B100B373037C331900355F568C2E84987F8F8CBDB757D] FP4pmul = [[E24473F4EC60718D665C4AD1A411C2FB17F8AE9CEEA1DAA606D84EC57DF665EC3A30DF833474A60D8B1603B943C65FF4D2229D7E1C769EB7,018FC8835F9A4D7C5A20FE71759AD872B63665FF110C320E976FDF37890059DFF7535ED71BC65C87125EB9B6B259CD6781FBB8AE0D37429117],[1D4135DA878BC9599098E03B37C93FDAB00327AF754AD331D0A3A6D5275A86B7EE1AB4B2CD95CB6CB5E9B9057D87C6FB718A820CE2AECF0753,939581461D5F143BF295FBADD1E5A3BAA307B24058EEB39739CFDA81DDC3AB039A7C4DC5CBC37876808CFC607F5AE4F282AE6D07F381ECE3]] FP4imul = [[18801D95B7310BF9DDE97A1399B746C596BC98FA2308878619C1F5CD5575E19A443269D80985B5C53ACD3D9E8BBF0BE8BA20121742E3F1AF73,169ADDDBFCFC5D1D307C23EB6ED0CB17F4BBBA5DF3226F9138CA9A60E55B6A86E86321DF6F49280B65DF6362FA5868DE81145578E0F8F5680F],[1D7C423FF6299D2B3560E8138912D19670A18AD46BE945FDFD78B58AFB236872F9B229AA4CB88D114D5E4EC19A77F750179232BD40C37F808C,2142CF7F1F4479B706724AE890D31D810D5A54957BD5D47BE4FE9E072A3EEB2F29141C11EBE75CBB3F4445D1ADA59174496271BBEA359F7D74]] FP4sqr = [[103D4C96A45235359E3E729438BE498B76AD36B48C6A594C78EBBE19EFC1933A8FD5EBB8320524FDC4613808EE938E1FBFD4085E0B37105A3D,1463A31B79637FFAC2590E8129695B54A882750AD1AB2BA92CBB00E97F3269A7AE9CF8804B80F945245CE000A70ADA90CD67CE23EC7FCD6865],[1B66EF56467058F41174636F73BA4CD329E718B5504D4F726536E6CF14D3430ADB7F22DF78329508E7818DDCCF25D580749164EE8F2EC8D3DE,14F0E23DBA8B53DF57011FA1477BD285EA31BC9CC40D9BD6EF8377B97BEA41D9C67BDB19D00AC73AD4E06F909A4C876B9F7816A0AEAC1FAC11]] FP4mul = [[09BF7FF5EC35884D793D3276B579E6576F2770667C97F447A2EE74ECA808155D73F34B999205038F7861B32FD16B57C108F33A3CFDF1C9580A,060F776E3575FBA0505A574957886F5F76AFE0E69EB332E69C84A8F9B9CFED3E569429294DC5B1F646F674E67AD697A4808E381A8A24A198E0],[1C1FAD77BD6623046D979F03E579E6B410A781418C4BE1805D0DCD5C1BCD2B2653B421DB1EF6C6285F12667D2403F3EFF9498192B1F1967A26,1D57E12F2E7505C41F6D7A1B1C64B92D0312C16B514076B87C6C344D2DF1EBFC4899E52580DBAFC80DFA24ECFE71D0A2D117C6FD27DEAB8F27]] FP4inv = [[21F6A1BCC33CE48D69892AFF40C90C5137C7384D5AEEFA55F84EBA032DAF670F7285A298B4C973D89D59A933EC3ADBD7C2DAC24E072568B1E0,12CE6FBA2DAFA9EB4CB3EEEDDF004C7B044F86BAE1FEF1104C995B58270031B670A4170457D33649DD067A8640C8491C2BA76EA5D3432A96E9],[16C5474F7104CC8BCDA3F8D1EEC7EFE6F0C9BAB535819F0B2918A62E956A4F1DEE82B7AB724E579EFD8401E708C45705573FB2D9A5DE1478C3,169E4BD274A67635FE6F42230AF7827E0D9244ED016268AB5EF71ECF1EB8AE27F66164F29742451E5847002B2BAF2E12BA5759E3F17F94D5C1]] FP4mulj = [[23872EE81ADD7C6E866E63A584B862845DACE759FA02704D87101D78FE1E64B07AA589B30D5F2E0AE6CB8F1E69E84CBBFDC5F82078D1BC0076,07D7E237E2ADC2DC477A665F833CBDE2EFBF7BED3CF7E34F3C4EEA7244AC4A744458C8B78713FD39919452926903B1188C1E948F255F23DFC0],[22900430B6E6DE7F3C3BAD429431475A2DF3139F1CE112CA5EB8FDF11E30569A4905DC3B024D1DB8C7C0EBF4303C217D8AC402432C9C7E35FF,10535BF17F9FDCA3A645BA7D7BFC41E3A110F78288E44EBD2099A53F4E2C1D33DD430F3BEE6308017A9F09AC87E84D1C01A28AAF395F1EAD09]] BIGsc = 062DEF9274ABCD72E3842EF92458E6F2D989A4F6BF72589304F67D5D914F388D087A75003984526D463260F3FB706EAC839AA88B72ABA9FE98 FP4pow = [[06FDFC3E1E335E6C9457D1F3F437618E7E7CE6FC2EF2D80BC1B53C1E8A604DD7F0E6827585CCA8834C51161D4D80999D067C26052ECE950BC2,07BF101FD0A5EBC616FFC4A16EE2277A53E20CF39B567465942CA04F33F54E20CB75045DE5C4E2885A11CE2EE3FEA346FE88884B95DFA4838B],[18340D257F27A31EC903EF02380361C2D0AC3854CB17CE5825CD8754B5341E30BAC35813E771F04A701DFEC14F0F0A270BBF954E1359ECC479,1766A48316F2AA19507B9EB48D0DEA368E6B59DE6B31BDD2D9752198E1AF25B4CD10A4FDF96FBA4A75A09B61481E488EBC98BFF01CEE2D2317]] FP4frob = [[22900430B6E6DE7F3C3BAD429431475A2DF3139F1CE112CA5EB8FDF11E30569A4905DC3B024D1DB8C7C0EBF4303C217D8AC402432C9C7E35FF,13ACA49E8060FB5C5A4AD582A9B42A1E1033090F931BB3602367354935D5B7D4234EB8C412E1FFFEAA694453E465B2E4825D755114A0E1530A],[1C0EB92381D863379F55FBD7D2B56216CAFAC9B1B54E63C4CE79A9608D37AA205FB316D99F2F9672B034C4E0E2B1E72C1CAD633E54FBAFDAA8,22BDF3A52D15BE94614C656E5D19E6E56029B8952DF868B6C2D2ED6E560BC3DEA3A6F6549244F7DAAAF4CEABF1E787F54560EA5D160B5809E1]] FP4_xtrA = [[0D875B25189F7FF339D75B848FA5D5B5E31B81F7E771DDDD9C690CA1812B9B5FD7C8C632B0A09428D8581B6982A44475ABD740E6D3A88D392C,1C7F2333F470E296B948948D9623C3A2BA6F14E507EAB681A8886C5006E25FBC2242D710C40C4D210EC2729B325BFFC2BECBE93E29394F47FF],[10E207EA2416060224FC9BF756C439F5CCB6958920E643B944B088B1C3F0D95A091CC424163885944E05FF6308E7029BF3C6087B66566080ED,0384FFF69E63688F5E262EB2BCA4DFF034656CD7AE9D59B69D8E1214BB8226F07E560A497ED2D96A76FB43E4EF6C4722B6B7694AC7A8D7ABDF]] FP4_xtrD = [[131D45553686283726E8380F5BBC92DA7D4F109A8AA837F2437B7748BB649015FEEDC3422FF4F98C7EEFFC2166B74B25B24C03D84DFE13EE65,17BCEBC87A249EB3765E29865721438F17A48697DBE2904C2F8890F366DC0447F4A8A2086FFFF14254271AA8038840594E22B8C5C7C1900E66],[22C5FFE643FAC03EDECC9D7455FF0138C60F7B6A6B47A0F1E4951431D39C1D2799EBAD4A0B60B84D3AD9218D35C3D3547A75F19DDF5FA8B401,1D41961D825C724D189DB25B6BB099E62D8851C2230310F5E8C31F3B4679FCA590C0E21E4B049E69A4B1810505B5EBC8B1D0B30FA939878B6E]] # test 10 FP4_1 = [[047AC9F4B35BDEAB852D0588A191DE678926FC11B0F926101BD033CCACC83A6691EAFF46B20BA504461F65558D6D35E8D4093995FF2C830720,04E2CB0E1734878CE8467BBA68CBE2A4730037ACAABBBFBB974CB0EF4D9A3804F591F9AADA6C351CD6F49E3C276B842ED065713AAB20C90479],[14335DCDA4A6BC2E7E8DADE69C9CF365DD966B946AEE614BA46961191D823C319EEBADC93127D4AA6216DAE2FCCAE51CE77D1BE45EC578A747,18D10538F9B3405CB6CCF43D01E7F3E3E6D58B41CD853653171AFD53A7FB01D91AEEFCC16E896CEB9C1B997E4D6E1F3EB297F2906474FEC7A2]] FP4_2 = [[20F987976E1A12681C87FA029D0C80FF8DB24F5FF220D93835B75C402813EE2C0010744BF0DC0624973CFA05FF05E2431DCECF2732581CC23F,767A38BBA49547F877C6C6673AC279610218C168D77054FE82812CE63EF0BB7D226732028CDEC28DA31D4F73291ED90EFF72A0AE224F334A],[216FF52BC851FA2B5745BAE8914B1646B250C75AD5D1334CC25DD64A0EBB9228A9ACE3959BC3748071624F14E4F020A0C481B5173A835BDA98,18E3940327D32514906AF4FE6D2C1279E3A5636A1518A0C1DEE22600866F1C987827EC4F652944D7201C1764AA17868BA8025841140215E4AB]] FP4add = [[017450FC21751913A1246F8B18EDF36565954ADF8719FD2B0D86B58450DA538A9169AB92A1A2A328B854115B2025182B6DD808BCE3849FC94C,05594546D2D91CD4E0BE4280D006A51DD402506E1393301095CF321C33D928C072B460DCDCF913DF6497BB8B9A94A307DF64E3DB59431837C3],[11A352696CF7DE59D542D8CF08379DAADEA3325D24BF927B22C65CDAA83BF9524806C95ECBA6412AAE70DBF7756D05BD27FED0FB4B48D481CC,0DB498AC21858D7146A7593B49639A5C1936EE19C69DD4F7B1FC48CBAA68496992852110D26DA9C2972F62E28B37A5C9D69A4AD12A7714AC3A]] FP4neg = [[1F85369B4CA4F9547B638A77841E8D9A281D04806B06DC0D2830A6BBD7399AA16EA6C8B94F3962FBDEE8E8AADEE0CA17AFF6C66A4ED37CF8F3,1F1D3581E8CC5073184A1445BCE4895D3E43C8E571444261ACB4299936679D030AFFCE5526D8D2E34E13AFC444E27BD1B39A8EC5A2DF36FB9A],[0FCCA2C25B5A1BD18202E2198913789BD3AD94FDB111A0D19F97796F667F98D661A61A36D01D3355C2F1731D6F831AE39C82E41BEF3A8758CC,0B2EFB57064D97A349C39BC323C8781DCA6E75504E7ACBCA2CE5DD34DC06D32EE5A2CB3E92BB9B1488ECB4821EDFE0C1D1680D6FE98B013871]] FP4sub = [[078142ED4542A44369359B862A35C969ACB8AD43DAD84EF52A19B21508B62142926C52FAC274A6DFD3EAB94FFAB553A63A3A6A6F1AD46644F4,046C50D55B8FF244EFCEB4F40191202B11FE1EEB41E44F6698CA2FC2675B4749786F9278D7DF565A495180ECB4426555C165FE99FCFE79D12F],[16C36931DC559A0327D882FE31024920DC89A4CBB11D301C260C655792C87F10F5D0923396A9682A15BCD9CE8428C47CA6FB66CD72421CCCC2,23ED71C5D1E0F34826F28F3EBA6C4D6BB4742869D46C97AE7C39B1DBA58DBA48A358D8720AA53014A107D01A0FA498B38E959A4F9E72E8E30A]] FP4conj = [[047AC9F4B35BDEAB852D0588A191DE678926FC11B0F926101BD033CCACC83A6691EAFF46B20BA504461F65558D6D35E8D4093995FF2C830720,04E2CB0E1734878CE8467BBA68CBE2A4730037ACAABBBFBB974CB0EF4D9A3804F591F9AADA6C351CD6F49E3C276B842ED065713AAB20C90479],[0FCCA2C25B5A1BD18202E2198913789BD3AD94FDB111A0D19F97796F667F98D661A61A36D01D3355C2F1731D6F831AE39C82E41BEF3A8758CC,0B2EFB57064D97A349C39BC323C8781DCA6E75504E7ACBCA2CE5DD34DC06D32EE5A2CB3E92BB9B1488ECB4821EDFE0C1D1680D6FE98B013871]] FP4nconj = [[1F85369B4CA4F9547B638A77841E8D9A281D04806B06DC0D2830A6BBD7399AA16EA6C8B94F3962FBDEE8E8AADEE0CA17AFF6C66A4ED37CF8F3,1F1D3581E8CC5073184A1445BCE4895D3E43C8E571444261ACB4299936679D030AFFCE5526D8D2E34E13AFC444E27BD1B39A8EC5A2DF36FB9A],[14335DCDA4A6BC2E7E8DADE69C9CF365DD966B946AEE614BA46961191D823C319EEBADC93127D4AA6216DAE2FCCAE51CE77D1BE45EC578A747,18D10538F9B3405CB6CCF43D01E7F3E3E6D58B41CD853653171AFD53A7FB01D91AEEFCC16E896CEB9C1B997E4D6E1F3EB297F2906474FEC7A2]] FP2sc = [1DE5F5A15201CF88803C23733C0BC6F31AE5CD5EB1D33333BB23E60F8934207CD99A576D2AEC164B119B888F4CFFA701310F3907B9E06EC3CC,0C0FDAC68FA9CCC1019579AED5FDED67CF13119D88F7170F2AA0276505C9D642E815A0FA0BEA533F51AFF042197D3CD5804FDE3A578EFBDCEF] FP4pmul = [[239B1A8E9600B3B7003E6E767EF4962E48783D04BF96CC80C57014EAC39AC9D93827BD7EB3B083F02575E8A2568531A40A8DE50995CEDB20DC,208CF426FC78028649077E8318D7160A8276DB2C05EE48B9AE82743E1F989E560FBCE9E30F85A973B984BCA2BF2BC33A97F709D5176668F115],[05A6010593CF58404F6E07B3B04B6C6B47A89240C1FC9E55F94E6953708A4B9A0DB0E06C193CEB081FD969C78EAC57C067102572143FED3657,10FCF99006B505918C25A351F6C5EE9A8370F913B125623633DE631DC96FF62061980875A42B0F36E1E69CF20453CBD88D84A9F6B0C88585B4]] FP4imul = [[0451190A4E39FC07AE04A1CD887065A2211ADC0D1CC25473B650F7A98F08389320B1317C4123C526521242018C88E52EF0530645AA909B400D,07F922EED0D7EBF429E9C98D897A8BC659BDF47FE499BB7B0DB15DE1366A2324A18FFF01AC88D6036991421CF679A5A4CF90FB0FB62711282E],[01CE496AC9D865A270284D1AC512728C53F5C55D3661611673B02537758AF49693703412B40D51FCB9A42BF8C59C0E018F65FB05CEF13DE120,07592BA0C748334269D136242F050AF8F5E9E1E391AEDC3C37EDC8BDCFC81271EEFC32CCDB36A4479EC6916E2F0B19312F578711B41CF50440]] FP4sqr = [[1260D1EBC2808D61918798F17E096682ADA5EEA8D7FAC1B153FF60D1DDF46D3D4320DCF1A3F69DDE605569C19522AA8973AD6111FB72804924,0CE3533E15F473FC95AFFA5AA02C4418BA2ED44F2BFE0FF54E29EF4260A5E0254496C2A6691B1F51968C41CFB26D6816DDBB607F5B9F72F49B],[1FA5A68905D7B3D66E410ACC6DCFBC067DC08FE2EB916DC59B0268F84843C6FD780A172097CC0CD085E4098F8E69962FEE2711D8483FB5F518,11FC7ECDF073D639527E08D4476A283C5F4569B1EC3C59C4BC54A6ED22A5205AE26BDFD903EDE91249E481F667AF29561EFC081D0BFA1062B3]] FP4mul = [[131FEEE5610D6069CDC470525E0B43526B3C96D83493DD5EC612B47C14F145492FC37691D1B5153C1E1ACD0B598AA4606D4B6A02DE47A7CD5A,070D3E2BC2639E502F710D4F67B02AFF409AA96081BBDDB0375B599602175F9EC957B50C33C94B592B194F11BCBE1E15DBB902E6D5F6887D6C],[05418ABD8FBA71030A3F4F4E1A07CB4383AFFEA24C60A81CB314A4364CDAB4AD87CEDECFF53FB5E012032D5FE5D2E04A142BFB62C98E4CAEA2,0282686A3FE5E4CF36154C9EF74DBC429A2FB0448FA6280D40C1F62B2AF624032E5A7454F14F0E0D47C10E18045D24AAE793F3EA3790BB2C82]] FP4inv = [[0584AAA35EE20132CF5CCE1E2733B2E8B8A3E6844820CC4B342C3550E7939704159F1F2D0318670669713D454BD69A5BE82CDF81C57E66C557,1B637179CEA21FEAD48E6C29A9C361F893BC67E5F09D0CA60E1B48966A3FC452A62AEABC059D61F3327C03C7F3F48180597DF17B5E4FF0D6CF],[0F30A24BA8D51E00AF0CF844D5CA6C8D7DBA4EB9EE75EC019E5A0189CC641301DB4004D15EE88D6FDE7F71BE4448FCB91FAFCC52E5958C1C62,06FB4E2ED28C789180064ACC15507BDBA1C46076073BC9BAE193A83A51D5B3D6F3281E5B9C18F43951428F899A64BB9C7D323808EB7D2A0A83]] FP4mulj = [[1F625924AAF453D1C85149A9C0656B83A804E0E4B9692D15D14F3E4DF9890F60848E7907C3E36FBEEB038F651BAAC5DEB8E52954485079DFB8,090462769E59248B34CA122378D47B481327F6441C739581778383E4417B6902B948E28A9E6C3995D92A2660DDEB045B16150E74753A776ED6],[047AC9F4B35BDEAB852D0588A191DE678926FC11B0F926101BD033CCACC83A6691EAFF46B20BA504461F65558D6D35E8D4093995FF2C830720,04E2CB0E1734878CE8467BBA68CBE2A4730037ACAABBBFBB974CB0EF4D9A3804F591F9AADA6C351CD6F49E3C276B842ED065713AAB20C90479]] BIGsc = 236C0F005BB0019EA1CE296EB1C4637CB46498AAB21A2ACCBDB2ED8413266B17522633D16B37D0A29A5F2193CE2D267501F1F84A82CEF5CB96 FP4pow = [[05D1C7A38A0E17E2EF38FE29C7C4825FE00A8F0D5A485B7799ED9CB2CF468740E1585938FE376FE917214C8B73340F1FEFDBA6DE23D887E6C0,23F8F56789C8598B8F5B48234423C00E6135273E0EACF70430C9F2BC0F5238B89DA744BD3A1ABB1571B9570F7DC9AD02A287C706375BC4A2F7],[01C56D65647C89E88932E414116DD1BCF7020C18C366A515DE575E722D2D07031520538344A00942E2F64F5DA4E9BD289C2256BC14DC1C3A75,14F5DE901DE97CCB38A7C3E645C092E28612C9DCDEA8B24635BC35A2DF12900CAFA5776C0AAFB4EA2B76C39F2B24578C009F040DCFC8792975]] FP4frob = [[047AC9F4B35BDEAB852D0588A191DE678926FC11B0F926101BD033CCACC83A6691EAFF46B20BA504461F65558D6D35E8D4093995FF2C830720,1F1D3581E8CC5073184A1445BCE4895D3E43C8E571444261ACB4299936679D030AFFCE5526D8D2E34E13AFC444E27BD1B39A8EC5A2DF36FB9A],[01B164340F7F8CEFFB8A74FD88BB90C6EBCA540D5B0F6E5B60914998F086B10F66FB5D549222C1CDF6527E680A72C1DD52D07D7664F55121F7,194728A6F16568AC97AEFBAFB691B7FF3C430FE9247DA1C6BA1EC89C806B8E886B6F17418119945290015C5A6D0FD7C1837C1C2E6425318492]] FP4_xtrA = [[0159EB1BE851B449B477CB273DCB7DA8D63AB320B581708F774CCFD298C29341781707D45414866B77011F4BE099A1DD9F410DBE162D314776,29B4591153283957804FD90953E23E4A5047DFBA9654870E038203ED9C6D2FEF0B881E8F67123F5BFC35CE620AC64549EA261C240F7A579F],[11C594A5B7B7B2083A4C4D0B7A8E92D807FF711B94F120A07DF70C1F3B90AC67D98B0085FC16161A6F1F32CE4CC865961309447659400B826B,151A6E85C484B0C41215A2C7CB349D2CC60D5BB6A920A24D04577EF9C7090FA38CCD9FFB379B6EC0AC303FDA08DB586812F2D8134917777BCE]] FP4_xtrD = [[096B3E025BC8D00A872D8DE03AE5A9B39B57F685760875911C5EF9388463F8701F4ADE643FDF53D5D4169F167A483EB7CB9AEDE5FD197A3AE4,031DBD21E78B64E2C52302E5CE947ECFD42E64F5D686907E1F908D63C571701B5972CF50B442B517E8A3055763965FB93CF07E0A055DE0EBA9],[0C61044F237C336A3B46995BA8CACED66565E7896E2C225BD376197B449550B4BDE2B2F791A62500012354AF636068B52149A069CAA74380,1F9E88AFE3D97EF2BF87614E2589A4027BAC7FA36B46C44DA689C70BEE994F0517B8115BDFBBBAE95D1366F2963D67D3002BED3D86E40DF1E4]] # test 11 FP4_1 = [[17E421154D759393C913CFBF7F0AF591BB92C12A25A96108EBE6D44723DF3F76B07CA18D5F9190EF908F1380B9C89B08CCA1BA198008D1E60E,1E4B5B87CE2B80B1FB9728CD7F7BAA162EAB46618C82AFEE9F29923833D7557C2D5F1A4BCEA0BE815FC1A4405488267458B8D1E96B47120158],[02384620A60F8CD337352008A345C1954C55506463716F56AD802121B8F4A02A8E1817580B29468957C146CDB1D5C2A7575E4C8BC545B18367,0F1DCC69A8F0692A3A9991C58CD3FF63DACC236FC26B2363BB40F98DB9FE252BDBF22CD0AA92359F378CEF73E3C0011D883D4E85313D996DD3]] FP4_2 = [[11D4D41EFEF58C3E57A986B820383FEEB4BE93F687030C584B1A988B6F9E9681EB56E76D6BB0E902AB46E4BFE6754D2CCE0DE69A656B8B5A54,1CD32E2EB6A0871F4A5656263A8D038F30051AB5B8326F710153314C5713EE1EC4C75016D836642591A8D055D1CAA1F80B15FAC47A087A0C20],[0FE53EB011F632CF22A02DC41A73B7C4C7DE95A520944563B93125AC07A7D3A9B36BF6B5A87076FD4BE2103375C9AADDF36AF455F8BBEDCE30,1987F784D0F1C492508FA60C99ECE73C89D61E4209648A735426F1A68AF35250B811AB6E44045665272116D4684C80F20831E36A82DE2C7B44]] FP4add = [[05B8F4A44C6A47D2202CC6777992C97EBF0D548E90AC6B43F300924A0F7C00F09B41C0FAC9FD71F216CDAA4033EFE83516AFA0B397745D404F,171E892684CB2FD1455CEEF3945841A3AD6C608528B51D425C7BE8FC06E96E92F194A262A5921AA6CC622695BA04C86BDFCECCAD974F8C0D65],[121D84D0B805BFA259D54DCCBDB9795A1433E6098405B4BA66B146CDC09C73D441840E0DB399BD86A3A35701279F6D854AC940E1BE019F5197,04A5C35E79E155BC8A98A7D201107A9EB35E411FAFCFABB9CB6710ABC0EFA2749372103EED51840439A5B847DFBE820F0C6F31EF661BC5E904]] FP4neg = [[0C1BDF7AB28B446C377CC040A6A5766FF5B13F67F656A114581A06416022959150152672A1B3771094793A7FB28564F7B75E45E6CDF72E1A05,05B4A50831D5574E04F96732A634C1EB8298BA308F7D522EA4D74850502A7F8BD332ADB432A4497EC546A9C017C5D98C2B472E16E2B8EDFEBB],[21C7BA6F59F14B2CC95B6FF7826AAA6C64EEB02DB88E92C69680B966CB0D34DD7279B0A7F61BC176CD470732BA783D592CA1B37488BA4E7CAC,14E2342657106ED5C5F6FE3A98DC6C9DD677DD225994DEB988BFE0FACA03AFDC249F9B2F56B2D260ED7B5E8C888DFEE2FBC2B17B1CC2669240]] FP4sub = [[060F4CF64E800755716A49075ED2B5A306D42D339EA654B0A0CC3BBBB440A8F4C525BA1FF3E0A7ECE5482EC0D3534DDBFE93D37F1A9D468BBA,01782D59178AF992B140D2A744EEA686FEA62BABD450407D9DD660EBDCC3675D6897CA34F66A5A5BCE18D3EA82BD847C4DA2D724F13E97F538],[16530800941A320415258244AE8275D235BABB515EDD2C10384FD5FE354EA188DB3DE8A263FDD78C30E7849AA85A17C9E7F358361A89C3B54A,1995D574D7FF7C97EA9A7BB918978429023A05BFD5069B0DAB1AE26FB30CA7E32472496267D2E73A3574269FE7C1802C040B6B1AFC5F6CF2A2]] FP4conj = [[17E421154D759393C913CFBF7F0AF591BB92C12A25A96108EBE6D44723DF3F76B07CA18D5F9190EF908F1380B9C89B08CCA1BA198008D1E60E,1E4B5B87CE2B80B1FB9728CD7F7BAA162EAB46618C82AFEE9F29923833D7557C2D5F1A4BCEA0BE815FC1A4405488267458B8D1E96B47120158],[21C7BA6F59F14B2CC95B6FF7826AAA6C64EEB02DB88E92C69680B966CB0D34DD7279B0A7F61BC176CD470732BA783D592CA1B37488BA4E7CAC,14E2342657106ED5C5F6FE3A98DC6C9DD677DD225994DEB988BFE0FACA03AFDC249F9B2F56B2D260ED7B5E8C888DFEE2FBC2B17B1CC2669240]] FP4nconj = [[0C1BDF7AB28B446C377CC040A6A5766FF5B13F67F656A114581A06416022959150152672A1B3771094793A7FB28564F7B75E45E6CDF72E1A05,05B4A50831D5574E04F96732A634C1EB8298BA308F7D522EA4D74850502A7F8BD332ADB432A4497EC546A9C017C5D98C2B472E16E2B8EDFEBB],[02384620A60F8CD337352008A345C1954C55506463716F56AD802121B8F4A02A8E1817580B29468957C146CDB1D5C2A7575E4C8BC545B18367,0F1DCC69A8F0692A3A9991C58CD3FF63DACC236FC26B2363BB40F98DB9FE252BDBF22CD0AA92359F378CEF73E3C0011D883D4E85313D996DD3]] FP2sc = [0B32BE3D4D3D064F73DF9F39EED5839B4B15BC9F138E4F0C20C065E95E73F59B20D93A6E0331851C0EE4ECCE729200C22B7460967FE57D96FA,0D0C4D3529F5D637E84E6EB53C645096890FBE2E1B562E58F94A5DF382C65AB5FAC6EBA09676A7F440B5157AB860FCE6BA4CB6010812D42E0C] FP4pmul = [[23AE9EF55BF614716EF3DB82479FC2A7AD957B0E8AC4154BB8ADFD65D4FF9F5CBEB9EDAA27AC2BE9B3B747322D4B0C3B8A62DC8B34DBA624FA,2107B676781F21B5F33C6348BE1FDA75D4B9E89C357E07E97F0332ACDAD32976AE033618794125B2BD39FF097606EE8A955168D61B0CC1F38A],[1F0F985E9101857986AF1B1A86BF4573732186F21CBB7E6732724FC0213B1A1044A621841210CB673F0B3144B18BAA0ACA3AFBA57F6D39117A,5151019243E3E3C30929B52FCF5368E77DA267A1684D0696D2BD0EBC1EB8DF77253408CEA92292A1E105A98A410F32FB17CB6A4F82EA1604]] FP4imul = [[16E947750692B3C5D762BD7A144B0FA72C238838D09DBDA99EFF2B944EAD7C72E1739F85B411795AC764EF04B8020E54E65144FD2C5832FC1A,0EF18ECE0DAC46F3CF631805CD5144D04890BB3E9D1ACE681798E1EDE65AAE99C128C6F6081F310C954DFA7FEAE180875738331BC0C6B40CD8],[1632BD467C9B80402813405660B98FD4FB5523EBE26E5962C7014B51398E41A98CF0E9706F9CC15D6D8CC408F2599A8969AEFD75B4B8EF2206,0729F9E09960BBA647BD71B6E98649DFC6E96015282F59704086556733E61F96952EA026A4A1F8379760228534480B2542651132B467FE49F2]] FP4sqr = [[148A6C1C32BE26D96DF04398B02D3ABCAA0DB39435F1C0D125644840CF928573F2B7164EEA0F3AB48F5CD01333EF5789CB4E34121D7A41E1D0,167B22FC7E96A463B2479FC0297E8CBFDB98DA49160DF1CB55770E1B55FD6493F8BF8594259BCED50131957194AC4DBAC33B62463149CB411C],[15764DC7C6DF4B82B5AA5EB8B00FDC7A03CDB8D883DBF6CC16695451ACC3628A527C93393AD4EC709C99D2A06C817A7383B502063A5E3C9B48,23066F3D738C4139625025532A561D5CEB800FF6E185E5C8AF101C851425E30BFB5C88AC1B81A7EF791E8CF58BFD8C99AACDFACBEF83559DC0]] FP4mul = [[05EB4A013853FD2A5354C6950E4122100F05586528805373072DC9789C0FE3D2AFF2062FC8D32146A92D6C60A7AA597EC3ED00885C8B0ACDEE,200536B0A0D267565B1A70A102A688B6D2E9C578B8C4B56DCBDFF3CC311D57A093A1FE24C6FCA643EB52D240BD0A908088EBBCF60973DC32C2],[0B1F75F95AF36DD5F11760DA2BF81B4B375B6365925B57CE179BF293C3DB0AC31251C7BA839FA86E4AF60F1818768AAE38F9351964BBF7317E,05529F281E99F288094A9C32AB1EB3516D96BBD06227D5B468F86AE4E02F5A30AC33008DF88D7C0C798C7DC60AE7B297D9FC03F2C31E4A9B49]] FP4inv = [[20E176D915DA1CC672E93CB624224650B0441249386972A36515C65DDBCD81991BBF108187BCE7C1F189A3429FABED6958E0D5C9D419CF5CCA,02EFD43D9832FA5FF9AA40D67C71C025EF099DE7762292A9E1DCA5C95FD810730B7D87E89AEF29860FA08D078507B1F28D33B7E56E095D659B],[1D413610F5716FB5332A61714FB76156BDF98A6DB12EC206B9440EA166EFDC882F5D8148A8AC0A66B688F3492707CF90902D2281844FB5CA66,20A6A87F484CB3593DD165FAEF2532C12E5464DC746E8238C7C7B2205878FF60836EDD977FCC560E58E99EA6E595F4BB6AC45D11BFA0C6315A]] FP4mulj = [[171A7A46FD1FFBA8FD2C1E433C222E3322CD2D86BD064E103640021C82F85006B2B7B28761DC18EA453CA55A3A63C18A5320FE06E2081815A7,1156128A4EFFF5FD71CEB1CE3019C0F9272173D425DC92BA68C11AAF72F2C5566A0A4428B5BB7C288F4E36419595C3C4DF9B9B10F6834AF13A],[17E421154D759393C913CFBF7F0AF591BB92C12A25A96108EBE6D44723DF3F76B07CA18D5F9190EF908F1380B9C89B08CCA1BA198008D1E60E,1E4B5B87CE2B80B1FB9728CD7F7BAA162EAB46618C82AFEE9F29923833D7557C2D5F1A4BCEA0BE815FC1A4405488267458B8D1E96B47120158]] BIGsc = 0C98B5B7CAA52064DB4CA9260A86E0972DF7A5A549CE2C18D4FC533E02BFD928E09D57CA878E5643B553D8695195FD434D070137DBE9D12ADD FP4pow = [[0181FF02E5B4FE4EA06187A22DC2E6F97592E28AEF666BF9EB4E6E515D1FD2E2304F36620C78A199DE1088C0A3BCEB41012BB8EECDB2755743,092191392DE67FE6A136C1EE5853C9746979E3020A80A02C7A1F32A2A9696206A72D7941C41E3B0BC78580488FBC053CAE06054634315DF46A],[097C6D6A1C7A54311E79B697D9752E521F5E37355D7299EEEBA9FA0D9FF5BBF8069CAD60289FEFCE74305748B74B3BA61532B44233A81A61D0,0BD610F04358798A9EE5D0434DB774E17D5358ABB31E53330923A16167101F3B7913E7117E4A0F4995638C2BE48AE4EE3B79AD4CA27791CA58]] FP4frob = [[17E421154D759393C913CFBF7F0AF591BB92C12A25A96108EBE6D44723DF3F76B07CA18D5F9190EF908F1380B9C89B08CCA1BA198008D1E60E,05B4A50831D5574E04F96732A634C1EB8298BA308F7D522EA4D74850502A7F8BD332ADB432A4497EC546A9C017C5D98C2B472E16E2B8EDFEBB],[08A060E0F6C10DECC787CB9AD28F663779F5B04CCF35D9B7D2CC5A86393A599AFB6AA61EDB34A0A1575CCD8C412214F2FD6998EAE0D2BB5042,1D8C12F76773064E0AFBA21D694B47736C5CD3AEA1D9422802095B4336D416016FFA5AFFACF9759B76DC4502A3FD8B172D02F9A0B3D91593EF]] FP4_xtrA = [[215B6566DBEB070F8E62D69594D6F59505FC5D18F13357AD2F6528C949A34D2536F57AB46149B21B6AEF44E1F5C046AABDBD356CA6601C81DA,018CF4C6EDC7306BBCFF1304E3CA40949FBBD49459005CAD9508ECB94155B6497F9BC04C3CE04D58DE68A823B33C9CEBA767DD4B30EDDE1BE4],[1C54CF90AC20AF7AA57612DA188B76610684C5DF4E668E150859236DF722A5AD13353934EE6E6777CB9A5BE63ADE0B4594783F4DB1E62D7A5B,0ECC8919934FBCB93D5CD5D7B6DEA7B71F2EF3A9FEEA0060BB7AC9BDE28C9F87552E77CCA4FDE018ED61B621C2FAB9915EDD371444B701002C]] FP4_xtrD = [[08C22A8197D3D7B1DC593419D7C7BB9AE42C31D2069F00DC91977A3B0BD5DB8E924F9B342C3120D59346F7122CAC2178B60ABFDF6B689E15C7,21E46D0CE24152FFBC3A6E2575E81096E0CA4EAA350896289F259EBBF65263AB9F24E0FC8AE461D28BBEE8F1C43800D319C9BE73F6BBA73E92],[19E6DA0912FE652924149EC9F69B5FA49C7859A14ABED579716996951EACA2DF6EACC1E9512779834C1C603BD02CFFC232719B1DC4E99FA216,1D420780C56C3B8DD6F2B8DE1E4DB022EFD456444A5C2A72E19135180420585BB2AF1A4D6F610B2DC3301DDCE72F8ED4374897D603FE887953]] # test 12 FP4_1 = [[00,00],[00,00]] FP4_2 = [[01,01],[01,01]] FP4add = [[01,01],[01,01]] FP4neg = [[00,00],[00,00]] FP4sub = [[240000900000d8000090900025b06c01b14400921c00021d4400da888401d5080091c8000145080025084e006c4e0000840000004e00000012,240000900000d8000090900025b06c01b14400921c00021d4400da888401d5080091c8000145080025084e006c4e0000840000004e00000012],[240000900000d8000090900025b06c01b14400921c00021d4400da888401d5080091c8000145080025084e006c4e0000840000004e00000012,240000900000d8000090900025b06c01b14400921c00021d4400da888401d5080091c8000145080025084e006c4e0000840000004e00000012]] FP4conj = [[00,00],[00,00]] FP4nconj = [[00,00],[00,00]] FP2sc = [00,00] FP4pmul = [[00,00],[00,00]] FP4imul = [[00,00],[00,00]] FP4sqr = [[00,00],[00,00]] FP4mul = [[00,00],[00,00]] FP4mulj = [[00,00],[00,00]] FP4frob = [[00,00],[00,00]]