======= EXTENDING TO HEAP 1 =======

Previous presentation:
Size 1: { }
[ 1 ]
P = 
{ }
{ }

Marking . . . (0 seconds)
Building equivalence map (2 words) . . . (0 seconds)
Verifying presentation:
Size 2: { a2=1 }
[ 1 a ]
P = a 
{ }
{ a2=1 }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Strengthening generators . . .  a  (0 seconds)
Collapsing generators . . .  a  (0 seconds)
Finished extending to heap 1.
0.15 to heap 1 (after 0 seconds):
Size 2: { a2=1 }
[ 1 a ]
P = a 
{ }
{ a2=1 }

======= EXTENDING TO HEAP 2 =======

Previous presentation:
Size 2: { a2=1 }
[ 1 a ]
P = a 
{ }
{ a2=1 }

Checking 1 candidate . (0 seconds)
0.15 to heap 2 (after 0 seconds):
Size 2: { a2=1 }
[ 1 a a ]
P = a 
{ }
{ a2=1 }

======= EXTENDING TO HEAP 3 =======

Previous presentation:
Size 2: { a2=1 }
[ 1 a a ]
P = a 
{ }
{ a2=1 }

0.15 to heap 3 (after 0 seconds):
Size 2: { a2=1 }
[ 1 a a 1 ]
P = a 
{ }
{ a2=1 }

======= EXTENDING TO HEAP 4 =======

Previous presentation:
Size 2: { a2=1 }
[ 1 a a 1 ]
P = a 
{ }
{ a2=1 }

Checking 1 candidate . (0 seconds)
0.15 to heap 4 (after 0 seconds):
Size 2: { a2=1 }
[ 1 a a 1 a ]
P = a 
{ }
{ a2=1 }

======= EXTENDING TO HEAP 5 =======

Previous presentation:
Size 2: { a2=1 }
[ 1 a a 1 a ]
P = a 
{ }
{ a2=1 }

Checking 1 candidate . (0 seconds)
0.15 to heap 5 (after 0 seconds):
Size 2: { a2=1 }
[ 1 a a 1 a a ]
P = a 
{ }
{ a2=1 }

======= EXTENDING TO HEAP 6 =======

Previous presentation:
Size 2: { a2=1 }
[ 1 a a 1 a a ]
P = a 
{ }
{ a2=1 }

Marking . . . (0 seconds)
Building equivalence map (4 words) . . . (0 seconds)
Verifying presentation:
Size 4: { a2=1 b2=1 }
[ 1 a a 1 a a b ]
P = a 
{ }
{ a2=1 b2=1 }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Failed: 1 -> N: b2 [ 0 0 0 0 0 0 1 ]
Weakening b.

Marking . . . (0 seconds)
Building equivalence map (6 words) . . . (0 seconds)
Verifying presentation:
Size 6: { a2=1 b3=b }
[ 1 a a 1 a a b ]
P = a b2 
{ }
{ a2=1 b3=b }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Strengthening generators . . .  a  b  (0 seconds)
Collapsing generators . . .  a  b  (0 seconds)
Finished extending to heap 6.
0.15 to heap 6 (after 0 seconds):
Size 6: { a2=1 b3=b }
[ 1 a a 1 a a b ]
P = a b2 
{ }
{ a2=1 b3=b }

======= EXTENDING TO HEAP 7 =======

Previous presentation:
Size 6: { a2=1 b3=b }
[ 1 a a 1 a a b ]
P = a b2 
{ }
{ a2=1 b3=b }

Checking 2 candidates . (0 seconds)
0.15 to heap 7 (after 0 seconds):
Size 6: { a2=1 b3=b }
[ 1 a a 1 a a b b ]
P = a b2 
{ }
{ a2=1 b3=b }

======= EXTENDING TO HEAP 8 =======

Previous presentation:
Size 6: { a2=1 b3=b }
[ 1 a a 1 a a b b ]
P = a b2 
{ }
{ a2=1 b3=b }

Checking 3 candidates . (0 seconds)
0.15 to heap 8 (after 0 seconds):
Size 6: { a2=1 b3=b }
[ 1 a a 1 a a b b a ]
P = a b2 
{ }
{ a2=1 b3=b }

======= EXTENDING TO HEAP 9 =======

Previous presentation:
Size 6: { a2=1 b3=b }
[ 1 a a 1 a a b b a ]
P = a b2 
{ }
{ a2=1 b3=b }

Checking 1 candidate . (0 seconds)
0.15 to heap 9 (after 0 seconds):
Size 6: { a2=1 b3=b }
[ 1 a a 1 a a b b a b ]
P = a b2 
{ }
{ a2=1 b3=b }

