c This file was generated by genrmf. c The parameters are: a: 2 b: 2 c1: 1 c2: 5 p max 8 20 n 1 s n 8 t a 1 7 3 a 1 2 20 a 1 3 20 a 2 6 1 a 2 1 20 a 2 4 20 a 3 5 4 a 3 4 20 a 3 1 20 a 4 8 5 a 4 3 20 a 4 2 20 a 5 6 20 a 5 7 20 a 6 5 20 a 6 8 20 a 7 8 20 a 7 5 20 a 8 7 20 a 8 6 20
