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

0.15 to heap 2 (after 0 seconds):
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 }

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

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

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

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 }

0.15 to heap 110 (after 65 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 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 }

0.15 to heap 111 (after 66 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 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 }

0.15 to heap 112 (after 66 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 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 }

0.15 to heap 113 (after 67 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 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 }

0.15 to heap 114 (after 68 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 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 }

0.15 to heap 115 (after 69 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 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 }

0.15 to heap 116 (after 70 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 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 }

0.15 to heap 117 (after 71 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 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 }

0.15 to heap 118 (after 72 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 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 }

0.15 to heap 119 (after 73 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 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 }

0.15 to heap 120 (after 73 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 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 }

0.15 to heap 121 (after 74 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 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 }

0.15 to heap 122 (after 75 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 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 }

0.15 to heap 123 (after 76 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 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 }

0.15 to heap 124 (after 77 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 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 }

0.15 to heap 125 (after 78 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 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 }

0.15 to heap 126 (after 79 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 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 }

0.15 to heap 127 (after 80 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 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 }

0.15 to heap 128 (after 80 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 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 }

0.15 to heap 129 (after 81 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 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 }

0.15 to heap 130 (after 82 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 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 }

0.15 to heap 131 (after 83 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 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 }

0.15 to heap 132 (after 84 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 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 }

0.15 to heap 133 (after 85 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 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 }

0.15 to heap 134 (after 86 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 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 }

0.15 to heap 135 (after 87 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 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 }

0.15 to heap 136 (after 88 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 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 }

0.15 to heap 137 (after 88 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 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 }

0.15 to heap 138 (after 89 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 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 }

0.15 to heap 139 (after 90 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 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 }

0.15 to heap 140 (after 91 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 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 }

0.15 to heap 141 (after 92 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 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 }

0.15 to heap 142 (after 93 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 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 }

0.15 to heap 143 (after 94 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 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 }

0.15 to heap 144 (after 95 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 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 }

0.15 to heap 145 (after 96 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 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 }

0.15 to heap 146 (after 96 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 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 }

0.15 to heap 147 (after 97 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 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 }

0.15 to heap 148 (after 98 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 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 }

0.15 to heap 149 (after 99 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 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 }

0.15 to heap 150 (after 100 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 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 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 }

0.15 to heap 151 (after 101 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 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 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 }

0.15 to heap 152 (after 102 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 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 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 }

0.15 to heap 153 (after 103 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 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 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 }

0.15 to heap 154 (after 104 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 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 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 }

0.15 to heap 155 (after 104 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 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 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 }

0.15 to heap 156 (after 105 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 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 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 }

0.15 to heap 157 (after 106 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 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 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 }

0.15 to heap 158 (after 107 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 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 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 }

0.15 to heap 159 (after 108 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 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 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 }

0.15 to heap 160 (after 109 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 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 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 }