======= EXTENDING TO HEAP 10 =======

Previous presentation:
Size 6: { a2=1 b3=b }
[ 1 a a 1 a a b b a b ]
P = a b2 
{ }
{ a2=1 b3=b }

Checking 1 candidate . (0 seconds)
0.15 to heap 10 (after 0 seconds):
Size 6: { a2=1 b3=b }
[ 1 a a 1 a a b b a b b ]
P = a b2 
{ }
{ a2=1 b3=b }

======= EXTENDING TO HEAP 11 =======

Previous presentation:
Size 6: { a2=1 b3=b }
[ 1 a a 1 a a b b a b b ]
P = a b2 
{ }
{ a2=1 b3=b }

Checking 1 candidate . (0 seconds)
0.15 to heap 11 (after 0 seconds):
Size 6: { a2=1 b3=b }
[ 1 a a 1 a a b b a b b a ]
P = a b2 
{ }
{ a2=1 b3=b }

======= EXTENDING TO HEAP 12 =======

Previous presentation:
Size 6: { a2=1 b3=b }
[ 1 a a 1 a a b b a b b a ]
P = a b2 
{ }
{ a2=1 b3=b }

Checking 1 candidate . (0 seconds)
0.15 to heap 12 (after 0 seconds):
Size 6: { a2=1 b3=b }
[ 1 a a 1 a a b b a b b a a ]
P = a b2 
{ }
{ a2=1 b3=b }

======= EXTENDING TO HEAP 13 =======

Previous presentation:
Size 6: { a2=1 b3=b }
[ 1 a a 1 a a b b a b b a a ]
P = a b2 
{ }
{ a2=1 b3=b }

Checking 2 candidates . (0 seconds)
0.15 to heap 13 (after 0 seconds):
Size 6: { a2=1 b3=b }
[ 1 a a 1 a a b b a b b a a 1 ]
P = a b2 
{ }
{ a2=1 b3=b }

======= EXTENDING TO HEAP 14 =======

Previous presentation:
Size 6: { a2=1 b3=b }
[ 1 a a 1 a a b b a b b a a 1 ]
P = a b2 
{ }
{ a2=1 b3=b }

Marking . . . (0 seconds)
Building equivalence map (12 words) . . . (0 seconds)
Verifying presentation:
Size 8: { a2=1 b3=b c2=1 }
[ 1 a a 1 a a b b a b b a a 1 c ]
P = a b2 
{ bc=ab }
{ a2=1 b3=b c2=1 }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Failed: 1 -> N: c2 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 ]
Weakening c.

Marking . . . (0 seconds)
Building equivalence map (18 words) . . . (0 seconds)
Verifying presentation:
Size 10: { a2=1 b3=b c3=c }
[ 1 a a 1 a a b b a b b a a 1 c ]
P = a b2 c2 
{ bc=ab }
{ a2=1 b3=b c3=c }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Failed: ac -> N: ac3 [ 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 ]
Weakening c.

Marking . . . (0 seconds)
Building equivalence map (24 words) . . . (0 seconds)
Verifying presentation:
Size 8: { a2=1 b3=b c4=c2 }
[ 1 a a 1 a a b b a b b a a 1 c ]
P = a b2 
{ bc=ab c2=b2 }
{ a2=1 b3=b c2=b2 }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Strengthening generators . . .  a  b  c  (0 seconds)
Collapsing generators . . .  a  b  c  (0 seconds)
Finished extending to heap 14.
0.15 to heap 14 (after 0 seconds):
Size 8: { a2=1 b3=b c4=c2 }
[ 1 a a 1 a a b b a b b a a 1 c ]
P = a b2 
{ bc=ab c2=b2 }
{ a2=1 b3=b c2=b2 }

======= EXTENDING TO HEAP 15 =======

Previous presentation:
Size 8: { a2=1 b3=b c4=c2 }
[ 1 a a 1 a a b b a b b a a 1 c ]
P = a b2 
{ bc=ab c2=b2 }
{ a2=1 b3=b c2=b2 }

Checking 1 candidate . (0 seconds)
0.15 to heap 15 (after 0 seconds):
Size 8: { a2=1 b3=b c4=c2 }
[ 1 a a 1 a a b b a b b a a 1 c c ]
P = a b2 
{ bc=ab c2=b2 }
{ a2=1 b3=b c2=b2 }

======= EXTENDING TO HEAP 16 =======

