# kind=liouville seed=32 samples=40000 ; outcome counts: {True: 40000}
# (True = completely periodic, proved by exact induction with tiling certificate; False = induction not finished)
# families per pair: {2: 40000} ; families with m1 != m2: 0 ; largest G-period: 200539999999999999999460 (24 digits) ; largest N: 979999 ; max induction steps: 79100000000000128
largest: (D,p,q,Qd,n0,g)=(0, 0, 5, 37, 3, 20) N=67 fams(m1,m2,v,n,P)=[(199800000000000000000200, 199800000000000000000200, 2970027000000000000003, 29970000000000000000030, 423629946000000000000424), (200539999999999999999460, 200539999999999999999460, 2981027099999999999992, 30080999999999999999919, 850397891599999999997710)] steps=8016666666669776
largest: (D,p,q,Qd,n0,g)=(0, -19, 200, 137, 33, 200) N=45 fams(m1,m2,v,n,P)=[(34999999999999999995000, 34999999999999999995000, 766474452554744525438, 5774999999999999999175, 148484102189781021876598), (24600000000000000000400, 24600000000000000000400, 538722043795620437965, 4059000000000000000066, 52181555912408759124936)] steps=7915652879156787
largest: (D,p,q,Qd,n0,g)=(0, -14, 256, 1356, 11, 75) N=95 fams(m1,m2,v,n,P)=[(8475000000000000038400, 8475000000000000038400, 88501600000000000401, 1243000000000000005632, 18015996800000000081630), (4237499999999999972325, 4237499999999999972325, 44250799999999999711, 621499999999999995941, 18015996799999999882338)] steps=79100000000000128
largest: (D,p,q,Qd,n0,g)=(0, -14, 232, 234, 277, 325) N=20 fams(m1,m2,v,n,P)=[(773275862068965852675, 773275862068965852675, 38069732183908062491, 659068965517241665203, 4258962450574714491142), (717241379310344714800, 717241379310344714800, 35311055938697312455, 611310344827586110768, 1975170991570880915458)] steps=787569180908
largest: (D,p,q,Qd,n0,g)=(0, 382, 16, 1872, 35, 78) N=4 fams(m1,m2,v,n,P)=[(233999999999996489766, 233999999999996489766, 47970001999999280402, 104999999999998424895, 954119991999985687246), (312000000000034319688, 312000000000034319688, 63960002666673702203, 140000000000015399860, 636079994666736634830)] steps=4111111116052
largest: (D,p,q,Qd,n0,g)=(0, 2, -8, 4, 47, 40) N=3 fams(m1,m2,v,n,P)=[(199999999999999999800, 199999999999999999800, 55999599999999999944, 234999999999999999765, 1046001599999999998954), (160000000000000099840, 160000000000000099840, 44799680000000027955, 188000000000000117312, 418400640000000261082)] steps=280000000009111
largest: (D,p,q,Qd,n0,g)=(0, 1, -8, 6, 18, 25) N=50 fams(m1,m2,v,n,P)=[(149999999999999999850, 149999999999999999850, 2999799999999999997, 107999999999999999892, 402000399999999999598), (175000000000000124825, 175000000000000124825, 3499766666666669163, 126000000000000089874, 469000466666667001198)] steps=47222222228668
largest: (D,p,q,Qd,n0,g)=(0, 4, -2, 54, 9, 16) N=14 fams(m1,m2,v,n,P)=[(112000000000000319888, 112000000000000319888, 7839995851851874244, 63000000000000179937, 542640016592594142450), (159999999999996599840, 159999999999996599840, 11199994074073836063, 89999999999998087410, 387600011851843614964)] steps=7259259324510
