\documentclass{article}
\usepackage{a4wide}
\usepackage{adjustbox}
\usepackage{fancyhdr}
\usepackage{tikz}
\usepackage{ifthen}
\usetikzlibrary{automata}
\usepackage{datetime}
\lhead{./certificates/mario-b-ex2/sim-37640.tex}
\rhead{09:11:48.758 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 (50,-26) (n1n0n1n0n0n0n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 38849}\fi};
\node[state] at (12,-36) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38688}\fi};
\node[state] at (43,-24) (n1n0n0n0n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38821}\fi};
\node[state] at (24,-42) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 38740}\fi};
\node[accepting, state] at (17,-38) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 38571}\fi};
\node[state] at (16,-20) (n1n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38720}\fi};
\node[accepting, state] at (17,-34) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 38573}\fi};
\node[state] at (36,-22) (n1n0n0n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 38794}\fi};
\node[state] at (36,-48) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 38778}\fi};
\node[state] at (50,-34) (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0) {$\cup$\,\ifntiny{\tiny 38844}\fi};
\node[state] at (27,-36) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 38750}\fi};
\node[state] at (24,-38) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38742}\fi};
\node[state] at (19,-32) (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0) {$p?$\,\ifntiny{\tiny 38713}\fi};
\node[state] at (45,-28) (n1n0n0n0n0n1n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 38819}\fi};
\node[state] at (33,-2) (n1) {$p?$\,\ifntiny{\tiny 38864}\fi};
\node[state] at (5,-28) (n0n0n0n0n0n0n0n0n0n1n0n1n0n1) {$p?$\,\ifntiny{\tiny 38641}\fi};
\node[state] at (43,-20) (n1n0n0n0n0n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 38824}\fi};
\node[state] at (34,-40) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38782}\fi};
\node[state] at (34,-50) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0) {$\cup$\,\ifntiny{\tiny 38776}\fi};
\node[state] at (25,-50) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0n1) {$p?$\,\ifntiny{\tiny 38736}\fi};
\node[state] at (13,-44) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 38684}\fi};
\node[accepting, state] at (51,-36) (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1) {$p?$\,\ifntiny{\tiny 38574}\fi};
\node[state] at (15,-40) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 38693}\fi};
\node[state] at (24,-40) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 38741}\fi};
\node[state] at (40,-34) (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38807}\fi};
\node[accepting, state] at (17,-36) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 38572}\fi};
\node[state] at (50,-32) (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 38845}\fi};
\node[state] at (25,-12) (n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38799}\fi};
\node[accepting, state] at (3,-40) (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38499}\fi};
\node[accepting, state] at (35,-64) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38568}\fi};
\node[state] at (52,-6) (n1n0n1) {$p?$\,\ifntiny{\tiny 38862}\fi};
\node[state] at (49,-36) (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 38843}\fi};
\node[state] at (43,-16) (n1n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 38826}\fi};
\node[state] at (26,-26) (n1n0n0n0n0n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 38762}\fi};
\node[state] at (35,-26) (n1n0n0n0n0n0n0n0n1n0n1n0n0) {$p?$\,\ifntiny{\tiny 38791}\fi};
\node[state] at (35,-30) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 38789}\fi};
\node[state] at (19,-42) (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 38707}\fi};
\node[state] at (14,-42) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 38691}\fi};
\node[accepting, state] at (51,-42) (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 38571}\fi};
\node[state] at (9,-12) (n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 38659}\fi};
\node[state] at (33,-4) (n1n0) {$\cup$\,\ifntiny{\tiny 38863}\fi};
\node[state] at (27,-24) (n1n0n0n0n0n0n0n0n1n0n0n0) {$\cup$\,\ifntiny{\tiny 38763}\fi};
\node[accepting, state] at (51,-44) (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 38570}\fi};
\node[state] at (43,-22) (n1n0n0n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38822}\fi};
\node[state] at (9,-10) (n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 38660}\fi};
\node[state] at (16,-18) (n1n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38721}\fi};
\node[state] at (51,-12) (n1n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 38858}\fi};
\node[accepting, state] at (31,-34) (n1n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 38613}\fi};
\node[accepting, state] at (31,-38) (n1n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38611}\fi};
\node[accepting, state] at (35,-60) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 38570}\fi};
\node[state] at (24,-50) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0) {$p?$\,\ifntiny{\tiny 38735}\fi};
\node[state] at (51,-28) (n1n0n1n0n0n0n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 38848}\fi};
\node[state] at (18,-44) (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38705}\fi};
\node[state] at (16,-22) (n1n0n0n0n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 38719}\fi};
\node[state] at (54,-16) (n1n0n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 38856}\fi};
\node[accepting, state] at (43,-42) (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1) {$p?$\,\ifntiny{\tiny 38574}\fi};
\node[state] at (34,-42) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 38781}\fi};
\node[state] at (27,-40) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 38748}\fi};
\node[state] at (16,-26) (n1n0n0n0n0n0n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 38717}\fi};
\node[state] at (51,-18) (n1n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38854}\fi};
\node[state] at (24,-44) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 38739}\fi};
\node[state] at (35,-34) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38786}\fi};
\node[state] at (29,-10) (n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 38830}\fi};
\node[state] at (12,-40) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 38686}\fi};
\node[state] at (52,-8) (n1n0n1n0) {$\cup$\,\ifntiny{\tiny 38861}\fi};
\node[accepting, state] at (17,-32) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1) {$p?$\,\ifntiny{\tiny 38574}\fi};
\node[state] at (27,-22) (n1n0n0n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 38764}\fi};
\node[state] at (15,-36) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 38695}\fi};
\node[state] at (35,-32) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38787}\fi};
\node[state] at (12,-46) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 38682}\fi};
\node[state] at (55,-10) (n1n0n1n0n1) {$p?$\,\ifntiny{\tiny 38860}\fi};
\node[accepting, state] at (35,-52) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1) {$p?$\,\ifntiny{\tiny 38574}\fi};
\node[state] at (16,-24) (n1n0n0n0n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 38718}\fi};
\node[state] at (51,-16) (n1n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38855}\fi};
\node[state] at (42,-30) (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38817}\fi};
\node[accepting, state] at (31,-32) (n1n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 38614}\fi};
\node[state] at (12,-38) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38687}\fi};
\node[state] at (26,-40) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 38747}\fi};
\node[accepting, state] at (3,-42) (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) {$p!$\,\ifntiny{\tiny 38498}\fi};
\node[accepting, state] at (51,-38) (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 38573}\fi};
\node[state] at (19,-34) (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 38712}\fi};
\node[state] at (37,-38) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 38784}\fi};
\node[accepting, state] at (31,-40) (n1n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) {$p!$\,\ifntiny{\tiny 38610}\fi};
\node[state] at (48,-28) (n1n0n1n0n0n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38840}\fi};
\node[state] at (41,-42) (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 38810}\fi};
\node[accepting, state] at (3,-32) (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 38503}\fi};
\node[state] at (28,-36) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 38756}\fi};
\node[initial, state] at (28,0) (n) {$\cup$\,\ifntiny{\tiny 38865}\fi};
\node[state] at (47,-16) (n1n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 38827}\fi};
\node[state] at (20,-30) (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0) {$\cup$\,\ifntiny{\tiny 38715}\fi};
\node[accepting, state] at (3,-30) (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 38504}\fi};
\node[state] at (14,-40) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 38692}\fi};
\node[state] at (51,-20) (n1n0n1n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 38853}\fi};
\node[state] at (19,-44) (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 38706}\fi};
\node[state] at (46,-22) (n1n0n0n0n0n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 38823}\fi};
\node[state] at (12,-48) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 38681}\fi};
\node[state] at (7,-14) (n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 38653}\fi};
\node[accepting, state] at (17,-42) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38569}\fi};
\node[state] at (24,-36) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38743}\fi};
\node[state] at (25,-30) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38753}\fi};
\node[state] at (2,-26) (n0n0n0n0n0n0n0n0n0n1n0n0n0) {$\cup$\,\ifntiny{\tiny 38637}\fi};
\node[state] at (44,-38) (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 38813}\fi};
\node[accepting, state] at (3,-36) (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 38501}\fi};
\node[state] at (42,-38) (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 38812}\fi};
\node[state] at (27,-38) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 38749}\fi};
\node[state] at (19,-38) (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38709}\fi};
\node[state] at (26,-42) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 38746}\fi};
\node[accepting, state] at (3,-34) (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 38502}\fi};
\node[state] at (36,-24) (n1n0n0n0n0n0n0n0n1n0n1n0) {$\cup$\,\ifntiny{\tiny 38793}\fi};
\node[state] at (42,-32) (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 38816}\fi};
\node[state] at (0,-20) (n0n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38633}\fi};
\node[state] at (3,-18) (n0n0n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 38646}\fi};
\node[state] at (3,-16) (n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38647}\fi};
\node[state] at (3,-14) (n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38648}\fi};
\node[state] at (4,-12) (n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 38654}\fi};
\node[state] at (4,-10) (n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38655}\fi};
\node[state] at (4,-8) (n0n0n0n0) {$p?$\,\ifntiny{\tiny 38656}\fi};
\node[state] at (5,-6) (n0n0n0) {$\cup$\,\ifntiny{\tiny 38662}\fi};
\node[state] at (5,-4) (n0n0) {$p?$\,\ifntiny{\tiny 38663}\fi};
\node[state] at (4,-28) (n0n0n0n0n0n0n0n0n0n1n0n1n0n0) {$p?$\,\ifntiny{\tiny 38640}\fi};
\node[state] at (13,-34) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 38696}\fi};
\node[accepting, state] at (51,-48) (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38568}\fi};
\node[state] at (23,-46) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 38731}\fi};
\node[state] at (35,-36) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 38785}\fi};
\node[accepting, state] at (31,-36) (n1n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38612}\fi};
\node[state] at (42,-40) (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0) {$\cup$\,\ifntiny{\tiny 38811}\fi};
\node[state] at (22,-42) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38729}\fi};
\node[state] at (33,-52) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 38775}\fi};
\node[state] at (35,-46) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 38779}\fi};
\node[accepting, state] at (17,-46) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) {$p!$\,\ifntiny{\tiny 38567}\fi};
\node[state] at (25,-46) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 38738}\fi};
\node[accepting, state] at (51,-50) (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) {$p!$\,\ifntiny{\tiny 38567}\fi};
\node[accepting, state] at (3,-38) (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38500}\fi};
\node[state] at (24,-52) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 38734}\fi};
\node[accepting, state] at (17,-40) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 38570}\fi};
\node[state] at (2,-24) (n0n0n0n0n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 38638}\fi};
\node[state] at (43,-34) (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 38815}\fi};
\node[state] at (42,-28) (n1n0n0n0n0n1n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38818}\fi};
\node[accepting, state] at (51,-40) (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 38572}\fi};
\node[state] at (25,-48) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0) {$\cup$\,\ifntiny{\tiny 38737}\fi};
\node[state] at (43,-26) (n1n0n0n0n0n1n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 38820}\fi};
\node[state] at (51,-14) (n1n0n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 38857}\fi};
\node[state] at (13,-46) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 38683}\fi};
\node[accepting, state] at (43,-46) (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 38572}\fi};
\node[state] at (38,-32) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 38788}\fi};
\node[state] at (51,-30) (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 38847}\fi};
\node[state] at (25,-32) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38752}\fi};
\node[state] at (3,-22) (n0n0n0n0n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 38644}\fi};
\node[state] at (35,-28) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 38790}\fi};
\node[accepting, state] at (43,-52) (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38569}\fi};
\node[state] at (29,-34) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 38758}\fi};
\node[state] at (50,-22) (n1n0n1n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38851}\fi};
\node[state] at (14,-30) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0) {$\cup$\,\ifntiny{\tiny 38698}\fi};
\node[accepting, state] at (17,-44) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38568}\fi};
\node[state] at (43,-36) (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 38814}\fi};
\node[state] at (28,-34) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 38757}\fi};
\node[state] at (25,-16) (n1n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 38797}\fi};
\node[state] at (52,-32) (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 38846}\fi};
\node[state] at (34,-38) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38783}\fi};
\node[state] at (1,-28) (n0n0n0n0n0n0n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 38636}\fi};
\node[state] at (44,-14) (n1n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 38828}\fi};
\node[state] at (39,-26) (n1n0n0n0n0n0n0n0n1n0n1n0n1) {$p?$\,\ifntiny{\tiny 38792}\fi};
\node[accepting, state] at (3,-28) (n0n0n0n0n0n0n0n0n0n1n0n0n0n1) {$p?$\,\ifntiny{\tiny 38505}\fi};
\node[accepting, state] at (31,-26) (n1n0n0n0n0n0n0n0n1n0n0n0n1) {$p?$\,\ifntiny{\tiny 38617}\fi};
\node[accepting, state] at (43,-50) (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 38570}\fi};
\node[state] at (29,-6) (n1n0n0) {$p?$\,\ifntiny{\tiny 38832}\fi};
\node[accepting, state] at (31,-30) (n1n0n0n0n0n0n0n0n1n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 38615}\fi};
\node[state] at (26,-28) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 38761}\fi};
\node[state] at (9,-8) (n0n0n0n1) {$p?$\,\ifntiny{\tiny 38661}\fi};
\node[state] at (31,-20) (n1n0n0n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 38795}\fi};
\node[state] at (43,-18) (n1n0n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 38825}\fi};
\node[state] at (32,-44) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38772}\fi};
\node[accepting, state] at (31,-28) (n1n0n0n0n0n0n0n0n1n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 38616}\fi};
\node[state] at (3,-20) (n0n0n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 38645}\fi};
\node[state] at (25,-14) (n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38798}\fi};
\node[state] at (6,-18) (n0n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 38650}\fi};
\node[state] at (50,-24) (n1n0n1n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38850}\fi};
\node[state] at (14,-28) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 38699}\fi};
\node[accepting, state] at (35,-56) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 38572}\fi};
\node[state] at (10,-24) (n1n0n0n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38672}\fi};
\node[state] at (13,-42) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 38685}\fi};
\node[state] at (29,-32) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 38759}\fi};
\node[state] at (25,-34) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 38751}\fi};
\node[state] at (5,-26) (n0n0n0n0n0n0n0n0n0n1n0n1n0) {$\cup$\,\ifntiny{\tiny 38642}\fi};
\node[state] at (53,-22) (n1n0n1n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 38852}\fi};
\node[accepting, state] at (51,-46) (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38569}\fi};
\node[state] at (19,-40) (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38708}\fi};
\node[state] at (20,-28) (n1n0n0n0n0n0n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 38716}\fi};
\node[state] at (20,-38) (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 38710}\fi};
\node[state] at (5,-2) (n0) {$p?$\,\ifntiny{\tiny 38664}\fi};
\node[accepting, state] at (35,-62) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38569}\fi};
\node[state] at (19,-36) (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 38711}\fi};
\node[accepting, state] at (43,-48) (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 38571}\fi};
\node[state] at (31,-18) (n1n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 38796}\fi};
\node[state] at (34,-48) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 38777}\fi};
\node[state] at (13,-32) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 38697}\fi};
\node[state] at (11,-42) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38678}\fi};
\node[state] at (7,-16) (n0n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 38652}\fi};
\node[accepting, state] at (35,-66) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) {$p!$\,\ifntiny{\tiny 38567}\fi};
\node[state] at (51,-10) (n1n0n1n0n0) {$p?$\,\ifntiny{\tiny 38859}\fi};
\node[accepting, state] at (35,-54) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 38573}\fi};
\node[state] at (5,-24) (n0n0n0n0n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 38643}\fi};
\node[state] at (29,-30) (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 38760}\fi};
\node[accepting, state] at (43,-56) (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) {$p!$\,\ifntiny{\tiny 38567}\fi};
\node[accepting, state] at (43,-54) (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 38568}\fi};
\node[accepting, state] at (43,-44) (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 38573}\fi};
\node[state] at (8,-12) (n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 38658}\fi};
\node[state] at (15,-38) (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 38694}\fi};
\node[accepting, state] at (35,-58) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 38571}\fi};
\node[state] at (44,-12) (n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 38829}\fi};
\node[state] at (35,-44) (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 38780}\fi};
\node[state] at (21,-32) (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n1) {$p?$\,\ifntiny{\tiny 38714}\fi};
\node[state] at (29,-8) (n1n0n0n0) {$p?$\,\ifntiny{\tiny 38831}\fi};
\node[state] at (7,-18) (n0n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 38651}\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 {b} (n0n0);
\draw[->, thick] (n0n0) edge [near start, left] node {a} (n0n0n0);
\draw[->, thick] (n0n0n0) edge [near start, left] node {} (n0n0n0n0);
\draw[->, thick] (n0n0n0) edge [near start, left] node {} (n0n0n0n1);
\draw[->, thick] (n0n0n0n0) edge [near start, left] node {b} (n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0) edge [near start, left] node {a} (n0n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0) edge [near start, left] node {} (n0n0n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0) edge [near start, left] node {} (n0n0n0n0n0n0n1);
\draw[->, thick] (n0n0n0n0n0n0n0) edge [near start, left] node {b} (n0n0n0n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0) edge [near start, left] node {a} (n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n0n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n0n0n0n0n0n0n0n0n0n1);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n0) edge [near start, right, bend right] node {b} (n0n0n0n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n1) edge [near start, left] node {a} (n0n0n0n0n0n0n0n0n0n1n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n0n0n0n0n0n0n0n1n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n0n0n0n0n0n0n0n1n0n1);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n1n0n0) edge [near start, left] node {b} (n0n0n0n0n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n0n0n0n0n0n0n0n0n0n1n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n0n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n1n0n0n0n0) edge [near start, right, bend right] node {a} (n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n1n0n0n0n1) edge [near start, left] node {a} (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0) edge [near start, left] node {b} (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0) edge [near start, left] node {a} (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0) edge [near start, left] node {b} (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0) edge [near start, left] node {a} (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0) edge [near start, left] node {a} (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0) edge [near start, left] node {b} (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {x} (n0n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {y} (n0n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n1n0n1) edge [near start, left] node {a} (n0n0n0n0n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n1n0n1n0) edge [near start, left] node {} (n0n0n0n0n0n0n0n0n0n1n0n1n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n1n0n1n0) edge [near start, left] node {} (n0n0n0n0n0n0n0n0n0n1n0n1n0n1);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n1n0n1n0n0) edge [near start, right, bend right] node {b} (n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0n1n0n1n0n1) edge [near start, right, bend right] node {a} (n0n0n0n0n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n0n0n0n0n0n0n1) edge [near start, left] node {a} (n0n0n0n0n0n0n1n0);
\draw[->, thick] (n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n0n0n0n0n1n0n0);
\draw[->, thick] (n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n0n0n0n0n1n0n1);
\draw[->, thick] (n0n0n0n0n0n0n1n0n0) edge [near start, left, bend left] node {b} (n0n0);
\draw[->, thick] (n0n0n0n0n0n0n1n0n1) edge [near start, right, bend right] node {a} (n0n0n0n0n0n0n1n0);
\draw[->, thick] (n0n0n0n1) edge [near start, left] node {a} (n0n0n0n1n0);
\draw[->, thick] (n0n0n0n1n0) edge [near start, left] node {} (n0n0n0n1n0n0);
\draw[->, thick] (n0n0n0n1n0) edge [near start, left] node {} (n0n0n0n1n0n1);
\draw[->, thick] (n0n0n0n1n0n0) edge [near start, left, bend left] node {b} (n0n0);
\draw[->, thick] (n0n0n0n1n0n1) edge [near start, right, bend right] node {a} (n0n0n0n1n0);
\draw[->, thick] (n1) edge [near start, left] node {a} (n1n0);
\draw[->, thick] (n1n0) edge [near start, left] node {} (n1n0n0);
\draw[->, thick] (n1n0) edge [near start, left] node {} (n1n0n1);
\draw[->, thick] (n1n0n0) edge [near start, left] node {b} (n1n0n0n0);
\draw[->, thick] (n1n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n0) edge [near start, right, bend right] node {b} (n1n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n0n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0) edge [near start, right, bend right] node {b} (n1n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0n0) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n1) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n0n0) edge [near start, left, bend left] node {a} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n1) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {x} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {y} (n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0) edge [near start, left, bend left] node {b} (n1n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n1) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n1) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0n1) edge [near start, left, bend left] node {a} (n1n0n0n0n0n0n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n0) edge [near start, right, bend right] node {b} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n0) edge [near start, right, bend right] node {b} (n1n0n0n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0n1) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0n0) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n1) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n0n0) edge [near start, left, bend left] node {a} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n1) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n1n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n1n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n1n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n1n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {x} (n1n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {y} (n1n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n0) edge [near start, right, bend right] node {b} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {x} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {y} (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n1) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n1) edge [near start, left, bend left] node {a} (n1n0n0n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n0n0n0n1) edge [near start, left, bend left] node {a} (n1n0n0n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n1n0n1n0n1) edge [near start, left, bend left] node {a} (n1n0n0n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n1n0n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n1n0n0) edge [near start, left] node {b} (n1n0n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n1n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n1n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n1n0n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0) edge [near start, right, bend right] node {b} (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0) edge [near start, left] node {b} (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0) edge [near start, right, bend right] node {a} (n1n0n0n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0) edge [near start, left] node {b} (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0) edge [near start, left] node {a} (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {x} (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {y} (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n1) edge [near start, right, bend right] node {a} (n1n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n0n0n0n1) edge [near start, left, bend left] node {a} (n1n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n1n0n0n0n0n1) edge [near start, left, bend left] node {a} (n1n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n1n0n1) edge [near start, left, bend left] node {a} (n1n0n0n0n0n1n0);
\draw[->, thick] (n1n0n1) edge [near start, left] node {a} (n1n0n1n0);
\draw[->, thick] (n1n0n1n0) edge [near start, left] node {} (n1n0n1n0n0);
\draw[->, thick] (n1n0n1n0) edge [near start, left] node {} (n1n0n1n0n1);
\draw[->, thick] (n1n0n1n0n0) edge [near start, left] node {b} (n1n0n1n0n0n0);
\draw[->, thick] (n1n0n1n0n0n0) edge [near start, left] node {a} (n1n0n1n0n0n0n0);
\draw[->, thick] (n1n0n1n0n0n0n0) edge [near start, left] node {} (n1n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n1n0n0n0n0) edge [near start, left] node {} (n1n0n1n0n0n0n0n1);
\draw[->, thick] (n1n0n1n0n0n0n0n0) edge [near start, left] node {b} (n1n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0) edge [near start, left] node {a} (n1n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n1n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n1n0n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n1n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0n0) edge [near start, left] node {a} (n1n0n1n0n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n1n0n0n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n1n0n0n0n0n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0n0n0n0) edge [near start, right, bend right] node {b} (n1n0n1n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0n0n0n1) edge [near start, left] node {a} (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n1);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0) edge [near start, left] node {b} (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0) edge [near start, right, bend right] node {a} (n1n0n1n0n0n0n0);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1) edge [near start, left] node {a} (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0) edge [near start, left] node {b} (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0) edge [near start, left] node {a} (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0) edge [near start, left] node {b} (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0) edge [near start, left] node {a} (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0) edge [near start, left] node {a} (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {x} (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {y} (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n1) edge [near start, right, bend right] node {a} (n1n0n1n0);
\draw[->, thick] (n1n0n1n0n0n0n0n0n0n0n1) edge [near start, left, bend left] node {a} (n1n0n1n0);
\draw[->, thick] (n1n0n1n0n0n0n0n1) edge [near start, left, bend left] node {a} (n1n0n1n0);
\draw[->, thick] (n1n0n1n0n1) edge [near start, left, bend left] node {a} (n1n0n1n0);

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