Generation ended on: 3/30/23 12:22 PM

The random seed at the end of generation is:
	s10=597681757, s11=2366406420, s12=1463636911,
	s20=4009655108, s21=1511313088, s22=3788072406.

This file was automatically generated by FET 6.8.7.