diff --git a/empty-hole-bug/hazel.js b/empty-hole-bug/hazel.js
index f1638e36..8f1bea4a 100644
--- a/empty-hole-bug/hazel.js
+++ b/empty-hole-bug/hazel.js
@@ -39835,26 +39835,40 @@ d=b[1],f=b[2];return LZ(c,d)?b:[0,d,ei(e,c,f)]},b)},bxw=function(f,e){var
 b=d(gb,tx(e),f);if(b){var
 c=b[1];if(0===c[0])return[0,c[1][9]]}return 0},aHS=function(f,e){var
 b=d(gb,DT(e),f);if(b){var
-c=b[1];if(1===c[0])return[0,c[1][9]]}return 0},gLk=function(g,a,e,b){if(typeof
-a==="number"){if(a)return b;if(typeof
+c=b[1];if(1===c[0])return[0,c[1][9]]}return 0},gLk=function(j,i,e,b){if(typeof
+i==="number"){if(i)return b;if(typeof
 e!=="number")switch(e[0]){case
 0:var
-h=e[1];return 30===b[0]?b:l(DW,b,[0,h],[3,[0,h],[0,h]]);case
+k=e[1];if(30===b[0]&&0===b[1][0]){var
+m=b[2],B=0;if(typeof
+m==="number"||!(0===m[0]))B=1;else{var
+r=m[1];if(typeof
+r==="number"&&2<=r){var
+h=b[3],f=0;if(typeof
+h!=="number"&&3===h[0]){var
+n=h[1],a=0;if(typeof
+n!=="number"&&0===n[0]){var
+s=n[1];if(typeof
+s==="number"&&2<=s){var
+o=h[2],p=0;if(typeof
+o!=="number"&&0===o[0]){var
+t=o[1];if(typeof
+t==="number"){if(2<=t)return b;f=1;a=1;p=1}else{f=1;a=1;p=1}}if(!p){f=1;a=1}}else{f=1;a=1}}if(!a)f=1}}}}return l(DW,b,[0,k],[3,[0,k],[0,k]]);case
 3:return b}return aM(gLl)}var
-c=d(bu5,g,a[1]),i=0;switch(b[0]){case
+c=d(bu5,j,i[1]),q=0;switch(b[0]){case
 11:var
-n=d(Wf,g,c)[2];return l(DW,b,[3,d(Wf,g,e)[1],n],c);case
-12:if(28!==b[1][0])i=1;break;case
+x=d(Wf,j,c)[2];return l(DW,b,[3,d(Wf,j,e)[1],x],c);case
+12:if(28!==b[1][0])q=1;break;case
 26:var
-p=b[1];if(typeof
+z=b[1];if(typeof
 c!=="number"&&0===c[0]){var
-m=c[1],q=function(b){return[0,m]};return l(DW,b,[5,j8(G(p),q)],[0,m])}return b;case
+w=c[1],A=function(b){return[0,w]};return l(DW,b,[5,j8(G(z),A)],[0,w])}return b;case
 28:break;case
 23:case
 24:case
 25:if(typeof
 c!=="number"&&0===c[0]){var
-k=c[1];return l(DW,b,[2,[0,k]],[0,k])}return b;case
+v=c[1];return l(DW,b,[2,[0,v]],[0,v])}return b;case
 6:case
 30:case
 31:case
@@ -39868,17 +39882,17 @@ k=c[1];return l(DW,b,[2,[0,k]],[0,k])}return b;case
 1:case
 2:case
 3:case
-4:return b;default:i=1}if(i)return l(DW,b,e,c);if(typeof
+4:return b;default:q=1}if(q)return l(DW,b,e,c);if(typeof
 c!=="number"&&0===c[0]){var
-f=0,o=c[1];if(typeof
-e==="number")f=1;else
+g=0,y=c[1];if(typeof
+e==="number")g=1;else
 switch(e[0]){case
-4:f=2;break;case
+4:g=2;break;case
 6:var
-r=0,j=e[2];if(typeof
-j!=="number"&&4===j[0]){f=2;r=1}break;default:f=1}switch(f){case
+C=0,u=e[2];if(typeof
+u!=="number"&&4===u[0]){g=2;C=1}break;default:g=1}switch(g){case
 1:break;case
-0:break;default:return l(DW,b,e,[0,o])}}return b},gI=function(c,j){var
+0:break;default:return l(DW,b,e,[0,y])}}return b},gI=function(c,j){var
 t=d(gb,tx(j),c);if(t){var
 u=t[1];if(0===u[0]){var
 o=u[1],k=o[5],g=o[4],h=o[3],a=Wo(h,g,k),f=tx(j),O=function(a){if(0===Wo(h,g,k)[0])return[1,0,f,0,a];if(0===k[0])var
diff --git a/empty-hole-bug/worker.js b/empty-hole-bug/worker.js
index 9aa906fb..c410d452 100644
--- a/empty-hole-bug/worker.js
+++ b/empty-hole-bug/worker.js
@@ -32713,26 +32713,40 @@ d=b[1],f=b[2];return yz(c,d)?b:[0,d,cC(e,c,f)]},b)},aNo=function(f,e){var
 b=d(tH,oS(e),f);if(b){var
 c=b[1];if(0===c[0])return[0,c[1][9]]}return 0},aeu=function(f,e){var
 b=d(tH,yv(e),f);if(b){var
-c=b[1];if(1===c[0])return[0,c[1][9]]}return 0},d02=function(g,a,e,b){if(typeof
-a==="number"){if(a)return b;if(typeof
+c=b[1];if(1===c[0])return[0,c[1][9]]}return 0},d02=function(j,i,e,b){if(typeof
+i==="number"){if(i)return b;if(typeof
 e!=="number")switch(e[0]){case
 0:var
-h=e[1];return 30===b[0]?b:l(tY,b,[0,h],[3,[0,h],[0,h]]);case
+k=e[1];if(30===b[0]&&0===b[1][0]){var
+m=b[2],B=0;if(typeof
+m==="number"||!(0===m[0]))B=1;else{var
+r=m[1];if(typeof
+r==="number"&&2<=r){var
+h=b[3],f=0;if(typeof
+h!=="number"&&3===h[0]){var
+n=h[1],a=0;if(typeof
+n!=="number"&&0===n[0]){var
+s=n[1];if(typeof
+s==="number"&&2<=s){var
+o=h[2],p=0;if(typeof
+o!=="number"&&0===o[0]){var
+t=o[1];if(typeof
+t==="number"){if(2<=t)return b;f=1;a=1;p=1}else{f=1;a=1;p=1}}if(!p){f=1;a=1}}else{f=1;a=1}}if(!a)f=1}}}}return l(tY,b,[0,k],[3,[0,k],[0,k]]);case
 3:return b}return aM(d03)}var
-c=d(aLD,g,a[1]),i=0;switch(b[0]){case
+c=d(aLD,j,i[1]),q=0;switch(b[0]){case
 11:var
-n=d(E0,g,c)[2];return l(tY,b,[3,d(E0,g,e)[1],n],c);case
-12:if(28!==b[1][0])i=1;break;case
+x=d(E0,j,c)[2];return l(tY,b,[3,d(E0,j,e)[1],x],c);case
+12:if(28!==b[1][0])q=1;break;case
 26:var
-p=b[1];if(typeof
+z=b[1];if(typeof
 c!=="number"&&0===c[0]){var
-m=c[1],q=function(b){return[0,m]};return l(tY,b,[5,nE(N(p),q)],[0,m])}return b;case
+w=c[1],A=function(b){return[0,w]};return l(tY,b,[5,nE(N(z),A)],[0,w])}return b;case
 28:break;case
 23:case
 24:case
 25:if(typeof
 c!=="number"&&0===c[0]){var
-k=c[1];return l(tY,b,[2,[0,k]],[0,k])}return b;case
+v=c[1];return l(tY,b,[2,[0,v]],[0,v])}return b;case
 6:case
 30:case
 31:case
@@ -32746,17 +32760,17 @@ k=c[1];return l(tY,b,[2,[0,k]],[0,k])}return b;case
 1:case
 2:case
 3:case
-4:return b;default:i=1}if(i)return l(tY,b,e,c);if(typeof
+4:return b;default:q=1}if(q)return l(tY,b,e,c);if(typeof
 c!=="number"&&0===c[0]){var
-f=0,o=c[1];if(typeof
-e==="number")f=1;else
+g=0,y=c[1];if(typeof
+e==="number")g=1;else
 switch(e[0]){case
-4:f=2;break;case
+4:g=2;break;case
 6:var
-r=0,j=e[2];if(typeof
-j!=="number"&&4===j[0]){f=2;r=1}break;default:f=1}switch(f){case
+C=0,u=e[2];if(typeof
+u!=="number"&&4===u[0]){g=2;C=1}break;default:g=1}switch(g){case
 1:break;case
-0:break;default:return l(tY,b,e,[0,o])}}return b},eq=function(c,j){var
+0:break;default:return l(tY,b,e,[0,y])}}return b},eq=function(c,j){var
 s=d(tH,oS(j),c);if(s){var
 t=s[1];if(0===t[0]){var
 p=t[1],k=p[5],g=p[4],h=p[3],a=OJ(h,g,k),f=oS(j),O=function(a){if(0===OJ(h,g,k)[0])return[1,0,f,0,a];if(0===k[0])var