((Eps,[("0","00001"),("0100","0"),("10000","001")],Eps),"aaababaacbaababcbaacbbaababcabaacbbaacbabcababcbbaacbacababcbccbbbcbaabaacbabcbb")
((Eps,[("0","0000"),("0","0010"),("100","0101"),("1010","01")],Eps),"bbcbcdbcdccddddddddddddddddccdccdbcdbcbcbba")
((Eps,[("0","0000"),("00","0101"),("0001","0"),("0100","10")],Eps),"cccdccdcbacdcbacdabacdabaabaaa")
((Eps,[("0","0000"),("00","011"),("0001","0"),("100","10")],Eps),"cccdccdcbacdcbacdabacdabaabaaa")
((Eps,[("0","0000"),("00","0110"),("0001","0"),("1000","10")],Eps),"cccdccdcbacdcbacdabacdabaabaaa")
((Eps,[("0","0000"),("00","0111"),("0001","0"),("1100","10")],Eps),"cccdccdcbacdcbacdabacdabaabaaa")
((Eps,[("0","0000"),("000","0011"),("1000","0"),("1100","001")],Eps),"aaabababdabdabdcbdcbdcdcdccc")
((Eps,[("0","0000"),("0000","0010"),("100","0101"),("1010","01")],Eps),"aabbcacdbdccddddddddddddccccbdbacabaa")
((Eps,[("0","0001"),("10","00"),("100","00"),("1000","01")],Eps),"aaacabaadaadaacabddbdbaadaadbddaadbddbdbddbdbddbddbdbddbdc")
((Eps,[("0","0001"),("10","001"),("100","0"),("1000","0101")],Eps),"aaaddbbbbcbaccdcadbdabbcbbdccdcbbdbdcbbcbbdcdbabbcbcdccdcbdbdbbcbbccdcdbcbcdcbdbbccdbcc")
((Eps,[("0","0001"),("10","0010"),("1000","01"),("1010","01")],Eps),"aaaccdddddddddddccdddddddaacdccdcdcdcdcdaacdaacdaccacdaccadaadaacbbaacbbacadaadaacbacadaabacabab")
((Eps,[("0","0001"),("100","0"),("1000","1"),("1100","001")],Eps),"aaabababaacabaacdacabadcdacabdcdacdcddbb")
((Eps,[("0","0110"),("00","0101"),("1","0000"),("1010","01")],Eps),"accbbbbbddddddddddddddddddbbbbcca")