Skip to content

Instantly share code, notes, and snippets.

@jwasinger

jwasinger/gist:27ea77111577ac1979d23f0750bde571

Created May 8, 2020 19:43
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jwasinger/27ea77111577ac1979d23f0750bde571 to your computer and use it in GitHub Desktop.
Save jwasinger/27ea77111577ac1979d23f0750bde571 to your computer and use it in GitHub Desktop.
Download ZIP
f6m_mul-trace-wabt
Raw
gistfile1.txt
debug_printMemHex mem_pos: 288 284544
81f9ab902854e25b9885fd18eedded158d323cd1db63aac85667c846d7b32b2cd8f5fc6051a82f5ad57c039da951ed13d3b0186a84d65f84b496962eb845bf44b964a6dd009f7a9c7b5b31c8838bf7ad0c82c8568e5cba769a9865ef8ee6cc1393f29468d61bae4ee78df89e052fd93155a152b851f91c04e29820e971b2756faea7bb1d8cf88726fd98f26f1e55351464189369f3e2d094567d7159784b51602eaed4b93a96c7eaabdb17e21bc0f4b621ab0d9e6c704a29d07c16f10aa83b1829366951d266201e3461e4c8be6f97735790d8176b661ab62e24ca23a18989ad0b933264a916e4da9b1e8e3ceb7ddf13fc60e840573d9d79559e0c8d1f05e17459fe91066b901c99a515eb21ddfc359590d6ab7ebaec0e58a1d2fbaf0ff5a809
debug_memHex done
debug_printMemHex mem_pos: 288 284832
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000008fc2328a6235e95c18abc18596f98a84839e593b9938c3e6ff7e206969e887754424c422d3bfc4dfa3a8f7bb06133119faf9234941983eb86272ccd6aaecab023b073792337fe67897873ade3ea4c5c54af0f667c5f6ea707df0f8cfb5d7c60ecb924706e14b145fbc9584ba5db6885374d7b904caf183b2442b6d3564f168d839559721e4ca94e3952da8f1662e730b66871346403f84bc533b945fbfc7a26513e67af2d3fc5c9b15da1ac9c80c8e359343566d4ae6d0968cc2e92195d1780d
debug_memHex done
debug_printMemHex mem_pos: 48 284544
81f9ab902854e25b9885fd18eedded158d323cd1db63aac85667c846d7b32b2cd8f5fc6051a82f5ad57c039da951ed13
debug_memHex done
debug_printMemHex mem_pos: 48 284832
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
debug_memHex done
mulmodmont384
x = 13ed51a99d037cd55a2fa85160fcf5d82c2bb3d746c86756c8aa63dbd13c328d15edddee18fd85985be2542890abf981
y = 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
mod = 1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab
inv= 0a76e6a609d104f1f4df1f341c341746000000000000000016ef2ef0c8e30b48286adb92d9d113e889f3fffcfffcfffd
result = 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
mulmodmont384
x = 13cce68eef65989a76ba5c8e56c8820cadf78b83c8315b7b9c7a9f00dda664b944bf45b82e9696b4845fd6846a18b0d3
y = 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
mod = 1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab
inv= 0a76e6a609d104f1f4df1f341c341746000000000000000016ef2ef0c8e30b48286adb92d9d113e889f3fffcfffcfffd
result = 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
addmod384
x = 3067050210951702858398642133496977242185750826243290245492840529444020638858203517135573967192516304146133450226049 y = 3047559411311691012765764921307592737336676645890145315156643329088579681225153230670476928492059465422234711535827 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2112200067041726477746617229068665822965544652194427675317425722408568669592518883363363266555560105530473889202089
addmod384
x = 0 y = 0 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 0
mulmodmont384
x = 0db9264e52e92ed585ce5d297479cb0d75abf3d61b74b012fdf4303bb831a1223c0123a796401c4d26432aacfac4ffa9
y = 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
mod = 1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab
inv= 0a76e6a609d104f1f4df1f341c341746000000000000000016ef2ef0c8e30b48286adb92d9d113e889f3fffcfffcfffd
result = 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
submod384
x = 0
y = 0
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 0
addmod384
x = 0 y = 0 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 0
addmod384
x = 0 y = 0 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 0
submod384
x = 0
y = 0
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 0
debug_printMemHex mem_pos: 32 1
6904000000000001000000fffffffffe5bfeff02a4bd5305d8a10908d8393348
debug_memHex done
debug_printMemHex mem_pos: 48 284640
93f29468d61bae4ee78df89e052fd93155a152b851f91c04e29820e971b2756faea7bb1d8cf88726fd98f26f1e553514
debug_memHex done
debug_printMemHex mem_pos: 48 284928
8fc2328a6235e95c18abc18596f98a84839e593b9938c3e6ff7e206969e887754424c422d3bfc4dfa3a8f7bb06133119
debug_memHex done
mulmodmont384
x = 1435551e6ff298fd2687f88c1dbba7ae6f75b271e92098e2041cf951b852a15531d92f059ef88de74eae1bd66894f293
y = 19311306bbf7a8a3dfc4bfd322c424447587e86969207effe6c338993b599e83848af99685c1ab185ce935628a32c28f
mod = 1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab
inv= 0a76e6a609d104f1f4df1f341c341746000000000000000016ef2ef0c8e30b48286adb92d9d113e889f3fffcfffcfffd
result = 194bc72fb9f2f6efbb1969e23b93f874ace6c98ef9883c5f06929f357523beb7ead4700ef7b2034e7297c24ddc3b5a44
mulmodmont384
x = 183ba80af1167cd0294a706c9e0dab21b6f4c01be217dbabeac7963ab9d4ae2e60514b7859717d5694d0e2f369931864
y = 0ec6d7b5cff8f07d70eaf6c567f6f04ac5c5a43ede3a879778e67f339237073b02abecaad6cc7262b83e98414923f9fa
mod = 1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab
inv= 0a76e6a609d104f1f4df1f341c341746000000000000000016ef2ef0c8e30b48286adb92d9d113e889f3fffcfffcfffd
result = 04615075dc4ab4334df841790e3bb6646ee001311cd2c84df0a3125bf1b3530b817680e783f505ea1abd5d37dd2d0daf
addmod384
x = 3110346665207510209915230105882308178555193983955688817283267876851544690117796049224682197083801162278362202567315 y = 3729805123615652671070745720700910533647062959537057704780949508063494337416950080818687780514436282573628036552804 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2837742233601495487568186000847314555645374123553738636732159248791007377043908265600682348469221780814095966560332
addmod384
x = 3877356969863987353794562149287555372245128184081984819176980654932078018714585622628801360668115377436091491730063 y = 2274346744902139624113205032501988534101847783574990653573075652244855258963803608743322098865093787314668613925370 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2149294159544459584489977356053639749790093147717967587417998171052901627187551366929435830404193500712865833095646
mulmodmont384
x = 126feb3f27892f3304b6c142787da5f8c1f32708d7b361ce87b3bceb7b76595f737e7a7f47160b3e297ffec9d228604c
y = 0df6d8d25270b28705940ee2476f67b7d6d6412353d5f3d7f878e52bd6dfaf9a688ae642ab3a1d7b5b28cda3d35711de
mod = 1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab
inv= 0a76e6a609d104f1f4df1f341c341746000000000000000016ef2ef0c8e30b48286adb92d9d113e889f3fffcfffcfffd
result = 16803090830aed278aee8ce69c364457794bbb88bbb03e81006b00be4bc6b510c442680840dba173285a6892390fc0e1
submod384
x = 0
y = 674164320892436602185463554259772330523318644917196799124775376826365089811795356717911695454297026796021441433007
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 3328245234329230791232326271476131826033564175021811086207282759297666560679042507724775933674718637241872831126780
addmod384
x = 3893411983021273361548712794071936069035315653025900738812194779529594524138700215361504061934197885634769613183556 y = 3328245234329230791232326271476131826033564175021811086207282759297666560679042507724775933674718637241872831126780 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 3219247662128836759363249239812163738511997008108703939687419402703229434326904858643592366479900858838748171750549
addmod384
x = 3893411983021273361548712794071936069035315653025900738812194779529594524138700215361504061934197885634769613183556 y = 674164320892436602185463554259772330523318644917196799124775376826365089811795356717911695454297026796021441433007 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 565166748692042570316386522595804243001751478004089652604912020231927963459657707636728128259479248392896782056776
submod384
x = 3463181006650193977929523922336778864981987778655927075313810834598521108326073555127824099651309851812721790533857
y = 565166748692042570316386522595804243001751478004089652604912020231927963459657707636728128259479248392896782056776
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 2898014257958151407613137399740974621980236300651837422708898814366593144866415847491095971391830603419825008477081
debug_printMemHex mem_pos: 48 284736
29366951d266201e3461e4c8be6f97735790d8176b661ab62e24ca23a18989ad0b933264a916e4da9b1e8e3ceb7ddf13
debug_memHex done
debug_printMemHex mem_pos: 48 285024
cb924706e14b145fbc9584ba5db6885374d7b904caf183b2442b6d3564f168d839559721e4ca94e3952da8f1662e730b
debug_memHex done
mulmodmont384
x = 13df7deb3c8e1e9bdae416a96432930bad8989a123ca242eb61a666b17d8905773976fbec8e461341e2066d251693629
y = 0b732e66f1a82d95e394cae421975539d868f164356d2b44b283f1ca04b9d7745388b65dba8495bc5f144be1064792cb
mod = 1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab
inv= 0a76e6a609d104f1f4df1f341c341746000000000000000016ef2ef0c8e30b48286adb92d9d113e889f3fffcfffcfffd
result = 12e153ee18cb5b35f8a43d53c2ffc2308dc016fe8a9a5c60571520384e1a15e30bb01b9820aca261b3ca6f68d6518d52
mulmodmont384
x = 09a8f50faffbd2a1580eecba7eabd6909535fcdd21eb15a5991c906b0691fe5974e1051f8d0c9e55799d3d5740e860fc
y = 0d78d19521e9c28c96d0e64a6d564393358e0cc8c91ada159b5cfcd3f27ae61365a2c7bf5f943b53bc843f4046138766
mod = 1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab
inv= 0a76e6a609d104f1f4df1f341c341746000000000000000016ef2ef0c8e30b48286adb92d9d113e889f3fffcfffcfffd
result = 0caafbc256079a49e6793ec9fc86e24aa52a946539e437a59f0df748e0014400b4b62b3fa09d626dd2ac7df9076d42e3
addmod384
x = 3058736972235640529533103722507434501020773602562318431447921003993936620068951491122530849946345555876903826044457 y = 1486808436591163426849341367614732873162725387127648126239211815771517987000921776237692395491689705584408385839356 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 543135853605136562964655264386263217626616169750958672355074683641422956579035402917535616309019597423417939324026
addmod384
x = 1762305024754427821521412394349113771229801957896726914796279266942214121401617347987386766006634997592057916658379 y = 2073522568843752054121105051504719023869993201188022939579781595221853708426679782779377848342444436277069159303014 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 3835827593598179875642517445853832795099795159084749854376060862164067829828297130766764614349079433869127075961393
mulmodmont384
x = 03876110b30a0aa2e7d75bad9f92bcc4de483af952302714e806243527b9988cc9cc74dfa49cff89ddbea4299251ec7a
y = 18ebfffc1391f0227a65b12e8eed98cd0df6fe2cfe88055a4de0ee9df734bd87b92b7e1d1a18d1101b988b214c5b1a31
mod = 1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab
inv= 0a76e6a609d104f1f4df1f341c341746000000000000000016ef2ef0c8e30b48286adb92d9d113e889f3fffcfffcfffd
result = 1631d6bfcfb36f4df49827815ad7272ec52a52caa71211dd3ddf50a01c3817a2466414e2a7beb83154c4682ee86fae4a
submod384
x = 0
y = 1949768880684463696153345169350327704005183326040975323505647161734858709221452349324009790424107007309395891405539
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 2052640674537203697264444656385576452551699493898032561826410974389172941269385515118677838704908656728498381154248
addmod384
x = 2905926726785340881894347826219049059846513853912246984396911976605939638312231471745396164421735092476864409734482 y = 2052640674537203697264444656385576452551699493898032561826410974389172941269385515118677838704908656728498381154248 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 956157846100877185741002656868721355841330527871271660891264814871080929090779122421386373997628085167468518328943
addmod384
x = 2905926726785340881894347826219049059846513853912246984396911976605939638312231471745396164421735092476864409734482 y = 1949768880684463696153345169350327704005183326040975323505647161734858709221452349324009790424107007309395891405539 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 853286052248137184629903169833472607294814360014214422570501002216766697042845956626718325716826435748366028580234
submod384
x = 3416074373449774331156716841902857688802220948594692146217844538614085432652497210956056114603832207129350759231050
y = 853286052248137184629903169833472607294814360014214422570501002216766697042845956626718325716826435748366028580234
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 2562788321201637146526813672069385081507406588580477723647343536397318735609651254329337788887005771380984730650816
debug_printMemHex mem_pos: 32 10
0000fffffffffe5bfeff02a4bd5305d8a10908d83933487d9d2953a7ed730000
debug_memHex done
addmod384
x = 3067050210951702858398642133496977242185750826243290245492840529444020638858203517135573967192516304146133450226049 y = 3110346665207510209915230105882308178555193983955688817283267876851544690117796049224682197083801162278362202567315 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2174987320937545674896082413643381264184061990259971177444050270171533678485161701917568535147301802386601380233577
addmod384
x = 3047559411311691012765764921307592737336676645890145315156643329088579681225153230670476928492059465422234711535827 y = 3729805123615652671070745720700910533647062959537057704780949508063494337416950080818687780514436282573628036552804 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2774954979705676290418720816272599114426856785488195134605534701028042368151265447046477079877480083957968475528844
addmod384
x = 0 y = 3877356969863987353794562149287555372245128184081984819176980654932078018714585622628801360668115377436091491730063 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 3877356969863987353794562149287555372245128184081984819176980654932078018714585622628801360668115377436091491730063
addmod384
x = 0 y = 2274346744902139624113205032501988534101847783574990653573075652244855258963803608743322098865093787314668613925370 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2274346744902139624113205032501988534101847783574990653573075652244855258963803608743322098865093787314668613925370
addmod384
x = 3067050210951702858398642133496977242185750826243290245492840529444020638858203517135573967192516304146133450226049 y = 3058736972235640529533103722507434501020773602562318431447921003993936620068951491122530849946345555876903826044457 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2123377627965675994513956030268507586649641608866600791608703397313925608436317143815417188009846195985143003710719
addmod384
x = 3047559411311691012765764921307592737336676645890145315156643329088579681225153230670476928492059465422234711535827 y = 1486808436591163426849341367614732873162725387127648126239211815771517987000921776237692395491689705584408385839356 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 531958292681187046197316463186421453942519213078785556063797008736066017735237142465481694854733506968748824815396
addmod384
x = 0 y = 1762305024754427821521412394349113771229801957896726914796279266942214121401617347987386766006634997592057916658379 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 1762305024754427821521412394349113771229801957896726914796279266942214121401617347987386766006634997592057916658379
addmod384
x = 0 y = 2073522568843752054121105051504719023869993201188022939579781595221853708426679782779377848342444436277069159303014 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2073522568843752054121105051504719023869993201188022939579781595221853708426679782779377848342444436277069159303014
addmod384
x = 3110346665207510209915230105882308178555193983955688817283267876851544690117796049224682197083801162278362202567315 y = 3058736972235640529533103722507434501020773602562318431447921003993936620068951491122530849946345555876903826044457 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2166674082221483346030544002653838523019084766578999363399130744721449659695909675904525417901131054117371756051985
addmod384
x = 3729805123615652671070745720700910533647062959537057704780949508063494337416950080818687780514436282573628036552804 y = 1486808436591163426849341367614732873162725387127648126239211815771517987000921776237692395491689705584408385839356 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 1214204004985148704502297262579739250252905526725697945688103187710980673927033992613692546877110324120142149832373
addmod384
x = 3877356969863987353794562149287555372245128184081984819176980654932078018714585622628801360668115377436091491730063 y = 1762305024754427821521412394349113771229801957896726914796279266942214121401617347987386766006634997592057916658379 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 1637252439396747781898184717900764986918047322039703848641201785750260489625365106173500497545734710990255135828655
addmod384
x = 2274346744902139624113205032501988534101847783574990653573075652244855258963803608743322098865093787314668613925370 y = 2073522568843752054121105051504719023869993201188022939579781595221853708426679782779377848342444436277069159303014 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 345459758524224284816520258270803401414958164824005707820799111342677316899645527080012318078522559553843500668597
addmod384
x = 0 y = 3219247662128836759363249239812163738511997008108703939687419402703229434326904858643592366479900858838748171750549 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 3219247662128836759363249239812163738511997008108703939687419402703229434326904858643592366479900858838748171750549
addmod384
x = 0 y = 2898014257958151407613137399740974621980236300651837422708898814366593144866415847491095971391830603419825008477081 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2898014257958151407613137399740974621980236300651837422708898814366593144866415847491095971391830603419825008477081
addmod384
x = 0 y = 956157846100877185741002656868721355841330527871271660891264814871080929090779122421386373997628085167468518328943 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 956157846100877185741002656868721355841330527871271660891264814871080929090779122421386373997628085167468518328943
addmod384
x = 0 y = 2562788321201637146526813672069385081507406588580477723647343536397318735609651254329337788887005771380984730650816 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2562788321201637146526813672069385081507406588580477723647343536397318735609651254329337788887005771380984730650816
addmod384
x = 3219247662128836759363249239812163738511997008108703939687419402703229434326904858643592366479900858838748171750549 y = 956157846100877185741002656868721355841330527871271660891264814871080929090779122421386373997628085167468518328943 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 172995953008046551686462070944980937796444716040967715246626081450278712926846116622291111348513279968322417519705
addmod384
x = 2898014257958151407613137399740974621980236300651837422708898814366593144866415847491095971391830603419825008477081 y = 2562788321201637146526813672069385081507406588580477723647343536397318735609651254329337788887005771380984730650816 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 1458393023938121160722161246074455546930760069293307261024184214639880229985229237377746131149820710762915466568110
debug_printMemHex mem_pos: 48 240280
117efeb9a882cfb21bef88b6c59ec486883b7ad91b8d065351aa65198ef087b8e28da23e7f6750b6fed000731fc1130e
debug_memHex done
debug_printMemHex mem_pos: 48 240376
afaa7a904381fe01d540f28ef5af67b9d37f6249c2571632859708ab488e79e9a6cc0f0101e33d789fef1f74832fa30a
debug_memHex done
mulmodmont384
x = 0e13c11f7300d0feb650677f3ea28de2b887f08e1965aa5153068d1bd97a3b8886c49ec5b688ef1bb2cf82a8b9fe7e11
y = 0aa32f83741fef9f783de301010fcca6e9798e48ab089785321657c249627fd3b967aff58ef240d501fe8143907aaaaf
mod = 1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab
inv= 0a76e6a609d104f1f4df1f341c341746000000000000000016ef2ef0c8e30b48286adb92d9d113e889f3fffcfffcfffd
result = 0ec6fa8b0376f6adead6af6c4e3a164a07accecb6c11acbe46e76a6b2604f39acf6b95d612d74cbb8b7e5ee0b31ad9ef
mulmodmont384
x = 07e38b30679268d7363db570d96dd4dae7b37174107dde921cb35404c9b5b663b6865099352a1bac546f204aaa7bceb5
y = 023e9760b862cc6fbca035599201870696dc6582b3d04eedad12a9668e00f72a49a2b46b850cadb6bac3d7818f37d6b5
mod = 1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab
inv= 0a76e6a609d104f1f4df1f341c341746000000000000000016ef2ef0c8e30b48286adb92d9d113e889f3fffcfffcfffd
result = 11f2db81aa3b59807e7d95ba19ff449125a4734901afc652cbba4c0b581dd6140c21e7dbe68e150e8dbc4f9ae750d234
addmod384
x = 2166674082221483346030544002653838523019084766578999363399130744721449659695909675904525417901131054117371756051985 y = 1214204004985148704502297262579739250252905526725697945688103187710980673927033992613692546877110324120142149832373 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 3380878087206632050532841265233577773271990293304697309087233932432430333622943668518217964778241378237513905884358
addmod384
x = 1637252439396747781898184717900764986918047322039703848641201785750260489625365106173500497545734710990255135828655 y = 345459758524224284816520258270803401414958164824005707820799111342677316899645527080012318078522559553843500668597 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 1982712197920972066714704976171568388333005486863709556462000897092937806525010633253512815624257270544098636497252
mulmodmont384
x = 15f74c4fda9339d5ec8e1cf0181062bda03b620229e388e36fb9e120a32ff1ec3d4aef5eebb30ac8073ea2f3647a4cc6
y = 0ce1c6e42c82bc0f34de185a931153ad8055f3cb5ed8e672df290128d76376fe030a646113feee8bbcc258c51fb28164
mod = 1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab
inv= 0a76e6a609d104f1f4df1f341c341746000000000000000016ef2ef0c8e30b48286adb92d9d113e889f3fffcfffcfffd
result = 0152fcee280d7481e2113a568fa40ff485890dd89642f0d328e80e68ca40fe4f9ce06419d800faddcf9e1a2ea4de6ad9
submod384
x = 0
y = 2762551904438652419929196275296362434378915447119464507291519143735218675149230982587347549974615487098671751811636
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 1239857650783014973488593550439541722177967372819543378040538992388812975341606881855340079154400176939222520748151
addmod384
x = 2274428551256047841866354896590984260413043407385977637206693778691271796396020322946605475413296646056129576229359 y = 1239857650783014973488593550439541722177967372819543378040538992388812975341606881855340079154400176939222520748151 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 3514286202039062815354948447030525982591010780205521015247232771080084771737627204801945554567696822995352096977510
addmod384
x = 2274428551256047841866354896590984260413043407385977637206693778691271796396020322946605475413296646056129576229359 y = 2762551904438652419929196275296362434378915447119464507291519143735218675149230982587347549974615487098671751811636 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 1034570900473032868377761346151442538235076034566434259166154786302458821054413441091265396258896469116907055481208
submod384
x = 203808710179115805360726237750670010647769713971534950176077539949273038684162207533920014860830833930298862758617
y = 1034570900473032868377761346151442538235076034566434259166154786302458821054413441091265396258896469116907055481208
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 3171647364927750330400754717335131628969576499344108576341980889770845868120586630885342247730950028851286079837196
submod384
x = 3514286202039062815354948447030525982591010780205521015247232771080084771737627204801945554567696822995352096977510
y = 172995953008046551686462070944980937796444716040967715246626081450278712926846116622291111348513279968322417519705
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 3341290249031016263668486376085545044794566064164553300000606689629806058810781088179654443219183543027029679457805
submod384
x = 3171647364927750330400754717335131628969576499344108576341980889770845868120586630885342247730950028851286079837196
y = 1458393023938121160722161246074455546930760069293307261024184214639880229985229237377746131149820710762915466568110
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 1713254340989629169678593471260676082038816430050801315317796675130965638135357393507596116581129318088370613269086
submod384
x = 3341290249031016263668486376085545044794566064164553300000606689629806058810781088179654443219183543027029679457805
y = 1713254340989629169678593471260676082038816430050801315317796675130965638135357393507596116581129318088370613269086
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 1628035908041387093989892904824868962755749634113751984682810014498840420675423694672058326638054224938659066188719
addmod384
x = 3341290249031016263668486376085545044794566064164553300000606689629806058810781088179654443219183543027029679457805 y = 1713254340989629169678593471260676082038816430050801315317796675130965638135357393507596116581129318088370613269086 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 1052135034798978039929290021610316970276499674276346729986345228636740046455300617244562930671297197077506020167104
addmod384
x = 0 y = 1628035908041387093989892904824868962755749634113751984682810014498840420675423694672058326638054224938659066188719 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 1628035908041387093989892904824868962755749634113751984682810014498840420675423694672058326638054224938659066188719
addmod384
x = 0 y = 1052135034798978039929290021610316970276499674276346729986345228636740046455300617244562930671297197077506020167104 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 1052135034798978039929290021610316970276499674276346729986345228636740046455300617244562930671297197077506020167104
debug_printMemHex mem_pos: 48 239896
694141f9fe6f91f07f13a206f50c1b29bedddd928c8a966579ed633cc41a2a37aff06c3b27f99b35382f76d3dd94210e
debug_memHex done
debug_printMemHex mem_pos: 48 239992
8fc2328a6235e95c18abc18596f98a84839e593b9938c3e6ff7e206969e887754424c422d3bfc4dfa3a8f7bb06133119
debug_memHex done
mulmodmont384
x = 0e2194ddd3762f38359bf9273b6cf0af372a1ac43c63ed7965968a8c92ddddbe291b0cf506a2137ff0916ffef9414169
y = 19311306bbf7a8a3dfc4bfd322c424447587e86969207effe6c338993b599e83848af99685c1ab185ce935628a32c28f
mod = 1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab
inv= 0a76e6a609d104f1f4df1f341c341746000000000000000016ef2ef0c8e30b48286adb92d9d113e889f3fffcfffcfffd
result = 141b36f6c930eac48d9776190695345e3a8896dbb0ce7a87630f53f875ea89350c0a26489884a07007a38c845368a35f
mulmodmont384
x = 12077cafa6fc2ed054e92544b18a80570075001ab6c424682011629aa0ca1cc386649131d6b4140b5f31b977d3ac1e8c
y = 0ec6d7b5cff8f07d70eaf6c567f6f04ac5c5a43ede3a879778e67f339237073b02abecaad6cc7262b83e98414923f9fa
mod = 1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab
inv= 0a76e6a609d104f1f4df1f341c341746000000000000000016ef2ef0c8e30b48286adb92d9d113e889f3fffcfffcfffd
result = 070244971d328218ae9d45d189a05dca8176ce9492a4addadbbd4f6f7e8021393f976792c623c49f246a698e280beaa9
addmod384
x = 2174987320937545674896082413643381264184061990259971177444050270171533678485161701917568535147301802386601380233577 y = 2774954979705676290418720816272599114426856785488195134605534701028042368151265447046477079877480083957968475528844 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 947532745421554571897013404180076222054035955809158426717526835075544396145589284521357985895766222306675583202634
addmod384
x = 3877356969863987353794562149287555372245128184081984819176980654932078018714585622628801360668115377436091491730063 y = 2274346744902139624113205032501988534101847783574990653573075652244855258963803608743322098865093787314668613925370 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2149294159544459584489977356053639749790093147717967587417998171052901627187551366929435830404193500712865833095646
mulmodmont384
x = 0627ffa340f2776e3f6976b5a9abc42ed327cf59ffa2ff221e771a863cf7045d90d39e282c02278b95c42976ccedb54a
y = 0df6d8d25270b28705940ee2476f67b7d6d6412353d5f3d7f878e52bd6dfaf9a688ae642ab3a1d7b5b28cda3d35711de
mod = 1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab
inv= 0a76e6a609d104f1f4df1f341c341746000000000000000016ef2ef0c8e30b48286adb92d9d113e889f3fffcfffcfffd
result = 0c98acf03b90a5c910341ed5fbbd9f6c71328a93f80db1ca087327486cf2d9f005407508e165e81629b8d871b9c10147
submod384
x = 0
y = 1078762147950146323295104628041902566344890779023222324380089223678202278028473777908657301159262943241685965728425
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 2923647407271521070122685197694001590211992040915785560951968912445829372462364086534030327969752720796208306831362
addmod384
x = 3094643945737426044027754279322406480937832621735506869070347169568101141081336785523380537524473392096800831742815 y = 2923647407271521070122685197694001590211992040915785560951968912445829372462364086534030327969752720796208306831362 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2015881797787279720732649651280503914592941842712284544690257945889898863052863007614723236365210448855114866014390
addmod384
x = 3094643945737426044027754279322406480937832621735506869070347169568101141081336785523380537524473392096800831742815 y = 1078762147950146323295104628041902566344890779023222324380089223678202278028473777908657301159262943241685965728425 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 170996538465904973905069081628404890725840580819721308118378257122271768618972698989350209554720671300592524911453
submod384
x = 1938761682654362454279500472271976264736609922002023877402568945995131650491228909852063443148677955500762959249735
y = 170996538465904973905069081628404890725840580819721308118378257122271768618972698989350209554720671300592524911453
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 1767765144188457480374431390643571374010769341182302569284190688872859881872256210862713233593957284200170434338282
submod384
x = 2015881797787279720732649651280503914592941842712284544690257945889898863052863007614723236365210448855114866014390
y = 3219247662128836759363249239812163738511997008108703939687419402703229434326904858643592366479900858838748171750549
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 2799043690880110354787190237204244332637827654542588490334896679310701079216796013413818499014325254054260966823628
submod384
x = 1767765144188457480374431390643571374010769341182302569284190688872859881872256210862713233593957284200170434338282
y = 2898014257958151407613137399740974621980236300651837422708898814366593144866415847491095971391830603419825008477081
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 2872160441451973466179083816638500908587415860469473031907350010630298387496678227814304891331142344818239698420988
submod384
x = 956157846100877185741002656868721355841330527871271660891264814871080929090779122421386373997628085167468518328943
y = 2562788321201637146526813672069385081507406588580477723647343536397318735609651254329337788887005771380984730650816
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 2395779080120907432631978810535240430890806759229801822575979414597793843971965732534736214239637977824378060237914
addmod384
x = 956157846100877185741002656868721355841330527871271660891264814871080929090779122421386373997628085167468518328943 y = 2562788321201637146526813672069385081507406588580477723647343536397318735609651254329337788887005771380984730650816 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 3518946167302514332267816328938106437348737116451749384538608351268399664700430376750724162884633856548453248979759
addmod384
x = 2799043690880110354787190237204244332637827654542588490334896679310701079216796013413818499014325254054260966823628 y = 2395779080120907432631978810535240430890806759229801822575979414597793843971965732534736214239637977824378060237914 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 1192413215779350394001379222003580606971751593833382427578817957784463272697923881505867084124947567840744754501755
addmod384
x = 2872160441451973466179083816638500908587415860469473031907350010630298387496678227814304891331142344818239698420988 y = 3518946167302514332267816328938106437348737116451749384538608351268399664700430376750724162884633856548453248979759 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2388697053532820405029110319840703189379270156982214531113900225774666401706270740122341425086760537328798674840960
debug_printMemHex mem_pos: 48 240088
ff8415e2faba03c0cce68d30ae4dd96ac0cc63f2a5f79317c6780d77f3f13d750cdce3814417f8e9d6b411a0aabdcb0d
debug_memHex done
debug_printMemHex mem_pos: 48 240184
cb924706e14b145fbc9584ba5db6885374d7b904caf183b2442b6d3564f168d839559721e4ca94e3952da8f1662e730b
debug_memHex done
mulmodmont384
x = 0dcbbdaaa011b4d6e9f8174481e3dc0c753df1f3770d78c61793f7a5f263ccc06ad94dae308de6ccc003bafae21584ff
y = 0b732e66f1a82d95e394cae421975539d868f164356d2b44b283f1ca04b9d7745388b65dba8495bc5f144be1064792cb
mod = 1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab
inv= 0a76e6a609d104f1f4df1f341c341746000000000000000016ef2ef0c8e30b48286adb92d9d113e889f3fffcfffcfffd
result = 05a472496794e94067387685c6ea3969d039bf7c114aa3081d6d6d898a3ad07a51c5a497f3a2de65d746ee96ee86d04d
mulmodmont384
x = 0374c9b465e184a183ada1929228abc5deb63cdbf6975e61ce665ccaed876cee9af44ad90a4f350a43fe13dbab016724
y = 0d78d19521e9c28c96d0e64a6d564393358e0cc8c91ada159b5cfcd3f27ae61365a2c7bf5f943b53bc843f4046138766
mod = 1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab
inv= 0a76e6a609d104f1f4df1f341c341746000000000000000016ef2ef0c8e30b48286adb92d9d113e889f3fffcfffcfffd
result = 18053598d8e948735954f5b67e01ef00d0d87d828c121b522a1ca2ab671a603a80982b70d69ca2f30e8756b4d2446029
addmod384
x = 2123377627965675994513956030268507586649641608866600791608703397313925608436317143815417188009846195985143003710719 y = 531958292681187046197316463186421453942519213078785556063797008736066017735237142465481694854733506968748824815396 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2655335920646863040711272493454929040592160821945386347672500406049991626171554286280898882864579702953891828526115
addmod384
x = 1762305024754427821521412394349113771229801957896726914796279266942214121401617347987386766006634997592057916658379 y = 2073522568843752054121105051504719023869993201188022939579781595221853708426679782779377848342444436277069159303014 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 3835827593598179875642517445853832795099795159084749854376060862164067829828297130766764614349079433869127075961393
mulmodmont384
x = 1140875f05f339786da5b8d7140c87d253f42ecf6da4d727e5fa5470dfeb39af05cd98873add1bd70401ced68d16ec23
y = 18ebfffc1391f0227a65b12e8eed98cd0df6fe2cfe88055a4de0ee9df734bd87b92b7e1d1a18d1101b988b214c5b1a31
mod = 1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab
inv= 0a76e6a609d104f1f4df1f341c341746000000000000000016ef2ef0c8e30b48286adb92d9d113e889f3fffcfffcfffd
result = 033aed34d5f84c0c54f6ade9d028c877ee693171d24ff22645a099d984ebd8ca1c5ade62d50dcd12877bb2a5e3c07c5b
submod384
x = 0
y = 3697070090395192196478784899205229826695890574675155555124286521778254110899751812651590498746563307953992616927273
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 305339464826475196939004926530674329860992245263852330207771614345777539591086051791097130382452356083901655632514
addmod384
x = 868440052586482891336693991697771224695426170484906590016489374128020094013729190651425540750314554062600415924301 y = 305339464826475196939004926530674329860992245263852330207771614345777539591086051791097130382452356083901655632514 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 1173779517412958088275698918228445554556418415748758920224260988473797633604815242442522671132766910146502071556815
addmod384
x = 868440052586482891336693991697771224695426170484906590016489374128020094013729190651425540750314554062600415924301 y = 3697070090395192196478784899205229826695890574675155555124286521778254110899751812651590498746563307953992616927273 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 563100587760007694397689065167096894834433925221054259808717759782242554422643138860328410367862197978698760291787
submod384
x = 497170509690660912396720915644353032150909050748345246062475303474860449909201029226027933225136984246343016938587
y = 563100587760007694397689065167096894834433925221054259808717759782242554422643138860328410367862197978698760291787
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 3936479477152320611416821676213160293873357945466298871585815679816649545977395754808387151986290450305538529206587
submod384
x = 1173779517412958088275698918228445554556418415748758920224260988473797633604815242442522671132766910146502071556815
y = 956157846100877185741002656868721355841330527871271660891264814871080929090779122421386373997628085167468518328943
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 217621671312080902534696261359724198715087887877487259332996173602716704514036120021136297135138824979033553227872
submod384
x = 3936479477152320611416821676213160293873357945466298871585815679816649545977395754808387151986290450305538529206587
y = 2562788321201637146526813672069385081507406588580477723647343536397318735609651254329337788887005771380984730650816
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 1373691155950683464890008004143775212365951356885821147938472143419330810367744500479049363099284678924553798555771
addmod384
x = 217621671312080902534696261359724198715087887877487259332996173602716704514036120021136297135138824979033553227872 y = 3219247662128836759363249239812163738511997008108703939687419402703229434326904858643592366479900858838748171750549 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 3436869333440917661897945501171887937227084895986191199020415576305946138840940978664728663615039683817781724978421
addmod384
x = 1373691155950683464890008004143775212365951356885821147938472143419330810367744500479049363099284678924553798555771 y = 2898014257958151407613137399740974621980236300651837422708898814366593144866415847491095971391830603419825008477081 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 269295858687167479085355578148845677789304837598650685315312821661892304743322483527457705362099618306484534473065
addmod384
x = 3067050210951702858398642133496977242185750826243290245492840529444020638858203517135573967192516304146133450226049 y = 0 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 3067050210951702858398642133496977242185750826243290245492840529444020638858203517135573967192516304146133450226049
addmod384
x = 3047559411311691012765764921307592737336676645890145315156643329088579681225153230670476928492059465422234711535827 y = 0 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 3047559411311691012765764921307592737336676645890145315156643329088579681225153230670476928492059465422234711535827
addmod384
x = 3110346665207510209915230105882308178555193983955688817283267876851544690117796049224682197083801162278362202567315 y = 3877356969863987353794562149287555372245128184081984819176980654932078018714585622628801360668115377436091491730063 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2985294079849830170292002429433959394243439348098665751128190395659591058341543807410795928622900875676559421737591
addmod384
x = 3729805123615652671070745720700910533647062959537057704780949508063494337416950080818687780514436282573628036552804 y = 2274346744902139624113205032501988534101847783574990653573075652244855258963803608743322098865093787314668613925370 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2001742313296124901766160927466994911192027923173040473021967024184317945889915825119322250250514405850402377918387
addmod384
x = 3058736972235640529533103722507434501020773602562318431447921003993936620068951491122530849946345555876903826044457 y = 1762305024754427821521412394349113771229801957896726914796279266942214121401617347987386766006634997592057916658379 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 818632441768400957636726291120644115693692740520037460912142134812119090979730974667229986823964889431067470143049
addmod384
x = 1486808436591163426849341367614732873162725387127648126239211815771517987000921776237692395491689705584408385839356 y = 2073522568843752054121105051504719023869993201188022939579781595221853708426679782779377848342444436277069159303014 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 3560331005434915480970446419119451897032718588315671065818993410993371695427601559017070243834134141861477545142370
submod384
x = 1762305024754427821521412394349113771229801957896726914796279266942214121401617347987386766006634997592057916658379
y = 2073522568843752054121105051504719023869993201188022939579781595221853708426679782779377848342444436277069159303014
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 3691192011132343160818097168580298903916691576647711860548555807844392063465775429650696546793206225352883029915152
addmod384
x = 1762305024754427821521412394349113771229801957896726914796279266942214121401617347987386766006634997592057916658379 y = 2073522568843752054121105051504719023869993201188022939579781595221853708426679782779377848342444436277069159303014 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 3835827593598179875642517445853832795099795159084749854376060862164067829828297130766764614349079433869127075961393
addmod384
x = 3067050210951702858398642133496977242185750826243290245492840529444020638858203517135573967192516304146133450226049 y = 3691192011132343160818097168580298903916691576647711860548555807844392063465775429650696546793206225352883029915152 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2755832666862378625798949476341371989545559582951994220709338201164381051833141082343582884856706865461122207581414
addmod384
x = 3047559411311691012765764921307592737336676645890145315156643329088579681225153230670476928492059465422234711535827 y = 3835827593598179875642517445853832795099795159084749854376060862164067829828297130766764614349079433869127075961393 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2880977449688203494990492541425521375879588985035887284200646055128615860562612496994553913712123235253467514937433
addmod384
x = 3110346665207510209915230105882308178555193983955688817283267876851544690117796049224682197083801162278362202567315 y = 0 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 3110346665207510209915230105882308178555193983955688817283267876851544690117796049224682197083801162278362202567315
addmod384
x = 3729805123615652671070745720700910533647062959537057704780949508063494337416950080818687780514436282573628036552804 y = 0 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 3729805123615652671070745720700910533647062959537057704780949508063494337416950080818687780514436282573628036552804
addmod384
x = 3058736972235640529533103722507434501020773602562318431447921003993936620068951491122530849946345555876903826044457 y = 3877356969863987353794562149287555372245128184081984819176980654932078018714585622628801360668115377436091491730063 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2933684386877960489909876046059085716709018966705295365292843522801982988292699249308644581485445269275101045214733
addmod384
x = 1486808436591163426849341367614732873162725387127648126239211815771517987000921776237692395491689705584408385839356 y = 2274346744902139624113205032501988534101847783574990653573075652244855258963803608743322098865093787314668613925370 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 3761155181493303050962546400116721407264573170702638779812287468016373245964725384981014494356783492899076999764726
submod384
x = 3436869333440917661897945501171887937227084895986191199020415576305946138840940978664728663615039683817781724978421
y = 269295858687167479085355578148845677789304837598650685315312821661892304743322483527457705362099618306484534473065
mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
res= 3167573474753750182812589923023042259437780058387540513705102754644053834097618495137270958252940065511297190505356
addmod384
x = 3436869333440917661897945501171887937227084895986191199020415576305946138840940978664728663615039683817781724978421 y = 269295858687167479085355578148845677789304837598650685315312821661892304743322483527457705362099618306484534473065 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 3706165192128085140983301079320733615016389733584841884335728397967838443584263462192186368977139302124266259451486
addmod384
x = 3167573474753750182812589923023042259437780058387540513705102754644053834097618495137270958252940065511297190505356 y = 1628035908041387093989892904824868962755749634113751984682810014498840420675423694672058326638054224938659066188719 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 793199827573469883384693002112007065636646872562284613055854633018862604282204325366641655761978626412061984134288
addmod384
x = 3706165192128085140983301079320733615016389733584841884335728397967838443584263462192186368977139302124266259451486 y = 1052135034798978039929290021610316970276499674276346729986345228636740046455300617244562930671297197077506020167104 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 755890671705395787494801275195146428736006587922180728990015490480546839548726214994061670519420835163878007058803
addmod384
x = 1628035908041387093989892904824868962755749634113751984682810014498840420675423694672058326638054224938659066188719 y = 1192413215779350394001379222003580606971751593833382427578817957784463272697923881505867084124947567840744754501755 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2820449123820737487991272126828449569727501227947134412261627972283303693373347576177925410763001792779403820690474
addmod384
x = 1052135034798978039929290021610316970276499674276346729986345228636740046455300617244562930671297197077506020167104 y = 2388697053532820405029110319840703189379270156982214531113900225774666401706270740122341425086760537328798674840960 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 3440832088331798444958400341451020159655769831258561261100245454411406448161571357366904355758057734406304695008064
addmod384
x = 1192413215779350394001379222003580606971751593833382427578817957784463272697923881505867084124947567840744754501755 y = 3436869333440917661897945501171887937227084895986191199020415576305946138840940978664728663615039683817781724978421 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 626872993998600662481534897439564387641953669880565741267175397966377761048026995727908118610971587620632206920389
addmod384
x = 2388697053532820405029110319840703189379270156982214531113900225774666401706270740122341425086760537328798674840960 y = 269295858687167479085355578148845677789304837598650685315312821661892304743322483527457705362099618306484534473065 mod = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787 res= 2657992912219987884114465897989548867168574994580865216429213047436558706449593223649799130448860155635283209314025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment