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

\node[state] at (18,-26) (n0n0n1n0n0n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 28960}\fi};
\node[accepting, state] at (35,-24) (n1n0n0n0n0n0n0n2n0n0n0n2) {$p?$\,\ifntiny{\tiny 28382}\fi};
\node[accepting, state] at (5,-36) (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 28565}\fi};
\node[accepting, state] at (34,-22) (n1n0n0n0n0n0n0n2n0n0n0) {$p!$\,\ifntiny{\tiny 28383}\fi};
\node[accepting, state] at (45,-14) (n1n0n0n2n0n0n0) {$p!$\,\ifntiny{\tiny 28886}\fi};
\node[state] at (24,-10) (n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 28974}\fi};
\node[accepting, state] at (11,-20) (n0n0n0n0n0n1n0n1n0n2) {$p?$\,\ifntiny{\tiny 28593}\fi};
\node[state] at (39,-2) (n1) {$p?$\,\ifntiny{\tiny 29015}\fi};
\node[accepting, state] at (26,-12) (n0n0n1n0n2n0) {$p?$\,\ifntiny{\tiny 28831}\fi};
\node[state] at (40,-14) (n1n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 29008}\fi};
\node[accepting, state] at (11,-30) (n0n0n0n0n0n1n0n1n0n2n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 28565}\fi};
\node[state] at (17,-16) (n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 28965}\fi};
\node[accepting, state] at (41,-32) (n1n0n0n1n0n0n0n0n0n0n2n0n0n0n2n0) {$p?$\,\ifntiny{\tiny 28381}\fi};
\node[accepting, state] at (45,-8) (n1n0n0n2) {$p?$\,\ifntiny{\tiny 28889}\fi};
\node[accepting, state] at (48,-4) (n2n0) {$p?$\,\ifntiny{\tiny 28910}\fi};
\node[accepting, state] at (30,-14) (n0n0n2n0n0n0n2) {$p?$\,\ifntiny{\tiny 28636}\fi};
\node[accepting, state] at (22,-26) (n0n0n1n0n0n0n0n2n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 28471}\fi};
\node[state] at (40,-12) (n1n0n0n1n0n0) {$\cup$\,\ifntiny{\tiny 29010}\fi};
\node[accepting, state] at (40,-30) (n1n0n0n1n0n0n0n0n0n0n2n0n0n0n1) {$p?$\,\ifntiny{\tiny 28359}\fi};
\node[accepting, state] at (48,-12) (n2n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 28901}\fi};
\node[state] at (8,-20) (n0n0n0n0n0n1n0n1n0n0) {$p?$\,\ifntiny{\tiny 28943}\fi};
\node[accepting, state] at (34,-16) (n1n0n0n0n0n0n0n2) {$p?$\,\ifntiny{\tiny 28386}\fi};
\node[accepting, state] at (5,-26) (n0n0n0n0n0n0n0n0n1n0n1n0n2) {$p?$\,\ifntiny{\tiny 28593}\fi};
\node[state] at (22,-8) (n0n0n1n0) {$\cup$\,\ifntiny{\tiny 28975}\fi};
\node[accepting, state] at (12,-30) (n0n0n0n0n0n1n0n1n0n2n0n0n0n2n0) {$p?$\,\ifntiny{\tiny 28588}\fi};
\node[state] at (33,-12) (n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 28988}\fi};
\node[state] at (20,-12) (n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 28972}\fi};
\node[accepting, state] at (11,-26) (n0n0n0n0n0n1n0n1n0n2n0n0n0) {$p!$\,\ifntiny{\tiny 28590}\fi};
\node[accepting, state] at (35,-26) (n1n0n0n0n0n0n0n2n0n0n0n2n0) {$p?$\,\ifntiny{\tiny 28381}\fi};
\node[state] at (1,-24) (n0n0n0n0n0n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 28922}\fi};
\node[accepting, state] at (29,-6) (n0n0n2) {$p?$\,\ifntiny{\tiny 28640}\fi};
\node[accepting, state] at (11,-24) (n0n0n0n0n0n1n0n1n0n2n0n0) {$p?$\,\ifntiny{\tiny 28591}\fi};
\node[state] at (39,-4) (n1n0) {$p?$\,\ifntiny{\tiny 29014}\fi};
\node[state] at (8,-22) (n0n0n0n0n0n1n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 28942}\fi};
\node[state] at (4,-18) (n0n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 28932}\fi};
\node[state] at (17,-18) (n0n0n1n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 28964}\fi};
\node[state] at (32,-16) (n1n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 28986}\fi};
\node[accepting, state] at (22,-24) (n0n0n1n0n0n0n0n2n0n0n0n1) {$p?$\,\ifntiny{\tiny 28472}\fi};
\node[state] at (38,-24) (n1n0n0n1n0n0n0n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 29000}\fi};
\node[accepting, state] at (40,-32) (n1n0n0n1n0n0n0n0n0n0n2n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 28358}\fi};
\node[accepting, state] at (27,-20) (n0n0n1n0n2n0n0n0n2n0) {$p?$\,\ifntiny{\tiny 28827}\fi};
\node[accepting, state] at (49,-10) (n2n0n0n0n2) {$p?$\,\ifntiny{\tiny 28907}\fi};
\node[accepting, state] at (5,-34) (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0n0n1) {$p?$\,\ifntiny{\tiny 28566}\fi};
\node[accepting, state] at (34,-24) (n1n0n0n0n0n0n0n2n0n0n0n1) {$p?$\,\ifntiny{\tiny 28359}\fi};
\node[state] at (34,-10) (n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 28992}\fi};
\node[state] at (20,-10) (n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 28973}\fi};
\node[state] at (17,-26) (n0n0n1n0n0n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 28959}\fi};
\node[state] at (38,-22) (n1n0n0n1n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 29001}\fi};
\node[accepting, state] at (40,-24) (n1n0n0n1n0n0n0n0n0n0n2n0) {$p?$\,\ifntiny{\tiny 28385}\fi};
\node[state] at (4,-22) (n0n0n0n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 28930}\fi};
\node[state] at (2,-28) (n0n0n0n0n0n0n0n0n1n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 28926}\fi};
\node[state] at (20,-14) (n0n0n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 28971}\fi};
\node[state] at (37,-22) (n1n0n0n1n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 28998}\fi};
\node[accepting, state] at (48,-10) (n2n0n0n0n1) {$p?$\,\ifntiny{\tiny 28902}\fi};
\node[state] at (17,-20) (n0n0n1n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 28963}\fi};
\node[accepting, state] at (45,-12) (n1n0n0n2n0n0) {$p?$\,\ifntiny{\tiny 28887}\fi};
\node[accepting, state] at (45,-10) (n1n0n0n2n0) {$p?$\,\ifntiny{\tiny 28888}\fi};
\node[accepting, state] at (26,-18) (n0n0n1n0n2n0n0n0n1) {$p?$\,\ifntiny{\tiny 28805}\fi};
\node[state] at (43,-14) (n1n0n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 29009}\fi};
\node[state] at (1,-22) (n0n0n0n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 28923}\fi};
\node[initial, state] at (25,0) (n) {$\cup$\,\ifntiny{\tiny 29016}\fi};
\node[accepting, state] at (34,-18) (n1n0n0n0n0n0n0n2n0) {$p?$\,\ifntiny{\tiny 28385}\fi};
\node[accepting, state] at (45,-18) (n1n0n0n2n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 28870}\fi};
\node[accepting, state] at (49,-12) (n2n0n0n0n2n0) {$p?$\,\ifntiny{\tiny 28906}\fi};
\node[accepting, state] at (29,-12) (n0n0n2n0n0n0) {$p!$\,\ifntiny{\tiny 28637}\fi};
\node[accepting, state] at (5,-30) (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0) {$p?$\,\ifntiny{\tiny 28591}\fi};
\node[accepting, state] at (34,-20) (n1n0n0n0n0n0n0n2n0n0) {$p?$\,\ifntiny{\tiny 28384}\fi};
\node[accepting, state] at (15,-20) (n0n0n0n0n0n2n0n0n0n2) {$p?$\,\ifntiny{\tiny 28737}\fi};
\node[state] at (20,-16) (n0n0n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 28970}\fi};
\node[state] at (32,-18) (n1n0n0n0n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 28985}\fi};
\node[accepting, state] at (14,-16) (n0n0n0n0n0n2n0n0) {$p?$\,\ifntiny{\tiny 28739}\fi};
\node[state] at (0,-18) (n0n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 28919}\fi};
\node[state] at (3,-16) (n0n0n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 28933}\fi};
\node[state] at (3,-14) (n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 28934}\fi};
\node[state] at (3,-12) (n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 28935}\fi};
\node[state] at (8,-10) (n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 28949}\fi};
\node[state] at (8,-8) (n0n0n0n0) {$p?$\,\ifntiny{\tiny 28950}\fi};
\node[state] at (8,-6) (n0n0n0) {$p?$\,\ifntiny{\tiny 28951}\fi};
\node[state] at (15,-4) (n0n0) {$\cup$\,\ifntiny{\tiny 28977}\fi};
\node[accepting, state] at (5,-32) (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0n0) {$p!$\,\ifntiny{\tiny 28590}\fi};
\node[accepting, state] at (12,-28) (n0n0n0n0n0n1n0n1n0n2n0n0n0n2) {$p?$\,\ifntiny{\tiny 28589}\fi};
\node[accepting, state] at (11,-22) (n0n0n0n0n0n1n0n1n0n2n0) {$p?$\,\ifntiny{\tiny 28592}\fi};
\node[state] at (2,-26) (n0n0n0n0n0n0n0n0n1n0n1n0n0) {$p?$\,\ifntiny{\tiny 28927}\fi};
\node[accepting, state] at (22,-16) (n0n0n1n0n0n0n0n2) {$p?$\,\ifntiny{\tiny 28502}\fi};
\node[accepting, state] at (14,-12) (n0n0n0n0n0n2) {$p?$\,\ifntiny{\tiny 28741}\fi};
\node[state] at (4,-24) (n0n0n0n0n0n0n0n0n1n0n1n0) {$\cup$\,\ifntiny{\tiny 28929}\fi};
\node[accepting, state] at (40,-26) (n1n0n0n1n0n0n0n0n0n0n2n0n0) {$p?$\,\ifntiny{\tiny 28384}\fi};
\node[state] at (20,-18) (n0n0n1n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 28969}\fi};
\node[accepting, state] at (6,-34) (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0n0n2) {$p?$\,\ifntiny{\tiny 28589}\fi};
\node[state] at (10,-16) (n0n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 28946}\fi};
\node[accepting, state] at (46,-18) (n1n0n0n2n0n0n0n2n0) {$p?$\,\ifntiny{\tiny 28884}\fi};
\node[accepting, state] at (22,-20) (n0n0n1n0n0n0n0n2n0n0) {$p?$\,\ifntiny{\tiny 28500}\fi};
\node[state] at (42,-18) (n1n0n0n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 29006}\fi};
\node[accepting, state] at (48,-8) (n2n0n0n0) {$p!$\,\ifntiny{\tiny 28908}\fi};
\node[accepting, state] at (29,-10) (n0n0n2n0n0) {$p?$\,\ifntiny{\tiny 28638}\fi};
\node[state] at (18,-22) (n0n0n1n0n0n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 28962}\fi};
\node[accepting, state] at (23,-26) (n0n0n1n0n0n0n0n2n0n0n0n2n0) {$p?$\,\ifntiny{\tiny 28497}\fi};
\node[accepting, state] at (14,-18) (n0n0n0n0n0n2n0n0n0) {$p!$\,\ifntiny{\tiny 28738}\fi};
\node[state] at (31,-16) (n1n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 28983}\fi};
\node[state] at (9,-20) (n0n0n0n0n0n1n0n1n0n1) {$p?$\,\ifntiny{\tiny 28944}\fi};
\node[accepting, state] at (26,-14) (n0n0n1n0n2n0n0) {$p?$\,\ifntiny{\tiny 28830}\fi};
\node[state] at (40,-8) (n1n0n0n1) {$p?$\,\ifntiny{\tiny 29012}\fi};
\node[accepting, state] at (41,-30) (n1n0n0n1n0n0n0n0n0n0n2n0n0n0n2) {$p?$\,\ifntiny{\tiny 28382}\fi};
\node[accepting, state] at (29,-8) (n0n0n2n0) {$p?$\,\ifntiny{\tiny 28639}\fi};
\node[state] at (36,-14) (n1n0n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 28990}\fi};
\node[state] at (18,-24) (n0n0n1n0n0n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 28961}\fi};
\node[accepting, state] at (11,-28) (n0n0n0n0n0n1n0n1n0n2n0n0n0n1) {$p?$\,\ifntiny{\tiny 28566}\fi};
\node[accepting, state] at (22,-22) (n0n0n1n0n0n0n0n2n0n0n0) {$p!$\,\ifntiny{\tiny 28499}\fi};
\node[accepting, state] at (40,-28) (n1n0n0n1n0n0n0n0n0n0n2n0n0n0) {$p!$\,\ifntiny{\tiny 28383}\fi};
\node[state] at (22,-6) (n0n0n1) {$p?$\,\ifntiny{\tiny 28976}\fi};
\node[state] at (39,-6) (n1n0n0) {$\cup$\,\ifntiny{\tiny 29013}\fi};
\node[accepting, state] at (26,-10) (n0n0n1n0n2) {$p?$\,\ifntiny{\tiny 28832}\fi};
\node[state] at (10,-18) (n0n0n0n0n0n1n0n1n0) {$\cup$\,\ifntiny{\tiny 28945}\fi};
\node[state] at (3,-26) (n0n0n0n0n0n0n0n0n1n0n1n0n1) {$p?$\,\ifntiny{\tiny 28928}\fi};
\node[state] at (10,-14) (n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 28947}\fi};
\node[state] at (7,-16) (n0n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 28939}\fi};
\node[accepting, state] at (14,-14) (n0n0n0n0n0n2n0) {$p?$\,\ifntiny{\tiny 28740}\fi};
\node[state] at (19,-20) (n0n0n1n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 28967}\fi};
\node[state] at (33,-14) (n1n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 28987}\fi};
\node[state] at (4,-20) (n0n0n0n0n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 28931}\fi};
\node[accepting, state] at (26,-16) (n0n0n1n0n2n0n0n0) {$p!$\,\ifntiny{\tiny 28829}\fi};
\node[state] at (40,-16) (n1n0n0n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 29007}\fi};
\node[accepting, state] at (23,-24) (n0n0n1n0n0n0n0n2n0n0n0n2) {$p?$\,\ifntiny{\tiny 28498}\fi};
\node[accepting, state] at (22,-18) (n0n0n1n0n0n0n0n2n0) {$p?$\,\ifntiny{\tiny 28501}\fi};
\node[state] at (15,-2) (n0) {$p?$\,\ifntiny{\tiny 28978}\fi};
\node[state] at (7,-18) (n0n0n0n0n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 28938}\fi};
\node[accepting, state] at (34,-26) (n1n0n0n0n0n0n0n2n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 28358}\fi};
\node[accepting, state] at (14,-22) (n0n0n0n0n0n2n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 28710}\fi};
\node[accepting, state] at (14,-20) (n0n0n0n0n0n2n0n0n0n1) {$p?$\,\ifntiny{\tiny 28711}\fi};
\node[state] at (39,-20) (n1n0n0n1n0n0n0n0n0n0) {$\cup$\,\ifntiny{\tiny 29002}\fi};
\node[accepting, state] at (46,-16) (n1n0n0n2n0n0n0n2) {$p?$\,\ifntiny{\tiny 28885}\fi};
\node[accepting, state] at (45,-16) (n1n0n0n2n0n0n0n1) {$p?$\,\ifntiny{\tiny 28871}\fi};
\node[accepting, state] at (15,-22) (n0n0n0n0n0n2n0n0n0n2n0) {$p?$\,\ifntiny{\tiny 28736}\fi};
\node[state] at (20,-20) (n0n0n1n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 28968}\fi};
\node[accepting, state] at (27,-18) (n0n0n1n0n2n0n0n0n2) {$p?$\,\ifntiny{\tiny 28828}\fi};
\node[state] at (16,-22) (n0n0n1n0n0n0n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 28957}\fi};
\node[accepting, state] at (30,-16) (n0n0n2n0n0n0n2n0) {$p?$\,\ifntiny{\tiny 28635}\fi};
\node[accepting, state] at (48,-6) (n2n0n0) {$p?$\,\ifntiny{\tiny 28909}\fi};
\node[accepting, state] at (26,-20) (n0n0n1n0n2n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 28804}\fi};
\node[accepting, state] at (5,-28) (n0n0n0n0n0n0n0n0n1n0n1n0n2n0) {$p?$\,\ifntiny{\tiny 28592}\fi};
\node[accepting, state] at (29,-14) (n0n0n2n0n0n0n1) {$p?$\,\ifntiny{\tiny 28625}\fi};
\node[state] at (36,-12) (n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 28991}\fi};
\node[accepting, state] at (29,-16) (n0n0n2n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 28624}\fi};
\node[accepting, state] at (48,-2) (n2) {$p?$\,\ifntiny{\tiny 28911}\fi};
\node[state] at (10,-12) (n0n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 28948}\fi};
\node[state] at (34,-8) (n1n0n0n0) {$p?$\,\ifntiny{\tiny 28993}\fi};
\node[state] at (42,-20) (n1n0n0n1n0n0n0n0n1n0) {$p?$\,\ifntiny{\tiny 29005}\fi};
\node[accepting, state] at (40,-22) (n1n0n0n1n0n0n0n0n0n0n2) {$p?$\,\ifntiny{\tiny 28386}\fi};
\node[state] at (40,-10) (n1n0n0n1n0) {$p?$\,\ifntiny{\tiny 29011}\fi};
\node[accepting, state] at (6,-36) (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0n0n2n0) {$p?$\,\ifntiny{\tiny 28588}\fi};
\node[state] at (39,-18) (n1n0n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 29003}\fi};

