Test nodes tried = 953180444

Average number of tests to find the median of 7 is 9.320

a<b c<d a<c c<e c<f d<e d<g b<f b<d d<f =>  d 1234567 1234576 1234657 1234675 1234756 1234765 1324567 1324576 1324657 1324675 1324756 1324765
|   |   |   |   |   |   |   |   |   *-- =>  f 1235647 1235746 1325647 1325746
|   |   |   |   |   |   |   |   *-- b<e b<g =>  b 1423567 1423576 1423657 1423675 1423756 1423765
|   |   |   |   |   |   |   |       |   *-- =>  g 1523674 1523764
|   |   |   |   |   |   |   |       *-- e<g =>  e 1523467 1523476 1623475
|   |   |   |   |   |   |   |           *-- =>  g 1623574
|   |   |   |   |   |   |   *-- d<f e<f e<g =>  e 1623457 1723456 1723465
|   |   |   |   |   |   |       |   |   *-- =>  g 1723564
|   |   |   |   |   |   |       |   *-- f<g =>  f 1523647 1523746 1623547 1623745 1723546 1723645
|   |   |   |   |   |   |       |       *-- =>  g 1623754 1723654
|   |   |   |   |   |   |       *-- b<d =>  b 1425637 1425736
|   |   |   |   |   |   |           *-- =>  d 1524637 1524736 1624537 1624735 1724536 1724635
|   |   |   |   |   |   *-- b<d b<g f<g b<f =>  f 1236745 1326745
|   |   |   |   |   |       |   |   |   *-- =>  b 1426735
|   |   |   |   |   |       |   |   *-- c<g =>  g 1235674 1235764 1236754 1325674 1325764 1326754
|   |   |   |   |   |       |   |       *-- =>  c 1245673 1245763 1246753
|   |   |   |   |   |       |   *-- b<f b<c =>  c 1345672 1345762 1346752 2345671 2345761 2346751
|   |   |   |   |   |       |       |   *-- =>  b 1425673 1425763 1426753 1435672 1435762 1436752 2435671 2435761 2436751
|   |   |   |   |   |       |       *-- f<g =>  g 1526734
|   |   |   |   |   |       |           *-- =>  f 1526743 1536742 2536741
|   |   |   |   |   |       *-- d<f =>  d 1524673 1524763 1534672 1534762 1624573 1624753 1634572 1634752 1724563 1724653 1734562 1734652 2534671 2534761 2634571 2634751 2734561 2734651
|   |   |   |   |   |           *-- f<g =>  g 1625734 1725634
|   |   |   |   |   |               *-- =>  f 1625743 1635742 1725643 1735642 2635741 2735641
|   |   |   |   |   *-- e<g b<f b<e e<f =>  e 1235467 1235476 1236457 1236475 1237456 1237465 1325467 1325476 1326457 1326475 1327456 1327465
|   |   |   |   |       |   |   |   *-- =>  f 1236547 1237546 1326547 1327546
|   |   |   |   |       |   |   *-- b<d b<g =>  b 1425367 1425376 1426357 1426375 1427356 1427365
|   |   |   |   |       |   |       |   *-- =>  g 1526374 1527364
|   |   |   |   |       |   |       *-- d<g =>  d 1524367 1524376 1624375
|   |   |   |   |       |   |           *-- =>  g 1625374
|   |   |   |   |       |   *-- e<f d<f d<g =>  d 1624357 1724356 1724365
|   |   |   |   |       |       |   |   *-- =>  g 1725364
|   |   |   |   |       |       |   *-- f<g =>  f 1526347 1527346 1625347 1627345 1725346 1726345
|   |   |   |   |       |       |       *-- =>  g 1627354 1726354
|   |   |   |   |       |       *-- b<e =>  b 1426537 1427536
|   |   |   |   |       |           *-- =>  e 1526437 1527436 1625437 1627435 1725436 1726435
|   |   |   |   |       *-- b<e b<g f<g b<f =>  f 1237645 1327645
|   |   |   |   |           |   |   |   *-- =>  b 1427635
|   |   |   |   |           |   |   *-- c<g =>  g 1236574 1237564 1237654 1326574 1327564 1327654
|   |   |   |   |           |   |       *-- =>  c 1246573 1247563 1247653
|   |   |   |   |           |   *-- b<f b<c =>  c 1346572 1347562 1347652 2346571 2347561 2347651
|   |   |   |   |           |       |   *-- =>  b 1426573 1427563 1427653 1436572 1437562 1437652 2436571 2437561 2437651
|   |   |   |   |           |       *-- f<g =>  g 1527634
|   |   |   |   |           |           *-- =>  f 1527643 1537642 2537641
|   |   |   |   |           *-- e<f =>  e 1526473 1527463 1536472 1537462 1625473 1627453 1635472 1637452 1725463 1726453 1735462 1736452 2536471 2537461 2635471 2637451 2735461 2736451
|   |   |   |   |               *-- f<g =>  g 1627534 1726534
|   |   |   |   |                   *-- =>  f 1627543 1637542 1726543 1736542 2637541 2736541
|   |   |   |   *-- c<g b<d b<c =>  c 1245637 1245736 1246537 1246735 1247536 1247635 1345627 1345726 1346527 1346725 1347526 1347625 2345617 2345716 2346517 2346715 2347516 2347615
|   |   |   |       |   |   *-- b<e b<g =>  b 1435627 1435726 1436527 1436725 1437526 1437625 2435617 2435716 2436517 2436715 2437516 2437615
|   |   |   |       |   |       |   *-- =>  g 1536724 1537624 2536714 2537614
|   |   |   |       |   |       *-- e<g =>  e 1536427 1537426 1637425 2536417 2537416 2637415
|   |   |   |       |   |           *-- =>  g 1637524 2637514
|   |   |   |       |   *-- d<e d<g =>  d 1534627 1534726 1634527 1634725 1734526 1734625 2534617 2534716 2634517 2634715 2734516 2734615
|   |   |   |       |       |   *-- =>  g 1635724 1735624 2635714 2735614
|   |   |   |       |       *-- e<g =>  e 1635427 1735426 1736425 2635417 2735416 2736415
|   |   |   |       |           *-- =>  g 1736524 2736514
|   |   |   |       *-- b<c b<f f<g =>  g 1256734 1257634
|   |   |   |           |   |   *-- =>  f 1256743 1257643 1356742 1357642 2356741 2357641
|   |   |   |           |   *-- b<g =>  g 1356724 1357624 2356714 2357614
|   |   |   |           |       *-- =>  b 1456723 1456732 1457623 1457632 2456713 2456731 2457613 2457631 3456712 3456721 3457612 3457621
|   |   |   |           *-- =>  c 1546723 1546732 1547623 1547632 1645723 1645732 1647523 1647532 1745623 1745632 1746523 1746532 2546713 2546731 2547613 2547631 2645713 2645731 2647513 2647531 2745613 2745631 2746513 2746531 3546712 3546721 3547612 3547621 3645712 3645721 3647512 3647521 3745612 3745621 3746512 3746521
|   |   |   *-- b<c b<f b<g c<f c<g =>  c 1245367 1245376 1246357 1246375 1247356 1247365 1345267 1345276 1346257 1346275 1347256 1347265 2345167 2345176 2346157 2346175 2347156 2347165
|   |   |       |   |   |   |   *-- e<g =>  g 1256374 1257364 1356274 1357264 2356174 2357164
|   |   |       |   |   |   |       *-- =>  e 1256473 1257463
|   |   |       |   |   |   *-- e<f f<g =>  f 1256347 1257346 1267345 1356247 1357246 1367245 2356147 2357146 2367145
|   |   |       |   |   |       |   *-- e<g =>  g 1267354 1367254 2367154
|   |   |       |   |   |       |       *-- =>  e 1267453
|   |   |       |   |   |       *-- e<g =>  e 1256437 1257436 1267435
|   |   |       |   |   |           *-- f<g =>  g 1267534
|   |   |       |   |   |               *-- =>  f 1267543
|   |   |       |   |   *-- b<e e<f =>  e 1356472 1357462 1367452 2356471 2357461 2367451
|   |   |       |   |       |   *-- =>  f 1367542 2367541
|   |   |       |   |       *-- =>  b 1456273 1456372 1457263 1457362 1467253 1467352 2456173 2456371 2457163 2457361 2467153 2467351 3456172 3456271 3457162 3457261 3467152 3467251
|   |   |       |   *-- b<g b<e e<g =>  e 1356427 1357426 1367425 2356417 2357416 2367415
|   |   |       |       |   |   *-- =>  g 1367524 2367514
|   |   |       |       |   *-- =>  b 1456237 1456327 1457236 1457326 1467235 1467325 2456137 2456317 2457136 2457316 2467135 2467315 3456127 3456217 3457126 3457216 3467125 3467215
|   |   |       |       *-- a<e b<e =>  b 1467523 1467532 2467513 2467531 3467512 3467521
|   |   |       |           |   *-- e<f f<g =>  g 1567234
|   |   |       |           |       |   *-- =>  f 1567243 1567342 2567341
|   |   |       |           |       *-- e<g =>  g 1567324 2567314
|   |   |       |           |           *-- =>  e 1567423 1567432 2567413 2567431 3567412 3567421
|   |   |       |           *-- a<f f<g =>  g 2567134
|   |   |       |               |   *-- =>  f 2567143 3567142 3567241
|   |   |       |               *-- a<g =>  g 3567124 3567214
|   |   |       |                   *-- =>  a 4567123 4567132 4567213 4567231 4567312 4567321
|   |   |       *-- c<f c<g b<d b<f b<g =>  b 1435267 1435276 1436257 1436275 1437256 1437265 2435167 2435176 2436157 2436175 2437156 2437165
|   |   |           |   |   |   |   *-- =>  g 1536274 1537264 2536174 2537164
|   |   |           |   |   |   *-- f<g =>  f 1536247 1537246 1637245 2536147 2537146 2637145
|   |   |           |   |   |       *-- =>  g 1637254 2637154
|   |   |           |   |   *-- d<f d<g =>  d 1534267 1534276 1634257 1634275 1734256 1734265 2534167 2534176 2634157 2634175 2734156 2734165
|   |   |           |   |       |   *-- =>  g 1635274 1735264 2635174 2735164
|   |   |           |   |       *-- f<g =>  f 1635247 1735246 1736245 2635147 2735146 2736145
|   |   |           |   |           *-- =>  g 1736254 2736154
|   |   |           |   *-- =>  c 1546273 1546372 1547263 1547362 1645273 1645372 1647253 1647352 1745263 1745362 1746253 1746352 2546173 2546371 2547163 2547361 2645173 2645371 2647153 2647351 2745163 2745361 2746153 2746351 3546172 3546271 3547162 3547261 3645172 3645271 3647152 3647251 3745162 3745261 3746152 3746251
|   |   |           *-- c<g =>  c 1546237 1546327 1547236 1547326 1645237 1645327 1647235 1647325 1745236 1745326 1746235 1746325 2546137 2546317 2547136 2547316 2645137 2645317 2647135 2647315 2745136 2745316 2746135 2746315 3546127 3546217 3547126 3547216 3645127 3645217 3647125 3647215 3745126 3745216 3746125 3746215
|   |   |               *-- a<e e<f f<g =>  g 1657234 1756234
|   |   |                   |   |   *-- =>  f 1657243 1657342 1756243 1756342 2657341 2756341
|   |   |                   |   *-- e<g =>  g 1657324 1756324 2657314 2756314
|   |   |                   |       *-- =>  e 1657423 1657432 1756423 1756432 2657413 2657431 2756413 2756431 3657412 3657421 3756412 3756421
|   |   |                   *-- a<f f<g =>  g 2657134 2756134
|   |   |                       |   *-- =>  f 2657143 2756143 3657142 3657241 3756142 3756241
|   |   |                       *-- a<g =>  g 3657124 3657214 3756124 3756214
|   |   |                           *-- =>  a 4657123 4657132 4657213 4657231 4657312 4657321 4756123 4756132 4756213 4756231 4756312 4756321
|   |   *-- a<e a<f b<e b<g d<f b<d d<e d<g =>  d 2314567 2314576 2314657 2314675 2314756 2314765
|   |       |   |   |   |   |   |   |   *-- =>  g 2315674 2315764
|   |       |   |   |   |   |   |   *-- e<g =>  e 2315467 2315476 2316475
|   |       |   |   |   |   |   |       *-- =>  g 2316574
|   |       |   |   |   |   |   *-- b<f =>  b 2413567 2413576 2413657 2413675 2413756 2413765 3412567 3412576 3412657 3412675 3412756 3412765
|   |       |   |   |   |   |       *-- =>  f 2513647 2513746 3512647 3512746
|   |       |   |   |   |   *-- b<f e<f e<g =>  e 2316457 2317456 2317465
|   |       |   |   |   |       |   |   *-- =>  g 2317564
|   |       |   |   |   |       |   *-- f<g =>  f 2315647 2315746 2316547 2316745 2317546 2317645
|   |       |   |   |   |       |       *-- =>  g 2316754 2317654
|   |       |   |   |   |       *-- b<d =>  b 2415637 2415736 2416537 2416735 2417536 2417635
|   |       |   |   |   |           *-- =>  d 2514637 2514736
|   |       |   |   |   *-- b<d b<f =>  b 2415673 2415763 2416573 2416753 2417563 2417653 3415672 3415762 3416572 3416752 3417562 3417652 3425671 3425761 3426571 3426751 3427561 3427651
|   |       |   |   |       |   *-- f<g =>  g 2516734 2517634
|   |       |   |   |       |       *-- =>  f 2516743 2517643 3516742 3517642 3526741 3527641
|   |       |   |   |       *-- d<g f<g d<f =>  f 2613745 3612745
|   |       |   |   |           |   |   *-- =>  d 2614735
|   |       |   |   |           |   *-- a<g =>  g 2513674 2513764 2613754 3512674 3512764 3612754
|   |       |   |   |           |       *-- =>  a 4512673 4512763 4612753
|   |       |   |   |           *-- d<f a<d =>  d 2514673 2514763 2614753 3514672 3514762 3524671 3524761 3614752 3624751
|   |       |   |   |               |   *-- =>  a 4513672 4513762 4523671 4523761 4613752 4623751
|   |       |   |   |               *-- f<g =>  g 2615734
|   |       |   |   |                   *-- =>  f 2615743 3615742 3625741
|   |       |   |   *-- e<g d<f d<e e<f =>  e 2513467 2513476 2613457 2613475 2713456 2713465 3512467 3512476 3612457 3612475 3712456 3712465
|   |       |   |       |   |   |   *-- =>  f 2613547 2713546 3612547 3712546
|   |       |   |       |   |   *-- b<d b<g =>  b 2415367 2415376 2416375
|   |       |   |       |   |       |   *-- =>  g 2516374
|   |       |   |       |   |       *-- d<g =>  d 2514367 2514376 2614357 2614375 2714356 2714365
|   |       |   |       |   |           *-- =>  g 2615374 2715364
|   |       |   |       |   *-- e<f b<f b<g =>  b 2416357 2417356 2417365
|   |       |   |       |       |   |   *-- =>  g 2517364
|   |       |   |       |       |   *-- f<g =>  f 2516347 2517346 2615347 2617345 2715346 2716345
|   |       |   |       |       |       *-- =>  g 2617354 2716354
|   |       |   |       |       *-- d<e =>  d 2614537 2714536
|   |       |   |       |           *-- =>  e 2516437 2517436 2615437 2617435 2715436 2716435
|   |       |   |       *-- d<e d<g f<g d<f =>  f 2713645 3712645
|   |       |   |           |   |   |   *-- =>  d 2714635
|   |       |   |           |   |   *-- a<g =>  g 2613574 2713564 2713654 3612574 3712564 3712654
|   |       |   |           |   |       *-- =>  a 4612573 4712563 4712653
|   |       |   |           |   *-- d<f a<d =>  d 2614573 2714563 2714653 3614572 3624571 3714562 3714652 3724561 3724651
|   |       |   |           |       |   *-- =>  a 4613572 4623571 4713562 4713652 4723561 4723651
|   |       |   |           |       *-- f<g =>  g 2715634
|   |       |   |           |           *-- =>  f 2715643 3715642 3725641
|   |       |   |           *-- e<f =>  e 2516473 2517463 2615473 2617453 2715463 2716453 3516472 3517462 3526471 3527461 3615472 3617452 3625471 3627451 3715462 3716452 3725461 3726451
|   |       |   |               *-- f<g =>  g 2617534 2716534
|   |       |   |                   *-- =>  f 2617543 2716543 3617542 3627541 3716542 3726541
|   |       |   *-- a<g b<d b<e b<g =>  b 3415627 3415726 3416527 3416725 3417526 3417625 3425617 3425716 3426517 3426715 3427516 3427615
|   |       |       |   |   |   *-- =>  g 3516724 3517624 3526714 3527614
|   |       |       |   |   *-- e<g =>  e 3516427 3517426 3526417 3527416 3617425 3627415
|   |       |       |   |       *-- =>  g 3617524 3627514
|   |       |       |   *-- a<d d<e d<g =>  d 3514627 3514726 3524617 3524716 3614527 3614725 3624517 3624715 3714526 3714625 3724516 3724615
|   |       |       |       |   |   *-- =>  g 3615724 3625714 3715624 3725614
|   |       |       |       |   *-- e<g =>  e 3615427 3625417 3715426 3716425 3725416 3726415
|   |       |       |       |       *-- =>  g 3716524 3726514
|   |       |       |       *-- =>  a 4512637 4512736 4513627 4513726 4523617 4523716 4612537 4612735 4613527 4613725 4623517 4623715 4712536 4712635 4713526 4713625 4723516 4723615
|   |       |       *-- a<d =>  a 4516723 4516732 4517623 4517632 4526713 4526731 4527613 4527631 4536712 4536721 4537612 4537621 4615723 4615732 4617523 4617532 4625713 4625731 4627513 4627531 4635712 4635721 4637512 4637521 4715623 4715632 4716523 4716532 4725613 4725631 4726513 4726531 4735612 4735621 4736512 4736521
|   |       |           *-- d<f f<g =>  g 5612734 5712634
|   |       |               |   *-- =>  f 5612743 5613742 5623741 5712643 5713642 5723641
|   |       |               *-- d<g =>  g 5613724 5623714 5713624 5723614
|   |       |                   *-- =>  d 5614723 5614732 5624713 5624731 5634712 5634721 5714623 5714632 5724613 5724631 5734612 5734621
|   |       *-- a<d a<f a<g b<d b<f b<g =>  b 3415267 3415276 3416257 3416275 3417256 3417265 3425167 3425176 3426157 3426175 3427156 3427165
|   |           |   |   |   |   |   *-- =>  g 3516274 3517264 3526174 3527164
|   |           |   |   |   |   *-- f<g =>  f 3516247 3517246 3526147 3527146 3617245 3627145
|   |           |   |   |   |       *-- =>  g 3617254 3627154
|   |           |   |   |   *-- d<f d<g =>  d 3514267 3514276 3524167 3524176 3614257 3614275 3624157 3624175 3714256 3714265 3724156 3724165
|   |           |   |   |       |   *-- =>  g 3615274 3625174 3715264 3725164
|   |           |   |   |       *-- f<g =>  f 3615247 3625147 3715246 3716245 3725146 3726145
|   |           |   |   |           *-- =>  g 3716254 3726154
|   |           |   |   *-- =>  a 4516273 4516372 4517263 4517362 4526173 4526371 4527163 4527361 4536172 4536271 4537162 4537261 4615273 4615372 4617253 4617352 4625173 4625371 4627153 4627351 4635172 4635271 4637152 4637251 4715263 4715362 4716253 4716352 4725163 4725361 4726153 4726351 4735162 4735261 4736152 4736251
|   |           |   *-- a<g =>  a 4516237 4516327 4517236 4517326 4526137 4526317 4527136 4527316 4536127 4536217 4537126 4537216 4615237 4615327 4617235 4617325 4625137 4625317 4627135 4627315 4635127 4635217 4637125 4637215 4715236 4715326 4716235 4716325 4725136 4725316 4726135 4726315 4735126 4735216 4736125 4736215
|   |           |       *-- c<e e<f f<g =>  g 5617234 5716234
|   |           |           |   |   *-- =>  f 5617243 5617342 5627341 5716243 5716342 5726341
|   |           |           |   *-- e<g =>  g 5617324 5627314 5716324 5726314
|   |           |           |       *-- =>  e 5617423 5617432 5627413 5627431 5637412 5637421 5716423 5716432 5726413 5726431 5736412 5736421
|   |           |           *-- c<f f<g =>  g 5627134 5726134
|   |           |               |   *-- =>  f 5627143 5637142 5637241 5726143 5736142 5736241
|   |           |               *-- c<g =>  g 5637124 5637214 5736124 5736214
|   |           |                   *-- =>  c 5647123 5647132 5647213 5647231 5647312 5647321 5746123 5746132 5746213 5746231 5746312 5746321
|   |           *-- d<f a<g a<f =>  a 4512367 4512376 4513267 4513276 4523167 4523176 4612357 4612375 4613257 4613275 4623157 4623175 4712356 4712365 4713256 4713265 4723156 4723165
|   |               |   |   *-- e<f =>  f 5612347 5613247 5623147 5712346 5713246 5723146
|   |               |   |       *-- =>  e 5612437 5712436
|   |               |   *-- d<e e<f e<g f<g =>  f 6712345
|   |               |       |   |   |   *-- =>  g 5612374 5712364 6712354
|   |               |       |   |   *-- =>  e 5612473 5613472 5623471 5712463 5713462 5723461 6712453 6713452 6723451
|   |               |       |   *-- f<g e<g =>  e 6712435
|   |               |       |       |   *-- =>  g 6712534
|   |               |       |       *-- =>  f 6712543 6713542 6723541
|   |               |       *-- d<g f<g =>  f 6713245 6723145
|   |               |           |   *-- =>  g 5613274 5623174 5713264 5723164 6713254 6723154
|   |               |           *-- =>  d 5614273 5614372 5624173 5624371 5634172 5634271 5714263 5714362 5724163 5724361 5734162 5734261 6714253 6714352 6724153 6724351 6734152 6734251
|   |               *-- d<g d<e e<g =>  e 5613427 5623417 5713426 5723416 6713425 6723415
|   |                   |   |   *-- =>  g 6713524 6723514
|   |                   |   *-- =>  d 5614237 5614327 5624137 5624317 5634127 5634217 5714236 5714326 5724136 5724316 5734126 5734216 6714235 6714325 6724135 6724315 6734125 6734215
|   |                   *-- c<e d<e =>  d 6714523 6714532 6724513 6724531 6734512 6734521
|   |                       |   *-- e<f f<g =>  g 6715234
|   |                       |       |   *-- =>  f 6715243 6715342 6725341
|   |                       |       *-- e<g =>  g 6715324 6725314
|   |                       |           *-- =>  e 6715423 6715432 6725413 6725431 6735412 6735421
|   |                       *-- c<f f<g =>  g 6725134
|   |                           |   *-- =>  f 6725143 6735142 6735241
|   |                           *-- c<g =>  g 6735124 6735214
|   |                               *-- =>  c 6745123 6745132 6745213 6745231 6745312 6745321
|   *-- b<c b<e b<d d<f d<g c<e c<f c<g =>  c 1243567 1243576 1243657 1243675 1243756 1243765
|       |   |   |   |   |   |   |   *-- =>  g 1253674 1253764
|       |   |   |   |   |   |   *-- f<g =>  f 1253647 1253746 1263745
|       |   |   |   |   |   |       *-- =>  g 1263754
|       |   |   |   |   |   *-- d<e e<f e<g =>  e 1253467 1253476 1263457 1263475 1273456 1273465
|       |   |   |   |   |       |   |   *-- =>  g 1263574 1273564
|       |   |   |   |   |       |   *-- f<g =>  f 1263547 1273546 1273645
|       |   |   |   |   |       |       *-- =>  g 1273654
|       |   |   |   |   |       *-- =>  d 1254367 1254376 1264357 1264375 1274356 1274365
|       |   |   |   |   *-- d<e =>  d 1254673 1254763 1264573 1264753 1274563 1274653 1354672 1354762 1364572 1364752 1374562 1374652 2354671 2354761 2364571 2364751 2374561 2374651
|       |   |   |   |       *-- e<g =>  g 1265374 1275364
|       |   |   |   |           *-- =>  e 1265473 1275463 1365472 1375462 2365471 2375461
|       |   |   |   *-- b<g d<e d<g =>  d 1254637 1254736 1264537 1264735 1274536 1274635 1354627 1354726 1364527 1364725 1374526 1374625 2354617 2354716 2364517 2364715 2374516 2374615
|       |   |   |       |   |   *-- f<g =>  g 1265734 1275634 1365724 1375624 2365714 2375614
|       |   |   |       |   |       *-- =>  f 1265743 1275643
|       |   |   |       |   *-- e<f f<g =>  f 1265347 1275346 1276345
|       |   |   |       |       |   *-- e<g =>  g 1276354
|       |   |   |       |       |       *-- =>  e 1276453
|       |   |   |       |       *-- e<g =>  e 1265437 1275436 1276435 1365427 1375426 1376425 2365417 2375416 2376415
|       |   |   |       |           *-- f<g =>  g 1276534 1376524 2376514
|       |   |   |       |               *-- =>  f 1276543
|       |   |   |       *-- b<f e<f =>  e 1376452 2376451
|       |   |   |           |   *-- =>  f 1365742 1375642 1376542 2365741 2375641 2376541
|       |   |   |           *-- =>  b 1465723 1465732 1475623 1475632 1476523 1476532 2465713 2465731 2475613 2475631 2476513 2476531 3465712 3465721 3475612 3475621 3476512 3476521
|       |   |   *-- b<f b<g c<e c<f c<g =>  c 1342567 1342576 1342657 1342675 1342756 1342765 2341567 2341576 2341657 2341675 2341756 2341765
|       |   |       |   |   |   |   *-- =>  g 1352674 1352764 2351674 2351764
|       |   |       |   |   |   *-- f<g =>  f 1352647 1352746 1362745 2351647 2351746 2361745
|       |   |       |   |   |       *-- =>  g 1362754 2361754
|       |   |       |   |   *-- e<f e<g =>  e 1352467 1352476 1362457 1362475 1372456 1372465 2351467 2351476 2361457 2361475 2371456 2371465
|       |   |       |   |       |   *-- =>  g 1362574 1372564 2361574 2371564
|       |   |       |   |       *-- f<g =>  f 1362547 1372546 1372645 2361547 2371546 2371645
|       |   |       |   |           *-- =>  g 1372654 2371654
|       |   |       |   *-- =>  b 1452673 1452763 1453672 1453762 1462573 1462753 1463572 1463752 1472563 1472653 1473562 1473652 2451673 2451763 2453671 2453761 2461573 2461753 2463571 2463751 2471563 2471653 2473561 2473651 3451672 3451762 3452671 3452761 3461572 3461752 3462571 3462751 3471562 3471652 3472561 3472651
|       |   |       *-- b<g =>  b 1452637 1452736 1453627 1453726 1462537 1462735 1463527 1463725 1472536 1472635 1473526 1473625 2451637 2451736 2453617 2453716 2461537 2461735 2463517 2463715 2471536 2471635 2473516 2473615 3451627 3451726 3452617 3452716 3461527 3461725 3462517 3462715 3471526 3471625 3472516 3472615
|       |   |           *-- a<d d<f f<g =>  g 1562734 1572634
|       |   |               |   |   *-- =>  f 1562743 1563742 1572643 1573642 2563741 2573641
|       |   |               |   *-- d<g =>  g 1563724 1573624 2563714 2573614
|       |   |               |       *-- =>  d 1564723 1564732 1574623 1574632 2564713 2564731 2574613 2574631 3564712 3564721 3574612 3574621
|       |   |               *-- a<f f<g =>  g 2561734 2571634
|       |   |                   |   *-- =>  f 2561743 2571643 3561742 3562741 3571642 3572641
|       |   |                   *-- a<g =>  g 3561724 3562714 3571624 3572614
|       |   |                       *-- =>  a 4561723 4561732 4562713 4562731 4563712 4563721 4571623 4571632 4572613 4572631 4573612 4573621
|       |   *-- b<f b<g b<d d<f d<g =>  d 1354267 1354276 1364257 1364275 1374256 1374265 2354167 2354176 2364157 2364175 2374156 2374165
|       |       |   |   |   |   *-- =>  g 1365274 1375264 2365174 2375164
|       |       |   |   |   *-- f<g =>  f 1365247 1375246 1376245 2365147 2375146 2376145
|       |       |   |   |       *-- =>  g 1376254 2376154
|       |       |   |   *-- =>  b 1452367 1452376 1453267 1453276 1462357 1462375 1463257 1463275 1472356 1472365 1473256 1473265 2451367 2451376 2453167 2453176 2461357 2461375 2463157 2463175 2471356 2471365 2473156 2473165 3451267 3451276 3452167 3452176 3461257 3461275 3462157 3462175 3471256 3471265 3472156 3472165
|       |       |   *-- a<d b<d =>  b 1465273 1465372 1475263 1475362 1476253 1476352 2465173 2465371 2475163 2475361 2476153 2476351 3465172 3465271 3475162 3475261 3476152 3476251
|       |       |       |   *-- d<e e<g =>  g 1562374 1572364
|       |       |       |       |   *-- =>  e 1562473 1563472 1572463 1573462 2563471 2573461
|       |       |       |       *-- d<g =>  g 1563274 1573264 2563174 2573164
|       |       |       |           *-- =>  d 1564273 1564372 1574263 1574362 2564173 2564371 2574163 2574361 3564172 3564271 3574162 3574261
|       |       |       *-- a<e e<g =>  g 2561374 2571364
|       |       |           |   *-- =>  e 2561473 2571463 3561472 3562471 3571462 3572461
|       |       |           *-- a<g =>  g 3561274 3562174 3571264 3572164
|       |       |               *-- =>  a 4561273 4561372 4562173 4562371 4563172 4563271 4571263 4571362 4572163 4572361 4573162 4573261
|       |       *-- a<e e<g d<e e<f f<g =>  f 1562347 1572346 1672345 2561347 2571346 2671345
|       |           |   |   |   |   *-- =>  g 1672354 2671354
|       |           |   |   |   *-- =>  e 1562437 1563427 1572436 1573426 1672435 1673425 2561437 2563417 2571436 2573416 2671435 2673415 3561427 3562417 3571426 3572416 3671425 3672415
|       |           |   |   *-- d<g d<f f<g =>  f 1563247 1573246 1673245
|       |           |   |       |   |   *-- =>  g 1673254
|       |           |   |       |   *-- b<d =>  b 1465237 1465327 1475236 1475326 2465317 2475316
|       |           |   |       |       *-- =>  d 1564237 1564327 1574236 1574326 1674235 1674325 2564317 2574316 2674315
|       |           |   |       *-- f<g b<g =>  b 1476235 1476325 2476315
|       |           |   |           |   *-- =>  g 1576234 1576324 1675234 1675324 2576314 2675314
|       |           |   |           *-- d<f =>  d 1674253
|       |           |   |               *-- =>  f 1576243 1675243
|       |           |   *-- d<f e<f d<e =>  e 1672453 1673452 2671453 2673451 3671452 3672451
|       |           |       |   |   *-- =>  d 1674352 2674351
|       |           |       |   *-- a<f f<g =>  g 1672534 2671534
|       |           |       |       |   *-- =>  f 1672543 1673542 2671543 2673541 3671542 3672541
|       |           |       |       *-- a<g =>  g 3671524
|       |           |       |           *-- =>  a 4671523 4671532 4672531
|       |           |       *-- d<e a<d d<g =>  g 1673524 2673514
|       |           |           |   |   *-- =>  d 1674523 1674532 2674513 2674531 3674512 3674521
|       |           |           |   *-- a<g =>  g 3672514
|       |           |           |       *-- =>  a 4672513 4673512 4673521
|       |           |           *-- e<f =>  f 1576342 1675342 2576341 2675341
|       |           |               *-- =>  e 1576423 1576432 1675423 1675432 2576413 2576431 2675413 2675431 3576412 3576421 3675412 3675421
|       |           *-- a<g a<d d<g d<f f<g =>  f 2563147 2573146 2673145
|       |               |   |   |   |   *-- =>  g 2673154
|       |               |   |   |   *-- b<d =>  b 2465137 2475136 3465127 3465217 3475126 3475216
|       |               |   |   |       *-- =>  d 2564137 2574136 2674135 3564127 3564217 3574126 3574216 3674125 3674215
|       |               |   |   *-- f<g b<g =>  b 2476135 3476125 3476215
|       |               |   |       |   *-- =>  g 2576134 2675134 3576124 3576214 3675124 3675214
|       |               |   |       *-- d<f =>  d 2674153
|       |               |   |           *-- =>  f 2576143 2675143
|       |               |   *-- a<f f<g =>  f 3561247 3562147 3571246 3572146 3671245 3672145
|       |               |       |   *-- =>  g 3671254 3672154
|       |               |       *-- =>  a 4561237 4561327 4562137 4562317 4563127 4563217 4571236 4571326 4572136 4572316 4573126 4573216 4671235 4671325 4672135 4672315 4673125 4673215
|       |               *-- d<f a<f a<d =>  d 3674152 3674251
|       |                   |   |   *-- =>  a 4671253 4671352 4672153 4672351 4673152 4673251
|       |                   |   *-- e<f f<g =>  g 5671234 5672134
|       |                   |       |   *-- =>  f 5671243 5671342 5672143 5672341 5673142 5673241
|       |                   |       *-- e<g =>  g 5671324
|       |                   |           *-- =>  e 5671423 5671432 5672431
|       |                   *-- a<d a<f =>  f 3576142 3576241 3675142 3675241
|       |                       |   *-- =>  a 4576123 4576132 4576213 4576231 4576312 4576321 4675123 4675132 4675213 4675231 4675312 4675321
|       |                       *-- d<e e<g =>  g 5672314
|       |                           |   *-- =>  e 5672413 5673412 5673421
|       |                           *-- d<g =>  g 5673124 5673214
|       |                               *-- =>  d 5674123 5674132 5674213 5674231 5674312 5674321
|       *-- c<e a<c c<f c<g b<e b<f b<g =>  b 1432567 1432576 1432657 1432675 1432756 1432765 2431567 2431576 2431657 2431675 2431756 2431765
|           |   |   |   |   |   |   *-- =>  g 1532674 1532764 2531674 2531764
|           |   |   |   |   |   *-- f<g =>  f 1532647 1532746 1632745 2531647 2531746 2631745
|           |   |   |   |   |       *-- =>  g 1632754 2631754
|           |   |   |   |   *-- e<f e<g =>  e 1532467 1532476 1632457 1632475 1732456 1732465 2531467 2531476 2631457 2631475 2731456 2731465
|           |   |   |   |       |   *-- =>  g 1632574 1732564 2631574 2731564
|           |   |   |   |       *-- f<g =>  f 1632547 1732546 1732645 2631547 2731546 2731645
|           |   |   |   |           *-- =>  g 1732654 2731654
|           |   |   |   *-- =>  c 1542673 1542763 1543672 1543762 1642573 1642753 1643572 1643752 1742563 1742653 1743562 1743652 2541673 2541763 2543671 2543761 2641573 2641753 2643571 2643751 2741563 2741653 2743561 2743651 3541672 3541762 3542671 3542761 3641572 3641752 3642571 3642751 3741562 3741652 3742561 3742651
|           |   |   *-- c<g =>  c 1542637 1542736 1543627 1543726 1642537 1642735 1643527 1643725 1742536 1742635 1743526 1743625 2541637 2541736 2543617 2543716 2641537 2641735 2643517 2643715 2741536 2741635 2743516 2743615 3541627 3541726 3542617 3542716 3641527 3641725 3642517 3642715 3741526 3741625 3742516 3742615
|           |   |       *-- a<d d<f f<g =>  g 1652734 1752634
|           |   |           |   |   *-- =>  f 1652743 1653742 1752643 1753642 2653741 2753641
|           |   |           |   *-- d<g =>  g 1653724 1753624 2653714 2753614
|           |   |           |       *-- =>  d 1654723 1654732 1754623 1754632 2654713 2654731 2754613 2754631 3654712 3654721 3754612 3754621
|           |   |           *-- a<f f<g =>  g 2651734 2751634
|           |   |               |   *-- =>  f 2651743 2751643 3651742 3652741 3751642 3752641
|           |   |               *-- a<g =>  g 3651724 3652714 3751624 3752614
|           |   |                   *-- =>  a 4651723 4651732 4652713 4652731 4653712 4653721 4751623 4751632 4752613 4752631 4753612 4753621
|           |   *-- a<f a<g b<e b<f b<g =>  b 3421567 3421576 3421657 3421675 3421756 3421765
|           |       |   |   |   |   *-- =>  g 3521674 3521764
|           |       |   |   |   *-- f<g =>  f 3521647 3521746 3621745
|           |       |   |   |       *-- =>  g 3621754
|           |       |   |   *-- a<e e<f e<g =>  e 3521467 3521476 3621457 3621475 3721456 3721465
|           |       |   |       |   |   *-- =>  g 3621574 3721564
|           |       |   |       |   *-- f<g =>  f 3621547 3721546 3721645
|           |       |   |       |       *-- =>  g 3721654
|           |       |   |       *-- =>  a 4521367 4521376 4621357 4621375 4721356 4721365
|           |       |   *-- a<e =>  a 4521673 4521763 4531672 4531762 4532671 4532761 4621573 4621753 4631572 4631752 4632571 4632751 4721563 4721653 4731562 4731652 4732561 4732651
|           |       |       *-- e<g =>  g 5621374 5721364
|           |       |           *-- =>  e 5621473 5631472 5632471 5721463 5731462 5732461
|           |       *-- a<g a<e =>  a 4521637 4521736 4531627 4531726 4532617 4532716 4621537 4621735 4631527 4631725 4632517 4632715 4721536 4721635 4731526 4731625 4732516 4732615
|           |           |   *-- e<f =>  f 5621347 5721346
|           |           |       *-- =>  e 5621437 5631427 5632417 5721436 5731426 5732416
|           |           *-- c<f e<f e<g f<g =>  f 6721345
|           |               |   |   |   *-- =>  g 6721354
|           |               |   |   *-- =>  e 6721453 6731452 6732451
|           |               |   *-- f<g e<g =>  e 6721435
|           |               |       |   *-- =>  g 5621734 5721634 6721534
|           |               |       *-- =>  f 5621743 5631742 5632741 5721643 5731642 5732641 6721543 6731542 6732541
|           |               *-- c<g e<g =>  e 6731425 6732415
|           |                   |   *-- =>  g 5631724 5632714 5731624 5732614 6731524 6732514
|           |                   *-- =>  c 5641723 5641732 5642713 5642731 5643712 5643721 5741623 5741632 5742613 5742631 5743612 5743621 6741523 6741532 6742513 6742531 6743512 6743521
|           *-- c<f c<g a<c =>  c 1542367 1542376 1543267 1543276 1642357 1642375 1643257 1643275 1742356 1742365 1743256 1743265 2541367 2541376 2543167 2543176 2641357 2641375 2643157 2643175 2741356 2741365 2743156 2743165 3541267 3541276 3542167 3542176 3641257 3641275 3642157 3642175 3741256 3741265 3742156 3742165
|               |   |   *-- a<f a<g =>  a 4531267 4531276 4532167 4532176 4631257 4631275 4632157 4632175 4731256 4731265 4732156 4732165
|               |   |       |   *-- =>  g 5631274 5632174 5731264 5732164
|               |   |       *-- f<g =>  f 5631247 5632147 5731246 5732146 6731245 6732145
|               |   |           *-- =>  g 6731254 6732154
|               |   *-- a<d d<e e<g =>  g 1652374 1752364
|               |       |   |   *-- =>  e 1652473 1653472 1752463 1753462 2653471 2753461
|               |       |   *-- d<g =>  g 1653274 1753264 2653174 2753164
|               |       |       *-- =>  d 1654273 1654372 1754263 1754362 2654173 2654371 2754163 2754361 3654172 3654271 3754162 3754261
|               |       *-- a<c a<e e<g =>  g 2651374 2751364
|               |           |   |   *-- =>  e 2651473 2751463 3651472 3652471 3751462 3752461
|               |           |   *-- a<g =>  g 3651274 3652174 3751264 3752164
|               |           |       *-- =>  a 4651273 4651372 4652173 4652371 4653172 4653271 4751263 4751362 4752163 4752361 4753162 4753261
|               |           *-- =>  c 5641273 5641372 5642173 5642371 5643172 5643271 5741263 5741362 5742163 5742361 5743162 5743261 6741253 6741352 6742153 6742351 6743152 6743251
|               *-- d<e e<g a<e e<f f<g =>  f 1652347 1752346 1762345 2651347 2751346 2761345
|                   |   |   |   |   *-- =>  g 1762354 2761354
|                   |   |   |   *-- =>  e 1652437 1653427 1752436 1753426 1762435 1763425 2651437 2653417 2751436 2753416 2761435 2763415 3651427 3652417 3751426 3752416 3761425 3762415
|                   |   |   *-- a<g a<f f<g =>  f 3651247 3751246 3761245
|                   |   |       |   |   *-- =>  g 3761254
|                   |   |       |   *-- a<c =>  a 4651237 4651327 4652317 4751236 4751326 4752316 4761235 4761325 4762315
|                   |   |       |       *-- =>  c 5641237 5641327 5642317 5741236 5741326 5742316
|                   |   |       *-- f<g c<g =>  c 6741235 6741325 6742315
|                   |   |           |   *-- =>  g 5761234 5761324 5762314 6751234 6751324 6752314
|                   |   |           *-- a<f =>  a 4761253
|                   |   |               *-- =>  f 5761243 6751243
|                   |   *-- a<f e<f a<e =>  e 1762453 1763452 2761453 2763451 3761452 3762451
|                   |       |   |   *-- =>  a 4761352 4762351
|                   |       |   *-- d<f f<g =>  g 1762534 2761534
|                   |       |       |   *-- =>  f 1762543 1763542 2761543 2763541 3761542 3762541
|                   |       |       *-- d<g =>  g 1763524
|                   |       |           *-- =>  d 1764523 1764532 2764531
|                   |       *-- a<e a<d d<g =>  g 2763514
|                   |           |   |   *-- =>  d 2764513 3764512 3764521
|                   |           |   *-- a<g =>  g 3761524 3762514
|                   |           |       *-- =>  a 4761523 4761532 4762513 4762531 4763512 4763521
|                   |           *-- e<f =>  f 5761342 5762341 6751342 6752341
|                   |               *-- =>  e 5761423 5761432 5762413 5762431 5763412 5763421 6751423 6751432 6752413 6752431 6753412 6753421
|                   *-- d<g a<d d<f f<g =>  f 1653247 1753246 1763245 2653147 2753146 2763145
|                       |   |   |   *-- =>  g 1763254 2763154
|                       |   |   *-- =>  d 1654237 1654327 1754236 1754326 1764235 1764325 2654137 2654317 2754136 2754316 2764135 2764315 3654127 3654217 3754126 3754216 3764125 3764215
|                       |   *-- a<g a<f f<g =>  f 3652147 3752146 3762145
|                       |       |   |   *-- =>  g 3762154
|                       |       |   *-- a<c =>  a 4652137 4653127 4653217 4752136 4753126 4753216 4762135 4763125 4763215
|                       |       |       *-- =>  c 5642137 5643127 5643217 5742136 5743126 5743216
|                       |       *-- f<g c<g =>  c 6742135 6743125 6743215
|                       |           |   *-- =>  g 5762134 5763124 5763214 6752134 6753124 6753214
|                       |           *-- a<f =>  a 4762153
|                       |               *-- =>  f 5762143 6752143
|                       *-- a<f d<f a<d =>  d 1764253 1764352 2764153 2764351 3764152 3764251
|                           |   |   *-- =>  a 4763152 4763251
|                           |   *-- e<f f<g =>  g 1765234 2765134
|                           |       |   *-- =>  f 1765243 1765342 2765143 2765341 3765142 3765241
|                           |       *-- e<g =>  g 1765324
|                           |           *-- =>  e 1765423 1765432 2765431
|                           *-- a<d a<e e<g =>  g 2765314
|                               |   |   *-- =>  e 2765413 3765412 3765421
|                               |   *-- a<g =>  g 3765124 3765214
|                               |       *-- =>  a 4765123 4765132 4765213 4765231 4765312 4765321
|                               *-- d<f =>  f 5763142 5763241 6753142 6753241
|                                   *-- =>  d 5764123 5764132 5764213 5764231 5764312 5764321 6754123 6754132 6754213 6754231 6754312 6754321
*-- (symmetric)
