old / generic: 556 leaves; maximum 999897/1000000
  ((((((((((((971003, 835064), 998716), (((919076, 942471), 835064), (987270,
  879826))), 821363), ((((960283, 912195), (974671, 933906)), ((996576, 914285),
  ((990012, (963260, 946440)), 933891))), 862513)), ((((((919076, 942471),
  835064), ((919076, 942471), 835064)), (((976578, 988535), 879826), ((980293,
  994927), 879826))), 821363), ((((((987136, 995989), (992984, 998952)), 913791),
  (((966408, 946248), (969371, 943838)), 932414)), ((((963513, 922895), (966718,
  930561)), 911833), ((973988, 943309), 929533))), 862513))), 733559),
  ((((((998260, 967081), ((957888, 999332), 985331)), ((((998148, (971396,
  952797)), ((973600, 960401), (978421, 962255))), 960377), ((((973899, 972599),
  (974939, 977490)), ((978640, 973120), (979679, 973985))), 978628))), 901761),
  (((((((974544, 952604), (975830, 950194)), ((976567, 962063), (974864,
  959653))), 952750), (((976100, 949666), (975133, 955670)), 945145)),
  (((((976785, 967925), (975082, 960849)), ((977825, 968789), (976122, 961714))),
  968242), (((975352, 955973), (976392, 956837)), 951623))), 901761)), 752160)),
  (((((((988640, 835064), 972180), ((((980293, 996494), (980293, 998313)),
  879826), ((973666, (998055, 976489)), 879826))), 821363), (((((((963375,
  924462), (963107, 932128)), (997302, 996666)), 909946), (((967608, 939697),
  994791), 922467)), ((997463, 906373), (989557, 909812))), 862513)), 733559),
  ((((((((964676, 944747), (963710, 944247)), 994043), 936137), ((((963928,
  944549), (964968, 945414)), 989932), 936746)), ((984672, 910942), (979322,
  911551))), 897048), 752160))), ((((((((968422, ((965727, 978858), (971224,
  982960))), (959191, (993991, (978636, 935314)))), ((983513, ((978618, 988509),
  (987216, 995119))), (971560, ((983336, 941471), (988737, 946275))))),
  (((((979810, 981170), (984550, 977665)), ((985306, 985272), (990047, 981767))),
  993115), ((((992700, 990821), ((990806, 996473), 997431)), ((997441, 987316),
  ((998778, 999461), 993926))), ((995844, (979701, 946275)), 993248)))), 927501),
  (((((((982695, 972470), (980992, 965394)), ((988192, 976572), (986489,
  969496))), 975127), (((981262, 960518), (986759, 964619)), 958509)),
  (((((995586, 982120), (991618, 975045)), ((998769, 988731), (990729, 981655))),
  984783), (((986148, 970168), (985259, 974004)), 968165))), 927501)), 764738),
  ((((((((967873, 949094), 987061), ((966082, 953196), 985271)), 943631),
  (976451, 911788)), (((((964859, 953353), (963969, 952714)), 984047), 949882),
  (973437, 910272))), 908725), 764738))), (((((((((996310, ((994434, (987836,
  995575)), ((980408, 994291), (992394, (997780, (982648, 982969)))))), (979604,
  ((993255, 950127), (996962, 953283)))), (((968469, 983769), (((983312, 993863),
  (982960, 993511)), ((996202, (986619, 986455)), (999433, (989849, 989295))))),
  (985235, (((997760, 994964), 955917), 999897)))), ((((((998023, ((978799,
  979072), (979686, 982138))), (997804, 998155)), ((998853, (979436, 987637)),
  (((982686, 979880), (984876, 981805)), ((983038, 977803), (985228, 979728))))),
  (((999671, 998785), 999476), ((999141, 998255), ((998601, (983469, 976836)),
  999463)))), (((984218, 950127), (987925, 953283)), (997313, (979476,
  949041)))), (((((998425, (979008, 987969)), (998074, 999807)), (((988848,
  985290), (989199, 983213)), ((992078, 988131), (992430, 986053)))), (((998713,
  997828), (998362, 997476)), (((987440, 980322), (983565, 976319)), ((988377,
  983162), (983310, 979159))))), (((991022, 955917), 999897), ((982573, 951675),
  999897))))), 936924), ((((((970437, 988878), (969971, 992805)), (((982665,
  993216), (((984884, 989153), (987292, 991270)), ((992623, 991734), (995031,
  993852)))), ((982199, 992750), (((989402, 993125), (991265, 994764)), ((997141,
  995707), (998674, 997346)))))), 999745), ((((((997779, 999513), (997528,
  999262)), (((994852, 990570), (993673, 988493)), ((997073, 992687), (993492,
  990610)))), (((998067, 997181), (997816, 996931)), (((988163, 985601), (983097,
  980436)), ((987982, 987719), (982915, 980282))))), (((997313, 999047),
  (((996917, 994542), (996781, 996181)), ((993336, 992465), (993200, 994104)))),
  (((997601, 996715), (997413, 996528)), (((987825, 987729), (982759, 980150)),
  ((987689, 987614), (982623, 980035)))))), 999745)), 942076)), ((((((((998094,
  994281), (997563, 997164)), ((990053, 984133), (989523, 983751))), 992827),
  (((997136, 996855), (989096, 983442)), 998458)), ((((984584, 973518), (984054,
  973135)), 973829), ((983626, 972826), 973336))), 936924), ((((((996489,
  996386), (988449, 982974)), ((996023, 996049), (987983, 982636))), 999745),
  (((982980, 972358), (982514, 972020)), 973002)), 942076))), 771850),
  (((((((((963294, 952228), 999615), 982483), 949084), ((999188, 981525),
  948592)), ((971873, 909474), (970915, 908981))), 917753), ((((998541, 980878),
  948258), (970269, 908647)), 917354)), 771850))), (((((((((((969619, 995918),
  (969344, 998445)), (((981847, 992399), 999837), ((981572, 992124), 999637))),
  999320), (((969123, 999476), (((981351, 991903), 999841), 999476)), 999062)),
  ((((((996961, 998695), 999837), ((996686, 998420), 999637)), (((997249,
  996363), 999837), ((996974, 996088), 999637))), 999320), (((((996465, 998199),
  999841), 999476), (((996753, 995868), 999841), 999476)), 999062))), 947630),
  999690), ((((((((995671, 995793), (987631, 982380)), ((995397, 995593),
  (987356, 982181))), 999320), (((982162, 971765), (981887, 971565)), 972578)),
  ((((995176, 995433), (987136, 982020)), 999062), ((981666, 971405), 972320))),
  947630), 999690)), 775643), (((((((997724, 980061), 947834), ((997228, 979565),
  947575)), ((969451, 908223), (968955, 907965))), 917147), 999690), 775643)))


