| 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 |