\documentclass{article}
\usepackage{a4wide}
\usepackage{adjustbox}
\usepackage{fancyhdr}
\usepackage{tikz}
\usepackage{ifthen}
\usetikzlibrary{automata}
\usepackage{datetime}
\lhead{./certificates/twinstar-ex2/sim-59806.tex}
\rhead{09:11:49.217 on 2025-04-03}
\fancyfoot{}
\begin{document}
\newif\ifntiny
%\ntinyfalse
\ntinytrue
\thispagestyle{fancy}
\begin{center}
\maxsizebox{!}{0.475\textheight}{
\minsizebox{\textwidth}{!}{
\begin{tabular}{@{}c@{}}
% node count = 214
\begin{tikzpicture}[rotate = 0]
%\begin{tikzpicture}[rotate = 90]
\tikzset{initial text=$ $}

\node[state] at (12,-14) (n0n0n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 61964}\fi};
\node[accepting, state] at (49,-36) (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 61803}\fi};
\node[state] at (30,-46) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 62027}\fi};
\node[state] at (51,-26) (n1n0n0n0n0n0n0n0n0n1n0n1n0) {$\cup$\,\ifntiny{\tiny 62118}\fi};
\node[state] at (5,-28) (n0n0n0n0n1n0n0n1n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 61921}\fi};
\node[accepting, state] at (49,-32) (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 61805}\fi};
\node[accepting, state] at (33,-40) (n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0n0) {$p!$\,\ifntiny{\tiny 61886}\fi};
\node[state] at (49,-22) (n1n0n0n0n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 62120}\fi};
\node[state] at (25,-34) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 62005}\fi};
\node[state] at (46,-20) (n1n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 62109}\fi};
\node[state] at (13,-28) (n0n0n1n0n0n0n0n1n0n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 61957}\fi};
\node[state] at (4,-10) (n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 61931}\fi};
\node[state] at (13,-24) (n0n0n1n0n0n0n0n1n0n0n1n0) {$p?$\,\ifntiny{\tiny 61959}\fi};
\node[state] at (51,-2) (n1) {$p?$\,\ifntiny{\tiny 62140}\fi};
\node[state] at (55,-12) (n1n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 62135}\fi};
\node[state] at (5,-34) (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 61918}\fi};
\node[state] at (31,-42) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 62030}\fi};
\node[state] at (8,-16) (n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 61937}\fi};
\node[state] at (21,-38) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 61990}\fi};
\node[state] at (30,-40) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0) {$\cup$\,\ifntiny{\tiny 62031}\fi};
\node[state] at (31,-14) (n0n0n1n0n0n1n0) {$p?$\,\ifntiny{\tiny 62096}\fi};
\node[state] at (25,-36) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 62004}\fi};
\node[accepting, state] at (14,-56) (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0n0) {$p!$\,\ifntiny{\tiny 61846}\fi};
\node[state] at (41,-44) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 62079}\fi};
\node[state] at (36,-30) (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 62061}\fi};
\node[state] at (54,-12) (n1n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 62134}\fi};
\node[accepting, state] at (49,-42) (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) {$p!$\,\ifntiny{\tiny 61800}\fi};
\node[state] at (5,-22) (n0n0n0n0n1n0n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 61925}\fi};
\node[state] at (20,-24) (n0n0n1n0n0n1n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 61997}\fi};
\node[accepting, state] at (44,-34) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0) {$p?$\,\ifntiny{\tiny 61852}\fi};
\node[state] at (4,-14) (n0n0n0n0n1n0n0) {$\cup$\,\ifntiny{\tiny 61929}\fi};
\node[state] at (28,-50) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 62021}\fi};
\node[state] at (18,-38) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 61976}\fi};
\node[state] at (29,-22) (n0n0n1n0n0n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 62040}\fi};
\node[state] at (27,-8) (n0n0n1n0) {$p?$\,\ifntiny{\tiny 62099}\fi};
\node[state] at (39,-26) (n0n0n1n0n0n1n0n0n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 62089}\fi};
\node[state] at (50,-12) (n1n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 62130}\fi};
\node[state] at (12,-12) (n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 61965}\fi};
\node[state] at (36,-44) (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 62053}\fi};
\node[state] at (28,-26) (n0n0n1n0n0n1n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 62038}\fi};
\node[state] at (12,-42) (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 61949}\fi};
\node[state] at (4,-12) (n0n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 61930}\fi};
\node[state] at (13,-26) (n0n0n1n0n0n0n0n1n0n0n1n0n0) {$\cup$\,\ifntiny{\tiny 61958}\fi};
\node[accepting, state] at (6,-36) (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 61853}\fi};
\node[state] at (10,-28) (n0n0n1n0n0n0n0n1n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 61943}\fi};
\node[state] at (53,-16) (n1n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 62128}\fi};
\node[state] at (40,-18) (n0n0n1n0n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 62094}\fi};
\node[state] at (13,-32) (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0) {$\cup$\,\ifntiny{\tiny 61955}\fi};
\node[state] at (51,-4) (n1n0) {$p?$\,\ifntiny{\tiny 62139}\fi};
\node[state] at (21,-50) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 61983}\fi};
\node[state] at (39,-38) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 62070}\fi};
\node[state] at (49,-18) (n1n0n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 62122}\fi};
\node[state] at (41,-28) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 62088}\fi};
\node[state] at (37,-42) (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0) {$\cup$\,\ifntiny{\tiny 62055}\fi};
\node[state] at (2,-22) (n0n0n0n0n1n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 61911}\fi};
\node[state] at (27,-40) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 62014}\fi};
\node[state] at (13,-30) (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0) {$p?$\,\ifntiny{\tiny 61956}\fi};
\node[state] at (41,-36) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1) {$p?$\,\ifntiny{\tiny 62084}\fi};
\node[state] at (5,-26) (n0n0n0n0n1n0n0n1n0n0n1n0n0) {$\cup$\,\ifntiny{\tiny 61923}\fi};
\node[state] at (21,-42) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0) {$\cup$\,\ifntiny{\tiny 61988}\fi};
\node[state] at (36,-32) (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 62060}\fi};
\node[state] at (11,-38) (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 61947}\fi};
\node[state] at (34,-32) (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 62047}\fi};
\node[state] at (50,-10) (n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 62131}\fi};
\node[state] at (20,-30) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0) {$\cup$\,\ifntiny{\tiny 61994}\fi};
\node[state] at (52,-18) (n1n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 62126}\fi};
\node[state] at (27,-10) (n0n0n1n0n0) {$\cup$\,\ifntiny{\tiny 62098}\fi};
\node[state] at (29,-32) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 62035}\fi};
\node[state] at (5,-20) (n0n0n0n0n1n0n0n1n0n0) {$\cup$\,\ifntiny{\tiny 61926}\fi};
\node[accepting, state] at (6,-50) (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0n0) {$p!$\,\ifntiny{\tiny 61846}\fi};
\node[state] at (30,-36) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 62033}\fi};
\node[accepting, state] at (22,-58) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 61850}\fi};
\node[state] at (53,-18) (n1n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 62127}\fi};
\node[state] at (1,-16) (n0n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 61908}\fi};
\node[state] at (5,-18) (n0n0n0n0n1n0n0n1n0) {$p?$\,\ifntiny{\tiny 61927}\fi};
\node[state] at (40,-22) (n0n0n1n0n0n1n0n0n1n0n0) {$\cup$\,\ifntiny{\tiny 62092}\fi};
\node[accepting, state] at (6,-46) (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 61848}\fi};
\node[accepting, state] at (33,-36) (n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 61888}\fi};
\node[initial, state] at (28,0) (n) {$\cup$\,\ifntiny{\tiny 62141}\fi};
\node[state] at (13,-38) (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 61951}\fi};
\node[accepting, state] at (44,-40) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 61849}\fi};
\node[state] at (51,-28) (n1n0n0n0n0n0n0n0n0n1n0n1n0n1) {$p?$\,\ifntiny{\tiny 62117}\fi};
\node[state] at (27,-36) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 62016}\fi};
\node[accepting, state] at (44,-36) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0) {$p?$\,\ifntiny{\tiny 61851}\fi};
\node[state] at (51,-24) (n1n0n0n0n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 62119}\fi};
\node[state] at (21,-40) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0) {$p?$\,\ifntiny{\tiny 61989}\fi};
\node[accepting, state] at (49,-40) (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 61801}\fi};
\node[accepting, state] at (14,-50) (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 61849}\fi};
\node[state] at (29,-24) (n0n0n1n0n0n1n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 62039}\fi};
\node[state] at (24,-34) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 62002}\fi};
\node[state] at (21,-44) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 61986}\fi};
\node[state] at (13,-36) (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 61952}\fi};
\node[state] at (27,-42) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 62013}\fi};
\node[state] at (29,-52) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 62023}\fi};
\node[accepting, state] at (44,-46) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0n0) {$p!$\,\ifntiny{\tiny 61846}\fi};
\node[state] at (26,-40) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 62011}\fi};
\node[accepting, state] at (14,-54) (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 61847}\fi};
\node[state] at (12,-16) (n0n0n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 61963}\fi};
\node[state] at (5,-24) (n0n0n0n0n1n0n0n1n0n0n1n0) {$p?$\,\ifntiny{\tiny 61924}\fi};
\node[state] at (37,-40) (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0) {$p?$\,\ifntiny{\tiny 62056}\fi};
\node[accepting, state] at (44,-42) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 61848}\fi};
\node[state] at (0,-10) (n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 61905}\fi};
\node[state] at (4,-8) (n0n0n0n0) {$\cup$\,\ifntiny{\tiny 61932}\fi};
\node[state] at (4,-6) (n0n0n0) {$p?$\,\ifntiny{\tiny 61933}\fi};
\node[state] at (23,-4) (n0n0) {$\cup$\,\ifntiny{\tiny 62101}\fi};
\node[state] at (23,-44) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 61987}\fi};
\node[accepting, state] at (49,-34) (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 61804}\fi};
\node[accepting, state] at (44,-38) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 61850}\fi};
\node[state] at (39,-36) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 62071}\fi};
\node[state] at (29,-30) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1) {$p?$\,\ifntiny{\tiny 62036}\fi};
\node[accepting, state] at (49,-28) (n1n0n0n0n0n0n0n0n0n1n0n0n0n1) {$p?$\,\ifntiny{\tiny 61807}\fi};
\node[state] at (49,-20) (n1n0n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 62121}\fi};
\node[state] at (31,-12) (n0n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 62097}\fi};
\node[state] at (5,-30) (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 61920}\fi};
\node[state] at (40,-34) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0) {$\cup$\,\ifntiny{\tiny 62085}\fi};
\node[state] at (38,-40) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 62066}\fi};
\node[state] at (27,-38) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 62015}\fi};
\node[state] at (19,-48) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 61980}\fi};
\node[state] at (4,-36) (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 61917}\fi};
\node[state] at (29,-48) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 62025}\fi};
\node[state] at (50,-28) (n1n0n0n0n0n0n0n0n0n1n0n1n0n0) {$p?$\,\ifntiny{\tiny 62116}\fi};
\node[state] at (36,-36) (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0) {$\cup$\,\ifntiny{\tiny 62058}\fi};
\node[state] at (12,-18) (n0n0n1n0n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 61962}\fi};
\node[state] at (13,-40) (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 61950}\fi};
\node[accepting, state] at (33,-34) (n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 61889}\fi};
\node[state] at (21,-48) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 61984}\fi};
\node[state] at (20,-26) (n0n0n1n0n0n1n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 61996}\fi};
\node[accepting, state] at (22,-52) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 61853}\fi};
\node[accepting, state] at (6,-44) (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 61849}\fi};
\node[state] at (16,-26) (n0n0n1n0n0n1n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 61970}\fi};
\node[accepting, state] at (6,-38) (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0) {$p?$\,\ifntiny{\tiny 61852}\fi};
\node[state] at (41,-46) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 62078}\fi};
\node[state] at (21,-34) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0) {$p?$\,\ifntiny{\tiny 61992}\fi};
\node[accepting, state] at (6,-42) (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 61850}\fi};
\node[state] at (25,-32) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 62006}\fi};
\node[accepting, state] at (33,-30) (n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0) {$p?$\,\ifntiny{\tiny 61891}\fi};
\node[accepting, state] at (49,-38) (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 61802}\fi};
\node[state] at (21,-36) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0) {$\cup$\,\ifntiny{\tiny 61991}\fi};
\node[state] at (47,-28) (n1n0n0n0n0n0n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 62112}\fi};
\node[state] at (29,-46) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 62026}\fi};
\node[state] at (5,-16) (n0n0n0n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 61928}\fi};
\node[state] at (13,-34) (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 61953}\fi};
\node[state] at (49,-16) (n1n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 62123}\fi};
\node[state] at (39,-24) (n0n0n1n0n0n1n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 62090}\fi};
\node[state] at (17,-32) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 61973}\fi};
\node[accepting, state] at (22,-54) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0) {$p?$\,\ifntiny{\tiny 61852}\fi};
\node[accepting, state] at (33,-26) (n0n0n1n0n0n1n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 61893}\fi};
\node[state] at (29,-44) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 62028}\fi};
\node[state] at (29,-50) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 62024}\fi};
\node[state] at (55,-8) (n1n0n0n1) {$p?$\,\ifntiny{\tiny 62137}\fi};
\node[state] at (27,-6) (n0n0n1) {$p?$\,\ifntiny{\tiny 62100}\fi};
\node[accepting, state] at (44,-44) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 61847}\fi};
\node[accepting, state] at (22,-62) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 61848}\fi};
\node[accepting, state] at (33,-28) (n0n0n1n0n0n1n0n0n0n0n1n0n1n0) {$p?$\,\ifntiny{\tiny 61892}\fi};
\node[state] at (9,-22) (n0n0n1n0n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 61940}\fi};
\node[accepting, state] at (44,-32) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 61853}\fi};
\node[state] at (20,-52) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 61982}\fi};
\node[state] at (53,-14) (n1n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 62129}\fi};
\node[accepting, state] at (6,-40) (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0) {$p?$\,\ifntiny{\tiny 61851}\fi};
\node[state] at (51,-6) (n1n0n0) {$\cup$\,\ifntiny{\tiny 62138}\fi};
\node[state] at (28,-28) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0) {$\cup$\,\ifntiny{\tiny 62037}\fi};
\node[state] at (5,-32) (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 61919}\fi};
\node[state] at (45,-24) (n0n0n1n0n0n1n0n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 62091}\fi};
\node[state] at (40,-46) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 62075}\fi};
\node[state] at (7,-28) (n0n0n0n0n1n0n0n1n0n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 61922}\fi};
\node[accepting, state] at (22,-60) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 61849}\fi};
\node[accepting, state] at (33,-32) (n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 61890}\fi};
\node[state] at (12,-20) (n0n0n1n0n0n0n0n1n0n0) {$\cup$\,\ifntiny{\tiny 61961}\fi};
\node[state] at (49,-14) (n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 62124}\fi};
\node[state] at (42,-42) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 62081}\fi};
\node[state] at (36,-34) (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 62059}\fi};
\node[state] at (25,-30) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 62007}\fi};
\node[accepting, state] at (49,-30) (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 61806}\fi};
\node[state] at (3,-32) (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 61915}\fi};
\node[state] at (21,-46) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 61985}\fi};
\node[state] at (37,-38) (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 62057}\fi};
\node[state] at (23,-2) (n0) {$p?$\,\ifntiny{\tiny 62102}\fi};
\node[accepting, state] at (33,-38) (n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 61887}\fi};
\node[accepting, state] at (14,-48) (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 61850}\fi};
\node[state] at (39,-40) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 62069}\fi};
\node[accepting, state] at (22,-64) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 61847}\fi};
\node[state] at (41,-40) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0) {$\cup$\,\ifntiny{\tiny 62082}\fi};
\node[state] at (29,-34) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0) {$\cup$\,\ifntiny{\tiny 62034}\fi};
\node[state] at (36,-28) (n0n0n1n0n0n1n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 62062}\fi};
\node[state] at (48,-26) (n1n0n0n0n0n0n0n0n0n1n0n0n0) {$\cup$\,\ifntiny{\tiny 62113}\fi};
\node[accepting, state] at (14,-44) (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0) {$p?$\,\ifntiny{\tiny 61852}\fi};
\node[state] at (48,-24) (n1n0n0n0n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 62114}\fi};
\node[state] at (20,-28) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 61995}\fi};
\node[accepting, state] at (22,-66) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0n0) {$p!$\,\ifntiny{\tiny 61846}\fi};
\node[state] at (40,-32) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 62086}\fi};
\node[state] at (41,-42) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 62080}\fi};
\node[state] at (29,-42) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 62029}\fi};
\node[accepting, state] at (14,-52) (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 61848}\fi};
\node[state] at (37,-44) (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 62054}\fi};
\node[state] at (13,-22) (n0n0n1n0n0n0n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 61960}\fi};
\node[state] at (25,-20) (n0n0n1n0n0n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 62041}\fi};
\node[state] at (35,-38) (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 62050}\fi};
\node[state] at (21,-32) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 61993}\fi};
\node[state] at (41,-30) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 62087}\fi};
\node[state] at (20,-22) (n0n0n1n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 61998}\fi};
\node[state] at (40,-20) (n0n0n1n0n0n1n0n0n1n0) {$p?$\,\ifntiny{\tiny 62093}\fi};
\node[accepting, state] at (6,-48) (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 61847}\fi};
\node[accepting, state] at (14,-42) (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 61853}\fi};
\node[state] at (15,-34) (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 61954}\fi};
\node[state] at (39,-42) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 62068}\fi};
\node[accepting, state] at (14,-46) (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0) {$p?$\,\ifntiny{\tiny 61851}\fi};
\node[state] at (31,-16) (n0n0n1n0n0n1n0n0) {$\cup$\,\ifntiny{\tiny 62095}\fi};
\node[state] at (30,-38) (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0) {$p?$\,\ifntiny{\tiny 62032}\fi};
\node[state] at (41,-48) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 62077}\fi};
\node[state] at (50,-8) (n1n0n0n0) {$p?$\,\ifntiny{\tiny 62132}\fi};
\node[state] at (55,-10) (n1n0n0n1n0) {$\cup$\,\ifntiny{\tiny 62136}\fi};
\node[state] at (25,-18) (n0n0n1n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 62042}\fi};
\node[accepting, state] at (22,-56) (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0) {$p?$\,\ifntiny{\tiny 61851}\fi};
\node[state] at (41,-38) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 62083}\fi};