Previous presentation:
Size 8: { a2=1 b3=b c4=c2 }
[ 1 a a 1 a a b b a b b a a 1 c c ]
P = a b2 
{ bc=ab c2=b2 }
{ a2=1 b3=b c2=b2 }

Checking 1 candidate . (0 seconds)
0.15 to heap 16 (after 0 seconds):
Size 8: { a2=1 b3=b c4=c2 }
[ 1 a a 1 a a b b a b b a a 1 c c b ]
P = a b2 
{ bc=ab c2=b2 }
{ a2=1 b3=b c2=b2 }

======= EXTENDING TO HEAP 17 =======

Previous presentation:
Size 8: { a2=1 b3=b c4=c2 }
[ 1 a a 1 a a b b a b b a a 1 c c b ]
P = a b2 
{ bc=ab c2=b2 }
{ a2=1 b3=b c2=b2 }

Checking 1 candidate . (0 seconds)
0.15 to heap 17 (after 0 seconds):
Size 8: { a2=1 b3=b c4=c2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b ]
P = a b2 
{ bc=ab c2=b2 }
{ a2=1 b3=b c2=b2 }

======= EXTENDING TO HEAP 18 =======

Previous presentation:
Size 8: { a2=1 b3=b c4=c2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b ]
P = a b2 
{ bc=ab c2=b2 }
{ a2=1 b3=b c2=b2 }

Checking 3 candidates ... (0 seconds)
Marking . . . (0 seconds)
Building equivalence map (48 words) . . . (0 seconds)
Verifying presentation:
Size 12: { a2=1 b3=b c4=c2 d2=1 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d ]
P = a b2 
{ bc=ab c2=b2 bd=b2 }
{ a2=1 b3=b c2=b2 d2=1 }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Failed: 1 -> N: d2 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 ]
Weakening d.

Marking . . . (0 seconds)
Building equivalence map (72 words) . . . (0 seconds)
Verifying presentation:
Size 8: { a2=1 b3=b c4=c2 d3=d }
[ 1 a a 1 a a b b a b b a a 1 c c b b d ]
P = a b2 
{ bc=ab c2=b2 d=b }
{ a2=1 b3=b c2=b2 d=b }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Failed: ad -> N: ad3 [ 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 ]
Weakening d.

Marking . . . (0 seconds)
Building equivalence map (96 words) . . . (0 seconds)
Verifying presentation:
Size 16: { a2=1 b3=b c4=c2 d4=d2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d ]
P = a b2 bd d2 
{ bc=ab c2=b2 b2d=d cd=ad d3=ad2 }
{ a2=1 b3=b c2=b2 d3=ad2 }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Strengthening generators . . .  a  b  c  d  (0 seconds)
Collapsing generators . . .  a  b  c  d  (0 seconds)
Finished extending to heap 18.
0.15 to heap 18 (after 0 seconds):
Size 16: { a2=1 b3=b c4=c2 d4=d2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d ]
P = a b2 bd d2 
{ bc=ab c2=b2 b2d=d cd=ad d3=ad2 }
{ a2=1 b3=b c2=b2 d3=ad2 }

======= EXTENDING TO HEAP 19 =======

Previous presentation:
Size 16: { a2=1 b3=b c4=c2 d4=d2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d ]
P = a b2 bd d2 
{ bc=ab c2=b2 b2d=d cd=ad d3=ad2 }
{ a2=1 b3=b c2=b2 d3=ad2 }

Checking 1 candidate . (0 seconds)
0.15 to heap 19 (after 0 seconds):
Size 16: { a2=1 b3=b c4=c2 d4=d2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b ]
P = a b2 bd d2 
{ bc=ab c2=b2 b2d=d cd=ad d3=ad2 }
{ a2=1 b3=b c2=b2 d3=ad2 }

======= EXTENDING TO HEAP 20 =======

Previous presentation:
Size 16: { a2=1 b3=b c4=c2 d4=d2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b ]
P = a b2 bd d2 
{ bc=ab c2=b2 b2d=d cd=ad d3=ad2 }
{ a2=1 b3=b c2=b2 d3=ad2 }

Checking 1 candidate . (0 seconds)
Marking . . . (0 seconds)
Building equivalence map (192 words) . . . (0 seconds)
Verifying presentation:
Size 28: { a2=1 b3=b c4=c2 d4=d2 e2=1 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e ]
P = a b2 ab2c bd d2 ae 
{ c2=ab2c b2d=d cd=ad d3=ad2 bce=b2c de=bd }
{ a2=1 b3=b c2=ab2c d3=ad2 e2=1 }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Failed: be -> N: a2b3e [ 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 ]
Weakening b.

