n81-L7-f7822-r5-t7821-ver3.3b.txt
p=3684546196690901821374061183512712803149500733535294762857837491585109664397881253210043531523666737475835690824243554154278715003336543535818186708993996321749543660776663157399383406815396475355043478186585126071985241501058803798308141235650102279222742241852116537130061063377815399692273038854654137687881403443746717952331184252696477063059875503609218977665453516904965524825860723508396687144010436934886542453501530841804006402585170125877366446301752340045877804437824486273231897410511092269257394765531614255607883245838155732093473750953278773308812861854718566499125992217190781806932688994417819616226169411494306121444774933762067925359462938823172274894584749269126683455665057605053638483176922401364309849963191379329627954957457996794384012281934083777177672938110615087734321322016958340715957774241332515308803004389434773937267916263350416132394601380299905146514810028039697418602754873911998824329819102695005059188788555510260734359965424337570803520793491657802967316432541744772685865861235713460041910133175532998222694148206565103700721492382956707151071855073789444841272036799369111149202776582152280744002874829469045029841647030376340743349012926545348268453058788620128735340576137403370565475412077433495185065520861757361185269923450648869051229670295266657912939760286642261111635217985046080408875558667955771513927470677681354028147295970581451915092972566019561217158526966289384215727675174179079986558286731731947913787128494573591747547859890318947601213418535620405740322265678415866666672463249725314787588630364883136236879072911208949176772623015226503090768962899187049590133782390567533905751134632310379623191271882051104224307063920612615230263185779980198582074686172707672289627365231799396523981501336909426399427609464666350113749989089796304701954262464032295031046720054546986981967117393296147957339224106377920860600152166781156512181961445720323296066577167296059012405431794349888513103631792049211511746511820098488647759570891811385213311997201735260330425274421021480749906909766328279455706304400357014438169876563008966668287596747931172235419341174621537100717535493530701245110075961704227934960260131642329001759822800773025018390778300650441289802942825212523413846139772110781089232345896983717057309751076711562326290327394015221934768924746391877625808655493868344749377331106625910397101608704985775780239750132533871327208935870772966498714836421131620601419934345724861408798370935676425824777425980710899864876483616811669857437119740316984287788429333768066759781510164632385132939500803322748961099404884430641309339227631674455693703638306212106931101322217636915195433248412449543606102019142531612540804808060891114292118838986052437971193543723762165629953358504551768450119852845000217103947662559905940794333369053776174448833304087349140786359926293812516617357456132102753682769212787442959908007686164994729280070217459095577227721198039340092773460674024544260438546284717287879830207534375536946944140920699527421633494901566088021360195658870268657132161665332233266561198255831348416296404949389301155166907512320386469452710589040233550097453611486394867265537375862967975778362128865353473051236210375954606681878310970137995309414028536632811465549428994269857053817879177779116545465500780284526943806320572620852857272534142244613624527110607972656581128179350921572686654629323142286381369878224970561041535583675149067762388109746832436131047586307224006121021950191518624129666421321648870241825064504495865856138978284738529385280511227845041843670816719549727236544217038678204848097614091931446713679204231523513847689197893180038828695516203862915331005680222427729471620061209912055187621726748269978062476523283242817390670449743057945028376040015620018982555543892415106367506619423306930985785333796114016926403227278444936425625261439462919876644599696234329726519117290433485770064015380730887057538250806383338243109091285454758541277588136520695676448068771806936611461702601209341065318295034091228461958495400076712400383442192265089118350144664849436289556103024325421136248893953958500723632384609828808148360203265284556093922937762201568900907889669908247082920091792186485086847331672744795344730085893573076792501389515328566293828588126137394192116176254092907602783552907547723799154821539128438860235743486985511517375248655480895348153733115497459986915800272198894093180748514752417155296366894165135813062065231359571020311862270775320485055910683924985605531828653504064988598577737313860439441640078361822429449576644665369099323107406010808079019039351267417901664859115377134151484929961921278299935242367091920784571094677345836931437371807314752954885446801027706728753742040355633439783336805078229663304538145713908312258535975313101472723868861485049248308003689778959140113279433721289290460692941583273381632542422211354042136346486428414574403573617673193031382496243692335524337754904981457005586516128426154365955992038093434083844828987513979848740055098400198743294195316983236040824464246425258270109053870902297230422611657731263618561683595549389946229519136474035582190390021556424424948742872856284209813762611256953846147415677758595904901833149562032881641819191326476260172466073912745604282073083958127285956929224662377716881092381516212345255053391903758905085235791456615404802094541531171484204005220351285143691131259898946988805268091859225228510534082601906852122080958137522157826338174875703276242637113276734637492035074639753475398273566559616239539217672722255774711360048542162894334476492556427432928002118167402908469171810709495209057280655497285457649169774335570579379806164130837141500017556993269380654249963822338614774630704059198746226658001063061746155245633625291720642315797824298369280170082244980239770369500575833339117133602288225945054401756487772417823890693331174465494534966082521884501551913642119736213303255322811301576894778309023387802447077932476829437694219837738735156759670144925860539686450085805972638052909724563890611970246266481017224993456375362054213125328624014089612415198465519363213027242712655487073573491162668074618899511236175617301114258331003395598694323399133962161022901728115231140881361217132844839343159587486511935355087839552466746023461496458193172872314984874013214619948645527373067356566474430351987967104207288972837962005128177329256810857850403945923790593029426891683819168963150310305499158373051947619195859578943436046957761992528383530063324794720423541169446552414120447854285769122204091507519385267212720386226187925888846566387131340005051825525947998959803444755456452265903939
g=7
contribution table:{0, 1, 4, 1, 0}
*** a(t,u0,r):
702
2
*** a(t,u0+1l^(t-1),r):
669
4
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Sun 2 Mar 2025 03:56:16
end  =Sun 2 Mar 2025 04:34:45
elapsed(sec)=2309.409023