s1_p2.out: identical apart from timing (22 lines)
s1_p3.out: identical apart from timing (20 lines)
s1_p5.out: identical apart from timing (13 lines)
s1_p7.out: identical apart from timing (12 lines)
s2_p2.out: identical apart from timing (19 lines)
s2_p3.out: identical apart from timing (15 lines)
s2_p5.out: identical apart from timing (11 lines)
s2_p7.out: identical apart from timing (9 lines)
s3_p2.out: identical apart from timing (10 lines)
s3_p3.out: identical apart from timing (8 lines)
s3_p5.out: identical apart from timing (6 lines)
s3_p7.out: identical apart from timing (5 lines)
s4_series.out: identical apart from timing (87 lines)
s5_mutations.out: identical apart from timing (6 lines)
s6_encodings.out: identical apart from timing (7 lines)
