A satisfactory sequence functions that write the correct number of '-1's to the file in place of missing sequence numbers. An interesting point to note is that the rate at ARO seems to be 0.335 rather than the expected 0.251