masscap: 1773 leaves; maximum 9998961/10000000
  ((((((((((((((9891359, (8906144, (((9762539, 9968420), (9886276, ((9993051,
  (((9998751, (9984573, 9990073)), 9991753), ((9988387, 9993887), 9995568))),
  ((9956578, 9979684), (((9992231, 9997731), (9996103, (9952940, 9951018))),
  ((9950748, 9936645), (9954614, 9940510))))))), ((9778304, 9984085), (9902042,
  (((9964400, 9987403), ((((9951342, 9963541), (9956835, 9954913)), ((9955263,
  9967464), (9960732, 9958810))), ((9958482, 9944379), (9962335, 9948232)))),
  ((9972224, 9995018), ((((9959191, 9971390), (9964615, 9962693)), ((9963086,
  9975303), (9968454, 9966551))), ((9966160, 9952057), (9969948,
  9955844)))))))))), (9924388, (8939192, (((9794433, (9991830, (9867691,
  9967711))), (9918170, (((9979988, (9998753, (9946964, 9968689))), ((((9966987,
  9979193), (9972288, 9970373)), ((9970850, 9983050), (9976074, 9974153))),
  ((9973690, 9959587), (9977382, 9963278)))), ((9987548, ((9950602, 9972326),
  (9954152, 9975876))), ((((9974668, 9986867), (9979806, 9977885)), ((9978410,
  9990637), (9983457, 9981563))), ((9981019, 9966915), (9984569, 9970493))))))),
  ((9810342, ((9875097, 9975116), (9882257, 9982277))), (9934080, (((9994953,
  ((9957681, 9979406), (9961143, 9982868))), ((((9982142, 9994356), (9987092,
  9985185)), ((9985815, 9998021), (9990663, 9988748))), ((9988098, 9974010),
  (9991560, 9977463)))), (((9998565, (9946627, 9984117)), ((9964537, 9986262),
  (9967861, 9989586))), ((((9989427, ((9984706, 9996152), (9986502, 9997922))),
  (9994169, 9992249)), ((9992976, ((9988283, (9975736, 9928438)), (9990049,
  (9977475, 9929822)))), (9997608, 9995686))), ((9994954, 9980852), (9998278,
  9984174))))))))))), (((((9720389, 9986186), (9840200, ((9959969, 9956201),
  (9959969, 9956201)))), ((9735135, (9875587, 9939874)), (9840200, ((9959969,
  9956201), (9959969, 9956201))))), ((((((9906451, 9967232), (9934989, 9963243)),
  ((9914053, 9974834), (9937565, 9965820))), (((9993235, 9982741), (9968655,
  9945676)), (((9997046, (9982803, 9979943)), 9990343), (9971231, 9948252)))),
  ((((9909082, 9917224), (9871644, 9866037)), ((9909082, 9917224), (9871644,
  9866037))), (((9914130, 9881384), 9950492), ((9914130, 9881384), 9950492)))),
  (((((9921527, 9982307), (9928799, 9989580)), ((9937565, 9965820), (9937565,
  9965820))), ((((9990276, 9987039), 9997816), ((9997548, 9991092), (((9950723,
  9930750), (9954331, 9934359)), 9980598))), ((9971231, 9948252), (9971231,
  9948252)))), ((((9909082, 9917224), (9871644, 9866037)), ((9909082, 9917224),
  (9871644, 9866037))), (((9914130, 9881384), 9950492), ((9914130, 9881384),
  9950492)))))), ((((9747893, (9888322, 9939874)), (9747893, (9888345,
  9939874))), ((9840200, (9959969, 9956201)), (9840200, (9959969, 9956201)))),
  ((((((9935832, 9996612), (9941534, (9969057, 9965065))), ((9937564, 9965818),
  (9937565, 9965820))), ((((((9945602, 9958371), (9949094, 9961856)), 9991092),
  (((9957879, 9937907), (9961364, 9941392)), 9980598)), ((((9952515, 9965277),
  (9954791, 9967553)), 9991068), (((9964785, 9944812), (9967089, 9947117)),
  9980598))), ((9971231, 9948252), (9971231, 9948252)))), ((((9941551, (9969079,
  9965082)), (9941557, (9969085, 9965089))), ((9937558, 9965813), (9937565,
  9965820))), ((((((9954804, 9967566), (9954813, 9967574)), 9991085), (((9967089,
  9947117), (9967089, 9947117)), 9980598)), ((((9954818, 9967579), (9954819,
  9967581)), 9991092), (((9967089, 9947117), (9967089, 9947117)), 9980598))),
  ((9971224, 9948252), (9971231, 9948252))))), (((((9909081, 9917224), (9909082,
  9917224)), ((9871644, 9866037), (9871644, 9866037))), (((9914130, 9881384),
  (9914130, 9881384)), 9950492)), ((((9909075, 9917217), (9909082, 9917224)),
  ((9871637, 9866030), (9871644, 9866037))), (((9914130, 9881384), (9914130,
  9881384)), 9950492))))))), (((8687240, (((9712462, ((9971022, 9484837),
  (9978738, 9484837))), 9022581), ((9728247, (9994402, 9484837)), 9022581))),
  (8701196, (((9742184, (((9987897, (9923057, 9669724)), (9994208, (9930018,
  9669724))), 9484837)), (9742184, (((9994208, (9930018, 9669724)), (9994208,
  (9930018, 9669724))), 9484837))), 9022581))), ((((((9971017, 9485490),
  (9978619, 9485490)), ((9884216, 9485490), (9884216, 9485490))), 9107458),
  (((9993365, 9485490), (9884216, 9485490)), 9107458)), (((((((9921957, 9669724),
  (9927681, 9669724)), 9951034), 9485490), ((((9927681, 9669724), (9927681,
  9669724)), 9951034), 9485490)), ((9884216, 9485490), (9884216, 9485490))),
  9107458)))), (((9990492, (9005296, ((((9825522, ((9889128, 9989147), (9895797,
  9995816))), (9949260, (((((9950069, 9987559), (9953497, 9990987)), ((9968705,
  9990430), (9968711, 9990436))), ((((9996418, ((9991799, (9979197, 9929822)),
  (9993511, (9980904, 9929822)))), (((9973764, 9979100), (9975400, 9980735)),
  (9997381, ((9975118, 9929822), 9993254)))), (((9998137, (9980860, 9994021)),
  ((9995230, (9982595, 9929822)), (9996939, (9984269, 9929822)))), (((9977061,
  9982397), (9978713, 9984048)), (((9976780, 9929822), 9994656), ((9978425,
  9929822), 9994656))))), (((9995071, 9980062), 9985061), ((9995077, 9980068),
  9985061)))), ((((9956866, 9994356), (9960166, 9997656)), ((9968722, 9990447),
  (9968732, 9990456))), ((((((9982552, 9995685), (9984228, 9997332)), ((9998632,
  (9985927, 9929822)), ((9991333, 9914696), (9987568, 9929822)))), (((9980348,
  9985683), (9980655, 9985991)), (((9980054, 9929822), 9994656), ((9980356,
  9929822), 9994656)))), ((((9985887, 9998961), (9987529, (9974275, 9988549))),
  (((9992991, 9914696), (9989193, 9929822)), ((9994629, 9914696), (9990041,
  9929822)))), (((9980660, 9985995), (9980664, 9986000)), (((9980356, 9929822),
  9994656), ((9980356, 9929822), 9994656))))), (((9995088, 9980080), 9985061),
  ((9995097, 9980089), 9985061))))))), ((9839837, ((9898836, 9998855), (9898840,
  9998859))), (9963574, (((((9963200, (9969456, 9981277)), (9963205, (9969461,
  9981281))), ((9968739, 9990463), (9968743, 9990468))), ((((((9989154, (9974279,
  9988553)), (9990563, (9974282, 9988556))), (((9995660, 9914696), (9990041,
  9929822)), ((9995660, 9914696), (9990041, 9929822)))), (((9980668, 9986004),
  (9980671, 9986007)), (((9980356, 9929822), 9994656), ((9980356, 9929822),
  9994656)))), ((((9990566, (9974285, 9988559)), (9990568, (9974287, 9988561))),
  (((9995660, 9914696), (9990041, 9929822)), ((9995660, 9914696), (9990041,
  9929822)))), (((9980674, 9986009), (9980676, 9986012)), (((9980356, 9929822),
  9994656), ((9980356, 9929822), 9994656))))), (((9995104, 9980096), 9985061),
  ((9995109, 9980101), 9985061)))), ((((9963208, (9969464, 9981284)), (9963209,
  (9969465, 9981285))), ((9968746, 9990471), (9968747, 9990472))), ((((((9990569,
  (9974288, 9988563)), (9990571, (9974290, 9988564))), (((9995660, 9914696),
  (9990041, 9929822)), ((9995660, 9914696), (9990041, 9929822)))), (((9980678,
  9986013), (9980679, 9986014)), (((9980356, 9929822), 9994656), ((9980356,
  9929822), 9994656)))), ((((9990571, (9974290, 9988565)), (9990572, (9974291,
  9988565))), (((9995660, 9914696), (9990041, 9929822)), ((9995660, 9914696),
  (9990041, 9929822)))), (((9980680, 9986015), (9980680, 9986015)), (((9980356,
  9929822), 9994656), ((9980356, 9929822), 9994656))))), (((9995112, 9980104),
  9985061), ((9995113, 9980105), 9985061)))))))), ((9861071, ((9898798, 9998817),
  (9898827, 9998846))), (9984808, ((((((9963209, (9969465, 9981285)), (9963209,
  (9969465, 9981278))), ((9968747, 9990472), (9968708, 9990433))), ((((((9990572,
  (9974291, 9988565)), (9990572, (9974291, 9988565))), (((9995660, 9914696),
  (9990041, 9929822)), ((9995660, 9914696), (9990041, 9929822)))), (((9980680,
  9986015), (9980680, 9986015)), (((9980356, 9929822), 9994656), ((9980356,
  9929822), 9994656)))), ((((9990572, (9974291, 9988565)), (9990572, (9974291,
  9988565))), (((9995660, 9914696), (9990041, 9929822)), ((9995660, 9914696),
  (9990041, 9929822)))), (((9980680, 9986015), (9980673, 9986009)), (((9980356,
  9929822), 9994656), ((9980349, 9929822), 9994632))))), (((9995113, 9980105),
  9985061), ((9995074, 9980046), 9985021)))), (((9963167, ((9969413, 9981233),
  (9969423, 9981243))), (9968705, 9990430)), ((((((9990514, (9974233, 9988508)),
  (9990520, (9974239, 9988513))), (((9995642, 9914696), (9989983, 9929822)),
  ((9995648, 9914696), (9989989, 9929822)))), (((9980623, 9985958), (9980628,
  9985964)), (((9980299, 9929822), 9994599), ((9980304, 9929822), 9994604)))),
  (((9990530, ((9974244, 9988518), (9974249, 9988523))), (((9995653, 9914696),
  (9995658, 9914696)), ((9989994, 9929822), (9989999, 9929822)))), (((9980633,
  9985969), (9980638, 9985974)), (((9980309, 9929822), 9994610), ((9980314,
  9929822), 9994615))))), (((9995061, 9980053), 9985009), ((9995071, 9980063),
  9985019))))), ((((9963184, (9969439, 9981260)), (9963196, (9969452, 9981272))),
  ((9968722, 9990447), (9968734, 9990459))), ((((((9990539, (9974258, 9988532)),
  (9990546, (9974265, 9988540))), ((((9995660, 9914696), (9995660, 9914696)),
  ((9990003, 9929822), (9990008, 9929822))), ((9995660, 9914696), (9990015,
  9929822)))), (((9980647, 9985982), (9980655, 9985990)), ((((9980319, 9929822),
  (9980323, 9929822)), 9994623), ((9980331, 9929822), 9994631)))), ((((9990553,
  (9974272, 9988546)), (9990559, (9974278, 9988552))), (((9995660, 9914696),
  (9990022, 9929822)), ((9995660, 9914696), (9990028, 9929822)))), (((9980661,
  9985997), (9980667, 9986002)), (((9980338, 9929822), 9994638), ((9980343,
  9929822), 9994643))))), ((((9995080, 9980072), (9995088, 9980080)), 9985035),
  ((9995100, 9980092), 9985048)))))))))), ((((9747893, ((9888329, 9939858),
  (9888345, 9939874))), (9840200, ((9959953, 9956185), (9959969, 9956201)))),
  ((9747880, ((9888303, 9939832), (9888332, 9939861))), (9840187, ((9959927,
  9956159), (9959956, 9956188))))), (((((((9941521, (9969049, 9965052)),
  (9941542, (9969070, 9965073))), ((9937528, 9965783), (9937549, 9965804))),
  ((((((9954777, 9967539), (9954783, 9967545)), 9991055), (((9967047, 9947117),
  (9967053, 9947117)), 9980561)), ((((9954794, 9967556), (9954804, 9967565)),
  9991076), (((9967064, 9947117), (9967073, 9947117)), 9980582))), ((9971195,
  9948215), (9971215, 9948236)))), ((((9941554, (9969082, 9965085)), (9941557,
  (9969085, 9965089))), ((9937561, 9965816), (9937565, 9965820))), ((((((9954811,
  9967572), (9954816, 9967577)), 9991088), (((9967080, 9947117), (9967085,
  9947117)), 9980594)), ((((9954818, 9967580), (9954819, 9967581)), 9991092),
  (((9967088, 9947117), (9967089, 9947117)), 9980598))), ((9971227, 9948248),
  (9971231, 9948252))))), (((((9909045, 9917188), (9909066, 9917208)), ((9871608,
  9866000), (9871628, 9866021))), (((9914093, 9881347), (9914114, 9881368)),
  9950477)), ((((9909078, 9917220), (9909082, 9917224)), ((9871640, 9866033),
  (9871644, 9866037))), (((9914126, 9881380), (9914130, 9881384)), 9950492)))),
  (((((9941515, ((9969022, 9965025), (9969044, 9965047))), (9937523, 9965778)),
  ((9941544, ((9969060, 9965063), (9969072, 9965076))), (9937552, 9965807))),
  (((((((9954819, 9967581), (9954756, 9967518)), 9991029), (((9967089, 9947117),
  (9967026, 9947054)), 9980534)), (((9954778, 9967539), 9991050), (((9967037,
  9947065), (9967047, 9947075)), 9980556))), ((9971168, 9948188), (9971189,
  9948210))), (((((9954794, 9967556), 9991067), ((9954806, 9967568), 9991079)),
  (((9967064, 9947092), 9980573), ((9967076, 9947104), 9980585))), (9971218,
  9948239)))), ((((9909040, 9917182), (9871602, 9865995)), ((9909069, 9917211),
  (9871631, 9866024))), ((((9914066, 9881320), (9914088, 9881342)), 9950451),
  ((9914117, 9881371), 9950479))))))), ((8701196, ((((9742184, (((9994208,
  (9930018, 9669724)), (9994208, (9930018, 9669724))), 9484837)), (9742184,
  (((9994208, (9930018, 9669724)), (9994208, (9930018, 9669724))), 9484837))),
  9022581), ((9742184, ((((9994208, (9930018, 9669724)), (9994208, (9930018,
  9669724))), 9484837), ((9994208, ((9930018, 9669724), (9930018, 9669724))),
  9484837))), 9022581))), ((((((((9927681, 9669724), (9927681, 9669724)),
  9951034), 9485490), ((((9927681, 9669724), (9927681, 9669724)), 9951034),
  9485490)), ((9884216, 9485490), (9884216, 9485490))), 9107458), (((((((9927681,
  9669724), (9927681, 9669724)), 9951034), 9485490), ((((9927681, 9669724),
  (9927681, 9669724)), 9951034), 9485490)), ((9884216, 9485490), (9884216,
  9485490))), 9107458))))), ((((((((9862849, ((9943982, 9938275), (9943982,
  9938275))), (9863800, 9925733)), ((9862849, ((9943982, 9938275), (9943982,
  9938275))), (9863800, 9925733))), (((9974300, 9893198), (9880554, 9777263)),
  ((9974300, 9893198), (9880554, 9777263)))), (((9883118, 9917805), (9883118,
  9917805)), 9998526)), (((((9862849, ((9943982, 9938275), (9943982, 9938275))),
  (9863800, 9925733)), ((9862849, (9943982, 9938275)), (9863800, 9925733))),
  (((9974300, 9893198), (9880554, 9777263)), ((9974300, 9893198), (9880554,
  9777263)))), (((9883118, 9917805), (9883118, 9917805)), 9998526))),
  ((((9889116, 9107458), (9889116, 9107458)), 9844070), ((9889116, 9107458),
  9844070))), ((((((9862759, ((9943966, 9938260), (9943892, 9938185))), (9863710,
  9925643)), ((9862836, ((9943940, 9938233), (9943969, 9938262))), (9863787,
  9925720))), ((((9974284, 9893183), (9974210, 9893108)), ((9880538, 9777247),
  (9880464, 9777173))), ((9974287, 9893185), (9880541, 9777250)))), (((9883028,
  9917715), (9882922, 9917610)), 9998331)), (((9889026, 9107458), (9889103,
  9107458)), 9843875)))), 8540710), (((((((9057969, 9884360), (9058440,
  (((9861084, ((9898839, 9998858), (9898840, 9998859))), (9984821, (((((9963204,
  (9969460, 9981280)), (9963208, (9969464, 9981284))), ((9968742, 9990467),
  (9968746, 9990471))), ((((((9990563, (9974282, 9988556)), (9990567, (9974286,
  9988560))), (((9995660, 9914696), (9990032, 9929822)), ((9995660, 9914696),
  (9990036, 9929822)))), (((9980672, 9986007), (9980675, 9986010)), (((9980348,
  9929822), 9994648), ((9980351, 9929822), 9994651)))), ((((9990569, (9974288,
  9988563)), (9990571, (9974290, 9988564))), (((9995660, 9914696), (9990038,
  9929822)), ((9995660, 9914696), (9990040, 9929822)))), (((9980678, 9986013),
  (9980679, 9986015)), (((9980354, 9929822), 9994654), ((9980355, 9929822),
  9994656))))), (((9995108, 9980100), 9985056), ((9995112, 9980104), 9985060)))),
  ((((9963209, (9969465, 9981285)), (9963209, (9969465, 9981285))), ((9968747,
  9990472), (9968747, 9990472))), ((((((9990571, (9974290, 9988565)), (9990572,
  (9974291, 9988565))), (((9995660, 9914696), (9990041, 9929822)), ((9995660,
  9914696), (9990041, 9929822)))), (((9980680, 9986015), (9980680, 9986015)),
  (((9980356, 9929822), 9994656), ((9980356, 9929822), 9994656)))), ((((9990572,
  (9974291, 9988565)), (9985858, 9995115)), (((9995660, 9914696), (9990041,
  9929822)), ((9990946, 9909982), (9985327, 9925108)))), (((9980680, 9986015),
  (9975967, 9981302)), (((9980356, 9929822), 9994656), ((9975643, 9925108),
  9989943))))), (((9995113, 9980105), 9985061), ((9995113, 9980105),
  9985061))))))), ((9840143, ((9877940, 9977959), 9951364)), (9963881,
  (((9997796, ((9947847, 9969572), 9972968)), ((((9988658, 9998861), (9985319,
  9983397)), ((9958321, 9968524), (9954982, 9953060))), ((9978264, 9964161),
  9996561))), (9983710, (9995121, 9968653)))))))), (9923634, (8938438, ((9981300,
  (9856119, ((9934169, 9957762), 9992083))), (9901464, (9776282, 9954936)))))),
  (((((9747893, (9888345, 9939874)), (9726952, 9992749)), ((9840200, ((9959968,
  9956200), (9959969, 9956101))), (9819259, (9939028, 9935140)))), ((((((9941557,
  (9969085, 9965088)), (9941557, (9969085, 9965089))), ((9937564, 9965819),
  (9937565, 9965820))), ((((((9954814, 9967576), (9954819, 9967580)), 9991091),
  (((9967084, 9947112), (9967088, 9947116)), 9980597)), ((((9954819, 9967581),
  (9954819, 9967581)), 9991092), (((9967089, 9947117), (9967089, 9947117)),
  9980598))), ((9971230, 9948251), (9971231, 9948252)))), ((((9920591, 9981372),
  9994082), ((9916599, 9944853), 9990089)), ((((9989340, 9970125), 9996881),
  (9949167, 9938673)), ((9950265, 9927285), 9992648)))), (((((9909081, 9917223),
  (9871643, 9866036)), ((9909082, 9917224), (9871544, 9865937))), (((9914129,
  9881383), 9950492), ((9914130, 9881384), 9950393))), ((((9888116, 9896258),
  9961606), 9982282), 9998080)))), ((9987714, ((9711498, 9896026), (9631661,
  9816190))), ((((9944553, 9940561), (((9899626, 9889132), 9957540), 9943120)),
  (9934540, 9937099)), ((9943168, 9890318), (9863332, 9810481)))))), (((8701196,
  (((9742184, (((9994208, (9930018, 9669724)), (9994208, (9930018, 9669724))),
  9484837)), (9721284, (9987560, 9463937))), 9022581)), (8572503, (((9613491,
  (9879767, 9356144)), 9931667), 8893888))), ((((((((9927681, 9669724), (9927681,
  9669724)), 9951034), 9485490), (9985223, 9464590)), ((9884216, 9485490),
  9995673)), 9107458), ((((9877430, 9356797), 9929982), 9887921), 8978765)))),
  (((((((9862749, ((9943981, 9938155), (9943882, 9938175))), (9863700, 9925633)),
  ((9840925, 9979935), (9835262, 9897196))), (((9974200, 9893098), (9880454,
  9777163)), ((9952376, 9871274), (9852016, 9748725)))), (((9883018, 9917705),
  (9807454, 9842142)), 9998485)), (((((9733314, 9872324), (9653588, 9792599)),
  ((9728721, 9790655), (9649767, 9711701))), (((9844765, 9763663), 9980479),
  9960925)), (((9719367, 9754055), (9657103, 9691791)), 9834591))), (((9889075,
  9107458), 9844029), 9955101))), 8512199)), ((((((((((9800833, 9743849),
  (9800833, 9743849)), 9934866), 9835083), ((((9800833, 9743849), (9800833,
  9743849)), 9934912), 9835083)), ((9545316, 9124937), (9543941, 9123561))),
  9637446), ((((((9800743, 9743759), 9945285), ((9800637, 9743654), 9889644)),
  9834887), (9543924, 9123545)), 9637251)), 8540710), ((((((((9730160, 9673176),
  9996580), 9813368), 9764180), (9974796, 9576652)), ((9538352, 9117972),
  9989006)), 9566678), 8470137))), (((((((9782267, (8797072, (((9839943,
  9972881), (9791089, 9924026)), 9966794))), (9632955, (8647760, 9906070))),
  ((((9846347, 9938654), 9994977), ((((9873019, 9875578), (9824165, 9826724)),
  ((9801811, 9748961), 9968396)), ((9784399, 9786958), 9928606))), (9934285,
  (9939146, 9867939)))), (9981432, (((9868462, 8837399), 9975384), 9914666))),
  ((((((9960557, 9957319), 9997913), 9950061), (9966408, 9713303)), ((9937328,
  9801008), (9822207, 9569102))), 9813925)), 8185954), (((((9869568, 9471424),
  9943727), ((9775473, 9377328), 9882850)), 9273837), 8177107))),
  ((((((((9555118, 9996159), (9507338, 9948380)), ((9856448, 9935044), (9808669,
  9887265))), 9839160), ((9973473, (9776355, 9854952)), 9759067)), (((((9859595,
  9723275), (9811880, 9675560)), ((9746890, 9493785), (9700621, 9447515))),
  9587089), (((9779610, 9643290), (9669313, 9416208)), 9507104))), 8043501),
  ((((((9707558, 9309414), (9665625, 9267481)), 9851143), 9111777), (((9637166,
  9239022), 9814968), 9041385)), 8015042))), ((((((9932553, ((9735435, 9814031),
  (9710596, 9789192))), 9718147), ((9891033, (9693915, 9772511)), 9676627)),
  (((((9738744, 9602424), (9629649, 9376544)), ((9713938, 9577618), (9605563,
  9352457))), 9466238), (((9697279, 9560959), (9589384, 9336278)), 9424773))),
  7922489), ((((((9601015, 9202871), (9579011, 9180867)), 9791673), 9005234),
  (((9564210, 9166066), 9767297), 8968429)), 7908498))), ((((((9870043,
  ((9672926, 9751522), (9660258, 9738854))), 9655638), ((9848899, (9651782,
  9730378)), 9634494)), (((((9676318, 9539998), (9569021, 9315916)), ((9663666,
  9527346), (9556730, 9303624))), 9403812), (((9655201, 9518881), (9548504,
  9295398)), 9382695))), 7859979), ((((((9545559, 9147415), (9534288, 9136144)),
  9754734), 8949778), (((9526740, 9128596), 9741891), 8930959)), 7853043))),
  ((((((9838269, ((9641151, 9719747), (9634754, 9713350))), 9623863), ((9827598,
  (9630481, 9709077)), 9613193)), (((((9644584, 9508265), (9538186, 9285081)),
  ((9638196, 9501876), (9531977, 9278871))), 9372079), (((9633928, 9497608),
  (9527829, 9274724)), 9361423))), 7828205), ((((((9517267, 9119123), (9511562,
  9113418)), 9735380), 8921486), (((9507751, 9109607), 9728795), 8911970)),
  7824751)))


