blob: 95ddd5c5119b463c001ded83c28547e501ce6ea9 [file] [log] [blame]
# FP ARITHMETICS - CURVE: BLS24, Modulo = 0x555c007803ccc5ba839aec6e803f2e77e4c1ba825079733568e09e1f244061873220df068a328b6f1c5cbdb6a642ffe2e82d30daf844c1674a06152b
#test1
FP_1 = 1FC0515B058B59DF5D298C4D1669BC1F5C815CE6B902193F72043A61F1E97127B8A1E370F30DCE68720812DEAC8FA3EA4F4E4D52187C889603D6CC3B
FP_2 = 4DDFD80F11585B8A620287E77C2405B0A0A4C8DA5FC9FBBA7F72DD0388D90592388035F5795157EAA77E1A33EA4BB6EC0A9C46283CEAC491C5537590
FPadd = 184428F21316EFAF3B9127C6124E935818646B3EC852A1C48896794656821532BF013A5FE22C9AE3FD296F5BF0985AF371BD629F5D228BC07F242CA0
FPsub = 273C79C3F7FFC40F7EC1F0D41A84E4E6A09E4E8EA9B190BA5B71FB7D8D50CD1CB2428C8203EF01ECE6E6B6616886ECE12CDF3804D3D6856B88896BD6
FP_1nres = 1FC0515B058B59DF5D298C4D1669BC1F5C815CE6B902193F72043A61F1E97127B8A1E370F30DCE68720812DEAC8FA3EA4F4E4D52187C889603D6CC3B
FP_2nres = 4DDFD80F11585B8A620287E77C2405B0A0A4C8DA5FC9FBBA7F72DD0388D90592388035F5795157EAA77E1A33EA4BB6EC0A9C46283CEAC491C5537590
FPmulmod = 0EFA333C32865959D0D1B909CD148BE5C7F44CFAB9A6DA72B0A8C894304A81B43BB419DC8EE3DBEBD051296A1DDB5A159334A7F86CB2FC810A268F5C
FPsmallmul = 3D6F2C262C0B318A18CEB5B75F63CDD1EEC8717C48A8A2DA39886D76065D46F79FF04555DFF26DC71F3A838ECAD3677E608772A40C0F11A64851BACD
FPsqr = 1D8163C792768258FCDD386932FBD8C478988FA337D3AF82006E4EE0578759CA0CA3D39FABDC0BA608FB4EF90A53835013D74BF28C853DBD9E800799
FPreduce = 1FC0515B058B59DF5D298C4D1669BC1F5C815CE6B902193F72043A61F1E97127B8A1E370F30DCE68720812DEAC8FA3EA4F4E4D52187C889603D6CC3B
FPneg = 359BAF1CFE416BDB2671602169D5725888405D9B977759F5F6DC63BD3256F05F797EFB959724BD06AA54AAD7F9B35BF898DEE388DFC838D1462F48F0
FPdiv2 = 3A8E28E984AC0FCCF0623C5DCB54754BA0A18BB484BDC63A6D726C408B14E9577561613BBEA02CEBC732684AA96951E69BBDBF168860A4FEA6EE70B3
FPinv = 397D3C6367D9E4A1768A02AC969282342970A825217B16A0DA237CA51A55AA73E511C7441DC5C66C4B17348B959B31D225BA60C8FF31743F352CBC65
FPexp = 12A9D7A4065DED445080ACD1D063B05AF4EAAF8284A420EE62630F0DB0D0D80F03A2765B8BA60F779CAA4F64374317F3C8B1A76221638AC0D5A0B471
#test2
FP_1 = 4AF20BA1023A6659E8BB71F5617F479795C06CA18D2B5C45DBE3B837204C972018836BF816FAE2618590F3A13FE71F0B6DEAC7AF17570C43D6132BC2
FP_2 = 2FE11DAC21B665329DB12E7184ED16E1552AB6959F7772E4552B569050088507642107136B774AA1507ED96C01A3D038B7B27924E673DFDB40DF9E23
FPadd = 257728D5202405D202D1B3F8662D3001062968B4DC295BF4C82E70A84C14BAA04A839404F83FA193B9B30F569B47EF613D700FF905862AB7CCECB4BA
FPsub = 1B10EDF4E08401274B0A4383DC9230B64095B60BEDB3E96186B861A6D0441218B46264E4AB8397C035121A353E434ED2B6384E8A30E32C6895338D9F
FP_1nres = 4AF20BA1023A6659E8BB71F5617F479795C06CA18D2B5C45DBE3B837204C972018836BF816FAE2618590F3A13FE71F0B6DEAC7AF17570C43D6132BC2
FP_2nres = 2FE11DAC21B665329DB12E7184ED16E1552AB6959F7772E4552B569050088507642107136B774AA1507ED96C01A3D038B7B27924E673DFDB40DF9E23
FPmulmod = 1ED754D636E6AAC36799121E607636AFDCB63B26855BD8C297A408CD234C8C92C362378E942E91693A632E57A69D47807B99EDABD90F9661DE9C9995
FPsmallmul = 42947089F7E1D1AEFA7B1021CCFF582CB3766A3CFFE6010F4FE0412E20FADB07641B3F7C94387C5654C396974CEF375B09C245FF27406F6C0C8F0C3C
FPsqr = 15033BEE6AE6CC26D07416143E83E64B231AFEE8C36A7CC2CB308E3EEBDE9B0A9CB0C1A144AABE1A1456119A74229DF38CD176CA74567841C694852F
FPreduce = 4AF20BA1023A6659E8BB71F5617F479795C06CA18D2B5C45DBE3B837204C972018836BF816FAE2618590F3A13FE71F0B6DEAC7AF17570C43D6132BC2
FPneg = 0A69F4D701925F609ADF7A791EBFE6E04F014DE0C34E16EF8CFCE5E803F3CA67199D730E7337A90D96CBCA15665BE0D77A42692BE0EDB52373F2E969
FPdiv2 = 257905D0811D332CF45DB8FAB0BFA3CBCAE03650C695AE22EDF1DC1B90264B900C41B5FC0B7D7130C2C879D09FF38F85B6F563D78BAB8621EB0995E1
FPinv = 25690C9F872BF065FCDB571483C0D8FE5F7D7BDA5093FE0ED68A6B53D41AE3A0A73C889208646683493CADC9D6895D26F8D2299799A8C5B3C0189506
FPexp = 0FFC731A817468AB48E833099C421C362FBC9B3B59ED4373771E5418F761A42A9AB80EE7CC4ADF70E382D461B9BD6FA432E772AB31A69942E3799134
#test3
FP_1 = 4670AB26C3E639C601106397244587634959E4B46EFC4B168849112327AA21C97F3724D7E85CD4E333D1C1C59F9CE8FCDBB80C051505EC9B7BAA151A
FP_2 = 1C58E5F5D0F8EDBB513EA444236A83A7B93577E5525B84E1D01D706DD2CADEFD8EF290A774FEDDB8AF3B6E5F65895552656EB5938855B93FEF2AF79B
FPadd = 0D6D90A4911261C6CEB41B6CC770DC931DCDA21770DE5CC2EF85E371D6349F3FDC08D678D329272CC6B0726E5EE33E6C58F990BDA516E47420CEF78A
FPsub = 2A17C530F2ED4C0AAFD1BF5300DB03BB90246CCF1CA0C634B82BA0B554DF42CBF0449430735DF72A849653663A1393AA764956718CB0335B8C7F1D7F
FP_1nres = 4670AB26C3E639C601106397244587634959E4B46EFC4B168849112327AA21C97F3724D7E85CD4E333D1C1C59F9CE8FCDBB80C051505EC9B7BAA151A
FP_2nres = 1C58E5F5D0F8EDBB513EA444236A83A7B93577E5525B84E1D01D706DD2CADEFD8EF290A774FEDDB8AF3B6E5F65895552656EB5938855B93FEF2AF79B
FPmulmod = 2C8B69D243D054E166B78E171D0E00393076CE39A9C8DA707F6DC677004FEF75655AF5F4D9155E14A5517094685355139865903DB5323E956C405872
FPsmallmul = 1586ABC3889813E7EDCC807368BDD621B7751AF9D20F55360BD5BA666AA245A56720783AC20BF567234BA4030A091AC953C6F15B101532D8847429AC
FPsqr = 10A39024BDE9B96C685CDF06084E6B5A353E3CC19E90CCCDC7D704CE06C142F3E357034CBA90ACE44C6386E81CC503B7D863BF88D5AD6B3488C79AE9
FPreduce = 4670AB26C3E639C601106397244587634959E4B46EFC4B168849112327AA21C97F3724D7E85CD4E333D1C1C59F9CE8FCDBB80C051505EC9B7BAA151A
FPneg = 0EEB55513FE68BF4828A88D75BF9A7149B67D5CDE17D281EE0978CFBFC963FBDB2E9BA2EA1D5B68BE88AFBF106A616E60C7524D5E33ED4CBCE5C0011
FPdiv2 = 2338559361F31CE3008831CB9222C3B1A4ACF25A377E258B4424889193D510E4BF9B926BF42E6A7199E8E0E2CFCE747E6DDC06028A82F64DBDD50A8D
FPinv = 034747BF40E9D4FF056B6428DA30F221B6FDBC3B958D12B19D6EF2786B478D2F62FCF043646CF5370034C861464AB4F159FD77ED195F0DD804BBEBFD
FPexp = 255792F8458AFC303A44C5CA41CDD7D0FB0C42D55C92B5BA470200F9847EFD9EC20DCA189B571C17E368FD0558182C36C2F6CEA603AC34FBEE7BD94F
#test4
FP_1 = 3D7465E2E9397345BC6146F02BEF3FBB85746F49EDDCA5945CC6C5B3003F60E97337BDB83674489AB12785E2B8D31221060C70C4C5DF00FCE7869354
FP_2 = 12570DF1F7E35B4C4DDC339DD15BA55486A885BB318EC1C6B6D8B6D702B77197F3664B3D9995B05642B3CEFC15B9DA92611D8F73C22BA7AD338C8693
FPadd = 4FCB73D4E11CCE920A3D7A8DFD4AE5100C1CF5051F6B675B139F7C8A02F6D281669E08F5D009F8F0F3DB54DECE8CECB3672A0038880AA8AA1B1319E7
FPsub = 2B1D57F0F15617F96E8513525A939A66FECBE98EBC4DE3CDA5EE0EDBFD87EF517FD1727A9CDE98446E73B6E6A319378EA4EEE15103B3594FB3FA0CC1
FP_1nres = 3D7465E2E9397345BC6146F02BEF3FBB85746F49EDDCA5945CC6C5B3003F60E97337BDB83674489AB12785E2B8D31221060C70C4C5DF00FCE7869354
FP_2nres = 12570DF1F7E35B4C4DDC339DD15BA55486A885BB318EC1C6B6D8B6D702B77197F3664B3D9995B05642B3CEFC15B9DA92611D8F73C22BA7AD338C8693
FPmulmod = 40BFA4DC70902664FB83B99EAD979C522454424773016E53FF51AA62412B46E687E5CA43811CFCB1FC0A56E9E368550792974A8197F25C80F33959B8
FPsmallmul = 1107F79501A5189FC2904E5C359E380BF5403F53174C5155C19F662404B71E6C214750045929060125020ADCAC69B615E34011B2F0D4C00E05172D1B
FPsqr = 2AACC72D5852BC2E3A58ECE2591B9F5BD015CD50AB7B18ABE20D414AF1788897BEA3AC37925E6DBD989D75B65E4A45B5FBA1EE1F2EB05F7517C3AA2F
FPreduce = 3D7465E2E9397345BC6146F02BEF3FBB85746F49EDDCA5945CC6C5B3003F60E97337BDB83674489AB12785E2B8D31221060C70C4C5DF00FCE7869354
FPneg = 17E79A951A935274C739A57E544FEEBC5F4D4B38629CCDA10C19D86C2401009DBEE9214E53BE42D46B3537D3ED6FEDC1E220C0163265C06A627F81D7
FPdiv2 = 1EBA32F1749CB9A2DE30A37815F79FDDC2BA37A4F6EE52CA2E6362D9801FB074B99BDEDC1B3A244D5893C2F15C6989108306386262EF807E73C349AA
FPinv = 0AD0CAA72BABB29D539164031A9AEDF921997EA2C196B45A944E39DCEE0FAD43D92CD9F62A6202B35807770B0A044C3134136CACFB34360B7E4423FC
FPexp = 22DB0251EDECA6C235645E4C4EA8AD1FBB8A38D7CB0F1A947A01207D8EB4F5B3A0BD025AED63EA3773D5E8989F2229D56A7395134684056064BDD5BE
#test5
FP_1 = 5239FFD30376F97CF0DDCCAA29FA9F4D1A9202B17058C180E2BCF471495B897D0559FB938514C44CB9BDC5E9DBAD7CCF3E109B55AC657649410F8AE0
FP_2 = 0D2AAA31DC6B9FD3CC70B43B13AB496AD4FFBE9CA22BA39E106C23CD17B00F312A699534E07189171DF77AF20E612BDB0340E53CE4EB20E5CECF1382
FPadd = 0A08A98CDC15D39639B39476BD66BA400AD006CBC20AF1E98A487A1F3CCB3726FDA2B1C1DB53C1F4BB58832543CBA8C759244FB7990BD5C7C5D88937
FPsub = 450F55A1270B59A9246D186F164F55E245924414CE2D1DE2D250D0A431AB7A4BDAF0665EA4A33B359BC64AF7CD4C50F43ACFB618C77A55637240775E
FP_1nres = 5239FFD30376F97CF0DDCCAA29FA9F4D1A9202B17058C180E2BCF471495B897D0559FB938514C44CB9BDC5E9DBAD7CCF3E109B55AC657649410F8AE0
FP_2nres = 0D2AAA31DC6B9FD3CC70B43B13AB496AD4FFBE9CA22BA39E106C23CD17B00F312A699534E07189171DF77AF20E612BDB0340E53CE4EB20E5CECF1382
FPmulmod = 4F073D4811173751A114CC49FAE6DE5D5DA474A36DAB4E0B99085E6DE013800FBF232909D8D808CC06828912C8B1A7E4DE5A79F151213A540F8D7C30
FPsmallmul = 3607FA060072CB52C837AEC3219196CBFEE48C598F3282282B7BFD54974FF121725BFC885708C41742270FB6BC6BE11E430F59A6018BD23AF064AE3D
FPsqr = 4393D4BEE651AC77654790C488E5DFCC68CBA408B875BF6DBFFACAAE7FB0869287CC6108365B4AA70E3BBE00215E3FCCE1E9510E2F9B0EAFB12185C5
FPreduce = 5239FFD30376F97CF0DDCCAA29FA9F4D1A9202B17058C180E2BCF471495B897D0559FB938514C44CB9BDC5E9DBAD7CCF3E109B55AC657649410F8AE0
FPneg = 032200A50055CC3D92BD1FC456448F2ACA2FB7D0E020B1B48623A9ADDAE4D80A2CC6E373051DC722629EF7CCCA958313AA1C95854BDF4B1E08F68A4B
FPdiv2 = 291CFFE981BB7CBE786EE65514FD4FA68D490158B82C60C0715E7A38A4ADC4BE82ACFDC9C28A62265CDEE2F4EDD6BE679F084DAAD632BB24A087C570
FPinv = 0E6D5C34F259BBC92C6DC4DE4C8C0775239F165539391BB0B2B4D2B1759B3C8B58595A1BE4AEFED54335C7E1040C39E6D597A27D08875CA887DB7BDA
FPexp = 2749947304DB29099B9EB1372D2D60A1624809A294E437B0D3B611DD47468D62BE31EC93CB17F60E6C9FA4AACAE8125649246351E5FEC209DA95E535
#test6
FP_1 = 3A4AFB3774AD66BD648CD593065F34F14E0DEBF85774A8F6003B78FBC97583A1CB4E5E06DB08BF3DBC061BEC60E54924C8B34266BA5429FB989951D9
FP_2 = 479D91031D5E9F762D47649E49B5EBCB46AB7B1EFFEEC7F63F43CE8FAD253D57E94A7A86A717397D9E53C2DD5F3518D0F673F4EAD5EC389510EAD2BE
FPadd = 2C8C8BC28E3F40790E394DC2CFD5F244AFF7AC9506E9FDB6D69EA96C525A5F728277F986F7ED6D4C3DFD211319D76212D6FA067697FBA1295F7E0F6C
FPsub = 48096AAC5B1B8D01BAE05D633CE8779DEC242B5BA7FF543529D8488B4090A7D11424C286BE24112F3A0F16C5A7F33036BA6C7E56DCACB2CDD1B49446
FP_1nres = 3A4AFB3774AD66BD648CD593065F34F14E0DEBF85774A8F6003B78FBC97583A1CB4E5E06DB08BF3DBC061BEC60E54924C8B34266BA5429FB989951D9
FP_2nres = 479D91031D5E9F762D47649E49B5EBCB46AB7B1EFFEEC7F63F43CE8FAD253D57E94A7A86A717397D9E53C2DD5F3518D0F673F4EAD5EC389510EAD2BE
FPmulmod = 4B891093161E099B0FC72F01C38B20F19F624A1AE120CE80BA98B46FF04E7F3C0A1A7C4C6E12F7686631C95293767B7F6805056854C997325E300988
FPsmallmul = 46C5CD5A77F96106D7DECD273E3CFA9DB000D8A587B5E65B8D0F051B0514DB26C44A721D512833CEAE10A4F3E362DC1E65F172E175AD1B6839D8B378
FPsqr = 14A658F00A81C59B18892602076E4D9BC59DB8D251879CE8D6FF736F7E7352BC1D305047563710BE89E1774E85CA49C5818E57436BFE10B40137A814
FPreduce = 3A4AFB3774AD66BD648CD593065F34F14E0DEBF85774A8F6003B78FBC97583A1CB4E5E06DB08BF3DBC061BEC60E54924C8B34266BA5429FB989951D9
FPneg = 1B1105408F1F5EFD1F0E16DB79DFF98696B3CE89F904CA3F68A525235ACADDE566D280FFAF29CC316056A1CA455DB6BE1F79EE743DF0976BB16CC352
FPdiv2 = 47D37DD7BC3D163BF413E100C34F31B49967D33D53F70E15B48E0B8D76DAF2947EB79E86B29DA5566C316CD183942483D87039A0D94C75B1714FB382
FPinv = 5144A1BA233A87F828D35BADB0A8DC990265F40BF4E0CE2CD2BAE2488946F476DC9CC7088DA351466E32CF1B8AD3E7D7A110379821BB88EC20EBBBE8
FPexp = 534C6A7A964EAD33C84F14F16DF34A3D77581E04FFC2E8FAAFE5D2BD75AF443A2D1473FD14AB44B19ADA08EA3BD11E20E04138EEEA130D1B4B16BAA0
#test7
FP_1 = 170701235139DEADE57B4717343AC47E5D98E5B3A86A6D27C1238A159E6B8893C25DA1179B2AA2373B9C801E3206199B53AC256694E47EBFA8F7BD5B
FP_2 = 1F8464BF158E2C8936E1A981042D8D921C12064B1ACB676B92AC2C9C2F9C91AF4A39D8490B14465F4AB6F37370783EF0206FFB694225C0E1414C1653
FPadd = 368B65E266C80B371C5CF0983868521079AAEBFEC335D49353CFB6B1CE081A430C977960A63EE89686537391A27E588B741C20CFD70A3FA0EA43D3AE
FPsub = 4CDE9CDC3F7877DF32348A04B04C6564264899EADE1878F19757FB98930F586BAA44A7D51A48E7470D424A6167D0DA8E1B695AD84B037F45B1B1BC33
FP_1nres = 170701235139DEADE57B4717343AC47E5D98E5B3A86A6D27C1238A159E6B8893C25DA1179B2AA2373B9C801E3206199B53AC256694E47EBFA8F7BD5B
FP_2nres = 1F8464BF158E2C8936E1A981042D8D921C12064B1ACB676B92AC2C9C2F9C91AF4A39D8490B14465F4AB6F37370783EF0206FFB694225C0E1414C1653
FPmulmod = 33CFC596385C903BCEDCC098B2A8B360FB0EDC95C184E2D2926189569177BD58B9688F3EF7466418665C3534AFAF6E88F73C9072DAADE0211DA4FA3B
FPsmallmul = 3B8E0A7124A92755EF9AEE0B09CD4FFFDE7583FFF3355D22B9A22899E7B292B733668CDEFB453F4A1B6385C0A7B7004B745F144BE06370AE05A13B38
FPsqr = 140E300A8E4A37A4C67EA86FA721A5606D9F70B35C1E9E5EDBBD228ADB336A0F00DB6194744F64B1A308D7FE3E7EF6BA9DA64304EDCD3735CA58E24E
FPreduce = 170701235139DEADE57B4717343AC47E5D98E5B3A86A6D27C1238A159E6B8893C25DA1179B2AA2373B9C801E3206199B53AC256694E47EBFA8F7BD5B
FPneg = 3E54FF54B292E70C9E1FA5574C0469F98728D4CEA80F060DA7BD140985D4D8F36FC33DEEEF07E937E0C03D98743CE64794810B74636042A7A10E57D0
FPdiv2 = 363180CDAA835234348B19C2DA3CF97B212D501AFC71F02E9502141A6155F50D7A3F400F12AE96D32BFC9EEA6C248CBF1DECAB20C694A013797EE943
FPinv = 1C3D7358EEA647EC65BAEFC351AC5D0668A746F56C85BFB6EF4806E3029DE6848BEB16ECD4E24DDC355E7B0575EF94237FFE679E93BB80C56FFEF767
FPexp = 0C818A3C893EF0A2F901E66DA2E7EFC354B5D34C0BBB0A7DCB4F4B44B79E123E4D0D0FB48CE903850204AA90D5DA195C353A090CD26166E07AAFEA60
#test8
FP_1 = 1A90C86E40FCEECA40F6C8C50F4A9C03D5AE3C90F29C91513913BE9C263964D2D7CE1C550250D7274D07C1A9B2551D9A610350F61FF630CEFF9739AD
FP_2 = 30D2AA234DEF7186C0D02E0EB32B3A244BB2658B8D1C55F070F269E3FC1DA1EF58D449290D1244CCC33C9A116A6B314C5F5A0977D97B1D623187DBB8
FPadd = 4B6372918EEC605101C6F6D3C275D6282160A21C7FB8E741AA062880225706C230A2657E0F631BF410445BBB1CC04EE6C05D5A6DF9714E31311F1565
FPsub = 3F1A1EC2F6DA42FE03C18724DC5E90576EBD9187B5F9AE963101F2D74E5C246AB11AB2327F711DC9A627E54EEE2CEC30E9D678593EBFD4D418157320
FP_1nres = 1A90C86E40FCEECA40F6C8C50F4A9C03D5AE3C90F29C91513913BE9C263964D2D7CE1C550250D7274D07C1A9B2551D9A610350F61FF630CEFF9739AD
FP_2nres = 30D2AA234DEF7186C0D02E0EB32B3A244BB2658B8D1C55F070F269E3FC1DA1EF58D449290D1244CCC33C9A116A6B314C5F5A0977D97B1D623187DBB8
FPmulmod = 36A11156C9D8A946A461C439095EF49AB0A3239426ADC5794B7F7DD64D89671BE360A0678C2227A466C7D3D525BA9B8E365CD9BEEFC96913902F61E9
FPsmallmul = 0993D2E67E7B02B6FED31267182C8CBEAA892E2288B1538C002397BC117CCBA6D7AA7E3E7890C53BAD37577D048A285F1199970C56CFA3E01DD60141
FPsqr = 05E34CA908F6D22D53780824BF5CA05922F8F9B0C75816408F9B6281D43D1AB9DC3A9A10F14B10D49889746A5CEE88521ACBABD5C37E2625CA4B1707
FPreduce = 1A90C86E40FCEECA40F6C8C50F4A9C03D5AE3C90F29C91513913BE9C263964D2D7CE1C550250D7274D07C1A9B2551D9A610350F61FF630CEFF9739AD
FPneg = 3ACB3809C2CFD6F042A423A970F492740F137DF15DDCE1E42FCCDF82FE06FCB45A52C2B187E1B447CF54FC0CF3EDE2488729DFE4D84E90984A6EDB7E
FPdiv2 = 37F664732264DA426248DA99C7C4E53DDD37FB89A18B024350FA2E5DA53CE32D04F77DADC641B14B34B23FB02C4C0EBEA49840E88C1D791B24CEA76C
FPinv = 24F3FE64C6BC990F64E7C2BFA3F66CC66575DA4087827E9E839AB91CFD26BF2A1501F2623A64AF23853B25A3BE113BFF73063E4367E529361AF40033
FPexp = 3E52B69E988DFDE63E26627102C87A2CDC79F2E3A3609DD4EC7CBFA53C91744E5C2F724013FB4285D2AE70810C1AA89D704CC0E660378F8E4DAF497F
#test9
FP_1 = 0958F1D99AA2757D140290F426539B62EE0E088BA71BA6FE7E0C97C2A4D6737544CC004D2B06C077F11A32B6DAC12C8B9F78C27643179C2AAAC6C0C9
FP_2 = 28EEAFCEA864998996EB622D475D7B7BF157077A70C4D7AC3D4889C9573653660BDB7F6C2E69EA52477F72F0856F3221030E142BED61A3BFCD947A6F
FPadd = 3247A1A843070F06AAEDF3216DB116DEDF65100617E07EAABB55218BFC0CC6DB50A77FB95970AACA3899A5A760305EACA286D6A230793FEA785B3B38
FPsub = 35C64282F60AA1AE00B21B355F354E5EE178BB9386D04287A9A4AC1871E081966B115FE786CF6194C5F77D7CFB94FA4D8497DF254DFAB9D227385B85
FP_1nres = 0958F1D99AA2757D140290F426539B62EE0E088BA71BA6FE7E0C97C2A4D6737544CC004D2B06C077F11A32B6DAC12C8B9F78C27643179C2AAAC6C0C9
FP_2nres = 28EEAFCEA864998996EB622D475D7B7BF157077A70C4D7AC3D4889C9573653660BDB7F6C2E69EA52477F72F0856F3221030E142BED61A3BFCD947A6F
FPmulmod = 0E451C4E474E19755DA4411F8927289D7CF54A726BF2A5D90DD29938E3BED7003C04296D5622D77E3426F632B7AEE27FF8D2CC152E8C6711F972D9EF
FPsmallmul = 081D7208068BD128447EBD1AFF04E36567CA9AF2369B12BB839D4F7B4C20210D7DD723FD2410F9404EA93D6DE548BD91528A67C3A6A7584361BD72AF
FPsqr = 4FEA4DC2611A791740A133B73070B4A0198C52510909AA4BD9FF61AABBAFD9A791860B5330DC4D104173609D2AD2E50FFFA1D31D2E50767C3C1281F0
FPreduce = 0958F1D99AA2757D140290F426539B62EE0E088BA71BA6FE7E0C97C2A4D6737544CC004D2B06C077F11A32B6DAC12C8B9F78C27643179C2AAAC6C0C9
FPneg = 4C030E9E692A503D6F985B7A59EB9314F6B3B1F6A95DCC36EAD4065C7F69EE11ED54DEB95F2BCAF72B428AFFCB81D35748B46E64B52D253C9F3F5462
FPdiv2 = 2F5A7928CF379D9BCBCEBEB1534964ED6967E186FBCA8D19F3769AF0E48B6A7E3B766FA9DA9CA5F386BB7836C082163743D2F9A89DAE2EC8FA666AFA
FPinv = 25592574D2953F1F7AEDCAF8A7B5EEE935F94B7F29616474A1DF2FB3F0741153F6C0C4DC77FDCE5DFEE0175B584188B302572720E39DE6668A3E6364
FPexp = 2F5A4FE17EAD24ECFE44F5B0715F3CB213B48EB00FE5E775A0503481763A378082796F6209A9A15846BD9B1B0A8CC6A67A29C62F36C7A71988408FDF
#test10
FP_1 = 09DB6332E3465E1B3351FC1622CC9DD7FDF19903CF49F07003A6EADBB8E73FD3037BE3E701FECC76F9564C8353DCB04C1FA1FDAF26B1ADB15AB6ECE8
FP_2 = 36FA1586F21837088ACA7AE13067FF651C2ED3E43E1002399C32347A13426CBA2A57C297F18EBBA3B5203C1E37E54B6B7D7D2A35D14B5670BA61150B
FPadd = 40D578B9D55E9523BE1C76F753349D3D1A206CE80D59F2A99FD91F55CC29AC8D2DD3A67EF38D881AAE7688A18BC1FBB79D1F27E4F7FD0422151801F3
FPsub = 283D4E23F4FAECCD2C226DA372A3CCEAC6847FA1E1B3616BD0555480C9E534A00B4500559AA29C426092CE1BC23A64C38A5204544DAB18A7EA5BED08
FP_1nres = 09DB6332E3465E1B3351FC1622CC9DD7FDF19903CF49F07003A6EADBB8E73FD3037BE3E701FECC76F9564C8353DCB04C1FA1FDAF26B1ADB15AB6ECE8
FP_2nres = 36FA1586F21837088ACA7AE13067FF651C2ED3E43E1002399C32347A13426CBA2A57C297F18EBBA3B5203C1E37E54B6B7D7D2A35D14B5670BA61150B
FPmulmod = 3ECC55F97DBBFDF544811B866FCE7C18B30818361AD4FE9FFB5F6C348F735C957E624DB31F97D379F3479871BDA56B846AE062EF63AABABFC5ED77AE
FPsmallmul = 0D35DF84DCF2E7557D98EC6EDBBEFBF806AE3FA3C869F12ABBA48E7614C81CB6F0B607FF89C17136A1023F6AA05BE3165426B7FC8AAC0786411F2BE5
FPsqr = 56EC48C9F5A2F2A9D064B44DE2B5067A76768B4C1831FBBEDF0BEB1013FF6E1D5EA3F71AABFC9D1C7A5A04F21825DBC9D08707884A8C014A65BBDE
FPreduce = 09DB6332E3465E1B3351FC1622CC9DD7FDF19903CF49F07003A6EADBB8E73FD3037BE3E701FECC76F9564C8353DCB04C1FA1FDAF26B1ADB15AB6ECE8
FPneg = 4B809D452086679F5048F0585D72909FE6D0217E812F82C56539B3436B5921B42EA4FB1F8833BEF82306713352664F96C88B332BD19313B5EF4F2843
FPdiv2 = 04EDB19971A32F0D99A8FE0B11664EEBFEF8CC81E7A4F83801D3756DDC739FE981BDF1F380FF663B7CAB2641A9EE58260FD0FED79358D6D8AD5B7674
FPinv = 190689D18F867FD680E895C44C0A161A674249B3A5348BBB64C26504686689710C72181870B326287CCCAD0AB311B132E0FCCB8B48BA4605FF000A15
FPexp = 2587B613AF5F4EA74A0A7AAAD132BB7A24702CBB26ED8C73BC97A87D2479685AE507BC88928F3DC1AE7B4A51E0D871EBCB87EE21A4812926C6B7FD76