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

The random seed at the start of generation is:
	s10=1680157851, s11=232726491, s12=0,
	s20=1680157851, s21=232726579, s22=0.

This file was automatically generated by FET 6.8.7.