n37-L5-f8159-r3-t8157-ver3.3b.txt p=58276987972757162063404736884712505766999548051185170004240445888364880408302144218478379565584256701170872739616213880118798016257503633542181258640385130442072791082011914854715907206159196936995212115771542822078183263773699880621911225476669638376643113846646145299539014985832410531100341203607234881235878496580451085709594284407530760233247847615530812936475963749511967789893641842878614320414841717464161002254775117908437469944463412247013168850645441276220797908681116149839329192018826883211543603341266206910497065700429911925218586513254994999982453618222991643816177619326276514030976427688941757696256216196459953350976030880766352642209275417603845232670733452954024196893531311801665803299775193241791384803573193334252699971168562088728880636056046542631482342704391578056029100477117557803349967312009652253044464400057934077064654680858079618756494931387144669404031469592560011332234668561233614850019721440310962871429448278586737955626002539383046666929001463643911355934677964061213006537241876672543334304436083160032718127279808912351418840457969096639279049744646270445379533540743190064819962156034383076773518993563353938161541486243589033228987476877789296657029261044156705475329145447428722159925601951091706090405667398907953487415582531373473510689847275952630731367824486757323465813984577316948545982377126535676661954813580118867459415092169800803807092191504744257511002198809169621783401570660275992271032302344405631598861491748624287317669559406771801496045847682429985075290833719042440358398803945232576210737738330986019392017927031830685437829794966243236406698961409854065676756216557560174157824003197929459408957094344233051564088858368474735974609214176555497696825440801816091977654126066377626216405859082426055335782902764926282864928448720278117461701961410287626321485755294405304654249140149191847534849502064384151218830868849296474383650064789256580390859439801528719368943282888299969994849971057561062930514166910199533259967009718096686344036945004205533485011698624500291494997159718410691161362173395464370141093802321308170177099137942662610107631669834482058691289884700111402301597692490409359699879183143902576364214754017996069599886946120407165715605011347000148859802013741772650913135059006611582393471982912472434415327259532358140284004506575184363943793314389787122037879327415569965220212597845031463885069681177562992719986855279597457631173566110337893851814606034902948153798057216643172063841249623579856415351446843658537562969436583684684352069283229793515721628783474761948283416419338545424415107207100022264461845097259919021694164003185000478686955921984506641465866873746934523449460584088456094010141646613307287821565429721934951849942464019166049438623457604667401218577254584741439792219899478109061385056028871345559674709097534019951041713419335466220961681628174594246385708181814094694529778859447246184115009769875554733010875608873943552765295195538739084483282705354984569894848374961738694293064788210643461259978850531239427598738571568123124110157805052932247254293646327650163877234692838701802922194917821135137879810722424586266416522358793302170687635697132597124409800530833382680705341127177282100306087968942282097656761831928032275336092485125555006034670287944443133375230464705728354739972394034805231153698000825690163699815339760868033278467180055210663623516121460135874912296329504323407451058152741393526181086685741478234888050893528423694779866385065194392941424601198923552592606007376423941315239422765553989246714662694076206677392380495782887609278939929743818591557661619351370704406158682122641623062634233018857020586008019218033817223568393979824752623247386446431622980721637433856362284168469684230152247510302672943277098680962059687838680108514124944819375414995466787899693290269455580519769489506667321302106075982095936113827400564646115201525468432290003239562218783775487089488453261881431493953250681052202727025005056057087240538074094088438707877670953990659136022413289263296408555606780679519187197462595802550421100967866833796616922449179672099475416728349791764661636791906074065166740167892701856242661709597279761253349888520849634534575418354396370204927605697108029317115969684865694099304627435072392376424564945120707515006798580593243509277842866019248721779733172876537600623113478646617410932624855354082911227338642720424318892753937652066451033967446169555236111200593460642250464134267321060313981300648559624993488686278981251200870682313252478517285800033060863855987595891524429158803420074355321442652783891891366957813217558762179124110474065620674897675377865850709580370911468479112022777299398914312898235715575992723164941519648001865067586476828298969577131371565578834840723096482873191327966007118310284991228614758040633135617038002486628760876784038784070787321595363207733007416634462209525821279045274715044380758097614697811907608739325271961106623333707013383266353082922956009018331428115330662766783237519051386210677390859417014728029365511833433941145025786334976890561817610614212807259269850252162096143746771893869588479116409814945378979253559631383400050021753150929724281742963700137579788121435269102360520848939780609996725310722089517057778549357542644782435732016024288566885469418408134580220040450764593312042516384638567687321558709217780079507396974391146788104786992931453604320603192091376379584911336977413058445686409848117942946235283662517904025666535489040652687875736349833870288353384055815748989794209113435822883141385485334357841703669627339562504310508915918856172447914278594479559905789755460087550315272468851943928596563436058606281752485550507657892962661352886932775163586484268307685852050781251 g=6 contribution table:{0, 1, 0} *** a(t,u0,r): 313 1 *** a(t,u0+1l^(t-1),r): 315 0 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Tue 2 Apr 2024 23:01:02 end =Tue 2 Apr 2024 23:48:26 elapsed(sec)=2844.194797