TA1.box result(BOX(NW,TURTLE)) TA2.box result(BOX(NE,TURTLE)) TA5.box result(GLUED(BOX(NW,TURTLE),BOX(NE,TURTLE),BOX(NW,WAVE),BOX(NE,WAVE))) TA7.box result(GLUED(BOX(SE,WAVE),BOX(NE,TURTLE),BOX(SE,TURTLE),BOX(NE,WAVE))) TA8.box result(GLUED(GLUED(BOX(NW,TURTLE),BOX(NE,TURTLE),BOX(NW,WAVE),BOX(NE,WAVE)),GLUED(BOX(NW,TURTLE),BOX(NE,TURTLE),BOX(NW,WAVE),BOX(NE,WAVE)),GLUED(BOX(NW,TURTLE),BOX(NE,TURTLE),BOX(NW,WAVE),BOX(NE,WAVE)),GLUED(BOX(NW,TURTLE),BOX(NE,TURTLE),BOX(NW,WAVE),BOX(NE,WAVE)))) TA9.box result(GLUED(GLUED(BOX(SE,WAVE),BOX(NE,TURTLE),BOX(SE,TURTLE),BOX(NE,WAVE)),GLUED(BOX(SE,WAVE),BOX(NE,TURTLE),BOX(SE,TURTLE),BOX(NE,WAVE)),GLUED(BOX(SE,WAVE),BOX(NE,TURTLE),BOX(SE,TURTLE),BOX(NE,WAVE)),GLUED(BOX(SE,WAVE),BOX(NE,TURTLE),BOX(SE,TURTLE),BOX(NE,WAVE))))