\draw[->, thick] (n) edge [near start, left] node {} (n0);
\draw[->, thick] (n) edge [near start, left] node {} (n1);
\draw[->, thick] (n0) edge [near start, left] node {a} (n0n0);
\draw[->, thick] (n0n0) edge [near start, left] node {} (n0n0n0);
\draw[->, thick] (n0n0) edge [near start, left] node {} (n0n0n1);
\draw[->, thick] (n0n0n0) edge [near start, left] node {a} (n0n0n0n0);
\draw[->, thick] (n0n0n0n0) edge [near start, left] node {} (n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0) edge [near start, left] node {} (n0n0n0n0n1);
\draw[->, thick] (n0n0n0n0n0) edge [near start, right, bend right] node {a} (n0n0n0n0);
\draw[->, thick] (n0n0n0n0n1) edge [near start, left] node {b} (n0n0n0n0n1n0);
\draw[->, thick] (n0n0n0n0n1n0) edge [near start, left] node {a} (n0n0n0n0n1n0n0);
\draw[->, thick] (n0n0n0n0n1n0n0) edge [near start, left] node {} (n0n0n0n0n1n0n0n0);
\draw[->, thick] (n0n0n0n0n1n0n0) edge [near start, left] node {} (n0n0n0n0n1n0n0n1);
\draw[->, thick] (n0n0n0n0n1n0n0n0) edge [near start, right, bend right] node {a} (n0n0n0n0);
\draw[->, thick] (n0n0n0n0n1n0n0n1) edge [near start, left] node {b} (n0n0n0n0n1n0n0n1n0);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0) edge [near start, left] node {a} (n0n0n0n0n1n0n0n1n0n0);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0) edge [near start, left] node {} (n0n0n0n0n1n0n0n1n0n0n0);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0) edge [near start, left] node {} (n0n0n0n0n1n0n0n1n0n0n1);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n0) edge [near start, right, bend right] node {a} (n0n0n0n0);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1) edge [near start, left] node {b} (n0n0n0n0n1n0n0n1n0n0n1n0);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1n0) edge [near start, left] node {a} (n0n0n0n0n1n0n0n1n0n0n1n0n0);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1n0n0) edge [near start, left] node {} (n0n0n0n0n1n0n0n1n0n0n1n0n0n0);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1n0n0) edge [near start, left] node {} (n0n0n0n0n1n0n0n1n0n0n1n0n0n1);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1n0n0n0) edge [near start, left] node {a} (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0) edge [near start, left] node {} (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0) edge [near start, left] node {} (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n0) edge [near start, right, bend right] node {a} (n0n0n0n0);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1) edge [near start, left] node {b} (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0) edge [near start, right, bend right] node {a} (n0n0n0n0n1n0n0);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1) edge [near start, left] node {a} (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0) edge [near start, left] node {b} (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0) edge [near start, left] node {a} (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0) edge [near start, left] node {b} (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0) edge [near start, left] node {a} (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0) edge [near start, left] node {a} (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0) edge [near start, left] node {b} (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {x} (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {y} (n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n0n0n0n1n0n0n1n0n0n1n0n0n1) edge [near start, left, bend left] node {b} (n0n0n0n0n1n0n0n1n0n0n1n0);
\draw[->, thick] (n0n0n1) edge [near start, left] node {b} (n0n0n1n0);
\draw[->, thick] (n0n0n1n0) edge [near start, left] node {a} (n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n1);
\draw[->, thick] (n0n0n1n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n0n0n1);
\draw[->, thick] (n0n0n1n0n0n0n0n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0) edge [near start, left] node {a} (n0n0n1n0n0n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n0n0n1n0n0n1);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n0n0n1n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0) edge [near start, left] node {a} (n0n0n1n0n0n0n0n1n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n0n0n1n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n0n0n1n0n0n1n0n0n1);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0) edge [near start, left] node {a} (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n1);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1) edge [near start, left] node {a} (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0) edge [near start, left] node {b} (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0) edge [near start, left] node {a} (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0) edge [near start, left] node {b} (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0) edge [near start, left] node {b} (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {x} (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {y} (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0n0n1) edge [near start, left, bend left] node {b} (n0n0n1n0n0n0n0n1n0n0n1n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {x} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {y} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0n0n1) edge [near start, left, bend left] node {b} (n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0n1n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0n1n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0n0n0n1n0) edge [near start, left, bend left] node {a} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n0n0n1) edge [near start, left, bend left] node {b} (n0n0n1n0n0n1n0n0n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0n0n1) edge [near start, left, bend left] node {b} (n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n1) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n0n0n1n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n1n0) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {x} (n0n0n1n0n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {y} (n0n0n1n0n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n1n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n1n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n1n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n0n0n1n0n0n1n0n0n1) edge [near start, right, bend right] node {b} (n0n0n1n0n0n1n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n0n0n1n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0n1) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n0n0n1n0) edge [near start, left, bend left] node {a} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0n0n1n0n0n1) edge [near start, left, bend left] node {b} (n0n0n1n0n0n1n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0) edge [near start, left] node {b} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {x} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {y} (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n0n1n0n0n1n0n0n1n0n0n1) edge [near start, left, bend left] node {b} (n0n0n1n0n0n1n0n0n1n0);
\draw[->, thick] (n1) edge [near start, left] node {b} (n1n0);
\draw[->, thick] (n1n0) edge [near start, left] node {a} (n1n0n0);
\draw[->, thick] (n1n0n0) edge [near start, left] node {} (n1n0n0n0);
\draw[->, thick] (n1n0n0) edge [near start, left] node {} (n1n0n0n1);
\draw[->, thick] (n1n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0) edge [near start, right, bend right] node {b} (n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n0) edge [near start, right, bend right] node {a} (n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {x} (n1n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {y} (n1n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n1n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n1n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n1n0n0) edge [near start, right, bend right] node {b} (n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n1n0n1) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0) edge [near start, left, bend left] node {b} (n1n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n1) edge [near start, left] node {a} (n1n0n0n1n0);
\draw[->, thick] (n1n0n0n1n0) edge [near start, left] node {} (n1n0n0n1n0n0);
\draw[->, thick] (n1n0n0n1n0) edge [near start, left] node {} (n1n0n0n1n0n1);
\draw[->, thick] (n1n0n0n1n0n0) edge [near start, left, bend left] node {b} (n1n0);
\draw[->, thick] (n1n0n0n1n0n1) edge [near start, right, bend right] node {a} (n1n0n0n1n0);

\end{tikzpicture}
\end{tabular}}}
\end{center}
\end{document}
