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