# kind=liouville seed=21 samples=20000 ; outcome counts: {True: 20000}
# (True = completely periodic, proved by exact induction with tiling certificate; False = induction not finished)
# families per pair: {2: 20000} ; families with m1 != m2: 0 ; largest G-period: 719999999999999999280 (21 digits) ; largest N: 4204999 ; max induction steps: 175000000002742
largest: (D,p,q,Qd,n0,g)=(0, 0, 5, 36, 17, 40) N=65 fams(m1,m2,v,n,P)=[(719999999999999999280, 719999999999999999280, 11000099999999999989, 305999999999999999694, 1723999799999999998276), (600000000000000399400, 600000000000000399400, 9166750000000006102, 255000000000000169745, 2873333000000001912682)] steps=175000000002742
largest: (D,p,q,Qd,n0,g)=(0, 29, -262, 669, 143, 420) N=3722 fams(m1,m2,v,n,P)=[(510687022900764320100, 510687022900764320100, 137204580152672014, 173876772082879280415, 2389952817448205153174), (408549618320609356080, 408549618320609356080, 109763664122137047, 139101417666302709332, 955981126979277147398)] steps=63227917121220
largest: (D,p,q,Qd,n0,g)=(0, 1, -2, 26, 5, 32) N=33 fams(m1,m2,v,n,P)=[(224000000000000639776, 224000000000000639776, 6719982769230788424, 35000000000000099965, 939120068923079605338), (383999999999999239616, 383999999999999239616, 11519970461538438727, 59999999999999881190, 804960059076921482968)] steps=10051282062161
largest: (D,p,q,Qd,n0,g)=(0, 0, 2, 2, 9, 25) N=9 fams(m1,m2,v,n,P)=[(175000000000000249825, 175000000000000249825, 19250175000000027481, 63000000000000089937, 748999300000001069250), (99999999999999999900, 99999999999999999900, 11000099999999999989, 35999999999999999964, 213999799999999999786)] steps=29166666702305
largest: (D,p,q,Qd,n0,g)=(0, 14, -8, 41, 21, 25) N=3 fams(m1,m2,v,n,P)=[(124999999999999874875, 124999999999999874875, 39999975609756057521, 104999999999999894895, 550000097560975059206), (150000000000000874850, 150000000000000874850, 47999970731707597025, 126000000000000734874, 330000058536587290524)] steps=30081302277321
largest: (D,p,q,Qd,n0,g)=(0, -6, 68, 2603, 38, 465) N=1758 fams(m1,m2,v,n,P)=[(134117647058941385160, 134117647058941385160, 76259407471084617, 10960151802666177712, 279042927105606778798), (107352941176432205775, 107352941176432205775, 61040973085332179, 8772928526246072730, 223356728932939819922)] steps=2837515
largest: (D,p,q,Qd,n0,g)=(0, 2, 5, 18, 19, 40) N=7 fams(m1,m2,v,n,P)=[(80000000000000399920, 80000000000000399920, 11333355555555612211, 38000000000000189962, 175333288888889765380), (119999999999998799880, 119999999999998799880, 17000033333333163316, 56999999999999429943, 525999866666661406142)] steps=36111111342494
largest: (D,p,q,Qd,n0,g)=(0, 0, 5, 11, 11, 20) N=19 fams(m1,m2,v,n,P)=[(80000000000001399920, 80000000000001399920, 4000036363636433633, 44000000000000769956, 195999927272730702530), (19999999999999799980, 19999999999999799980, 1000009090909080908, 10999999999999889989, 97999963636362656266)] steps=10606061119428
