n56-L5-f25162-r23-t25160-ver3.3b.txt
p=3407745285007540751244264745164053455762000055269306142606586089079949978607035434114506576989131054723442225892667634276669481277389827653631699012311204230868354910968490817645722118095978843527120870913618285385607926300095564849645634202977429386835707705850055073482642102143971486084292040422834692247076627447489128715174592676547461937446715373650209569607801309559416681086705611716711024493164936803780036780436646594825505803473335353900776250721842071690262021912654132353820769910357748260395338577544294666755777985253270896229047019127547530457710286805981664813449243329223174682488320911851315118256730180859799047060147142475732486736828802821135662015499369417637625782260216242992183172592701295834233676279673494840115556336896909631395025552296223663146926692223143597409586069877983145222477337888236682818100539760417528748701048531615230335238625205917387435320812882384313468053380619586887084969012729027596716857479477915953541846723867588873087645378726674922273101329387963164291147613658881647032170001333651860954487375356424951586481879135738971110016842307096011517779325158884984442886318821409696666520323355246645041404682186260390488555710069963652273060205437418085891884754387484314935952862984088626044653583443793892282728587409942997949543536137353438681459727984443302129654542872570657808732939573854363941525050729674930248543700021482498007811336573944684266765003389708219224468697520644038864961925858132925359067374204876839176983901709196625118052415362982713328996142225326184219324067437716834087813871949013946418991599802588259593264185230711293213007076556654694104528235807191035818683939698172736428791226139000917053326628735967390359547178533206265701752906897618410316280423188803403410424666477241534947439472237032895273579387827075080806051423852050046274118659261883068867089721064158515261954462858411062971770075833159341737562871598584312746540154084932506620690958701715117549908390563520592791361177780622579931059199281813794034479272165386714393917602104705636915095530266132671243402943301917903620348433336541968974527686828654982032741199367392642063020839648084832436501668922133152111763058487669775530741401191771672098398888975583610860384746799575335442652494607212098107225962372385797938958871634858184286874861101550237026969177723900493855959387723985255659560537205751063303216315641681155762731347363050568052745368436584106785615185686832426555529606353444029739445557858595800229547193182796848798276936623582393700988327701763716928075447410626446931207544505649663388385144577266887316246636545249575731744608627523793304521857170499626904775097688444355357375282170190596725906061551473529538071788189754585633456103050711204094448669179001303552162619654517704531639610524910226888050318338712815782179561601596777234282860638425253208791992330826143587519354704840999176263604332170534443144942839039740601774245584672959976618084248371401060292073897791745363379187358139412949111552535218906616796953571645311191923689018713967706553884720702596162518004122227550537521638041695229510963904763267139743576717142065999084697678543809364575928479313836257633489600345632385497266153652622255539053820076541855205945713251196896754997703889697208298101631382659069171034497048639596679503016181843138934073601285985976734469508498984980928722315369127338276773284610265352053303804745954620705417290641471699224636330200526915306478936730261637921539556564629130650905314288558120154586333952332520553829381814781450541763933908291256719233037330406609316780277260885590438814973737683158693587200199651486762530199462895205274955076971859188879436899733623219592240565491639121753421702464728447063597623309592226884667132353634190357904709904168608208809720241774774773295221341858992940625612334235188465549450448129835840663857709057622390978867811842251338711711874335979542056027627041582662019182007171897502407851951782839854385568042752064639836948553762511697644615175985247664578576742090246638751555051507583928378700422865921710092563275118720735718388126755867115027776398224840444001078672001726204408909062440885809987238371517953907350801016826668608747417622795789057872063774349463378759359071430215042863511265763022303531843177937491184180780857230492790776688055511985649396462752808982598058367891197139983427284857781806283286317427178708402228935094348768409144912496209988098815214370019952234908720188620831315128710631534053798422651228322276926857755766534067325431831166658053474723749862868843463321023136438607885995917493578691552931864821949445319254710410684351383572626227776993234522556126580030412731416715646001753605477250311739642279633369854666983103108167106162137929936982287403276536558444809078985408610151191711812529851755905833521504800011822175842842937574375234281386614446489122211564294602334043419198973113160713354195190623344228236489267574429338603254443297287130704022296352775646741373250758815867923746153337842728256343607238124141844336829741626278172599693549689785342075319346326921421807808725965193553040104998663111820487418732554865621498615004959300581307144169972355525426199886706999609063974644330616899145022377272838066580684450428522466097214180117571242380391419338665106349468149325369934871238586737668500984581564179459388724483540715888656994036911618325215982091103584891117797099545731252727358086086662694637441322548588137249261564861173838499491537350682950894195632141159288916968787646163967704722958891036349812871480173347085256220565871798235844100106993072495188752759690834758110816381854101801360484195812640779807769513485824578664253947494312254901598003745205539683981385983586108598238994794416981340437619176390718600296923189942292497575383127159814706332690144072590610188464935199574900459288585512855568649920834686150367761251185685656194725133097146954032717815917286940980398129879615733197552894134784870590594393032784413364552890518304378996478208282838627105299873288881881963711588299496863437437520586443176639609067298780826314394326598650702030451676451060007318075530623933278704673948254940607296575713659364648239827810440592628638827437380340743920502741690146182743638813571085218160779503001230386051143180606230398401083785106922334193961343346534260272569060980572552051064222307016098179730030632839008714092150635103116086491430384593767805174576708731997125053699957638554379227453253777245601621893837497768843344167235358672665799884678341013647236662898504989736994005297842376874236928734772105830796435475505496378193651523502696720287280227975851138601943656534798375641253550036667375671488053912756162127814562483920267047747044806111302084813497492600997031559075218793123943774712019744249756539635377260519359057485837751793435629155152859154139069526750330295967971934919997063978753617015925738434069781863780799119591315790101016395156888477485193144322955103252836931637145288676804320689286373413169430408545227774367982074545525161199090608231368205017169581230436128519939171870518693222320903866171049685903714085418814194922175566656860615163968916874771602302573524676275304012018385150203238185461316878043482473629373742454172880701440303761269788029293581163105727815398331620512391294025952434730077744117710318096999380920451972607223466312295758397442870927070784211895086764624671926638448080918700493127725643506289034722797351597942241112694217512014310203754794574977921865615804718929687569667445045716034087257849833717419654968395630386802890131289040752089305296249371662131195185487830461982737973144885421030437220196328610877790422778028589060069735682956909337908560326269661045335369450768298454371263649745348628841830988218601549858836556624975157840325928675360826774404623739409195007982601067891104499686783256841367360542545180554524036940084524900198362416327433127093069269821369943017530311615974137711058200075421702060841314195693228127320624630566128319612915806905923730402969732904434079458132126411792982547571431063493576531595668367597064497042387375460332908673628493796472122132353741501230355971224384353467398138879538908897818166000721378766673378665319178682414518558226904382533925803285908274318963452130176420227239078141557920449935206346967775735018047017932032789499013067857039750124839547449643517031649127955699444421954696098677653356390298294108956749927713988202777040909474516154335573447301786082015198178066922206225432462841084470924849170155536191633965622675962949791654858385183246375946132427008637057826061709819040301747366364602836678310652269602174947035682550983122250725223939099120081724342317530468103961394178214738296423573674713357242048213492044790805402900080256192884665719064911597809370295428293025793823039374545042681311594262552594408702449244343316505309684542759140732687608590582037043651980422174953486541694737936985608596102520641055757509866344990559220630416826811579626645859892296571022642063840352556209350972071316201562699058025996693545288603620566850989217245004707586017835101226289967747171187553833994984758762543537239635128837091307779304011809350068112945088159108646000135613463161969656965442238348260823885816751288177620783191290558706322987555777344390821145531562617211530642750934596399221104919675252213959206861172741318946676974332370732167718836372784564082511241981918972575591556948094287117115290140021979958333202538976431347140042192676308435565843796020540820957635459328653425977917874592977223424769695954278623239720871260884785294548704538941001878841738675888235158615327530509173420166228004616072848585901235543715107062813720604368290236048354945483183696778097222825160565193339106103039565737059009335289983012947016507855634249498715203961703830075136542549182522933207765210846245937134165087189383545360797482814746555947370231312972959149513980520784555366822300663898594963952399259986958363708515219785251383424366319470822794370033432936148780219585881373766424056244230846064730473827733283427166575439538661749352977523342455342352629906955409941134110710708219747652573177709586603781631044289982055024214349044993720980236634371361436784659403008518365537614059151058315878670987597823140003036407967425353273890162124123078140460168386774906154502906555432317170278765404358225934750421450922402735551744523243248728365230184394402234827633964629689668916749239426339208432216408744096502827131364254031038999960504941957576326722219798296425456599235923986517958178234318427728642176098589497893105826946875248659290219518075649676082351860052698709393071070338501450480418842423260654714370178635337332371823983421833579771351373574151237829108550597905237231035281573694809226887177980893750270599116302689228615945379805776811613343620552630333271145315319317251598986880756121259339432516458716554454554262565275408701692938383942908806859482344168257855075193243002617270045740250531947068933551565856732327277503322471646899989840707338352469213777327228949789102115788065562928940343382168566796176210808948531022599961699218316051992599963071918022215569152522585273941289904865780291714655578872757055982619855399930786037599952091600898177875553362692224052978696931372381264360417243536534981131815520784525457574279368018476519129649366935568545185621237943125839342929745003547410767805743949323805495578050839925216232522642573355148304141519718114216311910522387102821415371106757637325056145314313402869257294089364921689532372140168528211433922050848123006169008204990398079418178122348378161800776722776202749083967050273278702802139852025287194363742776756197510516710841109712795763047465686851297381869527710687645962600295395035030828777428558757830217518035154124587472368784718462006640302212952656106206835530015591530046147487004900543522129217382499336958047101230721181152160923882443015570259071258707744140912668975783270183495764215417710251716700518459142492553753086899247483425414129212098005436940194036871186782177848136657565688397269863866353437152752430971973522892905232350438429645852119605775818349061404358877615864204150703783518076977019178454658073871861104538389931455169571429930940503990986458583772690339036733751632321329931674326177910763974201857733612815973057203601920691570460203553921331317899242097649784145464213782683581460477270682137454001467906205575331612246626291760515101927154140275257990255572944707313505626452981468264531825813554977459444153085959832852544248653645742321718506257524209470759954047473724324569140859477624203047683991805930112214165413570998048689148422002561735260991856427920161090429174587906102535958466563014533641170142359410570600931829615711188910864115506682205661693645378777993825558698428666081740260075062215009942016344811706890269112742371706935154532968750588520439474087762558620233929498046720233930417893111967235588416770469623725671341103280950931631434136422059453100243056199689520907981451108594477074844596948739168632158310082557677570054309163014442291787150919046399147307004316265693156267771276765806592563486674515441520343410137961916105931514907277990841875240520628011993741501364118957025957139627034056879325030513786161885132162565655733533345931380445942409072322406039788073009582647276125944252222044544106079299426320872599562945386782015659399056672090443486142076750689460479387467700594026756710564024937456627354917316891778606713680554739523233975537209995830914108327343410767757275919385757957714596228890513494860461690231609255902900156050726560821229739773335442646621878017430344651562472834210562191855911948369910960641514897066604890992103703029624278843287519512599182414448974496355539239166821254817833772194033618244552251365704326760360920697849351092612844789982550305527949000860015404649701987281584143782872332533939728940205477565847671053092297034368762720851882473422995763647061790622343734198390157289284456827263556623451260908272416098252095324366984533767221811559756566193173615590846201079215333177900820113697592172616490515941700679474900772284584941028641387140526971213932089742393449030157405074539534192789431292701207597815270842130475441981696840093148248506325649066216967969400958336611006975312404324704804867155144918540620098662629818412131314994277892279849763301059969538279801223687054183262153621099270515991144301784739566703080305643104668112916105023965338078590037211910291836051258793464264918994802502778597969321170995059760946734680006708511653375597261302303778713628396151796775285394957508816976103748925297597561130190546464826507841391713312567077749256195762140554945859577584285206594861205830696805582861485615747865091486382557830367054754686547335952310994375939324103137194855348201371357493555299041255853841651580217956269285673894611135565859794114602760638318250990908750411665362394134554756192454646139752500009722855571162987072479808554692269568157331148905505803128200970789874995845763866535145473162936273707114655005692601244387364534347235235093645064160015834064611650649935146928339339445987825207284127205521586868020434014064965335089569396861210421045133918716467555627107999951151205571844077084485309509371906232389196240813910522864557732988456047036286784599763421222421771932621304075708657153278218439251436548810931894187182781234514903646065429295973392387527483296651192926896854105552252209355669959970254313921990342487383186570438345345061423162064910949136890550305675268861991485446971572775957243845819011960977499851222937323044721466000619207497920358664088650685370389806038041157524253765888733220257340304936599619571302193505267165805190465137979735732309619849901438628598358516583292743493254776639275443646333026561925219121455682344177168898190119668032270139010736517613119833479078549919441384320724484530649209358927408115662637084635434484070769174818861284730774332606730405650284377399602477672683073399833091776853561329384248122812104886941420763734154605769338747358479959586134040344691078227113052214869800976400883863374031005235872152746122603699068915535262244632714040938487211973662031612945268853845717492312994831219945032952578873529949891683228180272175514441647296097430008547548281244519796186246003973774443515323981016621968585307897175070473389521650033355229179169219337279758693137294984546873629637754976829518985136964939392517136406123117686538134003931140800837252902981673751425469909225188528075115142289074619059923874311509449796575239712684181115509762829891648723200159745806728079658908703704685183364499441661152156670667150513178275764281490006275386610295066068219855337349829978935813751252452536573828109866402712075035265100374934828019577474200026719335568864203487721119476532147623755363814940654140781682093514050504604265717010403495359706783143284253243372455981783925644078089715524914491479368269638800120565705184512784038271678860273497198994429519379842400703797415206612736432794131801039406813050696307758176536091541064507850099430973704560904328410063677331889632663765040943554119496334183485790329662123639777063727787265267056660266288786517923373378572885134953955535365060349554264751319682923918849704030268594247026410357258853779743933608057268131379139914043029500834053069771537866357798537177693422348176013843324769251585976973981797528665929229775668951114619188832439185447856462972055820991614644712690501851831326466460793169122666528526222866680229770550992767409316666739159175981113234363435348982753807409058442756048770098635131239488947986928888044591804093758237510268091478911350072571577110552044879365847366610296552700468873810420760214886723438176829859003191813826560974121093750001
g=3
contribution table:{0, 1, 13, 21, 27, 41, 45, 55, 58, 76, 83, 104, 83, 76, 58, 55, 45, 41, 27, 21, 13, 1, 0}
*** a(t,u0,r):
56543
9
*** a(t,u0+1l^(t-1),r):
56451
9
*** a(t,u0+2l^(t-1),r):
58932
6
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 16 Jun 2024 23:26:20
end  =Tue 18 Jun 2024 05:25:13
elapsed(sec)=107933.305396