n51-L5-f19166-r23-t19164-ver3.3b.txt
p=2935643239766617547459583661120722399442555552548400190561585677857523798084956259029442437028833163928119537642602405838803444539501229937490767015383170592758147785091408359069018395716840844318056470524392296539744181200694137608705046267626112758177902413736798698712267827900592839598496059690231521725434110191825064782951814064809757120456741130743774395268690824470542193112049437663199878910831199572973685749579324189189148538174795145909522485433957294960750529627930689914469614274129125783717447281334636459390063320040165682599149186589878503449686304936433417661807069123824090118189674827011209776495104304766759189057115734664934163032402844276707751736636121495265120815047250421289998851806248235585509298210359257325200335479832416517309449608264307238078917687189359582229746002165697810673237981737127733067900377095407861342369035319341546297455515025029780987179586916097522377735542367529678515498339898777565549614592115239842443666197557022554707728283393403452913514115587613843995578900513394853464526285966795858904958126581102812714421573139916384561090644944746999143217574252386805465004219738796973650857557113449274867711665552252474477784850275563318565946911840676325461961621506704036322028412296905052849905211960519170396312769721216323975099119945522269304539096257151521630466027316309242300719298537561581236677246236507182367620439542924512810793094729448724075407442584504451419383816014958281966107184796990075820855615016288048868069453825957239838625262643961836705794361888953079676517556036251028218739931678139385681878300912970161919700017190613717707674565705282610890367232214401045015791771454205804536776004713553970999473290981868239067500725130200483276585432803306067788834709606249437047424635595094785527477544887762365780981207170590028223451395548744434136197310972770931106453308015769201401418757940567251886127094539178415305539152139192624882482788129434534144507236174565125565967417556751411136021011018114625225471024637589163676678954117167183473820525993819769171401967761830534953850762955882751787312185043555026441538117540208813634831106587978378805644255904104722335622736615156215916534791241210080545612137068431885157983011111520256906445103981902775078694396251336938874256232104513225438104118479204856000435890920431347260031850938884659701959344600176572845892952043571116513785219851859499307089520126108280132452676455038366575657465302910596487744290167450287873208817465642733109675553004922383724911610569714347498842934883838177602964603579806086118349300268548868591759898785418994520039810622233354498027414990516602886396144949170853801653145584886777657740997067412350079717961654140284950648711749439498958766725302132480042117383829205443848647597063470577722563879553850198940505810804880642996712898169447330129430587750144694641383066904146873688083619094817720500575500049794737322461061565566169130820666587149978036161019605876665527387566118201422195733806334105555923173899510847493796822474924828282071702829968449079929320157556490616967752575117785121498656302841801112013971002297405879798724820105115052101890036526150735601236125799991398557789864763676078519836608213467252992803340996648292974170683270766739120836364535695251003096841940621913548447569122849647060146788874593010351767804736680005457215812846880781269458831831025417091691441477574626921857288433855179934795648494138979773746126274902409845844575024694598588952838662518562032397400216342343931443737836881315545233602983317720724847583685826936538525751465591647893489399051057394822832633251327374405800899247729845031651905257692268872943453214048202266406611632655030294654197927918648029190773394229054672472040160734638946230925069240152172663434912500303161771549172262515218660393685710618646686491440551915366745462977983849263220542351965390773796376387164938630084130552819242109699124271128371052747513971941348163361033685605569028147517323097334376417619121632711690047806283048561361201373340443194256614018357743511098163867815111214380737972744806148176217864017504047229477066109550452630769275597668391149590168003031768219388200010739605562558972478590340954005733655591363488316749756211816035255249882235891911137885210533806854935558332001067243976171678542105969369715536829697629774312741541642829067699147448604316035059270583581345010248584977284348876597020421109356508341048487439734435989863436931506489470818796423874195398145935516254712861905818068696691047755050769465568337404733790441442455479726719328796429588237687545698072460316926324421012043520466507397553689766076657199941802952033545620636230907357730115887171310787365418544416500602707017072615754726154701818392623620333837105986482751946482383128631723909438684987435203607059481102991098108604704539815022745305525486585320854477525325488865521244154963630054112595672149896110326295492999042600636711865651561959662168966754130966034236668013690323223464152316494881573961255029472353503673411283480725226507849378513017725108382689799482196510414552997199315029876400751027706650425287458755457374037939438952917133478563388145682130522374642358837601927261160921040704920350968466190494001795213716284172340149125460240019601596075688991671349865047030280576741246221080555743120999121477182238617225994949458830034314184768767747106063891393262356225371339656163805389292066135626675912857062927412263596271692657680686774138530175902209659228837803361831030955902779306050309859326787937343860057568822548514312886968606763360809436863391688163259850333710604682588292444867709531766301756690736848569202067016773487013837353289045124335977756082653105500402882136075121621807062936978044898526728768376985809019536833745190811287008431518411960881190739216928291771934637429782519111914537726517953688029108999525570574817277708888419176787279044898380982850208543862390873920302962264873486975254570112061886411605181712422213751991142651514977591425046298748680418388757291063725181161932474710255713630071944887771508655134948482510779769329484105222257749967197172492428295039429026702532305209493774699651880065955712553223469248897910789608917631813736508802206625116714139878955888677484334273604200997228320406417658846330851227866996521492691354477856698362923870527964343091894434772639104257190366885870459882696653889680367620009433535735450921600071257006556885525354844443784785296933334324580076843488347444330079558761040644515336776217337816202283013326257408289082148123299062560222121991197727092862881486756200289453293828574427024124084217956856773231572768345366283613142834052990914082618384602174989787274472475617561285121724494473803944986716970422468060509342090053530000282629488902336723455614041291854477849580500292940038218552816175776138746499562717977225544276816492474562204840755284195087098713308342729036507205178368352479238480693396784752587327183577640416872967643760519072639762995948838406754807970862182564468207584884975919744686435547151463184951647696488696353760820259773958450690320949530512673096867908624610299319692676654695636871055393634728425935303194864913620599302642802382093525659539988891088521625278363675317051766429687290241290945407628219765173570451840054184027640487033857104989026467245835497119236863077127953280796716910749493448434492062542952994219977381021273425553982407144818406034542350285907871668518560764580451144344715686069707695317808303768759659257159309192688817909045195693463631703952941882427140871436791060703132107164081639425808765827028739756774622168043388629228475456230090189030220242437096291749494201648003495365332330221702351738680879391475586632929004060480684389282340808921767918133053153035688202810793174485398847178518004566088495835515796159190400699871812685027807958788474310498429295053363669619602010655221329856620847249554867183031653689110248275357813837840998744637942822898103303856754059212574337431748417558610674120583253405949706824604537624408604751021569679152731714094165153461531638125833749084723547986626703249380080291184757808003877544214759837954808696986407383745639170347900149061985426874420479694472413249534235553864764950012321018722378790475659960867317889286049414444034253007283107672655757092270358798691113578360959174158469217653571092700716327106471467695957300735259327710973186048111594348031781143294341072667155309297953719052711514635591550243204477821924826858204148902392596433980738373846835287204885847384888854365038383498607529755569553357741110059123434080537453015780844661721886671798387586083351523939957387473583905807088707009842880531626850039748015163398000105860319048144636089606416410767328468938289040260987950216666968443276753329969937741253829420091337539648695014644141240706161669023703165644857542900641381038648015902075121768739569614585482607380880046559070104947410115241380585701209700351055706271303805012534276799488498598128128498887302330599757247950619203738094496199493772859631282651862400824783314205027592715246618116473602210986984838245289975831973263053079561446050628550650470378760551972372058714449296263699159728900526546759705869308388500655335740483922646640068996180681180923303477403334049287176379952225517205717573708366732598813773631679850297924382647138499683090414132833008826543383989792797196691903797130860334746222916476693766497685842012806901805776863198671463170284082812410204276334152657649210003448810650677036210593662225861166632775361474312191293437314547360830494587894606528399815387060883515436020643479827756175028859774346803641282449309447660389294013144793197073650502992767712040808353277807903236435399932991837768253496462416310511156365508040072043906145183859409345063823868673599150141904975906657241656994377833439878002908892852092791225186725990759102971442007595790820769459887778038463190874413987531512477526109329136692059814419482581324820693499007330893225190382743872770585296335978331509279518363798937284297934257065186859214915481112662798136984282382989856496886281225623836172628914571813477675996427768634199531855886294502189770279986890574466415280781348231414703997408079857273699988403586088845042675843514389151198474627139619827767970331661973391128336942118196138190895431995741158460210812027142333466782294679161647915019502963273398995491778811107843637183044474197894171709315218755200645647601695231003815030781968985164817632111920003043418544155668957304108116013310424480477296123537698156178505150006288761069138837292598183014623903412521852929481811384438831132797239487299755137513307756325010883905603459537041395557319466787069061771442454097251944663753486751021106310582318730867150268195216510793157387600378346708631980562519310846672331976637896395313238874462301535372834380275129669046984637768669590759565348233614974308691288171958118599641856362941239808277238619230215321404079572304091875082976556742675867473596474541965027669170310069297209573494500091577753737763691412542621829662898087119745003830792590281150857901107158277052673180622126710653623266964647205864419378028158167025691331381859072742646739430727751239685504310187288571085543299365069040060591442366694609459744845092967384109772372830719196471089474006775253270619111261226149724732301433068015797468965152925965427656981439540207200599455506162968165832657991801466178085454739534030772915445423525723689480795207071730340067076228471292926457617472727666642487251816260979070960558543389226337649429788030962999415544255001151347790468141612881875970658934480281320473055607713364876440347479749544556756612094369005965625621699226287501209249657066336461932018396655043191895395544708414264496770393557735392773143505302583216869305521967385955146138847608335830574692621493656155854878439399799293248007229510148787289473903420541907325906879324066529930634067353715027364386293296373419461159039305044030459478744039293611305708141220676032134698174461808567558961171955878418053739936214525886936825325044591990731999103290203426026503202529199574161967078367814558196976442615853839855671045775054293602841484129536135670010396357893680843818322949260813040457212706124310896863813637307310797506797636397688250004167272355392851680051446389943997755277302150853425237490183954634873571258658105980194820417719945373343063555120944131834051712203896668664879455814757114274495059322775077329589966697211193761866944212932813955257401414460881646430167620519136926371504888089413474319655352719749990505856985142929114981404714395715920945568649753173679770483660319347131789538675959219674971822587689127558321967649894768470924844056324730920123946001478106836620974031782170051606043323156751851773437942078332899296538391993752484418748119309808639373509517742380788317982849499522671743090190374000543912186756421810994183074059304237190203877497332985908165536156176801124600957117152504972217524273065634158903588969352106748048247324172624950342511493605939557411546128981260909917010780636740320755467000706745574937051838709453829780974816793835298659339574275227759323374759578264339264409134628709947110248599676445883928210554314662608115928968298072372595320342929526920181546214596376796437955196092337119061050633774078064324505506104329179008671839841033105616594427518197258570545527534304624806086753227211902737904925860404578723204379011344624645090377757355126109283314511511155432985612441417746718008707773606147384271025657653808593751
g=11
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):
52738
22
*** a(t,u0+1l^(t-1),r):
54000
19
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 19 May 2024 13:31:14
end  =Sun 19 May 2024 21:57:38
elapsed(sec)=30384.459454