Marking . . . (0 seconds)
Building equivalence map (256 words) . . . (0 seconds)
Verifying presentation:
Size 20: { a2=1 b4=b2 c4=c2 d4=d2 e2=1 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e ]
P = a b2 bd d2 ae 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 be=ac de=bd }
{ a2=1 b4=b2 c2=b2 d3=ad2 e2=1 }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Strengthening generators . . .  a  b  c  d  e  (0 seconds)
Collapsing generators . . .  a  b  c  d  e  (0 seconds)
Finished extending to heap 20.
0.15 to heap 20 (after 0 seconds):
Size 20: { a2=1 b4=b2 c4=c2 d2=1 }
[ 1 a a 1 a a abd abd a abd abd a a 1 b b abd abd c abd d ]
P = a b2 c2 ad cd 
{ b3=ab2 bc=ac c3=ac2 }
{ a2=1 b3=ab2 c3=ac2 d2=1 }

======= EXTENDING TO HEAP 21 =======

Previous presentation:
Size 20: { a2=1 b4=b2 c4=c2 d4=d2 e2=1 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e ]
P = a b2 bd d2 ae 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 be=ac de=bd }
{ a2=1 b4=b2 c2=b2 d3=ad2 e2=1 }

Checking 1 candidate . (0 seconds)
0.15 to heap 21 (after 0 seconds):
Size 20: { a2=1 b4=b2 c4=c2 d2=1 }
[ 1 a a 1 a a abd abd a abd abd a a 1 b b abd abd c abd d b ]
P = a b2 c2 ad cd 
{ b3=ab2 bc=ac c3=ac2 }
{ a2=1 b3=ab2 c3=ac2 d2=1 }

======= EXTENDING TO HEAP 22 =======

Previous presentation:
Size 20: { a2=1 b4=b2 c4=c2 d4=d2 e2=1 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c ]
P = a b2 bd d2 ae 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 be=ac de=bd }
{ a2=1 b4=b2 c2=b2 d3=ad2 e2=1 }

Checking 1 candidate . (0 seconds)
0.15 to heap 22 (after 0 seconds):
Size 20: { a2=1 b4=b2 c4=c2 d2=1 }
[ 1 a a 1 a a abd abd a abd abd a a 1 b b abd abd c abd d b b ]
P = a b2 c2 ad cd 
{ b3=ab2 bc=ac c3=ac2 }
{ a2=1 b3=ab2 c3=ac2 d2=1 }

======= EXTENDING TO HEAP 23 =======

Previous presentation:
Size 20: { a2=1 b4=b2 c4=c2 d4=d2 e2=1 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c ]
P = a b2 bd d2 ae 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 be=ac de=bd }
{ a2=1 b4=b2 c2=b2 d3=ad2 e2=1 }

Checking 1 candidate . (0 seconds)
Marking . . . (0 seconds)
Building equivalence map (512 words) . . . (0 seconds)
Verifying presentation:
Size 32: { a2=1 b4=b2 c4=c2 d4=d2 e2=1 f2=1 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f ]
P = a b2 bd d2 ae af bef 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd b2f=b2 cf=c df=d }
{ a2=1 b4=b2 c2=b2 d3=ad2 e2=1 f2=1 }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Failed: ae -> P: aef2 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 ]
Weakening f.

Marking . . . (0 seconds)
Building equivalence map (768 words) . . . (0 seconds)
Verifying presentation:
Size 28: { a2=1 b4=b2 c4=c2 d4=d2 e2=1 f3=f }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f ]
P = a b2 bd d2 ae af 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd bf=b3 cf=c df=d f2=f }
{ a2=1 b4=b2 c2=b2 d3=ad2 e2=1 f2=f }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Failed: af -> P: ae2f [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 ]
Weakening e.

Marking . . . (0 seconds)
Building equivalence map (1152 words) . . . (0 seconds)
Verifying presentation:
Size 38: { a2=1 b4=b2 c4=c2 d4=d2 e3=e f3=f }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f ]
P = a b2 bd d2 ae ae2 af af2 e2f2 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 ce=ab de=bd bf=b3 df=d cf2=cf }
{ a2=1 b4=b2 c2=b2 d3=ad2 e3=e f3=f }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Failed: e2f -> N: a2e2f3 [ 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 ]
Weakening f.

