n15-L7-f10359-r5-t10357-ver3.3b.txt
p=70423525457796129381313538493514480205357477928453579786315187367315031372122060765934447070782583308985432280331063752340158088685874138080974791692398284439473971023097450248360788148463248162529639799572874423414830842772073467679891709522397806923105251116339883998886560068509983423345727556908906637048397538095008231098958897834012725171064060668731607073816458026778752383409505904133043730880190154228872557375429676609886219176600196075256837641153358075925133847986742366881256340905991402686331963399887032723711443416452463902768575845012652910622370252478040622045650469080785056587586907306043708626090600564270263131218413862087789147523593258266974942285369430070684967540280258584884601291295245109065401383829595959767607844466525380722118320361602009640695121908105091885707707287253031861121109615413440586812820057613700613842414252383187278669146787091763996610744231009295344750329302388813555778825935964153558635691853237247697102497713959310037672855968027020606366970224487862195939193612124604902619443029318477549414264916785184914775468967800856169564877972512988264613726629133363272757823984256137059184701552204040114957255913293523866432575031398132184904559765010986160057603436080204111400825973189503050177520214240589636008539323123594927288241166333139708001618723550356792685954384785630396497841241371576184387807904437864702362505169629858859494547728211013151324761546536990685985906204722918955517881584561261232775651635295213764517000209081765419182445939834515711959946646507787921045332378635430967265773192301979711854762265089252887186939447576471797550503283501001147030015467165735433178320013626691080006578334501721000340406012278594117010321431252115161172980256619426419324022737646855518285511219366638742853584318093435854789197534417264202105885999240806886239291872547147565476082307351616380367934289382598492190314518376908147200227410512677206415291147619831917173736000369996239646938293306071685896447668090830004613608579287733767998014867885610941561673471426660456928646313518640444396673748091296540239074620002927651122404414240656945236483449542123397134231665307778925067465649882483968913520696269377275228938035912220354079301639809345153794383710518362337315787964203593915774947989172501433198251581066529058072411515781277677800775391763031231309366778871807520053072275207989064665104843194134827961314371813619785534076662455749957901545941387649816605870445613466166541799241551278518834848783723217177448974317868450386225294693026301863720095995357894611952571582314996486089681911992082665930860442447365982329402486410130123092604656960233667866212377598891170705133863497369196265591331736336842386284124835867021760244695820948230742358355749109071394240226910723103454969914334259616920363427224258055664652687634678080186473416277195567260759629110979867116298036202632135736385874315790309081516559966388000487437322769278289514324803191841914779557464343787248983457598796392881694334022357410635368474991600804068988500676078049587917557742770063338185560293758975272793812529972131874937257086798610673294647990645773040646189264213346319282079845167130688245999538434641870526793571950898347354621665216059109595902293910082653978597865522561254954910881383401380625493720566202020239745944090461960895683228602968099492529538155414623636375479575370415189908715021467376292354083049307360355798728279165228171587364340035789851927946254181281413832539169034688217821827594588514934989934107518481254984461284996449579519060599251342511974320070670019272849764246624355663742493348635145110879084594158923434279303337289892992911326487185246070546958478328545441338131531530451118056705909649458479717633378261425041586005906455828218841332638321980440756323042055563080830023247091024202430589371108472243637909082037953917061884841697499698531604545487053921984090294854764427497128168499813054661721785764499613187523770513950540458972725377543903911523317934850323131453859309173534253782190040332016745167967656882586233082865603460710283219001949082000418107576788523957218706743290875710641362423016906836856397071836435055248118429033364969811781716280990186844330050105487984241787670014054427187971937735160442111248269224834643495735483874066007369568361680703533219583836576571178146278403190650059208093310004408971296623541912618211073084371894068438390941928817460159752219410790188283084693662083880924188285479989645736585778573130734338732261243587247286311102550030646655494927201441298752708435457255628327288803140737643330486368276424045922744072251117215239583011647908073505733846041559409344294060692783996675166131495394398686610041211605041647752209567474003678804092989622804321952625667902797744585392092678339617526961316297425202810643442104249151942106136898682888664526701481381854147981301941772036071317643639544080631169504593052234918187755612545966271931183047763783554064053999706175707735350931892190495565124035351442945337251918393874790455403038873594630063418155830425127046920575420839779641994787952421641342360788222242125555681491348676418983032099853067247494058242244761525370336377255983962593450107233005620091777079576394698283577496714036389721978022598804527184287813328640981494884645833656970912593012918551196046043740227214378630053335232714803701281235560704261538572237827972655454028907509322342088067300972234625000752547647713925417395387725141521826231766595667604948118972832064027394001896447382884867994541619830626765725533451761941694124452051756883294286966631983476412292663637809204429414396137926578637199499109680663868039236331350187000399156995043704879437376541877769060610170160884745089176634459498956080231055657129354543922372978471405063875510283227637851420759758958802783445439313610127004509778418173703655745335346967244744965720895838454662268026486420932761826835545361587964379889930805694831359327496935429970958074837740266812197087925967389497216627299517112560331979019606967345585003693355365278216394284699383089366425484641696953575617372292784841893386436323254862993482495695623305518698169243983903788766315553671542038103507891188983144397940267293717595554842059927231580122986172332770428741185239173675369487393192375886870587472835684626107762585814671270753730555893365057559983107941680825171342016257343771379294028897259779552530242801580882246830963980242153008405004360499645839726379406007345623932867192563003614240843402149603187139820116816905843092499932228587386190418153667758809836013939693650720828600297005213928680731733347615380823897057149381984130875806678614999134913631571903292816559796548025983460357591101573398909854596511001493053213756206062404861527871721274938479954443969766715926236137693891763864488436653491772273003038392936185857087065913806083342744105717145234203377387227598422422859424200412706391578886528061862485913560601151427482441620157399666520910396274822417419880114014396892179080523206511296550403214638897646509220435220364520845828597032224708480467051304410845327932921701664179164891907404458013167761461749932726299054145242439197153529363768493538346456829504244048285860519250043964560047640248014848576106089627445675030194691702274637232748888860243284937317533074224289449012934681828213635515716153003126557325009854151590171894587447303560445896053740468161743504285151987107847760767561367670292892644582391249616330571430053298387850781966223878659411959016854892873869300259566704595478976557158714074730128225961049071605994139665216216010545139671060668776853074973648897782872900551652523343739346865868853006480175739583863374076079861028954933399692035219210462970908737123265150184356058574703799859011451103740443590446627880075705366580542493562839449097723307495061784465672547643794484669312097395244029232059539096257240039991442151096639593735646340690227484345518489125842863438110422790290220983239580534390458524328397642068189383072597881864707942999984515719240972420546881101938134657005144088738452072308062270158287348353024338746053192704377392109417735991663652493645023015206436763359286606257491163134428783800068457723769907584756134117825263278454878594211006812572084584018904643801409918942876192429710878058875763223203769114547603360920881356963204663957754690916298851280768089483177127231119833554612806420159981471974097828770402562356219352972940348988400926374504209722218070360077087602193473954149749575206275490007338772391461400421480846243521264438630801013915915153733610916782591182991399013951722528844922165120919368094645550146839102293616665645927901819994152922030947764986439140047311631303033211948474631739144836194147074949116350186373202309839453872498654988557271739993162208643236896505460793707934730494654014210837018611373740264354291
g=3
contribution table:{0, 1, 4, 1, 0}
*** a(t,u0,r):
892
2
*** a(t,u0+1l^(t-1),r):
875
0
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Tue 9 Apr 2024 07:28:21
end  =Tue 9 Apr 2024 09:25:53
elapsed(sec)=7051.833858