﻿Generation started on: 8/1/20 5:02 PM

The random seed at the start of generation is:
	s10=1001212199, s11=3714961791, s12=934608526,
	s20=3085907881, s21=2476472530, s22=4045765146.

This file was automatically generated by FET 5.27.3-ma10.
