﻿Generation ended on: 8/1/20 5:07 PM

The random seed at the end of generation is:
	s10=3989845241, s11=4231008502, s12=1366090866,
	s20=2148925002, s21=3753304738, s22=1328156832.

This file was automatically generated by FET 5.27.3-ma10.
