read `TruncSYT.txt`:

Sefer3(5,n,RF,20);

quit: