﻿Generation ended on: 8/7/21 10:11 PM

The random seed at the end of generation is:
	s10=3706549038, s11=3226396798, s12=206979367,
	s20=1732610963, s21=714103256, s22=898526411.

This file was automatically generated by FET 6.1.1.
