((Eps,[("0","00"),("0","01"),("001","11"),("011","0")],Eps),(Top "0",[("0","00"),("0","01"),("010","11"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","00"),("0","01"),("010","11"),("110","0")],Eps),"no change")
((Eps,[("0","00"),("0","010"),("001","011"),("011","1")],Eps),(Top "0",[("0","00"),("0","010"),("010","011"),("110","1")],Bot "0"),"no valid position")
((Eps,[("0","00"),("0","010"),("01","110"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("0","010"),("010","011"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("0","011"),("011","010"),("101","1")],Eps),"no change")
((Eps,[("0","00"),("0","011"),("100","01"),("101","1")],Eps),"no change")
((Eps,[("0","00"),("0","011"),("101","1"),("110","10")],Eps),"no change")
((Eps,[("0","00"),("0","101"),("01","10"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("0","101"),("01","110"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("0","101"),("010","0"),("011","1")],Eps),(Top "0",[("0","00"),("0","101"),("100","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","00"),("0","11"),("001","0"),("011","01")],Eps),(Top "0",[("0","00"),("0","11"),("010","0"),("110","01")],Bot "0"),"unknown")
((Eps,[("0","00"),("0","11"),("001","0"),("111","10")],Eps),"no change")
((Eps,[("0","00"),("0","11"),("01","0"),("011","1")],Eps),(Top "0",[("0","00"),("0","11"),("10","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","00"),("0","11"),("010","0"),("011","10")],Eps),(Top "0",[("0","00"),("0","11"),("100","0"),("110","10")],Bot "0"),"unknown")
((Eps,[("0","00"),("0","11"),("011","1"),("101","0")],Eps),"no change")
((Eps,[("0","00"),("0","111"),("001","0"),("11","10")],Eps),"no change")
((Eps,[("0","00"),("0","111"),("001","10"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("0","111"),("01","10"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("0","111"),("011","1"),("1","01")],Eps),"no change")
((Eps,[("0","00"),("0","111"),("011","1"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("0","111"),("011","1"),("111","0")],Eps),"no change")
((Eps,[("0","00"),("0","111"),("011","1"),("111","10")],Eps),"no change")
((Eps,[("0","00"),("0","111"),("1","0"),("101","1")],Eps),"no change")
((Eps,[("0","00"),("00","001"),("001","0"),("101","1")],Eps),"no change")
((Eps,[("0","00"),("00","01"),("001","11"),("011","0")],Eps),(Top "0",[("0","00"),("00","01"),("010","11"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","00"),("00","01"),("010","11"),("110","0")],Eps),"no change")
((Eps,[("0","00"),("00","01"),("010","110"),("111","1")],Eps),"no change")
((Eps,[("0","00"),("00","010"),("001","011"),("011","1")],Eps),(Top "0",[("0","00"),("00","010"),("010","011"),("110","1")],Bot "0"),"no valid position")
((Eps,[("0","00"),("00","010"),("01","110"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("00","010"),("010","011"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("00","011"),("011","010"),("101","1")],Eps),"no change")
((Eps,[("0","00"),("00","011"),("100","01"),("101","1")],Eps),"no change")
((Eps,[("0","00"),("00","011"),("100","01"),("110","10")],Eps),"no change")
((Eps,[("0","00"),("00","011"),("101","1"),("11","01")],Eps),"no change")
((Eps,[("0","00"),("00","011"),("101","1"),("110","10")],Eps),"no change")
((Eps,[("0","00"),("00","101"),("001","0"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("00","101"),("01","0"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("00","101"),("01","10"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("00","101"),("010","0"),("011","1")],Eps),(Top "0",[("0","00"),("00","101"),("100","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","00"),("00","101"),("010","0"),("11","1")],Eps),"no change")
((Eps,[("0","00"),("00","101"),("011","1"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("00","11"),("001","0"),("011","01")],Eps),(Top "0",[("0","00"),("00","11"),("010","0"),("110","01")],Bot "0"),"unknown")
((Eps,[("0","00"),("00","11"),("001","0"),("111","10")],Eps),"no change")
((Eps,[("0","00"),("00","11"),("01","0"),("011","1")],Eps),(Top "0",[("0","00"),("00","11"),("10","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","00"),("00","11"),("010","0"),("011","10")],Eps),(Top "0",[("0","00"),("00","11"),("100","0"),("110","10")],Bot "0"),"unknown")
((Eps,[("0","00"),("00","11"),("011","01"),("101","1")],Eps),"no change")
((Eps,[("0","00"),("00","11"),("011","1"),("101","0")],Eps),"no change")
((Eps,[("0","00"),("00","11"),("011","1"),("101","10")],Eps),"no change")
((Eps,[("0","00"),("00","111"),("001","0"),("11","10")],Eps),"no change")
((Eps,[("0","00"),("00","111"),("001","10"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("00","111"),("01","10"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("00","111"),("011","1"),("1","01")],Eps),"no change")
((Eps,[("0","00"),("00","111"),("011","1"),("11","10")],Eps),"no change")
((Eps,[("0","00"),("00","111"),("011","1"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("00","111"),("011","1"),("111","0")],Eps),"no change")
((Eps,[("0","00"),("00","111"),("011","1"),("111","10")],Eps),"no change")
((Eps,[("0","00"),("00","111"),("1","0"),("101","1")],Eps),"no change")
((Eps,[("0","00"),("00","111"),("101","1"),("11","01")],Eps),"no change")
((Eps,[("0","00"),("000","001"),("001","0"),("101","1")],Eps),"no change")
((Eps,[("0","00"),("000","01"),("001","11"),("011","0")],Eps),(Top "0",[("0","00"),("000","01"),("010","11"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","00"),("000","01"),("010","11"),("110","0")],Eps),"no change")
((Eps,[("0","00"),("000","010"),("001","011"),("011","1")],Eps),(Top "0",[("0","00"),("000","010"),("010","011"),("110","1")],Bot "0"),"no valid position")
((Eps,[("0","00"),("000","010"),("01","110"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("000","010"),("010","011"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("000","011"),("011","010"),("101","1")],Eps),"no change")
((Eps,[("0","00"),("000","011"),("100","01"),("101","1")],Eps),"no change")
((Eps,[("0","00"),("000","011"),("101","1"),("110","10")],Eps),"no change")
((Eps,[("0","00"),("000","101"),("001","0"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("000","101"),("01","0"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("000","101"),("01","10"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("000","101"),("010","0"),("011","1")],Eps),(Top "0",[("0","00"),("000","101"),("100","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","00"),("000","101"),("010","0"),("11","1")],Eps),"no change")
((Eps,[("0","00"),("000","101"),("011","1"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("000","11"),("001","0"),("011","01")],Eps),(Top "0",[("0","00"),("000","11"),("010","0"),("110","01")],Bot "0"),"unknown")
((Eps,[("0","00"),("000","11"),("001","0"),("111","10")],Eps),"no change")
((Eps,[("0","00"),("000","11"),("01","0"),("011","1")],Eps),(Top "0",[("0","00"),("000","11"),("10","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","00"),("000","11"),("010","0"),("011","10")],Eps),(Top "0",[("0","00"),("000","11"),("100","0"),("110","10")],Bot "0"),"unknown")
((Eps,[("0","00"),("000","11"),("011","1"),("101","0")],Eps),"no change")
((Eps,[("0","00"),("000","111"),("001","0"),("11","10")],Eps),"no change")
((Eps,[("0","00"),("000","111"),("001","10"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("000","111"),("01","10"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("000","111"),("011","1"),("1","01")],Eps),"no change")
((Eps,[("0","00"),("000","111"),("011","1"),("11","10")],Eps),"no change")
((Eps,[("0","00"),("000","111"),("011","1"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("000","111"),("011","1"),("111","0")],Eps),"no change")
((Eps,[("0","00"),("000","111"),("011","1"),("111","10")],Eps),"no change")
((Eps,[("0","00"),("000","111"),("1","0"),("101","1")],Eps),"no change")
((Eps,[("0","00"),("000","111"),("101","1"),("11","01")],Eps),"no change")
((Eps,[("0","00"),("001","0"),("001","10"),("1","101")],Eps),"no change")
((Eps,[("0","00"),("001","0"),("001","101"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("001","0"),("001","110"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("001","0"),("001","111"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("001","0"),("01","10"),("10","101")],Eps),"no change")
((Eps,[("0","00"),("001","0"),("01","10"),("100","101")],Eps),"no change")
((Eps,[("0","00"),("001","0"),("01","110"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("001","0"),("01","111"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("001","0"),("010","011"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("001","0"),("010","11"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("001","0"),("010","110"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("001","0"),("010","111"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("001","0"),("10","111"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("001","0"),("100","111"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("001","0"),("101","111"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("001","011"),("011","1"),("1","011")],Eps),"no change")
((Eps,[("0","00"),("001","011"),("011","1"),("1","10")],Eps),"no change")
((Eps,[("0","00"),("001","10"),("01","0"),("1","101")],Eps),"no change")
((Eps,[("0","00"),("001","10"),("010","0"),("1","011")],Eps),"no change")
((Eps,[("0","00"),("001","10"),("1","101"),("101","1")],Eps),"no change")
((Eps,[("0","00"),("001","10"),("1","110"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("001","101"),("1","10"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("001","11"),("1","010"),("111","1")],Eps),"no change")
((Eps,[("0","00"),("001","11"),("1","011"),("111","1")],Eps),"no change")
((Eps,[("0","00"),("001","11"),("1","110"),("111","1")],Eps),"no change")
((Eps,[("0","00"),("001","11"),("10","001"),("111","1")],Eps),"no change")
((Eps,[("0","00"),("001","11"),("10","010"),("111","1")],Eps),"no change")
((Eps,[("0","00"),("001","110"),("011","1"),("1","10")],Eps),"no change")
((Eps,[("0","00"),("001","110"),("011","1"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("001","110"),("1","10"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("001","110"),("10","010"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("001","111"),("011","1"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("001","111"),("101","1"),("11","110")],Eps),"no change")
((Eps,[("0","00"),("01","001"),("011","1"),("10","011")],Eps),"no change")
((Eps,[("0","00"),("01","010"),("011","1"),("10","011")],Eps),"no change")
((Eps,[("0","00"),("01","010"),("10","11"),("111","1")],Eps),"no change")
((Eps,[("0","00"),("01","011"),("011","1"),("1","10")],Eps),"no change")
((Eps,[("0","00"),("01","101"),("1","0"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("01","101"),("11","011"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("01","110"),("011","1"),("1","01")],Eps),"no change")
((Eps,[("0","00"),("01","110"),("011","1"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("01","110"),("1","01"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("01","110"),("1","010"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("01","110"),("1","10"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("01","111"),("011","1"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("010","011"),("011","1"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("010","11"),("011","1"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("010","11"),("1","101"),("111","1")],Eps),"no change")
((Eps,[("0","00"),("010","11"),("1","101"),("111","11")],Eps),"no change")
((Eps,[("0","00"),("010","111"),("011","1"),("110","1")],Eps),"no change")
((Eps,[("0","00"),("010","111"),("1","101"),("111","1")],Eps),"no change")
((Eps,[("0","00"),("010","111"),("1","101"),("111","11")],Eps),"no change")
((Eps,[("0","00"),("011","1"),("1","0"),("1","111")],Eps),"no change")
((Eps,[("0","00"),("011","1"),("1","10"),("1","111")],Eps),"no change")
((Eps,[("0","00"),("011","1"),("1","111"),("111","0")],Eps),"no change")
((Eps,[("0","00"),("011","1"),("1","111"),("111","011")],Eps),"no change")
((Eps,[("0","00"),("011","111"),("1","011"),("111","1")],Eps),"no change")
((Eps,[("0","000"),("0","001"),("001","0"),("01","1")],Eps),(Top "0",[("0","000"),("0","001"),("010","0"),("10","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","001"),("001","11"),("011","0")],Eps),(Top "0",[("0","000"),("0","001"),("010","11"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","001"),("01","0"),("010","1")],Eps),(Top "0",[("0","000"),("0","001"),("10","0"),("100","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","001"),("01","1"),("110","0")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("001","0"),("011","100")],Eps),(Top "0",[("0","000"),("0","01"),("010","0"),("110","100")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","01"),("001","0"),("1","010")],Eps),(Bot "0",[("0","000"),("0","10"),("001","0"),("1","100")],Top "0"),"unknown")
((Eps,[("0","000"),("0","01"),("001","0"),("1","110")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("001","0"),("10","000")],Eps),(Bot "0",[("0","000"),("0","10"),("001","0"),("10","000")],Top "0"),"unknown")
((Eps,[("0","000"),("0","01"),("001","0"),("10","11")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("001","0"),("100","000")],Eps),(Bot "0",[("0","000"),("0","10"),("001","0"),("100","000")],Top "0"),"unknown")
((Eps,[("0","000"),("0","01"),("001","0"),("100","010")],Eps),(Bot "0",[("0","000"),("0","10"),("001","0"),("100","100")],Top "0"),"unknown")
((Eps,[("0","000"),("0","01"),("001","0"),("100","110")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("001","0"),("101","000")],Eps),(Bot "0",[("0","000"),("0","10"),("001","0"),("101","000")],Top "0"),"unknown")
((Eps,[("0","000"),("0","01"),("001","0"),("101","11")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("001","0"),("11","10")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("001","0"),("11","100")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("001","0"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("001","0"),("110","100")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("001","0"),("110","111")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("001","0"),("111","1")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("001","011"),("100","0")],Eps),(Bot "0",[("0","000"),("0","10"),("001","110"),("100","0")],Top "0"),"unknown")
((Eps,[("0","000"),("0","01"),("001","101"),("100","0")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("001","11"),("100","0")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("001","110"),("011","0")],Eps),(Top "0",[("0","000"),("0","01"),("010","110"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","01"),("01","0"),("011","1")],Eps),(Top "0",[("0","000"),("0","01"),("10","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","01"),("01","011"),("100","0")],Eps),(Bot "0",[("0","000"),("0","10"),("01","110"),("100","0")],Top "0"),"unknown")
((Eps,[("0","000"),("0","01"),("01","100"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("01","101"),("100","0")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("01","11"),("100","0")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("01","11"),("110","0")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("010","0"),("011","1")],Eps),(Top "0",[("0","000"),("0","01"),("100","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","01"),("010","0"),("011","10")],Eps),(Top "0",[("0","000"),("0","01"),("100","0"),("110","10")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","01"),("010","0"),("011","100")],Eps),(Top "0",[("0","000"),("0","01"),("100","0"),("110","100")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","01"),("010","0"),("11","100")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("010","0"),("111","1")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("010","011"),("110","0")],Eps),(Bot "0",[("0","000"),("0","10"),("010","110"),("110","0")],Top "0"),"unknown")
((Eps,[("0","000"),("0","01"),("010","1"),("011","0")],Eps),(Top "0",[("0","000"),("0","01"),("100","1"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","01"),("010","101"),("100","0")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("011","1"),("101","0")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("011","10"),("100","0")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("011","100"),("100","0")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("011","111"),("100","0")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("1","001"),("100","0")],Eps),(Bot "0",[("0","000"),("0","10"),("1","010"),("100","0")],Top "0"),"unknown")
((Eps,[("0","000"),("0","01"),("1","011"),("100","0")],Eps),(Bot "0",[("0","000"),("0","10"),("1","110"),("100","0")],Top "0"),"unknown")
((Eps,[("0","000"),("0","01"),("1","100"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("1","101"),("100","0")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("1","111"),("100","0")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("10","101"),("100","0")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("10","11"),("110","0")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("100","0"),("101","001")],Eps),(Bot "0",[("0","000"),("0","10"),("100","0"),("101","010")],Top "0"),"unknown")
((Eps,[("0","000"),("0","01"),("100","0"),("101","011")],Eps),(Bot "0",[("0","000"),("0","10"),("100","0"),("101","110")],Top "0"),"unknown")
((Eps,[("0","000"),("0","01"),("100","0"),("101","11")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("100","0"),("101","110")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("100","0"),("11","10")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("100","0"),("11","100")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("100","0"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("100","0"),("110","100")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("100","0"),("111","1")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("100","011"),("110","0")],Eps),(Bot "0",[("0","000"),("0","10"),("100","110"),("110","0")],Top "0"),"unknown")
((Eps,[("0","000"),("0","01"),("100","11"),("110","0")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("101","0"),("101","11")],Eps),"no change")
((Eps,[("0","000"),("0","01"),("101","100"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("0","010"),("001","11"),("011","0")],Eps),(Top "0",[("0","000"),("0","010"),("010","11"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","010"),("001","11"),("111","1")],Eps),"no change")
((Eps,[("0","000"),("0","010"),("01","1"),("011","10")],Eps),(Top "0",[("0","000"),("0","010"),("10","1"),("110","10")],Bot "0"),"no valid position")
((Eps,[("0","000"),("0","010"),("01","1"),("110","00")],Eps),"no change")
((Eps,[("0","000"),("0","010"),("010","00"),("010","1")],Eps),(Top "0",[("0","000"),("0","010"),("100","00"),("100","1")],Bot "0"),"no valid position")
((Eps,[("0","000"),("0","011"),("001","0"),("011","01")],Eps),(Eps,[("0","000"),("0","110"),("010","0"),("110","10")],Eps),"unknown")
((Eps,[("0","000"),("0","011"),("001","0"),("10","1")],Eps),"no change")
((Eps,[("0","000"),("0","011"),("01","0"),("011","1")],Eps),(Top "0",[("0","000"),("0","011"),("10","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","011"),("01","0"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("0","011"),("01","1"),("011","0")],Eps),(Top "0",[("0","000"),("0","011"),("10","1"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","011"),("01","1"),("10","0")],Eps),"no change")
((Eps,[("0","000"),("0","011"),("01","1"),("101","0")],Eps),"no change")
((Eps,[("0","000"),("0","011"),("01","1"),("11","10")],Eps),"no change")
((Eps,[("0","000"),("0","011"),("010","0"),("011","1")],Eps),(Top "0",[("0","000"),("0","011"),("100","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","011"),("010","0"),("011","10")],Eps),(Top "0",[("0","000"),("0","011"),("100","0"),("110","10")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","011"),("011","1"),("101","0")],Eps),"no change")
((Eps,[("0","000"),("0","011"),("011","1"),("101","10")],Eps),"no change")
((Eps,[("0","000"),("0","011"),("011","10"),("100","0")],Eps),"no change")
((Eps,[("0","000"),("0","011"),("10","1"),("11","01")],Eps),"no change")
((Eps,[("0","000"),("0","011"),("100","0"),("110","01")],Eps),(Bot "0",[("0","000"),("0","110"),("100","0"),("110","10")],Top "0"),"unknown")
((Eps,[("0","000"),("0","011"),("100","0"),("110","10")],Eps),"no change")
((Eps,[("0","000"),("0","011"),("101","1"),("110","10")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("000","1"),("001","0")],Eps),(Top "00",[("0","000"),("0","1"),("000","1"),("100","0")],Bot "00"),"unknown")
((Eps,[("0","000"),("0","1"),("001","0"),("001","000")],Eps),(Top "00",[("0","000"),("0","1"),("100","0"),("100","000")],Bot "00"),"unknown")
((Eps,[("0","000"),("0","1"),("001","0"),("001","01")],Eps),(Top "00",[("0","000"),("0","1"),("100","0"),("100","01")],Bot "00"),"unknown")
((Eps,[("0","000"),("0","1"),("001","0"),("001","010")],Eps),(Top "00",[("0","000"),("0","1"),("100","0"),("100","010")],Bot "00"),"unknown")
((Eps,[("0","000"),("0","1"),("001","0"),("001","10")],Eps),(Top "00",[("0","000"),("0","1"),("100","0"),("100","10")],Bot "00"),"unknown")
((Eps,[("0","000"),("0","1"),("001","0"),("01","000")],Eps),(Top "0",[("0","000"),("0","1"),("010","0"),("10","000")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","1"),("001","0"),("01","1")],Eps),(Top "0",[("0","000"),("0","1"),("010","0"),("10","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","1"),("001","0"),("01","10")],Eps),(Top "0",[("0","000"),("0","1"),("010","0"),("10","10")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","1"),("001","0"),("01","101")],Eps),(Top "0",[("0","000"),("0","1"),("010","0"),("10","101")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","1"),("001","0"),("010","000")],Eps),(Top "0",[("0","000"),("0","1"),("010","0"),("100","000")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","1"),("001","0"),("010","1")],Eps),(Top "0",[("0","000"),("0","1"),("010","0"),("100","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","1"),("001","0"),("010","101")],Eps),(Top "0",[("0","000"),("0","1"),("010","0"),("100","101")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","1"),("001","0"),("011","000")],Eps),(Top "0",[("0","000"),("0","1"),("010","0"),("110","000")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","1"),("001","0"),("011","101")],Eps),(Top "0",[("0","000"),("0","1"),("010","0"),("110","101")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","1"),("001","0"),("011","11")],Eps),(Top "0",[("0","000"),("0","1"),("010","0"),("110","11")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","1"),("001","0"),("011","110")],Eps),(Top "0",[("0","000"),("0","1"),("010","0"),("110","110")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","1"),("001","0"),("1","000")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("1","111")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("10","000")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("10","011")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("10","101")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("10","11")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("10","110")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("100","000")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("100","101")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("100","11")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("100","110")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("101","000")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("101","011")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("101","10")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("101","11")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("101","110")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("11","000")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("11","10")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("11","110")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("11","111")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("110","000")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("110","101")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("110","111")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("111","000")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("111","10")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("111","101")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","0"),("111","110")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("001","00"),("101","0")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("01","0"),("010","1")],Eps),(Top "0",[("0","000"),("0","1"),("10","0"),("100","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","1"),("01","110"),("101","0")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("010","01"),("101","0")],Eps),"no change")
((Eps,[("0","000"),("0","1"),("101","0"),("11","011")],Eps),"no change")
((Eps,[("0","000"),("0","101"),("001","0"),("01","1")],Eps),(Top "0",[("0","000"),("0","101"),("010","0"),("10","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","101"),("001","0"),("01","10")],Eps),(Top "0",[("0","000"),("0","101"),("010","0"),("10","10")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","101"),("001","0"),("010","1")],Eps),(Top "0",[("0","000"),("0","101"),("010","0"),("100","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","101"),("001","0"),("010","10")],Eps),(Top "0",[("0","000"),("0","101"),("010","0"),("100","10")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","101"),("001","0"),("10","1")],Eps),"no change")
((Eps,[("0","000"),("0","101"),("001","0"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("0","101"),("001","10"),("010","0")],Eps),(Top "0",[("0","000"),("0","101"),("010","10"),("100","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","101"),("01","0"),("010","1")],Eps),(Top "0",[("0","000"),("0","101"),("10","0"),("100","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","101"),("01","1"),("010","0")],Eps),(Top "0",[("0","000"),("0","101"),("10","1"),("100","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","101"),("01","1"),("011","01")],Eps),(Top "0",[("0","000"),("0","101"),("10","1"),("110","01")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","101"),("01","1"),("011","10")],Eps),(Top "0",[("0","000"),("0","101"),("10","1"),("110","10")],Bot "0"),"no valid position")
((Eps,[("0","000"),("0","101"),("01","1"),("11","10")],Eps),"no change")
((Eps,[("0","000"),("0","101"),("01","1"),("111","0")],Eps),"no change")
((Eps,[("0","000"),("0","101"),("011","1"),("1","01")],Eps),"no change")
((Eps,[("0","000"),("0","11"),("001","0"),("011","01")],Eps),(Top "0",[("0","000"),("0","11"),("010","0"),("110","01")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","11"),("001","0"),("011","010")],Eps),(Top "0",[("0","000"),("0","11"),("010","0"),("110","010")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","11"),("001","0"),("011","1")],Eps),(Top "0",[("0","000"),("0","11"),("010","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","11"),("001","0"),("011","10")],Eps),(Top "0",[("0","000"),("0","11"),("010","0"),("110","10")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","11"),("001","0"),("10","1")],Eps),"no change")
((Eps,[("0","000"),("0","11"),("001","0"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("0","11"),("001","0"),("11","01")],Eps),"no change")
((Eps,[("0","000"),("0","11"),("001","0"),("11","10")],Eps),"no change")
((Eps,[("0","000"),("0","11"),("001","0"),("111","10")],Eps),"no change")
((Eps,[("0","000"),("0","11"),("01","0"),("011","1")],Eps),(Top "0",[("0","000"),("0","11"),("10","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","11"),("01","0"),("011","10")],Eps),(Top "0",[("0","000"),("0","11"),("10","0"),("110","10")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","11"),("010","0"),("011","1")],Eps),(Top "0",[("0","000"),("0","11"),("100","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","11"),("010","0"),("011","100")],Eps),(Top "0",[("0","000"),("0","11"),("100","0"),("110","100")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","11"),("010","0"),("11","01")],Eps),"no change")
((Eps,[("0","000"),("0","11"),("010","1"),("011","0")],Eps),(Top "0",[("0","000"),("0","11"),("100","1"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","11"),("011","0"),("011","1")],Eps),(Top "0",[("0","000"),("0","11"),("110","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","11"),("011","0"),("101","01")],Eps),"no change")
((Eps,[("0","000"),("0","11"),("011","0"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("0","11"),("011","01"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("0","11"),("011","1"),("011","10")],Eps),(Top "0",[("0","000"),("0","11"),("110","1"),("110","10")],Bot "0"),"unknown")
((Eps,[("0","000"),("0","11"),("011","1"),("101","0")],Eps),"no change")
((Eps,[("0","000"),("0","11"),("011","1"),("11","01")],Eps),"no change")
((Eps,[("0","000"),("0","11"),("011","1"),("111","01")],Eps),"no change")
((Eps,[("0","000"),("0","11"),("011","1"),("111","10")],Eps),"no change")
((Eps,[("0","000"),("0","111"),("001","0"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("0","111"),("001","0"),("110","10")],Eps),"no change")
((Eps,[("0","000"),("0","111"),("001","0"),("111","01")],Eps),"no change")
((Eps,[("0","000"),("0","111"),("001","0"),("111","10")],Eps),"no change")
((Eps,[("0","000"),("0","111"),("01","0"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("0","111"),("010","0"),("111","01")],Eps),"no change")
((Eps,[("0","000"),("0","111"),("011","1"),("1","01")],Eps),"no change")
((Eps,[("0","000"),("0","111"),("011","1"),("111","0")],Eps),"no change")
((Eps,[("0","000"),("0","111"),("011","1"),("111","01")],Eps),"no change")
((Eps,[("0","000"),("0","111"),("011","1"),("111","10")],Eps),"no change")
((Eps,[("0","000"),("0","111"),("1","0"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("00","001"),("001","0"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("00","001"),("01","111"),("111","1")],Eps),"no change")
((Eps,[("0","000"),("00","001"),("010","00"),("010","1")],Eps),(Top "0",[("0","000"),("00","001"),("100","00"),("100","1")],Bot "0"),"no valid position")
((Eps,[("0","000"),("00","001"),("010","101"),("101","0")],Eps),"no change")
((Eps,[("0","000"),("00","001"),("10","111"),("111","1")],Eps),"no change")
((Eps,[("0","000"),("00","01"),("001","11"),("011","0")],Eps),(Top "0",[("0","000"),("00","01"),("010","11"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("00","01"),("001","11"),("110","0")],Eps),"no change")
((Eps,[("0","000"),("00","01"),("001","11"),("111","1")],Eps),"no change")
((Eps,[("0","000"),("00","01"),("01","100"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("00","01"),("010","11"),("011","0")],Eps),(Top "0",[("0","000"),("00","01"),("100","11"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("00","01"),("010","11"),("110","0")],Eps),"no change")
((Eps,[("0","000"),("00","01"),("100","11"),("101","0")],Eps),"no change")
((Eps,[("0","000"),("00","01"),("100","11"),("110","0")],Eps),"no change")
((Eps,[("0","000"),("00","01"),("100","11"),("111","1")],Eps),"no change")
((Eps,[("0","000"),("00","01"),("101","0"),("101","11")],Eps),"no change")
((Eps,[("0","000"),("00","01"),("101","10"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("00","01"),("101","11"),("111","1")],Eps),"no change")
((Eps,[("0","000"),("00","010"),("001","11"),("111","1")],Eps),"no change")
((Eps,[("0","000"),("00","010"),("01","1"),("110","00")],Eps),"no change")
((Eps,[("0","000"),("00","010"),("010","00"),("010","1")],Eps),(Top "0",[("0","000"),("00","010"),("100","00"),("100","1")],Bot "0"),"no valid position")
((Eps,[("0","000"),("00","011"),("001","0"),("011","1")],Eps),(Top "0",[("0","000"),("00","011"),("010","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("00","011"),("001","0"),("10","1")],Eps),"no change")
((Eps,[("0","000"),("00","011"),("001","0"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("00","011"),("001","01"),("100","0")],Eps),(Bot "0",[("0","000"),("00","110"),("001","10"),("100","0")],Top "0"),"unknown")
((Eps,[("0","000"),("00","011"),("001","01"),("101","0")],Eps),(Bot "0",[("0","000"),("00","110"),("001","10"),("101","0")],Top "0"),"unknown")
((Eps,[("0","000"),("00","011"),("01","1"),("100","0")],Eps),"no change")
((Eps,[("0","000"),("00","011"),("01","1"),("101","0")],Eps),"no change")
((Eps,[("0","000"),("00","011"),("01","1"),("101","01")],Eps),"no change")
((Eps,[("0","000"),("00","011"),("01","1"),("11","10")],Eps),"no change")
((Eps,[("0","000"),("00","011"),("01","10"),("011","1")],Eps),(Top "0",[("0","000"),("00","011"),("10","10"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("00","011"),("010","0"),("011","1")],Eps),(Top "0",[("0","000"),("00","011"),("100","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("00","011"),("010","0"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("00","011"),("011","10"),("111","1")],Eps),"no change")
((Eps,[("0","000"),("00","011"),("10","01"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("00","011"),("10","01"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("00","011"),("10","1"),("101","0")],Eps),"no change")
((Eps,[("0","000"),("00","011"),("10","1"),("101","01")],Eps),"no change")
((Eps,[("0","000"),("00","011"),("10","1"),("101","10")],Eps),"no change")
((Eps,[("0","000"),("00","011"),("100","0"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("00","011"),("101","01"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("00","011"),("101","1"),("11","01")],Eps),"no change")
((Eps,[("0","000"),("00","011"),("101","1"),("11","10")],Eps),"no change")
((Eps,[("0","000"),("00","011"),("101","1"),("110","01")],Eps),"no change")
((Eps,[("0","000"),("00","011"),("101","1"),("110","10")],Eps),"no change")
((Eps,[("0","000"),("00","011"),("101","111"),("111","1")],Eps),"no change")
((Eps,[("0","000"),("00","011"),("110","1"),("110","10")],Eps),"no change")
((Eps,[("0","000"),("00","011"),("110","1"),("111","10")],Eps),"no change")
((Eps,[("0","000"),("00","1"),("010","00"),("010","1")],Eps),(Top "0",[("0","000"),("00","1"),("100","00"),("100","1")],Bot "0"),"no valid position")
((Eps,[("0","000"),("00","1"),("010","00"),("011","1")],Eps),(Top "0",[("0","000"),("00","1"),("100","00"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("00","101"),("001","0"),("01","1")],Eps),(Top "0",[("0","000"),("00","101"),("010","0"),("10","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("00","101"),("001","0"),("010","1")],Eps),(Top "0",[("0","000"),("00","101"),("010","0"),("100","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("00","101"),("001","0"),("010","10")],Eps),(Top "0",[("0","000"),("00","101"),("010","0"),("100","10")],Bot "0"),"unknown")
((Eps,[("0","000"),("00","101"),("001","0"),("10","1")],Eps),"no change")
((Eps,[("0","000"),("00","101"),("001","0"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("00","101"),("001","01"),("010","0")],Eps),(Top "0",[("0","000"),("00","101"),("010","01"),("100","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("00","101"),("01","0"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("00","101"),("01","1"),("010","0")],Eps),(Top "0",[("0","000"),("00","101"),("10","1"),("100","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("00","101"),("01","1"),("11","10")],Eps),"no change")
((Eps,[("0","000"),("00","101"),("01","1"),("111","10")],Eps),"no change")
((Eps,[("0","000"),("00","101"),("010","01"),("011","0")],Eps),(Top "0",[("0","000"),("00","101"),("100","01"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("00","101"),("010","1"),("011","0")],Eps),(Top "0",[("0","000"),("00","101"),("100","1"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("00","101"),("010","1"),("11","0")],Eps),"no change")
((Eps,[("0","000"),("00","101"),("011","1"),("1","01")],Eps),"no change")
((Eps,[("0","000"),("00","101"),("011","1"),("101","10")],Eps),"no change")
((Eps,[("0","000"),("00","101"),("011","10"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("00","11"),("001","0"),("011","01")],Eps),(Top "0",[("0","000"),("00","11"),("010","0"),("110","01")],Bot "0"),"unknown")
((Eps,[("0","000"),("00","11"),("001","0"),("011","1")],Eps),(Top "0",[("0","000"),("00","11"),("010","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("00","11"),("001","0"),("011","10")],Eps),(Top "0",[("0","000"),("00","11"),("010","0"),("110","10")],Bot "0"),"unknown")
((Eps,[("0","000"),("00","11"),("001","0"),("1","10")],Eps),"no change")
((Eps,[("0","000"),("00","11"),("001","0"),("11","10")],Eps),"no change")
((Eps,[("0","000"),("00","11"),("001","0"),("110","01")],Eps),"no change")
((Eps,[("0","000"),("00","11"),("001","0"),("110","10")],Eps),"no change")
((Eps,[("0","000"),("00","11"),("001","0"),("111","10")],Eps),"no change")
((Eps,[("0","000"),("00","11"),("001","01"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("00","11"),("01","0"),("011","1")],Eps),(Top "0",[("0","000"),("00","11"),("10","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("00","11"),("01","0"),("10","1")],Eps),"no change")
((Eps,[("0","000"),("00","11"),("01","0"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("00","11"),("01","0"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("00","11"),("010","0"),("011","01")],Eps),(Top "0",[("0","000"),("00","11"),("100","0"),("110","01")],Bot "0"),"unknown")
((Eps,[("0","000"),("00","11"),("010","0"),("011","1")],Eps),(Top "0",[("0","000"),("00","11"),("100","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("00","11"),("010","0"),("011","10")],Eps),(Top "0",[("0","000"),("00","11"),("100","0"),("110","10")],Bot "0"),"unknown")
((Eps,[("0","000"),("00","11"),("010","0"),("111","01")],Eps),"no change")
((Eps,[("0","000"),("00","11"),("011","01"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("00","11"),("011","1"),("011","10")],Eps),(Top "0",[("0","000"),("00","11"),("110","1"),("110","10")],Bot "0"),"unknown")
((Eps,[("0","000"),("00","11"),("011","1"),("1","01")],Eps),"no change")
((Eps,[("0","000"),("00","11"),("011","10"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("00","11"),("101","1"),("111","01")],Eps),"no change")
((Eps,[("0","000"),("00","111"),("001","0"),("11","10")],Eps),"no change")
((Eps,[("0","000"),("00","111"),("001","0"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("00","111"),("001","0"),("110","10")],Eps),"no change")
((Eps,[("0","000"),("00","111"),("001","0"),("111","10")],Eps),"no change")
((Eps,[("0","000"),("00","111"),("01","0"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("00","111"),("01","1"),("110","0")],Eps),"no change")
((Eps,[("0","000"),("00","111"),("011","0"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("00","111"),("011","0"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("00","111"),("011","1"),("1","0")],Eps),"no change")
((Eps,[("0","000"),("00","111"),("011","1"),("1","01")],Eps),"no change")
((Eps,[("0","000"),("00","111"),("011","1"),("101","0")],Eps),"no change")
((Eps,[("0","000"),("00","111"),("011","1"),("101","01")],Eps),"no change")
((Eps,[("0","000"),("00","111"),("011","1"),("11","0")],Eps),"no change")
((Eps,[("0","000"),("00","111"),("011","1"),("11","01")],Eps),"no change")
((Eps,[("0","000"),("00","111"),("011","1"),("111","0")],Eps),"no change")
((Eps,[("0","000"),("00","111"),("011","1"),("111","10")],Eps),"no change")
((Eps,[("0","000"),("00","111"),("011","1"),("111","101")],Eps),"no change")
((Eps,[("0","000"),("00","111"),("1","0"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("000","001"),("001","0"),("01","101")],Eps),(Top "0",[("0","000"),("000","001"),("010","0"),("10","101")],Bot "0"),"no valid position")
((Eps,[("0","000"),("000","001"),("001","0"),("011","11")],Eps),(Top "0",[("0","000"),("000","001"),("010","0"),("110","11")],Bot "0"),"no valid position")
((Eps,[("0","000"),("000","001"),("001","0"),("10","011")],Eps),(Bot "0",[("0","000"),("000","010"),("001","0"),("10","110")],Top "0"),"unknown")
((Eps,[("0","000"),("000","001"),("001","0"),("10","110")],Eps),"no change")
((Eps,[("0","000"),("000","001"),("001","0"),("100","11")],Eps),"no change")
((Eps,[("0","000"),("000","001"),("001","0"),("101","01")],Eps),(Bot "0",[("0","000"),("000","010"),("001","0"),("101","10")],Top "0"),"unknown")
((Eps,[("0","000"),("000","001"),("001","0"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("000","001"),("001","0"),("11","111")],Eps),"no change")
((Eps,[("0","000"),("000","001"),("001","0"),("110","10")],Eps),"no change")
((Eps,[("0","000"),("000","001"),("001","0"),("110","11")],Eps),"no change")
((Eps,[("0","000"),("000","001"),("001","0"),("111","11")],Eps),"no change")
((Eps,[("0","000"),("000","001"),("001","11"),("011","0")],Eps),(Top "0",[("0","000"),("000","001"),("010","11"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","001"),("001","11"),("110","0")],Eps),"no change")
((Eps,[("0","000"),("000","001"),("01","0"),("010","1")],Eps),(Top "0",[("0","000"),("000","001"),("10","0"),("100","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","001"),("01","1"),("110","0")],Eps),"no change")
((Eps,[("0","000"),("000","001"),("010","11"),("110","0")],Eps),"no change")
((Eps,[("0","000"),("000","01"),("001","11"),("011","0")],Eps),(Top "0",[("0","000"),("000","01"),("010","11"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","01"),("001","110"),("011","0")],Eps),(Top "0",[("0","000"),("000","01"),("010","110"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","01"),("01","0"),("011","1")],Eps),(Top "0",[("0","000"),("000","01"),("10","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","01"),("01","0"),("011","11")],Eps),(Top "0",[("0","000"),("000","01"),("10","0"),("110","11")],Bot "0"),"no valid position")
((Eps,[("0","000"),("000","01"),("01","0"),("10","11")],Eps),"no change")
((Eps,[("0","000"),("000","01"),("01","0"),("100","110")],Eps),"no change")
((Eps,[("0","000"),("000","01"),("01","0"),("101","11")],Eps),"no change")
((Eps,[("0","000"),("000","01"),("01","0"),("110","11")],Eps),"no change")
((Eps,[("0","000"),("000","01"),("01","1"),("010","00")],Eps),(Top "0",[("0","000"),("000","01"),("10","1"),("100","00")],Bot "0"),"no valid position")
((Eps,[("0","000"),("000","01"),("01","11"),("011","0")],Eps),(Top "0",[("0","000"),("000","01"),("10","11"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","01"),("01","11"),("110","0")],Eps),"no change")
((Eps,[("0","000"),("000","01"),("010","011"),("110","0")],Eps),(Bot "0",[("0","000"),("000","10"),("010","110"),("110","0")],Top "0"),"unknown")
((Eps,[("0","000"),("000","01"),("010","11"),("110","0")],Eps),"no change")
((Eps,[("0","000"),("000","01"),("010","110"),("111","1")],Eps),"no change")
((Eps,[("0","000"),("000","01"),("011","1"),("101","0")],Eps),"no change")
((Eps,[("0","000"),("000","01"),("011","11"),("101","0")],Eps),"no change")
((Eps,[("0","000"),("000","01"),("10","11"),("110","0")],Eps),"no change")
((Eps,[("0","000"),("000","01"),("100","011"),("110","0")],Eps),(Bot "0",[("0","000"),("000","10"),("100","110"),("110","0")],Top "0"),"unknown")
((Eps,[("0","000"),("000","01"),("100","11"),("110","0")],Eps),"no change")
((Eps,[("0","000"),("000","01"),("101","0"),("101","11")],Eps),"no change")
((Eps,[("0","000"),("000","010"),("001","11"),("011","0")],Eps),(Top "0",[("0","000"),("000","010"),("010","11"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","010"),("01","101"),("010","0")],Eps),(Top "0",[("0","000"),("000","010"),("10","101"),("100","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","010"),("010","0"),("011","11")],Eps),(Top "0",[("0","000"),("000","010"),("100","0"),("110","11")],Bot "0"),"no valid position")
((Eps,[("0","000"),("000","010"),("010","00"),("010","1")],Eps),(Top "0",[("0","000"),("000","010"),("100","00"),("100","1")],Bot "0"),"no valid position")
((Eps,[("0","000"),("000","010"),("010","11"),("011","0")],Eps),(Top "0",[("0","000"),("000","010"),("100","11"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","011"),("001","0"),("011","01")],Eps),(Eps,[("0","000"),("000","110"),("010","0"),("110","10")],Eps),"unknown")
((Eps,[("0","000"),("000","011"),("001","0"),("011","1")],Eps),(Top "0",[("0","000"),("000","011"),("010","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","011"),("001","0"),("11","10")],Eps),"no change")
((Eps,[("0","000"),("000","011"),("001","0"),("110","10")],Eps),"no change")
((Eps,[("0","000"),("000","011"),("001","01"),("011","0")],Eps),(Eps,[("0","000"),("000","110"),("010","10"),("110","0")],Eps),"unknown")
((Eps,[("0","000"),("000","011"),("01","0"),("011","1")],Eps),(Top "0",[("0","000"),("000","011"),("10","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","011"),("01","0"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("000","011"),("01","1"),("011","0")],Eps),(Top "0",[("0","000"),("000","011"),("10","1"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","011"),("01","1"),("101","0")],Eps),"no change")
((Eps,[("0","000"),("000","011"),("01","1"),("101","01")],Eps),"no change")
((Eps,[("0","000"),("000","011"),("01","1"),("11","10")],Eps),"no change")
((Eps,[("0","000"),("000","011"),("010","0"),("011","01")],Eps),(Eps,[("0","000"),("000","110"),("100","0"),("110","10")],Eps),"unknown")
((Eps,[("0","000"),("000","011"),("010","0"),("011","1")],Eps),(Top "0",[("0","000"),("000","011"),("100","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","011"),("010","0"),("011","10")],Eps),(Top "0",[("0","000"),("000","011"),("100","0"),("110","10")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","011"),("010","0"),("110","01")],Eps),(Bot "0",[("0","000"),("000","110"),("010","0"),("110","10")],Top "0"),"unknown")
((Eps,[("0","000"),("000","011"),("010","01"),("011","0")],Eps),(Eps,[("0","000"),("000","110"),("100","10"),("110","0")],Eps),"unknown")
((Eps,[("0","000"),("000","011"),("010","10"),("011","0")],Eps),(Top "0",[("0","000"),("000","011"),("100","10"),("110","0")],Bot "0"),"no valid position")
((Eps,[("0","000"),("000","011"),("011","0"),("10","1")],Eps),"no change")
((Eps,[("0","000"),("000","011"),("011","0"),("10","111")],Eps),"no change")
((Eps,[("0","000"),("000","011"),("011","0"),("100","10")],Eps),"no change")
((Eps,[("0","000"),("000","011"),("011","1"),("101","10")],Eps),"no change")
((Eps,[("0","000"),("000","011"),("011","1"),("11","101")],Eps),"no change")
((Eps,[("0","000"),("000","011"),("011","10"),("100","0")],Eps),"no change")
((Eps,[("0","000"),("000","011"),("1","01"),("100","0")],Eps),(Bot "0",[("0","000"),("000","110"),("1","10"),("100","0")],Top "0"),"unknown")
((Eps,[("0","000"),("000","011"),("10","1"),("11","01")],Eps),"no change")
((Eps,[("0","000"),("000","011"),("100","0"),("110","01")],Eps),(Bot "0",[("0","000"),("000","110"),("100","0"),("110","10")],Top "0"),"unknown")
((Eps,[("0","000"),("000","011"),("100","0"),("110","10")],Eps),"no change")
((Eps,[("0","000"),("000","011"),("100","01"),("110","10")],Eps),"no change")
((Eps,[("0","000"),("000","011"),("101","1"),("11","01")],Eps),"no change")
((Eps,[("0","000"),("000","011"),("101","1"),("110","10")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("001","000")],Eps),(Top "00",[("0","000"),("000","1"),("100","0"),("100","000")],Bot "00"),"unknown")
((Eps,[("0","000"),("000","1"),("001","0"),("01","10")],Eps),(Top "0",[("0","000"),("000","1"),("010","0"),("10","10")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","1"),("001","0"),("01","101")],Eps),(Top "0",[("0","000"),("000","1"),("010","0"),("10","101")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","1"),("001","0"),("010","000")],Eps),(Top "0",[("0","000"),("000","1"),("010","0"),("100","000")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","1"),("001","0"),("010","1")],Eps),(Top "0",[("0","000"),("000","1"),("010","0"),("100","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","1"),("001","0"),("010","101")],Eps),(Top "0",[("0","000"),("000","1"),("010","0"),("100","101")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","1"),("001","0"),("011","000")],Eps),(Top "0",[("0","000"),("000","1"),("010","0"),("110","000")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","1"),("001","0"),("011","11")],Eps),(Top "0",[("0","000"),("000","1"),("010","0"),("110","11")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","1"),("001","0"),("011","110")],Eps),(Top "0",[("0","000"),("000","1"),("010","0"),("110","110")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","1"),("001","0"),("1","000")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("1","101")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("1","110")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("1","111")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("10","011")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("10","101")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("10","11")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("10","110")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("100","000")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("100","101")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("100","11")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("100","110")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("101","000")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("101","011")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("101","11")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("101","110")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("11","10")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("11","101")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("11","110")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("11","111")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("110","000")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("110","111")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("111","000")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("001","0"),("111","110")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("01","000"),("011","01")],Eps),(Top "0",[("0","000"),("000","1"),("10","000"),("110","01")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","1"),("101","0"),("11","011")],Eps),"no change")
((Eps,[("0","000"),("000","1"),("101","01"),("111","000")],Eps),"no change")
((Eps,[("0","000"),("000","101"),("001","0"),("01","1")],Eps),(Top "0",[("0","000"),("000","101"),("010","0"),("10","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","101"),("001","0"),("010","1")],Eps),(Top "0",[("0","000"),("000","101"),("010","0"),("100","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","101"),("001","0"),("10","1")],Eps),"no change")
((Eps,[("0","000"),("000","101"),("001","0"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("000","101"),("001","01"),("101","0")],Eps),"no change")
((Eps,[("0","000"),("000","101"),("01","1"),("010","0")],Eps),(Top "0",[("0","000"),("000","101"),("10","1"),("100","0")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","101"),("01","1"),("011","01")],Eps),(Top "0",[("0","000"),("000","101"),("10","1"),("110","01")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","101"),("01","1"),("011","10")],Eps),(Top "0",[("0","000"),("000","101"),("10","1"),("110","10")],Bot "0"),"no valid position")
((Eps,[("0","000"),("000","101"),("01","1"),("11","10")],Eps),"no change")
((Eps,[("0","000"),("000","101"),("01","1"),("111","0")],Eps),"no change")
((Eps,[("0","000"),("000","101"),("011","0"),("101","11")],Eps),"no change")
((Eps,[("0","000"),("000","101"),("011","10"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("000","101"),("011","11"),("101","0")],Eps),"no change")
((Eps,[("0","000"),("000","11"),("001","0"),("011","01")],Eps),(Top "0",[("0","000"),("000","11"),("010","0"),("110","01")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","11"),("001","0"),("011","010")],Eps),(Top "0",[("0","000"),("000","11"),("010","0"),("110","010")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","11"),("001","0"),("011","1")],Eps),(Top "0",[("0","000"),("000","11"),("010","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","11"),("001","0"),("011","10")],Eps),(Top "0",[("0","000"),("000","11"),("010","0"),("110","10")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","11"),("001","0"),("1","10")],Eps),"no change")
((Eps,[("0","000"),("000","11"),("001","0"),("10","1")],Eps),"no change")
((Eps,[("0","000"),("000","11"),("001","0"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("000","11"),("001","0"),("11","01")],Eps),"no change")
((Eps,[("0","000"),("000","11"),("001","0"),("11","10")],Eps),"no change")
((Eps,[("0","000"),("000","11"),("001","0"),("110","10")],Eps),"no change")
((Eps,[("0","000"),("000","11"),("001","0"),("110","100")],Eps),"no change")
((Eps,[("0","000"),("000","11"),("001","0"),("111","10")],Eps),"no change")
((Eps,[("0","000"),("000","11"),("001","01"),("11","0")],Eps),"no change")
((Eps,[("0","000"),("000","11"),("001","01"),("111","0")],Eps),"no change")
((Eps,[("0","000"),("000","11"),("01","0"),("011","1")],Eps),(Top "0",[("0","000"),("000","11"),("10","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","11"),("01","0"),("011","10")],Eps),(Top "0",[("0","000"),("000","11"),("10","0"),("110","10")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","11"),("01","0"),("10","1")],Eps),"no change")
((Eps,[("0","000"),("000","11"),("010","0"),("011","1")],Eps),(Top "0",[("0","000"),("000","11"),("100","0"),("110","1")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","11"),("010","0"),("011","10")],Eps),(Top "0",[("0","000"),("000","11"),("100","0"),("110","10")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","11"),("010","0"),("011","100")],Eps),(Top "0",[("0","000"),("000","11"),("100","0"),("110","100")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","11"),("010","0"),("11","01")],Eps),"no change")
((Eps,[("0","000"),("000","11"),("010","0"),("111","01")],Eps),"no change")
((Eps,[("0","000"),("000","11"),("010","01"),("11","0")],Eps),"no change")
((Eps,[("0","000"),("000","11"),("011","01"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("000","11"),("011","1"),("011","10")],Eps),(Top "0",[("0","000"),("000","11"),("110","1"),("110","10")],Bot "0"),"unknown")
((Eps,[("0","000"),("000","11"),("011","1"),("101","0")],Eps),"no change")
((Eps,[("0","000"),("000","11"),("011","1"),("11","10")],Eps),"no change")
((Eps,[("0","000"),("000","111"),("001","0"),("11","10")],Eps),"no change")
((Eps,[("0","000"),("000","111"),("001","0"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("000","111"),("001","0"),("110","10")],Eps),"no change")
((Eps,[("0","000"),("000","111"),("001","0"),("111","01")],Eps),"no change")
((Eps,[("0","000"),("000","111"),("001","0"),("111","10")],Eps),"no change")
((Eps,[("0","000"),("000","111"),("001","01"),("111","0")],Eps),"no change")
((Eps,[("0","000"),("000","111"),("01","0"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("000","111"),("01","1"),("110","0")],Eps),"no change")
((Eps,[("0","000"),("000","111"),("010","0"),("111","01")],Eps),"no change")
((Eps,[("0","000"),("000","111"),("010","01"),("111","0")],Eps),"no change")
((Eps,[("0","000"),("000","111"),("011","1"),("1","0")],Eps),"no change")
((Eps,[("0","000"),("000","111"),("011","1"),("1","01")],Eps),"no change")
((Eps,[("0","000"),("000","111"),("011","1"),("101","01")],Eps),"no change")
((Eps,[("0","000"),("000","111"),("011","1"),("11","10")],Eps),"no change")
((Eps,[("0","000"),("000","111"),("011","1"),("11","101")],Eps),"no change")
((Eps,[("0","000"),("000","111"),("011","1"),("111","0")],Eps),"no change")
((Eps,[("0","000"),("000","111"),("011","1"),("111","10")],Eps),"no change")
((Eps,[("0","000"),("000","111"),("1","0"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("000","111"),("101","1"),("11","01")],Eps),"no change")
((Eps,[("0","000"),("001","0"),("01","1"),("1","101")],Eps),"no change")
((Eps,[("0","000"),("001","0"),("01","1"),("10","101")],Eps),"no change")
((Eps,[("0","000"),("001","0"),("01","1"),("100","101")],Eps),"no change")
((Eps,[("0","000"),("001","0"),("01","10"),("100","101")],Eps),"no change")
((Eps,[("0","000"),("001","0"),("010","01"),("1","101")],Eps),"no change")
((Eps,[("0","000"),("001","0"),("010","1"),("1","101")],Eps),"no change")
((Eps,[("0","000"),("001","0"),("010","10"),("1","101")],Eps),"no change")
((Eps,[("0","000"),("001","011"),("011","1"),("1","10")],Eps),"no change")
((Eps,[("0","000"),("001","10"),("010","0"),("1","011")],Eps),"no change")
((Eps,[("0","000"),("001","101"),("1","10"),("101","1")],Eps),"no change")
((Eps,[("0","000"),("001","101"),("10","1"),("110","10")],Eps),"no change")
((Eps,[("0","000"),("001","101"),("10","111"),("111","11")],Eps),"no change")
((Eps,[("0","000"),("001","11"),("1","01"),("110","0")],Eps),"no change")
((Eps,[("0","000"),("001","110"),("011","1"),("1","01")],Eps),"no change")
((Eps,[("0","000"),("001","110"),("011","1"),("1","10")],Eps),"no change")
((Eps,[("0","000"),("01","0"),("010","1"),("1","101")],Eps),"no change")
((Eps,[("0","000"),("01","1"),("011","0"),("1","110")],Eps),"no change")
((Eps,[("0","000"),("01","1"),("1","101"),("111","0")],Eps),"no change")
((Eps,[("0","000"),("01","1"),("1","101"),("111","10")],Eps),"no change")
((Eps,[("0","000"),("01","1"),("1","110"),("11","10")],Eps),"no change")
((Eps,[("0","000"),("01","1"),("1","110"),("110","0")],Eps),"no change")
((Eps,[("0","000"),("01","1"),("1","110"),("111","0")],Eps),"no change")
((Eps,[("0","000"),("01","1"),("1","110"),("111","10")],Eps),"no change")
((Eps,[("0","000"),("01","101"),("11","011"),("110","1")],Eps),"no change")
((Eps,[("0","000"),("010","1"),("1","101"),("11","0")],Eps),"no change")
((Eps,[("0","001"),("0","01"),("101","1"),("11","10")],Eps),"no change")
((Eps,[("0","001"),("0","011"),("1","01"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("0","011"),("10","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("0","1"),("000","10"),("100","00")],Eps),"no change")
((Eps,[("0","001"),("0","1"),("001","0"),("10","010")],Eps),"no change")
((Eps,[("0","001"),("0","1"),("010","10"),("100","00")],Eps),"no change")
((Eps,[("0","001"),("0","1"),("100","00"),("101","0")],Eps),"no change")
((Eps,[("0","001"),("0","10"),("001","0"),("11","10")],Eps),"no change")
((Eps,[("0","001"),("0","10"),("011","11"),("11","0")],Eps),"no change")
((Eps,[("0","001"),("0","10"),("101","1"),("110","00")],Eps),"no change")
((Eps,[("0","001"),("0","100"),("00","011"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("0","100"),("000","01"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("0","100"),("000","11"),("011","0")],Eps),(Top "0",[("0","001"),("0","100"),("000","11"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","001"),("0","100"),("001","11"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("0","100"),("010","1"),("11","0")],Eps),"no change")
((Eps,[("0","001"),("0","100"),("010","11"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("0","100"),("011","0"),("110","11")],Eps),"no change")
((Eps,[("0","001"),("0","101"),("001","1"),("11","100")],Eps),"no change")
((Eps,[("0","001"),("0","11"),("001","01"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("0","11"),("001","1"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("0","11"),("01","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("0","11"),("10","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("0","110"),("001","1"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("0","110"),("01","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("0","110"),("10","0"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("0","111"),("1","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("0","111"),("1","01"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("00","01"),("00","010"),("10","0")],Eps),(Bot "0",[("0","010"),("00","10"),("00","100"),("10","0")],Top "0"),"unknown")
((Eps,[("0","001"),("00","01"),("001","010"),("10","0")],Eps),(Bot "0",[("0","010"),("00","10"),("001","100"),("10","0")],Top "0"),"unknown")
((Eps,[("0","001"),("00","01"),("001","011"),("10","0")],Eps),(Bot "0",[("0","010"),("00","10"),("001","110"),("10","0")],Top "0"),"unknown")
((Eps,[("0","001"),("00","01"),("001","100"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("00","01"),("001","11"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("00","01"),("001","110"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("00","01"),("01","100"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("00","01"),("01","11"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("00","01"),("01","110"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("00","01"),("010","10"),("100","00")],Eps),"no change")
((Eps,[("0","001"),("00","01"),("011","100"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("00","01"),("011","111"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("00","01"),("1","0"),("10","0")],Eps),(Bot "0",[("0","010"),("00","10"),("1","0"),("10","0")],Top "0"),"unknown")
((Eps,[("0","001"),("00","01"),("1","00"),("10","0")],Eps),(Bot "0",[("0","010"),("00","10"),("1","00"),("10","0")],Top "0"),"unknown")
((Eps,[("0","001"),("00","01"),("1","000"),("10","0")],Eps),(Bot "0",[("0","010"),("00","10"),("1","000"),("10","0")],Top "0"),"unknown")
((Eps,[("0","001"),("00","01"),("1","001"),("10","0")],Eps),(Bot "0",[("0","010"),("00","10"),("1","010"),("10","0")],Top "0"),"unknown")
((Eps,[("0","001"),("00","01"),("1","010"),("10","0")],Eps),(Bot "0",[("0","010"),("00","10"),("1","100"),("10","0")],Top "0"),"unknown")
((Eps,[("0","001"),("00","01"),("1","011"),("10","0")],Eps),(Bot "0",[("0","010"),("00","10"),("1","110"),("10","0")],Top "0"),"unknown")
((Eps,[("0","001"),("00","01"),("1","100"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("00","01"),("10","0"),("10","00")],Eps),(Bot "0",[("0","010"),("00","10"),("10","0"),("10","00")],Top "0"),"unknown")
((Eps,[("0","001"),("00","01"),("10","0"),("10","000")],Eps),(Bot "0",[("0","010"),("00","10"),("10","0"),("10","000")],Top "0"),"unknown")
((Eps,[("0","001"),("00","01"),("10","0"),("10","001")],Eps),(Bot "0",[("0","010"),("00","10"),("10","0"),("10","010")],Top "0"),"unknown")
((Eps,[("0","001"),("00","01"),("10","0"),("10","010")],Eps),(Bot "0",[("0","010"),("00","10"),("10","0"),("10","100")],Top "0"),"unknown")
((Eps,[("0","001"),("00","01"),("10","0"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("00","010"),("000","01"),("10","0")],Eps),(Bot "0",[("0","010"),("00","100"),("000","10"),("10","0")],Top "0"),"unknown")
((Eps,[("0","001"),("00","010"),("10","0"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("00","011"),("001","1"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("00","011"),("01","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("00","011"),("1","0"),("110","0")],Eps),(Bot "0",[("0","010"),("00","110"),("1","0"),("110","0")],Top "0"),"unknown")
((Eps,[("0","001"),("00","011"),("1","00"),("110","0")],Eps),(Bot "0",[("0","010"),("00","110"),("1","00"),("110","0")],Top "0"),"unknown")
((Eps,[("0","001"),("00","011"),("1","000"),("110","0")],Eps),(Bot "0",[("0","010"),("00","110"),("1","000"),("110","0")],Top "0"),"unknown")
((Eps,[("0","001"),("00","011"),("1","01"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("00","011"),("1","10"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("00","011"),("1","100"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("00","011"),("1","110"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("00","011"),("10","0"),("110","01")],Eps),(Bot "0",[("0","010"),("00","110"),("10","0"),("110","10")],Top "0"),"unknown")
((Eps,[("0","001"),("00","011"),("10","0"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("00","011"),("10","00"),("110","0")],Eps),(Bot "0",[("0","010"),("00","110"),("10","00"),("110","0")],Top "0"),"unknown")
((Eps,[("0","001"),("00","011"),("10","000"),("110","0")],Eps),(Bot "0",[("0","010"),("00","110"),("10","000"),("110","0")],Top "0"),"unknown")
((Eps,[("0","001"),("00","1"),("001","0"),("1","01")],Eps),"no change")
((Eps,[("0","001"),("00","1"),("001","00"),("1","101")],Eps),"no change")
((Eps,[("0","001"),("00","1"),("010","00"),("110","10")],Eps),"no change")
((Eps,[("0","001"),("00","1"),("011","0"),("1","01")],Eps),"no change")
((Eps,[("0","001"),("00","1"),("1","001"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("00","1"),("1","01"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("00","1"),("1","010"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("00","1"),("1","010"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("00","1"),("1","011"),("101","0")],Eps),"no change")
((Eps,[("0","001"),("00","1"),("1","011"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("00","1"),("1","101"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("00","1"),("10","00"),("110","10")],Eps),"no change")
((Eps,[("0","001"),("00","1"),("10","000"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("00","1"),("10","1"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("00","1"),("10","101"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("00","10"),("1","00"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("00","10"),("1","01"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("00","10"),("10","010"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("00","10"),("10","1"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("00","100"),("000","01"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("00","100"),("010","10"),("100","00")],Eps),"no change")
((Eps,[("0","001"),("00","101"),("1","01"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("00","101"),("1","110"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("00","101"),("10","1"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("00","11"),("001","01"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("00","11"),("001","1"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("00","11"),("01","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("00","11"),("01","000"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("00","11"),("01","011"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("00","11"),("01","110"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("00","11"),("1","000"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("00","11"),("1","01"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("00","11"),("1","010"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("00","11"),("1","011"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("00","11"),("1","011"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("00","11"),("1","101"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("00","11"),("10","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("00","11"),("10","0"),("110","01")],Eps),"no change")
((Eps,[("0","001"),("00","11"),("10","00"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("00","11"),("10","000"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("00","11"),("10","1"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("00","11"),("10","100"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("00","11"),("100","000"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("00","110"),("001","1"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("00","110"),("01","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("00","110"),("011","0"),("1","001")],Eps),"no change")
((Eps,[("0","001"),("00","110"),("011","0"),("1","011")],Eps),"no change")
((Eps,[("0","001"),("00","110"),("011","0"),("1","101")],Eps),"no change")
((Eps,[("0","001"),("00","110"),("1","01"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("00","110"),("10","0"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("00","110"),("10","1"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("00","111"),("1","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("00","111"),("1","01"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("00","111"),("1","01"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("00","111"),("1","010"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("00","111"),("1","011"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("00","111"),("1","101"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("00","111"),("10","0"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("001","00"),("1","101")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("001","000"),("1","101")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("01","011"),("11","0")],Eps),(Bot "0",[("0","010"),("000","00"),("01","110"),("11","0")],Top "0"),"unknown")
((Eps,[("0","001"),("000","00"),("01","011"),("11","00")],Eps),(Bot "0",[("0","010"),("000","00"),("01","110"),("11","00")],Top "0"),"unknown")
((Eps,[("0","001"),("000","00"),("01","011"),("11","000")],Eps),(Bot "0",[("0","010"),("000","00"),("01","110"),("11","000")],Top "0"),"unknown")
((Eps,[("0","001"),("000","00"),("01","011"),("110","0")],Eps),(Bot "0",[("0","010"),("000","00"),("01","110"),("110","0")],Top "0"),"unknown")
((Eps,[("0","001"),("000","00"),("011","00"),("10","110")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("011","000"),("10","11")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("011","010"),("1","110")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("1","110"),("101","00")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("1","110"),("101","000")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("1","110"),("101","001")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("1","110"),("110","001")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("1","110"),("110","01")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("1","110"),("110","010")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("1","110"),("111","001")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("1","110"),("111","01")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("1","110"),("111","010")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("1","110"),("111","10")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("1","110"),("111","100")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("1","110"),("111","101")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("10","01"),("101","0")],Eps),(Bot "0",[("0","010"),("000","00"),("10","10"),("101","0")],Top "0"),"unknown")
((Eps,[("0","001"),("000","00"),("10","01"),("101","00")],Eps),(Bot "0",[("0","010"),("000","00"),("10","10"),("101","00")],Top "0"),"unknown")
((Eps,[("0","001"),("000","00"),("10","01"),("101","000")],Eps),(Bot "0",[("0","010"),("000","00"),("10","10"),("101","000")],Top "0"),"unknown")
((Eps,[("0","001"),("000","00"),("10","1"),("11","00")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("10","1"),("11","000")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("10","11"),("11","0")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("10","11"),("11","00")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("10","11"),("11","000")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("10","11"),("111","00")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("10","11"),("111","000")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("10","110"),("11","000")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("10","110"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("10","110"),("111","00")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("10","110"),("111","000")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("10","111"),("11","0")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("10","111"),("11","00")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("10","111"),("11","000")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("10","111"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("10","111"),("111","00")],Eps),"no change")
((Eps,[("0","001"),("000","00"),("10","111"),("111","000")],Eps),"no change")
((Eps,[("0","001"),("000","001"),("000","10"),("100","00")],Eps),"no change")
((Eps,[("0","001"),("000","001"),("001","10"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","001"),("010","10"),("100","00")],Eps),"no change")
((Eps,[("0","001"),("000","001"),("10","0"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("000","001"),("10","0"),("100","101")],Eps),"no change")
((Eps,[("0","001"),("000","01"),("001","010"),("10","0")],Eps),(Bot "0",[("0","010"),("000","10"),("001","100"),("10","0")],Top "0"),"unknown")
((Eps,[("0","001"),("000","01"),("001","011"),("10","0")],Eps),(Bot "0",[("0","010"),("000","10"),("001","110"),("10","0")],Top "0"),"unknown")
((Eps,[("0","001"),("000","01"),("001","100"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","01"),("001","11"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","01"),("001","110"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","01"),("01","001"),("10","0")],Eps),(Bot "0",[("0","010"),("000","10"),("01","010"),("10","0")],Top "0"),"unknown")
((Eps,[("0","001"),("000","01"),("01","010"),("10","0")],Eps),(Bot "0",[("0","010"),("000","10"),("01","100"),("10","0")],Top "0"),"unknown")
((Eps,[("0","001"),("000","01"),("01","10"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","01"),("01","101"),("101","0")],Eps),"no change")
((Eps,[("0","001"),("000","01"),("01","11"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","01"),("01","110"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","01"),("010","10"),("1","0")],Eps),"no change")
((Eps,[("0","001"),("000","01"),("011","111"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","01"),("1","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("000","01"),("1","00"),("10","0")],Eps),(Bot "0",[("0","010"),("000","10"),("1","00"),("10","0")],Top "0"),"unknown")
((Eps,[("0","001"),("000","01"),("1","000"),("10","0")],Eps),(Bot "0",[("0","010"),("000","10"),("1","000"),("10","0")],Top "0"),"unknown")
((Eps,[("0","001"),("000","01"),("1","010"),("10","0")],Eps),(Bot "0",[("0","010"),("000","10"),("1","100"),("10","0")],Top "0"),"unknown")
((Eps,[("0","001"),("000","01"),("1","011"),("10","0")],Eps),(Bot "0",[("0","010"),("000","10"),("1","110"),("10","0")],Top "0"),"unknown")
((Eps,[("0","001"),("000","01"),("1","10"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","01"),("1","10"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("000","01"),("1","110"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","01"),("10","0"),("10","000")],Eps),(Bot "0",[("0","010"),("000","10"),("10","0"),("10","000")],Top "0"),"unknown")
((Eps,[("0","001"),("000","01"),("10","0"),("10","100")],Eps),"no change")
((Eps,[("0","001"),("000","01"),("10","0"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("000","01"),("10","0"),("100","101")],Eps),"no change")
((Eps,[("0","001"),("000","01"),("10","0"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("000","010"),("10","0"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("000","010"),("10","0"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("000","011"),("001","1"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","011"),("01","000"),("110","0")],Eps),(Bot "0",[("0","010"),("000","110"),("01","000"),("110","0")],Top "0"),"unknown")
((Eps,[("0","001"),("000","011"),("01","011"),("110","0")],Eps),(Bot "0",[("0","010"),("000","110"),("01","110"),("110","0")],Top "0"),"unknown")
((Eps,[("0","001"),("000","011"),("01","110"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","011"),("1","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("000","011"),("1","0"),("110","0")],Eps),(Bot "0",[("0","010"),("000","110"),("1","0"),("110","0")],Top "0"),"unknown")
((Eps,[("0","001"),("000","011"),("1","00"),("110","0")],Eps),(Bot "0",[("0","010"),("000","110"),("1","00"),("110","0")],Top "0"),"unknown")
((Eps,[("0","001"),("000","011"),("1","000"),("110","0")],Eps),(Bot "0",[("0","010"),("000","110"),("1","000"),("110","0")],Top "0"),"unknown")
((Eps,[("0","001"),("000","011"),("1","011"),("110","0")],Eps),(Bot "0",[("0","010"),("000","110"),("1","110"),("110","0")],Top "0"),"unknown")
((Eps,[("0","001"),("000","011"),("1","10"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("000","011"),("1","10"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","011"),("1","110"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","011"),("10","0"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("000","011"),("10","00"),("110","0")],Eps),(Bot "0",[("0","010"),("000","110"),("10","00"),("110","0")],Top "0"),"unknown")
((Eps,[("0","001"),("000","011"),("10","000"),("110","0")],Eps),(Bot "0",[("0","010"),("000","110"),("10","000"),("110","0")],Top "0"),"unknown")
((Eps,[("0","001"),("000","1"),("000","10"),("100","00")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("001","0"),("1","01")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("001","00"),("101","01")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("001","01"),("1","0")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("001","01"),("10","00")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("001","011"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("001","10"),("100","00")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("001","11"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("001","110"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("01","0"),("1","011")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("01","0"),("101","01")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("01","0"),("110","10")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("01","0"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("01","011"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("01","101"),("101","0")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("01","11"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("01","110"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("01","110"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("01","110"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("010","10"),("100","00")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("011","0"),("1","011")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("011","0"),("1","101")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("011","10"),("100","00")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("1","0"),("101","01")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("1","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("1","00"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("1","00"),("110","10")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("1","000"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("1","000"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("1","01"),("101","0")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("1","011"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("1","10"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("1","10"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("1","101"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("1","110"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("1","110"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("10","0"),("10","010")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("10","0"),("10","100")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("10","0"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("10","0"),("100","101")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("10","000"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("10","000"),("110","10")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("10","000"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("000","1"),("10","101"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","10"),("001","0"),("1","01")],Eps),"no change")
((Eps,[("0","001"),("000","10"),("001","011"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","10"),("001","011"),("100","00")],Eps),"no change")
((Eps,[("0","001"),("000","10"),("001","1"),("010","00")],Eps),(Top "0",[("0","001"),("000","10"),("010","1"),("100","00")],Bot "0"),"unknown")
((Eps,[("0","001"),("000","10"),("001","1"),("10","00")],Eps),"no change")
((Eps,[("0","001"),("000","10"),("001","11"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","10"),("01","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("000","10"),("01","00"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("000","10"),("01","11"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","10"),("01","11"),("100","00")],Eps),"no change")
((Eps,[("0","001"),("000","10"),("010","1"),("100","00")],Eps),"no change")
((Eps,[("0","001"),("000","10"),("010","101"),("100","00")],Eps),"no change")
((Eps,[("0","001"),("000","10"),("011","111"),("100","00")],Eps),"no change")
((Eps,[("0","001"),("000","10"),("1","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("000","10"),("1","000"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("000","10"),("1","01"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("000","10"),("10","0"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("000","10"),("10","0"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("000","10"),("10","00"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("000","10"),("100","00"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("000","10"),("100","00"),("101","11")],Eps),"no change")
((Eps,[("0","001"),("000","100"),("10","0"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("000","101"),("001","011"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","101"),("001","11"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","101"),("01","11"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","101"),("1","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("000","101"),("1","10"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("000","101"),("10","0"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("000","101"),("10","0"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("001","01"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("001","1"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("01","0"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("01","00"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("01","011"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("01","110"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("01","110"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("010","000"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("011","0"),("1","101")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("1","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("1","0"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("1","00"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("1","00"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("1","000"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("1","000"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("1","010"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("1","011"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("1","10"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("1","10"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("1","100"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("10","00"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("10","000"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("10","000"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("10","1"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("10","100"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("100","00"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","11"),("100","000"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("000","110"),("001","1"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("000","110"),("011","0"),("1","011")],Eps),"no change")
((Eps,[("0","001"),("000","110"),("1","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("000","110"),("1","01"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("000","110"),("10","0"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("000","111"),("01","0"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("000","111"),("01","110"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("000","111"),("1","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("000","111"),("1","000"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("000","111"),("1","010"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("000","111"),("10","00"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("000","111"),("10","000"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("001","0"),("001","1"),("10","010")],Eps),"no change")
((Eps,[("0","001"),("001","0"),("001","10"),("10","010")],Eps),"no change")
((Eps,[("0","001"),("001","0"),("01","1"),("1","01")],Eps),"no change")
((Eps,[("0","001"),("001","0"),("01","1"),("11","100")],Eps),"no change")
((Eps,[("0","001"),("001","0"),("1","101"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("001","00"),("001","1"),("1","101")],Eps),"no change")
((Eps,[("0","001"),("001","00"),("1","101"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("001","000"),("10","0"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("001","000"),("100","1"),("101","01")],Eps),"no change")
((Eps,[("0","001"),("001","01"),("001","11"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("001","01"),("1","0"),("101","11")],Eps),"no change")
((Eps,[("0","001"),("001","01"),("1","0"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("001","01"),("10","0"),("100","011")],Eps),(Bot "0",[("0","010"),("001","10"),("10","0"),("100","110")],Top "0"),"unknown")
((Eps,[("0","001"),("001","01"),("10","0"),("100","11")],Eps),"no change")
((Eps,[("0","001"),("001","01"),("10","0"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("001","01"),("10","0"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("001","01"),("10","1"),("110","00")],Eps),"no change")
((Eps,[("0","001"),("001","01"),("10","11"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("001","011"),("001","1"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("001","011"),("1","01"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("001","011"),("10","0"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("001","011"),("10","0"),("100","101")],Eps),"no change")
((Eps,[("0","001"),("001","011"),("10","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("001","011"),("10","1"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("001","10"),("010","00")],Eps),(Top "0",[("0","001"),("010","1"),("010","10"),("100","00")],Bot "0"),"unknown")
((Eps,[("0","001"),("001","1"),("001","101"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("001","11"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("001","110"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("01","000"),("111","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("01","010"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("01","010"),("111","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("01","11"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("01","110"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("01","110"),("10","00")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("01","110"),("11","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("010","00"),("011","10")],Eps),(Top "0",[("0","001"),("010","1"),("100","00"),("110","10")],Bot "0"),"unknown")
((Eps,[("0","001"),("001","1"),("010","00"),("100","10")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("010","00"),("101","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("010","00"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("010","00"),("111","10")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("010","00"),("111","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("010","11"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("010","110"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("011","0"),("1","010")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("011","0"),("10","001")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("011","0"),("10","010")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("011","0"),("10","101")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("011","0"),("100","000")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("011","00"),("10","000")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("011","111"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","01"),("11","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","01"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","01"),("110","000")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","01"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","01"),("111","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","010"),("101","01")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","010"),("11","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","010"),("11","00")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","010"),("11","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","010"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","010"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","010"),("111","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","011"),("101","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","011"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","10"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","10"),("111","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","101"),("11","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","101"),("11","00")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","101"),("11","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","101"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","101"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","101"),("111","00")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","101"),("111","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","110"),("101","00")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("1","110"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("10","001")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("10","011")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("10","11")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("10","110")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("100","001")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("100","011")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("100","11")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("100","110")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("101","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("101","00")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("101","000")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("101","001")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("101","010")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("101","011")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("101","11")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("101","110")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("110","000")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("110","001")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("110","01")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("110","011")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("110","111")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("111","011")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","0"),("111","110")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","00"),("101","10")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","00"),("11","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","00"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","00"),("110","000")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","00"),("110","010")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","00"),("110","10")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","00"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","00"),("111","10")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","00"),("111","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","00"),("111","110")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","000"),("11","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","000"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","000"),("110","00")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","000"),("110","000")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","000"),("110","01")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","000"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","000"),("111","00")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","000"),("111","001")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","000"),("111","10")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","000"),("111","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","01"),("101","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","010"),("101","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","010"),("101","01")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","010"),("11","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","010"),("11","00")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","010"),("11","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","010"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","010"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","010"),("111","00")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","010"),("111","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","011"),("11","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","011"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","1"),("110","000")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","100"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","101"),("11","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","101"),("11","00")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","101"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","11"),("11","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","11"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","110"),("11","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","110"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","110"),("111","00")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","110"),("111","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("10","111"),("11","100")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("100","000"),("11","10")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("100","000"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("100","000"),("110","10")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("100","01"),("101","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("100","101"),("11","0")],Eps),"no change")
((Eps,[("0","001"),("001","1"),("100","101"),("11","100")],Eps),"no change")
((Eps,[("0","001"),("001","10"),("01","0"),("1","101")],Eps),"no change")
((Eps,[("0","001"),("001","10"),("01","0"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("001","10"),("01","0"),("10","010")],Eps),"no change")
((Eps,[("0","001"),("001","10"),("01","0"),("100","00")],Eps),"no change")
((Eps,[("0","001"),("001","10"),("01","0"),("110","10")],Eps),"no change")
((Eps,[("0","001"),("001","10"),("01","0"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("001","10"),("1","001"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("001","10"),("10","0"),("101","11")],Eps),"no change")
((Eps,[("0","001"),("001","10"),("10","000"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("001","10"),("101","1"),("11","011")],Eps),"no change")
((Eps,[("0","001"),("001","100"),("010","10"),("100","00")],Eps),"no change")
((Eps,[("0","001"),("001","101"),("10","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("001","101"),("10","1"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","101"),("100","00"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("01","0"),("101","01")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("01","0"),("110","10")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("01","011"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("01","101"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("010","10"),("1","0")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("011","0"),("1","101")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("011","01"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("011","10"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("011","101"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("1","00"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("1","01"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("1","011"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("1","100"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("1","101"),("10","0")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("10","0"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("10","0"),("100","101")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("10","0"),("101","00")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("10","0"),("101","01")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("10","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("10","0"),("101","10")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("10","0"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("10","0"),("110","00")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("10","0"),("110","01")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("10","0"),("110","10")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("10","0"),("110","101")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("10","0"),("111","101")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("10","00"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("10","011"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("10","1"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","11"),("101","1"),("11","110")],Eps),"no change")
((Eps,[("0","001"),("001","110"),("01","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("001","110"),("1","01"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("001","110"),("10","0"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("001","110"),("10","1"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("001","110"),("101","1"),("11","110")],Eps),"no change")
((Eps,[("0","001"),("001","111"),("1","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("01","0"),("010","011"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("01","0"),("010","11"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("01","0"),("010","111"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("01","0"),("1","101"),("100","11")],Eps),"no change")
((Eps,[("0","001"),("01","0"),("10","11"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("01","0"),("10","11"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("01","0"),("100","01"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("01","0"),("100","11"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("01","0"),("100","110"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("01","00"),("01","1"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("01","00"),("010","10"),("101","10")],Eps),"no change")
((Eps,[("0","001"),("01","00"),("010","11"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("01","00"),("100","1"),("101","01")],Eps),"no change")
((Eps,[("0","001"),("01","00"),("100","1"),("110","10")],Eps),"no change")
((Eps,[("0","001"),("01","00"),("100","10"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("01","00"),("100","11"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("01","000"),("01","1"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("01","000"),("10","0"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("01","000"),("100","1"),("101","01")],Eps),"no change")
((Eps,[("0","001"),("01","001"),("01","1"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("01","001"),("010","1"),("11","0")],Eps),"no change")
((Eps,[("0","001"),("01","001"),("010","1"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("01","001"),("10","0"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("01","011"),("10","1"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("010","000"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("011","0"),("1","01")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("011","0"),("1","010")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("011","0"),("1","110")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("011","0"),("10","110")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("011","100"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("1","00"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("1","000"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("1","001"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("1","01"),("101","0")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("1","010"),("101","0")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("1","010"),("11","0")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("1","010"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("1","100"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("1","101"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("1","101"),("111","10")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("10","000"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("10","001"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("10","110"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("10","110"),("111","10")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("100","010"),("101","0")],Eps),"no change")
((Eps,[("0","001"),("01","1"),("11","100"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("01","101"),("011","10"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("01","101"),("1","0"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("01","101"),("100","1"),("101","0")],Eps),"no change")
((Eps,[("0","001"),("01","101"),("101","0"),("101","11")],Eps),"no change")
((Eps,[("0","001"),("01","101"),("101","0"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("01","101"),("101","01"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("01","101"),("11","011"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("01","11"),("10","0"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("01","11"),("10","0"),("100","101")],Eps),"no change")
((Eps,[("0","001"),("01","11"),("10","0"),("110","101")],Eps),"no change")
((Eps,[("0","001"),("01","11"),("10","0"),("111","01")],Eps),"no change")
((Eps,[("0","001"),("01","110"),("010","1"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("01","110"),("010","11"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("01","110"),("1","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("01","110"),("10","0"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("01","111"),("1","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("01","111"),("101","1"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("010","00"),("100","10"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("010","001"),("010","10"),("100","00")],Eps),"no change")
((Eps,[("0","001"),("010","01"),("101","1"),("11","10")],Eps),"no change")
((Eps,[("0","001"),("010","011"),("1","01"),("110","1")],Eps),"no change")
((Eps,[("0","001"),("010","011"),("10","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("010","011"),("101","1"),("11","0")],Eps),"no change")
((Eps,[("0","001"),("010","1"),("010","10"),("100","00")],Eps),"no change")
((Eps,[("0","001"),("010","1"),("011","010"),("100","00")],Eps),"no change")
((Eps,[("0","001"),("010","1"),("1","0"),("10","110")],Eps),"no change")
((Eps,[("0","001"),("010","1"),("1","0"),("101","01")],Eps),"no change")
((Eps,[("0","001"),("010","1"),("1","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("010","1"),("1","0"),("11","011")],Eps),"no change")
((Eps,[("0","001"),("010","1"),("1","0"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("010","1"),("1","000"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("010","1"),("1","01"),("11","10")],Eps),"no change")
((Eps,[("0","001"),("010","1"),("1","101"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("010","1"),("10","00"),("110","10")],Eps),"no change")
((Eps,[("0","001"),("010","1"),("100","00"),("111","10")],Eps),"no change")
((Eps,[("0","001"),("010","1"),("100","000"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("010","10"),("011","100"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("010","10"),("011","100"),("101","10")],Eps),"no change")
((Eps,[("0","001"),("010","10"),("1","0"),("101","10")],Eps),"no change")
((Eps,[("0","001"),("010","10"),("1","0"),("101","11")],Eps),"no change")
((Eps,[("0","001"),("010","10"),("1","00"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("010","10"),("1","010"),("101","10")],Eps),"no change")
((Eps,[("0","001"),("010","10"),("1","101"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("010","10"),("10","001"),("100","00")],Eps),"no change")
((Eps,[("0","001"),("010","10"),("10","11"),("11","0")],Eps),"no change")
((Eps,[("0","001"),("010","10"),("10","111"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("010","10"),("100","00"),("101","0")],Eps),"no change")
((Eps,[("0","001"),("010","10"),("100","00"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("010","10"),("100","00"),("101","10")],Eps),"no change")
((Eps,[("0","001"),("010","10"),("100","00"),("101","100")],Eps),"no change")
((Eps,[("0","001"),("010","11"),("1","00"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("010","11"),("1","001"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("010","11"),("1","01"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("010","11"),("1","010"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("010","11"),("1","10"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("010","11"),("1","10"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("010","11"),("1","10"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("010","11"),("1","100"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("010","11"),("1","101"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("010","11"),("10","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("010","11"),("10","01"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("010","11"),("10","010"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("010","11"),("10","010"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("010","11"),("10","011"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("010","11"),("10","100"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("010","11"),("100","00"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("010","110"),("1","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("010","110"),("10","0"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("010","110"),("10","1"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("010","111"),("1","10"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("010","111"),("1","101"),("111","11")],Eps),"no change")
((Eps,[("0","001"),("011","0"),("1","101"),("110","11")],Eps),"no change")
((Eps,[("0","001"),("011","0"),("10","011"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("011","0"),("10","1"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("011","10"),("10","101"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("011","11"),("1","01"),("101","10")],Eps),"no change")
((Eps,[("0","001"),("011","11"),("1","100"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("011","11"),("10","101"),("111","10")],Eps),"no change")
((Eps,[("0","001"),("011","11"),("10","110"),("11","0")],Eps),"no change")
((Eps,[("0","001"),("011","110"),("10","0"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("011","110"),("10","1"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("011","111"),("10","0"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("011","111"),("10","0"),("100","101")],Eps),"no change")
((Eps,[("0","001"),("1","0"),("10","110"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("1","0"),("100","110"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("1","0"),("100","111"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("1","000"),("10","0"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("1","01"),("100","1"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("1","01"),("100","1"),("111","00")],Eps),"no change")
((Eps,[("0","001"),("1","01"),("100","1"),("111","001")],Eps),"no change")
((Eps,[("0","001"),("1","01"),("100","11"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("1","011"),("10","0"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("1","100"),("10","0"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("1","101"),("10","1"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("1","101"),("10","1"),("111","01")],Eps),"no change")
((Eps,[("0","001"),("1","101"),("100","1"),("101","0")],Eps),"no change")
((Eps,[("0","001"),("1","101"),("100","1"),("101","00")],Eps),"no change")
((Eps,[("0","001"),("1","101"),("100","1"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("1","101"),("100","1"),("111","00")],Eps),"no change")
((Eps,[("0","001"),("1","101"),("100","1"),("111","001")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("10","00"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("10","100"),("100","1")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","011"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("100","101")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("101","0")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("101","00")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("101","000")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("101","001")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("101","01")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("101","010")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("101","011")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("101","10")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("101","100")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("101","11")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("101","110")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("11","011")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("11","110")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("110","00")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("110","011")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("110","10")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("110","100")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("110","101")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("111","0")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("111","000")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("111","011")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("111","10")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("111","100")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("111","101")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","1"),("111","110")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","101"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","101"),("101","11")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","11"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","11"),("110","01")],Eps),"no change")
((Eps,[("0","001"),("10","0"),("100","110"),("101","1")],Eps),"no change")
((Eps,[("0","001"),("10","00"),("100","1"),("101","01")],Eps),"no change")
((Eps,[("0","001"),("10","00"),("100","1"),("110","10")],Eps),"no change")
((Eps,[("0","001"),("10","01"),("100","11"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("10","011"),("100","01"),("110","0")],Eps),(Bot "0",[("0","010"),("10","110"),("100","10"),("110","0")],Top "0"),"unknown")
((Eps,[("0","001"),("10","1"),("100","011"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("10","1"),("100","11"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("10","1"),("100","110"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("10","100"),("100","1"),("110","10")],Eps),"no change")
((Eps,[("0","001"),("100","01"),("101","1"),("11","10")],Eps),"no change")
((Eps,[("0","001"),("100","1"),("101","01"),("11","00")],Eps),"no change")
((Eps,[("0","001"),("100","1"),("110","10"),("111","100")],Eps),"no change")
((Eps,[("0","001"),("100","10"),("101","1"),("11","0")],Eps),"no change")
((Eps,[("0","001"),("100","10"),("101","1"),("110","010")],Eps),"no change")
((Eps,[("0","001"),("100","101"),("101","1"),("11","0")],Eps),"no change")
((Eps,[("0","001"),("100","101"),("101","1"),("11","10")],Eps),"no change")
((Eps,[("0","001"),("100","101"),("101","1"),("11","110")],Eps),"no change")
((Eps,[("0","001"),("100","11"),("101","1"),("11","10")],Eps),"no change")
((Eps,[("0","001"),("100","11"),("11","101"),("110","0")],Eps),"no change")
((Eps,[("0","001"),("100","110"),("101","1"),("11","0")],Eps),"no change")
((Eps,[("0","001"),("100","111"),("101","1"),("11","0")],Eps),"no change")
((Eps,[("0","01"),("0","011"),("010","0"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("0","101"),("010","0"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("0","110"),("010","0"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("00","000"),("10","11"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("00","000"),("100","011"),("110","0")],Eps),(Bot "0",[("0","10"),("00","000"),("100","110"),("110","0")],Top "0"),"unknown")
((Eps,[("0","01"),("00","000"),("100","11"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("00","011"),("010","0"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("00","011"),("1","100"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("00","011"),("11","100"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("00","1"),("1","101"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("00","101"),("010","0"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("00","11"),("011","0"),("1","101")],Eps),"no change")
((Eps,[("0","01"),("00","110"),("011","0"),("1","001")],Eps),"no change")
((Eps,[("0","01"),("000","011"),("1","000"),("110","0")],Eps),(Bot "0",[("0","10"),("000","110"),("1","000"),("110","0")],Top "0"),"unknown")
((Eps,[("0","01"),("000","011"),("1","10"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("000","1"),("01","001"),("101","0")],Eps),"no change")
((Eps,[("0","01"),("000","1"),("010","0"),("10","000")],Eps),"no change")
((Eps,[("0","01"),("000","1"),("011","0"),("1","101")],Eps),"no change")
((Eps,[("0","01"),("000","1"),("1","10"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("000","1"),("1","101"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("000","1"),("10","100"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("000","11"),("011","0"),("1","101")],Eps),"no change")
((Eps,[("0","01"),("000","11"),("1","10"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("000","11"),("1","100"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("000","11"),("10","000"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("000","11"),("10","100"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("000","110"),("011","0"),("1","101")],Eps),"no change")
((Eps,[("0","01"),("001","00"),("001","1"),("1","010")],Eps),"no change")
((Eps,[("0","01"),("001","01"),("010","0"),("1","000")],Eps),(Bot "0",[("0","10"),("001","10"),("010","0"),("1","000")],Top "0"),"search_loop: Closed")
((Eps,[("0","01"),("001","01"),("1","010"),("101","0")],Eps),(Bot "0",[("0","10"),("001","10"),("1","100"),("101","0")],Top "0"),"unknown")
((Eps,[("0","01"),("001","011"),("010","0"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("001","10"),("10","00")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("01","010"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("011","0"),("1","000")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("011","0"),("1","001")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("011","0"),("1","010")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("011","0"),("1","101")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("011","0"),("10","00")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("011","00"),("1","101")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("1","000"),("11","0")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("1","000"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("1","000"),("111","0")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("1","000"),("111","100")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("1","001"),("11","0")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("1","001"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("1","001"),("111","0")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("1","10"),("110","000")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("1","101"),("11","0")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("1","101"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("10","00"),("110","000")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("10","00"),("110","010")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("10","00"),("111","0")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("10","00"),("111","00")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("10","00"),("111","10")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("10","00"),("111","100")],Eps),"no change")
((Eps,[("0","01"),("001","1"),("10","00"),("111","110")],Eps),"no change")
((Eps,[("0","01"),("001","100"),("010","0"),("1","000")],Eps),"no change")
((Eps,[("0","01"),("001","100"),("010","0"),("10","000")],Eps),"no change")
((Eps,[("0","01"),("001","11"),("011","0"),("1","101")],Eps),"no change")
((Eps,[("0","01"),("001","11"),("1","000"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("001","11"),("10","00"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("01","00"),("010","0"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("01","00"),("1","101"),("100","1")],Eps),"no change")
((Eps,[("0","01"),("01","00"),("101","1"),("111","110")],Eps),"no change")
((Eps,[("0","01"),("01","000"),("01","001"),("100","1")],Eps),"no change")
((Eps,[("0","01"),("01","000"),("010","0"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("01","001"),("010","1"),("011","0")],Eps),(Top "0",[("0","01"),("10","001"),("100","1"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","01"),("01","001"),("010","10"),("011","01")],Eps),(Top "0",[("0","01"),("10","001"),("100","10"),("110","01")],Bot "0"),"unknown")
((Eps,[("0","01"),("01","001"),("010","10"),("101","10")],Eps),"no change")
((Eps,[("0","01"),("01","010"),("010","1"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("01","011"),("010","0"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("01","1"),("010","0"),("10","000")],Eps),"no change")
((Eps,[("0","01"),("01","1"),("011","10"),("10","000")],Eps),"no change")
((Eps,[("0","01"),("01","1"),("1","000"),("110","00")],Eps),"no change")
((Eps,[("0","01"),("01","10"),("010","0"),("10","000")],Eps),"no change")
((Eps,[("0","01"),("01","100"),("101","1"),("11","10")],Eps),"no change")
((Eps,[("0","01"),("01","101"),("010","0"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("01","110"),("010","0"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("010","0"),("010","1"),("10","000")],Eps),"no change")
((Eps,[("0","01"),("010","0"),("011","10"),("1","000")],Eps),"no change")
((Eps,[("0","01"),("010","0"),("011","10"),("10","000")],Eps),"no change")
((Eps,[("0","01"),("010","0"),("011","100"),("1","000")],Eps),"no change")
((Eps,[("0","01"),("010","0"),("011","100"),("10","000")],Eps),"no change")
((Eps,[("0","01"),("010","0"),("1","000"),("100","1")],Eps),"no change")
((Eps,[("0","01"),("010","0"),("1","000"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("010","0"),("10","000"),("100","01")],Eps),(Bot "0",[("0","10"),("010","0"),("10","000"),("100","10")],Top "0"),"unknown")
((Eps,[("0","01"),("010","0"),("10","000"),("100","1")],Eps),"no change")
((Eps,[("0","01"),("010","0"),("10","000"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("010","0"),("10","011"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("010","0"),("10","101"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("010","0"),("10","110"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("010","0"),("101","000"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("010","0"),("101","011"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("010","0"),("101","100"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("010","0"),("101","111"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("010","0"),("11","001"),("11","111")],Eps),"no change")
((Eps,[("0","01"),("010","0"),("11","111"),("111","00")],Eps),"no change")
((Eps,[("0","01"),("010","0"),("11","111"),("111","001")],Eps),"no change")
((Eps,[("0","01"),("010","00"),("010","1"),("1","001")],Eps),"no change")
((Eps,[("0","01"),("010","000"),("101","1"),("11","10")],Eps),"no change")
((Eps,[("0","01"),("010","011"),("1","000"),("110","0")],Eps),(Bot "0",[("0","10"),("010","110"),("1","000"),("110","0")],Top "0"),"unknown")
((Eps,[("0","01"),("010","011"),("1","100"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("010","011"),("10","000"),("110","0")],Eps),(Bot "0",[("0","10"),("010","110"),("10","000"),("110","0")],Top "0"),"unknown")
((Eps,[("0","01"),("010","1"),("011","0"),("10","010")],Eps),"no change")
((Eps,[("0","01"),("010","1"),("1","101"),("111","0")],Eps),"no change")
((Eps,[("0","01"),("010","11"),("1","00"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("010","11"),("1","01"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("010","11"),("10","00"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("010","11"),("10","001"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("010","11"),("10","100"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("011","0"),("101","1"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("011","10"),("10","001"),("101","1")],Eps),"no change")
((Eps,[("0","01"),("011","11"),("1","100"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("011","11"),("1","100"),("111","0")],Eps),"no change")
((Eps,[("0","01"),("1","00"),("100","011"),("110","0")],Eps),(Bot "0",[("0","10"),("1","00"),("100","110"),("110","0")],Top "0"),"unknown")
((Eps,[("0","01"),("1","00"),("100","11"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("1","00"),("101","1"),("111","110")],Eps),"no change")
((Eps,[("0","01"),("1","000"),("10","11"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("1","000"),("100","011"),("110","0")],Eps),(Bot "0",[("0","10"),("1","000"),("100","110"),("110","0")],Top "0"),"unknown")
((Eps,[("0","01"),("1","001"),("10","11"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("1","001"),("100","011"),("110","0")],Eps),(Bot "0",[("0","10"),("1","010"),("100","110"),("110","0")],Top "0"),"unknown")
((Eps,[("0","01"),("1","001"),("101","0"),("101","11")],Eps),"no change")
((Eps,[("0","01"),("1","001"),("101","1"),("111","0")],Eps),"no change")
((Eps,[("0","01"),("1","001"),("101","1"),("111","01")],Eps),"no change")
((Eps,[("0","01"),("1","001"),("101","1"),("111","011")],Eps),"no change")
((Eps,[("0","01"),("1","001"),("101","1"),("111","10")],Eps),"no change")
((Eps,[("0","01"),("1","001"),("101","1"),("111","110")],Eps),"no change")
((Eps,[("0","01"),("1","100"),("100","1"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("1","100"),("101","1"),("111","0")],Eps),"no change")
((Eps,[("0","01"),("1","100"),("101","1"),("111","10")],Eps),"no change")
((Eps,[("0","01"),("1","100"),("101","1"),("111","110")],Eps),"no change")
((Eps,[("0","01"),("1","101"),("100","011"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("1","101"),("100","1"),("101","00")],Eps),"no change")
((Eps,[("0","01"),("1","101"),("100","1"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("1","101"),("100","1"),("110","00")],Eps),"no change")
((Eps,[("0","01"),("1","101"),("100","11"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("10","00"),("100","1"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("10","000"),("10","11"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("10","000"),("100","011"),("110","0")],Eps),(Bot "0",[("0","10"),("10","000"),("100","110"),("110","0")],Top "0"),"unknown")
((Eps,[("0","01"),("10","000"),("100","1"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("10","000"),("100","11"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("10","000"),("101","11"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("10","001"),("101","1"),("11","10")],Eps),"no change")
((Eps,[("0","01"),("10","001"),("101","1"),("111","0")],Eps),"no change")
((Eps,[("0","01"),("10","001"),("101","1"),("111","10")],Eps),"no change")
((Eps,[("0","01"),("10","001"),("101","1"),("111","110")],Eps),"no change")
((Eps,[("0","01"),("10","010"),("101","11"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("10","100"),("10","11"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("10","100"),("100","011"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("10","100"),("100","11"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("10","11"),("11","100"),("110","0")],Eps),"no change")
((Eps,[("0","01"),("100","10"),("101","1"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("101","0"),("101","1"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("101","1"),("101","10"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("101","1"),("11","0"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("101","1"),("11","10"),("11","100")],Eps),"no change")
((Eps,[("0","01"),("101","1"),("11","100"),("111","0")],Eps),"no change")
((Eps,[("0","01"),("101","1"),("11","100"),("111","10")],Eps),"no change")
((Eps,[("0","01"),("101","1"),("11","100"),("111","110")],Eps),"no change")
((Eps,[("0","010"),("0","011"),("001","1"),("1","00")],Eps),"no change")
((Eps,[("0","010"),("0","011"),("001","1"),("100","00")],Eps),"no change")
((Eps,[("0","010"),("0","1"),("011","0"),("1","100")],Eps),"no change")
((Eps,[("0","010"),("0","11"),("001","00"),("100","1")],Eps),"no change")
((Eps,[("0","010"),("00","000"),("001","11"),("011","0")],Eps),(Top "0",[("0","010"),("00","000"),("010","11"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("00","011"),("001","1"),("100","00")],Eps),"no change")
((Eps,[("0","010"),("00","011"),("1","100"),("110","0")],Eps),"no change")
((Eps,[("0","010"),("00","1"),("001","00"),("01","000")],Eps),(Top "0",[("0","010"),("00","1"),("010","00"),("10","000")],Bot "0"),"unknown")
((Eps,[("0","010"),("00","1"),("001","00"),("011","000")],Eps),(Top "0",[("0","010"),("00","1"),("010","00"),("110","000")],Bot "0"),"unknown")
((Eps,[("0","010"),("00","1"),("001","00"),("11","000")],Eps),"no change")
((Eps,[("0","010"),("00","1"),("001","00"),("111","000")],Eps),"no change")
((Eps,[("0","010"),("00","1"),("001","000"),("011","0")],Eps),(Top "0",[("0","010"),("00","1"),("010","000"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("00","1"),("01","001"),("011","0")],Eps),(Top "0",[("0","010"),("00","1"),("10","001"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("00","1"),("01","001"),("111","11")],Eps),"no change")
((Eps,[("0","010"),("00","1"),("01","011"),("011","0")],Eps),(Top "0",[("0","010"),("00","1"),("10","011"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("00","1"),("01","110"),("011","0")],Eps),(Top "0",[("0","010"),("00","1"),("10","110"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("00","1"),("011","0"),("1","00")],Eps),"no change")
((Eps,[("0","010"),("00","1"),("011","0"),("1","100")],Eps),"no change")
((Eps,[("0","010"),("00","1"),("1","010"),("101","0")],Eps),"no change")
((Eps,[("0","010"),("00","11"),("01","000"),("111","11")],Eps),"no change")
((Eps,[("0","010"),("00","11"),("01","001"),("111","11")],Eps),"no change")
((Eps,[("0","010"),("00","11"),("01","011"),("011","0")],Eps),(Top "0",[("0","010"),("00","11"),("10","011"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("00","11"),("01","110"),("011","0")],Eps),(Top "0",[("0","010"),("00","11"),("10","110"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("00","111"),("01","000"),("111","11")],Eps),"no change")
((Eps,[("0","010"),("00","111"),("01","001"),("111","11")],Eps),"no change")
((Eps,[("0","010"),("000","00"),("01","110"),("11","00")],Eps),"no change")
((Eps,[("0","010"),("000","00"),("01","110"),("11","000")],Eps),"no change")
((Eps,[("0","010"),("000","00"),("01","111"),("11","00")],Eps),"no change")
((Eps,[("0","010"),("000","00"),("01","111"),("11","000")],Eps),"no change")
((Eps,[("0","010"),("000","01"),("10","011"),("110","0")],Eps),(Bot "0",[("0","100"),("000","10"),("10","110"),("110","0")],Top "0"),"unknown")
((Eps,[("0","010"),("000","011"),("001","1"),("100","00")],Eps),"no change")
((Eps,[("0","010"),("000","011"),("1","00"),("110","0")],Eps),(Bot "0",[("0","100"),("000","110"),("1","00"),("110","0")],Top "0"),"unknown")
((Eps,[("0","010"),("000","011"),("1","000"),("110","0")],Eps),(Bot "0",[("0","100"),("000","110"),("1","000"),("110","0")],Top "0"),"unknown")
((Eps,[("0","010"),("000","011"),("10","000"),("110","0")],Eps),(Bot "0",[("0","100"),("000","110"),("10","000"),("110","0")],Top "0"),"unknown")
((Eps,[("0","010"),("000","1"),("001","01"),("1","0")],Eps),"no change")
((Eps,[("0","010"),("000","1"),("010","01"),("1","0")],Eps),"no change")
((Eps,[("0","010"),("000","1"),("011","0"),("1","0")],Eps),"no change")
((Eps,[("0","010"),("000","1"),("011","0"),("1","00")],Eps),"no change")
((Eps,[("0","010"),("000","1"),("011","0"),("1","000")],Eps),"no change")
((Eps,[("0","010"),("000","1"),("011","0"),("1","001")],Eps),"no change")
((Eps,[("0","010"),("000","1"),("011","01"),("1","0")],Eps),"no change")
((Eps,[("0","010"),("000","1"),("011","11"),("1","0")],Eps),"no change")
((Eps,[("0","010"),("000","1"),("1","0"),("101","01")],Eps),"no change")
((Eps,[("0","010"),("000","1"),("1","0"),("111","11")],Eps),"no change")
((Eps,[("0","010"),("000","11"),("001","00"),("100","1")],Eps),"no change")
((Eps,[("0","010"),("000","11"),("001","000"),("011","0")],Eps),(Top "0",[("0","010"),("000","11"),("010","000"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("000","11"),("01","00"),("011","0")],Eps),(Top "0",[("0","010"),("000","11"),("10","00"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("000","11"),("010","1"),("1","0")],Eps),"no change")
((Eps,[("0","010"),("000","11"),("011","0"),("1","0")],Eps),"no change")
((Eps,[("0","010"),("000","11"),("011","0"),("1","000")],Eps),"no change")
((Eps,[("0","010"),("000","11"),("1","0"),("111","11")],Eps),"no change")
((Eps,[("0","010"),("000","111"),("01","00"),("111","11")],Eps),"no change")
((Eps,[("0","010"),("000","111"),("1","0"),("111","11")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("001","1"),("11","0")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("001","1"),("111","0")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("01","000"),("100","1")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("01","11"),("100","1")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("01","110"),("100","1")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("010","000"),("100","1")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("010","11"),("100","1")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("010","110"),("100","1")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("011","000"),("100","1")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("011","110"),("100","1")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("1","000"),("100","1")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("10","000"),("100","1")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("100","000"),("100","1")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("100","1"),("101","00")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("100","1"),("101","000")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("100","1"),("101","10")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("100","1"),("101","100")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("100","1"),("101","110")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("100","1"),("11","0")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("100","1"),("11","000")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("100","1"),("11","10")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("100","1"),("11","110")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("100","1"),("110","0")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("100","1"),("110","000")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("100","1"),("110","10")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("100","1"),("111","0")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("100","1"),("111","000")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("100","1"),("111","10")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("100","1"),("111","110")],Eps),"no change")
((Eps,[("0","010"),("001","00"),("100","11"),("110","0")],Eps),"no change")
((Eps,[("0","010"),("001","000"),("001","11"),("011","0")],Eps),(Top "0",[("0","010"),("010","000"),("010","11"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("001","1"),("01","000"),("011","0")],Eps),(Top "0",[("0","010"),("010","1"),("10","000"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("001","1"),("01","010"),("11","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("01","010"),("110","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("01","010"),("111","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("01","011"),("011","0")],Eps),(Top "0",[("0","010"),("010","1"),("10","011"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("001","1"),("010","00"),("10","000")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("010","011"),("1","00")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("011","0"),("1","00")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("011","0"),("1","000")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("011","0"),("1","001")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("011","0"),("1","101")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("011","0"),("10","000")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("011","0"),("10","001")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("011","0"),("10","100")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("011","100"),("1","00")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("011","11"),("1","00")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("1","00"),("10","011")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("1","00"),("10","11")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("1","00"),("100","011")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("1","00"),("101","10")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("1","00"),("11","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("1","00"),("110","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("1","00"),("111","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("1","000"),("11","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("1","000"),("110","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("1","000"),("111","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("1","001"),("11","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("1","001"),("110","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("1","001"),("111","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("1","010"),("11","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("1","010"),("110","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("1","010"),("111","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","000"),("101","01")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","000"),("11","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","000"),("110","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","000"),("111","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","001"),("111","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","001"),("111","00")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","011"),("11","00")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","011"),("11","100")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","100"),("11","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","100"),("11","00")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","100"),("11","100")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","100"),("110","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","100"),("110","000")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","100"),("111","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","100"),("111","00")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","100"),("111","100")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","100"),("111","11")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","101"),("11","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","11"),("11","100")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","110"),("110","0")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","111"),("11","00")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("10","111"),("111","100")],Eps),"no change")
((Eps,[("0","010"),("001","1"),("100","011"),("11","0")],Eps),"no change")
((Eps,[("0","010"),("001","11"),("01","00"),("011","0")],Eps),(Top "0",[("0","010"),("010","11"),("10","00"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("001","11"),("01","000"),("011","0")],Eps),(Top "0",[("0","010"),("010","11"),("10","000"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("001","11"),("01","011"),("011","0")],Eps),(Top "0",[("0","010"),("010","11"),("10","011"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("001","11"),("01","10"),("011","0")],Eps),(Top "0",[("0","010"),("010","11"),("10","10"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("001","11"),("01","100"),("011","0")],Eps),(Top "0",[("0","010"),("010","11"),("10","100"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("001","11"),("01","100"),("111","11")],Eps),"no change")
((Eps,[("0","010"),("001","11"),("011","0"),("1","000")],Eps),"no change")
((Eps,[("0","010"),("001","11"),("011","0"),("1","001")],Eps),"no change")
((Eps,[("0","010"),("001","11"),("011","0"),("1","100")],Eps),"no change")
((Eps,[("0","010"),("001","11"),("10","011"),("110","0")],Eps),"no change")
((Eps,[("0","010"),("001","11"),("10","100"),("111","11")],Eps),"no change")
((Eps,[("0","010"),("001","111"),("01","00"),("111","11")],Eps),"no change")
((Eps,[("0","010"),("001","111"),("10","100"),("111","11")],Eps),"no change")
((Eps,[("0","010"),("01","00"),("010","11"),("011","0")],Eps),(Top "0",[("0","010"),("10","00"),("100","11"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("01","000"),("010","1"),("011","0")],Eps),(Top "0",[("0","010"),("10","000"),("100","1"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("01","10"),("010","11"),("011","0")],Eps),(Top "0",[("0","010"),("10","10"),("100","11"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("01","100"),("010","11"),("111","11")],Eps),"no change")
((Eps,[("0","010"),("01","110"),("010","1"),("011","0")],Eps),(Top "0",[("0","010"),("10","110"),("100","1"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("01","110"),("010","10"),("011","0")],Eps),(Top "0",[("0","010"),("10","110"),("100","10"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("01","110"),("010","11"),("011","0")],Eps),(Top "0",[("0","010"),("10","110"),("100","11"),("110","0")],Bot "0"),"unknown")
((Eps,[("0","010"),("010","00"),("010","1"),("1","000")],Eps),"no change")
((Eps,[("0","010"),("010","00"),("010","1"),("1","010")],Eps),"no change")
((Eps,[("0","010"),("010","1"),("011","0"),("1","000")],Eps),"no change")
((Eps,[("0","010"),("010","1"),("011","0"),("1","100")],Eps),"no change")
((Eps,[("0","010"),("010","1"),("011","01"),("101","001")],Eps),"no change")
((Eps,[("0","010"),("010","1"),("1","00"),("101","010")],Eps),"no change")
((Eps,[("0","010"),("010","1"),("1","00"),("11","0")],Eps),"no change")
((Eps,[("0","010"),("010","101"),("1","00"),("101","0")],Eps),"no change")
((Eps,[("0","010"),("010","11"),("011","0"),("1","010")],Eps),"no change")
((Eps,[("0","011"),("00","001"),("001","1"),("11","0")],Eps),"no change")
((Eps,[("0","011"),("00","01"),("001","1"),("11","0")],Eps),"no change")
((Eps,[("0","011"),("00","010"),("001","1"),("11","0")],Eps),"no change")
((Eps,[("0","011"),("00","1"),("011","0"),("1","001")],Eps),"no change")
((Eps,[("0","011"),("00","1"),("1","001"),("101","0")],Eps),"no change")
((Eps,[("0","011"),("00","10"),("001","1"),("11","0")],Eps),"no change")
((Eps,[("0","011"),("00","10"),("001","1"),("110","00")],Eps),"no change")
((Eps,[("0","011"),("00","100"),("001","1"),("11","0")],Eps),"no change")
((Eps,[("0","011"),("00","100"),("010","1"),("1","0")],Eps),"no change")
((Eps,[("0","011"),("00","110"),("001","1"),("1","00")],Eps),"no change")
((Eps,[("0","011"),("00","110"),("001","1"),("11","0")],Eps),"no change")
((Eps,[("0","011"),("000","00"),("01","00"),("11","001")],Eps),(Bot "0",[("0","110"),("000","00"),("01","00"),("11","010")],Top "0"),"unknown")
((Eps,[("0","011"),("000","00"),("01","000"),("11","001")],Eps),(Bot "0",[("0","110"),("000","00"),("01","000"),("11","010")],Top "0"),"unknown")
((Eps,[("0","011"),("000","00"),("10","00"),("11","001")],Eps),(Bot "0",[("0","110"),("000","00"),("10","00"),("11","010")],Top "0"),"unknown")
((Eps,[("0","011"),("000","00"),("10","00"),("11","010")],Eps),(Bot "0",[("0","110"),("000","00"),("10","00"),("11","100")],Top "0"),"unknown")
((Eps,[("0","011"),("000","00"),("10","000"),("11","001")],Eps),(Bot "0",[("0","110"),("000","00"),("10","000"),("11","010")],Top "0"),"unknown")
((Eps,[("0","011"),("000","00"),("10","000"),("11","010")],Eps),(Bot "0",[("0","110"),("000","00"),("10","000"),("11","100")],Top "0"),"unknown")
((Eps,[("0","011"),("000","010"),("001","1"),("1","00")],Eps),"no change")
((Eps,[("0","011"),("000","1"),("010","10"),("1","0")],Eps),"no change")
((Eps,[("0","011"),("000","1"),("011","0"),("1","001")],Eps),"no change")
((Eps,[("0","011"),("000","1"),("100","00"),("11","10")],Eps),"no change")
((Eps,[("0","011"),("000","1"),("11","0"),("110","10")],Eps),"no change")
((Eps,[("0","011"),("000","1"),("11","00"),("110","10")],Eps),"no change")
((Eps,[("0","011"),("000","10"),("001","1"),("110","00")],Eps),"no change")
((Eps,[("0","011"),("000","110"),("001","1"),("1","00")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("001","10"),("110","00")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("01","010"),("1","00")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("01","010"),("11","100")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("01","100"),("1","00")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("01","110"),("1","00")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("01","110"),("11","0")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("010","00"),("1","010")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("011","0"),("1","010")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("011","010"),("1","00")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("011","010"),("11","0")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("011","10"),("110","00")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("1","00"),("10","010")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("1","00"),("10","100")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("1","00"),("100","10")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("1","00"),("100","110")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("1","00"),("101","010")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("1","00"),("101","10")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("1","00"),("101","100")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("1","00"),("101","110")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("1","00"),("110","00")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("1","00"),("110","010")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("1","00"),("111","0")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("1","00"),("111","010")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("1","00"),("111","10")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("1","00"),("111","110")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("1","000"),("100","00")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("1","000"),("11","100")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("1","000"),("111","0")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("1","010"),("100","00")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("1","010"),("111","00")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("10","000"),("11","100")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("10","000"),("110","00")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("10","010"),("11","100")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("10","100"),("11","100")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("10","110"),("11","100")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("100","00"),("11","000")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("100","00"),("11","010")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("100","00"),("11","110")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("100","00"),("110","00")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("100","00"),("110","010")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("100","000"),("11","100")],Eps),"no change")
((Eps,[("0","011"),("001","1"),("100","110"),("11","100")],Eps),"no change")
((Eps,[("0","011"),("001","11"),("101","01"),("11","0")],Eps),"no change")
((Eps,[("0","011"),("01","001"),("010","1"),("011","01")],Eps),(Top "0",[("0","011"),("10","001"),("100","1"),("110","01")],Bot "0"),"unknown")
((Eps,[("0","011"),("01","001"),("010","1"),("1","0")],Eps),"no change")
((Eps,[("0","011"),("01","001"),("010","10"),("011","01")],Eps),(Top "0",[("0","011"),("10","001"),("100","10"),("110","01")],Bot "0"),"unknown")
((Eps,[("0","011"),("010","00"),("010","1"),("1","001")],Eps),"no change")
((Eps,[("0","011"),("010","01"),("1","0"),("101","01")],Eps),(Bot "0",[("0","110"),("010","10"),("1","0"),("101","10")],Top "0"),"unknown")
((Eps,[("0","011"),("010","01"),("1","00"),("101","01")],Eps),(Bot "0",[("0","110"),("010","10"),("1","00"),("101","10")],Top "0"),"unknown")
((Eps,[("0","011"),("010","01"),("1","000"),("101","01")],Eps),(Bot "0",[("0","110"),("010","10"),("1","000"),("101","10")],Top "0"),"unknown")
((Eps,[("0","011"),("010","01"),("1","100"),("101","01")],Eps),"no change")
((Eps,[("0","011"),("010","1"),("011","11"),("1","0")],Eps),"no change")
((Eps,[("0","011"),("010","1"),("1","0"),("101","01")],Eps),"no change")
((Eps,[("0","011"),("010","10"),("101","10"),("11","01")],Eps),"no change")
((Eps,[("0","011"),("1","0"),("100","00"),("100","1")],Eps),"no change")
((Eps,[("0","011"),("101","11"),("11","0"),("110","10")],Eps),"no change")
((Eps,[("0","101"),("001","00"),("010","10"),("1","010")],Eps),"no change")
((Eps,[("0","101"),("011","11"),("101","10"),("11","101")],Eps),(Bot "1",[("0","011"),("011","11"),("101","01"),("11","011")],Top "1"),"no valid position")
((Eps,[("00","010"),("01","001"),("010","10"),("011","01")],Eps),(Top "0",[("00","010"),("10","001"),("100","10"),("110","01")],Bot "0"),"unknown")