partial: 2315 leaves; maximum 9998999/10000000
  ((((((((((((((9951780, (8956686, (((9809934, (9995646, (9878820, 9978839))),
  (9933671, ((((9973550, 9991642), ((((9958976, 9973088), (9962366, 9960444)),
  ((9964413, 9978525), (9967585, 9965663))), ((9961567, 9947463), (9966572,
  9952469)))), ((9983804, (9945564, 9967289)), ((((9969642, 9983754), (9972599,
  9970677)), ((9974666, 9988778), (9977411, 9975489))), ((9971376, 9957272),
  (9975981, 9961877))))), ((9998199, ((9954064, 9975788), (9958933, 9980658))),
  ((((9983421, 9997625), (9986380, 9984458)), ((9986611, ((9985229, 9994071),
  (9985428, 9996669))), (9991508, 9989586))), ((9984481, 9970377), (9989350,
  9975246))))))), ((9820839, ((9885327, 9985346), (9885807, 9985826))), (9944576,
  (((((9944085, 9981575), (9944979, 9982469)), ((9962366, 9985278), (9964421,
  9988018))), ((((9989609, ((9986116, 9998724), (9989029, (9977134, 9942171)))),
  (9993212, 9994460)), ((9989451, ((9988504, (9978830, 9944578)), (9989234,
  (9977483, 9946922)))), (9993850, (9996803, (9997364, 9991689))))), ((9993970,
  9979866), (9998345, 9984241)))), ((((9947942, 9985432), (9946980, 9984470)),
  ((9964250, 9986096), (9963923, 9985648))), ((((9992020, ((9990531, (9977924,
  9948329)), (9990865, (9980041, 9950445)))), (9995612, ((9997412, 9992975),
  ((9975242, 9946234), 9994388)))), ((9991939, ((9990529, (9979597, 9953585)),
  (9991081, (9979895, 9954653)))), (9994287, (((9976807, 9948333), 9997437),
  ((9976844, 9950373), 9996119))))), (((9990366, 9985024), 9988376), ((9989308,
  9984344), 9992276)))))))))), (9990143, (9005097, (((9832209, ((9887072,
  9987091), (9888361, 9988380))), (9955947, (((((9949252, 9986742), (9949661,
  9987151)), ((9964259, 9985984), (9964250, 9985975))), ((((9994864, ((9992358,
  (9980945, 9953458)), (9994317, (9982179, 9952410)))), (9996319, (((9976392,
  9950337), 9994677), ((9976331, 9950277), 9994397)))), ((9995200, ((9994765,
  (9982014, 9952457)), (9994381, (9980856, 9953541)))), (9996492, (((9976765,
  9951285), 9995212), ((9975441, 9952478), 9993934))))), ((9997511, 9994378),
  (9995378, 9995828)))), ((((9950107, 9987597), (9952183, 9989673)), ((9963512,
  9985237), (9964642, 9986366))), ((((9995978, ((9994145, (9980474, 9955609)),
  (9994626, (9980825, 9955352)))), (9996708, ((9998851, 9993254), ((9975129,
  9954873), 9993339)))), ((9998282, ((9995658, (9981739, 9955308)), (9997039,
  (9983014, 9953999)))), (9998558, (((9975925, 9953660), 9994016), ((9977094,
  9951893), 9995078))))), ((9993930, 9994444), (9995059, 9992248))))))),
  ((9840938, ((9891157, 9991176), (9891394, 9991413))), (9964675, (((((9955470,
  9992960), (9955488, 9992978)), ((9966175, 9987900), (9965543, 9987268))),
  ((((((9980888, 9991898), (9982683, 9993358)), ((9998751, (9984631, 9952971)),
  ((9991611, 9939636), (9986091, 9952574)))), (((9974498, 9979834), (9975589,
  9980924)), (((9978615, 9950798), 9996502), ((9979739, 9950344), 9996592)))),
  ((((9982670, 9993261), (9982828, 9993343)), (((9991598, 9939888), (9985993,
  9952778)), ((9991276, 9940708), (9986040, 9953556)))), (((9975383, 9980719),
  (9975371, 9980707)), (((9979072, 9950499), 9995054), ((9978046, 9951237),
  9993951))))), ((9996592, 9990437), (9995960, 9987476)))), ((((9955641,
  9993131), (9955801, 9993291)), ((9965754, 9987479), (9965981, 9987706))),
  ((((((9983147, 9993593), (9983034, 9993600)), (((9990879, 9942070), (9985488,
  9954884)), ((9990680, 9943856), (9984912, 9955823)))), (((9975541, 9980877),
  (9975681, 9981016)), (((9977424, 9952531), 9993259), ((9976985, 9952624),
  9992959)))), ((((9983023, 9993563), (9983191, 9993710)), (((9990356, 9943471),
  (9984500, 9955412)), ((9990351, 9943466), (9984473, 9955385)))), (((9975617,
  9980952), (9975744, 9981080)), (((9976547, 9952186), 9992512), ((9976498,
  9952138), 9992443))))), ((9996171, 9986284), (9996398, 9985956))))))))))),
  (((((9746693, ((9875091, 9941643), (9887145, 9951600))), (9859847, ((9971097,
  9971887), (9979615, 9978984)))), ((9761833, (9897398, 9963268)), (9868427,
  ((9984291, 9982845), (9988196, 9985418))))), ((((((9928303, 9989084), (9939334,
  9967589)), ((9940357, (9996766, (9967885, 9971030))), (9949290, 9977545))),
  (((((9988451, 9978284), 9995991), ((9997053, 9986115), ((9998293, (9953835,
  9933863)), 9975621))), ((9965905, 9942925), (9973000, 9950021))), (((((9949248,
  9962009), 9993133), ((9953619, 9966381), 9997034)), (((9961517, 9941545),
  9982639), ((9965889, 9945917), 9986540))), (9982957, 9959977)))), ((((9920210,
  9928352), (9887331, 9881723)), ((9928728, 9936870), (9894428, 9888820))),
  ((((9919532, 9886786), (9925257, 9892512)), 9966179), ((9933776, 9901030),
  9973276)))), (((((9948387, (9974588, 9978148)), (9950610, (9974831, 9979498))),
  ((9955546, 9983801), (9960959, 9989213))), ((((((9957752, 9970513), (9961649,
  9974411)), ((9945218, 9948181), (9948664, 9951628))), (((9970021, 9950049),
  (9973919, 9953947)), 9993657)), ((((9960517, 9976181), (9960565, 9976229)),
  ((9951395, 9954854), (9950189, 9957864))), (((9977587, 9957615), (9981029,
  9961057)), (9996884, (9951231, 9929164))))), ((9989212, 9966233), (9994625,
  9971646)))), ((((9933404, 9941547), (9898289, 9892681)), ((9937309, 9945451),
  (9900862, 9895254))), (((9938452, 9905706), 9977137), ((9942357, 9909611),
  9979710)))))), ((((9751830, (9890556, 9950091)), (9748007, (9888535,
  9939258))), ((9856241, (9972877, 9965521)), (9831657, (9951502, 9936689)))),
  ((((((9947239, (9972452, 9975291)), (9943769, (9970592, 9971022))), ((9955925,
  9984180), (9947782, 9976037))), ((((((9958744, 9974385), (9958186, 9971669)),
  ((9947260, 9952971), (9945983, 9949502))), (((9976183, 9964278), (9973468,
  9967283)), ((9954030, 9931963), (9951301, 9934554)))), ((((9956183, 9968946),
  (9956326, 9969087)), 9997025), (((9970745, 9966242), (9970886, 9962070)),
  9994315))), ((9990344, 9976248), (9981448, 9966391)))), ((((9941612, (9969079,
  9967071)), (9941748, (9969314, 9966425))), ((9940528, 9968782), (9936949,
  9965203))), ((((((9956090, 9968852), (9954813, 9967574)), 9993074), (((9970650,
  9958458), (9969071, 9954831)), 9984584)), ((((9954512, 9967274), (9955048,
  9967809)), 9992428), (((9967356, 9953116), (9967333, 9953093)), 9981949))),
  ((9974194, 9953251), (9970615, 9947651))))), (((((9936442, 9945360), (9921990,
  9930132)), ((9902145, 9896537), (9880964, 9875357))), (((9945259, 9912776),
  (9930031, 9902246)), 9967043)), ((((9908453, 9916595), (9900615, 9908757)),
  9983831), (((9915569, 9882823), (9905679, 9872933)), 9930997))))))),
  (((8757405, (((9796695, (((((9953382, 9731912), (9935625, 9746164)), ((9959312,
  9731912), (9941008, 9746164))), 9561277), ((((9964971, 9731912), (9967659,
  9731912)), ((9946132, 9746164), (9951001, 9746164))), 9561277))), 9099021),
  ((9805100, ((((9971140, 9731912), (9959996, 9746164)), ((9974475, 9731912),
  (9964036, 9746164))), 9561277)), 9099021))), (8774637, (((9811294, ((((9977666,
  9731912), (9966876, 9746164)), ((9980716, 9731912), (9969582, 9746164))),
  9561277)), (9818624, ((((9981144, 9731912), (9971803, 9746164)), ((9986403,
  9731912), (9974602, 9746164))), 9561277))), 9099021))), ((((((((9995258,
  (9921680, 9741401)), 9952804), 9561930), ((((9926296, 9742871), (9930667,
  9744307)), 9962760), 9561930)), ((9895344, 9561930), (9903862, 9561930))),
  9183898), ((((((9938697, 9746164), (9945808, 9746164)), 9974428), 9561930),
  (9912443, 9561930)), 9183898)), (((((((9952034, 9746164), (9957410, 9746164)),
  9982858), 9561930), ((((9960058, 9746164), (9959945, 9746164)), 9977589),
  9561930)), ((9918065, 9561930), (9898687, 9561930))), 9183898)))),
  (((((9029778, 9877733), (9045034, 9887775)), ((9030248, (((9848557, ((9893737,
  9993756), (9896738, 9996757))), (9972294, (((((9956649, 9994139), (9958121,
  9995611)), ((9966709, 9988434), (9968114, 9989839))), ((((((9983529, 9994030),
  (9984029, 9994516)), (((9990674, 9943789), (9984778, 9955690)), ((9991174,
  9944289), (9985264, 9956176)))), (((9976049, 9981385), (9976524, 9981859)),
  (((9976786, 9952426), 9992714), ((9977259, 9952899), 9993174)))), ((((9984686,
  9995162), (9985494, 9995962)), (((9991831, 9944946), (9985910, 9956822)),
  ((9992638, 9945397), (9986710, 9956754)))), (((9977161, 9982497), (9977955,
  9983290)), (((9977895, 9953535), 9993800), ((9978688, 9952946), 9994586))))),
  ((9997126, 9986669), (9998531, 9988074)))), ((((9960172, 9997662), (9961111,
  9998601)), ((9968514, 9990239), (9968158, 9989883))), ((((((9986447, 9996910),
  (9987540, 9998000)), (((9993591, 9944927), (9987658, 9956278)), ((9994684,
  9944748), (9988749, 9956095)))), (((9978899, 9984234), (9979777, 9985112)),
  (((9979631, 9952464), 9995526), ((9980508, 9952278), 9995694)))), ((((9988577,
  9998317), (9988476, 9998205)), (((9995913, 9944849), (9989065, 9956194)),
  ((9996252, 9945220), (9988953, 9956566)))), (((9979585, 9984921), (9979462,
  9984798)), (((9980316, 9952377), 9995489), ((9980192, 9952751), 9995356))))),
  ((9998931, 9988474), (9998575, 9987942))))))), ((9854416, ((9896926, 9996945),
  (9897946, 9997965))), (9978154, (((((9961091, 9998581), (9961296, 9998786)),
  ((9968081, 9989806), (9968258, 9989983))), ((((((9988436, 9998155), (9988455,
  9998166)), (((9996212, 9945852), (9988903, 9957201)), ((9996231, 9946736),
  (9988914, 9958089)))), (((9979405, 9984740), (9979409, 9984745)), (((9980134,
  9953388), 9995290), ((9980139, 9954281), 9995289)))), ((((9988530, 9998236),
  (9988659, 9998361)), (((9996305, 9947864), (9988984, 9959223)), ((9996435,
  9949228), (9989109, 9960593)))), (((9979474, 9984810), (9979596, 9984932)),
  (((9980204, 9955421), 9995062), ((9980075, 9956010), 9994701))))), ((9998498,
  9986281), (9998675, 9985374)))), ((((9961709, (9967964, 9980609)), (9962316,
  (9968571, 9981221))), ((9968667, 9990392), (9969290, 9991015))), ((((((9988840,
  9998540), (9989071, 9998770)), (((9996616, 9950819), (9989189, 9962119)),
  ((9996847, 9952631), (9989166, 9962096)))), (((9979774, 9985109), (9980004,
  9985339)), (((9979887, 9955823), 9994513), ((9979865, 9955800), 9994491)))),
  ((((9989351, (9973512, 9987786)), (9989678, (9973840, 9988115))), (((9997127,
  9953376), (9989302, 9962232)), ((9997434, 9953662), (9989590, 9962520)))),
  (((9980285, 9985621), (9980616, 9985951)), (((9980001, 9955937), 9994629),
  ((9980292, 9956227), 9994922))))), (((9995033, 9980404), 9985165), ((9995656,
  9981044), 9985603))))))))), (9045504, (((9858424, (9902081, ((9924017,
  9962576), (9926406, 9965085)))), (9864459, (9908522, ((9929367, 9966856),
  (9932847, 9968136))))), ((9982162, (((((9963104, (9969360, 9982022)), (9964062,
  (9970318, 9983000))), ((9970110, 9991835), (9971114, 9992839))), ((((((9990050,
  (9974215, 9988489)), (9990467, (9974634, 9988909))), (((9997806, 9954034),
  (9989965, 9962895)), ((9998222, 9954451), (9990384, 9963314)))), (((9980993,
  9986329), (9981417, 9986752)), (((9980669, 9956605), 9995304), ((9981093,
  9957028), 9995733)))), ((((9990925, (9975097, 9989371)), (9991425, (9975602,
  9989876))), (((9998681, 9954909), (9990847, 9963777)), (((9998926, (9969419,
  9995828)), 9955409), (9991352, 9964282)))), (((9981885, 9987220), (9982395,
  9987731)), (((9981561, 9957496), 9996206), ((9982071, 9958007), 9996723))))),
  (((9996476, 9981889), 9986423), ((9997480, 9982924), 9987427)))), ((((9965181,
  (9971437, 9984144)), (9966451, (9972706, 9985444))), ((9972289, 9994014),
  (9973623, 9995348))), ((((((9991965, (9976147, 9990422)), (9992543, (9976732,
  9991007))), (((((9969684, 9996095), (9969959, 9996371)), 9955949), (9991897,
  9964827)), ((((9970244, 9996657), (9970538, 9996953)), 9956527), (9992482,
  9965412)))), (((9982947, 9988282), (9983539, 9988875)), (((9982623, 9958559),
  9997282), ((9983215, 9959151), 9997882)))), ((((9993160, (9977356, 9991630)),
  (9993813, (9978016, 9992291))), (((((9970841, 9997258), (9971154, 9997573)),
  9956377), (9993106, 9965807)), ((((9971476, 9997896), (9971807, 9998229)),
  9955968), (9993766, 9965407)))), (((9984170, 9989505), (9984839, 9990174)),
  (((9983846, 9959782), 9998521), ((9984515, 9959699), (9975258, 9953973)))))),
  (((9998655, 9983771), 9988602), ((((9973764, 9974371), (9974451, 9975058)),
  9984302), 9989937)))))), (9988196, ((((9969412, ((9974119, 9986890), (9975668,
  9988475))), (9975395, 9997119)), ((9972891, (9979147, 9990354)), (9976675,
  9998399))), (((((((9994502, (9978713, 9992988)), (9995226, (9979445,
  9993720))), (((((9972148, 9998571), (9972496, 9998922)), 9955669), (9994463,
  9965117)), (((9973220, ((9987181, 9973026), (9987549, 9973395))), 9955476),
  (9995195, 9964934)))), (((9985544, 9990879), (9986285, 9991620)), (((9985220,
  9959419), (9975972, 9953703)), ((9985961, 9959246), (9976723, 9953541))))),
  (((9996775, (9981012, 9995286)), ((((9973978, ((9987926, 9973771), (9988311,
  9974157))), 9955388), ((9974769, (9989107, 9974898)), 9955400)), ((9995962,
  9964855), (9996762, 9964877)))), ((9987870, 9993205), (((9986737, 9959177),
  (9977508, 9953483)), ((9987546, 9959210), (9977935, 9953526)))))),
  (((((9975175, 9975782), (9975605, 9976212)), 9984867), 9991091), (((9976222,
  9976829), 9985459), 9991708))), (((((9998453, (9982708, 9996983)), ((9974716,
  9997337), (9983855, 9998129))), (((((9975592, (9989935, 9975013)), (9976447,
  (9990794, 9975224))), 9955715), (9998458, 9965212)), ((((9977333, (9991684,
  9975527)), (9978248, (9992431, 9975920))), 9956401), ((((9987001, 9972876),
  9994177), ((9987344, 9973275), 9994516)), 9965919)))), (((9989079, 9994415),
  (9989749, 9995084)), (((9988755, 9959567), (9978581, 9953906)), ((9989425,
  9960296), (9979238, 9954658))))), ((((9976856, 9977462), 9986072), ((9977502,
  9978109), 9986702)), 9992988)))))))))), ((((9748963, ((9888316, 9934366),
  (9889416, 9933705))), (9824033, ((9944830, 9928833), (9943802, 9928033)))),
  ((9752985, ((9891100, 9935084), (9893437, 9937432))), (9828371, ((9945376,
  9930279), (9948139, 9933825))))), (((((((9942712, (9970255, 9964479)),
  (9941529, (9969061, 9963192))), ((9933761, 9962016), (9932057, 9960311))),
  ((((((9956255, 9969017), (9955988, 9968750)), 9990482), (((9968525, 9954285),
  (9968258, 9954018)), 9979988)), ((((9955216, 9967978), (9954795, 9967556)),
  9989195), (((9967485, 9953116), (9967064, 9950567)), 9978701))), ((9967427,
  9944448), (9965723, 9942743)))), ((((9941600, (9969128, 9962763)), (9942628,
  (9970156, 9962934))), ((9931372, 9959627), (9931396, 9959650))), ((((((9954687,
  9967449), (9954862, 9967624)), 9988767), (((9966957, 9948873), (9967132,
  9947963)), 9978273)), ((((9955293, 9968054), (9955890, 9968652)), 9988937),
  (((9967562, 9947775), (9968160, 9948187)), 9978443))), ((9965038, 9942059),
  (9965062, 9942082))))), (((((9896269, 9904411), (9893943, 9902085)), 9975975),
  (((9901317, 9868571), (9898990, 9866244)), 9923125)), ((((9892969, 9901112),
  (9892915, 9901057)), 9975175), (9998554, 9922325)))), (((((9944313, ((9970882,
  9963522), (9971841, 9964401))), (9932774, 9961029)), ((9946649, ((9972957,
  9965480), (9974177, 9966691))), (9935123, 9963378))), (((((((9956218, 9968980),
  (9956616, 9969378)), 9989525), (((9968488, 9948516), (9968886, 9948914)),
  9979031)), ((((9957072, 9969833), (9957575, 9970337)), 9990405), (((9969341,
  9949369), (9969844, 9949872)), 9979910))), ((9965580, 9942601), (9966440,
  9943461))), (((((9958691, 9971453), 9991483), ((9959911, 9972673), 9992695)),
  ((((9970387, 9950415), (9970961, 9950989)), 9980989), ((9972181, 9952209),
  9982201))), (9968789, 9945810)))), ((((9894488, 9902631), 9977421), ((9897252,
  9905395), 9980967)), ((((9898536, 9865790), (9899536, 9866790)), 9924571),
  ((9902300, 9869554), 9928117))))))), (((8777636, (((9818505, ((((9985706,
  9731912), (9970401, 9746164)), ((9985528, 9731912), (9970199, 9746164))),
  9561277)), (9818624, ((((9989536, 9731912), (9974297, 9746164)), ((9996196,
  9731912), (9980272, 9746164))), 9561277))), 9099021)), (8777636, (((9818624,
  ((((9998329, 9731912), (9977173, 9746164)), ((9997851, 9731912), (9974986,
  9746164))), 9561277)), (9818624, ((((9997282, 9731912), (9974584, 9746164)),
  ((9998284, 9731912), (9975764, 9746164))), 9561277))), 9099021))),
  ((((((((9954538, 9746164), (9954351, 9746164)), 9960366), 9561930),
  ((((9954421, 9746164), (9954712, 9746164)), 9956219), 9561930)), ((9879614,
  9561930), (9875094, 9561930))), 9183898), (((((((9953861, 9746164), (9951858,
  9746164)), 9954381), 9561930), ((((9950663, 9746164), (9949433, 9746164)),
  9950847), 9561930)), ((9876667, 9561930), (9874612, 9561930))), 9183898))))),
  ((((((((9884047, ((9960211, 9951736), (9965181, 9954797))), (9873173,
  9935106)), ((9887498, ((9967939, 9955789), (9968631, 9954853))), (9870219,
  9932152))), (((9995499, 9914397), (9889927, 9786636)), ((9998949, 9917847),
  (9886973, 9783682)))), (((9872934, 9907622), (9864999, 9899686)), 9980407)),
  (((((9872794, ((9967399, 9952126), (9947214, 9935385))), (9851360, 9913294)),
  ((9829695, 9968706), (9798310, 9860244))), (((9984245, 9904096), (9868115,
  9764824)), ((9941146, 9860061), (9815082, 9711791)))), (((9838321, 9873008),
  (9781478, 9816166)), 9896905))), ((((9910314, 9183898), (9913765, 9183898)),
  9825951), ((9872088, 9183898), 9759033))), ((((((9821375, 9960386), (9794375,
  9856309)), ((9829405, 9968416), (9808929, 9870863))), ((((9932795, 9851694),
  (9932826, 9851725)), ((9807618, 9704327), (9811129, 9707838))), ((9940856,
  9859755), (9825684, 9722393)))), (((9788013, 9822701), (9811118, 9845806)),
  9926527)), (((9847642, 9183898), (9855672, 9183898)), 9772071)))), 8617151),
  (((((((9082756, 9907838), (9083226, (((9879046, ((9911643, (9935967, 9970790)),
  (9914368, (9938693, 9973450)))), ((9996010, (9470722, 9961861)), (((((9974618,
  (9980874, 9991708)), (9976012, (9982268, 9993066))), ((9977993, (9988396,
  9979306)), (9979328, (9989731, 9980628)))), (((((((9975742, 9998363), (9984542,
  9998817)), ((9976443, (9998713, (9981257, 9993965))), (9985231, ((9995235,
  9994063), (9995579, 9994404))))), (((((9979193, (9992778, 9976401)), (9980167,
  (9993125, 9976968))), 9957438), ((((9987687, 9973762), 9994856), ((9988031,
  9974334), 9995197)), 9966978)), ((((9980907, (9993472, 9977619)), (9981257,
  (9993820, 9978350))), 9958810), ((((9988375, 9974990), 9995538), ((9988720,
  9975727), 9995880)), 9968371)))), (((9990424, 9995759), (9991102, 9996438)),
  (((9990100, 9961377), (9979903, 9955763)), ((9990778, 9962793), (9980573,
  9957201))))), (((((9977141, ((9981607, 9994312), (9981956, 9994658))),
  (9985919, ((9995923, 9994746), (9996267, 9995088)))), ((9977836, ((9982304,
  9995004), (9982651, 9995349))), (9986606, ((9996611, 9995430), (9996954,
  9995771))))), (((((9981607, (9994166, 9979161)), (9981956, (9994513,
  9980049))), 9960498), ((((9989064, 9976543), 9996222), ((9989408, 9977437),
  9996564)), 9970081)), ((((9982304, (9994859, 9981013)), (9982651, (9995203,
  9982050))), 9962489), ((((9989752, 9977902), 9996906), ((9990095, 9978143),
  9997247)), 9972093)))), (((9991782, 9997117), (9992461, 9997796)), (((9991458,
  9964525), (9981245, 9957732)), ((9992137, 9966558), (9981918, 9958154)))))),
  (((((9978158, 9978765), (9978821, 9979427)), 9987998), 9994307), ((((9979487,
  9980094), (9980156, 9980762)), 9989320), 9995642)))), ((((9977388, (9983643,
  9994416)), (9978737, (9984993, 9995749))), ((9980664, (9991066, 9981959)),
  (9981988, (9992391, 9983286)))), (((((((9978527, ((9982997, 9995693), (9983342,
  9996036))), (9987289, ((9997296, 9996111), (9997637, 9996451)))), ((9979212,
  ((9983685, 9996377), (9984027, 9996717))), (9987967, ((9997977, 9996789),
  (9998315, 9997126))))), (((((9982968, (9995547, 9983105)), (9983302, (9995890,
  9983437))), 9964765), ((((9990437, 9978430), 9997587), ((9990778, 9978760),
  9997926)), 9974390)), ((((9983645, (9996232, 9983779)), (9983987, (9996572,
  9984119))), 9967203), ((((9991117, 9979100), 9998265), ((9991456, 9979439),
  9998602)), 9976847)))), (((9993138, 9998473), (9993811, (9996764, 9988919))),
  (((9992814, 9968435), (9982590, 9958761)), ((9993487, 9969108), (9983260,
  9959430))))), (((((9979890, ((9984367, 9997056), (9984705, 9997393))),
  (9988640, ((9998653, 9997462), (9998988, 9997797)))), ((9980562, ((9985042,
  9997728), 9994378)), (9989307, (((9986658, 9992496), 9998130), 9994451)))),
  (((((9984327, (9996910, 9984457)), (9984665, (9997247, 9984794))), 9969732),
  ((((9991793, 9979776), 9998938), ((9992129, 9980112), (9987012, 9975270))),
  9979397)), ((((9985002, (9997583, 9985130)), (9976532, (9988952, 9976499))),
  9972350), ((((9992463, 9980446), (9987345, 9975603)), 9995926), 9980128)))),
  (((9994480, (9997433, 9989585)), (9994995, (9997947, 9989703))), (((9994156,
  9969777), (9983926, 9960096)), ((9994671, 9970292), (9984044, 9960215)))))),
  (((((9980824, 9981431), (9981491, 9982098)), 9990652), 9996977), ((((9982155,
  9982762), (9981844, 9982450)), 9991978), 9998302))))))), ((9868191, ((9899030,
  (9923354, 9956613)), 9966883)), (9991928, (((((9962115, (9968370, 9978439)),
  9984307), ((9963871, 9985595), 9986120)), ((((((9988822, 9997241), 9990794),
  (((9997820, 9957016), (9987453, 9962524)), (9989780, 9994382))), (((9977184,
  9982519), 9985716), (((9976860, 9952480), 9990180), 9983794))), ((9975169,
  9989281), (9970099, 9968177))), ((9994288, 9980184), (9961050, 9946946)))),
  ((9955041, 9956923), (((9993355, 9988309), 9981430), 9980516)))))))), (9944441,
  (8959246, ((9998999, (9873818, ((9945346, 9968939), (9899278, 9922871)))),
  (9912674, (9787493, 9961927)))))), (((((9758264, ((9896043, 9940207), (9898716,
  9943124))), (9835049, ((9951403, 9937858), (9954818, 9941986)))), ((9741972,
  (9882425, 9921330)), (9805057, 9989586))), ((((((9949255, ((9975462, 9967990),
  (9976783, 9969339))), (9937898, 9966153)), ((9951928, (9979457, 9972100)),
  (9940814, 9969069))), ((((((9961196, 9973958), 9993993), ((9962517, 9975279),
  9995343)), (((9973466, 9953493), 9983499), ((9974787, 9954814), 9984848))),
  (9971564, 9948585)), (((((9963854, 9976615), (9965190, 9977952)), 9998103),
  (((9976123, 9956151), (9977460, 9957488)), 9987609)), (9974481, 9951501)))),
  ((((9900516, 9908658), 9985000), ((9903931, 9912073), 9989128)), (((9905564,
  9872818), 9932150), ((9908979, 9876233), 9936278)))), (((((9933098, 9993878),
  (9869616, 9930397)), ((9916200, 9944454), 9985205)), ((((((9945052, 9957814),
  9967415), 9976705), (((9957322, 9937350), 9972860), 9966211)), (9956400,
  9945906)), ((9949866, 9926887), 9987764))), ((((9870669, 9878811), 9943876),
  9972005), 9983877)))), ((9997387, ((9691519, 9876048), 9977419)), ((((9950066,
  9934931), (((9902866, 9892372), 9957722), 9937490)), (9934373, 9936932)),
  ((9923190, 9870340), (9840576, 9787725)))))), (((8777636, (((9818624,
  ((((((9964714, 9989550), (9967628, 9993315)), 9731912), (9982214, 9746164)),
  ((((9970479, 9998112), (9970479, (9959513, 9834204))), 9731912), (9991053,
  9746164))), 9561277)), (9802294, ((((9988516, 9713970), (9969573, 9726741)),
  (9986401, 9979133)), 9543336))), 9099021)), (8638947, (((9679564, (9944219,
  9420839)), 9987337), 8959961))), ((((((((9949821, 9746164), 9951432),
  ((9952430, 9746164), 9954284)), 9561930), (9879065, 9561930)), (((((9933599,
  9724699), 9945465), 9932491), 9540465), 9981471)), 9183898), ((((9888434,
  9418494), 9934002), 9873263), 9040463)))), (((((((9839457, 9978468), (9823609,
  9885543)), ((9783002, 9922012), (9724892, 9786826))), (((9950908, 9869806),
  (9840364, 9737073)), ((9894453, 9813351), 9957086))), (((9789712, 9824400),
  (9672507, 9707195)), 9920759)), (((((9676437, 9815447), 9997298), (9967461,
  9927195)), (((9787888, 9706786), 9860978), 9956910)), (9968971, 9715866))),
  (((9875045, 9183898), 9766303), 9905178))), 8569576)), ((((((((((9644439,
  9587455), 9512749), (9965614, 9480159)), 9660384), 9731330), ((9921100,
  9522956), 9712438)), 9384538), (((9998468, 9600324), 9779268), 9402687)),
  8483461), (((((9926637, 9528493), (9818005, 9419860)), 9818880), 9355703),
  8317357))), (((((((9797969, (8812774, (((9846879, 9979817), (9795101,
  9928038)), 9970972))), (9638637, (8653441, 9910207))), ((((9845889, 9918777),
  9990155), ((((9869325, 9871884), (9818223, 9820782)), 9997373), (9995016,
  9907642))), (9930884, (9935745, 9851509)))), (((8479462, ((9918182, 8800557),
  9930460)), 9863193), (((9872189, 8882057), 9974716), 9911817))), ((((((9913804,
  9880038), 9955111), 9911640), (9869753, 9616647)), ((9903444, 9767124),
  (9750682, 9497576))), 9787126)), 8206300), (((((9759387, 9361243), 9814899),
  ((9675762, 9277618), 9797648)), 9177756), 8115615))), ((((((((9557156,
  9998198), (9507762, 9948803)), ((9850671, 9929267), (9802250, 9880846))),
  9861985), ((9974887, (9772128, 9850725)), 9773946)), (((((9830280, 9693960),
  (9786279, 9649959)), ((9689864, 9436759), (9653135, 9400030))), 9563201),
  (((9760076, 9623756), (9632144, 9379039)), 9487570))), 8066327), ((((((9630966,
  9232822), (9603288, 9205143)), 9786969), 9041127), (((9587802, 9189658),
  9766600), 8992021)), 7975464))), ((((((9934416, ((9730914, 9809510), (9706242,
  9784839))), 9729173), ((9891347, (9691100, 9769696)), 9683885)), (((((9722432,
  9586112), (9600212, 9347106)), ((9699987, 9563667), (9581167, 9328062))),
  9452999), (((9686813, 9550493), (9570414, 9317308)), 9414307))), 7933514),
  ((((((9562899, 9164755), (9547916, 9149772)), 9756913), 8970214), (((9539609,
  9141465), 9743569), 8943828)), 7889303))), ((((((9870774, ((9670221, 9748817),
  (9657774, 9736370))), 9661046), ((9848954, (9650189, 9728785)), 9638075)),
  (((((9667721, 9531401), (9554055, 9300950)), ((9656388, 9520068), (9544360,
  9291254))), 9396850), (((9649786, 9513466), (9538918, 9285812)), 9377280))),
  7865388), ((((((9526528, 9128384), (9518749, 9120605)), 9737611), 8932326),
  (((9514454, 9116310), 9730142), 8918673)), 7843577))), ((((((9838581,
  ((9639683, 9718279), (9633432, 9712028))), 9626540), ((9827599, (9629637,
  9708233)), 9614971)), (((((9640173, 9503853), (9530639, 9277534)), ((9634479,
  9498159), (9525748, 9272642))), 9368510), (((9631174, 9494854), (9523010,
  9269905)), 9358669))), 7830882), ((((((9507756, 9109612), (9503794, 9105650)),
  9726883), 8912773), 9996032), 7820049)))


