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