n45-L7-f3250-r3-t3249-ver3.3b.txt p=3333285827455294434093516497638216857693249266243212374990372575020996401047426010046612346467599028513747450521071002421757985575510125587154023850506367059138223880081743960563993572940452783475008982898483684734362759708552694185011492823421692009499066946135854313705494761629551642224821871083744775416190466001655686159098861141708063844367181725755781732240300875727540130165444688015718380969360713879425900380038189214651603400584874985912179739306738565051688922734963127737429539524017936450889333995190014937328753806125115972664421077591610837816599853527209917126595099422292113287055580968154856662079555650876140946484926070462793467706752836527151260371555071437429259982663164112336926723745022021904894313718361715868250082889854520062465547338357144366717659084040938744886274767439206993808433526229343490919057331909402591375936603015987750085187380892913610604422500995059509081239777639823351322585886369280447242405393515670366817945828346289018536271994856775505135043954379235406844146930989663112344345069992192476380104820861290796968597421670820031404157687317341718369386725495221997561481311801481881183119415773796857461665674409472622536143616039829575550855898515884146817832084381500281410551906899713560198575011805335882031354686259354098715459802673971898325295901048383659638780381037403400383582194809803115973606965592166723186740734315602682719986603721508563461803845857465658449129135981521218536748274060597235102534425489259259845452908516209729226407363350055752015584259779262998938762362872769711831219184647366047000989509687297149925076562229270658457739887655001945704820987485799834001084285376281008019223037673412710053502845817462508899323080806296076864411024044401616574663727085792215257364643588062936110726653412295905533894314581204854586684182960328686350019438598465183911417360793699750609280919983438218376996640455032144427282898506985912016678543249614175853877538955510832305995300946862046864594522230155325767794634701216116009918393571450499867330501388597684550394414944276842996227108597193368858267445314430942202237668195523304562747277114915084963348235028833949460157070435838040091813721348311736429022537783492164158633404809114276631164299303292998292423818384233341480505038962870743216589168135848131611355643295697083565964435859250870844243479741805961103393129045965476025337128714494855557006567858096304821658600902643523565032794046361386710640516276715500899363959664583234815965766920129845213975853971156199717129881307004758253472150748617154613071636460909108413758273731439372088976389820207624438869448241192014702686587685290012288020736079213821750718313275603954391917512644929565954078671775541865706104725983475214146608827281030356174400619812411 g=2 contribution table:{0, 1, 0} *** a(t,u0,r): 91 1 *** a(t,u0+1l^(t-1),r): 112 1 *** a(t,u0+2l^(t-1),r): 94 1 *** a(t,u0+3l^(t-1),r): 100 1 *** a(t,u0+4l^(t-1),r): 100 1 *** a(t,u0+5l^(t-1),r): 107 2 result=O: Congruence does not hold. <=> deg D(t,r)=0 (Remark 1(II)) code version 3.3b start=Thu 19 Sep 2024 23:42:33 end =Thu 19 Sep 2024 23:49:32 elapsed(sec)=419.772820