herwig is hosted by Hepforge, IPPP Durham
Herwig  7.2.1
ffperm5.h
1  data ((iperm(j1,j2),j1=1,5),j2=1,80) /
2  + 1,2,3,4,5,1,2,3,4,9,1,2,3,10,4,1,2,3,4,13,
3  + 1,2,3,15,4,1,2,3,8,5,1,2,3,5,9,1,2,3,12,5,
4  + 1,2,3,5,14,1,2,3,8,9,1,2,3,10,8,1,2,3,8,13,
5  + 1,2,3,15,8,1,2,3,9,10,1,2,3,12,9,1,2,3,13,9,
6  + 1,2,3,9,14,1,2,3,9,15,1,2,3,10,12,1,2,3,14,10,
7  + 1,2,3,12,13,1,2,3,15,12,1,2,3,13,14,1,2,3,14,15,
8  + 1,2,4,5,7,1,2,4,8,5,1,2,4,5,11,1,2,4,13,5,
9  + 1,2,4,9,7,1,2,4,7,10,1,2,4,13,7,1,2,4,7,15,
10  + 1,2,4,8,9,1,2,4,10,8,1,2,4,8,13,1,2,4,15,8,
11  + 1,2,4,9,11,1,2,4,13,9,1,2,4,11,10,1,2,4,10,13,
12  + 1,2,4,13,11,1,2,4,11,15,1,2,4,15,13,1,2,5,7,8,
13  + 1,2,5,9,7,1,2,5,7,12,1,2,5,14,7,1,2,5,8,9,
14  + 1,2,5,11,8,1,2,5,12,8,1,2,5,8,13,1,2,5,8,14,
15  + 1,2,5,9,11,1,2,5,13,9,1,2,5,11,12,1,2,5,14,11,
16  + 1,2,5,12,13,1,2,5,13,14,1,2,7,8,9,1,2,7,10,8,
17  + 1,2,7,8,13,1,2,7,15,8,1,2,7,9,10,1,2,7,12,9,
18  + 1,2,7,13,9,1,2,7,9,14,1,2,7,9,15,1,2,7,10,12,
19  + 1,2,7,14,10,1,2,7,12,13,1,2,7,15,12,1,2,7,13,14,
20  + 1,2,7,14,15,1,2,8,10,9,1,2,8,9,11,1,2,8,9,12,
21  + 1,2,8,14,9,1,2,8,15,9,1,2,8,11,10,1,2,8,12,10 /
22  data ((iperm(j1,j2),j1=1,5),j2=81,160) /
23  + 1,2,8,10,13,1,2,8,10,14,1,2,8,13,11,1,2,8,11,15,
24  + 1,2,8,13,12,1,2,8,12,15,1,2,8,14,13,1,2,8,15,13,
25  + 1,2,8,15,14,1,2,9,10,11,1,2,9,13,10,1,2,9,11,12,
26  + 1,2,9,11,13,1,2,9,14,11,1,2,9,15,11,1,2,9,12,13,
27  + 1,2,9,13,14,1,2,9,13,15,1,2,10,12,11,1,2,10,11,14,
28  + 1,2,10,13,12,1,2,10,14,13,1,2,11,12,13,1,2,11,15,12,
29  + 1,2,11,13,14,1,2,11,14,15,1,2,12,15,13,1,2,13,15,14,
30  + 1,3,4,6,5,1,3,4,5,7,1,3,4,5,12,1,3,4,15,5,
31  + 1,3,4,6,9,1,3,4,10,6,1,3,4,6,13,1,3,4,15,6,
32  + 1,3,4,9,7,1,3,4,7,10,1,3,4,13,7,1,3,4,7,15,
33  + 1,3,4,9,12,1,3,4,15,9,1,3,4,12,10,1,3,4,10,15,
34  + 1,3,4,13,12,1,3,4,12,15,1,3,4,15,13,1,3,5,8,6,
35  + 1,3,5,6,9,1,3,5,12,6,1,3,5,6,14,1,3,5,7,8,
36  + 1,3,5,9,7,1,3,5,7,12,1,3,5,14,7,1,3,5,12,8,
37  + 1,3,5,8,15,1,3,5,9,12,1,3,5,15,9,1,3,5,14,12,
38  + 1,3,5,12,15,1,3,5,15,14,1,3,6,9,8,1,3,6,8,10,
39  + 1,3,6,13,8,1,3,6,8,15,1,3,6,10,9,1,3,6,9,12,
40  + 1,3,6,9,13,1,3,6,14,9,1,3,6,15,9,1,3,6,12,10,
41  + 1,3,6,10,14,1,3,6,13,12,1,3,6,12,15,1,3,6,14,13,
42  + 1,3,6,15,14,1,3,7,8,9,1,3,7,10,8,1,3,7,8,13 /
43  data ((iperm(j1,j2),j1=1,5),j2=161,240) /
44  + 1,3,7,15,8,1,3,7,9,10,1,3,7,12,9,1,3,7,13,9,
45  + 1,3,7,9,14,1,3,7,9,15,1,3,7,10,12,1,3,7,14,10,
46  + 1,3,7,12,13,1,3,7,15,12,1,3,7,13,14,1,3,7,14,15,
47  + 1,3,8,9,12,1,3,8,15,9,1,3,8,12,10,1,3,8,10,15,
48  + 1,3,8,13,12,1,3,8,12,15,1,3,8,15,13,1,3,9,10,12,
49  + 1,3,9,15,10,1,3,9,12,13,1,3,9,14,12,1,3,9,13,15,
50  + 1,3,9,15,14,1,3,10,12,14,1,3,10,15,12,1,3,10,14,15,
51  + 1,3,12,13,14,1,3,12,15,13,1,3,12,14,15,1,3,13,15,14,
52  + 1,4,5,6,7,1,4,5,8,6,1,4,5,6,11,1,4,5,13,6,
53  + 1,4,5,7,8,1,4,5,11,7,1,4,5,7,12,1,4,5,7,13,
54  + 1,4,5,15,7,1,4,5,12,8,1,4,5,8,15,1,4,5,11,12,
55  + 1,4,5,15,11,1,4,5,12,13,1,4,5,13,15,1,4,6,7,9,
56  + 1,4,6,10,7,1,4,6,7,13,1,4,6,15,7,1,4,6,9,8,
57  + 1,4,6,8,10,1,4,6,13,8,1,4,6,8,15,1,4,6,11,9,
58  + 1,4,6,9,13,1,4,6,10,11,1,4,6,13,10,1,4,6,11,13,
59  + 1,4,6,15,11,1,4,6,13,15,1,4,7,8,9,1,4,7,10,8,
60  + 1,4,7,8,13,1,4,7,15,8,1,4,7,9,11,1,4,7,12,9,
61  + 1,4,7,13,9,1,4,7,9,15,1,4,7,11,10,1,4,7,10,12,
62  + 1,4,7,10,13,1,4,7,15,10,1,4,7,13,11,1,4,7,11,15,
63  + 1,4,7,12,13,1,4,7,15,12,1,4,8,9,12,1,4,8,15,9 /
64  data ((iperm(j1,j2),j1=1,5),j2=241,320) /
65  + 1,4,8,12,10,1,4,8,10,15,1,4,8,13,12,1,4,8,12,15,
66  + 1,4,8,15,13,1,4,9,11,12,1,4,9,15,11,1,4,9,12,13,
67  + 1,4,9,13,15,1,4,10,12,11,1,4,10,11,15,1,4,10,13,12,
68  + 1,4,10,15,13,1,4,11,12,13,1,4,11,15,12,1,4,11,13,15,
69  + 1,4,12,15,13,1,5,6,8,7,1,5,6,7,9,1,5,6,12,7,
70  + 1,5,6,7,14,1,5,6,9,8,1,5,6,8,11,1,5,6,8,12,
71  + 1,5,6,13,8,1,5,6,14,8,1,5,6,11,9,1,5,6,9,13,
72  + 1,5,6,12,11,1,5,6,11,14,1,5,6,13,12,1,5,6,14,13,
73  + 1,5,7,8,9,1,5,7,11,8,1,5,7,8,13,1,5,7,8,14,
74  + 1,5,7,15,8,1,5,7,9,11,1,5,7,12,9,1,5,7,13,9,
75  + 1,5,7,9,15,1,5,7,11,12,1,5,7,14,11,1,5,7,12,13,
76  + 1,5,7,12,14,1,5,7,15,12,1,5,7,13,14,1,5,7,14,15,
77  + 1,5,8,9,12,1,5,8,15,9,1,5,8,12,11,1,5,8,11,15,
78  + 1,5,8,13,12,1,5,8,14,12,1,5,8,12,15,1,5,8,15,13,
79  + 1,5,8,15,14,1,5,9,11,12,1,5,9,15,11,1,5,9,12,13,
80  + 1,5,9,13,15,1,5,11,12,14,1,5,11,15,12,1,5,11,14,15,
81  + 1,5,12,13,14,1,5,12,15,13,1,5,13,15,14,1,6,7,8,9,
82  + 1,6,7,10,8,1,6,7,8,13,1,6,7,15,8,1,6,7,9,10,
83  + 1,6,7,12,9,1,6,7,13,9,1,6,7,9,14,1,6,7,9,15,
84  + 1,6,7,10,12,1,6,7,14,10,1,6,7,12,13,1,6,7,15,12 /
85  data ((iperm(j1,j2),j1=1,5),j2=321,400) /
86  + 1,6,7,13,14,1,6,7,14,15,1,6,8,10,9,1,6,8,9,11,
87  + 1,6,8,9,12,1,6,8,14,9,1,6,8,15,9,1,6,8,11,10,
88  + 1,6,8,12,10,1,6,8,10,13,1,6,8,10,14,1,6,8,13,11,
89  + 1,6,8,11,15,1,6,8,13,12,1,6,8,12,15,1,6,8,14,13,
90  + 1,6,8,15,13,1,6,8,15,14,1,6,9,10,11,1,6,9,13,10,
91  + 1,6,9,11,12,1,6,9,11,13,1,6,9,14,11,1,6,9,15,11,
92  + 1,6,9,12,13,1,6,9,13,14,1,6,9,13,15,1,6,10,12,11,
93  + 1,6,10,11,14,1,6,10,13,12,1,6,10,14,13,1,6,11,12,13,
94  + 1,6,11,15,12,1,6,11,13,14,1,6,11,14,15,1,6,12,15,13,
95  + 1,6,13,15,14,1,7,8,9,10,1,7,8,11,9,1,7,8,9,14,
96  + 1,7,8,10,11,1,7,8,13,10,1,7,8,14,10,1,7,8,10,15,
97  + 1,7,8,11,13,1,7,8,15,11,1,7,8,13,14,1,7,8,14,15,
98  + 1,7,9,11,10,1,7,9,10,12,1,7,9,10,13,1,7,9,15,10,
99  + 1,7,9,12,11,1,7,9,13,11,1,7,9,11,14,1,7,9,11,15,
100  + 1,7,9,14,12,1,7,9,14,13,1,7,9,15,14,1,7,10,11,12,
101  + 1,7,10,14,11,1,7,10,12,13,1,7,10,12,14,1,7,10,15,12,
102  + 1,7,10,13,14,1,7,10,14,15,1,7,11,13,12,1,7,11,12,15,
103  + 1,7,11,14,13,1,7,11,15,14,1,7,12,13,14,1,7,12,14,15,
104  + 1,8,9,12,10,1,8,9,10,15,1,8,9,11,12,1,8,9,15,11,
105  + 1,8,9,12,14,1,8,9,14,15,1,8,10,12,11,1,8,10,11,15 /
106  data ((iperm(j1,j2),j1=1,5),j2=401,480) /
107  + 1,8,10,13,12,1,8,10,14,12,1,8,10,12,15,1,8,10,15,13,
108  + 1,8,10,15,14,1,8,11,12,13,1,8,11,15,12,1,8,11,13,15,
109  + 1,8,12,14,13,1,8,12,15,14,1,8,13,14,15,1,9,10,11,12,
110  + 1,9,10,15,11,1,9,10,12,13,1,9,10,13,15,1,9,11,13,12,
111  + 1,9,11,12,14,1,9,11,15,13,1,9,11,14,15,1,9,12,13,14,
112  + 1,9,13,15,14,1,10,11,14,12,1,10,11,12,15,1,10,11,15,14,
113  + 1,10,12,14,13,1,10,12,13,15,1,10,13,14,15,1,11,12,13,14,
114  + 1,11,12,15,13,1,11,12,14,15,1,11,13,15,14,1,12,13,14,15,
115  + 2,3,4,6,5,2,3,4,5,10,2,3,4,11,5,2,3,4,5,14,
116  + 2,3,4,6,9,2,3,4,10,6,2,3,4,6,13,2,3,4,15,6,
117  + 2,3,4,9,10,2,3,4,11,9,2,3,4,9,14,2,3,4,10,11,
118  + 2,3,4,13,10,2,3,4,14,10,2,3,4,10,15,2,3,4,11,13,
119  + 2,3,4,15,11,2,3,4,13,14,2,3,4,14,15,2,3,5,8,6,
120  + 2,3,5,6,9,2,3,5,12,6,2,3,5,6,14,2,3,5,10,8,
121  + 2,3,5,8,11,2,3,5,14,8,2,3,5,9,10,2,3,5,11,9,
122  + 2,3,5,9,14,2,3,5,10,12,2,3,5,14,10,2,3,5,12,11,
123  + 2,3,5,11,14,2,3,5,14,12,2,3,6,9,8,2,3,6,8,10,
124  + 2,3,6,13,8,2,3,6,8,15,2,3,6,10,9,2,3,6,9,12,
125  + 2,3,6,9,13,2,3,6,14,9,2,3,6,15,9,2,3,6,12,10,
126  + 2,3,6,10,14,2,3,6,13,12,2,3,6,12,15,2,3,6,14,13 /
127  data ((iperm(j1,j2),j1=1,5),j2=481,560) /
128  + 2,3,6,15,14,2,3,8,9,10,2,3,8,11,9,2,3,8,9,14,
129  + 2,3,8,10,11,2,3,8,13,10,2,3,8,14,10,2,3,8,10,15,
130  + 2,3,8,11,13,2,3,8,15,11,2,3,8,13,14,2,3,8,14,15,
131  + 2,3,9,11,10,2,3,9,10,12,2,3,9,10,13,2,3,9,15,10,
132  + 2,3,9,12,11,2,3,9,13,11,2,3,9,11,14,2,3,9,11,15,
133  + 2,3,9,14,12,2,3,9,14,13,2,3,9,15,14,2,3,10,11,12,
134  + 2,3,10,14,11,2,3,10,12,13,2,3,10,12,14,2,3,10,15,12,
135  + 2,3,10,13,14,2,3,10,14,15,2,3,11,13,12,2,3,11,12,15,
136  + 2,3,11,14,13,2,3,11,15,14,2,3,12,13,14,2,3,12,14,15,
137  + 2,4,5,6,7,2,4,5,8,6,2,4,5,6,11,2,4,5,13,6,
138  + 2,4,5,7,10,2,4,5,11,7,2,4,5,7,14,2,4,5,10,8,
139  + 2,4,5,8,11,2,4,5,14,8,2,4,5,11,10,2,4,5,10,13,
140  + 2,4,5,13,11,2,4,5,11,14,2,4,5,14,13,2,4,6,7,9,
141  + 2,4,6,10,7,2,4,6,7,13,2,4,6,15,7,2,4,6,9,8,
142  + 2,4,6,8,10,2,4,6,13,8,2,4,6,8,15,2,4,6,11,9,
143  + 2,4,6,9,13,2,4,6,10,11,2,4,6,13,10,2,4,6,11,13,
144  + 2,4,6,15,11,2,4,6,13,15,2,4,7,10,9,2,4,7,9,11,
145  + 2,4,7,14,9,2,4,7,11,10,2,4,7,10,13,2,4,7,10,14,
146  + 2,4,7,15,10,2,4,7,13,11,2,4,7,11,15,2,4,7,14,13,
147  + 2,4,7,15,14,2,4,8,9,10,2,4,8,11,9,2,4,8,9,14 /
148  data ((iperm(j1,j2),j1=1,5),j2=561,640) /
149  + 2,4,8,10,11,2,4,8,13,10,2,4,8,14,10,2,4,8,10,15,
150  + 2,4,8,11,13,2,4,8,15,11,2,4,8,13,14,2,4,8,14,15,
151  + 2,4,9,11,10,2,4,9,10,13,2,4,9,13,11,2,4,9,11,14,
152  + 2,4,9,14,13,2,4,10,14,11,2,4,10,11,15,2,4,10,13,14,
153  + 2,4,10,15,13,2,4,11,14,13,2,4,11,13,15,2,4,11,15,14,
154  + 2,4,13,14,15,2,5,6,8,7,2,5,6,7,9,2,5,6,12,7,
155  + 2,5,6,7,14,2,5,6,9,8,2,5,6,8,11,2,5,6,8,12,
156  + 2,5,6,13,8,2,5,6,14,8,2,5,6,11,9,2,5,6,9,13,
157  + 2,5,6,12,11,2,5,6,11,14,2,5,6,13,12,2,5,6,14,13,
158  + 2,5,7,8,10,2,5,7,11,8,2,5,7,8,14,2,5,7,10,9,
159  + 2,5,7,9,11,2,5,7,14,9,2,5,7,12,10,2,5,7,10,14,
160  + 2,5,7,11,12,2,5,7,14,11,2,5,7,12,14,2,5,8,9,10,
161  + 2,5,8,11,9,2,5,8,9,14,2,5,8,10,11,2,5,8,10,12,
162  + 2,5,8,13,10,2,5,8,14,10,2,5,8,12,11,2,5,8,11,13,
163  + 2,5,8,14,12,2,5,8,13,14,2,5,9,11,10,2,5,9,10,13,
164  + 2,5,9,13,11,2,5,9,11,14,2,5,9,14,13,2,5,10,11,12,
165  + 2,5,10,14,11,2,5,10,12,13,2,5,10,13,14,2,5,11,13,12,
166  + 2,5,11,12,14,2,5,11,14,13,2,5,12,13,14,2,6,7,8,9,
167  + 2,6,7,10,8,2,6,7,8,13,2,6,7,15,8,2,6,7,9,10,
168  + 2,6,7,12,9,2,6,7,13,9,2,6,7,9,14,2,6,7,9,15 /
169  data ((iperm(j1,j2),j1=1,5),j2=641,720) /
170  + 2,6,7,10,12,2,6,7,14,10,2,6,7,12,13,2,6,7,15,12,
171  + 2,6,7,13,14,2,6,7,14,15,2,6,8,10,9,2,6,8,9,11,
172  + 2,6,8,9,12,2,6,8,14,9,2,6,8,15,9,2,6,8,11,10,
173  + 2,6,8,12,10,2,6,8,10,13,2,6,8,10,14,2,6,8,13,11,
174  + 2,6,8,11,15,2,6,8,13,12,2,6,8,12,15,2,6,8,14,13,
175  + 2,6,8,15,13,2,6,8,15,14,2,6,9,10,11,2,6,9,13,10,
176  + 2,6,9,11,12,2,6,9,11,13,2,6,9,14,11,2,6,9,15,11,
177  + 2,6,9,12,13,2,6,9,13,14,2,6,9,13,15,2,6,10,12,11,
178  + 2,6,10,11,14,2,6,10,13,12,2,6,10,14,13,2,6,11,12,13,
179  + 2,6,11,15,12,2,6,11,13,14,2,6,11,14,15,2,6,12,15,13,
180  + 2,6,13,15,14,2,7,8,9,10,2,7,8,11,9,2,7,8,9,14,
181  + 2,7,8,10,11,2,7,8,13,10,2,7,8,14,10,2,7,8,10,15,
182  + 2,7,8,11,13,2,7,8,15,11,2,7,8,13,14,2,7,8,14,15,
183  + 2,7,9,11,10,2,7,9,10,12,2,7,9,10,13,2,7,9,15,10,
184  + 2,7,9,12,11,2,7,9,13,11,2,7,9,11,14,2,7,9,11,15,
185  + 2,7,9,14,12,2,7,9,14,13,2,7,9,15,14,2,7,10,11,12,
186  + 2,7,10,14,11,2,7,10,12,13,2,7,10,12,14,2,7,10,15,12,
187  + 2,7,10,13,14,2,7,10,14,15,2,7,11,13,12,2,7,11,12,15,
188  + 2,7,11,14,13,2,7,11,15,14,2,7,12,13,14,2,7,12,14,15,
189  + 2,8,9,12,10,2,8,9,10,15,2,8,9,11,12,2,8,9,15,11 /
190  data ((iperm(j1,j2),j1=1,5),j2=721,800) /
191  + 2,8,9,12,14,2,8,9,14,15,2,8,10,12,11,2,8,10,11,15,
192  + 2,8,10,13,12,2,8,10,14,12,2,8,10,12,15,2,8,10,15,13,
193  + 2,8,10,15,14,2,8,11,12,13,2,8,11,15,12,2,8,11,13,15,
194  + 2,8,12,14,13,2,8,12,15,14,2,8,13,14,15,2,9,10,11,12,
195  + 2,9,10,15,11,2,9,10,12,13,2,9,10,13,15,2,9,11,13,12,
196  + 2,9,11,12,14,2,9,11,15,13,2,9,11,14,15,2,9,12,13,14,
197  + 2,9,13,15,14,2,10,11,14,12,2,10,11,12,15,2,10,11,15,14,
198  + 2,10,12,14,13,2,10,12,13,15,2,10,13,14,15,2,11,12,13,14,
199  + 2,11,12,15,13,2,11,12,14,15,2,11,13,15,14,2,12,13,14,15,
200  + 3,4,5,6,7,3,4,5,10,6,3,4,5,6,11,3,4,5,6,12,
201  + 3,4,5,14,6,3,4,5,15,6,3,4,5,7,10,3,4,5,11,7,
202  + 3,4,5,7,14,3,4,5,12,10,3,4,5,10,15,3,4,5,11,12,
203  + 3,4,5,15,11,3,4,5,12,14,3,4,5,14,15,3,4,6,7,9,
204  + 3,4,6,10,7,3,4,6,7,13,3,4,6,15,7,3,4,6,9,10,
205  + 3,4,6,11,9,3,4,6,12,9,3,4,6,9,14,3,4,6,9,15,
206  + 3,4,6,10,11,3,4,6,10,12,3,4,6,13,10,3,4,6,14,10,
207  + 3,4,6,11,13,3,4,6,15,11,3,4,6,12,13,3,4,6,15,12,
208  + 3,4,6,13,14,3,4,6,13,15,3,4,6,14,15,3,4,7,10,9,
209  + 3,4,7,9,11,3,4,7,14,9,3,4,7,11,10,3,4,7,10,13,
210  + 3,4,7,10,14,3,4,7,15,10,3,4,7,13,11,3,4,7,11,15 /
211  data ((iperm(j1,j2),j1=1,5),j2=801,880) /
212  + 3,4,7,14,13,3,4,7,15,14,3,4,9,12,10,3,4,9,10,15,
213  + 3,4,9,11,12,3,4,9,15,11,3,4,9,12,14,3,4,9,14,15,
214  + 3,4,10,12,11,3,4,10,11,15,3,4,10,13,12,3,4,10,14,12,
215  + 3,4,10,12,15,3,4,10,15,13,3,4,10,15,14,3,4,11,12,13,
216  + 3,4,11,15,12,3,4,11,13,15,3,4,12,14,13,3,4,12,15,14,
217  + 3,4,13,14,15,3,5,6,8,7,3,5,6,7,9,3,5,6,12,7,
218  + 3,5,6,7,14,3,5,6,10,8,3,5,6,8,11,3,5,6,8,12,
219  + 3,5,6,14,8,3,5,6,15,8,3,5,6,9,10,3,5,6,11,9,
220  + 3,5,6,12,9,3,5,6,9,14,3,5,6,9,15,3,5,6,10,12,
221  + 3,5,6,14,10,3,5,6,12,11,3,5,6,11,14,3,5,6,15,12,
222  + 3,5,6,14,15,3,5,7,8,10,3,5,7,11,8,3,5,7,8,14,
223  + 3,5,7,10,9,3,5,7,9,11,3,5,7,14,9,3,5,7,12,10,
224  + 3,5,7,10,14,3,5,7,11,12,3,5,7,14,11,3,5,7,12,14,
225  + 3,5,8,10,12,3,5,8,15,10,3,5,8,12,11,3,5,8,11,15,
226  + 3,5,8,14,12,3,5,8,15,14,3,5,9,12,10,3,5,9,10,15,
227  + 3,5,9,11,12,3,5,9,15,11,3,5,9,12,14,3,5,9,14,15,
228  + 3,5,10,14,12,3,5,10,12,15,3,5,10,15,14,3,5,11,12,14,
229  + 3,5,11,15,12,3,5,11,14,15,3,5,12,15,14,3,6,7,8,9,
230  + 3,6,7,10,8,3,6,7,8,13,3,6,7,15,8,3,6,7,9,10,
231  + 3,6,7,12,9,3,6,7,13,9,3,6,7,9,14,3,6,7,9,15 /
232  data ((iperm(j1,j2),j1=1,5),j2=881,960) /
233  + 3,6,7,10,12,3,6,7,14,10,3,6,7,12,13,3,6,7,15,12,
234  + 3,6,7,13,14,3,6,7,14,15,3,6,8,10,9,3,6,8,9,11,
235  + 3,6,8,9,12,3,6,8,14,9,3,6,8,15,9,3,6,8,11,10,
236  + 3,6,8,12,10,3,6,8,10,13,3,6,8,10,14,3,6,8,13,11,
237  + 3,6,8,11,15,3,6,8,13,12,3,6,8,12,15,3,6,8,14,13,
238  + 3,6,8,15,13,3,6,8,15,14,3,6,9,10,11,3,6,9,13,10,
239  + 3,6,9,11,12,3,6,9,11,13,3,6,9,14,11,3,6,9,15,11,
240  + 3,6,9,12,13,3,6,9,13,14,3,6,9,13,15,3,6,10,12,11,
241  + 3,6,10,11,14,3,6,10,13,12,3,6,10,14,13,3,6,11,12,13,
242  + 3,6,11,15,12,3,6,11,13,14,3,6,11,14,15,3,6,12,15,13,
243  + 3,6,13,15,14,3,7,8,9,10,3,7,8,11,9,3,7,8,9,14,
244  + 3,7,8,10,11,3,7,8,13,10,3,7,8,14,10,3,7,8,10,15,
245  + 3,7,8,11,13,3,7,8,15,11,3,7,8,13,14,3,7,8,14,15,
246  + 3,7,9,11,10,3,7,9,10,12,3,7,9,10,13,3,7,9,15,10,
247  + 3,7,9,12,11,3,7,9,13,11,3,7,9,11,14,3,7,9,11,15,
248  + 3,7,9,14,12,3,7,9,14,13,3,7,9,15,14,3,7,10,11,12,
249  + 3,7,10,14,11,3,7,10,12,13,3,7,10,12,14,3,7,10,15,12,
250  + 3,7,10,13,14,3,7,10,14,15,3,7,11,13,12,3,7,11,12,15,
251  + 3,7,11,14,13,3,7,11,15,14,3,7,12,13,14,3,7,12,14,15,
252  + 3,8,9,12,10,3,8,9,10,15,3,8,9,11,12,3,8,9,15,11 /
253  data ((iperm(j1,j2),j1=1,5),j2=961,1040) /
254  + 3,8,9,12,14,3,8,9,14,15,3,8,10,12,11,3,8,10,11,15,
255  + 3,8,10,13,12,3,8,10,14,12,3,8,10,12,15,3,8,10,15,13,
256  + 3,8,10,15,14,3,8,11,12,13,3,8,11,15,12,3,8,11,13,15,
257  + 3,8,12,14,13,3,8,12,15,14,3,8,13,14,15,3,9,10,11,12,
258  + 3,9,10,15,11,3,9,10,12,13,3,9,10,13,15,3,9,11,13,12,
259  + 3,9,11,12,14,3,9,11,15,13,3,9,11,14,15,3,9,12,13,14,
260  + 3,9,13,15,14,3,10,11,14,12,3,10,11,12,15,3,10,11,15,14,
261  + 3,10,12,14,13,3,10,12,13,15,3,10,13,14,15,3,11,12,13,14,
262  + 3,11,12,15,13,3,11,12,14,15,3,11,13,15,14,3,12,13,14,15,
263  + 4,5,6,8,7,4,5,6,7,10,4,5,6,12,7,4,5,6,13,7,
264  + 4,5,6,7,14,4,5,6,7,15,4,5,6,10,8,4,5,6,8,11,
265  + 4,5,6,8,12,4,5,6,14,8,4,5,6,15,8,4,5,6,11,10,
266  + 4,5,6,10,13,4,5,6,12,11,4,5,6,13,11,4,5,6,11,14,
267  + 4,5,6,11,15,4,5,6,13,12,4,5,6,14,13,4,5,6,15,13,
268  + 4,5,7,8,10,4,5,7,11,8,4,5,7,8,14,4,5,7,10,11,
269  + 4,5,7,12,10,4,5,7,13,10,4,5,7,10,15,4,5,7,11,12,
270  + 4,5,7,11,13,4,5,7,14,11,4,5,7,15,11,4,5,7,12,14,
271  + 4,5,7,13,14,4,5,7,14,15,4,5,8,10,12,4,5,8,15,10,
272  + 4,5,8,12,11,4,5,8,11,15,4,5,8,14,12,4,5,8,15,14,
273  + 4,5,10,11,12,4,5,10,15,11,4,5,10,12,13,4,5,10,13,15 /
274  data ((iperm(j1,j2),j1=1,5),j2=1041,1120) /
275  + 4,5,11,13,12,4,5,11,12,14,4,5,11,15,13,4,5,11,14,15,
276  + 4,5,12,13,14,4,5,13,15,14,4,6,7,8,9,4,6,7,10,8,
277  + 4,6,7,8,13,4,6,7,15,8,4,6,7,9,10,4,6,7,12,9,
278  + 4,6,7,13,9,4,6,7,9,14,4,6,7,9,15,4,6,7,10,12,
279  + 4,6,7,14,10,4,6,7,12,13,4,6,7,15,12,4,6,7,13,14,
280  + 4,6,7,14,15,4,6,8,10,9,4,6,8,9,11,4,6,8,9,12,
281  + 4,6,8,14,9,4,6,8,15,9,4,6,8,11,10,4,6,8,12,10,
282  + 4,6,8,10,13,4,6,8,10,14,4,6,8,13,11,4,6,8,11,15,
283  + 4,6,8,13,12,4,6,8,12,15,4,6,8,14,13,4,6,8,15,13,
284  + 4,6,8,15,14,4,6,9,10,11,4,6,9,13,10,4,6,9,11,12,
285  + 4,6,9,11,13,4,6,9,14,11,4,6,9,15,11,4,6,9,12,13,
286  + 4,6,9,13,14,4,6,9,13,15,4,6,10,12,11,4,6,10,11,14,
287  + 4,6,10,13,12,4,6,10,14,13,4,6,11,12,13,4,6,11,15,12,
288  + 4,6,11,13,14,4,6,11,14,15,4,6,12,15,13,4,6,13,15,14,
289  + 4,7,8,9,10,4,7,8,11,9,4,7,8,9,14,4,7,8,10,11,
290  + 4,7,8,13,10,4,7,8,14,10,4,7,8,10,15,4,7,8,11,13,
291  + 4,7,8,15,11,4,7,8,13,14,4,7,8,14,15,4,7,9,11,10,
292  + 4,7,9,10,12,4,7,9,10,13,4,7,9,15,10,4,7,9,12,11,
293  + 4,7,9,13,11,4,7,9,11,14,4,7,9,11,15,4,7,9,14,12,
294  + 4,7,9,14,13,4,7,9,15,14,4,7,10,11,12,4,7,10,14,11 /
295  data ((iperm(j1,j2),j1=1,5),j2=1121,1200) /
296  + 4,7,10,12,13,4,7,10,12,14,4,7,10,15,12,4,7,10,13,14,
297  + 4,7,10,14,15,4,7,11,13,12,4,7,11,12,15,4,7,11,14,13,
298  + 4,7,11,15,14,4,7,12,13,14,4,7,12,14,15,4,8,9,12,10,
299  + 4,8,9,10,15,4,8,9,11,12,4,8,9,15,11,4,8,9,12,14,
300  + 4,8,9,14,15,4,8,10,12,11,4,8,10,11,15,4,8,10,13,12,
301  + 4,8,10,14,12,4,8,10,12,15,4,8,10,15,13,4,8,10,15,14,
302  + 4,8,11,12,13,4,8,11,15,12,4,8,11,13,15,4,8,12,14,13,
303  + 4,8,12,15,14,4,8,13,14,15,4,9,10,11,12,4,9,10,15,11,
304  + 4,9,10,12,13,4,9,10,13,15,4,9,11,13,12,4,9,11,12,14,
305  + 4,9,11,15,13,4,9,11,14,15,4,9,12,13,14,4,9,13,15,14,
306  + 4,10,11,14,12,4,10,11,12,15,4,10,11,15,14,4,10,12,14,13,
307  + 4,10,12,13,15,4,10,13,14,15,4,11,12,13,14,4,11,12,15,13,
308  + 4,11,12,14,15,4,11,13,15,14,4,12,13,14,15,5,6,7,8,9,
309  + 5,6,7,10,8,5,6,7,8,13,5,6,7,15,8,5,6,7,9,10,
310  + 5,6,7,12,9,5,6,7,13,9,5,6,7,9,14,5,6,7,9,15,
311  + 5,6,7,10,12,5,6,7,14,10,5,6,7,12,13,5,6,7,15,12,
312  + 5,6,7,13,14,5,6,7,14,15,5,6,8,10,9,5,6,8,9,11,
313  + 5,6,8,9,12,5,6,8,14,9,5,6,8,15,9,5,6,8,11,10,
314  + 5,6,8,12,10,5,6,8,10,13,5,6,8,10,14,5,6,8,13,11,
315  + 5,6,8,11,15,5,6,8,13,12,5,6,8,12,15,5,6,8,14,13 /
316  data ((iperm(j1,j2),j1=1,5),j2=1201,1280) /
317  + 5,6,8,15,13,5,6,8,15,14,5,6,9,10,11,5,6,9,13,10,
318  + 5,6,9,11,12,5,6,9,11,13,5,6,9,14,11,5,6,9,15,11,
319  + 5,6,9,12,13,5,6,9,13,14,5,6,9,13,15,5,6,10,12,11,
320  + 5,6,10,11,14,5,6,10,13,12,5,6,10,14,13,5,6,11,12,13,
321  + 5,6,11,15,12,5,6,11,13,14,5,6,11,14,15,5,6,12,15,13,
322  + 5,6,13,15,14,5,7,8,9,10,5,7,8,11,9,5,7,8,9,14,
323  + 5,7,8,10,11,5,7,8,13,10,5,7,8,14,10,5,7,8,10,15,
324  + 5,7,8,11,13,5,7,8,15,11,5,7,8,13,14,5,7,8,14,15,
325  + 5,7,9,11,10,5,7,9,10,12,5,7,9,10,13,5,7,9,15,10,
326  + 5,7,9,12,11,5,7,9,13,11,5,7,9,11,14,5,7,9,11,15,
327  + 5,7,9,14,12,5,7,9,14,13,5,7,9,15,14,5,7,10,11,12,
328  + 5,7,10,14,11,5,7,10,12,13,5,7,10,12,14,5,7,10,15,12,
329  + 5,7,10,13,14,5,7,10,14,15,5,7,11,13,12,5,7,11,12,15,
330  + 5,7,11,14,13,5,7,11,15,14,5,7,12,13,14,5,7,12,14,15,
331  + 5,8,9,12,10,5,8,9,10,15,5,8,9,11,12,5,8,9,15,11,
332  + 5,8,9,12,14,5,8,9,14,15,5,8,10,12,11,5,8,10,11,15,
333  + 5,8,10,13,12,5,8,10,14,12,5,8,10,12,15,5,8,10,15,13,
334  + 5,8,10,15,14,5,8,11,12,13,5,8,11,15,12,5,8,11,13,15,
335  + 5,8,12,14,13,5,8,12,15,14,5,8,13,14,15,5,9,10,11,12,
336  + 5,9,10,15,11,5,9,10,12,13,5,9,10,13,15,5,9,11,13,12 /
337  data ((iperm(j1,j2),j1=1,5),j2=1281,nperm) /
338  + 5,9,11,12,14,5,9,11,15,13,5,9,11,14,15,5,9,12,13,14,
339  + 5,9,13,15,14,5,10,11,14,12,5,10,11,12,15,5,10,11,15,14,
340  + 5,10,12,14,13,5,10,12,13,15,5,10,13,14,15,5,11,12,13,14,
341  + 5,11,12,15,13,5,11,12,14,15,5,11,13,15,14,5,12,13,14,15 /