Marking . . . (0 seconds)
Building equivalence map (1536 words) . . . (0 seconds)
Verifying presentation:
Size 30: { a2=1 b4=b2 c4=c2 d4=d2 e3=e f4=f2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f ]
P = a b2 bd d2 ae ae2 af af2 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 ce=ab de=bd bf=b3 df=d ef=b cf2=cf f3=f2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e3=e f3=f2 }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Strengthening generators . . .  a  b  c  d  e  f  (0 seconds)
Collapsing generators . . .  a  b  c  d  e  f  (0 seconds)
Finished extending to heap 23.
0.15 to heap 23 (after 0 seconds):
Size 30: { a2=1 b4=b2 c4=c2 d3=d e4=e2 }
[ 1 a a 1 a a abd abd a abd abd a a 1 b b abd abd c abd d b b e ]
P = a b2 c2 ad cd ad2 ae ae2 
{ b3=ab2 bc=ac c3=ac2 b2d2=b2 cd2=c b2e=b2 ce=c de=abd be2=be e3=e2 }
{ a2=1 b3=ab2 c3=ac2 d3=d e3=e2 }

======= EXTENDING TO HEAP 24 =======

Previous presentation:
Size 30: { a2=1 b4=b2 c4=c2 d4=d2 e3=e f4=f2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f ]
P = a b2 bd d2 ae ae2 af af2 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 ce=ab de=bd bf=b3 df=d ef=b cf2=cf f3=f2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e3=e f3=f2 }

Checking 1 candidate . (0 seconds)
0.15 to heap 24 (after 0 seconds):
Size 30: { a2=1 b4=b2 c4=c2 d3=d e4=e2 }
[ 1 a a 1 a a abd abd a abd abd a a 1 b b abd abd c abd d b b e b ]
P = a b2 c2 ad cd ad2 ae ae2 
{ b3=ab2 bc=ac c3=ac2 b2d2=b2 cd2=c b2e=b2 ce=c de=abd be2=be e3=e2 }
{ a2=1 b3=ab2 c3=ac2 d3=d e3=e2 }

======= EXTENDING TO HEAP 25 =======

Previous presentation:
Size 30: { a2=1 b4=b2 c4=c2 d4=d2 e3=e f4=f2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c ]
P = a b2 bd d2 ae ae2 af af2 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 ce=ab de=bd bf=b3 df=d ef=b cf2=cf f3=f2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e3=e f3=f2 }

Checking 1 candidate . (0 seconds)
0.15 to heap 25 (after 0 seconds):
Size 30: { a2=1 b4=b2 c4=c2 d3=d e4=e2 }
[ 1 a a 1 a a abd abd a abd abd a a 1 b b abd abd c abd d b b e b b ]
P = a b2 c2 ad cd ad2 ae ae2 
{ b3=ab2 bc=ac c3=ac2 b2d2=b2 cd2=c b2e=b2 ce=c de=abd be2=be e3=e2 }
{ a2=1 b3=ab2 c3=ac2 d3=d e3=e2 }

======= EXTENDING TO HEAP 26 =======

Previous presentation:
Size 30: { a2=1 b4=b2 c4=c2 d4=d2 e3=e f4=f2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c ]
P = a b2 bd d2 ae ae2 af af2 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 ce=ab de=bd bf=b3 df=d ef=b cf2=cf f3=f2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e3=e f3=f2 }

Checking 1 candidate . (0 seconds)
0.15 to heap 26 (after 0 seconds):
Size 30: { a2=1 b4=b2 c4=c2 d3=d e4=e2 }
[ 1 a a 1 a a abd abd a abd abd a a 1 b b abd abd c abd d b b e b b abd ]
P = a b2 c2 ad cd ad2 ae ae2 
{ b3=ab2 bc=ac c3=ac2 b2d2=b2 cd2=c b2e=b2 ce=c de=abd be2=be e3=e2 }
{ a2=1 b3=ab2 c3=ac2 d3=d e3=e2 }

======= EXTENDING TO HEAP 27 =======

Previous presentation:
Size 30: { a2=1 b4=b2 c4=c2 d4=d2 e3=e f4=f2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b ]
P = a b2 bd d2 ae ae2 af af2 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 ce=ab de=bd bf=b3 df=d ef=b cf2=cf f3=f2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e3=e f3=f2 }

Checking 1 candidate . (0 seconds)
Marking . . . (0 seconds)
Building equivalence map (3072 words) . . . (0 seconds)
Verifying presentation:
Size 52: { a2=1 b4=b2 c4=c2 d4=d2 e3=e f4=f2 g2=1 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g ]
P = a b2 bd d2 ae ae2 af af2 ag aceg 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 dg=bd }
{ a2=1 b4=b2 c2=b2 d3=ad2 e3=e f3=f2 g2=1 }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Failed: a -> P: ag2 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 ]
Weakening g.