old / four6: 292 leaves; maximum 999897/1000000
  ((((((((((((962845, 835064), 985442), (((919076, 942471), 835064), (975529,
  879826))), 821363), (((993638, (953123, 922118)), ((983325, 906913), (985610,
  925536))), 862513)), ((((((919076, 942471), 835064), ((919076, 942471),
  835064)), ((996138, 879826), (996939, 879826))), 821363), ((((997291, 907073),
  (999576, 924113)), ((992184, 906638), (992165, 917771))), 862513))), 733559),
  ((((((976713, 950235), (982763, 968486)), (((993745, 999270), 946207),
  ((988070, 991901), 964458))), 901761), ((((((992420, 994492), (991454,
  993526)), 939725), (991417, 931905)), ((((991672, 993744), (992712, 994784)),
  947842), (991149, 932514))), 901761)), 752160)), (((((((970426, 834971),
  951548), ((((980293, 989323), (980291, 988804)), 879826), (979586, 879726))),
  821348), ((((996484, 904601), (989623, 910486)), ((978564, 894885), (970896,
  893023))), 862513)), 733544), (((((988875, 917203), (986090, 917812)),
  ((966011, 893403), (960661, 891180))), 883459), 752160))), (((((((993298,
  989212), ((950508, 996520), 998868)), ((((991317, 995148), (996814, (963793,
  954838))), 972086), ((((967356, 965895), (975955, 972505)), ((971187, 960387),
  (973140, 966997))), 981742))), 927501), ((((((997583, 999655), ((966228,
  954197), (966630, 946581))), 954728), (994634, 939399)), (((((969467, 959745),
  (965406, 952130)), ((968578, 966356), (964517, 953682))), 964383), (991620,
  947855))), 922472)), 764738), (((((983220, 924697), (957790, 889760)),
  ((980206, 924280), (954776, 888244))), 895136), 764738))), (((((((((963304,
  ((965997, 970019), (967977, 974577))), (959335, 995043)), ((968675, (967550,
  981871)), (964966, (997867, 999897)))), (((((976609, 978055), (976079,
  982613)), ((972464, 972548), (971934, 974200))), 989786), (((975652, 987375),
  (971507, 973891)), 995418))), 936924), ((((968028, ((966903, 986979), (966437,
  987606))), 999745), ((((975005, 986907), (970860, 973423)), ((974539, 986569),
  (970394, 973085))), 999745)), 942076)), ((((((((967903, 966944), (967372,
  966562)), ((963842, 953196), (963311, 952813))), 972427), (((966945, 966253),
  999735), 973404)), ((990056, 947057), (989098, 946565))), 931895),
  ((((((966298, 965785), 999089), ((965832, 965447), 998623)), 973070), (988451,
  946230)), 937047))), 771850), ((((((978641, 923482), (977684, 922990)),
  ((953211, 887446), (952254, 886953))), 897497), (((977037, 922656), (951607,
  886619)), 897097)), 771850))), (((((((((967210, ((966085, 987350), (965811,
  987151))), 999320), ((966715, (965590, 986990)), 999062)), (((((974187,
  986313), (973912, 986113)), ((970042, 972829), (969767, 972630))), 999320),
  (((973692, 985953), (969547, 972469)), 999062))), 947630), 999690),
  ((((((((965480, 965191), 998271), ((965206, 964992), 997996)), 972646),
  (987634, 945806)), ((((964985, 964831), 997775), 972388), (987138, 945548))),
  942601), 999690)), 775643), ((((((976219, 922232), (975724, 921974)), ((950789,
  886195), (950294, 885937))), 896890), 999690), 775643)))


