n74-L7-f11645-r5-t11644-ver3.3b.txt
p=2172389431989077214133163048883005080542597603746277964451889876721787600413592471333083405385969388530722852873787092625154807539384744430312381726405303802179214416853406373370169323843822536620476305701775801890889755843067564446745175198466071738599313768201616233633396781091789974560718127836559504732470573226328720907472665925118222739976045932977931678851274535633715172089349473316782006962848230688903049852673174670435614507335484204691612751256852975862911346313841603442143285675091926221676721787179470377874996115858870934479087039276359424134416596856170305428359105688731095123882867697593386576666786951797452216037074182305296315507373011179760471056605106039989675066102734355755901318279315559884587590443418877166511378204292597357154950800640953451559498972364951083974040753037400492146860855139129627853679458470563551297854948883115781866123526650896908098228567305090654239078713190758920385046513044150478938369678364511242010993847230968710578955145391117637154231272766373909870696859098911731336298805559658539708831484555060242630905510194231949839413934603523938499610094030053879552561440128563887126958252730932247534098262332848750094395448278720412220004723230818281499401561172724798585436712615184429232337760482913604864248677721810126696579165799944845445448305351954677029800756429322170703447514281293651668779085442606823531816560474156331958994929216254362164507795895488399428315181186722068683167513030812213434488745939304565892157771577808772294121240883090053173835331459380540650039002821600811549487529001093711272454095677850952612049493402594450769526589183498528290662441140608642451483597863017875295739955719873147696273202078543904603757577190612019884620517637803907574992082701454720580697221775227298190071085079866820315101718721843079643630562051575432679266615842325675382070081315583392874113271763856459313705543864739155151359188773512182276543907756917960079540342989778661393803846548886293773743439238578853134636708637904229626284362222109529426069177179640251661439480745748592263413622468226733102909045434025763672186744995755053491673953896235264650525305019314431783537494093381708512572894083594106140053806214744802923390190812487864817559772017581320774583685484595598873088586637823545537285575055847329587643649162861723961965405447235925349831835742935839937717176859826844658604013143641254704577858642698085358871936571452466883223213909483887207290616947819618328132723741009061682405316818109794500459258663791709533124785225358461938341096822204842007917243847231512676813478829304026575000089313185323835603606034455070417985089069872285917601840394782179786630987903824328355615691750382855061460388186941467769636427787877063219829872480250254075894061013512546850261226122843698681345478216773669623026815907446954913427821233601662436214259149494854959448087984521493478751147860715697338303907830834897358068951868424486039545942354876286503002531293472293308850445218914554538057915078121123022537347209729406943784646713670126097879834159377981541024689286686863844176540619095097493165182279451559946002171021712562827000019885338161803336840253663518205275786270689346709197623255152599502360582868050948903721461394976931035654248829361883542840699779422641826268136304871643923240816134913817867373864837786747302595069862948916232942837536218603135052535705115190505605678352504414397105701990013876307194834523466179689901743823082413732262464012981370361615581126052227277044627213748144910940868565387451378585832062899707411849838086406235651816674075050421827660176380980122798781753738458173880086112105651089675985779226794856466263518995943957708311186995913113957734379071021276144947500431525877770643321534935652854607307929068657440109165323803096537934970699131134366189137804627859668975829684555367561072198325950911033412519295040222653500077890570800079620994812831083864717160324662359418264898965800178362160719312083461041607049126121623459943970193278914766202577858101332468504670210307279117171211706352104101062851040899667303565854104407358518192679148493911192547561204831623191202397993701261504887946476861132281933534682781191899922903634972694317550655860248775350383366854770399488619490558320919850572711697667092029560968048698272769527301547651214567120489985208331834144582350364552578859689059546341533407939143505726806160666006301541823050842441311778475474443376745453982551083944634289977074572009866912022773016540492662518646022037124132234325715233033657214982424484437883448008431488863938542869432763659752320601835081876610394184409075364848223287324301376739950764915190388623253403560991628978288576312065729278100559863418503738119359296154014684159846301625934500598809057226674331380890373955622270145949745524597713694604297245647756124008639105033070066167016030517679233715963106830292743800968185220300450309927791582920829576706824608183596154850698003913956668182831248395521887224403565034142284793118411704239934576667459982455589266525425345578719879973119729548851549815782206472314563439043346941833271594629762548833155421470731690958599147166636124991709236145597664807297255763565105938435854659074798132389376743939796228830453589360266895265792998281232409181850313860435824026717743865496732685142062459411994548225293556907307693404984964270765760624427845328211890411373750188795092891573150853878573025787095828775837976576679414438545672797065029105292807589942097555028270606908135107472946331274845917742299313936811189608247189099002773431730258814993056651258987066401101901408517314848573568442319328131626622242180368962003948318756083544752437861188293850119871263868325831720199248811278483650928396695007729353073181826259251950897417573567586163964485213673892968771838577255902657986744734595378819645360474772979995679674611020348500265747470179211574966926894368865641776802945299737292542393400143606182307762319181369613391330510435538000738844995353097207664009636053938838251452775409718774284150479424402513156808276556746622577054225359462540001035674344636391053927195619736990143845952923695965067473718085111505738956928974340160641339992230610883278503709339176565833312301450898489666889831555398392504608777766329737258182727401447063270427006602643874664246706529896778574266462246093685466348593638284767526031920830864285184665107872737480190397262069598867759262032112911580759770023212416012770273409239829034543731646012530697684245348236863433088120013264189130726640298242345838552629405343252485716345604011484714302398226660193280560845108955883226193705961480708324257944354355493468432088618268029140357009973382055267185571086078518941566839968512967207147750610074466999612916492494469038265068498760353139677877892636592759704085146220513034925207673541033447851789890736124954336753521502230366355725797855097322119366963627527705042792660929486380258928909197014033991296951756981943692316407253950402845334984140122849182581888413721393835821482879683822500795652207864416622040568888288746542049685966960198877198861109328331657186818896949734089839000087444972479587630998647655317444518068137370512192084027139894601518112123337265587988387962809041703126606726751214853597130091034744737879872177358382642349827075605104978035871812334982949966760776587142447495797631826016383006536495520714978107455877080583026197258023168417461401092016543774923421121422054929564611080686870995519153287080848594592036024447421682952007333896327140256067466252742454764768591641814982880492926279439009815982987912151166373108315570687157900182716307023577795221202588059777505404708880733599978519768270415654199691537152423560504044371902786699030904960778989370112802040795874060571215298873485100258186665201767410942926179769160268832620109588146751295003591048579920817518861452869406644139157124339831632685674663701916473155895850856773585202581032370935108591905469992599530392995126400675546119664470963023720947396868420161951412257650235429592437539441137782551962478200051697585491188104829642963548017708350249438250691239513434255589130931909788707239410507855683525633056481591124370184983341308339009989295621133760873259781994377327432382393719693341593556916654760862885505482493925175492885041907052047766759545498067831234470108630946296886193156713303929619397106851594522090527260504216653542644536091077160568791163132249033646724717740327812488353833439830170993103073751463914195564745551026349526859749952948973710041956097973506876068433163729931444386017926329513081417688426304228868799427784828982482894356003880023838622592149109056663979747465067477290894528970099259341924789199272367217798493451006215682467623340207755981745441847005299692641092773841335678847618832011285346413141340903071552593645371035166894701846621502267117567161887863776537960655141079889030239807092960600277356782572206902628817238444276141611485066168974323639779441702519253672933062384555948227758701939324031409751562866846945151560741219835147902327421089883590165096848395562075260269713627317060833060634903082828718044308844449510637787714720382003771305309446601650912947216195423561417646730987403817541312827356073979866272276210226447762989976057893048671667301470509864758886973086468964979988861677301974625922006068890653014412839896351618020794121332225366889975441765072333046048721030127292293108164907066841978572124848019616794171596095865979511904231620457133937986814893136207642104770067335502596530891442032101240249181302283439671695936777546078630465381058602671203699067909792003787500938771904815696303147612083973460485869774832415409651269614708968406570396506386691901325973430745215547535562641272592261785475963668014255187453744095369251910521417625411529046778169906831023154586384197047123409021543969546555058245566724901321185009999032063247238084184761773583134868664446578895314711437
g=2
contribution table:{0, 1, 4, 1, 0}
*** a(t,u0,r):
613
3
*** a(t,u0+1l^(t-1),r):
635
0
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 28 Feb 2025 16:36:22
end  =Fri 28 Feb 2025 18:10:45
elapsed(sec)=5662.403238