generic: 380 leaves; maximum 999894/1000000
  (((((((((((699947, 915330), (699947, 915330)), ((699947, 950166), (699947,
  950228))), ((993628, (979518, 956675)), 941285)), (((699947, 915330), (699947,
  950228)), (((981079, 956675), (981079, 956675)), 941285))), ((((699947,
  938217), (699947, 951635)), 870639), ((699947, 951635), 870639))), (((((971471,
  997000), ((956623, 933871), (976089, 952711))), 920184), ((((969099, 932289),
  (974684, 929547)), ((981789, 944980), (982586, 936838))), 920184)), 801913)),
  (((((699947, 915330), (699947, 950228)), (((981079, 956675), (981079, 956675)),
  941285)), ((699947, 951635), 870639)), (((((978092, 925452), (981424, 929080)),
  ((974069, 917669), (971442, 915042))), 914566), 801913))), (((((((982034,
  994568), (996617, (959685, 998542))), (((990600, (986231, 992586)), 979848),
  (((993425, 998618), (998702, (966507, 970150))), 990305))), 935494),
  (((((991407, 998270), 964864), (996848, 951096)), ((((997342, 995305),
  ((964420, 965223), 998503)), 971979), ((996784, 999309), 955034))), 935494)),
  788582), (((((991317, 938663), (973235, 916835)), ((992551, 939897), (970507,
  914108))), 915749), 788582))), (((((((((952889, 994333), (967830, ((979897,
  946007), (984504, 949997)))), ((962643, (964926, 989085)), (977616, ((989265,
  952986), (992246, 955510))))), (((((966138, 978528), (970225, 982614)),
  ((970319, 973962), (973357, 977000))), 998109), (((976271, 988661), (978498,
  982141)), ((999786, (980768, 955510)), 991300)))), 940068), ((((973514,
  ((969517, 993677), (973037, 997197))), (987598, ((997358, 959892), ((998869,
  993708), 962857)))), ((((980126, 992516), (981680, 985323)), ((983078, 995467),
  (984113, 987756))), (((985143, 959892), 994483), ((988095, 962857), 996915)))),
  944070)), ((((((((967521, 968324), (970025, 970829)), ((964950, 960381),
  (966967, 962397))), 976931), (((974337, 975140), (970522, 965953)), 980424)),
  ((((964424, 954593), (965994, 956164)), 957916), ((968860, 959030), 959964))),
  939862), ((((((976906, 977710), (972533, 967963)), ((978867, 979670), (974065,
  969496))), 985620), (((970364, 960533), (971507, 961677)), 963277)), 943595))),
  783774), ((((((993704, 941051), (994555, 941901)), ((969044, 912644), (968109,
  911709))), 913671), (((996323, 943669), (967526, 911126)), 913977)), 783774))),
  (((((((((979161, ((975818, (987145, 992588)), (978070, (989396, 994650)))),
  (993033, (((((986851, 981245), (988192, 982564)), 996258), 965203), ((((989398,
  983749), (990486, 984819)), 998320), 967102)))), ((983064, (981734, ((991255,
  996353), (992815, 997781)))), (996906, (((((991474, 985791), (992375, 986677)),
  (999068, 999894)), 968671), ((((993200, 987488), (993958, 988233)), ((987481,
  982276), (988175, 982970))), 969989))))), (((((985406, 997796), (987289,
  999678)), ((986030, 989673), (987578, 991221))), (((990423, 965203), (992306,
  967073)), (998832, (978836, 958463)))), (((990390, ((996054, 993988), (997357,
  995171))), (990167, 993810)), (((993859, 968609), (995162, 969905)), ((980112,
  959739), (981181, 960808)))))), 949378), ((((988401, ((984132, (995459,
  (998997, (982721, 989894)))), 999856)), ((999666, 999856), (((((995392,
  989645), (996537, 990770)), ((989497, 984292), (990544, 985339))), 972249),
  999856))), ((((992378, ((998465, 996177), (999419, 997043))), (991784,
  995427)), 999856), (((997395, 972139), (983043, 962670)), 999856))), 951503)),
  ((((((((980410, 981213), (975269, 970699)), ((981654, 982457), (976238,
  971669))), 988121), (((972404, 962574), (973125, 963295)), 964608)),
  ((((983781, 984584), (977946, 973377)), 989868), ((974455, 964625), 965559))),
  948524), ((((((985061, 985865), (978923, 974353)), 999856), 992441), (((975158,
  965328), 999856), 967118)), 950416))), 781562), ((((((996701, 944048), (997006,
  944353)), ((966367, 909968), (965687, 909287))), 915341), (((997746, 945093),
  (965239, 908839)), 915400)), 781562)))


