#include <cassert>
using namespace std;

#include <menu01.h>

typedef point2<double> pt2;