Marking . . . (0 seconds)
Building equivalence map (4608 words) . . . (0 seconds)
Verifying presentation:
Size 48: { a2=1 b4=b2 c4=c2 d4=d2 e3=e f4=f2 g3=g }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g ]
P = a b2 bd d2 ae ae2 af af2 ag e2g2 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd beg=b3 fg=b3 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e3=e f3=f2 g3=g }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Failed: ag -> P: ag3 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 ]
Weakening g.

Marking . . . (0 seconds)
Building equivalence map (6144 words) . . . (0 seconds)
Verifying presentation:
Size 40: { a2=1 b4=b2 c4=c2 d4=d2 e3=e f4=f2 g4=g2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g ]
P = a b2 bd d2 ae ae2 af af2 ag 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 bg2=b3 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e3=e f3=f2 g4=g2 }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Failed: g2 -> N: a2g4 [ 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 ]
Weakening g.

Marking . . . (0 seconds)
Building equivalence map (7680 words) . . . (0 seconds)
Verifying presentation:
Size 36: { a2=1 b4=b2 c4=c2 d4=d2 e3=e f4=f2 g5=g3 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g ]
P = a b2 bd d2 ae ae2 af af2 ag 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg }
{ a2=1 b4=b2 c2=b2 d3=ad2 e3=e f3=f2 g2=bg }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Strengthening generators . . .  a  b  c  d  e  f  g  (0 seconds)
Collapsing generators . . .  a  b  c  d  e  f  g  (0 seconds)
Finished extending to heap 27.
0.15 to heap 27 (after 0 seconds):
Size 36: { a2=1 b4=b2 c4=c2 d4=d2 e3=e f4=f2 g5=g3 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g ]
P = a b2 bd d2 ae ae2 af af2 ag 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg }
{ a2=1 b4=b2 c2=b2 d3=ad2 e3=e f3=f2 g2=bg }

======= EXTENDING TO HEAP 28 =======

Previous presentation:
Size 36: { a2=1 b4=b2 c4=c2 d4=d2 e3=e f4=f2 g5=g3 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g ]
P = a b2 bd d2 ae ae2 af af2 ag 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg }
{ a2=1 b4=b2 c2=b2 d3=ad2 e3=e f3=f2 g2=bg }

Checking 6 candidates .... (0 seconds)
0.15 to heap 28 (after 0 seconds):
Size 36: { a2=1 b4=b2 c4=c2 d4=d2 e3=e f4=f2 g5=g3 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d ]
P = a b2 bd d2 ae ae2 af af2 ag 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg }
{ a2=1 b4=b2 c2=b2 d3=ad2 e3=e f3=f2 g2=bg }

======= EXTENDING TO HEAP 29 =======

Previous presentation:
Size 36: { a2=1 b4=b2 c4=c2 d4=d2 e3=e f4=f2 g5=g3 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d ]
P = a b2 bd d2 ae ae2 af af2 ag 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg }
{ a2=1 b4=b2 c2=b2 d3=ad2 e3=e f3=f2 g2=bg }

Checking 4 candidates .... (0 seconds)
Marking . . . (0 seconds)
Building equivalence map (15360 words) . . . (0 seconds)
Verifying presentation:
Size 60: { a2=1 b4=b2 c4=c2 d4=d2 e3=e f4=f2 g5=g3 h2=1 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h ]
P = a b2 bd d2 ae ae2 af af2 ag ah aceh 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg b2h=b3 dh=bd }
{ a2=1 b4=b2 c2=b2 d3=ad2 e3=e f3=f2 g2=bg h2=1 }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Failed: 1 -> N: h2 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 ]
Weakening h.

Marking . . . (0 seconds)
Building equivalence map (23040 words) . . . (0 seconds)
Verifying presentation:
Size 52: { a2=1 b4=b2 c4=c2 d4=d2 e3=e f4=f2 g5=g3 h3=h }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h ]
P = a b2 bd d2 ae ae2 af af2 ag ah h2 e2h2 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg b2h=b3 ch=ab3 dh=bd beh=b3 fh=b3 gh=bh }
{ a2=1 b4=b2 c2=b2 d3=ad2 e3=e f3=f2 g2=bg h3=h }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Failed: ah -> P: ah3 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 ]
Weakening h.