old / four7: 195 leaves; maximum 999836/1000000
  ((((((((((((987132, 835064), (963096, 879826)), (((919076, 942471), 835064),
  (990306, 879826))), 821363), ((((971291, 910187), (981425, 928810)), ((992803,
  909786), (995087, 928169))), 862513)), (((983247, ((999818, 879826), 993426)),
  821182), ((((989714, 905708), (982854, 912428)), 993426), 862513))), 733559),
  (((((((956783, 990539), 957731), ((963729, 990270), 975982)), ((((989774,
  982206), 999124), 943781), ((991689, 984122), 953150))), 901761), ((((982106,
  918669), 992520), ((977216, 919278), 989322)), 883818)), 752160)), ((((967137,
  804388), (973739, 831918)), 732719), ((973739, 831918), 745912))),
  ((((((((974263, (993517, 999014)), 997602), ((989354, ((969557, 971997),
  (978155, 978608))), (991792, 985569))), ((((994936, 986940), ((963582, 956305),
  985149)), 960035), ((((967623, 961854), (966734, 968464)), 983926), 969691))),
  927501), ((((974345, 925158), 987663), ((971331, 923641), 985287)), 895495)),
  764738), ((973668, 831232), 747275))), ((((((((((995683, (964769, 979797)),
  ((980469, 984158), (979939, 988716))), (999836, 993613)), (((971664, 987091),
  (979512, 995137)), ((872930, 994391), 999244))), (((((966058, 969855), (965528,
  969472)), 982361), 977735), (((965101, 969163), 981404), 979515))), 936924),
  ((((((971017, 992200), (970551, 996127)), ((978865, 994669), (978399,
  994331))), 999745), ((((964454, 968695), 980757), ((963988, 968357), 980291)),
  979180)), 942076)), (((((969767, 922843), (968809, 922351)), 983723), 895751),
  (((968162, 922017), 982118), 895351))), 771850), (((972929, 830138), (972846,
  829739)), 747079))), (((((((((((970199, 999240), (969925, 999637)), ((978047,
  994075), (977772, 993876))), 999320), (((969704, 999476), (977551, 993715)),
  999062)), (((((963636, 968102), (963361, 967902)), 979939), 978756), (((963141,
  967742), 979444), 978498))), 947630), 999690), (((((967344, 921592), 981301),
  ((966849, 921334), 980805)), 895144), 999690)), 775643), (((972844, 829532),
  999690), 746967)))


new / generic: 77 leaves; maximum 999873/1000000
  (((((((((994862, 903536), ((975977, 991034), 903245)), (990486, (995615,
  866672))), 836226), ((((((954725, 967592), (973627, 986493)), ((969357,
  945915), (986590, 963148))), 929643), ((((963675, 926788), 999868), ((978994,
  942107), 999414)), 902577)), 784348)), (((982163, 999459), 748810), 999023)),
  (((((((997254, (960438, 995240)), ((957640, 993968), (972777, ((979653,
  945638), (984904, 950681))))), (((998146, (992155, 993804)), 983560),
  (((998365, (966344, 978734)), 999781), 994317))), 944942), ((((996417, 959530),
  999137), 999384), 926505)), 784931), 998641)), (((((((((965787, (997796,
  (964401, 988561))), (980924, ((989119, 954895), (992575, 958352)))), ((971514,
  999786), (986650, 999786))), 999747), 957672), 999873), 999072), 782379),
  998367)), 999415)


new / four6: 40 leaves; maximum 999673/1000000
  (((((((((952787, 869516), (985448, 887313)), (970120, (973378, 854054))),
  811874), ((((993519, (991099, (957668, 938723))), 923367), ((997767, 999673),
  892816)), 778273)), 999588), (((((((964687, 982256), (977072, 994641)),
  ((976787, 957842), 999594)), 939033), 999329), 783465), 998410)),
  ((((((((985130, (955122, 984901)), 999623), 999224), 951911), 999361), 998730),
  781619), 998235)), 999028)


new / four7: 15 leaves; maximum 999640/1000000
  ((((((((967372, (982762, 867886)), 998139), 768373), (((((987464, 999640),
  998443), 912049), 998060), 768711)), 998001), 999272), 998670), 998344)


