Generation started on: 11/11/25 12:09 PM

The random seed at the start of generation is:
	s10=284341007, s11=2599702488, s12=2809508806,
	s20=1600995715, s21=1397183096, s22=459673251.

This file was automatically generated by FET 7.1.7.