n50-L7-f8099-r17-t8098-ver3.3b.txt
p=2812069664747409567553635907111735987145812279745991884298421102014725596240410004155065317530780808939423051519655077418422544722088365629071656921097972417634410539774231068740190454627603389610005521396660625723794557544134799244793424753553727191169553670438296429105173315083580480597481083562501167292488028124656679869659999349895303396800079538057673944653379473123782439218919508264857019125196637904999881081258375882417557742099384571673809640804029901240685468094235819240056404730005518407711554434339613722414929982819540454864349951720034591832764968459408378052439285878412098216643640173694202093787757738564284773800597087390192531893943813410771400334898964793071908293049580897585462043111564738393116187126008904984123799368765036466576340013523693934042982025694578215320299577889875854742620232630369418889505775052658921585377584694048491413441815409876152351665042458192613647188514229924680966762669715841153391682917380560755568662681844645060952983413672108761394144051362574212181884577316583467572275164451314647632591678570728211852639530928805624983025100133997626566617237977613618875261837354999664650279880165974202561938905279752242427943413617409357376158194221514758665277145329436202521027519865269752128863424356467574233420992312913877127962728026564168954174131652158074058993393099599534883592079397941282407437753286039812383405513934653561934862529715674263773924282663494547452530327616505820878439663907266013691641496450307310450359441258747432428869611518683918213175359385593524620466245863055563177443575377494997250023366056982099377313950258018405298032787411725089076943955138133938735767395312616006808356119555889524705288150806959411794615226971344474222908650542064235624444445770644009137840792145041252012059320037942112207924116359146756523238064989732182677922559812107840158485714572963646565148091174378295939070930482656337143320726317423728842757776872039818314390022684578131770239897168626811296635294023166808523516814763163043752741450467771523524040079660238669609253840375533682695878805509525268436525332142727793439470378226671720645466075183608503489100897178650824747776728950985605496825493313837009712666124808019677672628146412870924546479270648271433295044152594736140862351601435991350671950349280607671938031723420498030734238023537686307246379958839624345698224646216790355453677447567273026535367892900357686447886184223130193379001235082021938632960415131308696158186378319803470822558727027997191603660931892345165219359112367113918269174311217459928362726029943729437060108776715504053284389405066937657699669671156306198417452705948802596554545661063676271788726641711440087230196159379104958004197239478852489349560756955129377275113992969252737805758402929759044662206026707085700642896933782904533178383005729736292741205466891332433356292764427130413568848619398684125707828673196403940143406787608938809125194394109160623404444646304864829076041982435927231895140303734416239921009992381107461254502873924349021940027854811076784097802933199274034013752913993877122604739652985327860983286866662586838389454094326286641352468569725483795538056004164503371417893395213967930511996849125222670487933925224779902714471171820440853715311842285014738525095102924267884896541575802627058697136923519706351783791711708443331275590506130365366523432034938560075964415297165267947450070543521061661030033231428359723128935738508224923924281704699185223166006197841441713206918930994267661154270450942095489576093380277583085475721155420920202011032789370390230550250883003009456596908894491927656007629272586399065720023213425115514872745916764943295864503513794369178513364053508565436313481764824690202948018495700649644253729848838964642736069864396904242710767677584501446135986349899211586124025611389532493123406708871968815377535311530814639631977204172036633577267765967831625686071961961157246523271299219002249112272977584065115734828997522275063629757903510042248289209536750357347580556857265884208282118136390889473211296511399584548792465736189042655481060232034595561265282729514572859669910661113469413395907993862976705571208924200265301190431923404104113613342763588892948523698733008539458679153952870535739640538938610460191438223502182466096381180169246513078646932149339813041708865115609446552423846638406750432053709335840726914065617805993819486449927042908422084460281728001848388496978844718011970587481103551624354246509437334730558250702361886409293748926452560315827780884124252954945397774287751997015954786240172485639408021398140942383712990107524972345691936326384500819643146135575768801026744250720425106112038570318403001973022767076905324447838901636116768697042930174543664927647752244010371065170057981614430031008298222537408686207763620844711604564967784203090394969936645172118127820572232674687016324014946916119616685416724730470893651180565249207119897320536259664700143296115219539657095162111312388218561672075175119229135203402108358995472392424091286917530771105700059619069289808515345884843414884771452425451099916756998296382253490858895632307010019797630706483540248225258329583318774808608803960942703011511017496745268193805076612058033158020629727912676281846236053227093591446961182110499644771446994030573539163244860460034618579666609898298782525246767150089467566377216415472853992790525182762148323899933465504681091564535730707804384403834222848312294070295436137030582890060811331369892581308686437711717670521282533736825330825389554182352876547135447223522400220000096236814574449134081978527959660680058641151100116004830178198834009745556633636520458970809772107045811504579994057054809845946727445341016002442530116564023644869800626182329758234256240652666996729038300105661695910725586310327941740332395218369860061983838091963480592971890533722028782245145575957973771893255644029186347488793692925146512709461346071388903566210633036790854531563914354455677097302813118134289762961905471356414928733764966358916945375293394151680874667245394238273863009768688549533453282683122770573647639248020310594608214071940149506956552534215277904196786832784527532332444478048208951674228810140300003103439744324538652391209863120228935249703743079397618045144214139834345604015782208895964754816166522586984156732938128414498880354471898781604522748147723170465862332097719109221359416238235621044876806840682081844311616464524920546287334084748412370087213851858170310486585817643415947271034286301976906735724650696109289948792845863015668518970406830025583254691960233131285027131546208436443874363089935385587107122249638747951989811269958826595412237769440064644518654382791324345160506949607614063176195399802749400985099911228151042404281006105640708741814342727779028036457378804491866256142548238953906897547700554655087246390414472012563744619075058513419175283304315804558980788183714301
g=2
contribution table:{0, 1, 10, 16, 29, 36, 39, 44, 59, 44, 39, 36, 29, 16, 10, 1, 0}
*** a(t,u0,r):
8117
8
*** a(t,u0+1l^(t-1),r):
8036
12
result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II))

code version 3.3b
start=Fri 20 Sep 2024 03:49:01
end  =Fri 20 Sep 2024 04:16:19
elapsed(sec)=1638.222367