n82-L3-f11934-r11-t11932-ver3.3b.txt p=151320466850808774185515034083590371042716629463100570937361885066782459605502576247255678146427986668672449504438102990695868809893618508743491299649603376210282783101390354436112943275790097137428397978282936298611452588585076068148290146251219516908670391048551951504738772209761561334967325491704106842969414658028754729315167662631093693221090992060273675701132046847555886840441594113548572425211338132774314302813347809662478206943414617222069003078920352766484914139444082992901464318370284366668971703653746355114232176409028107374787722835182462401082167094556130401243556557768917632269143734252557901663870373167254954667143287536572016088526698107619153664675634790016925985284245619428305555152849950991544178032942326065395859848190842803253229605088530762168456576609702944971139434184729235515851264780507983562153383154297573906012176999382871174106494988992854751363354918463448714145684279291346047995481550631115426784311543129400741494692527691802832622382187055305704248727615097328308663586486985835819976949845023689004533198093941296731249826756476762287327849046214641723898601367529944501491554738442325598033144560622912810696879126677760577156603938521766316934138619748431136598381978666174774811153753845170528773335726375297197865450691680290017187515680200133943269740042663298115073197847028826111547469338135266606816077836234937631998771385446680684187172517615586943684737828780612018346092536667830813787096308950625523284720257157339398076407595201658005481737925653291525716450292462105666932735535144982358371858088177896061759082785556058302807592902070348847052361972817583735340846277873660217132067092750717677903285759486965758100363136256049166337297882309424521693779186027250396946415612945580627866912489411413562449191774486537803340889860733616083117116258418598707854140542819223639098012634650420865817515434254411517433944089765802964474960917329077816551716200022002380199189854527116015778937289511844678578133467095188531116131840781045485409873015852830827967759176931199202141086020790261992164769580700605860728949706384883370262509557590908539786446734217119562219849587619561710814660904146212711143484072068552961356880409495795602212892045859101749225044494254353061778595193643672339347632483235570638396400349193047694204485528235583019931097170848708173677065641441125976463511288609917489954991653882157070229448398441111970786133822637680576324097346088433754353839902410808627901862307585833862140228290603973578890158998676702248875816274165590180231431663282118779407326244670431436247446044628378873565070164926303077474653486229540384715330313090025982066545518999392865711111095991293338974315471361357529094907059184873821844690753390751150073362810911304688428161685308973769401902960654872506535610692267573195650955954008122428923001996362401311625613250073824319182051821802103799884398027093045135540799727791949874246004264596017402776796915499573162793171142386652623030005590065032464205070601896912250700386793278622868180161980813261764568168873974339778630658523354148602422043703001517908109606984181108652393991032822710051623174164590888972109740455936964691155453748286071514199979881582113627739553330469240308331562594175251247609049472977872971827142516227888005854652071708229117985327649343102765426545979914669900443144537593750756449800650196190662095605161538289111499503340289907500350929479048404117436785372863616761273938374482029065918442373833161342684524693958948039224251592809161848690059269016693092767961016326311164123429663217907833319522341991365336175491047075151090184784714781743047008803067483001322767866718508228071497159448080244320883560332621173056599368759639465230403004212760375263665824791050062726724073051480135167462079273819028105682248845978742198939711792420198704832448939747831858960248984223050896385995419675449627954035487688902738053179410356949207583974160378709764367457042494201470565654105479474669148497429481452139803212656984477472125639449892444700609297228147109887402820967983486286104685274460052215245035167726678661543956886692568874340407220747131004381055648735475108822035245316996965811859111686896635511568182027852884876707564884445711173226232733384296720579952606304247131753996966978871090330663911173009300236607980366568508081197645089874411540981790917401956899433236713549881650875687525127133671057095363698142254659050473639402363681230744480228559856453907674198118838808443006172955219753757555941410028991180471635897528222332989513104883092017013429137058485048253867332455421109087282240581697420408756820298136100166020820870000990627434150854740599118687300714403703315862159286558404312139503511556597335092507774411773109339909800446231640141904206692913798399706810486010382813353000655182097052680065792842957291015917523884276364866465888914988297338282169344793301889819539497621718490574514729661533210692025585436774773537200090753548124627266358966122079679719071246779221881802363380667168701659258073792913850971461407183170402524721531054184379137754596656147625516370839195785081163945203644065186477474510334281930864031694545075698245123206194425093620744437339050865686352851756365371195368856777362720746658449078619623400714487796523365929039020558985101517961778074008072688812359286128728694174889637208213449155756765176538089413731946948025402161708654625235785239469252145164674633848273651599847989605259709106918760873104813818793021476669207351661828763797002035231369008151756653813668236337924915682870703186698645559596979944410182301941233901096349443960377707956392800259125813736878361457916606708836676010824939111422536496186388606440046771007184996406792220993047971499601768892232605317 g=2 contribution table:{0, 1, 7, 11, 14, 23, 14, 11, 7, 1, 0} *** a(t,u0,r): 5896 0 *** a(t,u0+1l^(t-1),r): 6242 5 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3a start=Sun 25 Feb 2024 16:56:18 end =Sun 25 Feb 2024 17:30:03 elapsed(sec)=2024.546392