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

The random seed at the start of generation is:
	s10=1023704660, s11=2995878291, s12=3988210011,
	s20=859114564, s21=3971170914, s22=4106908724.

This file was automatically generated by FET 7.1.7.