﻿Generation started on: 8/7/21 10:07 PM

The random seed at the start of generation is:
	s10=1655145752, s11=3472549180, s12=1084568694,
	s20=3193104427, s21=1840950389, s22=2647226925.

This file was automatically generated by FET 6.1.1.
