([("0","000"),("0","0001"),("00001","0")],False,(Eps,[("0","000"),("0","1"),("01","0")],Eps))
([("0","000"),("0","0010"),("00001","0")],False,(Eps,[("0","000"),("0","01"),("100","0")],Eps))
([("0","000"),("0","0010"),("00010","0")],False,(Eps,[("0","000"),("0","1"),("01","0")],Eps))
([("0","000"),("0","0010"),("01000","0")],False,(Eps,[("0","000"),("0","01"),("100","0")],Eps))
([("0","000"),("0","0011"),("00011","0")],False,(Eps,[("0","000"),("0","1"),("01","0")],Eps))
([("0","000"),("000","001"),("00100","0")],False,(Eps,[("0","000"),("000","1"),("001","0")],Eps))
([("0","000"),("000","010"),("00010","0")],False,(Eps,[("0","000"),("000","1"),("001","0")],Eps))
([("0","000"),("000","011"),("01100","0")],False,(Eps,[("0","000"),("000","1"),("001","0")],Eps))
([("0","000"),("00000","001"),("00100","0")],False,(Eps,[("0","000"),("00000","1"),("001","0")],Eps))
([("0","000"),("00000","01"),("0001","0")],False,(Eps,[("0","000"),("00000","1"),("001","0")],Eps))
([("0","000"),("00000","01"),("0100","0")],False,(Eps,[("0","000"),("00000","1"),("001","0")],Eps))
([("0","0000"),("0","0001"),("00001","0")],False,(Eps,[("0","0000"),("0","1"),("01","0")],Eps))
([("0","0000"),("0","001"),("00100","0")],False,(Eps,[("0","0000"),("0","1"),("001","0")],Eps))
([("0","0000"),("0","001"),("01000","0")],False,(Eps,[("0","0000"),("0","01"),("1000","0")],Eps))
([("0","0000"),("0","0010"),("00001","0")],False,(Eps,[("0","0000"),("0","01"),("100","0")],Eps))
([("0","0000"),("0","0010"),("01000","0")],False,(Eps,[("0","0000"),("0","01"),("100","0")],Eps))
([("0","0000"),("0","0010"),("10000","0")],False,(Eps,[("0","0000"),("0","001"),("1000","0")],Eps))
([("0","0000"),("0","01"),("00001","0")],False,(Eps,[("0","0000"),("0","1"),("0001","0")],Eps))
([("0","0000"),("0","01"),("01000","0")],False,(Eps,[("0","0000"),("0","1"),("0001","0")],Eps))
([("0","0000"),("0","010"),("00001","0")],False,(Eps,[("0","0000"),("0","01"),("1000","0")],Eps))
([("0","0000"),("0","010"),("00010","0")],False,(Eps,[("0","0000"),("0","1"),("001","0")],Eps))
([("0","0000"),("0","010"),("00100","0")],False,(Eps,[("0","0000"),("0","1"),("010","0")],Eps))
([("0","0000"),("00","0001"),("00001","0")],False,(Eps,[("0","0000"),("00","1"),("01","0")],Eps))
([("0","0000"),("00","0001"),("00010","0")],False,(Eps,[("0","0000"),("00","1"),("01","0")],Eps))
([("0","0000"),("00","0001"),("00100","0")],False,(Eps,[("0","0000"),("00","01"),("100","0")],Eps))
([("0","0000"),("00","0001"),("01000","0")],False,(Eps,[("0","0000"),("00","001"),("1000","0")],Eps))
([("0","0000"),("00","001"),("00100","0")],False,(Eps,[("0","0000"),("00","1"),("001","0")],Eps))
([("0","0000"),("00","0010"),("00001","0")],False,(Eps,[("0","0000"),("00","01"),("100","0")],Eps))
([("0","0000"),("00","0010"),("00010","0")],False,(Eps,[("0","0000"),("00","1"),("01","0")],Eps))
([("0","0000"),("00","0010"),("00100","0")],False,(Eps,[("0","0000"),("00","1"),("01","0")],Eps))
([("0","0000"),("00","0010"),("01000","0")],False,(Eps,[("0","0000"),("00","01"),("100","0")],Eps))
([("0","0000"),("00","0010"),("10000","0")],False,(Eps,[("0","0000"),("00","001"),("1000","0")],Eps))
([("0","0000"),("00","0011"),("00011","0")],False,(Eps,[("0","0000"),("00","1"),("01","0")],Eps))
([("0","0000"),("00","0011"),("01100","0")],False,(Eps,[("0","0000"),("00","01"),("100","0")],Eps))
([("0","0000"),("00","0011"),("11000","0")],False,(Eps,[("0","0000"),("00","001"),("1000","0")],Eps))
([("0","0000"),("00","01"),("00001","0")],False,(Eps,[("0","0000"),("00","1"),("0001","0")],Eps))
([("0","0000"),("00","01"),("00010","0")],False,(Eps,[("0","0000"),("00","1"),("0010","0")],Eps))
([("0","0000"),("00","01"),("00100","0")],False,(Eps,[("0","0000"),("00","1"),("0010","0")],Eps))
([("0","0000"),("00","01"),("00101","0")],False,(Eps,[("0","0000"),("00","1"),("011","0")],Eps))
([("0","0000"),("00","01"),("01000","0")],False,(Eps,[("0","0000"),("00","1"),("0001","0")],Eps))
([("0","0000"),("00","01"),("01010","0")],False,(Eps,[("0","0000"),("00","1"),("011","0")],Eps))
([("0","0000"),("00","0110"),("00011","0")],False,(Eps,[("0","0000"),("00","01"),("100","0")],Eps))
([("0","0000"),("00","0111"),("11100","0")],False,(Eps,[("0","0000"),("00","01"),("100","0")],Eps))
([("0","0000"),("000","01"),("00001","0")],False,(Eps,[("0","0000"),("000","1"),("0001","0")],Eps))
([("0","0000"),("000","01"),("01000","0")],False,(Eps,[("0","0000"),("000","1"),("0001","0")],Eps))
([("0","0000"),("0000","0001"),("00001","0")],False,(Eps,[("0","0000"),("0000","1"),("01","0")],Eps))
([("0","0000"),("0000","0001"),("00010","0")],False,(Eps,[("0","0000"),("0000","1"),("01","0")],Eps))
([("0","0000"),("0000","0001"),("00100","0")],False,(Eps,[("0","0000"),("0000","01"),("100","0")],Eps))
([("0","0000"),("0000","0001"),("01000","0")],False,(Eps,[("0","0000"),("0000","001"),("1000","0")],Eps))
([("0","0000"),("0000","001"),("00010","0")],False,(Eps,[("0","0000"),("0000","1"),("010","0")],Eps))
([("0","0000"),("0000","001"),("00100","0")],False,(Eps,[("0","0000"),("0000","1"),("001","0")],Eps))
([("0","0000"),("0000","001"),("01000","0")],False,(Eps,[("0","0000"),("0000","01"),("1000","0")],Eps))
([("0","0000"),("0000","0010"),("00001","0")],False,(Eps,[("0","0000"),("0000","01"),("100","0")],Eps))
([("0","0000"),("0000","0010"),("00010","0")],False,(Eps,[("0","0000"),("0000","1"),("01","0")],Eps))
([("0","0000"),("0000","0010"),("00100","0")],False,(Eps,[("0","0000"),("0000","1"),("01","0")],Eps))
([("0","0000"),("0000","0010"),("01000","0")],False,(Eps,[("0","0000"),("0000","01"),("100","0")],Eps))
([("0","0000"),("0000","0010"),("10000","0")],False,(Eps,[("0","0000"),("0000","001"),("1000","0")],Eps))
([("0","0000"),("0000","0011"),("00011","0")],False,(Eps,[("0","0000"),("0000","1"),("01","0")],Eps))
([("0","0000"),("0000","0011"),("00110","0")],False,(Eps,[("0","0000"),("0000","1"),("01","0")],Eps))
([("0","0000"),("0000","0011"),("01100","0")],False,(Eps,[("0","0000"),("0000","01"),("100","0")],Eps))
([("0","0000"),("0000","0011"),("11000","0")],False,(Eps,[("0","0000"),("0000","001"),("1000","0")],Eps))
([("0","0000"),("0000","01"),("00001","0")],False,(Eps,[("0","0000"),("0000","1"),("0001","0")],Eps))
([("0","0000"),("0000","01"),("01000","0")],False,(Eps,[("0","0000"),("0000","1"),("0001","0")],Eps))
([("0","0000"),("0000","010"),("00001","0")],False,(Eps,[("0","0000"),("0000","01"),("1000","0")],Eps))
([("0","0000"),("0000","010"),("00010","0")],False,(Eps,[("0","0000"),("0000","1"),("001","0")],Eps))
([("0","0000"),("0000","010"),("00100","0")],False,(Eps,[("0","0000"),("0000","1"),("010","0")],Eps))
([("0","0000"),("0000","0101"),("00101","0")],False,(Eps,[("0","0000"),("0000","11"),("011","0")],Eps))
([("0","0000"),("0000","0101"),("01010","0")],False,(Eps,[("0","0000"),("0000","11"),("011","0")],Eps))
([("0","0000"),("0000","011"),("00110","0")],False,(Eps,[("0","0000"),("0000","1"),("010","0")],Eps))
([("0","0000"),("0000","011"),("11000","0")],False,(Eps,[("0","0000"),("0000","01"),("1000","0")],Eps))
([("0","0000"),("0000","0110"),("00011","0")],False,(Eps,[("0","0000"),("0000","01"),("100","0")],Eps))
([("0","0000"),("0000","0110"),("00110","0")],False,(Eps,[("0","0000"),("0000","1"),("01","0")],Eps))
([("0","0000"),("0000","0111"),("00111","0")],False,(Eps,[("0","0000"),("0000","1"),("01","0")],Eps))
([("0","0000"),("0000","0111"),("01110","0")],False,(Eps,[("0","0000"),("0000","1"),("01","0")],Eps))
([("0","0000"),("0000","0111"),("11100","0")],False,(Eps,[("0","0000"),("0000","01"),("100","0")],Eps))
([("0","0000"),("0000","1011"),("01011","0")],False,(Eps,[("0","0000"),("0000","1"),("01","0")],Eps))
([("0","0000"),("0000","1011"),("10110","0")],False,(Eps,[("0","0000"),("0000","1"),("01","0")],Eps))
([("0","0000"),("00000","0001"),("00001","0")],False,(Eps,[("0","0000"),("00000","1"),("01","0")],Eps))
([("0","0000"),("00000","0001"),("00010","0")],False,(Eps,[("0","0000"),("00000","1"),("01","0")],Eps))
([("0","0000"),("00000","0001"),("00100","0")],False,(Eps,[("0","0000"),("00000","01"),("100","0")],Eps))
([("0","0000"),("00000","0001"),("01000","0")],False,(Eps,[("0","0000"),("00000","001"),("1000","0")],Eps))
([("0","0000"),("00000","001"),("0001","0")],False,(Eps,[("0","0000"),("00000","1"),("01","0")],Eps))
([("0","0000"),("00000","001"),("0010","0")],False,(Eps,[("0","0000"),("00000","1"),("01","0")],Eps))
([("0","0000"),("00000","001"),("00100","0")],False,(Eps,[("0","0000"),("00000","1"),("001","0")],Eps))
([("0","0000"),("00000","001"),("0100","0")],False,(Eps,[("0","0000"),("00000","01"),("100","0")],Eps))
([("0","0000"),("00000","001"),("01000","0")],False,(Eps,[("0","0000"),("00000","01"),("1000","0")],Eps))
([("0","0000"),("00000","0010"),("00001","0")],False,(Eps,[("0","0000"),("00000","01"),("100","0")],Eps))
([("0","0000"),("00000","0010"),("00010","0")],False,(Eps,[("0","0000"),("00000","1"),("01","0")],Eps))
([("0","0000"),("00000","0010"),("00100","0")],False,(Eps,[("0","0000"),("00000","1"),("01","0")],Eps))
([("0","0000"),("00000","0010"),("01000","0")],False,(Eps,[("0","0000"),("00000","01"),("100","0")],Eps))
([("0","0000"),("00000","0010"),("10000","0")],False,(Eps,[("0","0000"),("00000","001"),("1000","0")],Eps))
([("0","0000"),("00000","0011"),("00011","0")],False,(Eps,[("0","0000"),("00000","1"),("01","0")],Eps))
([("0","0000"),("00000","0011"),("00110","0")],False,(Eps,[("0","0000"),("00000","1"),("01","0")],Eps))
([("0","0000"),("00000","0011"),("01100","0")],False,(Eps,[("0","0000"),("00000","01"),("100","0")],Eps))
([("0","0000"),("00000","0011"),("11000","0")],False,(Eps,[("0","0000"),("00000","001"),("1000","0")],Eps))
([("0","0000"),("00000","01"),("00001","0")],False,(Eps,[("0","0000"),("00000","1"),("0001","0")],Eps))
([("0","0000"),("00000","01"),("001","0")],False,(Eps,[("0","0000"),("00000","1"),("01","0")],Eps))
([("0","0000"),("00000","01"),("010","0")],False,(Eps,[("0","0000"),("00000","1"),("01","0")],Eps))
([("0","0000"),("00000","01"),("0100","0")],False,(Eps,[("0","0000"),("00000","1"),("001","0")],Eps))
([("0","0000"),("00000","01"),("01000","0")],False,(Eps,[("0","0000"),("00000","1"),("0001","0")],Eps))
([("0","0000"),("00000","010"),("00001","0")],False,(Eps,[("0","0000"),("00000","01"),("1000","0")],Eps))
([("0","0000"),("00000","010"),("0001","0")],False,(Eps,[("0","0000"),("00000","01"),("100","0")],Eps))
([("0","0000"),("00000","010"),("0010","0")],False,(Eps,[("0","0000"),("00000","1"),("01","0")],Eps))
([("0","0000"),("00000","0101"),("00101","0")],False,(Eps,[("0","0000"),("00000","11"),("011","0")],Eps))
([("0","0000"),("00000","0101"),("01010","0")],False,(Eps,[("0","0000"),("00000","11"),("011","0")],Eps))
([("0","0000"),("00000","011"),("0011","0")],False,(Eps,[("0","0000"),("00000","1"),("01","0")],Eps))
([("0","0000"),("00000","011"),("0110","0")],False,(Eps,[("0","0000"),("00000","1"),("01","0")],Eps))
([("0","0000"),("00000","011"),("1100","0")],False,(Eps,[("0","0000"),("00000","01"),("100","0")],Eps))
([("0","0000"),("00000","0110"),("00011","0")],False,(Eps,[("0","0000"),("00000","01"),("100","0")],Eps))
([("0","0000"),("00000","0110"),("00110","0")],False,(Eps,[("0","0000"),("00000","1"),("01","0")],Eps))
([("0","0000"),("00000","0111"),("00111","0")],False,(Eps,[("0","0000"),("00000","1"),("01","0")],Eps))
([("0","0000"),("00000","0111"),("01110","0")],False,(Eps,[("0","0000"),("00000","1"),("01","0")],Eps))
([("0","0000"),("00000","0111"),("11100","0")],False,(Eps,[("0","0000"),("00000","01"),("100","0")],Eps))
([("0","0000"),("00000","1011"),("01011","0")],False,(Eps,[("0","0000"),("00000","1"),("01","0")],Eps))
([("0","0000"),("00000","1011"),("10110","0")],False,(Eps,[("0","0000"),("00000","1"),("01","0")],Eps))
([("0","00000"),("0","0001"),("01000","0")],False,(Eps,[("0","00000"),("0","001"),("1000","0")],Eps))
([("0","00000"),("0","0010"),("00001","0")],False,(Eps,[("0","00000"),("0","01"),("100","0")],Eps))
([("0","00000"),("0","0010"),("01000","0")],False,(Eps,[("0","00000"),("0","01"),("100","0")],Eps))
([("0","00000"),("0","0010"),("10000","0")],False,(Eps,[("0","00000"),("0","001"),("1000","0")],Eps))
([("0","00000"),("0","01"),("00001","0")],False,(Eps,[("0","00000"),("0","1"),("0001","0")],Eps))
([("0","00000"),("0","01"),("0001","0")],False,(Eps,[("0","00000"),("0","1"),("001","0")],Eps))
([("0","00000"),("0","01"),("00010","0")],False,(Eps,[("0","00000"),("0","1"),("0010","0")],Eps))
([("0","00000"),("0","01"),("00100","0")],False,(Eps,[("0","00000"),("0","1"),("0010","0")],Eps))
([("0","00000"),("0","01"),("0100","0")],False,(Eps,[("0","00000"),("0","1"),("001","0")],Eps))
([("0","00000"),("0","01"),("01000","0")],False,(Eps,[("0","00000"),("0","1"),("0001","0")],Eps))
([("0","00000"),("0","010"),("0001","0")],False,(Eps,[("0","00000"),("0","01"),("100","0")],Eps))
([("0","00000"),("00","0001"),("00001","0")],False,(Eps,[("0","00000"),("00","1"),("01","0")],Eps))
([("0","00000"),("00","0001"),("00010","0")],False,(Eps,[("0","00000"),("00","1"),("01","0")],Eps))
([("0","00000"),("00","0001"),("00100","0")],False,(Eps,[("0","00000"),("00","01"),("100","0")],Eps))
([("0","00000"),("00","0001"),("01000","0")],False,(Eps,[("0","00000"),("00","001"),("1000","0")],Eps))
([("0","00000"),("00","001"),("00001","00")],False,(Eps,[("0","00000"),("00","1"),("001","00")],Eps))
([("0","00000"),("00","001"),("00010","0")],False,(Eps,[("0","00000"),("00","1"),("010","0")],Eps))
([("0","00000"),("00","001"),("00100","0")],False,(Eps,[("0","00000"),("00","1"),("001","0")],Eps))
([("0","00000"),("00","001"),("00100","00")],False,(Eps,[("0","00000"),("00","1"),("001","00")],Eps))
([("0","00000"),("00","001"),("0100","0")],False,(Eps,[("0","00000"),("00","01"),("100","0")],Eps))
([("0","00000"),("00","001"),("01000","0")],False,(Eps,[("0","00000"),("00","01"),("1000","0")],Eps))
([("0","00000"),("00","0010"),("00001","0")],False,(Eps,[("0","00000"),("00","01"),("100","0")],Eps))
([("0","00000"),("00","0010"),("00010","0")],False,(Eps,[("0","00000"),("00","1"),("01","0")],Eps))
([("0","00000"),("00","0010"),("00100","0")],False,(Eps,[("0","00000"),("00","1"),("01","0")],Eps))
([("0","00000"),("00","0010"),("01000","0")],False,(Eps,[("0","00000"),("00","01"),("100","0")],Eps))
([("0","00000"),("00","0010"),("10000","0")],False,(Eps,[("0","00000"),("00","001"),("1000","0")],Eps))
([("0","00000"),("00","01"),("00001","0")],False,(Eps,[("0","00000"),("00","1"),("0001","0")],Eps))
([("0","00000"),("00","01"),("0001","0")],False,(Eps,[("0","00000"),("00","1"),("001","0")],Eps))
([("0","00000"),("00","01"),("0010","0")],False,(Eps,[("0","00000"),("00","1"),("010","0")],Eps))
([("0","00000"),("00","01"),("0100","0")],False,(Eps,[("0","00000"),("00","1"),("001","0")],Eps))
([("0","00000"),("00","01"),("01000","0")],False,(Eps,[("0","00000"),("00","1"),("0001","0")],Eps))
([("0","00000"),("00","010"),("00001","0")],False,(Eps,[("0","00000"),("00","01"),("1000","0")],Eps))
([("0","00000"),("00","010"),("0001","0")],False,(Eps,[("0","00000"),("00","01"),("100","0")],Eps))
([("0","00000"),("00","010"),("00010","0")],False,(Eps,[("0","00000"),("00","1"),("001","0")],Eps))
([("0","00000"),("00","010"),("00010","00")],False,(Eps,[("0","00000"),("00","1"),("001","00")],Eps))
([("0","00000"),("00","010"),("00100","0")],False,(Eps,[("0","00000"),("00","1"),("010","0")],Eps))
([("0","00000"),("00","011"),("00110","0")],False,(Eps,[("0","00000"),("00","1"),("010","0")],Eps))
([("0","00000"),("00","011"),("01100","0")],False,(Eps,[("0","00000"),("00","1"),("001","0")],Eps))
([("0","00000"),("00","011"),("1100","0")],False,(Eps,[("0","00000"),("00","01"),("100","0")],Eps))
([("0","00000"),("00","011"),("11000","0")],False,(Eps,[("0","00000"),("00","01"),("1000","0")],Eps))
([("0","00000"),("000","0001"),("00001","0")],False,(Eps,[("0","00000"),("000","1"),("01","0")],Eps))
([("0","00000"),("000","0001"),("00010","0")],False,(Eps,[("0","00000"),("000","1"),("01","0")],Eps))
([("0","00000"),("000","0001"),("00100","0")],False,(Eps,[("0","00000"),("000","01"),("100","0")],Eps))
([("0","00000"),("000","0001"),("01000","0")],False,(Eps,[("0","00000"),("000","001"),("1000","0")],Eps))
([("0","00000"),("000","001"),("0001","0")],False,(Eps,[("0","00000"),("000","1"),("01","0")],Eps))
([("0","00000"),("000","001"),("0010","0")],False,(Eps,[("0","00000"),("000","1"),("01","0")],Eps))
([("0","00000"),("000","001"),("0100","0")],False,(Eps,[("0","00000"),("000","01"),("100","0")],Eps))
([("0","00000"),("000","0010"),("00001","0")],False,(Eps,[("0","00000"),("000","01"),("100","0")],Eps))
([("0","00000"),("000","0010"),("00010","0")],False,(Eps,[("0","00000"),("000","1"),("01","0")],Eps))
([("0","00000"),("000","0010"),("00100","0")],False,(Eps,[("0","00000"),("000","1"),("01","0")],Eps))
([("0","00000"),("000","0010"),("01000","0")],False,(Eps,[("0","00000"),("000","01"),("100","0")],Eps))
([("0","00000"),("000","0010"),("10000","0")],False,(Eps,[("0","00000"),("000","001"),("1000","0")],Eps))
([("0","00000"),("000","0011"),("00011","0")],False,(Eps,[("0","00000"),("000","1"),("01","0")],Eps))
([("0","00000"),("000","0011"),("00110","0")],False,(Eps,[("0","00000"),("000","1"),("01","0")],Eps))
([("0","00000"),("000","0011"),("01100","0")],False,(Eps,[("0","00000"),("000","01"),("100","0")],Eps))
([("0","00000"),("000","0011"),("11000","0")],False,(Eps,[("0","00000"),("000","001"),("1000","0")],Eps))
([("0","00000"),("000","01"),("00001","0")],False,(Eps,[("0","00000"),("000","1"),("0001","0")],Eps))
([("0","00000"),("000","01"),("00001","000")],False,(Eps,[("0","00000"),("000","1"),("0001","000")],Eps))
([("0","00000"),("000","01"),("00010","0")],False,(Eps,[("0","00000"),("000","1"),("0010","0")],Eps))
([("0","00000"),("000","01"),("00100","0")],False,(Eps,[("0","00000"),("000","1"),("0010","0")],Eps))
([("0","00000"),("000","01"),("00101","0")],False,(Eps,[("0","00000"),("000","1"),("011","0")],Eps))
([("0","00000"),("000","01"),("01000","0")],False,(Eps,[("0","00000"),("000","1"),("0001","0")],Eps))
([("0","00000"),("000","01"),("01000","000")],False,(Eps,[("0","00000"),("000","1"),("0001","000")],Eps))
([("0","00000"),("000","01"),("01010","0")],False,(Eps,[("0","00000"),("000","1"),("011","0")],Eps))
([("0","00000"),("000","010"),("0001","0")],False,(Eps,[("0","00000"),("000","01"),("100","0")],Eps))
([("0","00000"),("000","010"),("0010","0")],False,(Eps,[("0","00000"),("000","1"),("01","0")],Eps))
([("0","00000"),("000","011"),("1100","0")],False,(Eps,[("0","00000"),("000","01"),("100","0")],Eps))
([("0","00000"),("000","0110"),("00011","0")],False,(Eps,[("0","00000"),("000","01"),("100","0")],Eps))
([("0","00000"),("000","0110"),("00110","0")],False,(Eps,[("0","00000"),("000","1"),("01","0")],Eps))
([("0","00000"),("000","0111"),("11100","0")],False,(Eps,[("0","00000"),("000","01"),("100","0")],Eps))
([("0","00000"),("0000","001"),("00001","0")],False,(Eps,[("0","00000"),("0000","1"),("001","0")],Eps))
([("0","00000"),("0000","001"),("00100","0")],False,(Eps,[("0","00000"),("0000","1"),("001","0")],Eps))
([("0","00000"),("0000","01"),("00001","0")],False,(Eps,[("0","00000"),("0000","1"),("0001","0")],Eps))
([("0","00000"),("0000","01"),("0001","0")],False,(Eps,[("0","00000"),("0000","1"),("001","0")],Eps))
([("0","00000"),("0000","01"),("00010","0")],False,(Eps,[("0","00000"),("0000","1"),("0010","0")],Eps))
([("0","00000"),("0000","01"),("00100","0")],False,(Eps,[("0","00000"),("0000","1"),("0010","0")],Eps))
([("0","00000"),("0000","01"),("0100","0")],False,(Eps,[("0","00000"),("0000","1"),("001","0")],Eps))
([("0","00000"),("0000","01"),("01000","0")],False,(Eps,[("0","00000"),("0000","1"),("0001","0")],Eps))
([("0","00000"),("0000","010"),("00010","0")],False,(Eps,[("0","00000"),("0000","1"),("001","0")],Eps))
([("0","00000"),("0000","011"),("00011","0")],False,(Eps,[("0","00000"),("0000","1"),("001","0")],Eps))
([("0","00000"),("0000","011"),("01100","0")],False,(Eps,[("0","00000"),("0000","1"),("001","0")],Eps))
([("0","00000"),("00000","0001"),("00001","0")],False,(Eps,[("0","00000"),("00000","1"),("01","0")],Eps))
([("0","00000"),("00000","0001"),("00010","0")],False,(Eps,[("0","00000"),("00000","1"),("01","0")],Eps))
([("0","00000"),("00000","0001"),("00100","0")],False,(Eps,[("0","00000"),("00000","01"),("100","0")],Eps))
([("0","00000"),("00000","0001"),("01000","0")],False,(Eps,[("0","00000"),("00000","001"),("1000","0")],Eps))
([("0","00000"),("00000","001"),("00001","00")],False,(Eps,[("0","00000"),("00000","1"),("001","00")],Eps))
([("0","00000"),("00000","001"),("0001","0")],False,(Eps,[("0","00000"),("00000","1"),("01","0")],Eps))
([("0","00000"),("00000","001"),("0010","0")],False,(Eps,[("0","00000"),("00000","1"),("01","0")],Eps))
([("0","00000"),("00000","001"),("00100","0")],False,(Eps,[("0","00000"),("00000","1"),("001","0")],Eps))
([("0","00000"),("00000","001"),("00100","00")],False,(Eps,[("0","00000"),("00000","1"),("001","00")],Eps))
([("0","00000"),("00000","001"),("0100","0")],False,(Eps,[("0","00000"),("00000","01"),("100","0")],Eps))
([("0","00000"),("00000","0010"),("00001","0")],False,(Eps,[("0","00000"),("00000","01"),("100","0")],Eps))
([("0","00000"),("00000","0010"),("00010","0")],False,(Eps,[("0","00000"),("00000","1"),("01","0")],Eps))
([("0","00000"),("00000","0010"),("00100","0")],False,(Eps,[("0","00000"),("00000","1"),("01","0")],Eps))
([("0","00000"),("00000","0010"),("01000","0")],False,(Eps,[("0","00000"),("00000","01"),("100","0")],Eps))
([("0","00000"),("00000","0010"),("10000","0")],False,(Eps,[("0","00000"),("00000","001"),("1000","0")],Eps))
([("0","00000"),("00000","0011"),("00011","0")],False,(Eps,[("0","00000"),("00000","1"),("01","0")],Eps))
([("0","00000"),("00000","0011"),("00110","0")],False,(Eps,[("0","00000"),("00000","1"),("01","0")],Eps))
([("0","00000"),("00000","0011"),("01100","0")],False,(Eps,[("0","00000"),("00000","01"),("100","0")],Eps))
([("0","00000"),("00000","0011"),("11000","0")],False,(Eps,[("0","00000"),("00000","001"),("1000","0")],Eps))
([("0","00000"),("00000","01"),("00001","0")],False,(Eps,[("0","00000"),("00000","1"),("0001","0")],Eps))
([("0","00000"),("00000","01"),("0001","00")],False,(Eps,[("0","00000"),("00000","1"),("001","00")],Eps))
([("0","00000"),("00000","01"),("00010","0")],False,(Eps,[("0","00000"),("00000","1"),("0010","0")],Eps))
([("0","00000"),("00000","01"),("001","0")],False,(Eps,[("0","00000"),("00000","1"),("01","0")],Eps))
([("0","00000"),("00000","01"),("00100","0")],False,(Eps,[("0","00000"),("00000","1"),("0010","0")],Eps))
([("0","00000"),("00000","01"),("010","0")],False,(Eps,[("0","00000"),("00000","1"),("01","0")],Eps))
([("0","00000"),("00000","01"),("0100","0")],False,(Eps,[("0","00000"),("00000","1"),("001","0")],Eps))
([("0","00000"),("00000","01"),("0100","00")],False,(Eps,[("0","00000"),("00000","1"),("001","00")],Eps))
([("0","00000"),("00000","01"),("01000","0")],False,(Eps,[("0","00000"),("00000","1"),("0001","0")],Eps))
([("0","00000"),("00000","010"),("0001","0")],False,(Eps,[("0","00000"),("00000","01"),("100","0")],Eps))
([("0","00000"),("00000","010"),("00010","00")],False,(Eps,[("0","00000"),("00000","1"),("001","00")],Eps))
([("0","00000"),("00000","010"),("0010","0")],False,(Eps,[("0","00000"),("00000","1"),("01","0")],Eps))
([("0","00000"),("00000","0101"),("00101","0")],False,(Eps,[("0","00000"),("00000","11"),("011","0")],Eps))
([("0","00000"),("00000","0101"),("01010","0")],False,(Eps,[("0","00000"),("00000","11"),("011","0")],Eps))
([("0","00000"),("00000","011"),("00011","00")],False,(Eps,[("0","00000"),("00000","1"),("001","00")],Eps))
([("0","00000"),("00000","011"),("0011","0")],False,(Eps,[("0","00000"),("00000","1"),("01","0")],Eps))
([("0","00000"),("00000","011"),("0110","0")],False,(Eps,[("0","00000"),("00000","1"),("01","0")],Eps))
([("0","00000"),("00000","011"),("01100","00")],False,(Eps,[("0","00000"),("00000","1"),("001","00")],Eps))
([("0","00000"),("00000","011"),("1100","0")],False,(Eps,[("0","00000"),("00000","01"),("100","0")],Eps))
([("0","00000"),("00000","0110"),("00011","0")],False,(Eps,[("0","00000"),("00000","01"),("100","0")],Eps))
([("0","00000"),("00000","0110"),("00110","0")],False,(Eps,[("0","00000"),("00000","1"),("01","0")],Eps))
([("0","00000"),("00000","0111"),("00111","0")],False,(Eps,[("0","00000"),("00000","1"),("01","0")],Eps))
([("0","00000"),("00000","0111"),("01110","0")],False,(Eps,[("0","00000"),("00000","1"),("01","0")],Eps))
([("0","00000"),("00000","0111"),("11100","0")],False,(Eps,[("0","00000"),("00000","01"),("100","0")],Eps))
([("0","00000"),("00000","101"),("00101","00")],False,(Eps,[("0","00000"),("00000","1"),("001","00")],Eps))
([("0","00000"),("00000","1011"),("01011","0")],False,(Eps,[("0","00000"),("00000","1"),("01","0")],Eps))
([("0","00000"),("00000","1011"),("10110","0")],False,(Eps,[("0","00000"),("00000","1"),("01","0")],Eps))
([("0","00001"),("0","01"),("0010","0")],False,(Eps,[("0","0001"),("0","1"),("010","0")],Eps))
([("0","00001"),("0","01"),("0100","0")],False,(Eps,[("0","0001"),("0","1"),("100","0")],Eps))
([("0","00001"),("0","010"),("0100","0")],False,(Eps,[("0","0001"),("0","10"),("100","0")],Eps))
([("0","00001"),("00","0001"),("0010","0")],False,(Eps,[("0","001"),("00","01"),("10","0")],Eps))
([("0","00001"),("00","010"),("0100","0")],False,(Eps,[("0","0001"),("00","10"),("100","0")],Eps))
([("0","00001"),("000","00"),("0100","0")],False,(Eps,[("0","0001"),("000","00"),("100","0")],Eps))
([("0","00001"),("000","001"),("0010","0")],False,(Eps,[("0","001"),("000","1"),("10","0")],Eps))
([("0","00001"),("000","0010"),("0100","0")],False,(Eps,[("0","0001"),("000","010"),("100","0")],Eps))
([("0","00001"),("000","0010"),("01000","00")],False,(Eps,[("0","0001"),("000","010"),("1000","00")],Eps))
([("0","00001"),("000","01"),("0010","0")],False,(Eps,[("0","0001"),("000","1"),("010","0")],Eps))
([("0","00001"),("000","01"),("01000","000")],False,(Eps,[("0","0001"),("000","1"),("1000","000")],Eps))
([("0","00001"),("0000","00"),("0001","0")],False,(Eps,[("0","01"),("0000","00"),("1","0")],Eps))
([("0","00001"),("0000","00"),("0010","0")],False,(Eps,[("0","001"),("0000","00"),("10","0")],Eps))
([("0","00001"),("0000","00"),("01","0")],False,(Eps,[("0","0001"),("0000","00"),("1","0")],Eps))
([("0","00001"),("0000","00"),("0100","0")],False,(Eps,[("0","0001"),("0000","00"),("100","0")],Eps))
([("0","00001"),("0000","0001"),("0100","00")],False,(Eps,[("0","0001"),("0000","001"),("100","00")],Eps))
([("0","00001"),("0000","01"),("0100","00")],False,(Eps,[("0","0001"),("0000","1"),("100","00")],Eps))
([("0","00001"),("00000","00"),("0001","00")],False,(Eps,[("0","01"),("00000","00"),("1","00")],Eps))
([("0","00001"),("00000","00"),("001","000")],False,(Eps,[("0","001"),("00000","00"),("1","000")],Eps))
([("0","00001"),("00000","00"),("001","00000")],False,(Eps,[("0","001"),("00000","00"),("1","00000")],Eps))
([("0","00001"),("00000","00"),("0010","0")],False,(Eps,[("0","001"),("00000","00"),("10","0")],Eps))
([("0","00001"),("00000","00"),("0010","00")],False,(Eps,[("0","001"),("00000","00"),("10","00")],Eps))
([("0","00001"),("00000","00"),("0010","000")],False,(Eps,[("0","001"),("00000","00"),("10","000")],Eps))
([("0","00001"),("00000","00"),("01","0")],False,(Eps,[("0","0001"),("00000","00"),("1","0")],Eps))
([("0","00001"),("00000","00"),("01","00")],False,(Eps,[("0","0001"),("00000","00"),("1","00")],Eps))
([("0","00001"),("00000","00"),("01","000")],False,(Eps,[("0","0001"),("00000","00"),("1","000")],Eps))
([("0","00001"),("00000","00"),("01","0000")],False,(Eps,[("0","0001"),("00000","00"),("1","0000")],Eps))
([("0","00001"),("00000","00"),("01","00000")],False,(Eps,[("0","0001"),("00000","00"),("1","00000")],Eps))
([("0","00001"),("00000","00"),("010","0")],False,(Eps,[("0","0001"),("00000","00"),("10","0")],Eps))
([("0","00001"),("00000","00"),("010","00")],False,(Eps,[("0","0001"),("00000","00"),("10","00")],Eps))
([("0","00001"),("00000","00"),("010","00000")],False,(Eps,[("0","0001"),("00000","00"),("10","00000")],Eps))
([("0","00001"),("00000","00"),("0100","00")],False,(Eps,[("0","0001"),("00000","00"),("100","00")],Eps))
([("0","00001"),("00000","00"),("0100","000")],False,(Eps,[("0","0001"),("00000","00"),("100","000")],Eps))
([("0","00001"),("00000","000"),("0001","000")],False,(Eps,[("0","01"),("00000","000"),("1","000")],Eps))
([("0","00001"),("00000","000"),("001","000")],False,(Eps,[("0","001"),("00000","000"),("1","000")],Eps))
([("0","00001"),("00000","000"),("0010","0")],False,(Eps,[("0","001"),("00000","000"),("10","0")],Eps))
([("0","00001"),("00000","000"),("0010","00")],False,(Eps,[("0","001"),("00000","000"),("10","00")],Eps))
([("0","00001"),("00000","000"),("0010","000")],False,(Eps,[("0","001"),("00000","000"),("10","000")],Eps))
([("0","00001"),("00000","000"),("01","0")],False,(Eps,[("0","0001"),("00000","000"),("1","0")],Eps))
([("0","00001"),("00000","000"),("010","00")],False,(Eps,[("0","0001"),("00000","000"),("10","00")],Eps))
([("0","00001"),("00000","000"),("0100","000")],False,(Eps,[("0","0001"),("00000","000"),("100","000")],Eps))
([("0","00001"),("00000","0000"),("0100","0")],False,(Eps,[("0","0001"),("00000","0000"),("100","0")],Eps))
([("0","00001"),("00000","0010"),("01000","00")],False,(Eps,[("0","0001"),("00000","010"),("1000","00")],Eps))
([("0","00001"),("00001","001"),("0010","0")],False,(Eps,[("0","001"),("001","1"),("10","0")],Eps))
([("0","00001"),("00001","01"),("0001","0")],False,(Eps,[("0","0001"),("0001","1"),("001","0")],Eps))
([("0","00001"),("00001","01"),("001","0")],False,(Eps,[("0","0001"),("0001","1"),("01","0")],Eps))
([("0","00001"),("00001","01"),("01","0")],False,(Eps,[("0","0001"),("0001","1"),("1","0")],Eps))
([("0","00001"),("00001","01"),("01","000")],False,(Eps,[("0","0001"),("0001","1"),("1","000")],Eps))
([("0","00001"),("00001","01"),("010","0")],False,(Eps,[("0","0001"),("0001","1"),("10","0")],Eps))
([("0","00001"),("00001","01"),("01000","000")],False,(Eps,[("0","0001"),("0001","1"),("1000","000")],Eps))
([("0","00001"),("0001","01"),("0100","0")],False,(Eps,[("0","0001"),("001","1"),("100","0")],Eps))
([("0","00001"),("00010","001"),("0100","0")],False,(Eps,[("0","0001"),("0010","01"),("100","0")],Eps))
([("0","00001"),("00010","01"),("0010","0")],False,(Eps,[("0","0001"),("0010","1"),("010","0")],Eps))
([("0","00001"),("00010","01"),("010","0")],False,(Eps,[("0","0001"),("0010","1"),("10","0")],Eps))
([("0","00001"),("00010","01"),("0100","0")],False,(Eps,[("0","0001"),("0010","1"),("100","0")],Eps))
([("0","00001"),("00010","010"),("001","0")],False,(Eps,[("0","0001"),("0010","10"),("01","0")],Eps))
([("0","00001"),("00010","010"),("0010","0")],False,(Eps,[("0","0001"),("0010","10"),("010","0")],Eps))
([("0","00001"),("00010","010"),("0100","0")],False,(Eps,[("0","0001"),("0010","10"),("100","0")],Eps))
([("0","00001"),("00010","01001"),("010","0")],False,(Eps,[("0","0001"),("0010","101"),("10","0")],Eps))
([("0","00001"),("001","01"),("0100","0")],False,(Eps,[("0","0001"),("01","1"),("100","0")],Eps))
([("0","00001"),("0010","0"),("00100","001")],False,(Eps,[("0","001"),("10","0"),("100","1")],Eps))
([("0","00001"),("0010","0"),("00100","01")],False,(Eps,[("0","0001"),("010","0"),("0100","1")],Eps))
([("0","00001"),("0010","0"),("00100","010")],False,(Eps,[("0","0001"),("010","0"),("0100","10")],Eps))
([("0","00001"),("0010","0"),("0100","01")],False,(Eps,[("0","0001"),("010","0"),("100","1")],Eps))
([("0","00001"),("0010","0"),("01000","01")],False,(Eps,[("0","0001"),("010","0"),("1000","1")],Eps))
([("0","00001"),("0010","01"),("0100","0")],False,(Eps,[("0","0001"),("010","1"),("100","0")],Eps))
([("0","00001"),("0010","010"),("0100","0")],False,(Eps,[("0","0001"),("010","10"),("100","0")],Eps))
([("0","00001"),("00100","01"),("0100","0")],False,(Eps,[("0","0001"),("0100","1"),("100","0")],Eps))
([("0","00001"),("00100","010"),("0100","0")],False,(Eps,[("0","0001"),("0100","10"),("100","0")],Eps))
([("0","00001"),("00100","0100"),("0100","0")],False,(Eps,[("0","0001"),("0100","100"),("100","0")],Eps))
([("0","00001"),("010","0"),("01000","01")],False,(Eps,[("0","0001"),("10","0"),("1000","1")],Eps))
([("0","00001"),("010","0101"),("0101","01")],False,(Eps,[("0","00"),("00","01"),("1110","1")],Eps))
([("0","00001"),("0100","0"),("01000","0010")],False,(Eps,[("0","0001"),("100","0"),("1000","010")],Eps))
([("0","00001"),("0100","0"),("01000","01")],False,(Eps,[("0","0001"),("100","0"),("1000","1")],Eps))
([("0","0001"),("00","0000"),("01000","0")],False,(Eps,[("0","0001"),("0000","00"),("100","0")],Eps))
([("0","0001"),("00","00000"),("00100","0")],False,(Eps,[("0","001"),("00000","00"),("10","0")],Eps))
([("0","0001"),("0000","00"),("01","00000")],False,(Eps,[("0","001"),("0000","00"),("1","00000")],Eps))
([("0","0001"),("00000","00"),("01","0")],False,(Eps,[("0","001"),("00000","00"),("1","0")],Eps))
([("0","0001"),("00000","00"),("01","00")],False,(Eps,[("0","001"),("00000","00"),("1","00")],Eps))
([("0","0001"),("00000","00"),("01","000")],False,(Eps,[("0","001"),("00000","00"),("1","000")],Eps))
([("0","0001"),("00000","00"),("010","00")],False,(Eps,[("0","001"),("00000","00"),("10","00")],Eps))
([("0","0001"),("00000","00"),("010","000")],False,(Eps,[("0","001"),("00000","00"),("10","000")],Eps))
([("0","0001"),("00000","000"),("001","000")],False,(Eps,[("0","01"),("00000","000"),("1","000")],Eps))
([("0","0001"),("00000","000"),("01","0")],False,(Eps,[("0","001"),("00000","000"),("1","0")],Eps))
([("0","0001"),("00000","000"),("01","00000")],False,(Eps,[("0","001"),("00000","000"),("1","00000")],Eps))
([("0","0001"),("00000","000"),("010","0")],False,(Eps,[("0","001"),("00000","000"),("10","0")],Eps))
([("0","0001"),("00000","000"),("010","00")],False,(Eps,[("0","001"),("00000","000"),("10","00")],Eps))
([("0","0001"),("00000","000"),("010","000")],False,(Eps,[("0","001"),("00000","000"),("10","000")],Eps))
([("0","0001"),("00001","01"),("01","0")],False,(Eps,[("0","001"),("0001","1"),("1","0")],Eps))
([("0","0001"),("0001","00010"),("01000","0")],False,(Eps,[("0","0001"),("0100","100"),("100","0")],Eps))
([("0","0001"),("00010","0"),("01","0001")],False,(Eps,[("0","001"),("0010","0"),("1","001")],Eps))
([("0","0001"),("00010","0"),("01","00010")],False,(Eps,[("0","001"),("0010","0"),("1","0010")],Eps))
([("0","0001"),("00010","0"),("01","00100")],False,(Eps,[("0","001"),("0010","0"),("1","0100")],Eps))
([("0","0001"),("00010","0"),("01","0100")],False,(Eps,[("0","001"),("0010","0"),("1","100")],Eps))
([("0","0001"),("00010","0"),("010","00010")],False,(Eps,[("0","001"),("0010","0"),("10","0010")],Eps))
([("0","0001"),("00010","001"),("0100","00")],False,(Eps,[("0","001"),("0010","01"),("100","00")],Eps))
([("0","0001"),("00010","010"),("001","0")],False,(Eps,[("0","001"),("0010","10"),("01","0")],Eps))
([("0","0001"),("00010","010"),("0010","00")],False,(Eps,[("0","001"),("0010","10"),("010","00")],Eps))
([("0","0001"),("00010","01001"),("010","0")],False,(Eps,[("0","001"),("0010","101"),("10","0")],Eps))
([("0","0001"),("001","0"),("01000","0")],False,(Eps,[("0","0001"),("0","10"),("100","0")],Eps))
([("0","0001"),("001","00"),("01000","0")],False,(Eps,[("0","0001"),("00","10"),("100","0")],Eps))
([("0","0001"),("001","00001"),("00100","0")],False,(Eps,[("0","001"),("10","0"),("100","1")],Eps))
([("0","0001"),("001","00010"),("01000","0")],False,(Eps,[("0","0001"),("0100","10"),("100","0")],Eps))
([("0","0001"),("001","00100"),("00100","0")],False,(Eps,[("0","001"),("001","1"),("10","0")],Eps))
([("0","0001"),("001","00100"),("01000","0")],False,(Eps,[("0","0001"),("0010","10"),("100","0")],Eps))
([("0","0001"),("0010","00001"),("01000","0")],False,(Eps,[("0","0001"),("100","0"),("1000","010")],Eps))
([("0","0001"),("00100","0"),("01","00001")],False,(Eps,[("0","001"),("0100","0"),("1","0001")],Eps))
([("0","0001"),("00100","0"),("01","0001")],False,(Eps,[("0","001"),("0100","0"),("1","001")],Eps))
([("0","0001"),("00100","010"),("010","0")],False,(Eps,[("0","001"),("0100","10"),("10","0")],Eps))
([("0","0001"),("00100","010"),("0100","00")],False,(Eps,[("0","001"),("0100","10"),("100","00")],Eps))
([("0","0001"),("01","00001"),("01000","0")],False,(Eps,[("0","0001"),("100","0"),("1000","1")],Eps))
([("0","0001"),("01","00010"),("01000","0")],False,(Eps,[("0","0001"),("0100","1"),("100","0")],Eps))
([("0","0001"),("01","00100"),("01000","0")],False,(Eps,[("0","0001"),("0010","1"),("100","0")],Eps))
([("0","0001"),("01","010"),("01000","0")],False,(Eps,[("0","0001"),("01","1"),("100","0")],Eps))
([("0","0001"),("01","0100"),("01000","0")],False,(Eps,[("0","0001"),("001","1"),("100","0")],Eps))
([("0","0001"),("010","00100"),("01000","0")],False,(Eps,[("0","0001"),("0010","01"),("100","0")],Eps))
([("0","00010"),("0","01"),("00100","00")],False,(Eps,[("0","0010"),("0","1"),("0100","00")],Eps))
([("0","00010"),("0","01"),("01000","00")],False,(Eps,[("0","0010"),("0","1"),("1000","00")],Eps))
([("0","00010"),("00","001"),("010","0")],False,(Eps,[("0","0010"),("00","01"),("10","0")],Eps))
([("0","00010"),("00","001"),("01000","00")],False,(Eps,[("0","0010"),("00","01"),("1000","00")],Eps))
([("0","00010"),("00","0010"),("0100","0")],False,(Eps,[("0","001"),("00","01"),("10","0")],Eps))
([("0","00010"),("00","10"),("1000","00")],False,(Eps,[("0","0001"),("00","1"),("100","00")],Eps))
([("0","00010"),("000","0001"),("0010","0")],False,(Eps,[("0","01"),("010","0"),("10","000")],Eps))
([("0","00010"),("000","001"),("0010","0")],False,(Eps,[("0","01"),("010","0"),("1","000")],Eps))
([("0","00010"),("000","001"),("010","0")],False,(Eps,[("0","0010"),("000","01"),("10","0")],Eps))
([("0","00010"),("000","01"),("001","0")],False,(Eps,[("0","0010"),("000","1"),("01","0")],Eps))
([("0","00010"),("000","01"),("0010","0")],False,(Eps,[("0","0010"),("000","1"),("010","0")],Eps))
([("0","00010"),("000","01"),("00100","00")],False,(Eps,[("0","0010"),("000","1"),("0100","00")],Eps))
([("0","00010"),("000","01"),("0100","00")],False,(Eps,[("0","0010"),("000","1"),("100","00")],Eps))
([("0","00010"),("000","01"),("01000","00")],False,(Eps,[("0","0010"),("000","1"),("1000","00")],Eps))
([("0","00010"),("000","010"),("0100","0")],False,(Eps,[("0","001"),("000","1"),("10","0")],Eps))
([("0","00010"),("000","0100"),("10000","00")],False,(Eps,[("0","0001"),("000","010"),("1000","00")],Eps))
([("0","00010"),("000","10"),("10000","000")],False,(Eps,[("0","0001"),("000","1"),("1000","000")],Eps))
([("0","00010"),("0000","00"),("01","0")],False,(Eps,[("0","0010"),("0000","00"),("1","0")],Eps))
([("0","00010"),("0000","00"),("10","0")],False,(Eps,[("0","0001"),("0000","00"),("1","0")],Eps))
([("0","00010"),("0000","00001"),("01000","00")],False,(Eps,[("0","0010"),("0000","0001"),("1000","00")],Eps))
([("0","00010"),("0000","001"),("0100","00")],False,(Eps,[("0","0010"),("0000","01"),("100","00")],Eps))
([("0","00010"),("0000","001"),("01000","00")],False,(Eps,[("0","0010"),("0000","01"),("1000","00")],Eps))
([("0","00010"),("0000","0010"),("1000","00")],False,(Eps,[("0","0001"),("0000","001"),("100","00")],Eps))
([("0","00010"),("0000","01"),("0001","00")],False,(Eps,[("0","0010"),("0000","1"),("001","00")],Eps))
([("0","00010"),("0000","01"),("00100","00")],False,(Eps,[("0","0010"),("0000","1"),("0100","00")],Eps))
([("0","00010"),("0000","01"),("01000","00")],False,(Eps,[("0","0010"),("0000","1"),("1000","00")],Eps))
([("0","00010"),("0000","10"),("1000","00")],False,(Eps,[("0","0001"),("0000","1"),("100","00")],Eps))
([("0","00010"),("00000","00"),("0001","00")],False,(Eps,[("0","01"),("00000","00"),("1","00")],Eps))
([("0","00010"),("00000","00"),("001","000")],False,(Eps,[("0","010"),("00000","00"),("1","000")],Eps))
([("0","00010"),("00000","00"),("0010","00")],False,(Eps,[("0","01"),("00000","00"),("1","00")],Eps))
([("0","00010"),("00000","00"),("01","00")],False,(Eps,[("0","0010"),("00000","00"),("1","00")],Eps))
([("0","00010"),("00000","00"),("01","000")],False,(Eps,[("0","0010"),("00000","00"),("1","000")],Eps))
([("0","00010"),("00000","00"),("01","00000")],False,(Eps,[("0","0010"),("00000","00"),("1","00000")],Eps))
([("0","00010"),("00000","00"),("010","0")],False,(Eps,[("0","001"),("00000","00"),("1","0")],Eps))
([("0","00010"),("00000","00"),("010","00")],False,(Eps,[("0","001"),("00000","00"),("1","00")],Eps))
([("0","00010"),("00000","00"),("010","000")],False,(Eps,[("0","001"),("00000","00"),("1","000")],Eps))
([("0","00010"),("00000","00"),("0100","0")],False,(Eps,[("0","001"),("00000","00"),("10","0")],Eps))
([("0","00010"),("00000","00"),("0100","00")],False,(Eps,[("0","001"),("00000","00"),("10","00")],Eps))
([("0","00010"),("00000","00"),("0100","000")],False,(Eps,[("0","001"),("00000","00"),("10","000")],Eps))
([("0","00010"),("00000","00"),("10","0")],False,(Eps,[("0","0001"),("00000","00"),("1","0")],Eps))
([("0","00010"),("00000","00"),("10","00")],False,(Eps,[("0","0001"),("00000","00"),("1","00")],Eps))
([("0","00010"),("00000","00"),("10","000")],False,(Eps,[("0","0001"),("00000","00"),("1","000")],Eps))
([("0","00010"),("00000","00"),("10","0000")],False,(Eps,[("0","0001"),("00000","00"),("1","0000")],Eps))
([("0","00010"),("00000","00"),("10","00000")],False,(Eps,[("0","0001"),("00000","00"),("1","00000")],Eps))
([("0","00010"),("00000","00"),("100","00")],False,(Eps,[("0","0001"),("00000","00"),("10","00")],Eps))
([("0","00010"),("00000","00"),("100","00000")],False,(Eps,[("0","0001"),("00000","00"),("10","00000")],Eps))
([("0","00010"),("00000","00"),("1000","00")],False,(Eps,[("0","0001"),("00000","00"),("100","00")],Eps))
([("0","00010"),("00000","00"),("1000","000")],False,(Eps,[("0","0001"),("00000","00"),("100","000")],Eps))
([("0","00010"),("00000","000"),("0001","000")],False,(Eps,[("0","01"),("00000","000"),("1","000")],Eps))
([("0","00010"),("00000","000"),("0010","000")],False,(Eps,[("0","01"),("00000","000"),("1","000")],Eps))
([("0","00010"),("00000","000"),("01","0")],False,(Eps,[("0","0010"),("00000","000"),("1","0")],Eps))
([("0","00010"),("00000","000"),("010","0")],False,(Eps,[("0","001"),("00000","000"),("1","0")],Eps))
([("0","00010"),("00000","000"),("010","000")],False,(Eps,[("0","001"),("00000","000"),("1","000")],Eps))
([("0","00010"),("00000","000"),("0100","00")],False,(Eps,[("0","001"),("00000","000"),("10","00")],Eps))
([("0","00010"),("00000","000"),("0100","000")],False,(Eps,[("0","001"),("00000","000"),("10","000")],Eps))
([("0","00010"),("00000","000"),("10","0")],False,(Eps,[("0","0001"),("00000","000"),("1","0")],Eps))
([("0","00010"),("00000","000"),("100","00")],False,(Eps,[("0","0001"),("00000","000"),("10","00")],Eps))
([("0","00010"),("00000","000"),("1000","000")],False,(Eps,[("0","0001"),("00000","000"),("100","000")],Eps))
([("0","00010"),("00000","0001"),("0100","00")],False,(Eps,[("0","0010"),("00000","001"),("100","00")],Eps))
([("0","00010"),("00000","001"),("00001","00")],False,(Eps,[("0","010"),("00000","1"),("001","00")],Eps))
([("0","00010"),("00000","001"),("00100","00")],False,(Eps,[("0","010"),("00000","1"),("001","00")],Eps))
([("0","00010"),("00000","001"),("0100","00")],False,(Eps,[("0","0010"),("00000","01"),("100","00")],Eps))
([("0","00010"),("00000","001"),("01000","00")],False,(Eps,[("0","0010"),("00000","01"),("1000","00")],Eps))
([("0","00010"),("00000","01"),("00100","00")],False,(Eps,[("0","0010"),("00000","1"),("0100","00")],Eps))
([("0","00010"),("00000","01"),("0100","00")],False,(Eps,[("0","0010"),("00000","1"),("100","00")],Eps))
([("0","00010"),("00000","01"),("01000","00")],False,(Eps,[("0","0010"),("00000","1"),("1000","00")],Eps))
([("0","00010"),("00000","0100"),("10000","00")],False,(Eps,[("0","0001"),("00000","010"),("1000","00")],Eps))
([("0","00010"),("00001","01"),("001","0")],False,(Eps,[("0","0010"),("0001","1"),("01","0")],Eps))
([("0","00010"),("00001","01"),("01","0")],False,(Eps,[("0","0010"),("0001","1"),("1","0")],Eps))
([("0","00010"),("00001","01"),("010","0")],False,(Eps,[("0","0010"),("0001","1"),("10","0")],Eps))
([("0","00010"),("00010","0"),("001","010")],False,(Eps,[("0","0010"),("0010","0"),("01","10")],Eps))
([("0","00010"),("00010","001"),("01000","00")],False,(Eps,[("0","0010"),("0010","01"),("1000","00")],Eps))
([("0","00010"),("00010","01"),("001","00")],False,(Eps,[("0","0010"),("0010","1"),("01","00")],Eps))
([("0","00010"),("00010","01"),("00100","00")],False,(Eps,[("0","0010"),("0010","1"),("0100","00")],Eps))
([("0","00010"),("00010","01"),("01","0")],False,(Eps,[("0","0010"),("0010","1"),("1","0")],Eps))
([("0","00010"),("00010","01"),("010","0")],False,(Eps,[("0","0010"),("0010","1"),("10","0")],Eps))
([("0","00010"),("00010","010"),("0100","0")],False,(Eps,[("0","001"),("001","1"),("10","0")],Eps))
([("0","00010"),("00010","01001"),("010","0")],False,(Eps,[("0","0010"),("0010","101"),("10","0")],Eps))
([("0","00010"),("00010","10"),("0010","0")],False,(Eps,[("0","0001"),("0001","1"),("001","0")],Eps))
([("0","00010"),("00010","10"),("010","0")],False,(Eps,[("0","0001"),("0001","1"),("01","0")],Eps))
([("0","00010"),("00010","10"),("10","0")],False,(Eps,[("0","0001"),("0001","1"),("1","0")],Eps))
([("0","00010"),("00010","10"),("10","000")],False,(Eps,[("0","0001"),("0001","1"),("1","000")],Eps))
([("0","00010"),("00010","10"),("100","0")],False,(Eps,[("0","0001"),("0001","1"),("10","0")],Eps))
([("0","00010"),("00010","10"),("10000","000")],False,(Eps,[("0","0001"),("0001","1"),("1000","000")],Eps))
([("0","00010"),("001","0"),("00100","01")],False,(Eps,[("0","0010"),("01","0"),("0100","1")],Eps))
([("0","00010"),("001","0"),("010","01")],False,(Eps,[("0","0010"),("01","0"),("10","1")],Eps))
([("0","00010"),("001","0"),("01000","01")],False,(Eps,[("0","0010"),("01","0"),("1000","1")],Eps))
([("0","00010"),("0010","0"),("0100","01")],False,(Eps,[("0","0010"),("010","0"),("100","1")],Eps))
([("0","00010"),("0010","0"),("01000","001")],False,(Eps,[("0","0010"),("010","0"),("1000","01")],Eps))
([("0","00010"),("0010","0"),("01000","01")],False,(Eps,[("0","0010"),("010","0"),("1000","1")],Eps))
([("0","00010"),("0010","01"),("01","0")],False,(Eps,[("0","0010"),("010","1"),("1","0")],Eps))
([("0","00010"),("00100","00"),("0100","01")],False,(Eps,[("0","0010"),("0100","00"),("100","1")],Eps))
([("0","00010"),("00100","00"),("01000","0001")],False,(Eps,[("0","0010"),("0100","00"),("1000","001")],Eps))
([("0","00010"),("00100","00"),("01000","001")],False,(Eps,[("0","0010"),("0100","00"),("1000","01")],Eps))
([("0","00010"),("00100","00"),("01000","01")],False,(Eps,[("0","0010"),("0100","00"),("1000","1")],Eps))
([("0","00010"),("00100","01"),("01","0")],False,(Eps,[("0","0010"),("0100","1"),("1","0")],Eps))
([("0","00010"),("00100","01"),("01000","00")],False,(Eps,[("0","0010"),("0100","1"),("1000","00")],Eps))
([("0","00010"),("00100","10"),("0100","0")],False,(Eps,[("0","0001"),("0010","1"),("010","0")],Eps))
([("0","00010"),("00100","10"),("100","0")],False,(Eps,[("0","0001"),("0010","1"),("10","0")],Eps))
([("0","00010"),("00100","100"),("010","0")],False,(Eps,[("0","0001"),("0010","10"),("01","0")],Eps))
([("0","00010"),("00100","100"),("0100","0")],False,(Eps,[("0","0001"),("0010","10"),("010","0")],Eps))
([("0","00010"),("00100","10010"),("100","0")],False,(Eps,[("0","0001"),("0010","101"),("10","0")],Eps))
([("0","00010"),("01","0"),("0100","01")],False,(Eps,[("0","0010"),("1","0"),("100","1")],Eps))
([("0","00010"),("010","0"),("01000","01")],False,(Eps,[("0","0010"),("10","0"),("1000","1")],Eps))
([("0","00010"),("0100","0"),("0100","01")],False,(Eps,[("0","001"),("0100","0"),("1","001")],Eps))
([("0","00010"),("0100","0"),("01000","01")],False,(Eps,[("0","001"),("0100","0"),("1","0001")],Eps))
([("0","00010"),("0100","0"),("01000","10")],False,(Eps,[("0","0001"),("010","0"),("0100","1")],Eps))
([("0","00010"),("0100","0"),("10000","10")],False,(Eps,[("0","0001"),("010","0"),("1000","1")],Eps))
([("0","00010"),("0100","00"),("01000","01")],False,(Eps,[("0","0010"),("100","00"),("1000","1")],Eps))
([("0","00010"),("100","0"),("10000","10")],False,(Eps,[("0","0001"),("10","0"),("1000","1")],Eps))
([("0","00010"),("100","1010"),("1010","10")],False,(Eps,[("0","00"),("00","01"),("1110","1")],Eps))
([("0","00011"),("000","0110"),("11000","00")],False,(Eps,[("0","0001"),("000","010"),("1000","00")],Eps))
([("0","00011"),("0000","00"),("011","000")],False,(Eps,[("0","001"),("0000","00"),("1","000")],Eps))
([("0","00011"),("0000","00"),("1100","0")],False,(Eps,[("0","0001"),("0000","00"),("100","0")],Eps))
([("0","00011"),("0000","000"),("1100","0")],False,(Eps,[("0","0001"),("0000","000"),("100","0")],Eps))
([("0","00011"),("00000","00"),("011","0")],False,(Eps,[("0","001"),("00000","00"),("1","0")],Eps))
([("0","00011"),("00000","00"),("011","00")],False,(Eps,[("0","001"),("00000","00"),("1","00")],Eps))
([("0","00011"),("00000","00"),("011","000")],False,(Eps,[("0","001"),("00000","00"),("1","000")],Eps))
([("0","00011"),("00000","00"),("011","00000")],False,(Eps,[("0","001"),("00000","00"),("1","00000")],Eps))
([("0","00011"),("00000","00"),("0110","0")],False,(Eps,[("0","001"),("00000","00"),("10","0")],Eps))
([("0","00011"),("00000","00"),("0110","00")],False,(Eps,[("0","001"),("00000","00"),("10","00")],Eps))
([("0","00011"),("00000","00"),("0110","000")],False,(Eps,[("0","001"),("00000","00"),("10","000")],Eps))
([("0","00011"),("00000","00"),("110","0")],False,(Eps,[("0","0001"),("00000","00"),("10","0")],Eps))
([("0","00011"),("00000","00"),("110","00")],False,(Eps,[("0","0001"),("00000","00"),("10","00")],Eps))
([("0","00011"),("00000","00"),("110","000")],False,(Eps,[("0","0001"),("00000","00"),("10","000")],Eps))
([("0","00011"),("00000","00"),("1100","000")],False,(Eps,[("0","0001"),("00000","00"),("100","000")],Eps))
([("0","00011"),("00000","000"),("0011","0")],False,(Eps,[("0","01"),("00000","000"),("1","0")],Eps))
([("0","00011"),("00000","000"),("0011","000")],False,(Eps,[("0","01"),("00000","000"),("1","000")],Eps))
([("0","00011"),("00000","000"),("011","000")],False,(Eps,[("0","001"),("00000","000"),("1","000")],Eps))
([("0","00011"),("00000","000"),("0110","0")],False,(Eps,[("0","001"),("00000","000"),("10","0")],Eps))
([("0","00011"),("00000","000"),("0110","00")],False,(Eps,[("0","001"),("00000","000"),("10","00")],Eps))
([("0","00011"),("00000","000"),("0110","000")],False,(Eps,[("0","001"),("00000","000"),("10","000")],Eps))
([("0","00011"),("00000","000"),("110","00")],False,(Eps,[("0","0001"),("00000","000"),("10","00")],Eps))
([("0","00011"),("00000","000"),("1100","0")],False,(Eps,[("0","0001"),("00000","000"),("100","0")],Eps))
([("0","00011"),("00000","000"),("1100","000")],False,(Eps,[("0","0001"),("00000","000"),("100","000")],Eps))
([("0","00011"),("00000","0000"),("1100","0")],False,(Eps,[("0","0001"),("00000","0000"),("100","0")],Eps))
([("0","00011"),("00000","0110"),("11000","00")],False,(Eps,[("0","0001"),("00000","010"),("1000","00")],Eps))
([("0","00011"),("00011","011"),("0110","0")],False,(Eps,[("0","001"),("001","1"),("10","0")],Eps))
([("0","00011"),("00110","011"),("1100","0")],False,(Eps,[("0","0001"),("0010","01"),("100","0")],Eps))
([("0","00011"),("1100","0"),("11000","0110")],False,(Eps,[("0","0001"),("100","0"),("1000","010")],Eps))
([("0","001"),("00000","000"),("01","000")],False,(Eps,[("0","01"),("00000","000"),("1","000")],Eps))
([("0","001"),("001","00010"),("0100","0")],False,(Eps,[("0","001"),("0100","10"),("10","0")],Eps))
([("0","001"),("00100","0"),("01","000")],False,(Eps,[("0","0010"),("000","1"),("10","0")],Eps))
([("0","001"),("00100","0"),("01","00001")],False,(Eps,[("0","0010"),("10","0"),("1000","1")],Eps))
([("0","001"),("00100","0"),("01","00100")],False,(Eps,[("0","0010"),("0010","1"),("10","0")],Eps))
([("0","001"),("00100","0"),("01","01000")],False,(Eps,[("0","0010"),("0001","1"),("10","0")],Eps))
([("0","001"),("00100","0"),("010","000")],False,(Eps,[("0","0010"),("000","01"),("10","0")],Eps))
([("0","001"),("00100","0"),("01001","00100")],False,(Eps,[("0","0010"),("0010","101"),("10","0")],Eps))
([("0","001"),("0100","0"),("01001","00100")],False,(Eps,[("0","001"),("0010","101"),("10","0")],Eps))
([("0","0010"),("0000","00"),("10","00000")],False,(Eps,[("0","001"),("0000","00"),("1","00000")],Eps))
([("0","0010"),("00000","00"),("01","0")],False,(Eps,[("0","010"),("00000","00"),("1","0")],Eps))
([("0","0010"),("00000","00"),("01","000")],False,(Eps,[("0","010"),("00000","00"),("1","000")],Eps))
([("0","0010"),("00000","00"),("10","0")],False,(Eps,[("0","001"),("00000","00"),("1","0")],Eps))
([("0","0010"),("00000","00"),("10","000")],False,(Eps,[("0","001"),("00000","00"),("1","000")],Eps))
([("0","0010"),("00000","00"),("10","00000")],False,(Eps,[("0","001"),("00000","00"),("1","00000")],Eps))
([("0","0010"),("00000","00"),("100","00")],False,(Eps,[("0","001"),("00000","00"),("10","00")],Eps))
([("0","0010"),("00000","00"),("100","000")],False,(Eps,[("0","001"),("00000","00"),("10","000")],Eps))
([("0","0010"),("00000","000"),("001","000")],False,(Eps,[("0","01"),("00000","000"),("1","000")],Eps))
([("0","0010"),("00000","000"),("010","000")],False,(Eps,[("0","01"),("00000","000"),("1","000")],Eps))
([("0","0010"),("00000","000"),("10","0")],False,(Eps,[("0","001"),("00000","000"),("1","0")],Eps))
([("0","0010"),("00000","000"),("10","00000")],False,(Eps,[("0","001"),("00000","000"),("1","00000")],Eps))
([("0","0010"),("00000","000"),("100","00")],False,(Eps,[("0","001"),("00000","000"),("10","00")],Eps))
([("0","0010"),("00000","000"),("100","000")],False,(Eps,[("0","001"),("00000","000"),("10","000")],Eps))
([("0","0010"),("00000","01"),("0001","00")],False,(Eps,[("0","010"),("00000","1"),("001","00")],Eps))
([("0","0010"),("00000","01"),("0100","00")],False,(Eps,[("0","010"),("00000","1"),("001","00")],Eps))
([("0","0010"),("00001","01"),("01","0")],False,(Eps,[("0","010"),("0001","1"),("1","0")],Eps))
([("0","0010"),("00001","010"),("0001","00")],False,(Eps,[("0","010"),("0001","10"),("001","00")],Eps))
([("0","0010"),("0001","00"),("00010","01")],False,(Eps,[("0","010"),("001","00"),("0010","1")],Eps))
([("0","0010"),("0001","00"),("00100","01")],False,(Eps,[("0","010"),("001","00"),("0100","1")],Eps))
([("0","0010"),("0001","00"),("00100","010")],False,(Eps,[("0","010"),("001","00"),("0100","10")],Eps))
([("0","0010"),("00010","001"),("0100","00")],False,(Eps,[("0","010"),("001","00"),("0100","10")],Eps))
([("0","0010"),("00010","01"),("0100","00")],False,(Eps,[("0","010"),("001","00"),("0100","1")],Eps))
([("0","0010"),("00010","10"),("10","0")],False,(Eps,[("0","001"),("0001","1"),("1","0")],Eps))
([("0","0010"),("00100","0"),("01","000")],False,(Eps,[("0","0010"),("000","1"),("010","0")],Eps))
([("0","0010"),("00100","0"),("01","00001")],False,(Eps,[("0","0010"),("010","0"),("1000","1")],Eps))
([("0","0010"),("00100","0"),("01","0001")],False,(Eps,[("0","0010"),("010","0"),("100","1")],Eps))
([("0","0010"),("00100","0"),("01","00010")],False,(Eps,[("0","0010"),("010","0"),("0100","1")],Eps))
([("0","0010"),("00100","0"),("01","0010")],False,(Eps,[("0","0010"),("010","0"),("010","1")],Eps))
([("0","0010"),("00100","0"),("010","00001")],False,(Eps,[("0","0010"),("010","0"),("1000","01")],Eps))
([("0","0010"),("00100","0"),("10","0010")],False,(Eps,[("0","001"),("0010","0"),("1","001")],Eps))
([("0","0010"),("00100","0"),("10","00100")],False,(Eps,[("0","001"),("0010","0"),("1","0010")],Eps))
([("0","0010"),("00100","0"),("10","01000")],False,(Eps,[("0","001"),("0010","0"),("1","0100")],Eps))
([("0","0010"),("00100","0"),("10","1000")],False,(Eps,[("0","001"),("0010","0"),("1","100")],Eps))
([("0","0010"),("00100","0"),("100","00100")],False,(Eps,[("0","001"),("0010","0"),("10","0010")],Eps))
([("0","0010"),("00100","0"),("1000","000")],False,(Eps,[("0","001"),("0010","0"),("100","000")],Eps))
([("0","0010"),("00100","01"),("0100","00")],False,(Eps,[("0","010"),("001","00"),("0010","1")],Eps))
([("0","0010"),("00100","010"),("1000","00")],False,(Eps,[("0","001"),("0010","01"),("100","00")],Eps))
([("0","0010"),("00100","100"),("010","0")],False,(Eps,[("0","001"),("0010","10"),("01","0")],Eps))
([("0","0010"),("00100","100"),("0100","00")],False,(Eps,[("0","001"),("0010","10"),("010","00")],Eps))
([("0","0010"),("01","0"),("01000","01")],False,(Eps,[("0","010"),("0001","1"),("1","0")],Eps))
([("0","0010"),("0100","00"),("01000","001")],False,(Eps,[("0","010"),("0001","10"),("001","00")],Eps))
([("0","0010"),("01000","100"),("1000","00")],False,(Eps,[("0","001"),("0100","10"),("100","00")],Eps))
([("0","00100"),("0","01"),("00001","00")],False,(Eps,[("0","0010"),("0","1"),("1000","00")],Eps))
([("0","00100"),("0","01"),("00010","00")],False,(Eps,[("0","0010"),("0","1"),("0100","00")],Eps))
([("0","00100"),("00","010"),("00001","00")],False,(Eps,[("0","0010"),("00","01"),("1000","00")],Eps))
([("0","00100"),("000","01"),("00001","00")],False,(Eps,[("0","0010"),("000","1"),("1000","00")],Eps))
([("0","00100"),("000","01"),("0001","00")],False,(Eps,[("0","0010"),("000","1"),("100","00")],Eps))
([("0","00100"),("000","01"),("00010","00")],False,(Eps,[("0","0010"),("000","1"),("0100","00")],Eps))
([("0","00100"),("000","01"),("010","0")],False,(Eps,[("0","0010"),("000","1"),("01","0")],Eps))
([("0","00100"),("0000","00"),("001","000")],False,(Eps,[("0","001"),("0000","00"),("1","000")],Eps))
([("0","00100"),("0000","00"),("001","00000")],False,(Eps,[("0","001"),("0000","00"),("1","00000")],Eps))
([("0","00100"),("0000","00"),("01","0")],False,(Eps,[("0","0010"),("0000","00"),("1","0")],Eps))
([("0","00100"),("0000","00010"),("10000","00")],False,(Eps,[("0","0010"),("0000","0001"),("1000","00")],Eps))
([("0","00100"),("0000","01"),("00001","00")],False,(Eps,[("0","0010"),("0000","1"),("1000","00")],Eps))
([("0","00100"),("0000","01"),("00010","00")],False,(Eps,[("0","0010"),("0000","1"),("0100","00")],Eps))
([("0","00100"),("0000","01"),("0100","00")],False,(Eps,[("0","0010"),("0000","1"),("001","00")],Eps))
([("0","00100"),("0000","010"),("00001","00")],False,(Eps,[("0","0010"),("0000","01"),("1000","00")],Eps))
([("0","00100"),("0000","010"),("0001","00")],False,(Eps,[("0","0010"),("0000","01"),("100","00")],Eps))
([("0","00100"),("00000","00"),("0001","00")],False,(Eps,[("0","001"),("00000","00"),("10","00")],Eps))
([("0","00100"),("00000","00"),("0001","000")],False,(Eps,[("0","001"),("00000","00"),("10","000")],Eps))
([("0","00100"),("00000","00"),("001","00")],False,(Eps,[("0","001"),("00000","00"),("1","00")],Eps))
([("0","00100"),("00000","00"),("001","000")],False,(Eps,[("0","001"),("00000","00"),("1","000")],Eps))
([("0","00100"),("00000","00"),("001","00000")],False,(Eps,[("0","001"),("00000","00"),("1","00000")],Eps))
([("0","00100"),("00000","00"),("0010","00")],False,(Eps,[("0","01"),("00000","00"),("1","00")],Eps))
([("0","00100"),("00000","00"),("01","00")],False,(Eps,[("0","0010"),("00000","00"),("1","00")],Eps))
([("0","00100"),("00000","00"),("01","000")],False,(Eps,[("0","0010"),("00000","00"),("1","000")],Eps))
([("0","00100"),("00000","00"),("01","00000")],False,(Eps,[("0","0010"),("00000","00"),("1","00000")],Eps))
([("0","00100"),("00000","00"),("010","0")],False,(Eps,[("0","010"),("00000","00"),("1","0")],Eps))
([("0","00100"),("00000","00"),("010","000")],False,(Eps,[("0","010"),("00000","00"),("1","000")],Eps))
([("0","00100"),("00000","000"),("0001","00")],False,(Eps,[("0","001"),("00000","000"),("10","00")],Eps))
([("0","00100"),("00000","000"),("0001","000")],False,(Eps,[("0","001"),("00000","000"),("10","000")],Eps))
([("0","00100"),("00000","000"),("001","00000")],False,(Eps,[("0","001"),("00000","000"),("1","00000")],Eps))
([("0","00100"),("00000","000"),("0010","000")],False,(Eps,[("0","01"),("00000","000"),("1","000")],Eps))
([("0","00100"),("00000","000"),("01","0")],False,(Eps,[("0","0010"),("00000","000"),("1","0")],Eps))
([("0","00100"),("00000","0010"),("1000","00")],False,(Eps,[("0","0010"),("00000","001"),("100","00")],Eps))
([("0","00100"),("00000","01"),("00001","00")],False,(Eps,[("0","0010"),("00000","1"),("1000","00")],Eps))
([("0","00100"),("00000","01"),("0001","00")],False,(Eps,[("0","0010"),("00000","1"),("100","00")],Eps))
([("0","00100"),("00000","01"),("00010","00")],False,(Eps,[("0","0010"),("00000","1"),("0100","00")],Eps))
([("0","00100"),("00000","010"),("00001","00")],False,(Eps,[("0","0010"),("00000","01"),("1000","00")],Eps))
([("0","00100"),("00000","010"),("0001","00")],False,(Eps,[("0","0010"),("00000","01"),("100","00")],Eps))
([("0","00100"),("00000","010"),("00010","00")],False,(Eps,[("0","010"),("00000","1"),("001","00")],Eps))
([("0","00100"),("00001","00"),("00010","01")],False,(Eps,[("0","0010"),("0100","1"),("1000","00")],Eps))
([("0","00100"),("00001","00"),("00100","010")],False,(Eps,[("0","0010"),("0010","01"),("1000","00")],Eps))
([("0","00100"),("00001","01"),("0001","00")],False,(Eps,[("0","0010"),("100","00"),("1000","1")],Eps))
([("0","00100"),("00001","01"),("00010","00")],False,(Eps,[("0","0010"),("0100","00"),("1000","1")],Eps))
([("0","00100"),("00001","01"),("010","0")],False,(Eps,[("0","0010"),("01","0"),("1000","1")],Eps))
([("0","00100"),("00001","010"),("00010","00")],False,(Eps,[("0","0010"),("0100","00"),("1000","01")],Eps))
([("0","00100"),("00001","0100"),("00010","00")],False,(Eps,[("0","0010"),("0100","00"),("1000","001")],Eps))
([("0","00100"),("0001","01"),("00010","00")],False,(Eps,[("0","0010"),("0100","00"),("100","1")],Eps))
([("0","00100"),("0001","01"),("01","0")],False,(Eps,[("0","0010"),("1","0"),("100","1")],Eps))
([("0","00100"),("00010","00"),("00100","01")],False,(Eps,[("0","0010"),("0010","1"),("0100","00")],Eps))
([("0","00100"),("00010","01"),("01","0")],False,(Eps,[("0","0010"),("0100","1"),("1","0")],Eps))
([("0","00100"),("00010","01"),("010","0")],False,(Eps,[("0","0010"),("01","0"),("0100","1")],Eps))
([("0","00100"),("00010","10"),("010","0")],False,(Eps,[("0","0010"),("0001","1"),("01","0")],Eps))
([("0","00100"),("00010","10"),("10","0")],False,(Eps,[("0","0010"),("0001","1"),("1","0")],Eps))
([("0","00100"),("001","01"),("010","0")],False,(Eps,[("0","0010"),("01","0"),("10","1")],Eps))
([("0","00100"),("001","010"),("00100","0")],False,(Eps,[("0","0010"),("0010","0"),("01","10")],Eps))
([("0","00100"),("0010","01"),("01","0")],False,(Eps,[("0","0010"),("010","1"),("1","0")],Eps))
([("0","00100"),("00100","01"),("01","0")],False,(Eps,[("0","0010"),("0010","1"),("1","0")],Eps))
([("0","00100"),("00100","01"),("010","00")],False,(Eps,[("0","0010"),("0010","1"),("01","00")],Eps))
([("0","00101"),("00000","00"),("01","0")],False,(Eps,[("0","011"),("00000","00"),("1","0")],Eps))
([("0","00101"),("00000","00"),("0101","00")],False,(Eps,[("0","011"),("00000","00"),("11","00")],Eps))
([("0","00101"),("00000","000"),("0101","000")],False,(Eps,[("0","011"),("00000","000"),("11","000")],Eps))
([("0","00101"),("00001","01"),("01","0")],False,(Eps,[("0","011"),("0001","1"),("1","0")],Eps))
([("0","00101"),("00101","01"),("01","010")],False,(Eps,[("0","001"),("001","1"),("10","0")],Eps))
([("0","00101"),("01","001"),("01010","01")],False,(Eps,[("0","001"),("10","0"),("100","1")],Eps))
([("0","0011"),("00000","00"),("110","0")],False,(Eps,[("0","001"),("00000","00"),("10","0")],Eps))
([("0","0011"),("00000","00"),("110","00")],False,(Eps,[("0","001"),("00000","00"),("10","00")],Eps))
([("0","0011"),("00000","000"),("011","000")],False,(Eps,[("0","01"),("00000","000"),("1","000")],Eps))
([("0","0011"),("00000","000"),("110","0")],False,(Eps,[("0","001"),("00000","000"),("10","0")],Eps))
([("0","0011"),("00000","000"),("110","00")],False,(Eps,[("0","001"),("00000","000"),("10","00")],Eps))
([("0","0011"),("00000","000"),("110","000")],False,(Eps,[("0","001"),("00000","000"),("10","000")],Eps))
([("0","0011"),("00110","0"),("110","00110")],False,(Eps,[("0","001"),("0010","0"),("10","0010")],Eps))
([("0","0011"),("00110","011"),("1100","00")],False,(Eps,[("0","001"),("0010","01"),("100","00")],Eps))
([("0","0011"),("011","01100"),("01100","0")],False,(Eps,[("0","001"),("001","1"),("10","0")],Eps))
([("0","00110"),("0000","00"),("110","000")],False,(Eps,[("0","001"),("0000","00"),("1","000")],Eps))
([("0","00110"),("0000","00011"),("11000","00")],False,(Eps,[("0","0010"),("0000","0001"),("1000","00")],Eps))
([("0","00110"),("0000","011"),("11000","00")],False,(Eps,[("0","0010"),("0000","01"),("1000","00")],Eps))
([("0","00110"),("00000","00"),("011","0")],False,(Eps,[("0","010"),("00000","00"),("1","0")],Eps))
([("0","00110"),("00000","00"),("011","000")],False,(Eps,[("0","010"),("00000","00"),("1","000")],Eps))
([("0","00110"),("00000","00"),("110","0")],False,(Eps,[("0","001"),("00000","00"),("1","0")],Eps))
([("0","00110"),("00000","00"),("110","00")],False,(Eps,[("0","001"),("00000","00"),("1","00")],Eps))
([("0","00110"),("00000","00"),("110","000")],False,(Eps,[("0","001"),("00000","00"),("1","000")],Eps))
([("0","00110"),("00000","00"),("110","00000")],False,(Eps,[("0","001"),("00000","00"),("1","00000")],Eps))
([("0","00110"),("00000","00"),("1100","00")],False,(Eps,[("0","001"),("00000","00"),("10","00")],Eps))
([("0","00110"),("00000","00"),("1100","000")],False,(Eps,[("0","001"),("00000","00"),("10","000")],Eps))
([("0","00110"),("00000","000"),("0011","000")],False,(Eps,[("0","01"),("00000","000"),("1","000")],Eps))
([("0","00110"),("00000","000"),("0110","000")],False,(Eps,[("0","01"),("00000","000"),("1","000")],Eps))
([("0","00110"),("00000","000"),("110","000")],False,(Eps,[("0","001"),("00000","000"),("1","000")],Eps))
([("0","00110"),("00000","000"),("1100","000")],False,(Eps,[("0","001"),("00000","000"),("10","000")],Eps))
([("0","00110"),("00000","011"),("00011","00")],False,(Eps,[("0","010"),("00000","1"),("001","00")],Eps))
([("0","00110"),("00000","011"),("01100","00")],False,(Eps,[("0","010"),("00000","1"),("001","00")],Eps))
([("0","00110"),("00000","011"),("11000","00")],False,(Eps,[("0","0010"),("00000","01"),("1000","00")],Eps))
([("0","00110"),("00110","0"),("011","110")],False,(Eps,[("0","0010"),("0010","0"),("01","10")],Eps))
([("0","00110"),("00110","011"),("11000","00")],False,(Eps,[("0","0010"),("0010","01"),("1000","00")],Eps))
([("0","00110"),("00110","1100"),("011","0")],False,(Eps,[("0","0010"),("0010","100"),("01","0")],Eps))
([("0","00110"),("0110","0"),("11000","011")],False,(Eps,[("0","0010"),("010","0"),("1000","01")],Eps))
([("0","00110"),("01100","00"),("11000","0011")],False,(Eps,[("0","0010"),("0100","00"),("1000","001")],Eps))
([("0","00110"),("01100","00"),("11000","011")],False,(Eps,[("0","0010"),("0100","00"),("1000","01")],Eps))
([("0","00111"),("0000","00"),("1110","0")],False,(Eps,[("0","001"),("0000","00"),("10","0")],Eps))
([("0","00111"),("00000","00"),("1110","0")],False,(Eps,[("0","001"),("00000","00"),("10","0")],Eps))
([("0","00111"),("00000","00"),("1110","00")],False,(Eps,[("0","001"),("00000","00"),("10","00")],Eps))
([("0","00111"),("00000","00"),("1110","000")],False,(Eps,[("0","001"),("00000","00"),("10","000")],Eps))
([("0","00111"),("00000","000"),("0111","000")],False,(Eps,[("0","01"),("00000","000"),("1","000")],Eps))
([("0","00111"),("00000","000"),("1110","0")],False,(Eps,[("0","001"),("00000","000"),("10","0")],Eps))
([("0","00111"),("00000","000"),("1110","000")],False,(Eps,[("0","001"),("00000","000"),("10","000")],Eps))
([("0","01"),("00010","00"),("01","00001")],False,(Eps,[("0","0111"),("1","0"),("1011","11")],Eps))
([("0","01"),("00100","00"),("01","01000")],False,(Eps,[("0","0111"),("1","0"),("1011","11")],Eps))
([("0","01"),("01","01000"),("01010","0")],False,(Eps,[("0","011"),("0001","1"),("1","0")],Eps))
([("0","01"),("01","01001"),("01001","0")],False,(Eps,[("0","010"),("010","1"),("1","0")],Eps))
([("0","01010"),("00101","01"),("01","010")],False,(Eps,[("0","001"),("10","0"),("100","1")],Eps))
([("0","01010"),("01","001"),("01010","01")],False,(Eps,[("0","001"),("001","1"),("10","0")],Eps))
([("0","0110"),("00011","110"),("0011","00")],False,(Eps,[("0","010"),("0001","10"),("001","00")],Eps))
([("0","0110"),("0011","00"),("01100","110")],False,(Eps,[("0","010"),("001","00"),("0100","10")],Eps))
([("00","0000"),("000","01"),("00001","000")],False,(Eps,[("0","111"),("111","0111"),("1111","11")],Eps))
([("00","0000"),("000","01"),("01000","000")],False,(Eps,[("0","111"),("111","0111"),("1111","11")],Eps))
([("00","00000"),("00","001"),("00001","00")],False,(Eps,[("0","11"),("11","011"),("11111","11")],Eps))
([("00","00000"),("00","001"),("00100","00")],False,(Eps,[("0","11"),("11","011"),("11111","11")],Eps))
([("00","00000"),("00","01"),("0100","00")],False,(Eps,[("0","11"),("11","011"),("11111","11")],Eps))
([("00","00000"),("00","010"),("00010","00")],False,(Eps,[("0","11"),("11","011"),("11111","11")],Eps))
([("00","00000"),("0000","001"),("00001","00")],False,(Eps,[("0","1111"),("11","011"),("11111","11")],Eps))
([("00","00000"),("0000","001"),("00100","00")],False,(Eps,[("0","1111"),("11","011"),("11111","11")],Eps))
([("00","00000"),("0000","01"),("0001","00")],False,(Eps,[("0","1111"),("11","011"),("11111","11")],Eps))
([("00","00000"),("0000","01"),("0100","00")],False,(Eps,[("0","1111"),("11","011"),("11111","11")],Eps))
([("00","00000"),("0000","010"),("00010","00")],False,(Eps,[("0","1111"),("11","011"),("11111","11")],Eps))
([("00","00000"),("0000","011"),("00011","00")],False,(Eps,[("0","1111"),("11","011"),("11111","11")],Eps))
([("00","00000"),("0000","011"),("01100","00")],False,(Eps,[("0","1111"),("11","011"),("11111","11")],Eps))
([("00","00000"),("0000","101"),("00101","00")],False,(Eps,[("0","1111"),("11","011"),("11111","11")],Eps))
([("00","00000"),("00000","001"),("00001","00")],False,(Eps,[("0","11111"),("11","011"),("11111","11")],Eps))
([("00","00000"),("00000","001"),("00100","00")],False,(Eps,[("0","11111"),("11","011"),("11111","11")],Eps))
([("00","00000"),("00000","01"),("0001","00")],False,(Eps,[("0","11111"),("11","011"),("11111","11")],Eps))
([("00","00000"),("00000","01"),("0100","00")],False,(Eps,[("0","11111"),("11","011"),("11111","11")],Eps))
([("00","00000"),("00000","010"),("00010","00")],False,(Eps,[("0","11111"),("11","011"),("11111","11")],Eps))
([("00","00000"),("00000","011"),("00011","00")],False,(Eps,[("0","11111"),("11","011"),("11111","11")],Eps))
([("00","00000"),("00000","011"),("01100","00")],False,(Eps,[("0","11111"),("11","011"),("11111","11")],Eps))
([("00","00000"),("00000","101"),("00101","00")],False,(Eps,[("0","11111"),("11","011"),("11111","11")],Eps))
([("000","00000"),("000","01"),("00001","000")],False,(Eps,[("0","111"),("111","0111"),("11111","111")],Eps))
([("000","00000"),("000","01"),("01000","000")],False,(Eps,[("0","111"),("111","0111"),("11111","111")],Eps))
([("001","01"),("01","01010"),("0101","010")],False,(Eps,[("0","001"),("00","01"),("10","0")],Eps))
([("001","0101"),("00101","01"),("01","010")],False,(Eps,[("0","001"),("00","01"),("10","0")],Eps))