\documentclass{article}
\usepackage{a4wide}
\usepackage{adjustbox}
\usepackage{fancyhdr}
\usepackage{tikz}
\usepackage{ifthen}
\usetikzlibrary{automata}
\usepackage{datetime}
\lhead{./certificates/ex1-ok-loop-ex2-ok-loop/sim-13678.tex}
\rhead{08:49:43.131 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 = 177
\begin{tikzpicture}[rotate = 0]
%\begin{tikzpicture}[rotate = 90]
\tikzset{initial text=$ $}

\node[state] at (22,-36) (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 14848}\fi};
\node[state] at (14,-22) (n1n0n0n0n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 14824}\fi};
\node[accepting, state] at (15,-36) (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 14695}\fi};
\node[state] at (18,-26) (n1n0n0n0n0n0n0n0n0n1n0n1n0) {$\cup$\,\ifntiny{\tiny 14822}\fi};
\node[accepting, state] at (15,-32) (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 14697}\fi};
\node[state] at (17,-30) (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 14819}\fi};
\node[accepting, state] at (33,-56) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 14695}\fi};
\node[state] at (30,-40) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14879}\fi};
\node[state] at (23,-46) (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0n1) {$p?$\,\ifntiny{\tiny 14843}\fi};
\node[state] at (23,-28) (n1n0n0n0n0n0n1n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14859}\fi};
\node[state] at (24,-38) (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 14853}\fi};
\node[state] at (32,-38) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 14888}\fi};
\node[state] at (8,-20) (n1n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14779}\fi};
\node[state] at (27,-2) (n1) {$p?$\,\ifntiny{\tiny 14939}\fi};
\node[state] at (45,-12) (n1n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 14934}\fi};
\node[state] at (41,-32) (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 14921}\fi};
\node[state] at (41,-14) (n1n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 14932}\fi};
\node[state] at (22,-48) (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 14841}\fi};
\node[state] at (5,-14) (n0n0n1n0n0n1n0) {$p?$\,\ifntiny{\tiny 14766}\fi};
\node[state] at (23,-44) (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0) {$\cup$\,\ifntiny{\tiny 14844}\fi};
\node[state] at (25,-34) (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 14856}\fi};
\node[state] at (41,-12) (n1n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 14933}\fi};
\node[accepting, state] at (15,-42) (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) {$p!$\,\ifntiny{\tiny 14692}\fi};
\node[state] at (22,-38) (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 14847}\fi};
\node[accepting, state] at (6,-34) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0) {$p?$\,\ifntiny{\tiny 14623}\fi};
\node[state] at (22,-40) (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 14846}\fi};
\node[state] at (33,-42) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 14886}\fi};
\node[state] at (27,-28) (n1n0n0n0n0n0n1n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 14866}\fi};
\node[state] at (32,-34) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14890}\fi};
\node[state] at (26,-32) (n1n0n0n0n0n0n1n0n0n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 14863}\fi};
\node[state] at (31,-48) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 14882}\fi};
\node[state] at (4,-8) (n0n0n1n0) {$p?$\,\ifntiny{\tiny 14769}\fi};
\node[state] at (40,-28) (n1n0n0n1n0n0n0n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 14923}\fi};
\node[state] at (5,-26) (n0n0n1n0n0n1n0n0n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 14759}\fi};
\node[state] at (23,-12) (n1n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 14904}\fi};
\node[state] at (25,-32) (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 14857}\fi};
\node[state] at (1,-12) (n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 14747}\fi};
\node[accepting, state] at (29,-30) (n1n0n0n0n0n0n1n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 14730}\fi};
\node[accepting, state] at (33,-58) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14694}\fi};
\node[state] at (40,-34) (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 14919}\fi};
\node[state] at (27,-4) (n1n0) {$p?$\,\ifntiny{\tiny 14938}\fi};
\node[state] at (29,-16) (n1n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 14902}\fi};
\node[state] at (5,-18) (n0n0n1n0n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 14764}\fi};
\node[state] at (17,-36) (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14815}\fi};
\node[accepting, state] at (29,-36) (n1n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) {$p!$\,\ifntiny{\tiny 14727}\fi};
\node[state] at (12,-36) (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 14799}\fi};
\node[state] at (24,-22) (n1n0n0n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 14869}\fi};
\node[state] at (37,-22) (n1n0n0n0n0n0n1n0n1n0n1) {$p?$\,\ifntiny{\tiny 14899}\fi};
\node[state] at (14,-18) (n1n0n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 14826}\fi};
\node[state] at (34,-20) (n1n0n0n0n0n0n1n0n1n0) {$\cup$\,\ifntiny{\tiny 14900}\fi};
\node[state] at (41,-30) (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 14922}\fi};
\node[state] at (5,-28) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 14758}\fi};
\node[accepting, state] at (33,-50) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 14698}\fi};
\node[state] at (11,-42) (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 14790}\fi};
\node[state] at (13,-32) (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 14802}\fi};
\node[state] at (26,-30) (n1n0n0n0n0n0n1n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 14864}\fi};
\node[state] at (33,-40) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 14887}\fi};
\node[state] at (36,-28) (n1n0n0n0n0n0n1n0n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 14895}\fi};
\node[state] at (32,-44) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 14884}\fi};
\node[state] at (23,-10) (n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 14905}\fi};
\node[state] at (25,-18) (n1n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 14871}\fi};
\node[state] at (39,-38) (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 14917}\fi};
\node[state] at (33,-30) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14893}\fi};
\node[state] at (4,-10) (n0n0n1n0n0) {$\cup$\,\ifntiny{\tiny 14768}\fi};
\node[state] at (18,-34) (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 14817}\fi};
\node[state] at (34,-18) (n1n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 14901}\fi};
\node[accepting, state] at (41,-44) (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 14696}\fi};
\node[state] at (22,-32) (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14850}\fi};
\node[accepting, state] at (41,-52) (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) {$p!$\,\ifntiny{\tiny 14692}\fi};
\node[state] at (33,-26) (n1n0n0n0n0n0n1n0n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 14896}\fi};
\node[state] at (41,-22) (n1n0n0n1n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 14927}\fi};
\node[state] at (5,-22) (n0n0n1n0n0n1n0n0n1n0n0) {$\cup$\,\ifntiny{\tiny 14762}\fi};
\node[accepting, state] at (33,-62) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) {$p!$\,\ifntiny{\tiny 14692}\fi};
\node[initial, state] at (23,0) (n) {$\cup$\,\ifntiny{\tiny 14940}\fi};
\node[state] at (21,-42) (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 14838}\fi};
\node[accepting, state] at (33,-48) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1) {$p?$\,\ifntiny{\tiny 14699}\fi};
\node[accepting, state] at (6,-40) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 14620}\fi};
\node[state] at (19,-28) (n1n0n0n0n0n0n0n0n0n1n0n1n0n1) {$p?$\,\ifntiny{\tiny 14821}\fi};
\node[state] at (20,-38) (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14836}\fi};
\node[state] at (11,-30) (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 14803}\fi};
\node[accepting, state] at (6,-36) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0) {$p?$\,\ifntiny{\tiny 14622}\fi};
\node[state] at (18,-24) (n1n0n0n0n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 14823}\fi};
\node[state] at (40,-26) (n1n0n0n1n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14924}\fi};
\node[state] at (32,-36) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14889}\fi};
\node[accepting, state] at (33,-60) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14693}\fi};
\node[state] at (17,-34) (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14816}\fi};
\node[accepting, state] at (41,-38) (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1) {$p?$\,\ifntiny{\tiny 14699}\fi};
\node[accepting, state] at (15,-40) (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14693}\fi};
\node[state] at (24,-36) (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 14854}\fi};
\node[accepting, state] at (41,-40) (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 14698}\fi};
\node[state] at (33,-24) (n1n0n0n0n0n0n1n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 14897}\fi};
\node[state] at (27,-30) (n1n0n0n0n0n0n1n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 14865}\fi};
\node[state] at (17,-40) (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 14813}\fi};
\node[accepting, state] at (6,-46) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0n0) {$p!$\,\ifntiny{\tiny 14617}\fi};
\node[accepting, state] at (6,-42) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14619}\fi};
\node[state] at (0,-6) (n0n0n0) {$p?$\,\ifntiny{\tiny 14744}\fi};
\node[state] at (4,-4) (n0n0) {$\cup$\,\ifntiny{\tiny 14771}\fi};
\node[state] at (40,-36) (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0) {$\cup$\,\ifntiny{\tiny 14918}\fi};
\node[state] at (23,-30) (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 14858}\fi};
\node[accepting, state] at (29,-34) (n1n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14728}\fi};
\node[accepting, state] at (15,-34) (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 14696}\fi};
\node[accepting, state] at (6,-38) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 14621}\fi};
\node[state] at (33,-32) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 14892}\fi};
\node[state] at (11,-38) (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 14792}\fi};
\node[accepting, state] at (15,-28) (n1n0n0n0n0n0n0n0n0n1n0n0n0n1) {$p?$\,\ifntiny{\tiny 14699}\fi};
\node[state] at (10,-42) (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 14789}\fi};
\node[state] at (14,-20) (n1n0n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 14825}\fi};
\node[state] at (5,-12) (n0n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 14767}\fi};
\node[state] at (10,-36) (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 14793}\fi};
\node[accepting, state] at (41,-48) (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14694}\fi};
\node[accepting, state] at (41,-46) (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 14695}\fi};
\node[state] at (10,-34) (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14794}\fi};
\node[state] at (12,-38) (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 14798}\fi};
\node[state] at (17,-28) (n1n0n0n0n0n0n0n0n0n1n0n1n0n0) {$p?$\,\ifntiny{\tiny 14820}\fi};
\node[state] at (23,-26) (n1n0n0n0n0n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14860}\fi};
\node[state] at (38,-30) (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14914}\fi};
\node[state] at (25,-36) (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 14855}\fi};
\node[state] at (16,-40) (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14812}\fi};
\node[state] at (43,-24) (n1n0n0n1n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 14926}\fi};
\node[state] at (44,-18) (n1n0n0n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 14930}\fi};
\node[state] at (23,-42) (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 14845}\fi};
\node[accepting, state] at (29,-32) (n1n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14729}\fi};
\node[state] at (33,-28) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14894}\fi};
\node[accepting, state] at (15,-38) (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14694}\fi};
\node[state] at (11,-28) (n1n0n0n0n0n0n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 14804}\fi};
\node[state] at (27,-26) (n1n0n0n0n0n0n1n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 14867}\fi};
\node[state] at (5,-24) (n0n0n1n0n0n1n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 14760}\fi};
\node[state] at (32,-46) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0) {$\cup$\,\ifntiny{\tiny 14883}\fi};
\node[state] at (14,-16) (n1n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14827}\fi};
\node[state] at (42,-8) (n1n0n0n1) {$p?$\,\ifntiny{\tiny 14936}\fi};
\node[state] at (25,-20) (n1n0n0n0n0n0n1n0n0n0) {$\cup$\,\ifntiny{\tiny 14870}\fi};
\node[state] at (4,-6) (n0n0n1) {$p?$\,\ifntiny{\tiny 14770}\fi};
\node[accepting, state] at (6,-44) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14618}\fi};
\node[accepting, state] at (6,-32) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 14624}\fi};
\node[state] at (29,-14) (n1n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 14903}\fi};
\node[state] at (27,-6) (n1n0n0) {$\cup$\,\ifntiny{\tiny 14937}\fi};
\node[state] at (13,-34) (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 14801}\fi};
\node[state] at (9,-38) (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14785}\fi};
\node[accepting, state] at (29,-28) (n1n0n0n0n0n0n1n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 14731}\fi};
\node[state] at (7,-24) (n0n0n1n0n0n1n0n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 14761}\fi};
\node[state] at (22,-46) (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0) {$p?$\,\ifntiny{\tiny 14842}\fi};
\node[state] at (22,-34) (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14849}\fi};
\node[state] at (14,-14) (n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14828}\fi};
\node[state] at (24,-24) (n1n0n0n0n0n0n1n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 14868}\fi};
\node[state] at (41,-16) (n1n0n0n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 14931}\fi};
\node[state] at (17,-32) (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 14818}\fi};
\node[accepting, state] at (15,-30) (n1n0n0n0n0n0n0n0n0n1n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 14698}\fi};
\node[accepting, state] at (29,-22) (n1n0n0n0n0n0n1n0n0n0n1) {$p?$\,\ifntiny{\tiny 14734}\fi};
\node[state] at (4,-2) (n0) {$p?$\,\ifntiny{\tiny 14772}\fi};
\node[accepting, state] at (41,-42) (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 14697}\fi};
\node[state] at (33,-22) (n1n0n0n0n0n0n1n0n1n0n0) {$p?$\,\ifntiny{\tiny 14898}\fi};
\node[state] at (41,-20) (n1n0n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14928}\fi};
\node[accepting, state] at (29,-26) (n1n0n0n0n0n0n1n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 14732}\fi};
\node[state] at (3,-28) (n0n0n1n0n0n1n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14754}\fi};
\node[state] at (12,-26) (n1n0n0n0n0n0n0n0n0n1n0n0n0) {$\cup$\,\ifntiny{\tiny 14805}\fi};
\node[state] at (34,-44) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 14885}\fi};
\node[accepting, state] at (33,-54) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 14696}\fi};
\node[state] at (12,-24) (n1n0n0n0n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 14806}\fi};
\node[state] at (35,-34) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 14891}\fi};
\node[state] at (4,-32) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 14756}\fi};
\node[state] at (40,-24) (n1n0n0n1n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14925}\fi};
\node[accepting, state] at (33,-52) (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 14697}\fi};
\node[accepting, state] at (29,-24) (n1n0n0n0n0n0n1n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 14733}\fi};
\node[state] at (5,-30) (n0n0n1n0n0n1n0n0n1n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 14757}\fi};
\node[state] at (13,-36) (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 14800}\fi};
\node[state] at (42,-34) (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 14920}\fi};
\node[state] at (5,-20) (n0n0n1n0n0n1n0n0n1n0) {$p?$\,\ifntiny{\tiny 14763}\fi};
\node[state] at (11,-40) (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 14791}\fi};
\node[accepting, state] at (41,-50) (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14693}\fi};
\node[state] at (5,-16) (n0n0n1n0n0n1n0n0) {$\cup$\,\ifntiny{\tiny 14765}\fi};
\node[state] at (10,-44) (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 14788}\fi};
\node[state] at (23,-8) (n1n0n0n0) {$p?$\,\ifntiny{\tiny 14906}\fi};
\node[state] at (17,-38) (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 14814}\fi};
\node[state] at (42,-10) (n1n0n0n1n0) {$\cup$\,\ifntiny{\tiny 14935}\fi};
\node[state] at (2,-18) (n0n0n1n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 14750}\fi};
\node[state] at (10,-32) (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14795}\fi};
\node[state] at (41,-18) (n1n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 14929}\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, right, bend right] node {a} (n0n0);
\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, right, bend right] node {a} (n0n0);
\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, right, bend right] node {a} (n0n0);
\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, right, bend right] node {a} (n0n0);
\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, right, bend right] node {a} (n0n0n1n0n0);
\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, left] node {a} (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0) edge [near start, right, bend right] node {b} (n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0n0) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n1) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n0n0) edge [near start, left, bend left] node {a} (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0n1) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n0n0n0n1n0n0n0n0n0n1n0);
\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, left] node {b} (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0) edge [near start, left, bend left] node {b} (n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n1) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n1n0n0n0n0n1) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n0n0n1n0n1n0n1) edge [near start, left, bend left] 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] node {b} (n1n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n0) edge [near start, right, bend right] node {b} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n0) edge [near start, right, bend right] node {b} (n1n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0n0n0) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0n1) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n0n0) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0n1) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n1n0n0n0n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n1n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n0n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n0n0n0n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n1n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n1n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n1n0n0n0) edge [near start, left, bend left] node {a} (n1n0n0n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n0n0n1n0n1) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n1n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n1n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n1n0) edge [near start, left] node {b} (n1n0n0n0n0n0n1n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n1n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n1n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n1n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n1n0n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n1n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {x} (n1n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {y} (n1n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n1n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n1n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n1n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n0) edge [near start, right, bend right] node {b} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n1);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n1n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0) edge [near start, left] node {b} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {x} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {y} (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n0n0n0n1n0n1) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n0n0n0n1) edge [near start, left, bend left] node {a} (n1n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n0n0n0n1) edge [near start, left, bend left] node {a} (n1n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n1n0n1n0n1) edge [near start, left, bend left] node {a} (n1n0n0n0n0n0n1n0n1n0);
\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] node {b} (n1n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0) edge [near start, left] node {a} (n1n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0) edge [near start, left] node {} (n1n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0) edge [near start, left] node {} (n1n0n0n1n0n0n0n0n1);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n1n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n1n0n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n1n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n1n0n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n0) edge [near start, right, bend right] node {b} (n1n0n0n1n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1) edge [near start, left] node {a} (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n1);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0) edge [near start, left] node {b} (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0) edge [near start, left] node {} (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n0) edge [near start, right, bend right] node {a} (n1n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1) edge [near start, left] node {a} (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0) edge [near start, left] node {b} (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0) edge [near start, left] node {a} (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0) edge [near start, left] node {b} (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0) edge [near start, left] node {a} (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0) edge [near start, left] node {a} (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0) edge [near start, left] node {b} (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {x} (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {y} (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n0n0n1);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n0n0n0n1n0n1) edge [near start, right, bend right] node {a} (n1n0n0n1n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0n1) edge [near start, left, bend left] node {a} (n1n0n0n1n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n1) edge [near start, left, bend left] node {a} (n1n0n0n1n0);
\draw[->, thick] (n1n0n0n1n0n1) edge [near start, left, bend left] node {a} (n1n0n0n1n0);

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