#pragma once

#include "automata.h"
#include "state.h"

void test1();