mutindlin_even_ps.cir
mutindlin_even_s3f5.cir
mutindlin_odd_ps.cir
mutindlin_odd_s3f5.cir
