\documentclass{article}
\usepackage{a4wide}
\usepackage{adjustbox}
\usepackage{fancyhdr}
\usepackage{tikz}
\usepackage{ifthen}
\usetikzlibrary{automata}
\usepackage{datetime}
\lhead{./certificates/march3testa1-march3testa2/sim-2-6.tex}
\rhead{11:55:02.291 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 = 98
\begin{tikzpicture}[rotate = 0]
%\begin{tikzpicture}[rotate = 90]
\tikzset{initial text=$ $}

\node[accepting, state] at (49,-22) (n0n1n0n0n0n0n1n1n0n2n0) {$p?$\,\ifntiny{\tiny 17357}\fi};
\node[state] at (63,-16) (n0n1n0n0n1n1n0n0) {$p?$\,\ifntiny{\tiny 17433}\fi};
\node[state] at (24,-20) (n0n0n0n1n1n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 17394}\fi};
\node[state] at (64,-10) (n0n1n0n0n1) {$p?$\,\ifntiny{\tiny 17437}\fi};
\node[accepting, state] at (56,-16) (n0n1n0n0n1n0n1n0) {$p?$\,\ifntiny{\tiny 17186}\fi};
\node[accepting, state] at (10,-26) (n0n0n0n1n0n0n0n1n1n0n2n0n1) {$p?$\,\ifntiny{\tiny 17225}\fi};
\node[state] at (6,-12) (n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 17381}\fi};
\node[state] at (43,-10) (n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 17418}\fi};
\node[state] at (24,-14) (n0n0n0n1n1n0n1) {$p?$\,\ifntiny{\tiny 17397}\fi};
\node[state] at (1,-16) (n0n0n0n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 17370}\fi};
\node[accepting, state] at (16,-18) (n0n0n0n1n0n1n0n1n0) {$p!$\,\ifntiny{\tiny 17293}\fi};
\node[state] at (19,-20) (n0n0n0n1n1n0n1n0n0n0) {$p?$\,\ifntiny{\tiny 17388}\fi};
\node[state] at (3,-22) (n0n0n0n1n0n0n0n1n1n0n0) {$p?$\,\ifntiny{\tiny 17373}\fi};
\node[accepting, state] at (38,-22) (n0n1n0n0n0n0n1n0n1n0n0) {$p!$\,\ifntiny{\tiny 17267}\fi};
\node[state] at (63,-22) (n0n1n0n0n1n1n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 17428}\fi};
\node[state] at (67,-12) (n0n1n0n0n1n1) {$p?$\,\ifntiny{\tiny 17436}\fi};
\node[accepting, state] at (15,-14) (n0n0n0n1n0n1n0) {$p?$\,\ifntiny{\tiny 17295}\fi};
\node[accepting, state] at (32,-14) (n0n0n0n1n1n0n2) {$p?$\,\ifntiny{\tiny 17358}\fi};
\node[accepting, state] at (50,-24) (n0n1n0n0n0n0n1n1n0n2n0n1) {$p?$\,\ifntiny{\tiny 17356}\fi};
\node[accepting, state] at (33,-18) (n0n0n0n1n1n0n2n0n1) {$p?$\,\ifntiny{\tiny 17356}\fi};
\node[state] at (20,-24) (n0n0n0n1n1n0n1n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 17390}\fi};
\node[state] at (67,-22) (n0n1n0n0n1n1n0n0n0n1n1) {$p?$\,\ifntiny{\tiny 17430}\fi};
\node[accepting, state] at (74,-22) (n0n1n0n0n1n1n0n2n0n1n0) {$p!$\,\ifntiny{\tiny 17224}\fi};
\node[state] at (52,-14) (n0n1n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 17420}\fi};
\node[accepting, state] at (65,-30) (n0n1n0n0n1n1n0n0n0n1n0n1n0n1n0) {$p!$\,\ifntiny{\tiny 17293}\fi};
\node[state] at (23,-16) (n0n0n0n1n1n0n1n0) {$p?$\,\ifntiny{\tiny 17396}\fi};
\node[state] at (7,-18) (n0n0n0n1n0n0n0n1n1) {$p?$\,\ifntiny{\tiny 17378}\fi};
\node[state] at (47,-16) (n0n1n0n0n0n0n1n1) {$p?$\,\ifntiny{\tiny 17415}\fi};
\node[accepting, state] at (9,-24) (n0n0n0n1n0n0n0n1n1n0n2n0) {$p?$\,\ifntiny{\tiny 17226}\fi};
\node[state] at (7,-16) (n0n0n0n1n0n0n0n1) {$p?$\,\ifntiny{\tiny 17379}\fi};
\node[accepting, state] at (50,-26) (n0n1n0n0n0n0n1n1n0n2n0n1n0) {$p!$\,\ifntiny{\tiny 17355}\fi};
\node[accepting, state] at (15,-12) (n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 17296}\fi};
\node[state] at (35,-14) (n0n1n0n0n0n0n0) {$p?$\,\ifntiny{\tiny 17406}\fi};
\node[accepting, state] at (10,-28) (n0n0n0n1n0n0n0n1n1n0n2n0n1n0) {$p!$\,\ifntiny{\tiny 17224}\fi};
\node[accepting, state] at (22,-28) (n0n0n0n1n1n0n1n0n0n1n0n1n0n0) {$p!$\,\ifntiny{\tiny 17168}\fi};
\node[state] at (69,-16) (n0n1n0n0n1n1n0n1) {$p?$\,\ifntiny{\tiny 17434}\fi};
\node[state] at (39,-16) (n0n1n0n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 17409}\fi};
\node[state] at (9,-10) (n0n0n0n1n0) {$\cup$\,\ifntiny{\tiny 17382}\fi};
\node[accepting, state] at (41,-24) (n0n1n0n0n0n0n1n0n1n0n1n0) {$p!$\,\ifntiny{\tiny 17293}\fi};
\node[state] at (18,-14) (n0n0n0n1n1n0n0) {$p?$\,\ifntiny{\tiny 17385}\fi};
\node[state] at (7,-20) (n0n0n0n1n0n0n0n1n1n0) {$\cup$\,\ifntiny{\tiny 17377}\fi};
\node[state] at (43,-20) (n0n1n0n0n0n0n1n1n0n0) {$p?$\,\ifntiny{\tiny 17412}\fi};
\node[state] at (67,-14) (n0n1n0n0n1n1n0) {$\cup$\,\ifntiny{\tiny 17435}\fi};
\node[accepting, state] at (30,-18) (n0n0n0n1n1n0n2n0n0) {$p!$\,\ifntiny{\tiny 17329}\fi};
\node[state] at (23,-18) (n0n0n0n1n1n0n1n0n0) {$\cup$\,\ifntiny{\tiny 17395}\fi};
\node[accepting, state] at (33,-20) (n0n0n0n1n1n0n2n0n1n0) {$p!$\,\ifntiny{\tiny 17355}\fi};
\node[accepting, state] at (49,-20) (n0n1n0n0n0n0n1n1n0n2) {$p?$\,\ifntiny{\tiny 17358}\fi};
\node[state] at (55,-6) (n0n1n0) {$p?$\,\ifntiny{\tiny 17439}\fi};
\node[state] at (43,-12) (n0n1n0n0n0n0) {$\cup$\,\ifntiny{\tiny 17417}\fi};
\node[accepting, state] at (57,-18) (n0n1n0n0n1n0n1n0n1) {$p?$\,\ifntiny{\tiny 17185}\fi};
\node[state] at (60,-24) (n0n1n0n0n1n1n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 17427}\fi};
\node[accepting, state] at (24,-24) (n0n0n0n1n1n0n1n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 17187}\fi};
\node[accepting, state] at (54,-18) (n0n1n0n0n1n0n1n0n0) {$p!$\,\ifntiny{\tiny 17168}\fi};
\node[state] at (63,-18) (n0n1n0n0n1n1n0n0n0) {$\cup$\,\ifntiny{\tiny 17432}\fi};
\node[initial, state] at (38,0) (n) {$p?$\,\ifntiny{\tiny 17442}\fi};
\node[accepting, state] at (9,-22) (n0n0n0n1n0n0n0n1n1n0n2) {$p?$\,\ifntiny{\tiny 17227}\fi};
\node[state] at (26,-12) (n0n0n0n1n1n0) {$\cup$\,\ifntiny{\tiny 17398}\fi};
\node[accepting, state] at (25,-30) (n0n0n0n1n1n0n1n0n0n1n0n1n0n1n0) {$p!$\,\ifntiny{\tiny 17184}\fi};
\node[accepting, state] at (40,-18) (n0n1n0n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 17296}\fi};
\node[accepting, state] at (57,-20) (n0n1n0n0n1n0n1n0n1n0) {$p!$\,\ifntiny{\tiny 17184}\fi};
\node[accepting, state] at (74,-20) (n0n1n0n0n1n1n0n2n0n1) {$p?$\,\ifntiny{\tiny 17225}\fi};
\node[accepting, state] at (24,-26) (n0n0n0n1n1n0n1n0n0n1n0n1n0) {$p?$\,\ifntiny{\tiny 17186}\fi};
\node[state] at (0,-8) (n0n0n0n0) {$p?$\,\ifntiny{\tiny 17367}\fi};
\node[state] at (17,-6) (n0n0n0) {$\cup$\,\ifntiny{\tiny 17401}\fi};
\node[state] at (17,-4) (n0n0) {$p?$\,\ifntiny{\tiny 17402}\fi};
\node[state] at (56,-4) (n0n1) {$p?$\,\ifntiny{\tiny 17440}\fi};
\node[state] at (5,-22) (n0n0n0n1n0n0n0n1n1n0n1) {$p?$\,\ifntiny{\tiny 17376}\fi};
\node[accepting, state] at (64,-24) (n0n1n0n0n1n1n0n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 17296}\fi};
\node[accepting, state] at (47,-24) (n0n1n0n0n0n0n1n1n0n2n0n0) {$p!$\,\ifntiny{\tiny 17329}\fi};
\node[state] at (47,-18) (n0n1n0n0n0n0n1n1n0) {$\cup$\,\ifntiny{\tiny 17414}\fi};
\node[state] at (44,-14) (n0n1n0n0n0n0n1) {$p?$\,\ifntiny{\tiny 17416}\fi};
\node[state] at (27,-22) (n0n0n0n1n1n0n1n0n0n1n1) {$p?$\,\ifntiny{\tiny 17393}\fi};
\node[accepting, state] at (7,-26) (n0n0n0n1n0n0n0n1n1n0n2n0n0) {$p!$\,\ifntiny{\tiny 17208}\fi};
\node[accepting, state] at (73,-18) (n0n1n0n0n1n1n0n2n0) {$p?$\,\ifntiny{\tiny 17226}\fi};
\node[state] at (64,-20) (n0n1n0n0n1n1n0n0n0n1) {$p?$\,\ifntiny{\tiny 17431}\fi};
\node[state] at (4,-24) (n0n0n0n1n0n0n0n1n1n0n1n0) {$p?$\,\ifntiny{\tiny 17375}\fi};
\node[state] at (23,-22) (n0n0n0n1n1n0n1n0n0n1n0) {$\cup$\,\ifntiny{\tiny 17391}\fi};
\node[state] at (59,-20) (n0n1n0n0n1n1n0n0n0n0) {$p?$\,\ifntiny{\tiny 17425}\fi};
\node[accepting, state] at (64,-26) (n0n1n0n0n1n1n0n0n0n1n0n1n0) {$p?$\,\ifntiny{\tiny 17295}\fi};
\node[state] at (45,-20) (n0n1n0n0n0n0n1n1n0n1) {$p?$\,\ifntiny{\tiny 17413}\fi};
\node[state] at (26,-10) (n0n0n0n1n1) {$p?$\,\ifntiny{\tiny 17399}\fi};
\node[state] at (6,-14) (n0n0n0n1n0n0n0) {$\cup$\,\ifntiny{\tiny 17380}\fi};
\node[accepting, state] at (73,-16) (n0n1n0n0n1n1n0n2) {$p?$\,\ifntiny{\tiny 17227}\fi};
\node[accepting, state] at (41,-22) (n0n1n0n0n0n0n1n0n1n0n1) {$p?$\,\ifntiny{\tiny 17294}\fi};
\node[accepting, state] at (25,-28) (n0n0n0n1n1n0n1n0n0n1n0n1n0n1) {$p?$\,\ifntiny{\tiny 17185}\fi};
\node[state] at (55,-8) (n0n1n0n0) {$\cup$\,\ifntiny{\tiny 17438}\fi};
\node[state] at (18,-8) (n0n0n0n1) {$p?$\,\ifntiny{\tiny 17400}\fi};
\node[accepting, state] at (65,-28) (n0n1n0n0n1n1n0n0n0n1n0n1n0n1) {$p?$\,\ifntiny{\tiny 17294}\fi};
\node[accepting, state] at (32,-16) (n0n0n0n1n1n0n2n0) {$p?$\,\ifntiny{\tiny 17357}\fi};
\node[accepting, state] at (13,-16) (n0n0n0n1n0n1n0n0) {$p!$\,\ifntiny{\tiny 17267}\fi};
\node[state] at (55,-12) (n0n1n0n0n1n0) {$\cup$\,\ifntiny{\tiny 17421}\fi};
\node[state] at (38,-2) (n0) {$\cup$\,\ifntiny{\tiny 17441}\fi};
\node[accepting, state] at (56,-14) (n0n1n0n0n1n0n1) {$p?$\,\ifntiny{\tiny 17187}\fi};
\node[accepting, state] at (62,-28) (n0n1n0n0n1n1n0n0n0n1n0n1n0n0) {$p!$\,\ifntiny{\tiny 17267}\fi};
\node[state] at (36,-18) (n0n1n0n0n0n0n1n0n0) {$p?$\,\ifntiny{\tiny 17408}\fi};
\node[accepting, state] at (16,-16) (n0n0n0n1n0n1n0n1) {$p?$\,\ifntiny{\tiny 17294}\fi};
\node[accepting, state] at (40,-20) (n0n1n0n0n0n0n1n0n1n0) {$p?$\,\ifntiny{\tiny 17295}\fi};
\node[accepting, state] at (71,-20) (n0n1n0n0n1n1n0n2n0n0) {$p!$\,\ifntiny{\tiny 17208}\fi};

