1c This file was generated by genrmf. 2c The parameters are: a: 2 b: 2 c1: 1 c2: 5 3p max 8 20 4n 1 s 5n 8 t 6a 1 7 3 7a 1 2 20 8a 1 3 20 9a 2 6 1 10a 2 1 20 11a 2 4 20 12a 3 5 4 13a 3 4 20 14a 3 1 20 15a 4 8 5 16a 4 3 20 17a 4 2 20 18a 5 6 20 19a 5 7 20 20a 6 5 20 21a 6 8 20 22a 7 8 20 23a 7 5 20 24a 8 7 20 25a 8 6 20 26