Marking . . . (0 seconds)
Building equivalence map (30720 words) . . . (0 seconds)
Verifying presentation:
Size 38: { a2=1 b4=b2 c4=c2 d4=d2 e3=e f4=f2 g5=g3 h4=h2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h ]
P = a b2 bd d2 ae ae2 af af2 ag ah 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=be fh=b3 gh=bg h2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e3=e f3=f2 g2=bg h2=b2 }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Failed: eh -> N: a2e3h [ 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 ]
Weakening e.

Marking . . . (0 seconds)
Building equivalence map (40960 words) . . . (0 seconds)
Verifying presentation:
Size 40: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Strengthening generators . . .  a  b  c  d  e  f  g  h  (0 seconds)
Collapsing generators . . .  a  b  c  d  e  f  g  h  (0 seconds)
Finished extending to heap 29.
0.15 to heap 29 (after 1 seconds):
Size 40: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 }

======= EXTENDING TO HEAP 30 =======

Previous presentation:
Size 40: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 }

Checking 3 candidates ... (0 seconds)
Marking . . . (0 seconds)
Building equivalence map (81920 words) . . . (0 seconds)
Verifying presentation:
Size 68: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i2=1 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai acei hi 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 b2i=b3 di=bd }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=1 }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Failed: 1 -> N: i2 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 ]
Weakening i.

Marking . . . (0 seconds)
Building equivalence map (122880 words) . . . (0 seconds)
Verifying presentation:
Size 56: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i3=i }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai i2 e2i2 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 b2i=b3 ci=ab3 di=bd bei=b3 e3i=ei fi=b3 gi=bi hi=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i3=i }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Failed: ai -> P: ai3 [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 ]
Weakening i.

