start_state([[1]]).
delta([[1, 6]],a,[[1, 2]]).
delta([[1, 6]],b,[[1]]).
delta([[1, 5, 6]],a,[[1, 2, 6]]).
delta([[1, 5, 6]],b,[[1, 6]]).
delta([[1, 5]],a,[[1, 2, 6]]).
delta([[1, 5]],b,[[1, 6]]).
delta([[1, 4, 6]],a,[[1, 2, 5]]).
delta([[1, 4, 6]],b,[[1, 5]]).
delta([[1, 4, 5, 6]],a,[[1, 2, 5, 6]]).
delta([[1, 4, 5, 6]],b,[[1, 5, 6]]).
delta([[1, 4, 5]],a,[[1, 2, 5, 6]]).
delta([[1, 4, 5]],b,[[1, 5, 6]]).
delta([[1, 4]],a,[[1, 2, 5]]).
delta([[1, 4]],b,[[1, 5]]).
delta([[1, 3, 6]],a,[[1, 2, 4]]).
delta([[1, 3, 6]],b,[[1, 4]]).
delta([[1, 3, 5, 6]],a,[[1, 2, 4, 6]]).
delta([[1, 3, 5, 6]],b,[[1, 4, 6]]).
delta([[1, 3, 5]],a,[[1, 2, 4, 6]]).
delta([[1, 3, 5]],b,[[1, 4, 6]]).
delta([[1, 3, 4, 6]],a,[[1, 2, 4, 5]]).
delta([[1, 3, 4, 6]],b,[[1, 4, 5]]).
delta([[1, 3, 4, 5, 6]],a,[[1, 2, 4, 5, 6]]).
delta([[1, 3, 4, 5, 6]],b,[[1, 4, 5, 6]]).
delta([[1, 3, 4, 5]],a,[[1, 2, 4, 5, 6]]).
delta([[1, 3, 4, 5]],b,[[1, 4, 5, 6]]).
delta([[1, 3, 4]],a,[[1, 2, 4, 5]]).
delta([[1, 3, 4]],b,[[1, 4, 5]]).
delta([[1, 3]],a,[[1, 2, 4]]).
delta([[1, 3]],b,[[1, 4]]).
delta([[1, 2, 6]],a,[[1, 2, 3]]).
delta([[1, 2, 6]],b,[[1, 3]]).
delta([[1, 2, 5, 6]],a,[[1, 2, 3, 6]]).
delta([[1, 2, 5, 6]],b,[[1, 3, 6]]).
delta([[1, 2, 5]],a,[[1, 2, 3, 6]]).
delta([[1, 2, 5]],b,[[1, 3, 6]]).
delta([[1, 2, 4, 6]],a,[[1, 2, 3, 5]]).
delta([[1, 2, 4, 6]],b,[[1, 3, 5]]).
delta([[1, 2, 4, 5, 6]],a,[[1, 2, 3, 5, 6]]).
delta([[1, 2, 4, 5, 6]],b,[[1, 3, 5, 6]]).
delta([[1, 2, 4, 5]],a,[[1, 2, 3, 5, 6]]).
delta([[1, 2, 4, 5]],b,[[1, 3, 5, 6]]).
delta([[1, 2, 4]],a,[[1, 2, 3, 5]]).
delta([[1, 2, 4]],b,[[1, 3, 5]]).
delta([[1, 2, 3, 6]],a,[[1, 2, 3, 4]]).
delta([[1, 2, 3, 6]],b,[[1, 3, 4]]).
delta([[1, 2, 3, 5, 6]],a,[[1, 2, 3, 4, 6]]).
delta([[1, 2, 3, 5, 6]],b,[[1, 3, 4, 6]]).
delta([[1, 2, 3, 5]],a,[[1, 2, 3, 4, 6]]).
delta([[1, 2, 3, 5]],b,[[1, 3, 4, 6]]).
delta([[1, 2, 3, 4, 6]],a,[[1, 2, 3, 4, 5]]).
delta([[1, 2, 3, 4, 6]],b,[[1, 3, 4, 5]]).
delta([[1, 2, 3, 4, 5, 6]],a,[[1, 2, 3, 4, 5, 6]]).
delta([[1, 2, 3, 4, 5, 6]],b,[[1, 3, 4, 5, 6]]).
delta([[1, 2, 3, 4, 5]],a,[[1, 2, 3, 4, 5, 6]]).
delta([[1, 2, 3, 4, 5]],b,[[1, 3, 4, 5, 6]]).
delta([[1, 2, 3, 4]],a,[[1, 2, 3, 4, 5]]).
delta([[1, 2, 3, 4]],b,[[1, 3, 4, 5]]).
delta([[1, 2, 3]],a,[[1, 2, 3, 4]]).
delta([[1, 2, 3]],b,[[1, 3, 4]]).
delta([[1, 2]],a,[[1, 2, 3]]).
delta([[1, 2]],b,[[1, 3]]).
delta([[1]],a,[[1, 2]]).
delta([[1]],b,[[1]]).
final_state([[1, 6]]).
final_state([[1, 5, 6]]).
final_state([[1, 4, 6]]).
final_state([[1, 4, 5, 6]]).
final_state([[1, 3, 6]]).
final_state([[1, 3, 5, 6]]).
final_state([[1, 3, 4, 6]]).
final_state([[1, 3, 4, 5, 6]]).
final_state([[1, 2, 6]]).
final_state([[1, 2, 5, 6]]).
final_state([[1, 2, 4, 6]]).
final_state([[1, 2, 4, 5, 6]]).
final_state([[1, 2, 3, 6]]).
final_state([[1, 2, 3, 5, 6]]).
final_state([[1, 2, 3, 4, 6]]).
final_state([[1, 2, 3, 4, 5, 6]]).
