000           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 0           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 0, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000           tz.transition 0000, 00, :o0, 00000000           tz.transition 0000, 0, :o0, 00000000           tz.transition 0000, 00, :o0, 00000000           tz.transition 0000, 0, :o0, 00000000           tz.transition 0000, 00, :o0, 00000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 000000000           tz.transition 0000, 0, :o0, 000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000000           tz.transition 0000, 00, :o0, 0000000000           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00           tz.transition 0000, 0, :o0, 0000000, 0           tz.transition 0000, 00, :o0, 00000000, 00         