herwig is hosted by Hepforge, IPPP Durham
Herwig 7.3.0
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 /