/*
?- alan.
[1,1,1,1,1,b,b,b,b,b,b,b,b,b,b,b,b,b]

*/

intape([1,1,1,1,1]).

rule(   q0 , 1 ,  q101 , x, right ).
rule( q101 , 1 ,  q101 , 1, right ).
rule( q101 , b ,  q102 , 1, right ).
rule( q102 , b ,  q103 , *, right ).
rule( q103 , b ,  q104 , 1, right ).
rule( q104 , b ,  q601 , *, left ).
rule( q105 , b ,  q106 , 1, left ).
rule( q106 , * ,  q701 , *, left ).
rule( q107 , * ,  q108 , *, left ).
rule( q107 , 1 ,  q107 , 1, left ).
rule( q108 , * ,  q109 , *, stay ).
rule( q108 , 1 ,  q108 , 1, left ).
rule( q109 , * ,  q109 , *, right ).
rule( q109 , 1 ,  q109 , 1, right ).
rule( q109 , b ,  q201 , *, stay ).
rule( q201 , * ,  q202 , *, left ).
rule( q201 , 1 ,  q201 , 1, left ).
rule( q202 , * ,  q203 , *, right ).
rule( q202 , 1 ,  q202 , 1, left ).
rule( q202 , b ,  q203 , b, right ).
rule( q203 , * ,  q301 , *, stay ).
rule( q203 , 1 ,  q204 , b, right ).
rule( q204 , * ,  q204 , *, right ).
rule( q204 , 1 ,  q204 , 1, right ).
rule( q204 , b ,  q201 , 1, left ).
rule( q301 , * ,  q302 , *, left ).
rule( q302 , * ,  q303 , *, left ).
rule( q302 , b ,  q302 , b, left ).
rule( q303 , * ,  q304 , *, right ).
rule( q303 , 1 ,  q303 , 1, left ).
rule( q303 , b ,  q304 , b, right ).
rule( q304 , * ,  q308 , b, stay ).
rule( q304 , 1 ,  q305 , b, right ).
rule( q305 , * ,  q306 , *, right ).
rule( q305 , 1 ,  q305 , 1, right ).
rule( q306 , * ,  q307 , *, left ).
rule( q306 , 1 ,  q307 , 1, left ).
rule( q306 , b ,  q306 , b, right ).
rule( q307 , b ,  q302 , 1, left ).
rule( q308 , 1 ,  q309 , 1, left ).
rule( q308 , b ,  q308 , b, right ).
rule( q309 , b ,  q310 , *, left ).
rule( q310 , * ,  q311 , *, right ).
rule( q310 , b ,  q310 , 1, left ).
rule( q311 , * ,  q501 , *, right ).
rule( q311 , 1 ,  q311 , 1, right ).
rule( q401 , * ,  q402 , *, left ).
rule( q401 , 1 ,  q401 , 1, left ).
rule( q402 , * ,  q403 , *, left ).
rule( q402 , 1 ,  q402 , 1, left ).
rule( q403 , * ,  q403 , *, left ).
rule( q403 , 1 ,  q404 , *, left ).
rule( q404 , * ,  q404 , *, right ).
rule( q404 , 1 ,  q404 , 1, right ).
rule( q404 , b ,  q201 , *, stay ).
rule( q404 , x ,  q801 , x, stay ).
rule( q501 , * ,  q502 , 1, stay ).
rule( q501 , 1 ,  q501 , 1, right ).
rule( q502 , 1 ,  q502 , 1, right ).
rule( q502 , b ,  q503 , b, left ).
rule( q503 , 1 ,  q401 , b, left ).
rule( q601 , * ,  q602 , *, left ).
rule( q601 , 1 ,  q601 , 1, left ).
rule( q602 , 1 ,  q603 , *, left ).
rule( q603 , 1 ,  q604 , 1, right ).
rule( q603 , x ,  q801 , x, stay ).
rule( q604 , * ,  q604 , *, right ).
rule( q604 , 1 ,  q604 , 1, right ).
rule( q604 , b ,  q105 , b, stay ).
rule( q701 , * ,  q702 , *, left ).
rule( q701 , 1 ,  q701 , 1, left ).
rule( q702 , * ,  q702 , *, left ).
rule( q702 , 1 ,  q703 , *, left ).
rule( q703 , 1 ,  q704 , 1, right ).
rule( q703 , x ,  q801 , x, stay ).
rule( q704 , * ,  q704 , *, right ).
rule( q704 , 1 ,  q704 , 1, right ).
rule( q704 , b ,  q107 , b, left ).
rule( q801 , * ,  q801 , *, right ).
rule( q801 , 1 ,  q801 , 1, right ).
rule( q801 , b ,  q802 , b, left ).
rule( q801 , x ,  q801 , x, right ).
rule( q802 , * ,  q808 , b, left ).
rule( q802 , 1 ,  q808 , 1, left ).
rule( q803 , * ,  q803 , *, left ).
rule( q803 , 1 ,  q803 , *, left ).
rule( q803 , x ,  q804 , x, right ).
rule( q804 , * ,  q804 , *, right ).
rule( q804 , 1 ,  q805 , *, left ).
rule( q804 , b ,  q809 , b, stay ).
rule( q805 , * ,  q805 , *, left ).
rule( q805 , 1 ,  q806 , 1, right ).
rule( q805 , x ,  q806 , *, stay ).
rule( q806 , * ,  q807 , 1, right ).
rule( q807 , * ,  q804 , *, right ).
rule( q808 , * ,  q803 , *, left ).
rule( q808 , 1 ,  q808 , 1, left ).
rule( q809 , * ,  q809 , b, left ).
rule( q809 , 1 ,    qf , 1, stay ).
rule( q809 , b ,  q809 , b, left ).