\draw[->, thick] (n) edge [near start, left] node {} (n0);
\draw[->, thick] (n) edge [near start, left] node {} (n1);
\draw[->, thick] (n) edge [near start, left] node {} (n2);
\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] (n0n0) edge [near start, left] node {} (n0n0n2);
\draw[->, thick] (n0n0n0) edge [near start, left] node {b} (n0n0n0n0);
\draw[->, thick] (n0n0n0n0) edge [near start, left] node {a} (n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0) edge [near start, left] node {} (n0n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0) edge [near start, left] node {} (n0n0n0n0n0n1);
\draw[->, thick] (n0n0n0n0n0) edge [near start, left] node {} (n0n0n0n0n0n2);
\draw[->, thick] (n0n0n0n0n0n0) edge [near start, left] node {b} (n0n0n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0) edge [near start, left] node {a} (n0n0n0n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n0n0n0n0n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0) edge [near start, left] node {} (n0n0n0n0n0n0n0n0n1);
\draw[->, thick] (n0n0n0n0n0n0n0n0n0) edge [near start, right, bend right] node {b} (n0n0n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1) edge [near start, left] node {a} (n0n0n0n0n0n0n0n0n1n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n0n0n0n0n0n0n1n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n0n0n0n0n0n0n1n0n1);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1n0n0) edge [near start, left] node {b} (n0n0n0n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1n0n0n0) edge [near start, right, bend right] node {a} (n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1n0n1) edge [near start, left] node {a} (n0n0n0n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1n0n1n0) edge [near start, left] node {} (n0n0n0n0n0n0n0n0n1n0n1n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1n0n1n0) edge [near start, left] node {} (n0n0n0n0n0n0n0n0n1n0n1n0n1);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1n0n1n0) edge [near start, left] node {} (n0n0n0n0n0n0n0n0n1n0n1n0n2);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1n0n1n0n0) edge [near start, left] node {b} (n0n0n0n0n0n0n0n0n1n0n1n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1n0n1n0n0n0) edge [near start, right, bend right] node {a} (n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1n0n1n0n1) edge [near start, right, bend right] node {a} (n0n0n0n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1n0n1n0n2) edge [near start, left] node {a} (n0n0n0n0n0n0n0n0n1n0n1n0n2n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1n0n1n0n2n0) edge [near start, left] node {b} (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0) edge [near start, left] node {a} (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0n0) edge [near start, right, bend right] node {x1} (n0n0n0n0n0n0n0n0n1n0n1n0n2);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0n0) edge [near start, left] node {x2} (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0n0n1);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0n0) edge [near start, left] node {x3} (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0n0n2);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0n0n1) edge [near start, left] node {a} (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0n0n1n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0n0n1n0) edge [near start, right, bend right] node {a} (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0n0n2) edge [near start, left] node {a} (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0n0n2n0);
\draw[->, thick] (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0n0n2n0) edge [near start, left, bend left] node {a} (n0n0n0n0n0n0n0n0n1n0n1n0n2n0n0n0);
\draw[->, thick] (n0n0n0n0n0n1) edge [near start, left] node {a} (n0n0n0n0n0n1n0);
\draw[->, thick] (n0n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n0n0n0n1n0n0);
\draw[->, thick] (n0n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n0n0n0n1n0n1);
\draw[->, thick] (n0n0n0n0n0n1n0n0) edge [near start, left] node {b} (n0n0n0n0n0n1n0n0n0);
\draw[->, thick] (n0n0n0n0n0n1n0n0n0) edge [near start, right, bend right] node {a} (n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0n1n0n1) edge [near start, left] node {a} (n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n0n0n0n0n0n1n0n1n0) edge [near start, left] node {} (n0n0n0n0n0n1n0n1n0n0);
\draw[->, thick] (n0n0n0n0n0n1n0n1n0) edge [near start, left] node {} (n0n0n0n0n0n1n0n1n0n1);
\draw[->, thick] (n0n0n0n0n0n1n0n1n0) edge [near start, left] node {} (n0n0n0n0n0n1n0n1n0n2);
\draw[->, thick] (n0n0n0n0n0n1n0n1n0n0) edge [near start, left] node {b} (n0n0n0n0n0n1n0n1n0n0n0);
\draw[->, thick] (n0n0n0n0n0n1n0n1n0n0n0) edge [near start, right, bend right] node {a} (n0n0n0n0n0);
\draw[->, thick] (n0n0n0n0n0n1n0n1n0n1) edge [near start, right, bend right] node {a} (n0n0n0n0n0n1n0n1n0);
\draw[->, thick] (n0n0n0n0n0n1n0n1n0n2) edge [near start, left] node {a} (n0n0n0n0n0n1n0n1n0n2n0);
\draw[->, thick] (n0n0n0n0n0n1n0n1n0n2n0) edge [near start, left] node {b} (n0n0n0n0n0n1n0n1n0n2n0n0);
\draw[->, thick] (n0n0n0n0n0n1n0n1n0n2n0n0) edge [near start, left] node {a} (n0n0n0n0n0n1n0n1n0n2n0n0n0);
\draw[->, thick] (n0n0n0n0n0n1n0n1n0n2n0n0n0) edge [near start, right, bend right] node {x1} (n0n0n0n0n0n1n0n1n0n2);
\draw[->, thick] (n0n0n0n0n0n1n0n1n0n2n0n0n0) edge [near start, left] node {x2} (n0n0n0n0n0n1n0n1n0n2n0n0n0n1);
\draw[->, thick] (n0n0n0n0n0n1n0n1n0n2n0n0n0) edge [near start, left] node {x3} (n0n0n0n0n0n1n0n1n0n2n0n0n0n2);
\draw[->, thick] (n0n0n0n0n0n1n0n1n0n2n0n0n0n1) edge [near start, left] node {a} (n0n0n0n0n0n1n0n1n0n2n0n0n0n1n0);
\draw[->, thick] (n0n0n0n0n0n1n0n1n0n2n0n0n0n1n0) edge [near start, right, bend right] node {a} (n0n0n0n0n0n1n0n1n0n2n0n0n0);
\draw[->, thick] (n0n0n0n0n0n1n0n1n0n2n0n0n0n2) edge [near start, left] node {a} (n0n0n0n0n0n1n0n1n0n2n0n0n0n2n0);
\draw[->, thick] (n0n0n0n0n0n1n0n1n0n2n0n0n0n2n0) edge [near start, left, bend left] node {a} (n0n0n0n0n0n1n0n1n0n2n0n0n0);
\draw[->, thick] (n0n0n0n0n0n2) edge [near start, left] node {a} (n0n0n0n0n0n2n0);
\draw[->, thick] (n0n0n0n0n0n2n0) edge [near start, left] node {b} (n0n0n0n0n0n2n0n0);
\draw[->, thick] (n0n0n0n0n0n2n0n0) edge [near start, left] node {a} (n0n0n0n0n0n2n0n0n0);
\draw[->, thick] (n0n0n0n0n0n2n0n0n0) edge [near start, right, bend right] node {x1} (n0n0n0n0n0n2);
\draw[->, thick] (n0n0n0n0n0n2n0n0n0) edge [near start, left] node {x2} (n0n0n0n0n0n2n0n0n0n1);
\draw[->, thick] (n0n0n0n0n0n2n0n0n0) edge [near start, left] node {x3} (n0n0n0n0n0n2n0n0n0n2);
\draw[->, thick] (n0n0n0n0n0n2n0n0n0n1) edge [near start, left] node {a} (n0n0n0n0n0n2n0n0n0n1n0);
\draw[->, thick] (n0n0n0n0n0n2n0n0n0n1n0) edge [near start, right, bend right] node {a} (n0n0n0n0n0n2n0n0n0);
\draw[->, thick] (n0n0n0n0n0n2n0n0n0n2) edge [near start, left] node {a} (n0n0n0n0n0n2n0n0n0n2n0);
\draw[->, thick] (n0n0n0n0n0n2n0n0n0n2n0) edge [near start, left, bend left] node {a} (n0n0n0n0n0n2n0n0n0);
\draw[->, thick] (n0n0n1) edge [near start, left] node {a} (n0n0n1n0);
\draw[->, thick] (n0n0n1n0) edge [near start, left] node {} (n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0) edge [near start, left] node {} (n0n0n1n0n1);
\draw[->, thick] (n0n0n1n0) edge [near start, left] node {} (n0n0n1n0n2);
\draw[->, thick] (n0n0n1n0n0) edge [near start, left] node {b} (n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n0n0n1);
\draw[->, thick] (n0n0n1n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n0n0n2);
\draw[->, thick] (n0n0n1n0n0n0n0n0) edge [near start, left] node {b} (n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n0n0) edge [near start, left] node {a} (n0n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n0n0n0) edge [near start, left] node {} (n0n0n1n0n0n0n0n0n0n0n1);
\draw[->, thick] (n0n0n1n0n0n0n0n0n0n0n0) edge [near start, right, bend right] node {b} (n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n0n0n0n1) edge [near start, left] node {a} (n0n0n1n0n0n0n0n0n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n1n0n0n0n0n0n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n1n0n0n0n0n0n0n0n1n0n1);
\draw[->, thick] (n0n0n1n0n0n0n0n0n0n0n1n0n0) edge [near start, right, bend right] node {b} (n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n0n0n0n1n0n1) edge [near start, right, bend right] node {a} (n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1) edge [near start, left] node {a} (n0n0n1n0n0n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n1n0n0n0n0n1n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0) edge [near start, left] node {} (n0n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n0) edge [near start, right, bend right] node {b} (n0n0n1n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n1n0n1) edge [near start, right, bend right] node {a} (n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n0n0n2) edge [near start, left] node {a} (n0n0n1n0n0n0n0n2n0);
\draw[->, thick] (n0n0n1n0n0n0n0n2n0) edge [near start, left] node {b} (n0n0n1n0n0n0n0n2n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n2n0n0) edge [near start, left] node {a} (n0n0n1n0n0n0n0n2n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n2n0n0n0) edge [near start, right, bend right] node {x1} (n0n0n1n0n0n0n0n2);
\draw[->, thick] (n0n0n1n0n0n0n0n2n0n0n0) edge [near start, left] node {x2} (n0n0n1n0n0n0n0n2n0n0n0n1);
\draw[->, thick] (n0n0n1n0n0n0n0n2n0n0n0) edge [near start, left] node {x3} (n0n0n1n0n0n0n0n2n0n0n0n2);
\draw[->, thick] (n0n0n1n0n0n0n0n2n0n0n0n1) edge [near start, left] node {a} (n0n0n1n0n0n0n0n2n0n0n0n1n0);
\draw[->, thick] (n0n0n1n0n0n0n0n2n0n0n0n1n0) edge [near start, right, bend right] node {a} (n0n0n1n0n0n0n0n2n0n0n0);
\draw[->, thick] (n0n0n1n0n0n0n0n2n0n0n0n2) edge [near start, left] node {a} (n0n0n1n0n0n0n0n2n0n0n0n2n0);
\draw[->, thick] (n0n0n1n0n0n0n0n2n0n0n0n2n0) edge [near start, left, bend left] node {a} (n0n0n1n0n0n0n0n2n0n0n0);
\draw[->, thick] (n0n0n1n0n1) edge [near start, left, bend left] node {a} (n0n0n1n0);
\draw[->, thick] (n0n0n1n0n2) edge [near start, left] node {a} (n0n0n1n0n2n0);
\draw[->, thick] (n0n0n1n0n2n0) edge [near start, left] node {b} (n0n0n1n0n2n0n0);
\draw[->, thick] (n0n0n1n0n2n0n0) edge [near start, left] node {a} (n0n0n1n0n2n0n0n0);
\draw[->, thick] (n0n0n1n0n2n0n0n0) edge [near start, right, bend right] node {x1} (n0n0n1n0n2);
\draw[->, thick] (n0n0n1n0n2n0n0n0) edge [near start, left] node {x2} (n0n0n1n0n2n0n0n0n1);
\draw[->, thick] (n0n0n1n0n2n0n0n0) edge [near start, left] node {x3} (n0n0n1n0n2n0n0n0n2);
\draw[->, thick] (n0n0n1n0n2n0n0n0n1) edge [near start, left] node {a} (n0n0n1n0n2n0n0n0n1n0);
\draw[->, thick] (n0n0n1n0n2n0n0n0n1n0) edge [near start, right, bend right] node {a} (n0n0n1n0n2n0n0n0);
\draw[->, thick] (n0n0n1n0n2n0n0n0n2) edge [near start, left] node {a} (n0n0n1n0n2n0n0n0n2n0);
\draw[->, thick] (n0n0n1n0n2n0n0n0n2n0) edge [near start, left, bend left] node {a} (n0n0n1n0n2n0n0n0);
\draw[->, thick] (n0n0n2) edge [near start, left] node {a} (n0n0n2n0);
\draw[->, thick] (n0n0n2n0) edge [near start, left] node {b} (n0n0n2n0n0);
\draw[->, thick] (n0n0n2n0n0) edge [near start, left] node {a} (n0n0n2n0n0n0);
\draw[->, thick] (n0n0n2n0n0n0) edge [near start, right, bend right] node {x1} (n0n0n2);
\draw[->, thick] (n0n0n2n0n0n0) edge [near start, left] node {x2} (n0n0n2n0n0n0n1);
\draw[->, thick] (n0n0n2n0n0n0) edge [near start, left] node {x3} (n0n0n2n0n0n0n2);
\draw[->, thick] (n0n0n2n0n0n0n1) edge [near start, left] node {a} (n0n0n2n0n0n0n1n0);
\draw[->, thick] (n0n0n2n0n0n0n1n0) edge [near start, right, bend right] node {a} (n0n0n2n0n0n0);
\draw[->, thick] (n0n0n2n0n0n0n2) edge [near start, left] node {a} (n0n0n2n0n0n0n2n0);
\draw[->, thick] (n0n0n2n0n0n0n2n0) edge [near start, left, bend left] node {a} (n0n0n2n0n0n0);
\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] (n1n0n0) edge [near start, left] node {} (n1n0n0n2);
\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 {a} (n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n0n0n0n0n2);
\draw[->, thick] (n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n1) edge [near start, left] node {b} (n1n0n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n1n0) edge [near start, right, bend right] node {a} (n1n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n2) edge [near start, left] node {a} (n1n0n0n0n0n0n0n2n0);
\draw[->, thick] (n1n0n0n0n0n0n0n2n0) edge [near start, left] node {b} (n1n0n0n0n0n0n0n2n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n2n0n0) edge [near start, left] node {a} (n1n0n0n0n0n0n0n2n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n2n0n0n0) edge [near start, right, bend right] node {x1} (n1n0n0n0n0n0n0n2);
\draw[->, thick] (n1n0n0n0n0n0n0n2n0n0n0) edge [near start, left] node {x2} (n1n0n0n0n0n0n0n2n0n0n0n1);
\draw[->, thick] (n1n0n0n0n0n0n0n2n0n0n0) edge [near start, left] node {x3} (n1n0n0n0n0n0n0n2n0n0n0n2);
\draw[->, thick] (n1n0n0n0n0n0n0n2n0n0n0n1) edge [near start, left] node {a} (n1n0n0n0n0n0n0n2n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n0n0n2n0n0n0n1n0) edge [near start, right, bend right] node {a} (n1n0n0n0n0n0n0n2n0n0n0);
\draw[->, thick] (n1n0n0n0n0n0n0n2n0n0n0n2) edge [near start, left] node {a} (n1n0n0n0n0n0n0n2n0n0n0n2n0);
\draw[->, thick] (n1n0n0n0n0n0n0n2n0n0n0n2n0) edge [near start, left, bend left] node {a} (n1n0n0n0n0n0n0n2n0n0n0);
\draw[->, thick] (n1n0n0n0n0n1) edge [near start, left] node {b} (n1n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n0n0n1n0) edge [near start, right, bend right] node {a} (n1n0n0);
\draw[->, thick] (n1n0n0n1) edge [near start, left] node {b} (n1n0n0n1n0);
\draw[->, thick] (n1n0n0n1n0) edge [near start, left] node {a} (n1n0n0n1n0n0);
\draw[->, thick] (n1n0n0n1n0n0) edge [near start, left] node {} (n1n0n0n1n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0) edge [near start, left] node {} (n1n0n0n1n0n0n1);
\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 {a} (n1n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n1n0n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n1n0n0n0n0n0n0n1);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0) edge [near start, left] node {} (n1n0n0n1n0n0n0n0n0n0n2);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n0) edge [near start, right, bend right] node {a} (n1n0n0n1n0n0n0n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n1) edge [near start, left] node {b} (n1n0n0n1n0n0n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n1n0) edge [near start, right, bend right] node {a} (n1n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n2) edge [near start, left] node {a} (n1n0n0n1n0n0n0n0n0n0n2n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n2n0) edge [near start, left] node {b} (n1n0n0n1n0n0n0n0n0n0n2n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n2n0n0) edge [near start, left] node {a} (n1n0n0n1n0n0n0n0n0n0n2n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n2n0n0n0) edge [near start, right, bend right] node {x1} (n1n0n0n1n0n0n0n0n0n0n2);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n2n0n0n0) edge [near start, left] node {x2} (n1n0n0n1n0n0n0n0n0n0n2n0n0n0n1);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n2n0n0n0) edge [near start, left] node {x3} (n1n0n0n1n0n0n0n0n0n0n2n0n0n0n2);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n2n0n0n0n1) edge [near start, left] node {a} (n1n0n0n1n0n0n0n0n0n0n2n0n0n0n1n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n2n0n0n0n1n0) edge [near start, right, bend right] node {a} (n1n0n0n1n0n0n0n0n0n0n2n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n2n0n0n0n2) edge [near start, left] node {a} (n1n0n0n1n0n0n0n0n0n0n2n0n0n0n2n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n0n0n2n0n0n0n2n0) edge [near start, left, bend left] node {a} (n1n0n0n1n0n0n0n0n0n0n2n0n0n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n1) edge [near start, left] node {b} (n1n0n0n1n0n0n0n0n1n0);
\draw[->, thick] (n1n0n0n1n0n0n0n0n1n0) edge [near start, left, bend left] node {a} (n1n0n0);
\draw[->, thick] (n1n0n0n1n0n0n1) edge [near start, left, bend left] node {b} (n1n0n0n1n0);
\draw[->, thick] (n1n0n0n2) edge [near start, left] node {a} (n1n0n0n2n0);
\draw[->, thick] (n1n0n0n2n0) edge [near start, left] node {b} (n1n0n0n2n0n0);
\draw[->, thick] (n1n0n0n2n0n0) edge [near start, left] node {a} (n1n0n0n2n0n0n0);
\draw[->, thick] (n1n0n0n2n0n0n0) edge [near start, right, bend right] node {x1} (n1n0n0n2);
\draw[->, thick] (n1n0n0n2n0n0n0) edge [near start, left] node {x2} (n1n0n0n2n0n0n0n1);
\draw[->, thick] (n1n0n0n2n0n0n0) edge [near start, left] node {x3} (n1n0n0n2n0n0n0n2);
\draw[->, thick] (n1n0n0n2n0n0n0n1) edge [near start, left] node {a} (n1n0n0n2n0n0n0n1n0);
\draw[->, thick] (n1n0n0n2n0n0n0n1n0) edge [near start, right, bend right] node {a} (n1n0n0n2n0n0n0);
\draw[->, thick] (n1n0n0n2n0n0n0n2) edge [near start, left] node {a} (n1n0n0n2n0n0n0n2n0);
\draw[->, thick] (n1n0n0n2n0n0n0n2n0) edge [near start, left, bend left] node {a} (n1n0n0n2n0n0n0);
\draw[->, thick] (n2) edge [near start, left] node {a} (n2n0);
\draw[->, thick] (n2n0) edge [near start, left] node {b} (n2n0n0);
\draw[->, thick] (n2n0n0) edge [near start, left] node {a} (n2n0n0n0);
\draw[->, thick] (n2n0n0n0) edge [near start, right, bend right] node {x1} (n2);
\draw[->, thick] (n2n0n0n0) edge [near start, left] node {x2} (n2n0n0n0n1);
\draw[->, thick] (n2n0n0n0) edge [near start, left] node {x3} (n2n0n0n0n2);
\draw[->, thick] (n2n0n0n0n1) edge [near start, left] node {a} (n2n0n0n0n1n0);
\draw[->, thick] (n2n0n0n0n1n0) edge [near start, right, bend right] node {a} (n2n0n0n0);
\draw[->, thick] (n2n0n0n0n2) edge [near start, left] node {a} (n2n0n0n0n2n0);
\draw[->, thick] (n2n0n0n0n2n0) edge [near start, left, bend left] node {a} (n2n0n0n0);

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