\draw[->, thick] (n) edge [near start, left] node {a} (n0);
\draw[->, thick] (n0) edge [near start, left] node {} (n0n0);
\draw[->, thick] (n0) edge [near start, left] node {} (n0n1);
\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, right, bend right] node {a} (n0n0n0);
\draw[->, thick] (n0n0n0n1) edge [near start, left] node {a} (n0n0n0n1n0);
\draw[->, thick] (n0n0n0n1) edge [near start, left] node {b} (n0n0n0n1n1);
\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] node {a} (n0n0n0n1n0n0n0);
\draw[->, thick] (n0n0n0n1n0n0n0) edge [near start, left] node {} (n0n0n0n1n0n0n0n0);
\draw[->, thick] (n0n0n0n1n0n0n0) edge [near start, left] node {} (n0n0n0n1n0n0n0n1);
\draw[->, thick] (n0n0n0n1n0n0n0n0) edge [near start, right, bend right] node {a} (n0n0n0);
\draw[->, thick] (n0n0n0n1n0n0n0n1) edge [near start, right, bend right] node {a} (n0n0n0n1n0);
\draw[->, thick] (n0n0n0n1n0n0n0n1) edge [near start, left] node {b} (n0n0n0n1n0n0n0n1n1);
\draw[->, thick] (n0n0n0n1n0n0n0n1n1) edge [near start, left] node {a} (n0n0n0n1n0n0n0n1n1n0);
\draw[->, thick] (n0n0n0n1n0n0n0n1n1n0) edge [near start, left] node {} (n0n0n0n1n0n0n0n1n1n0n0);
\draw[->, thick] (n0n0n0n1n0n0n0n1n1n0) edge [near start, left] node {} (n0n0n0n1n0n0n0n1n1n0n1);
\draw[->, thick] (n0n0n0n1n0n0n0n1n1n0) edge [near start, left] node {} (n0n0n0n1n0n0n0n1n1n0n2);
\draw[->, thick] (n0n0n0n1n0n0n0n1n1n0n0) edge [near start, right, bend right] node {a} (n0n0n0);
\draw[->, thick] (n0n0n0n1n0n0n0n1n1n0n1) edge [near start, left] node {a} (n0n0n0n1n0n0n0n1n1n0n1n0);
\draw[->, thick] (n0n0n0n1n0n0n0n1n1n0n1) edge [near start, right, bend right] node {b} (n);
\draw[->, thick] (n0n0n0n1n0n0n0n1n1n0n1n0) edge [near start, right, bend right] node {a} (n0n0n0n1n0n0n0);
\draw[->, thick] (n0n0n0n1n0n0n0n1n1n0n2) edge [near start, left] node {a} (n0n0n0n1n0n0n0n1n1n0n2n0);
\draw[->, thick] (n0n0n0n1n0n0n0n1n1n0n2n0) edge [near start, left] node {a} (n0n0n0n1n0n0n0n1n1n0n2n0n0);
\draw[->, thick] (n0n0n0n1n0n0n0n1n1n0n2n0) edge [near start, left] node {b} (n0n0n0n1n0n0n0n1n1n0n2n0n1);
\draw[->, thick] (n0n0n0n1n0n0n0n1n1n0n2n0n0) edge [near start, right, bend right] node {x1} (n0n0n0n1n0n0n0n1n1n0n2);
\draw[->, thick] (n0n0n0n1n0n0n0n1n1n0n2n0n0) edge [near start, right, bend right] node {x2} (n0n0n0n1n0n0n0n1n1n0n2);
\draw[->, thick] (n0n0n0n1n0n0n0n1n1n0n2n0n0) edge [near start, right, bend right] node {x3} (n0n0n0n1n0n0n0n1n1n0n2);
\draw[->, thick] (n0n0n0n1n0n0n0n1n1n0n2n0n1) edge [near start, left] node {a} (n0n0n0n1n0n0n0n1n1n0n2n0n1n0);
\draw[->, thick] (n0n0n0n1n0n0n0n1n1n0n2n0n1n0) edge [near start, left, bend left] node {x1} (n0n0n0n1n0n0n0n1n1n0n2);
\draw[->, thick] (n0n0n0n1n0n0n0n1n1n0n2n0n1n0) edge [near start, left, bend left] node {x2} (n0n0n0n1n0n0n0n1n1n0n2);
\draw[->, thick] (n0n0n0n1n0n0n0n1n1n0n2n0n1n0) edge [near start, left, bend left] node {x3} (n0n0n0n1n0n0n0n1n1n0n2);
\draw[->, thick] (n0n0n0n1n0n1) edge [near start, left] node {a} (n0n0n0n1n0n1n0);
\draw[->, thick] (n0n0n0n1n0n1n0) edge [near start, left] node {a} (n0n0n0n1n0n1n0n0);
\draw[->, thick] (n0n0n0n1n0n1n0) edge [near start, left] node {b} (n0n0n0n1n0n1n0n1);
\draw[->, thick] (n0n0n0n1n0n1n0n0) edge [near start, right, bend right] node {x1} (n0n0n0n1n0n1);
\draw[->, thick] (n0n0n0n1n0n1n0n0) edge [near start, right, bend right] node {x2} (n0n0n0n1n0n1);
\draw[->, thick] (n0n0n0n1n0n1n0n0) edge [near start, right, bend right] node {x3} (n0n0n0n1n0n1);
\draw[->, thick] (n0n0n0n1n0n1n0n1) edge [near start, left] node {a} (n0n0n0n1n0n1n0n1n0);
\draw[->, thick] (n0n0n0n1n0n1n0n1n0) edge [near start, left, bend left] node {x1} (n0n0n0n1n0n1);
\draw[->, thick] (n0n0n0n1n0n1n0n1n0) edge [near start, left, bend left] node {x2} (n0n0n0n1n0n1);
\draw[->, thick] (n0n0n0n1n0n1n0n1n0) edge [near start, left, bend left] node {x3} (n0n0n0n1n0n1);
\draw[->, thick] (n0n0n0n1n1) edge [near start, left] node {a} (n0n0n0n1n1n0);
\draw[->, thick] (n0n0n0n1n1n0) edge [near start, left] node {} (n0n0n0n1n1n0n0);
\draw[->, thick] (n0n0n0n1n1n0) edge [near start, left] node {} (n0n0n0n1n1n0n1);
\draw[->, thick] (n0n0n0n1n1n0) edge [near start, left] node {} (n0n0n0n1n1n0n2);
\draw[->, thick] (n0n0n0n1n1n0n0) edge [near start, left, bend left] node {a} (n0n0n0);
\draw[->, thick] (n0n0n0n1n1n0n1) edge [near start, left] node {a} (n0n0n0n1n1n0n1n0);
\draw[->, thick] (n0n0n0n1n1n0n1) edge [near start, right, bend right] node {b} (n);
\draw[->, thick] (n0n0n0n1n1n0n1n0) edge [near start, left] node {a} (n0n0n0n1n1n0n1n0n0);
\draw[->, thick] (n0n0n0n1n1n0n1n0n0) edge [near start, left] node {} (n0n0n0n1n1n0n1n0n0n0);
\draw[->, thick] (n0n0n0n1n1n0n1n0n0) edge [near start, left] node {} (n0n0n0n1n1n0n1n0n0n1);
\draw[->, thick] (n0n0n0n1n1n0n1n0n0n0) edge [near start, left, bend left] node {a} (n0n0n0);
\draw[->, thick] (n0n0n0n1n1n0n1n0n0n1) edge [near start, left] node {a} (n0n0n0n1n1n0n1n0n0n1n0);
\draw[->, thick] (n0n0n0n1n1n0n1n0n0n1) edge [near start, left] node {b} (n0n0n0n1n1n0n1n0n0n1n1);
\draw[->, thick] (n0n0n0n1n1n0n1n0n0n1n0) edge [near start, left] node {} (n0n0n0n1n1n0n1n0n0n1n0n0);
\draw[->, thick] (n0n0n0n1n1n0n1n0n0n1n0) edge [near start, left] node {} (n0n0n0n1n1n0n1n0n0n1n0n1);
\draw[->, thick] (n0n0n0n1n1n0n1n0n0n1n0n0) edge [near start, right, bend right] node {a} (n0n0n0n1n1n0n1n0n0);
\draw[->, thick] (n0n0n0n1n1n0n1n0n0n1n0n1) edge [near start, left] node {a} (n0n0n0n1n1n0n1n0n0n1n0n1n0);
\draw[->, thick] (n0n0n0n1n1n0n1n0n0n1n0n1n0) edge [near start, left] node {a} (n0n0n0n1n1n0n1n0n0n1n0n1n0n0);
\draw[->, thick] (n0n0n0n1n1n0n1n0n0n1n0n1n0) edge [near start, left] node {b} (n0n0n0n1n1n0n1n0n0n1n0n1n0n1);
\draw[->, thick] (n0n0n0n1n1n0n1n0n0n1n0n1n0n0) edge [near start, right, bend right] node {x1} (n0n0n0n1n1n0n1n0n0n1n0n1);
\draw[->, thick] (n0n0n0n1n1n0n1n0n0n1n0n1n0n0) edge [near start, right, bend right] node {x2} (n0n0n0n1n1n0n1n0n0n1n0n1);
\draw[->, thick] (n0n0n0n1n1n0n1n0n0n1n0n1n0n0) edge [near start, right, bend right] node {x3} (n0n0n0n1n1n0n1n0n0n1n0n1);
\draw[->, thick] (n0n0n0n1n1n0n1n0n0n1n0n1n0n1) edge [near start, left] node {a} (n0n0n0n1n1n0n1n0n0n1n0n1n0n1n0);
\draw[->, thick] (n0n0n0n1n1n0n1n0n0n1n0n1n0n1n0) edge [near start, left, bend left] node {x1} (n0n0n0n1n1n0n1n0n0n1n0n1);
\draw[->, thick] (n0n0n0n1n1n0n1n0n0n1n0n1n0n1n0) edge [near start, left, bend left] node {x2} (n0n0n0n1n1n0n1n0n0n1n0n1);
\draw[->, thick] (n0n0n0n1n1n0n1n0n0n1n0n1n0n1n0) edge [near start, left, bend left] node {x3} (n0n0n0n1n1n0n1n0n0n1n0n1);
\draw[->, thick] (n0n0n0n1n1n0n1n0n0n1n1) edge [near start, left, bend left] node {a} (n0n0n0n1n1n0);
\draw[->, thick] (n0n0n0n1n1n0n2) edge [near start, left] node {a} (n0n0n0n1n1n0n2n0);
\draw[->, thick] (n0n0n0n1n1n0n2n0) edge [near start, left] node {a} (n0n0n0n1n1n0n2n0n0);
\draw[->, thick] (n0n0n0n1n1n0n2n0) edge [near start, left] node {b} (n0n0n0n1n1n0n2n0n1);
\draw[->, thick] (n0n0n0n1n1n0n2n0n0) edge [near start, right, bend right] node {x1} (n0n0n0n1n1n0n2);
\draw[->, thick] (n0n0n0n1n1n0n2n0n0) edge [near start, right, bend right] node {x2} (n0n0n0n1n1n0n2);
\draw[->, thick] (n0n0n0n1n1n0n2n0n0) edge [near start, right, bend right] node {x3} (n0n0n0n1n1n0n2);
\draw[->, thick] (n0n0n0n1n1n0n2n0n1) edge [near start, left] node {a} (n0n0n0n1n1n0n2n0n1n0);
\draw[->, thick] (n0n0n0n1n1n0n2n0n1n0) edge [near start, left, bend left] node {x1} (n0n0n0n1n1n0n2);
\draw[->, thick] (n0n0n0n1n1n0n2n0n1n0) edge [near start, left, bend left] node {x2} (n0n0n0n1n1n0n2);
\draw[->, thick] (n0n0n0n1n1n0n2n0n1n0) edge [near start, left, bend left] node {x3} (n0n0n0n1n1n0n2);
\draw[->, thick] (n0n1) edge [near start, left] node {a} (n0n1n0);
\draw[->, thick] (n0n1) edge [near start, left, bend left] node {b} (n);
\draw[->, thick] (n0n1n0) edge [near start, left] node {a} (n0n1n0n0);
\draw[->, thick] (n0n1n0n0) edge [near start, left] node {} (n0n1n0n0n0);
\draw[->, thick] (n0n1n0n0) edge [near start, left] node {} (n0n1n0n0n1);
\draw[->, thick] (n0n1n0n0n0) edge [near start, left] node {a} (n0n1n0n0n0n0);
\draw[->, thick] (n0n1n0n0n0n0) edge [near start, left] node {} (n0n1n0n0n0n0n0);
\draw[->, thick] (n0n1n0n0n0n0) edge [near start, left] node {} (n0n1n0n0n0n0n1);
\draw[->, thick] (n0n1n0n0n0n0n0) edge [near start, right, bend right] node {a} (n0n1n0n0n0n0);
\draw[->, thick] (n0n1n0n0n0n0n1) edge [near start, left] node {a} (n0n1n0n0n0n0n1n0);
\draw[->, thick] (n0n1n0n0n0n0n1) edge [near start, left] node {b} (n0n1n0n0n0n0n1n1);
\draw[->, thick] (n0n1n0n0n0n0n1n0) edge [near start, left] node {} (n0n1n0n0n0n0n1n0n0);
\draw[->, thick] (n0n1n0n0n0n0n1n0) edge [near start, left] node {} (n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n1n0n0n0n0n1n0n0) edge [near start, right, bend right] node {a} (n0n1n0n0);
\draw[->, thick] (n0n1n0n0n0n0n1n0n1) edge [near start, left] node {a} (n0n1n0n0n0n0n1n0n1n0);
\draw[->, thick] (n0n1n0n0n0n0n1n0n1n0) edge [near start, left] node {a} (n0n1n0n0n0n0n1n0n1n0n0);
\draw[->, thick] (n0n1n0n0n0n0n1n0n1n0) edge [near start, left] node {b} (n0n1n0n0n0n0n1n0n1n0n1);
\draw[->, thick] (n0n1n0n0n0n0n1n0n1n0n0) edge [near start, right, bend right] node {x1} (n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n1n0n0n0n0n1n0n1n0n0) edge [near start, right, bend right] node {x2} (n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n1n0n0n0n0n1n0n1n0n0) edge [near start, right, bend right] node {x3} (n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n1n0n0n0n0n1n0n1n0n1) edge [near start, left] node {a} (n0n1n0n0n0n0n1n0n1n0n1n0);
\draw[->, thick] (n0n1n0n0n0n0n1n0n1n0n1n0) edge [near start, left, bend left] node {x1} (n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n1n0n0n0n0n1n0n1n0n1n0) edge [near start, left, bend left] node {x2} (n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n1n0n0n0n0n1n0n1n0n1n0) edge [near start, left, bend left] node {x3} (n0n1n0n0n0n0n1n0n1);
\draw[->, thick] (n0n1n0n0n0n0n1n1) edge [near start, left] node {a} (n0n1n0n0n0n0n1n1n0);
\draw[->, thick] (n0n1n0n0n0n0n1n1n0) edge [near start, left] node {} (n0n1n0n0n0n0n1n1n0n0);
\draw[->, thick] (n0n1n0n0n0n0n1n1n0) edge [near start, left] node {} (n0n1n0n0n0n0n1n1n0n1);
\draw[->, thick] (n0n1n0n0n0n0n1n1n0) edge [near start, left] node {} (n0n1n0n0n0n0n1n1n0n2);
\draw[->, thick] (n0n1n0n0n0n0n1n1n0n0) edge [near start, right, bend right] node {a} (n0n1n0n0n0n0);
\draw[->, thick] (n0n1n0n0n0n0n1n1n0n1) edge [near start, right, bend right] node {a} (n0n1n0);
\draw[->, thick] (n0n1n0n0n0n0n1n1n0n1) edge [near start, left, bend left] node {b} (n);
\draw[->, thick] (n0n1n0n0n0n0n1n1n0n2) edge [near start, left] node {a} (n0n1n0n0n0n0n1n1n0n2n0);
\draw[->, thick] (n0n1n0n0n0n0n1n1n0n2n0) edge [near start, left] node {a} (n0n1n0n0n0n0n1n1n0n2n0n0);
\draw[->, thick] (n0n1n0n0n0n0n1n1n0n2n0) edge [near start, left] node {b} (n0n1n0n0n0n0n1n1n0n2n0n1);
\draw[->, thick] (n0n1n0n0n0n0n1n1n0n2n0n0) edge [near start, right, bend right] node {x1} (n0n1n0n0n0n0n1n1n0n2);
\draw[->, thick] (n0n1n0n0n0n0n1n1n0n2n0n0) edge [near start, right, bend right] node {x2} (n0n1n0n0n0n0n1n1n0n2);
\draw[->, thick] (n0n1n0n0n0n0n1n1n0n2n0n0) edge [near start, right, bend right] node {x3} (n0n1n0n0n0n0n1n1n0n2);
\draw[->, thick] (n0n1n0n0n0n0n1n1n0n2n0n1) edge [near start, left] node {a} (n0n1n0n0n0n0n1n1n0n2n0n1n0);
\draw[->, thick] (n0n1n0n0n0n0n1n1n0n2n0n1n0) edge [near start, left, bend left] node {x1} (n0n1n0n0n0n0n1n1n0n2);
\draw[->, thick] (n0n1n0n0n0n0n1n1n0n2n0n1n0) edge [near start, left, bend left] node {x2} (n0n1n0n0n0n0n1n1n0n2);
\draw[->, thick] (n0n1n0n0n0n0n1n1n0n2n0n1n0) edge [near start, left, bend left] node {x3} (n0n1n0n0n0n0n1n1n0n2);
\draw[->, thick] (n0n1n0n0n1) edge [near start, left] node {a} (n0n1n0n0n1n0);
\draw[->, thick] (n0n1n0n0n1) edge [near start, left] node {b} (n0n1n0n0n1n1);
\draw[->, thick] (n0n1n0n0n1n0) edge [near start, left] node {} (n0n1n0n0n1n0n0);
\draw[->, thick] (n0n1n0n0n1n0) edge [near start, left] node {} (n0n1n0n0n1n0n1);
\draw[->, thick] (n0n1n0n0n1n0n0) edge [near start, right, bend right] node {a} (n0n1n0n0);
\draw[->, thick] (n0n1n0n0n1n0n1) edge [near start, left] node {a} (n0n1n0n0n1n0n1n0);
\draw[->, thick] (n0n1n0n0n1n0n1n0) edge [near start, left] node {a} (n0n1n0n0n1n0n1n0n0);
\draw[->, thick] (n0n1n0n0n1n0n1n0) edge [near start, left] node {b} (n0n1n0n0n1n0n1n0n1);
\draw[->, thick] (n0n1n0n0n1n0n1n0n0) edge [near start, right, bend right] node {x1} (n0n1n0n0n1n0n1);
\draw[->, thick] (n0n1n0n0n1n0n1n0n0) edge [near start, right, bend right] node {x2} (n0n1n0n0n1n0n1);
\draw[->, thick] (n0n1n0n0n1n0n1n0n0) edge [near start, right, bend right] node {x3} (n0n1n0n0n1n0n1);
\draw[->, thick] (n0n1n0n0n1n0n1n0n1) edge [near start, left] node {a} (n0n1n0n0n1n0n1n0n1n0);
\draw[->, thick] (n0n1n0n0n1n0n1n0n1n0) edge [near start, left, bend left] node {x1} (n0n1n0n0n1n0n1);
\draw[->, thick] (n0n1n0n0n1n0n1n0n1n0) edge [near start, left, bend left] node {x2} (n0n1n0n0n1n0n1);
\draw[->, thick] (n0n1n0n0n1n0n1n0n1n0) edge [near start, left, bend left] node {x3} (n0n1n0n0n1n0n1);
\draw[->, thick] (n0n1n0n0n1n1) edge [near start, left] node {a} (n0n1n0n0n1n1n0);
\draw[->, thick] (n0n1n0n0n1n1n0) edge [near start, left] node {} (n0n1n0n0n1n1n0n0);
\draw[->, thick] (n0n1n0n0n1n1n0) edge [near start, left] node {} (n0n1n0n0n1n1n0n1);
\draw[->, thick] (n0n1n0n0n1n1n0) edge [near start, left] node {} (n0n1n0n0n1n1n0n2);
\draw[->, thick] (n0n1n0n0n1n1n0n0) edge [near start, left] node {a} (n0n1n0n0n1n1n0n0n0);
\draw[->, thick] (n0n1n0n0n1n1n0n0n0) edge [near start, left] node {} (n0n1n0n0n1n1n0n0n0n0);
\draw[->, thick] (n0n1n0n0n1n1n0n0n0) edge [near start, left] node {} (n0n1n0n0n1n1n0n0n0n1);
\draw[->, thick] (n0n1n0n0n1n1n0n0n0n0) edge [near start, right, bend right] node {a} (n0n1n0n0n1n1n0n0n0);
\draw[->, thick] (n0n1n0n0n1n1n0n0n0n1) edge [near start, left] node {a} (n0n1n0n0n1n1n0n0n0n1n0);
\draw[->, thick] (n0n1n0n0n1n1n0n0n0n1) edge [near start, left] node {b} (n0n1n0n0n1n1n0n0n0n1n1);
\draw[->, thick] (n0n1n0n0n1n1n0n0n0n1n0) edge [near start, left] node {} (n0n1n0n0n1n1n0n0n0n1n0n0);
\draw[->, thick] (n0n1n0n0n1n1n0n0n0n1n0) edge [near start, left] node {} (n0n1n0n0n1n1n0n0n0n1n0n1);
\draw[->, thick] (n0n1n0n0n1n1n0n0n0n1n0n0) edge [near start, left, bend left] node {a} (n0n1n0n0);
\draw[->, thick] (n0n1n0n0n1n1n0n0n0n1n0n1) edge [near start, left] node {a} (n0n1n0n0n1n1n0n0n0n1n0n1n0);
\draw[->, thick] (n0n1n0n0n1n1n0n0n0n1n0n1n0) edge [near start, left] node {a} (n0n1n0n0n1n1n0n0n0n1n0n1n0n0);
\draw[->, thick] (n0n1n0n0n1n1n0n0n0n1n0n1n0) edge [near start, left] node {b} (n0n1n0n0n1n1n0n0n0n1n0n1n0n1);
\draw[->, thick] (n0n1n0n0n1n1n0n0n0n1n0n1n0n0) edge [near start, right, bend right] node {x1} (n0n1n0n0n1n1n0n0n0n1n0n1);
\draw[->, thick] (n0n1n0n0n1n1n0n0n0n1n0n1n0n0) edge [near start, right, bend right] node {x2} (n0n1n0n0n1n1n0n0n0n1n0n1);
\draw[->, thick] (n0n1n0n0n1n1n0n0n0n1n0n1n0n0) edge [near start, right, bend right] node {x3} (n0n1n0n0n1n1n0n0n0n1n0n1);
\draw[->, thick] (n0n1n0n0n1n1n0n0n0n1n0n1n0n1) edge [near start, left] node {a} (n0n1n0n0n1n1n0n0n0n1n0n1n0n1n0);
\draw[->, thick] (n0n1n0n0n1n1n0n0n0n1n0n1n0n1n0) edge [near start, left, bend left] node {x1} (n0n1n0n0n1n1n0n0n0n1n0n1);
\draw[->, thick] (n0n1n0n0n1n1n0n0n0n1n0n1n0n1n0) edge [near start, left, bend left] node {x2} (n0n1n0n0n1n1n0n0n0n1n0n1);
\draw[->, thick] (n0n1n0n0n1n1n0n0n0n1n0n1n0n1n0) edge [near start, left, bend left] node {x3} (n0n1n0n0n1n1n0n0n0n1n0n1);
\draw[->, thick] (n0n1n0n0n1n1n0n0n0n1n1) edge [near start, right, bend right] node {a} (n0n1n0n0n1n1n0);
\draw[->, thick] (n0n1n0n0n1n1n0n1) edge [near start, left, bend left] node {a} (n0n1n0);
\draw[->, thick] (n0n1n0n0n1n1n0n1) edge [near start, left, bend left] node {b} (n);
\draw[->, thick] (n0n1n0n0n1n1n0n2) edge [near start, left] node {a} (n0n1n0n0n1n1n0n2n0);
\draw[->, thick] (n0n1n0n0n1n1n0n2n0) edge [near start, left] node {a} (n0n1n0n0n1n1n0n2n0n0);
\draw[->, thick] (n0n1n0n0n1n1n0n2n0) edge [near start, left] node {b} (n0n1n0n0n1n1n0n2n0n1);
\draw[->, thick] (n0n1n0n0n1n1n0n2n0n0) edge [near start, right, bend right] node {x1} (n0n1n0n0n1n1n0n2);
\draw[->, thick] (n0n1n0n0n1n1n0n2n0n0) edge [near start, right, bend right] node {x2} (n0n1n0n0n1n1n0n2);
\draw[->, thick] (n0n1n0n0n1n1n0n2n0n0) edge [near start, right, bend right] node {x3} (n0n1n0n0n1n1n0n2);
\draw[->, thick] (n0n1n0n0n1n1n0n2n0n1) edge [near start, left] node {a} (n0n1n0n0n1n1n0n2n0n1n0);
\draw[->, thick] (n0n1n0n0n1n1n0n2n0n1n0) edge [near start, left, bend left] node {x1} (n0n1n0n0n1n1n0n2);
\draw[->, thick] (n0n1n0n0n1n1n0n2n0n1n0) edge [near start, left, bend left] node {x2} (n0n1n0n0n1n1n0n2);
\draw[->, thick] (n0n1n0n0n1n1n0n2n0n1n0) edge [near start, left, bend left] node {x3} (n0n1n0n0n1n1n0n2);

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