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

The random seed at the start of generation is:
	s10=4020287885, s11=3025802710, s12=1828689740,
	s20=2587333042, s21=2070175601, s22=3026296342.

This file was automatically generated by FET 7.1.7.