Marking . . . (0 seconds)
Building equivalence map (163840 words) . . . (0 seconds)
Verifying presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Running P-verification . . . 0 seconds.
Running N-verification . . . 0 seconds.
Strengthening generators . . .  a  b  c  d  e  f  g  h  i  (0 seconds)
Collapsing generators . . .  a  b  c  d  e  f  g  h  i  (0 seconds)
Finished extending to heap 30.
0.15 to heap 30 (after 5 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 31 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 5 candidates . (0 seconds)
0.15 to heap 31 (after 5 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 32 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 4 candidates .... (0 seconds)
0.15 to heap 32 (after 5 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 33 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 2 candidates .. (0 seconds)
0.15 to heap 33 (after 5 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 34 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 4 candidates .... (0 seconds)
0.15 to heap 34 (after 5 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 35 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 2 candidates .. (0 seconds)
0.15 to heap 35 (after 5 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 36 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 36 (after 5 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 37 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 6 candidates ..... (0 seconds)
0.15 to heap 37 (after 6 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 38 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 7 candidates .... (0 seconds)
0.15 to heap 38 (after 6 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 39 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 6 candidates ..... (0 seconds)
0.15 to heap 39 (after 6 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 40 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 6 candidates ..... (0 seconds)
0.15 to heap 40 (after 7 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 41 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 5 candidates . (0 seconds)
0.15 to heap 41 (after 7 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 42 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 2 candidates .. (0 seconds)
0.15 to heap 42 (after 7 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 43 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 4 candidates .... (0 seconds)
0.15 to heap 43 (after 8 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 44 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 4 candidates .... (0 seconds)
0.15 to heap 44 (after 8 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 45 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 4 candidates .... (0 seconds)
0.15 to heap 45 (after 9 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 46 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 46 (after 9 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 47 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 6 candidates ..... (0 seconds)
0.15 to heap 47 (after 10 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 48 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 7 candidates .... (0 seconds)
0.15 to heap 48 (after 11 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 49 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 6 candidates ..... (0 seconds)
0.15 to heap 49 (after 11 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 50 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 6 candidates ..... (0 seconds)
0.15 to heap 50 (after 12 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 51 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 5 candidates . (0 seconds)
0.15 to heap 51 (after 13 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 52 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 4 candidates .... (0 seconds)
0.15 to heap 52 (after 14 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 53 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 4 candidates .... (0 seconds)
0.15 to heap 53 (after 14 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 54 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 4 candidates .... (0 seconds)
0.15 to heap 54 (after 15 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 55 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 4 candidates .... (0 seconds)
0.15 to heap 55 (after 16 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 56 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 56 (after 17 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 57 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 57 (after 18 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 58 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 7 candidates .... (0 seconds)
0.15 to heap 58 (after 18 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 59 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 59 (after 19 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 60 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 60 (after 20 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 61 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 5 candidates . (0 seconds)
0.15 to heap 61 (after 21 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 62 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 4 candidates .... (0 seconds)
0.15 to heap 62 (after 22 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 63 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 4 candidates .... (0 seconds)
0.15 to heap 63 (after 22 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 64 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 4 candidates .... (0 seconds)
0.15 to heap 64 (after 23 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 65 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 4 candidates .... (0 seconds)
0.15 to heap 65 (after 24 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 66 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 66 (after 25 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 67 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 67 (after 26 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 68 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 7 candidates .... (0 seconds)
0.15 to heap 68 (after 27 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 69 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 69 (after 28 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 70 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 70 (after 28 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 71 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 5 candidates . (0 seconds)
0.15 to heap 71 (after 29 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 72 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 5 candidates . (0 seconds)
0.15 to heap 72 (after 30 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 73 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 4 candidates .... (1 seconds)
0.15 to heap 73 (after 31 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 74 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 5 candidates . (1 seconds)
0.15 to heap 74 (after 32 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 75 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 5 candidates . (1 seconds)
0.15 to heap 75 (after 33 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 76 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (1 seconds)
0.15 to heap 76 (after 35 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 77 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (1 seconds)
0.15 to heap 77 (after 36 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 78 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 7 candidates .... (0 seconds)
0.15 to heap 78 (after 37 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 79 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 79 (after 37 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 80 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 80 (after 38 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 81 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 5 candidates . (0 seconds)
0.15 to heap 81 (after 39 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 82 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 5 candidates . (0 seconds)
0.15 to heap 82 (after 40 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 83 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 4 candidates .... (0 seconds)
0.15 to heap 83 (after 41 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 84 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 5 candidates . (0 seconds)
0.15 to heap 84 (after 42 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 85 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 5 candidates . (0 seconds)
0.15 to heap 85 (after 43 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 86 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 86 (after 43 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 87 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 87 (after 44 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 88 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 7 candidates .... (0 seconds)
0.15 to heap 88 (after 45 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 89 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 89 (after 46 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 90 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 90 (after 47 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 91 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 5 candidates . (0 seconds)
0.15 to heap 91 (after 48 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 92 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 5 candidates . (0 seconds)
0.15 to heap 92 (after 49 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 93 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 4 candidates .... (0 seconds)
0.15 to heap 93 (after 50 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 94 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 5 candidates . (0 seconds)
0.15 to heap 94 (after 51 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 95 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 5 candidates . (0 seconds)
0.15 to heap 95 (after 52 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 96 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 96 (after 52 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 97 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 97 (after 53 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 98 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 7 candidates .... (0 seconds)
0.15 to heap 98 (after 54 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 99 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 99 (after 55 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 100 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 100 (after 56 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 101 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 5 candidates . (0 seconds)
0.15 to heap 101 (after 57 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 102 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 5 candidates . (0 seconds)
0.15 to heap 102 (after 58 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 103 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 4 candidates .... (0 seconds)
0.15 to heap 103 (after 59 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 104 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 5 candidates . (0 seconds)
0.15 to heap 104 (after 59 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 105 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 5 candidates . (0 seconds)
0.15 to heap 105 (after 60 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 106 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 106 (after 61 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 107 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 107 (after 62 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 108 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 7 candidates .... (0 seconds)
0.15 to heap 108 (after 63 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 109 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

Checking 3 candidates .. (0 seconds)
0.15 to heap 109 (after 64 seconds):
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 ]
P = a b2 bd d2 ae ae2 ae3 af af2 ag ah ai 
{ bc=ab3 c2=b2 b2d=d cd=ad d3=ad2 b2e=b3 de=bd be2=ace ce2=abe bf=b3 df=d ef=ace cf2=cf f3=f2 b2g=b3 cg=ab3 dg=bd eg=be fg=b3 g2=bg bh=bg ch=ab3 dh=bd eh=bg fh=b3 gh=bg h2=b2 bi=bg ci=ab3 di=bd ei=be fi=b3 gi=bg hi=b2 i2=b2 }
{ a2=1 b4=b2 c2=b2 d3=ad2 e4=e2 f3=f2 g2=bg h2=b2 i2=b2 }

======= EXTENDING TO HEAP 110 =======

Previous presentation:
Size 42: { a2=1 b4=b2 c4=c2 d4=d2 e4=e2 f4=f2 g5=g3 h4=h2 i4=i2 }
[ 1 a a 1 a a b b a b b a a 1 c c b b d b e c c f c c b g d h i ab2 abg f abg abe b3 h d h h ab2 abe f2 abg abg b3 h d h h ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 abg f2 abg abg b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3 ab2 ab2 f2 ab2 ab2 b3 b3 d b3 b3