n6-L7-f3703-r3-t3701-ver3.3b.txt p=30007058077606175969738726879215335687652973673527772339189846659993261520977305443249727129033655442781947099390432678041956756393387567649824452290377442756762094549153529954658412864190569018704809844400255028353037895819356056415992348173759589764128109728790312578243770527192495829985008624797501734052746253861353769659221422988820319283852747226331950762498760920922111108469032988267493999974523027421173815941157451570451856870690341862939346449593807225479130815839867074408885325617876089085614065770534146357390097219578699895045897472603357709201512216566353244416949864239722868587063282915410636081661062810020734399433934455260784238814867365973816831428358759670132113803258076193347144396159254793599277067516395237428551917044849281383045500005487805619470244628584735459612458460242980319938340628209667410164141598664412693869490339794584879551022646070710667753932904068411425338186160770331686811084893355932416207602856172373516277828885844001975295392223360342722177555070677418294276728185858695759034101328751253572389350528362427302506819830164983999926337046566673449040253720779607658454386902458209560648997811528084380629839986102885496464654535345820867207434261733947508579175668775898816419555753241877976516219158955079166722420616112625561120058955048825300289903086563305839872572867927032378922902064567123616850148699572037942342450668269656434713112097126076763793750205302477257799929347794521360380689356006502749884920699823438299732513128839174589912789953149068669888105047981875131727440102011754821069953855094288050746750646316489486646700128468801852350712784366162818114728503815463220197316214191421859708373082349824701921138232720590906674499503456979353731997571598408866146342438989984481213642874669007136884244268953568490767907014199469837326990979750665241680953450836910538646606302172250196292164886200158921126539171662934543147856159472634516335322138188651635997415868077555401157441895690537733964583681615210633482806076965191436503125401338542316910054981588851544521378256353048482277589470133444924684876204372185372244558496613328535289934205886780485539304782742891456832185741784216357319059333854735224441827133989846185810463857415208516731433511020524322219867177687614796107712565550228049412311329484479072130038996112587430630391651117110115670176878467008862710415481416483015408745401224056309438310464950374331268770786237660544478895683014179447770674043536570058978909551301274810539126624595163211450737444407089697765624348526090811497847619442665029887835134541403428808617223827875334775795657601542812537400521596948168630664986665681064324768361853601951091309262452852397725676058166108767823046610426374246964808576756213741542329505624840528787802065350341384748863181252784921892708621199538258727597643355421791516585709836572048626347441626527927101735155934505391599548072996213749838890773110365717427771580716710939935246833368741111039707321704261793923036224530741621052093916682210793602618665370045281388385311854249192590957248072095266204956376433327980672307787485447541275348562614205726174144403179186577621307729713524117 g=2 contribution table:{0, 1, 0} *** a(t,u0,r): 97 1 *** a(t,u0+1l^(t-1),r): 114 0 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Sat 2 Mar 2024 02:09:36 end =Sat 2 Mar 2024 02:12:43 elapsed(sec)=187.772658