YES +x+yz++xyz++xyz+x+yz+xy+yx+sxy+xsy+xsy+sxy*xsy+x*xy*sxy+*xyy*xy*yxsqx*xxsqsx+*xxs+xx2.12s1110112sq1212110+211120110120210220*211120111120210220sqx*xx+x+yz++xyz++xyz+x+yz+xy+yx+sxy+xsy+xsy+sxy*xy*yx2s1110110sq1012111+211120110120210220*201021110120211220+x+yz++xyz++xyz+x+yz+xy+yx+sxy+xsy+xsy+sxy*xy*yx+x+yz++xyz0++xyz+x+yz0+xy+yx0+sxy+xsy0+xsy+sxy0*xsy+x*xy1*sxy+*xyy1*xy*yx0sqx*xx10sqsx+*xxs+xx4+x++yx344x3452++xyz+x+yz+x+y+x344x345++xy+x344x345++xyz+x+yz+x+y+x344x345+++xyx347x348++xyz+x+yz++xy+x347x348+x+y+x347x348+x+yz++xyz++xy+x347x348+++xx350x351z1++xyz+x+yz++x+x350x351z+x++x350x351z+x+yz++xyz++x+x350x351z++xx353x354++xyz+x+yz+x+x353x354++x353x354x+xy+yx+x+x353x354++sxx356x357++xyz+x+yz+sx+x356x357+xs+x356x357+xsy+sxy+sx+x356x357+x358+x359+yz+x+yz++xyz++x358x359+yz+++x358x359yz++xyz+x+yz++x358x359+yz+x+x361+x362z2+x+yz++xyz+x++x361x362z++x+x361x362z++xyz+x+yz+x++x361x362z++x364+x365yz1+x+yz++xyz+++x364x365yz++x364x365+yz+x+yz++xyz+++x364x365yz+x367+x368y+x+yz++xyz++x367x368y+y+x367x368+xy+yx++x367x368y+x370+x371sy+x+yz++xyz++x370x371sy+s+x370x371y+sxy+xsy++x370x371sy++yzx+xy+yx+x+yz++xyz++xyz+x+yz+x+yz+x+zy2+xy+yx+x+yz++xyz++xyz+x+yz+x+yz+z+xy+xy+yx++xyz+x+yz+x+yz++xyz++xyz++yxz1+xy+yx++xyz+x+yz+x+yz++xyz++xyz+ysx+xy+yx+sxy+xsy+xsy+sxy+sxy+ysx+xsy+sxy+syx+xsy+xy+yx+syx+syx+xy+yx+xsy+sxy+sxy+xsy+xsy+syx+sxy+xsy+ysx+sxy+xy+yx+ysx+x385s+yz+xsy+sxy+sx385+yz++sx385yz++xyz+x+yz+sx385+yz+x+x387sz2+xsy+sxy+x+sx387z++xsx387z++xyz+x+yz+x+sx387z++x389syz1+xsy+sxy++sx389yz+sx389+yz+x+yz++xyz++sx389yz+x391sy+xy+yx+syx391+ysx391+xsy+sxy+syx391+x391sy+xsy+sxy+sx391y+ysx391+xy+yx+sx391y+x393ssy+xsy+sxy+sx393sy+ssx393y+sxy+xsy+sx393sy+x+syx3962+sxy+xsy+x+ysx396++xysx396++xyz+x+yz+x+ysx396+s+xyx398+sxy+xsy++xysx398+x+ysx398+x+yz++xyz++xysx398++sxx400z1+sxy+xsy++xsx400z+x+sx400z+x+yz++xyz++xsx400z+sxx402+xy+yx+x402sx+sx402x+sxy+xsy+x402sx+sxx402+sxy+xsy+xsx402+sx402x+xy+yx+xsx402+ssxx404+sxy+xsy+sxsx404+xssx404+xsy+sxy+sxsx404+sx*sxx4062*sxy+*xyy+sx+*xx406x406+x+yz++xyz++sx*xx406x4061+sxy+xsy++xs*xx406x406+*xsx406sx4061*xsy+x*xy++x*xx406sx406++xyz+x+yz+x+*xx406sx4062+xsy+sxy+x+s*xx406x406+x+yz++xyz++xs*xx406x406+sx*sxx406+xy+yx+*sxx406sx1*sxy+*xyy++*xx406x406sx++xyz+x+yz+*xx406+x406sx2+xy+yx+*xx406+sxx406+*xsx406sx4061*xsy+x*xy++x*xx406sx4061+xy+yx++*xx406xsx406++xyz+x+yz+*xx406+xsx4062+xsy+sxy+*xx406+sxx406+sx*sxx4062*sxy+*xyy+sx+*xx406x406+xy+yx++*xx406x406sx++xyz+x+yz+*xx406+x406sx2+xy+yx+*xx406+sxx406+*xsx406sx4061*xsy+x*xy++x*xx406sx4061+xy+yx++*xx406xsx406++xyz+x+yz+*xx406+xsx4062+xsy+sxy+*xx406+sxx406+sx*sxx4062*sxy+*xyy+sx+*xx406x406+x+yz++xyz++sx*xx406x4061+xy+yx++*xx406sxx406++xyz+x+yz+*xx406+sxx406+*xsx406sx4061*xsy+x*xy++x*xx406sx4061+xy+yx++*xx406xsx406++xyz+x+yz+*xx406+xsx4062+xsy+sxy+*xx406+sxx406+sx*sxx4062*sxy+*xyy+sx+*xx406x4062+xy+yx+sx+x406*xx406+x+yz++xyz++sxx406*xx406+xy+yx+*xx406+sxx406+*xsx406sx4061*xsy+x*xy++x*xx406sx4061+xy+yx++*xx406xsx406++xyz+x+yz+*xx406+xsx4062+xsy+sxy+*xx406+sxx406+sx*sxx406+xy+yx+*sxx406sx1*sxy+*xyy++*xx406x406sx++xyz+x+yz+*xx406+x406sx+xy+yx++x406sx*xx406+*xsx406sx406+xy+yx+sx406*xsx4062*xsy+x*xy+sx406+x*xx406+x+yz++xyz++sx406x*xx4061+sxy+xsy++x406sx*xx406+sx*sxx406+xy+yx+*sxx406sx1*sxy+*xyy++*xx406x406sx++xyz+x+yz+*xx406+x406sx+xy+yx++x406sx*xx406+*xsx406sx4061*xsy+x*xy++x*xx406sx406+xy+yx+sx406+x*xx406+x+yz++xyz++sx406x*xx4061+sxy+xsy++x406sx*xx406+sx*sxx4062*sxy+*xyy+sx+*xx406x406+xy+yx++*xx406x406sx++xyz+x+yz+*xx406+x406sx+xy+yx++x406sx*xx406+*xsx406sx406+xy+yx+sx406*xsx4062*xsy+x*xy+sx406+x*xx406+x+yz++xyz++sx406x*xx4061+sxy+xsy++x406sx*xx406+sx*sxx4062*sxy+*xyy+sx+*xx406x406+xy+yx++*xx406x406sx++xyz+x+yz+*xx406+x406sx+xy+yx++x406sx*xx406+*xsx406sx4061*xsy+x*xy++x*xx406sx406+xy+yx+sx406+x*xx406+x+yz++xyz++sx406x*xx4061+sxy+xsy++x406sx*xx406+sx*sxx4062*sxy+*xyy+sx+*xx406x406+x+yz++xyz++sx*xx406x406+xy+yx+x406+sx*xx406+x+yz++xyz++x406sx*xx406+*xsx406sx406+xy+yx+sx406*xsx4062*xsy+x*xy+sx406+x*xx406+x+yz++xyz++sx406x*xx4061+sxy+xsy++x406sx*xx406+sx*sxx4062*sxy+*xyy+sx+*xx406x406+x+yz++xyz++sx*xx406x406+xy+yx+x406+sx*xx406+x+yz++xyz++x406sx*xx406+*xsx406sx4061*xsy+x*xy++x*xx406sx406+xy+yx+sx406+x*xx406+x+yz++xyz++sx406x*xx4061+sxy+xsy++x406sx*xx406+sx*sxx4062*sxy+*xyy+sx+*xx406x4062+xy+yx+sx+x406*xx406+x+yz++xyz++sxx406*xx4061+xy+yx++x406sx*xx406+*xsx406sx406+xy+yx+sx406*xsx4062*xsy+x*xy+sx406+x*xx406+x+yz++xyz++sx406x*xx4061+sxy+xsy++x406sx*xx406+sx*sxx4062*sxy+*xyy+sx+*xx406x4062+xy+yx+sx+x406*xx406+x+yz++xyz++sxx406*xx4061+xy+yx++x406sx*xx406+*xsx406sx4061*xsy+x*xy++x*xx406sx406+xy+yx+sx406+x*xx406+x+yz++xyz++sx406x*xx4061+sxy+xsy++x406sx*xx406+sx*sxx406+xy+yx+*sxx406sx1*sxy+*xyy++*xx406x406sx++xyz+x+yz+*xx406+x406sx2+xsy+sxy+*xx406+sx406x+*xsx406sx406+xy+yx+sx406*xsx4062*xsy+x*xy+sx406+x*xx406+x+yz++xyz++sx406x*xx406+xy+yx+*xx406+sx406x+sx*sxx406+xy+yx+*sxx406sx1*sxy+*xyy++*xx406x406sx++xyz+x+yz+*xx406+x406sx2+xsy+sxy+*xx406+sx406x+*xsx406sx4061*xsy+x*xy++x*xx406sx406+xy+yx+sx406+x*xx406+x+yz++xyz++sx406x*xx406+xy+yx+*xx406+sx406x+sx*sxx406+xy+yx+*sxx406sx1*sxy+*xyy++*xx406x406sx++xyz+x+yz+*xx406+x406sx2+xsy+sxy+*xx406+sx406x+*xsx406sx4061*xsy+x*xy++x*xx406sx406++xyz+x+yz+x+*xx406sx406+xy+yx++*xx406sx406x++xyz+x+yz+*xx406+sx406x+sx*sxx406+xy+yx+*sxx406sx1*sxy+*xyy++*xx406x406sx++xyz+x+yz+*xx406+x406sx2+xsy+sxy+*xx406+sx406x+*xsx406sx4061*xsy+x*xy++x*xx406sx4061+xy+yx++*xx406xsx406++xyz+x+yz+*xx406+xsx4062+xy+yx+*xx406+sx406x+sx*sxx4062*sxy+*xyy+sx+*xx406x406+xy+yx++*xx406x406sx++xyz+x+yz+*xx406+x406sx2+xsy+sxy+*xx406+sx406x+*xsx406sx406+xy+yx+sx406*xsx4062*xsy+x*xy+sx406+x*xx406+x+yz++xyz++sx406x*xx406+xy+yx+*xx406+sx406x+sx*sxx4062*sxy+*xyy+sx+*xx406x406+xy+yx++*xx406x406sx++xyz+x+yz+*xx406+x406sx2+xsy+sxy+*xx406+sx406x+*xsx406sx4061*xsy+x*xy++x*xx406sx406+xy+yx+sx406+x*xx406+x+yz++xyz++sx406x*xx406+xy+yx+*xx406+sx406x+sx*sxx4062*sxy+*xyy+sx+*xx406x406+xy+yx++*xx406x406sx++xyz+x+yz+*xx406+x406sx2+xsy+sxy+*xx406+sx406x+*xsx406sx4061*xsy+x*xy++x*xx406sx406++xyz+x+yz+x+*xx406sx406+xy+yx++*xx406sx406x++xyz+x+yz+*xx406+sx406x+sx*sxx4062*sxy+*xyy+sx+*xx406x406+xy+yx++*xx406x406sx++xyz+x+yz+*xx406+x406sx2+xsy+sxy+*xx406+sx406x+*xsx406sx4061*xsy+x*xy++x*xx406sx4061+xy+yx++*xx406xsx406++xyz+x+yz+*xx406+xsx4062+xy+yx+*xx406+sx406x+sx*sxx4062*sxy+*xyy+sx+*xx406x406+x+yz++xyz++sx*xx406x4061+sxy+xsy++xs*xx406x406++xyz+x+yz+x+s*xx406x406+*xsx406sx4061*xsy+x*xy++x*xx406sx406++xyz+x+yz+x+*xx406sx4062+xsy+sxy+x+s*xx406x406+sx*sxx4062*sxy+*xyy+sx+*xx406x4062+xy+yx+sx+x406*xx406+x+yz++xyz++sxx406*xx4061+sxy+xsy++xsx406*xx406+*xsx406sx406+xy+yx+sx406*xsx4062*xsy+x*xy+sx406+x*xx406+x+yz++xyz++sx406x*xx4061+xy+yx++xsx406*xx406+sx*sxx4062*sxy+*xyy+sx+*xx406x4062+xy+yx+sx+x406*xx406+x+yz++xyz++sxx406*xx4061+sxy+xsy++xsx406*xx406+*xsx406sx4061*xsy+x*xy++x*xx406sx406+xy+yx+sx406+x*xx406+x+yz++xyz++sx406x*xx4061+xy+yx++xsx406*xx406+sx*sxx4062*sxy+*xyy+sx+*xx406x4062+xy+yx+sx+x406*xx406+x+yz++xyz++sxx406*xx4061+sxy+xsy++xsx406*xx406+*xsx406sx4061*xsy+x*xy++x*xx406sx406++xyz+x+yz+x+*xx406sx4062+xy+yx+x+sx406*xx406+x+yz++xyz++xsx406*xx406+sx*sxx4062*sxy+*xyy+sx+*xx406x4062+xy+yx+sx+x406*xx406+x+yz++xyz++sxx406*xx4061+sxy+xsy++xsx406*xx406+*xsx406sx4061*xsy+x*xy++x*xx406sx4061+xy+yx++*xx406xsx406++xyz+x+yz+*xx406+xsx406+xy+yx++xsx406*xx406+sx*sxx4062*xy*yx+sx*x406sx2*xsy+x*xy+sx+x406*x406x+x+yz++xyz++sxx406*x406x+xy+yx+*x406x+sxx406+*xsx406sx4061*xy*yx+*sx406xsx4061*sxy+*xyy++*x406xxsx406++xyz+x+yz+*x406x+xsx4062+xsy+sxy+*x406x+sxx406+sx*sxx4062*xy*yx+sx*x406sx2*xsy+x*xy+sx+x406*x406x+x+yz++xyz++sxx406*x406x1+sxy+xsy++xsx406*x406x+*xsx406sx4061*xy*yx+*sx406xsx4061*sxy+*xyy++*x406xxsx406++xyz+x+yz+*x406x+xsx406+xy+yx++xsx406*x406x+x*xx408*sx408x*xy*yx*xsx408*xsy+x*xy+x*xx408+x*xx408+xy+yx+*xx408x*sx408x*sxy+*xyy+*x408xx1*xy*yx+*xx408x+x*xx4082*xy*yx+x*x408x*sx408x*sxy+*xyy+*x408xx+xy+yx+x*x408x+x*xx408+xy+yx+*xx408x1*xy*yx+*x408xx*sx408x*sxy+*xyy+*x408xx+x*xx4082*xy*yx+x*x408x+xy+yx+*x408xx*sx408x*sxy+*xyy+*x408xx+*x409sysy1*xsy+x*xy++x409*x409ysy++xyz+x+yz+x409+*x409ysy2+xsy+sxy+x409+s*x409yy+sx409*sx409y2*sxy+*xyy+sx409+*x409yy+x+yz++xyz++sx409*x409yy1+sxy+xsy++x409s*x409yy++xyz+x+yz+x409+s*x409yy+*x409sysy+xy+yx+sy*x409sy2*xsy+x*xy+sy+x409*x409y+x+yz++xyz++syx409*x409y1+xy+yx++x409sy*x409y+sx409*sx409y2*sxy+*xyy+sx409+*x409yy2+xy+yx+sx409+y*x409y+x+yz++xyz++sx409y*x409y1+sxy+xsy++x409sy*x409y+*x409sysy1*xsy+x*xy++x409*x409ysy+xy+yx+sy+x409*x409y+x+yz++xyz++syx409*x409y1+xy+yx++x409sy*x409y+sx409*sx409y2*sxy+*xyy+sx409+*x409yy2+xy+yx+sx409+y*x409y+x+yz++xyz++sx409y*x409y1+sxy+xsy++x409sy*x409y+*x409sysy1*xsy+x*xy++x409*x409ysy++xyz+x+yz+x409+*x409ysy2+xy+yx+x409+sy*x409y+x+yz++xyz++x409sy*x409y+sx409*sx409y2*sxy+*xyy+sx409+*x409yy2+xy+yx+sx409+y*x409y+x+yz++xyz++sx409y*x409y1+sxy+xsy++x409sy*x409y+*x409sysy1*xsy+x*xy++x409*x409ysy1+xy+yx++*x409yx409sy++xyz+x+yz+*x409y+x409sy+xy+yx++x409sy*x409y+sx409*sx409y2*sxy+*xyy+sx409+*x409yy2+xy+yx+sx409+y*x409y+x+yz++xyz++sx409y*x409y1+sxy+xsy++x409sy*x409y+*x409sysy+xy+yx+sy*x409sy2*xsy+x*xy+sy+x409*x409y+x+yz++xyz++syx409*x409y+xy+yx+*x409y+syx409+sx409*sx409y+xy+yx+*sx409ysx4091*sxy+*xyy++*x409yysx409++xyz+x+yz+*x409y+ysx4092+xsy+sxy+*x409y+syx409+*x409sysy+xy+yx+sy*x409sy2*xsy+x*xy+sy+x409*x409y+x+yz++xyz++syx409*x409y+xy+yx+*x409y+syx409+sx409*sx409y2*sxy+*xyy+sx409+*x409yy+xy+yx++*x409yysx409++xyz+x+yz+*x409y+ysx4092+xsy+sxy+*x409y+syx409+*x409sysy1*xsy+x*xy++x409*x409ysy+xy+yx+sy+x409*x409y+x+yz++xyz++syx409*x409y+xy+yx+*x409y+syx409+sx409*sx409y+xy+yx+*sx409ysx4091*sxy+*xyy++*x409yysx409++xyz+x+yz+*x409y+ysx4092+xsy+sxy+*x409y+syx409+*x409sysy1*xsy+x*xy++x409*x409ysy+xy+yx+sy+x409*x409y+x+yz++xyz++syx409*x409y+xy+yx+*x409y+syx409+sx409*sx409y2*sxy+*xyy+sx409+*x409yy+xy+yx++*x409yysx409++xyz+x+yz+*x409y+ysx4092+xsy+sxy+*x409y+syx409+*x409sysy1*xsy+x*xy++x409*x409ysy++xyz+x+yz+x409+*x409ysy+xy+yx++*x409ysyx409++xyz+x+yz+*x409y+syx409+sx409*sx409y+xy+yx+*sx409ysx4091*sxy+*xyy++*x409yysx409++xyz+x+yz+*x409y+ysx4092+xsy+sxy+*x409y+syx409+*x409sysy1*xsy+x*xy++x409*x409ysy++xyz+x+yz+x409+*x409ysy+xy+yx++*x409ysyx409++xyz+x+yz+*x409y+syx409+sx409*sx409y2*sxy+*xyy+sx409+*x409yy+xy+yx++*x409yysx409++xyz+x+yz+*x409y+ysx4092+xsy+sxy+*x409y+syx409+*x409sysy1*xsy+x*xy++x409*x409ysy1+xy+yx++*x409yx409sy++xyz+x+yz+*x409y+x409sy2+xy+yx+*x409y+syx409+sx409*sx409y+xy+yx+*sx409ysx4091*sxy+*xyy++*x409yysx409++xyz+x+yz+*x409y+ysx4092+xsy+sxy+*x409y+syx409+*x409sysy1*xsy+x*xy++x409*x409ysy1+xy+yx++*x409yx409sy++xyz+x+yz+*x409y+x409sy2+xy+yx+*x409y+syx409+sx409*sx409y2*sxy+*xyy+sx409+*x409yy+xy+yx++*x409yysx409++xyz+x+yz+*x409y+ysx4092+xsy+sxy+*x409y+syx409+*x409sysy+xy+yx+sy*x409sy2*xsy+x*xy+sy+x409*x409y+x+yz++xyz++syx409*x409y1+sxy+xsy++ysx409*x409y+sx409*sx409y+xy+yx+*sx409ysx4091*sxy+*xyy++*x409yysx409++xyz+x+yz+*x409y+ysx409+xy+yx++ysx409*x409y+*x409sysy+xy+yx+sy*x409sy2*xsy+x*xy+sy+x409*x409y+x+yz++xyz++syx409*x409y1+sxy+xsy++ysx409*x409y+sx409*sx409y2*sxy+*xyy+sx409+*x409yy+xy+yx++*x409yysx409++xyz+x+yz+*x409y+ysx409+xy+yx++ysx409*x409y+*x409sysy+xy+yx+sy*x409sy2*xsy+x*xy+sy+x409*x409y+x+yz++xyz++syx409*x409y1+sxy+xsy++ysx409*x409y+sx409*sx409y2*sxy+*xyy+sx409+*x409yy+x+yz++xyz++sx409*x409yy+xy+yx+y+sx409*x409y+x+yz++xyz++ysx409*x409y+*x409sysy+xy+yx+sy*x409sy2*xsy+x*xy+sy+x409*x409y+x+yz++xyz++syx409*x409y1+sxy+xsy++ysx409*x409y+sx409*sx409y2*sxy+*xyy+sx409+*x409yy2+xy+yx+sx409+y*x409y+x+yz++xyz++sx409y*x409y1+xy+yx++ysx409*x409y+*x409sysy1*xsy+x*xy++x409*x409ysy+xy+yx+sy+x409*x409y+x+yz++xyz++syx409*x409y1+sxy+xsy++ysx409*x409y+sx409*sx409y+xy+yx+*sx409ysx4091*sxy+*xyy++*x409yysx409++xyz+x+yz+*x409y+ysx409+xy+yx++ysx409*x409y+*x409sysy1*xsy+x*xy++x409*x409ysy+xy+yx+sy+x409*x409y+x+yz++xyz++syx409*x409y1+sxy+xsy++ysx409*x409y+sx409*sx409y2*sxy+*xyy+sx409+*x409yy+xy+yx++*x409yysx409++xyz+x+yz+*x409y+ysx409+xy+yx++ysx409*x409y+*x409sysy1*xsy+x*xy++x409*x409ysy+xy+yx+sy+x409*x409y+x+yz++xyz++syx409*x409y1+sxy+xsy++ysx409*x409y+sx409*sx409y2*sxy+*xyy+sx409+*x409yy+x+yz++xyz++sx409*x409yy+xy+yx+y+sx409*x409y+x+yz++xyz++ysx409*x409y+*x409sysy1*xsy+x*xy++x409*x409ysy+xy+yx+sy+x409*x409y+x+yz++xyz++syx409*x409y1+sxy+xsy++ysx409*x409y+sx409*sx409y2*sxy+*xyy+sx409+*x409yy2+xy+yx+sx409+y*x409y+x+yz++xyz++sx409y*x409y1+xy+yx++ysx409*x409y+*x409sysy1*xsy+x*xy++x409*x409ysy++xyz+x+yz+x409+*x409ysy2+xsy+sxy+x409+s*x409yy+x+yz++xyz++x409s*x409yy+sx409*sx409y2*sxy+*xyy+sx409+*x409yy+x+yz++xyz++sx409*x409yy1+sxy+xsy++x409s*x409yy+*x409sysy1*xsy+x*xy++x409*x409ysy1+xy+yx++*x409yx409sy++xyz+x+yz+*x409y+x409sy2+xsy+sxy+*x409y+sx409y+sx409*sx409y+xy+yx+*sx409ysx4091*sxy+*xyy++*x409yysx409++xyz+x+yz+*x409y+ysx4092+xy+yx+*x409y+sx409y+*x409sysy1*xsy+x*xy++x409*x409ysy1+xy+yx++*x409yx409sy++xyz+x+yz+*x409y+x409sy2+xsy+sxy+*x409y+sx409y+sx409*sx409y2*sxy+*xyy+sx409+*x409yy+xy+yx++*x409yysx409++xyz+x+yz+*x409y+ysx4092+xy+yx+*x409y+sx409y+*x409sysy1*xsy+x*xy++x409*x409ysy1+xy+yx++*x409yx409sy++xyz+x+yz+*x409y+x409sy2+xsy+sxy+*x409y+sx409y+sx409*sx409y2*sxy+*xyy+sx409+*x409yy+x+yz++xyz++sx409*x409yy1+xy+yx++*x409ysx409y++xyz+x+yz+*x409y+sx409y+*x409sysy1*xsy+x*xy++x409*x409ysy1+xy+yx++*x409yx409sy++xyz+x+yz+*x409y+x409sy2+xsy+sxy+*x409y+sx409y+sx409*sx409y2*sxy+*xyy+sx409+*x409yy2+xy+yx+sx409+y*x409y+x+yz++xyz++sx409y*x409y+xy+yx+*x409y+sx409y+*x409sysy1*xy*yx+*syx409sy1*sxy+*xyy++*yx409x409sy++xyz+x+yz+*yx409+x409sy+xy+yx++x409sy*yx409+sx409*sx409y2*xy*yx+sx409*ysx4092*xsy+x*xy+sx409+y*yx409+x+yz++xyz++sx409y*yx4091+sxy+xsy++x409sy*yx409+*x409sysy1*xy*yx+*syx409sy1*sxy+*xyy++*yx409x409sy++xyz+x+yz+*yx409+x409sy2+xsy+sxy+*yx409+sx409y+sx409*sx409y2*xy*yx+sx409*ysx4092*xsy+x*xy+sx409+y*yx409+x+yz++xyz++sx409y*yx409+xy+yx+*yx409+sx409y+*x411yy*ysx411*xy*yx*sx411y*sxy+*xyy+*x411yy+*x411yy+xy+yx+y*x411y*ysx411*xsy+x*xy+y*yx4112*xy*yx+y*x411y+*x411yy1*xy*yx+*yx411y*ysx411*xsy+x*xy+y*yx411+xy+yx+*yx411y+*x411yy+xy+yx+y*x411y2*xy*yx+y*yx411*ysx411*xsy+x*xy+y*yx411+*x411yy1*xy*yx+*yx411y+xy+yx+y*yx411*ysx411*xsy+x*xy+y*yx411*syx*sxy+*xyy+*yxx+x*xy+xy+yx+*xyx1*xy*yx+*yxx*syx*sxy+*xyy+*yxx+x*xy2*xy*yx+x*yx+xy+yx+*yxx*syx*sxy+*xyy+*yxx+xy+yx+x*yx+x*xy2*xy*yx+x*yx*syx*sxy+*xyy+*yxx1*xy*yx+*xyx+x*xy+xy+yx+*xyx*syx*xy*yx*xsy*xsy+x*xy+x*xy+x*xy*ysx*xsy+x*xy+y*yx+*xyy+xy+yx+y*xy2*xy*yx+y*yx*ysx*xsy+x*xy+y*yx+*xyy1*xy*yx+*yxy+xy+yx+y*yx*ysx*xsy+x*xy+y*yx+xy+yx+*yxy+*xyy1*xy*yx+*yxy*ysx*xsy+x*xy+y*yx2*xy*yx+y*xy+*xyy+xy+yx+y*xy*ysx*xy*yx*sxy*sxy+*xyy+*xyy+*xyy*sxsx*xsy+x*xy+sx*sxx2*sxy+*xyy+sx+*xxx+x+yz++xyz++sx*xxx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx1+xy+yx++xs*xxx1+xsy+sxy++sx*xxx*sxsx*xsy+x*xy+sx*sxx2*sxy+*xyy+sx+*xxx+x+yz++xyz++sx*xxx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx1+sxy+xsy++*xxsxx1+xy+yx++sx*xxx*sxsx*xsy+x*xy+sx*sxx2*sxy+*xyy+sx+*xxx21*xy*yx+sx+*xxx+x+yz++xyz++sx*xxx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx1+xy+yx++xs*xxx1+xsy+sxy++sx*xxx*sxsx*xsy+x*xy+sx*sxx2*sxy+*xyy+sx+*xxx21*xy*yx+sx+*xxx+x+yz++xyz++sx*xxx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx1+sxy+xsy++*xxsxx1+xy+yx++sx*xxx*sxsx*xsy+x*xy+sx*sxx2*sxy+*xyy+sx+*xxx+x+yz++xyz++sx*xxx12*xy*yx++sx*xxx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx1+xy+yx++xs*xxx1+xsy+sxy++sx*xxx*sxsx*xsy+x*xy+sx*sxx2*sxy+*xyy+sx+*xxx+x+yz++xyz++sx*xxx12*xy*yx++sx*xxx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx1+sxy+xsy++*xxsxx1+xy+yx++sx*xxx*sxsx*sxy+*xyy+*xsxsx1*xsy+x*xy++x*xxsx++xyz+x+yz+x+*xxsx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx+xy+yx+x+s*xxx2+sxy+xsy+x+*xxsx*sxsx*sxy+*xyy+*xsxsx1*xsy+x*xy++x*xxsx++xyz+x+yz+x+*xxsx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx1+sxy+xsy++*xxsxx+xy+yx+x+*xxsx*sxsx*sxy+*xyy+*xsxsx1*xsy+x*xy++x*xxsx12*xy*yx++x*xxsx++xyz+x+yz+x+*xxsx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx+xy+yx+x+s*xxx2+sxy+xsy+x+*xxsx*sxsx*sxy+*xyy+*xsxsx1*xsy+x*xy++x*xxsx12*xy*yx++x*xxsx++xyz+x+yz+x+*xxsx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx1+sxy+xsy++*xxsxx+xy+yx+x+*xxsx*sxsx*sxy+*xyy+*xsxsx1*xsy+x*xy++x*xxsx++xyz+x+yz+x+*xxsx21*xy*yx+x+*xxsx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx+xy+yx+x+s*xxx2+sxy+xsy+x+*xxsx*sxsx*sxy+*xyy+*xsxsx1*xsy+x*xy++x*xxsx++xyz+x+yz+x+*xxsx21*xy*yx+x+*xxsx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx1+sxy+xsy++*xxsxx+xy+yx+x+*xxsx*sxsx*xsy+x*xy+sx*sxx2*sxy+*xyy+sx+*xxx+x+yz++xyz++sx*xxx1+xy+yx++*xxsxx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx1+sxy+xsy++*xxsxx*sxsx*xsy+x*xy+sx*sxx2*sxy+*xyy+sx+*xxx+x+yz++xyz++sx*xxx1+xy+yx++*xxsxx+*xxs+xx+xsy+sxy+s*xx+xx11*xy*yx+s*xx+xx+x+yz++xyz++s*xxxx1+sxy+xsy++*xxsxx*sxsx*xsy+x*xy+sx*sxx2*sxy+*xyy+sx+*xxx+x+yz++xyz++sx*xxx1+xy+yx++*xxsxx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx111*xy*yx++s*xxxx1+sxy+xsy++*xxsxx*sxsx*xsy+x*xy+sx*sxx2*sxy+*xyy+sx+*xxx+x+yz++xyz++sx*xxx1+xy+yx++*xxsxx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx1+sxy+xsy++*xxsxx11*xy*yx++*xxsxx*sxsx*sxy+*xyy+*xsxsx1*xsy+x*xy++x*xxsx++xyz+x+yz+x+*xxsx+xy+yx++*xxsxx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx1+sxy+xsy++*xxsxx*sxsx*sxy+*xyy+*xsxsx1*xsy+x*xy++x*xxsx++xyz+x+yz+x+*xxsx+xy+yx++*xxsxx+*xxs+xx+xsy+sxy+s*xx+xx11*xy*yx+s*xx+xx+x+yz++xyz++s*xxxx1+sxy+xsy++*xxsxx*sxsx*sxy+*xyy+*xsxsx1*xsy+x*xy++x*xxsx++xyz+x+yz+x+*xxsx+xy+yx++*xxsxx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx111*xy*yx++s*xxxx1+sxy+xsy++*xxsxx*sxsx*sxy+*xyy+*xsxsx1*xsy+x*xy++x*xxsx++xyz+x+yz+x+*xxsx+xy+yx++*xxsxx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx1+sxy+xsy++*xxsxx11*xy*yx++*xxsxx*sxsx*xsy+x*xy+sx*sxx2*sxy+*xyy+sx+*xxx+x+yz++xyz++sx*xxx+xy+yx+x+sx*xx+*xxs+xx+xy+yx+s+xx*xx+sxy+xsy++xxs*xx++xyz+x+yz+x+xs*xx2+xsy+sxy+x+sx*xx*sxsx*xsy+x*xy+sx*sxx2*sxy+*xyy+sx+*xxx+x+yz++xyz++sx*xxx+xy+yx+x+sx*xx+*xxs+xx+xsy+sxy+s*xx+xx+xy+yx++xxs*xx++xyz+x+yz+x+xs*xx2+xsy+sxy+x+sx*xx*sxsx*sxy+*xyy+*xsxsx1*xsy+x*xy++x*xxsx++xyz+x+yz+x+*xxsx2+xy+yx+x+sx*xx+*xxs+xx+xy+yx+s+xx*xx+sxy+xsy++xxs*xx++xyz+x+yz+x+xs*xx2+xsy+sxy+x+sx*xx*sxsx*sxy+*xyy+*xsxsx1*xsy+x*xy++x*xxsx++xyz+x+yz+x+*xxsx2+xy+yx+x+sx*xx+*xxs+xx+xsy+sxy+s*xx+xx+xy+yx++xxs*xx++xyz+x+yz+x+xs*xx2+xsy+sxy+x+sx*xx*sxsx*xsy+x*xy+sx*sxx2*sxy+*xyy+sx+*xxx+x+yz++xyz++sx*xxx1+sxy+xsy++xs*xxx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx1+xy+yx++xs*xxx*sxsx*xsy+x*xy+sx*sxx2*sxy+*xyy+sx+*xxx+x+yz++xyz++sx*xxx1+sxy+xsy++xs*xxx+*xxs+xx+xsy+sxy+s*xx+xx11*xy*yx+s*xx+xx+x+yz++xyz++s*xxxx1+xy+yx++xs*xxx*sxsx*xsy+x*xy+sx*sxx2*sxy+*xyy+sx+*xxx+x+yz++xyz++sx*xxx1+sxy+xsy++xs*xxx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx111*xy*yx++s*xxxx1+xy+yx++xs*xxx*sxsx*xsy+x*xy+sx*sxx2*sxy+*xyy+sx+*xxx+x+yz++xyz++sx*xxx1+sxy+xsy++xs*xxx+*xxs+xx+xy+yx+s+xx*xx+sxy+xsy++xxs*xx++xyz+x+yz+x+xs*xx+xy+yx++xs*xxx*sxsx*xsy+x*xy+sx*sxx2*sxy+*xyy+sx+*xxx+x+yz++xyz++sx*xxx1+sxy+xsy++xs*xxx+*xxs+xx+xsy+sxy+s*xx+xx+xy+yx++xxs*xx++xyz+x+yz+x+xs*xx+xy+yx++xs*xxx*sxsx*xsy+x*xy+sx*sxx2*sxy+*xyy+sx+*xxx+x+yz++xyz++sx*xxx1+sxy+xsy++xs*xxx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx1+xy+yx++xs*xxx121*xy*yx++xs*xxx*sxsx*xsy+x*xy+sx*sxx2*sxy+*xyy+sx+*xxx+x+yz++xyz++sx*xxx1+sxy+xsy++xs*xxx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx+xy+yx+x+s*xxx+x+yz++xyz++xs*xxx*sxsx*sxy+*xyy+*xsxsx1*xsy+x*xy++x*xxsx++xyz+x+yz+x+*xxsx2+xsy+sxy+x+s*xxx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx+xy+yx+x+s*xxx*sxsx*sxy+*xyy+*xsxsx1*xsy+x*xy++x*xxsx++xyz+x+yz+x+*xxsx2+xsy+sxy+x+s*xxx+*xxs+xx+xsy+sxy+s*xx+xx11*xy*yx+s*xx+xx+x+yz++xyz++s*xxxx+xy+yx+x+s*xxx*sxsx*sxy+*xyy+*xsxsx1*xsy+x*xy++x*xxsx++xyz+x+yz+x+*xxsx2+xsy+sxy+x+s*xxx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx111*xy*yx++s*xxxx+xy+yx+x+s*xxx*sxsx*sxy+*xyy+*xsxsx1*xsy+x*xy++x*xxsx++xyz+x+yz+x+*xxsx2+xsy+sxy+x+s*xxx+*xxs+xx+xy+yx+s+xx*xx+sxy+xsy++xxs*xx++xyz+x+yz+x+xs*xx2+xy+yx+x+s*xxx*sxsx*sxy+*xyy+*xsxsx1*xsy+x*xy++x*xxsx++xyz+x+yz+x+*xxsx2+xsy+sxy+x+s*xxx+*xxs+xx+xsy+sxy+s*xx+xx+xy+yx++xxs*xx++xyz+x+yz+x+xs*xx2+xy+yx+x+s*xxx*sxsx*sxy+*xyy+*xsxsx1*xsy+x*xy++x*xxsx++xyz+x+yz+x+*xxsx2+xsy+sxy+x+s*xxx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx1+xy+yx++xs*xxx++xyz+x+yz+x+s*xxx*sxsx*sxy+*xyy+*xsxsx1*xsy+x*xy++x*xxsx++xyz+x+yz+x+*xxsx2+xsy+sxy+x+s*xxx+*xxs+xx+xsy+sxy+s*xx+xx+x+yz++xyz++s*xxxx+xy+yx+x+s*xxx211*xy*yx+x+s*xxx+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x4181+xy+yx++x418s*x418x418x418*sx418sx418*xsy+x*xy+sx418*sx418x4182*sxy+*xyy+sx418+*x418x418x418+x+yz++xyz++sx418*x418x418x4181+sxy+xsy++x418s*x418x418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x41811*xy*yx+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x4181+xy+yx++x418s*x418x418x418*sx418sx418*xsy+x*xy+sx418*sx418x4182*sxy+*xyy+sx418+*x418x418x418+x+yz++xyz++sx418*x418x418x4181+sxy+xsy++x418s*x418x418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x418111*xy*yx++s*x418x418x418x4181+xy+yx++x418s*x418x418x418*sx418sx418*xsy+x*xy+sx418*sx418x4182*sxy+*xyy+sx418+*x418x418x418+x+yz++xyz++sx418*x418x418x4181+sxy+xsy++x418s*x418x418x418+*x418x418s+x418x418+xy+yx+s+x418x418*x418x418+sxy+xsy++x418x418s*x418x418++xyz+x+yz+x418+x418s*x418x418+xy+yx++x418s*x418x418x418*sx418sx418*xsy+x*xy+sx418*sx418x4182*sxy+*xyy+sx418+*x418x418x418+x+yz++xyz++sx418*x418x418x4181+sxy+xsy++x418s*x418x418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+xy+yx++x418x418s*x418x418++xyz+x+yz+x418+x418s*x418x418+xy+yx++x418s*x418x418x418*sx418sx418*xsy+x*xy+sx418*sx418x4182*sxy+*xyy+sx418+*x418x418x418+x+yz++xyz++sx418*x418x418x4181+sxy+xsy++x418s*x418x418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x4181+xy+yx++x418s*x418x418x418121*xy*yx++x418s*x418x418x418*sx418sx418*xsy+x*xy+sx418*sx418x4182*sxy+*xyy+sx418+*x418x418x418+x+yz++xyz++sx418*x418x418x4181+sxy+xsy++x418s*x418x418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x418+xy+yx+x418+s*x418x418x418+x+yz++xyz++x418s*x418x418x418*sx418sx418*xsy+x*xy+sx418*sx418x4182*sxy+*xyy+sx418+*x418x418x418+x+yz++xyz++sx418*x418x418x4181+sxy+xsy++x418s*x418x418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x418+xy+yx+x418+s*x418x418x418*sx418sx418*sxy+*xyy+*x418sx418sx4181*xsy+x*xy++x418*x418x418sx418++xyz+x+yz+x418+*x418x418sx4182+xsy+sxy+x418+s*x418x418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x41811*xy*yx+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x418+xy+yx+x418+s*x418x418x418*sx418sx418*sxy+*xyy+*x418sx418sx4181*xsy+x*xy++x418*x418x418sx418++xyz+x+yz+x418+*x418x418sx4182+xsy+sxy+x418+s*x418x418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x418111*xy*yx++s*x418x418x418x418+xy+yx+x418+s*x418x418x418*sx418sx418*sxy+*xyy+*x418sx418sx4181*xsy+x*xy++x418*x418x418sx418++xyz+x+yz+x418+*x418x418sx4182+xsy+sxy+x418+s*x418x418x418+*x418x418s+x418x418+xy+yx+s+x418x418*x418x418+sxy+xsy++x418x418s*x418x418++xyz+x+yz+x418+x418s*x418x4182+xy+yx+x418+s*x418x418x418*sx418sx418*sxy+*xyy+*x418sx418sx4181*xsy+x*xy++x418*x418x418sx418++xyz+x+yz+x418+*x418x418sx4182+xsy+sxy+x418+s*x418x418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+xy+yx++x418x418s*x418x418++xyz+x+yz+x418+x418s*x418x4182+xy+yx+x418+s*x418x418x418*sx418sx418*sxy+*xyy+*x418sx418sx4181*xsy+x*xy++x418*x418x418sx418++xyz+x+yz+x418+*x418x418sx4182+xsy+sxy+x418+s*x418x418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x4181+xy+yx++x418s*x418x418x418++xyz+x+yz+x418+s*x418x418x418*sx418sx418*sxy+*xyy+*x418sx418sx4181*xsy+x*xy++x418*x418x418sx418++xyz+x+yz+x418+*x418x418sx4182+xsy+sxy+x418+s*x418x418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x418+xy+yx+x418+s*x418x418x418211*xy*yx+x418+s*x418x418x418*sx418sx418*sxy+*xyy+*x418sx418sx4181*xsy+x*xy++x418*x418x418sx418++xyz+x+yz+x418+*x418x418sx4182+xsy+sxy+x418+s*x418x418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x4181+sxy+xsy++*x418x418sx418x418*sx418sx418*xsy+x*xy+sx418*sx418x4182*sxy+*xyy+sx418+*x418x418x418+x+yz++xyz++sx418*x418x418x4181+xy+yx++*x418x418sx418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x4181+sxy+xsy++*x418x418sx418x418*sx418sx418*sxy+*xyy+*x418sx418sx4181*xsy+x*xy++x418*x418x418sx418++xyz+x+yz+x418+*x418x418sx418+xy+yx++*x418x418sx418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x41811*xy*yx+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x4181+sxy+xsy++*x418x418sx418x418*sx418sx418*xsy+x*xy+sx418*sx418x4182*sxy+*xyy+sx418+*x418x418x418+x+yz++xyz++sx418*x418x418x4181+xy+yx++*x418x418sx418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x41811*xy*yx+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x4181+sxy+xsy++*x418x418sx418x418*sx418sx418*sxy+*xyy+*x418sx418sx4181*xsy+x*xy++x418*x418x418sx418++xyz+x+yz+x418+*x418x418sx418+xy+yx++*x418x418sx418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x418111*xy*yx++s*x418x418x418x4181+sxy+xsy++*x418x418sx418x418*sx418sx418*xsy+x*xy+sx418*sx418x4182*sxy+*xyy+sx418+*x418x418x418+x+yz++xyz++sx418*x418x418x4181+xy+yx++*x418x418sx418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x418111*xy*yx++s*x418x418x418x4181+sxy+xsy++*x418x418sx418x418*sx418sx418*sxy+*xyy+*x418sx418sx4181*xsy+x*xy++x418*x418x418sx418++xyz+x+yz+x418+*x418x418sx418+xy+yx++*x418x418sx418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x4181+sxy+xsy++*x418x418sx418x41811*xy*yx++*x418x418sx418x418*sx418sx418*xsy+x*xy+sx418*sx418x4182*sxy+*xyy+sx418+*x418x418x418+x+yz++xyz++sx418*x418x418x4181+xy+yx++*x418x418sx418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x4181+sxy+xsy++*x418x418sx418x41811*xy*yx++*x418x418sx418x418*sx418sx418*sxy+*xyy+*x418sx418sx4181*xsy+x*xy++x418*x418x418sx418++xyz+x+yz+x418+*x418x418sx418+xy+yx++*x418x418sx418x418+*x418x418s+x418x418+xy+yx+s+x418x418*x418x418+sxy+xsy++x418x418s*x418x418++xyz+x+yz+x418+x418s*x418x4182+xsy+sxy+x418+sx418*x418x418*sx418sx418*xsy+x*xy+sx418*sx418x4182*sxy+*xyy+sx418+*x418x418x418+x+yz++xyz++sx418*x418x418x418+xy+yx+x418+sx418*x418x418+*x418x418s+x418x418+xy+yx+s+x418x418*x418x418+sxy+xsy++x418x418s*x418x418++xyz+x+yz+x418+x418s*x418x4182+xsy+sxy+x418+sx418*x418x418*sx418sx418*sxy+*xyy+*x418sx418sx4181*xsy+x*xy++x418*x418x418sx418++xyz+x+yz+x418+*x418x418sx4182+xy+yx+x418+sx418*x418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+xy+yx++x418x418s*x418x418++xyz+x+yz+x418+x418s*x418x4182+xsy+sxy+x418+sx418*x418x418*sx418sx418*xsy+x*xy+sx418*sx418x4182*sxy+*xyy+sx418+*x418x418x418+x+yz++xyz++sx418*x418x418x418+xy+yx+x418+sx418*x418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+xy+yx++x418x418s*x418x418++xyz+x+yz+x418+x418s*x418x4182+xsy+sxy+x418+sx418*x418x418*sx418sx418*sxy+*xyy+*x418sx418sx4181*xsy+x*xy++x418*x418x418sx418++xyz+x+yz+x418+*x418x418sx4182+xy+yx+x418+sx418*x418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x4181+xy+yx++x418s*x418x418x4181+xsy+sxy++sx418*x418x418x418*sx418sx418*xsy+x*xy+sx418*sx418x4182*sxy+*xyy+sx418+*x418x418x418+x+yz++xyz++sx418*x418x418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x4181+xy+yx++x418s*x418x418x4181+xsy+sxy++sx418*x418x418x418*sx418sx418*xsy+x*xy+sx418*sx418x4182*sxy+*xyy+sx418+*x418x418x41821*xy*yx+sx418+*x418x418x418+x+yz++xyz++sx418*x418x418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x4181+xy+yx++x418s*x418x418x4181+xsy+sxy++sx418*x418x418x418*sx418sx418*xsy+x*xy+sx418*sx418x4182*sxy+*xyy+sx418+*x418x418x418+x+yz++xyz++sx418*x418x418x41812*xy*yx++sx418*x418x418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x4181+sxy+xsy++*x418x418sx418x4181+xy+yx++sx418*x418x418x418*sx418sx418*xsy+x*xy+sx418*sx418x4182*sxy+*xyy+sx418+*x418x418x418+x+yz++xyz++sx418*x418x418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x4181+sxy+xsy++*x418x418sx418x4181+xy+yx++sx418*x418x418x418*sx418sx418*xsy+x*xy+sx418*sx418x4182*sxy+*xyy+sx418+*x418x418x41821*xy*yx+sx418+*x418x418x418+x+yz++xyz++sx418*x418x418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x4181+sxy+xsy++*x418x418sx418x4181+xy+yx++sx418*x418x418x418*sx418sx418*xsy+x*xy+sx418*sx418x4182*sxy+*xyy+sx418+*x418x418x418+x+yz++xyz++sx418*x418x418x41812*xy*yx++sx418*x418x418x418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x418+xy+yx+x418+s*x418x418x4182+sxy+xsy+x418+*x418x418sx418*sx418sx418*sxy+*xyy+*x418sx418sx4181*xsy+x*xy++x418*x418x418sx418++xyz+x+yz+x418+*x418x418sx418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x418+xy+yx+x418+s*x418x418x4182+sxy+xsy+x418+*x418x418sx418*sx418sx418*sxy+*xyy+*x418sx418sx4181*xsy+x*xy++x418*x418x418sx41812*xy*yx++x418*x418x418sx418++xyz+x+yz+x418+*x418x418sx418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x418+xy+yx+x418+s*x418x418x4182+sxy+xsy+x418+*x418x418sx418*sx418sx418*sxy+*xyy+*x418sx418sx4181*xsy+x*xy++x418*x418x418sx418++xyz+x+yz+x418+*x418x418sx41821*xy*yx+x418+*x418x418sx418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x4181+sxy+xsy++*x418x418sx418x418+xy+yx+x418+*x418x418sx418*sx418sx418*sxy+*xyy+*x418sx418sx4181*xsy+x*xy++x418*x418x418sx418++xyz+x+yz+x418+*x418x418sx418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x4181+sxy+xsy++*x418x418sx418x418+xy+yx+x418+*x418x418sx418*sx418sx418*sxy+*xyy+*x418sx418sx4181*xsy+x*xy++x418*x418x418sx41812*xy*yx++x418*x418x418sx418++xyz+x+yz+x418+*x418x418sx418+*x418x418s+x418x418+xsy+sxy+s*x418x418+x418x418+x+yz++xyz++s*x418x418x418x4181+sxy+xsy++*x418x418sx418x418+xy+yx+x418+*x418x418sx418*sx418sx418*sxy+*xyy+*x418sx418sx4181*xsy+x*xy++x418*x418x418sx418++xyz+x+yz+x418+*x418x418sx41821*xy*yx+x418+*x418x418sx418csicsi 1.2.5 [hg: unknown](sorted -ms*; ( ((cr -kb;((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))! || ((if linear then cr -closed -m -1;closed -strongly 7 else fail) || (if left-linear then cr -closed -m -1;(closed -development) else fail))! || (if linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (if left-linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (cr -cpcs2 -cpcscert; ((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))!) || (( (nonconfluence -steps 0 -tcap -fun | nonconfluence -steps 2 -tcap -fun | nonconfluence -steps 25 -width 1 -tcap -fun) || (nonconfluence -steps 2 -tcap -var | nonconfluence -steps 25 -width 1 -tcap -var) || (nonconfluence -steps 0 -tree -cert -fun | nonconfluence -steps 0 -tree -cert -var | nonconfluence -steps 1 -tree -cert -fun | nonconfluence -steps 1 -tree -cert -var | nonconfluence -steps 2 -tree -cert -fun | nonconfluence -steps 2 -tree -cert -var | nonconfluence -steps 25 -tree -cert -fun | nonconfluence -steps 25 -tree -cert -var) )[6] | ((cr -m -1 -force);(redundant -narrowfwd -narrowbwd -size 7)))3*! || (((cr -m -1 -force);(redundant -remove 4)); ((cr -kb;((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))! || ((if linear then cr -closed -m -1;closed -strongly 7 else fail) || (if left-linear then cr -closed -m -1;(closed -development) else fail))! || (if linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (if left-linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (cr -cpcs2 -cpcscert; ((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))!))! || (((cr -force -redundant);(redundant)); ((cr -kb;((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))! || ((if linear then cr -closed -m -1;closed -strongly 7 else fail) || (if left-linear then cr -closed -m -1;(closed -development) else fail))! || (if linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (if left-linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (cr -cpcs2 -cpcscert; ((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))!)[15]?)3*! || (((cr -m -1 -force -redundant);(redundant -rhs)); ((cr -kb;((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))! || ((if linear then cr -closed -m -1;closed -strongly 7 else fail) || (if left-linear then cr -closed -m -1;(closed -development) else fail))! || (if linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (if left-linear then (cr -dup;(( lpo -quasi || (matrix -dim 1 -ib 3 -ob 4 | matrix -dim 2 -ib 2 -ob 2 | matrix -dim 3 -ib 1 -ob 2 | arctic -dim 2 -ib 2 -ob 2) || (if duplicating then fail else (bounds -rt || bounds -rt -qc))[1] || poly -ib 2 -ob 4 -nl2 -heuristic 1 || fail )[5]*);shift -lstar);(rule_labeling | rule_labeling -left)?;decreasing else fail)! || (cr -cpcs2 -cpcscert; ((( matrix -dim 1 -ib 3 -ob 5 | matrix -dim 2 -ib 2 -ob 3 | matrix -dim 3 -ib 1 -ob 1 | matrix -dim 3 -ib 1 -ob 3 | fail)[2]*);((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])! || (rev;((dp;edg[0.5]?;(sccs | (sc || sct || {ur?;( (matrix -dp -ur -dim 1 -ib 3 -ob 5 | matrix -dp -ur -dim 2 -ib 2 -ob 3 | matrix -dp -ur -dim 3 -ib 1 -ob 1 | matrix -dp -ur -dim 3 -ib 1 -ob 3) || (kbo -ur -af | lpo -ur -af) || ( arctic -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || ( arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[2] | fail) || fail) }restore || fail;(bounds -dp -rfc -qc || bounds -dp -all -rfc -qc || bounds -rfc -qc)[1] || fail ))*[6])! || (( kbo || (lpo | fail;(ref;lpo)) || fail;(bounds -rfc -qc) || fail)*[7])!)))))!)[15]?)3*! ))[54]