four6: 195 leaves; maximum 999856/1000000
  (((((((((((699947, 915330), (699947, 915330)), ((699947, 949761), (699947,
  950228))), ((985182, (975149, 956675)), 941285)), (((699947, 915330), (699947,
  950228)), (((980802, 956675), (981079, 956675)), 941285))), ((((699947,
  940385), (699947, 951635)), 870639), ((699947, 951635), 870639))), ((((990342,
  (994650, (957831, 939148))), 920184), ((((957614, 923751), (961654, 919929)),
  ((964974, 931111), (964827, 923102))), 919303)), 801913)), (((((699947,
  915330), (699947, 950228)), (((980737, 956675), (980737, 956675)), 941285)),
  ((699947, 951635), 870639)), (((((966456, 916984), (965993, 916522)), ((963224,
  908939), (956870, 902585))), 907028), 801913))), (((((((956594, 974452),
  (969151, 987009)), ((979996, 961314), (988566, 969883))), 935494), ((((980148,
  946285), (974622, 932800)), ((984863, 951000), (976220, 934495))), 929558)),
  788515), (((((971326, 920608), (953816, 898713)), ((970418, 920947), 998422)),
  900878), 788515))), ((((((((977475, 995333), (985700, (954892, 988377))),
  ((994588, 975905), (998847, 980164))), 940068), (((994924, (964116, 996013)),
  (((986686, 988414), (989101, 990291)), 986395)), 944070)), (((((988323,
  954460), (990800, 956937)), ((977676, 935951), (978762, 937037))), 931413),
  (((994702, 960839), (980864, 939139)), 933852))), 783774), ((((((970291,
  920819), (970290, 920818)), 995876), 897609), (((970998, 921527), 993464),
  896855)), 783774))), (((((((((940685, 982201), (969163, (997741, 999679))),
  ((944185, 985013), (972663, ((979737, 968671), (981082, 969989))))), (((992931,
  993347), 989559), ((995138, 995025), 991766))), 949378), ((((949011, 988956),
  (977490, ((983384, 972249), 999856))), (((996756, 996258), 999856), 994935)),
  951503)), (((((996414, 962551), (981464, 939739)), ((997630, 963767), (981925,
  940200))), 937461), (((999534, 965671), (982870, 941146)), 938685))), 781632),
  ((((((970744, 921272), (970629, 921157)), 992306), 897166), (((970845, 921373),
  991177), 896702)), 781632)))


four7: 172 leaves; maximum 999856/1000000
  (((((((((((699947, 915330), (699947, 915330)), ((699947, 950221), (699947,
  950228))), (((959913, 956675), (980792, 956675)), 941285)), (((699947, 915330),
  (699947, 950217)), (((981079, 956675), (981059, 956655)), 941285))),
  ((((699947, 946992), (699947, 951635)), 870639), ((699947, 951635), 870639))),
  (((((982475, (953910, 950672)), ((958918, 926507), (967094, 934684))), 920184),
  ((((962556, 918261), (959254, 909868)), ((962399, 918096), (950143, 900757))),
  907890)), 801913)), ((((996858, (695411, 945239)), (((973286, 948881), (955528,
  931123)), 933492)), ((695411, 946657), 862845)), ((997415, 864167), 781384))),
  (((((((985838, 982600), (998637, 995399)), ((983048, 950637), (988112,
  955702))), 935494), ((((967508, 922431), 993746), ((966256, 921953), 988201)),
  901521)), 788582), ((975995, 843845), 759964))), (((((((((958730, 983352),
  (988194, 980115)), ((967303, 987817), (996768, 984580))), ((991762, 959351),
  (994356, 961945))), 940068), ((((976683, 994310), (((869220, 986659), (873007,
  989793)), 991072)), (998392, 965981)), 944070)), (((((965842, 921539), (965616,
  921313)), 985655), 897392), (((966006, 921703), 983243), 896319))), 783731),
  (((967904, 835754), (965492, 833342)), 751872))), (((((((((981826, 997633),
  (((876006, 992271), (878436, 994278)), 994395)), ((985390, (963095, 979805)),
  ((882380, 997572), 996709))), (((989862, 974649), 967767), ((991124, 975056),
  969029))), 949378), ((((990298, ((964790, 981500), 999856)), (((884986,
  999704), 999856), (998404, 999695))), (((992053, 975366), 999856), 970987)),
  951503)), (((((965540, 921237), 982084), ((965275, 920972), 981403)), 896006),
  (((965295, 920992), 980955), 895608))), 781632), (((964333, 832184), (963205,
  831055)), 748302)))


