#include "../lib/lib.h"
#include "../lib/lib2.h"
#include "../lib/lib3.h"
#include <time.h>

int main()
{
	mt_19937_brute_force_timestamp();
}