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

The random seed at the start of generation is:
	s10=1910996103, s11=2365467082, s12=3303689501,
	s20=2638801267, s21=3507718884, s22=383921872.

This file was automatically generated by FET 7.1.7.