jf_rescue/rescue_constants/
ed_on_bls12_377_base.rs

1// Copyright (c) 2022 Espresso Systems (espressosys.com)
2// This file is part of the Jellyfish library.
3
4// You should have received a copy of the MIT License
5// along with the Jellyfish library. If not, see <https://mit-license.org/>.
6
7use crate::{RescueParameter, ROUNDS, STATE_SIZE};
8use ark_ed_on_bls12_377::Fq;
9
10// the constants in this file are generated with
11// https://github.com/EspressoSystems/Marvellous/blob/fcd4c41672f485ac2f62526bc87a16789d4d0459/rescue377.sage
12
13// q377 = 0x12ab655e9a2ca55660b44d1e5c37b00159aa76fed00000010a11800000000001
14// rescue377 = Rescue(128, q377, 4, 5)
15
16impl RescueParameter for Fq {
17    // rescue377.alpha
18    const A: u64 = 11;
19    // 1/11 % (q371-1)
20    // A_INV = 0xf466a36210d417537d9565ea88aa746ec45a72d92e8ba2f655422e8ba2e8ba3
21    //       = 6909105067714121256203584040821265343853008546944234041037918282114243922851
22    const A_INV: &'static [u64] = &[
23        0x655422e8ba2e8ba3,
24        0xec45a72d92e8ba2f,
25        0x37d9565ea88aa746,
26        0xf466a36210d4175,
27    ];
28
29    // The following constants are from the output of
30    // rescue377.MDS
31    // MDS[0,0]= "8444461749428370424248824938781546531375899335154063827935233455917295859137"
32    // MDS[0,1]= "8444461749428370424248824938781546531375899335154063827935233454652656409921"
33    // MDS[0,2]= "8444461749428370424248824938781546531375899335154063827935219960949733275201"
34    // MDS[0,3]= "8444461749428370424248824938781546531375899335154063827791525545136070306881"
35    // MDS[1,0]= "118778440"
36    // MDS[1,1]= "1324860118296"
37    // MDS[1,2]= "14136260080508280"
38    // MDS[1,3]= "150537006982534008760"
39    // MDS[2,0]= "8444461749428370424248824938781546531375899335154063827935233455917403829351"
40    // MDS[2,1]= "8444461749428370424248824938781546531375899335154063827935233455857182925531"
41    // MDS[2,2]= "8444461749428370424248824938781546531375899335154063827935232813357514551187"
42    // MDS[2,3]= "8444461749428370424248824938781546531375899335154063827928390863423559055971"
43    // MDS[3,0]= "11155"
44    // MDS[3,1]= "119024335"
45    // MDS[3,2]= "1267490143415"
46    // MDS[3,3]= "13496292655106471"
47    // MDS matrix in little-endian 32 bytes elements
48    const MDS_LE: [[&'static [u8]; STATE_SIZE]; STATE_SIZE] = [
49        [
50            &[
51                0xC1, 0xF5, 0x3D, 0xF9, 0xFF, 0x7F, 0x11, 0x0A, 0x01, 0x00, 0x00, 0xD0, 0xFE, 0x76,
52                0xAA, 0x59, 0x01, 0xB0, 0x37, 0x5C, 0x1E, 0x4D, 0xB4, 0x60, 0x56, 0xA5, 0x2C, 0x9A,
53                0x5E, 0x65, 0xAB, 0x12,
54            ],
55            &[
56                0x41, 0x5D, 0xDB, 0x86, 0xD9, 0x7E, 0x11, 0x0A, 0x01, 0x00, 0x00, 0xD0, 0xFE, 0x76,
57                0xAA, 0x59, 0x01, 0xB0, 0x37, 0x5C, 0x1E, 0x4D, 0xB4, 0x60, 0x56, 0xA5, 0x2C, 0x9A,
58                0x5E, 0x65, 0xAB, 0x12,
59            ],
60            &[
61                0x41, 0x36, 0x6B, 0xFD, 0x65, 0x8E, 0xE1, 0x09, 0x01, 0x00, 0x00, 0xD0, 0xFE, 0x76,
62                0xAA, 0x59, 0x01, 0xB0, 0x37, 0x5C, 0x1E, 0x4D, 0xB4, 0x60, 0x56, 0xA5, 0x2C, 0x9A,
63                0x5E, 0x65, 0xAB, 0x12,
64            ],
65            &[
66                0x41, 0xAC, 0xC3, 0xA0, 0x8A, 0x70, 0xB8, 0x3F, 0xF9, 0xFF, 0xFF, 0xCF, 0xFE, 0x76,
67                0xAA, 0x59, 0x01, 0xB0, 0x37, 0x5C, 0x1E, 0x4D, 0xB4, 0x60, 0x56, 0xA5, 0x2C, 0x9A,
68                0x5E, 0x65, 0xAB, 0x12,
69            ],
70        ],
71        [
72            &[
73                0x48, 0x6A, 0x14, 0x07, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
74                0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
75                0x00, 0x00, 0x00, 0x00,
76            ],
77            &[
78                0x18, 0x15, 0xD1, 0x77, 0x34, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
79                0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
80                0x00, 0x00, 0x00, 0x00,
81            ],
82            &[
83                0x78, 0x1D, 0x8D, 0x88, 0xDA, 0x38, 0x32, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
84                0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
85                0x00, 0x00, 0x00, 0x00,
86            ],
87            &[
88                0xB8, 0x0F, 0x70, 0x78, 0x45, 0xE2, 0x1E, 0x29, 0x08, 0x00, 0x00, 0x00, 0x00, 0x00,
89                0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
90                0x00, 0x00, 0x00, 0x00,
91            ],
92        ],
93        [
94            &[
95                0x67, 0x74, 0xAD, 0xFF, 0xFF, 0x7F, 0x11, 0x0A, 0x01, 0x00, 0x00, 0xD0, 0xFE, 0x76,
96                0xAA, 0x59, 0x01, 0xB0, 0x37, 0x5C, 0x1E, 0x4D, 0xB4, 0x60, 0x56, 0xA5, 0x2C, 0x9A,
97                0x5E, 0x65, 0xAB, 0x12,
98            ],
99            &[
100                0xDB, 0x62, 0x3B, 0xFA, 0xF1, 0x7F, 0x11, 0x0A, 0x01, 0x00, 0x00, 0xD0, 0xFE, 0x76,
101                0xAA, 0x59, 0x01, 0xB0, 0x37, 0x5C, 0x1E, 0x4D, 0xB4, 0x60, 0x56, 0xA5, 0x2C, 0x9A,
102                0x5E, 0x65, 0xAB, 0x12,
103            ],
104            &[
105                0x93, 0xEF, 0xBA, 0x5D, 0x98, 0x37, 0x0F, 0x0A, 0x01, 0x00, 0x00, 0xD0, 0xFE, 0x76,
106                0xAA, 0x59, 0x01, 0xB0, 0x37, 0x5C, 0x1E, 0x4D, 0xB4, 0x60, 0x56, 0xA5, 0x2C, 0x9A,
107                0x5E, 0x65, 0xAB, 0x12,
108            ],
109            &[
110                0x63, 0x3A, 0x4E, 0x65, 0x61, 0xBA, 0x1B, 0xAB, 0x00, 0x00, 0x00, 0xD0, 0xFE, 0x76,
111                0xAA, 0x59, 0x01, 0xB0, 0x37, 0x5C, 0x1E, 0x4D, 0xB4, 0x60, 0x56, 0xA5, 0x2C, 0x9A,
112                0x5E, 0x65, 0xAB, 0x12,
113            ],
114        ],
115        [
116            &[
117                0x93, 0x2B, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
118                0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
119                0x00, 0x00, 0x00, 0x00,
120            ],
121            &[
122                0xCF, 0x2A, 0x18, 0x07, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
123                0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
124                0x00, 0x00, 0x00, 0x00,
125            ],
126            &[
127                0xB7, 0xBC, 0x4C, 0x1C, 0x27, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
128                0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
129                0x00, 0x00, 0x00, 0x00,
130            ],
131            &[
132                0xA7, 0x09, 0x7E, 0x81, 0xCE, 0xF2, 0x2F, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
133                0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
134                0x00, 0x00, 0x00, 0x00,
135            ],
136        ],
137    ];
138
139    // The following constants are from the output of
140    // rescue377.initial_constant
141    // a.k.a. INIT_VEC
142    // INIT_VEC[0]=
143    // "7195166260762508599252723804118999247617987830477524724582535753522743429902"
144    // INIT_VEC[1]=
145    // "157568923057870085185801131226812508154648823377393772750758002166934615414"
146    // INIT_VEC[2]=
147    // "8368974368714179058560102222209821528142740294286535716971241458054331447299"
148    // INIT_VEC[3]=
149    // "2193144866846120881109650827139290126159606618067745139279401080525317213903"
150    //
151    const INIT_VEC_LE: [&'static [u8]; STATE_SIZE] = [
152        &[
153            0x0E, 0x4B, 0x21, 0x08, 0x01, 0x45, 0xB1, 0xBE, 0x83, 0x49, 0x2B, 0xCE, 0x0B, 0x49,
154            0xB4, 0xFA, 0xDF, 0x93, 0xE2, 0x19, 0xBC, 0x27, 0x3F, 0xA3, 0x71, 0x5B, 0x13, 0x7F,
155            0xDD, 0x51, 0xE8, 0x0F,
156        ],
157        &[
158            0x76, 0x35, 0x95, 0xBD, 0x7D, 0xC7, 0x99, 0x9C, 0x0E, 0x54, 0xEC, 0xCF, 0x4D, 0x6D,
159            0x74, 0x2A, 0x94, 0x7F, 0xFF, 0x41, 0xDD, 0xB3, 0x4E, 0x06, 0x3A, 0xBD, 0x85, 0x2F,
160            0x4C, 0x2E, 0x59, 0x00,
161        ],
162        &[
163            0x03, 0x38, 0x61, 0xEB, 0x1C, 0x39, 0xE2, 0x72, 0x0C, 0xCA, 0xB6, 0xDD, 0xFA, 0xAD,
164            0xF9, 0x09, 0xDA, 0x88, 0x59, 0x13, 0xA7, 0x98, 0xB1, 0x12, 0x00, 0x20, 0xA7, 0x08,
165            0xF0, 0xAB, 0x80, 0x12,
166        ],
167        &[
168            0xCF, 0x0E, 0xB8, 0xED, 0x6C, 0xB3, 0x1D, 0xA8, 0x53, 0x05, 0x9C, 0x14, 0x7D, 0x1B,
169            0x65, 0xD7, 0x34, 0x0C, 0x95, 0xCA, 0x4C, 0x43, 0xA2, 0xE3, 0xF4, 0x16, 0x67, 0x4B,
170            0xA8, 0x46, 0xD9, 0x04,
171        ],
172    ];
173
174    // The following constants are from the output of
175    // sage: rescue381.constants_matrix
176    // a.k.a., KEY_SCHED_MATRIX
177    // KEY_SCHED_MATRIX[0,0]=
178    // "7706576124239544837371600760424887325666871237646566433582815095059014199792"
179    // KEY_SCHED_MATRIX[0,1]=
180    // "5866850164576261478222180177187623784425095431438009129648961690750738724033"
181    // KEY_SCHED_MATRIX[0,2]=
182    // "5967963618215854522411152750142075651481461240008734293775989630299855162504"
183    // KEY_SCHED_MATRIX[0,3]=
184    // "4846413119387162211456448903358698082073272134778198460673863015758257657569"
185    // KEY_SCHED_MATRIX[1,0]=
186    // "1245960362769537792640019594237304364405740843817026904000374334904749831719"
187    // KEY_SCHED_MATRIX[1,1]=
188    // "7953944257726793928692708838487408421612439320876245321369789667138797299913"
189    // KEY_SCHED_MATRIX[1,2]=
190    // "4754797182399066897135937139456358243903942729099936743831234828037073492871"
191    // KEY_SCHED_MATRIX[1,3]=
192    // "7499009130375379463556804089865923760153528008940973027774256635004918389563"
193    // KEY_SCHED_MATRIX[2,0]=
194    // "6473093830626604929963072604064598990230085260662177396257715740435130466686"
195    // KEY_SCHED_MATRIX[2,1]=
196    // "4390337253131514942705827559491664950984265110689583880841633000427121081888"
197    // KEY_SCHED_MATRIX[2,2]=
198    // "3522051946840768458577251601407876587632962453320814154152205148191545374550"
199    // KEY_SCHED_MATRIX[2,3]=
200    // "6319999439708992933292400869565273518174083699772881386205747820203056621547"
201    // KEY_SCHED_MATRIX[3,0]=
202    // "5289326583391743443615481307619780473919202444935065353437083634733980820257"
203    // KEY_SCHED_MATRIX[3,1]=
204    // "6938831675933050844113924302108891647008288148791676051457678992328784482036"
205    // KEY_SCHED_MATRIX[3,2]=
206    // "1512276495893019861517996168661692331234716309646677384152244252805703243785"
207    // KEY_SCHED_MATRIX[3,3]=
208    // "1059856104783947562758392666568158542266706238365295453209304533860586199352"
209    //
210
211    // The following constants are from the output of
212    // sage: rescue381.constants_constant
213    // a.k.a., KEY_SCHED_VEC
214    // KEY_SCHED_VEC[0]=
215    // "6719983214629867114203683304402864967396584522104316535218975820603408161605"
216    // KEY_SCHED_VEC[1]=
217    // "1631001820510975681976157041507139599858468300000865485702360346888662886649"
218    // KEY_SCHED_VEC[2]=
219    // "6512151801847166617260532883979631278806942338258734789784404511769472570827"
220    // KEY_SCHED_VEC[3]=
221    // "396144897873338732377306209560320349606829120111196081730035080973497562014"
222    //
223
224    // The key injection constants are precomputed computed as
225    // 1. KEY_INJECTION[-1] = INIT_VECTOR
226    // 2. for i in [0 .. 2 * ROUNDS]
227    // 3. KEY_INJECTION[i] = KEY_SCHED_MATRIX * KEY_INJECTION[ i - 1] +
228    // KEY_SCHED_VEC
229    // where the INIT_VECTOR, KEY_SCHED_MATRIX and KEY_INJECTION are defined above
230    // Those constants can be obtained via
231    //   key_injection(init_vec_377, key_sched_matrix_377, key_sched_vec_377, q377)
232    // from rescue377.sage
233    const KEY_INJECTION_LE: [[&'static [u8]; 4]; 2 * ROUNDS] = [
234        [
235            &[
236                0x83, 0x11, 0x89, 0xE1, 0x62, 0x52, 0xD6, 0x02, 0xCD, 0xC5, 0xA2, 0x95, 0xB2, 0xE3,
237                0xBA, 0xE3, 0xD7, 0xA6, 0xCA, 0x72, 0xFC, 0x0A, 0xB0, 0x9B, 0x5D, 0x2F, 0xC8, 0x58,
238                0x17, 0x6A, 0xD7, 0x04,
239            ],
240            &[
241                0x46, 0x01, 0x04, 0xE4, 0x52, 0x0F, 0x2F, 0x2E, 0x82, 0x4D, 0x67, 0xBA, 0x64, 0x73,
242                0xD5, 0x3C, 0x84, 0xDA, 0x8D, 0xF6, 0x37, 0x59, 0xBD, 0x1C, 0x1B, 0x30, 0x91, 0x7F,
243                0x93, 0x33, 0x1F, 0x06,
244            ],
245            &[
246                0x31, 0xE6, 0xE4, 0x00, 0x6B, 0xF1, 0xF8, 0xD5, 0x1D, 0x1F, 0xBE, 0x0C, 0x1C, 0xBB,
247                0x4F, 0x0B, 0x1E, 0x68, 0xE2, 0xAB, 0xF5, 0x9B, 0xF0, 0x41, 0xF6, 0x3A, 0x18, 0x24,
248                0x8A, 0x72, 0x46, 0x10,
249            ],
250            &[
251                0xD0, 0x82, 0x92, 0xB1, 0x05, 0x84, 0xEB, 0xFE, 0x82, 0x48, 0xD9, 0x50, 0x27, 0x85,
252                0x80, 0xA5, 0xCC, 0x65, 0xF6, 0x4D, 0xE1, 0x50, 0x46, 0x67, 0x9B, 0x6F, 0xD4, 0x23,
253                0x67, 0x36, 0x6C, 0x02,
254            ],
255        ],
256        [
257            &[
258                0x8F, 0xBF, 0x4A, 0x1B, 0x84, 0xB3, 0x99, 0x92, 0x96, 0x9C, 0x27, 0x45, 0xBE, 0x4D,
259                0x70, 0x52, 0xBE, 0x1C, 0x6D, 0xB6, 0x65, 0x15, 0xB8, 0x6D, 0x57, 0x30, 0x77, 0xCF,
260                0xFF, 0xDC, 0x41, 0x03,
261            ],
262            &[
263                0xAF, 0x31, 0xD7, 0x7D, 0xD6, 0x9C, 0x59, 0xDA, 0xEF, 0x2A, 0x80, 0x15, 0x69, 0x1D,
264                0x8A, 0xBC, 0xF1, 0x16, 0xB2, 0x2D, 0x68, 0xF1, 0x4F, 0x00, 0x4A, 0xBF, 0xEC, 0x87,
265                0xB9, 0x63, 0x5A, 0x07,
266            ],
267            &[
268                0x89, 0x2E, 0xF6, 0x0B, 0x7A, 0x35, 0x0A, 0x1F, 0x5A, 0xB4, 0x6F, 0x6C, 0x35, 0x60,
269                0xC7, 0x11, 0x14, 0x68, 0x78, 0x7D, 0x3C, 0x3C, 0x81, 0x8C, 0x45, 0xA3, 0x3E, 0x46,
270                0x7F, 0xA5, 0x3A, 0x10,
271            ],
272            &[
273                0x31, 0x9E, 0x76, 0x79, 0xE2, 0x78, 0x72, 0x0D, 0x9A, 0xC7, 0x89, 0x7D, 0x35, 0xDC,
274                0xA5, 0xED, 0x8B, 0x68, 0x23, 0xC1, 0x76, 0xBB, 0xBE, 0xCE, 0xF6, 0x3E, 0x60, 0x3E,
275                0x9F, 0x70, 0x7C, 0x09,
276            ],
277        ],
278        [
279            &[
280                0x5E, 0x29, 0x53, 0x52, 0x9D, 0x07, 0xF0, 0xFD, 0xB4, 0xF1, 0x0D, 0x80, 0x13, 0x4B,
281                0x80, 0x4A, 0xD5, 0x5F, 0x87, 0xCD, 0x63, 0xC7, 0x8A, 0x4F, 0xB6, 0x50, 0x11, 0x0F,
282                0x13, 0x7E, 0x13, 0x0D,
283            ],
284            &[
285                0xFF, 0xE0, 0x88, 0xD5, 0xA6, 0xD5, 0x76, 0x52, 0x87, 0xCB, 0xD7, 0x58, 0x55, 0x7C,
286                0x03, 0x8F, 0xFA, 0x48, 0x65, 0x53, 0x3C, 0xE8, 0xA9, 0xB6, 0x07, 0x34, 0x65, 0x13,
287                0x7B, 0x55, 0xB1, 0x06,
288            ],
289            &[
290                0x72, 0x3B, 0xA0, 0xF1, 0xCF, 0xBC, 0x3D, 0xEA, 0x77, 0xF7, 0xEC, 0x24, 0x62, 0x2E,
291                0x5F, 0x5B, 0x35, 0xC2, 0xDD, 0x74, 0x20, 0x9D, 0x21, 0x92, 0xC4, 0xDC, 0x44, 0xF8,
292                0x3E, 0xA0, 0x4E, 0x04,
293            ],
294            &[
295                0xED, 0xD7, 0x41, 0x65, 0x7E, 0xB9, 0xCD, 0xC2, 0x1F, 0x9A, 0xA3, 0xC6, 0x8E, 0xF1,
296                0x3A, 0x11, 0x40, 0xAC, 0xAD, 0x52, 0xC0, 0xA6, 0x59, 0x60, 0x89, 0xF2, 0x64, 0x67,
297                0xC0, 0xF4, 0x54, 0x07,
298            ],
299        ],
300        [
301            &[
302                0xAC, 0xE0, 0x9E, 0x5B, 0x58, 0x22, 0x3F, 0x1F, 0x3C, 0xA4, 0x86, 0x37, 0xAA, 0x26,
303                0xDA, 0x48, 0x7E, 0x4F, 0x61, 0x90, 0xB7, 0xE4, 0xC3, 0x2F, 0xB5, 0x8F, 0xCF, 0x64,
304                0xDF, 0x3C, 0x93, 0x0C,
305            ],
306            &[
307                0x9D, 0x87, 0x6A, 0x50, 0x56, 0xD6, 0x5E, 0x28, 0xA1, 0x6D, 0x0E, 0x72, 0xD2, 0x76,
308                0x6F, 0x13, 0x82, 0x7B, 0x76, 0x3D, 0xA0, 0xE6, 0x53, 0x90, 0x1F, 0xE8, 0x83, 0x8D,
309                0xF6, 0xF6, 0xD3, 0x11,
310            ],
311            &[
312                0x9E, 0x04, 0x77, 0x32, 0xE5, 0xF7, 0xCE, 0x24, 0x2B, 0x82, 0x03, 0x8C, 0xC4, 0xEC,
313                0x15, 0x31, 0xA7, 0x09, 0xAF, 0x64, 0x16, 0x27, 0xC8, 0x91, 0x4F, 0x17, 0x11, 0x4E,
314                0x67, 0xF4, 0x84, 0x07,
315            ],
316            &[
317                0x22, 0x6D, 0x07, 0x57, 0xD5, 0x0E, 0xE2, 0x83, 0xD8, 0x9F, 0x4E, 0x9C, 0x3B, 0xAB,
318                0x1D, 0xF0, 0xD1, 0x1A, 0x5A, 0xB8, 0x16, 0xA3, 0xAD, 0x54, 0x66, 0xCD, 0x83, 0x6D,
319                0xC2, 0xE1, 0xA9, 0x03,
320            ],
321        ],
322        [
323            &[
324                0xD2, 0x98, 0x19, 0x16, 0x55, 0xA3, 0x0F, 0x31, 0x84, 0xF5, 0x8A, 0x1F, 0x6B, 0xD4,
325                0x58, 0x9A, 0x2C, 0x12, 0x76, 0xBE, 0xEF, 0xEE, 0xDA, 0x19, 0x85, 0xF0, 0xBD, 0x52,
326                0x54, 0xB8, 0xDD, 0x0F,
327            ],
328            &[
329                0x31, 0xC6, 0x81, 0xC3, 0xB7, 0xCC, 0xC4, 0xA2, 0xE6, 0xDA, 0xE7, 0x09, 0x9C, 0xFB,
330                0x39, 0xCD, 0x93, 0x9A, 0xF4, 0xCA, 0xD9, 0xD9, 0x3C, 0x83, 0x94, 0xDB, 0xEC, 0x2B,
331                0x5D, 0xD4, 0xC0, 0x0B,
332            ],
333            &[
334                0x22, 0x12, 0x81, 0xFA, 0x1F, 0x85, 0x71, 0x3B, 0x76, 0x66, 0xA8, 0x26, 0xFD, 0xF0,
335                0x0A, 0xEC, 0x0F, 0x87, 0x94, 0xE0, 0xC3, 0x7E, 0x1E, 0x9A, 0x6D, 0xA3, 0x1F, 0x1E,
336                0xD1, 0xA6, 0xD7, 0x0B,
337            ],
338            &[
339                0x40, 0x59, 0xE8, 0x50, 0x2C, 0x97, 0xC0, 0x88, 0xF0, 0x70, 0xAD, 0x56, 0x8C, 0x0B,
340                0xD9, 0x30, 0x6A, 0xA2, 0x57, 0x60, 0x29, 0x3A, 0x4B, 0xBE, 0x6D, 0x83, 0xEC, 0x9B,
341                0xD0, 0xA5, 0x11, 0x0F,
342            ],
343        ],
344        [
345            &[
346                0xBC, 0x37, 0x85, 0xE2, 0x25, 0x98, 0x41, 0xB0, 0xD9, 0x9A, 0x40, 0x5C, 0xE7, 0xEB,
347                0x32, 0xCE, 0x5A, 0x88, 0xD4, 0x34, 0xD9, 0x0B, 0x0E, 0x92, 0x1B, 0x01, 0x7D, 0xBA,
348                0xA6, 0x61, 0xC3, 0x01,
349            ],
350            &[
351                0xCD, 0xEB, 0xF9, 0xEE, 0x05, 0x73, 0x48, 0x34, 0x34, 0x77, 0xAE, 0x9A, 0x85, 0x7F,
352                0xBB, 0x88, 0xE3, 0x3F, 0x3B, 0xEF, 0x6E, 0x3F, 0x4E, 0xC7, 0x2F, 0xBC, 0x84, 0x66,
353                0x5E, 0x9B, 0xFA, 0x04,
354            ],
355            &[
356                0xAE, 0x81, 0xA1, 0x64, 0x1D, 0x53, 0x2C, 0x6F, 0x92, 0xA6, 0x00, 0x97, 0x2D, 0x2E,
357                0xA4, 0x89, 0xE8, 0x62, 0x3D, 0xDE, 0x0E, 0x1E, 0x35, 0xFA, 0x77, 0xBE, 0x5E, 0x68,
358                0x08, 0xC9, 0x52, 0x0F,
359            ],
360            &[
361                0xD9, 0x1B, 0x51, 0x82, 0x8E, 0xCF, 0x4E, 0x04, 0x97, 0x8D, 0x46, 0xC0, 0x6B, 0xEF,
362                0x36, 0xFA, 0x6F, 0xE6, 0xB8, 0x03, 0xD7, 0x5C, 0xED, 0x8D, 0x5B, 0xD8, 0x50, 0xCF,
363                0xF1, 0x9F, 0x70, 0x02,
364            ],
365        ],
366        [
367            &[
368                0xB4, 0xFD, 0x50, 0x46, 0x57, 0x7D, 0x87, 0x44, 0x08, 0x6D, 0x5B, 0x22, 0x93, 0xC2,
369                0x11, 0x9E, 0x42, 0x5E, 0x13, 0x06, 0xED, 0xA3, 0x95, 0x2D, 0x3C, 0xD5, 0xC6, 0x02,
370                0x14, 0x59, 0x8F, 0x12,
371            ],
372            &[
373                0x71, 0x03, 0x84, 0xA6, 0x32, 0xB6, 0xF1, 0xAD, 0xBB, 0xC9, 0x50, 0xB3, 0xF6, 0xF1,
374                0xA3, 0x7C, 0x48, 0x50, 0xA4, 0x74, 0xA9, 0xBF, 0x4A, 0x56, 0x19, 0x0D, 0x4C, 0xA2,
375                0x6E, 0x28, 0x4A, 0x04,
376            ],
377            &[
378                0xD6, 0x4C, 0xBE, 0x5C, 0x9C, 0x3A, 0xB9, 0x54, 0x76, 0xF4, 0x8A, 0xFD, 0xF1, 0x91,
379                0x5D, 0x52, 0x04, 0x5D, 0xF4, 0x25, 0x2E, 0x97, 0xD6, 0xDB, 0x38, 0x8C, 0x41, 0xB8,
380                0xAC, 0xF1, 0x11, 0x02,
381            ],
382            &[
383                0xBA, 0x5A, 0x62, 0x0A, 0x5F, 0x36, 0xC6, 0x45, 0x31, 0xFE, 0x88, 0x79, 0x5A, 0x9A,
384                0x86, 0x17, 0x36, 0xA6, 0x4E, 0xF6, 0xDC, 0x4E, 0xDB, 0x1D, 0x58, 0x1A, 0x84, 0x7D,
385                0x58, 0xFD, 0x22, 0x0E,
386            ],
387        ],
388        [
389            &[
390                0x14, 0xEE, 0x78, 0x27, 0x93, 0x5B, 0x11, 0xEC, 0xB3, 0xAD, 0xCC, 0x15, 0xF0, 0xD6,
391                0x3C, 0x6A, 0x07, 0x30, 0x86, 0xD7, 0xF2, 0x06, 0xA7, 0x8A, 0x1D, 0xBE, 0xD9, 0x00,
392                0x18, 0x46, 0x75, 0x02,
393            ],
394            &[
395                0x8B, 0x2D, 0x36, 0x03, 0x94, 0xAA, 0x78, 0x82, 0x16, 0x06, 0x4A, 0xED, 0x0A, 0x6D,
396                0xF1, 0xF0, 0xC1, 0x00, 0x2A, 0x98, 0x24, 0x11, 0xCC, 0x77, 0x41, 0xDF, 0xF5, 0x2C,
397                0x98, 0x2B, 0x64, 0x0B,
398            ],
399            &[
400                0xF2, 0x7F, 0x50, 0xE5, 0xA5, 0xA2, 0x48, 0x6F, 0x28, 0x1E, 0x7C, 0xA2, 0xF0, 0x20,
401                0x85, 0x54, 0x9B, 0xA5, 0x28, 0x16, 0x54, 0x3A, 0x24, 0x84, 0x66, 0x38, 0x04, 0xC2,
402                0x80, 0x9F, 0xF3, 0x09,
403            ],
404            &[
405                0xA5, 0x36, 0x8C, 0xA6, 0x7B, 0x05, 0x22, 0x05, 0x1A, 0x31, 0xD4, 0x3D, 0x2A, 0xD0,
406                0x09, 0xEB, 0xC2, 0x81, 0x77, 0xC7, 0x12, 0xE4, 0x10, 0x74, 0x9E, 0x6E, 0xBB, 0xB3,
407                0xF8, 0x9F, 0x7F, 0x06,
408            ],
409        ],
410        [
411            &[
412                0x42, 0xEF, 0xD9, 0x88, 0xA1, 0xF1, 0x7F, 0x4B, 0x4D, 0xE9, 0xFD, 0x8B, 0xCF, 0x29,
413                0x85, 0xD6, 0x73, 0xA1, 0x17, 0x0A, 0x8F, 0x78, 0x05, 0xD3, 0x82, 0xBB, 0x5C, 0x97,
414                0xBB, 0x55, 0xE3, 0x06,
415            ],
416            &[
417                0x6D, 0x03, 0x82, 0xC4, 0xF1, 0x1A, 0xB6, 0x71, 0xE2, 0xC4, 0xC9, 0x6B, 0x39, 0x7E,
418                0xC9, 0x3A, 0xA7, 0x60, 0xA7, 0x03, 0x78, 0x6E, 0xAC, 0x26, 0x13, 0x2D, 0xAE, 0x24,
419                0xF3, 0x88, 0x1F, 0x05,
420            ],
421            &[
422                0x43, 0x0C, 0xA8, 0x79, 0xB7, 0x6D, 0x11, 0xF2, 0xBB, 0x16, 0x60, 0x5E, 0xAE, 0x6D,
423                0x31, 0x5A, 0x3C, 0x2D, 0xDC, 0xD7, 0x55, 0xE6, 0xD1, 0xF8, 0xEE, 0xE1, 0xBD, 0x75,
424                0x66, 0x7B, 0x97, 0x12,
425            ],
426            &[
427                0x84, 0xD5, 0x8C, 0x75, 0xBE, 0xB5, 0x93, 0x7B, 0xF4, 0xD8, 0xAF, 0x8A, 0x1B, 0xF7,
428                0x28, 0x05, 0x5D, 0x9F, 0x8A, 0xDA, 0xBE, 0x2B, 0x71, 0xD0, 0xF6, 0x2C, 0xAD, 0xC1,
429                0xB8, 0xCF, 0xBA, 0x0D,
430            ],
431        ],
432        [
433            &[
434                0xD0, 0x27, 0x57, 0x17, 0xC6, 0xAB, 0x94, 0x53, 0x4E, 0x52, 0x04, 0xEB, 0x26, 0x41,
435                0xA2, 0x85, 0xD1, 0xF5, 0x22, 0xF1, 0x58, 0x2B, 0xE5, 0xE2, 0xD0, 0x98, 0xB7, 0x08,
436                0xE2, 0x3E, 0xD6, 0x03,
437            ],
438            &[
439                0x12, 0x97, 0x20, 0x3E, 0x20, 0x2C, 0xC6, 0x69, 0xFC, 0xCF, 0x4E, 0x29, 0xF1, 0xC5,
440                0xA6, 0x29, 0x77, 0x6A, 0xF5, 0x0C, 0x5A, 0x25, 0x41, 0x86, 0x8A, 0xAD, 0xD7, 0xBB,
441                0x74, 0xE1, 0xFD, 0x0B,
442            ],
443            &[
444                0x75, 0xCC, 0xBD, 0x18, 0xD8, 0x92, 0xAC, 0xB6, 0x05, 0x19, 0x7F, 0x78, 0x79, 0x5C,
445                0x7C, 0x60, 0xED, 0xDF, 0x58, 0x58, 0x5D, 0x5B, 0xBE, 0x3F, 0x61, 0xEA, 0x59, 0x5C,
446                0x65, 0xF4, 0x4F, 0x0F,
447            ],
448            &[
449                0xA6, 0x52, 0x7C, 0xE1, 0x64, 0x67, 0x09, 0x61, 0x76, 0x70, 0x7D, 0xA9, 0x4A, 0xA8,
450                0x40, 0xE9, 0x7A, 0x16, 0xCB, 0x69, 0x62, 0x1C, 0xDB, 0xAC, 0x1A, 0xBD, 0xB4, 0x15,
451                0x8C, 0x1A, 0x35, 0x0B,
452            ],
453        ],
454        [
455            &[
456                0x00, 0x03, 0x44, 0xF1, 0xA3, 0x73, 0x55, 0x5B, 0xA7, 0x33, 0x79, 0xEC, 0x1A, 0x21,
457                0x9D, 0xB3, 0x16, 0x5C, 0xBB, 0x35, 0x76, 0x85, 0x15, 0xF3, 0xC7, 0x51, 0x97, 0xAF,
458                0x2D, 0x24, 0x36, 0x05,
459            ],
460            &[
461                0xA9, 0xDB, 0xA9, 0x02, 0x7C, 0x94, 0x7F, 0x0E, 0xAD, 0xE9, 0xF8, 0xCE, 0x50, 0xE4,
462                0xB2, 0xBD, 0xB3, 0x0E, 0x31, 0xBF, 0x3A, 0x9E, 0x08, 0x67, 0x17, 0x6A, 0x9C, 0x33,
463                0xB9, 0xD7, 0xD6, 0x0E,
464            ],
465            &[
466                0x53, 0xC1, 0x47, 0xA5, 0xA0, 0x60, 0xEA, 0x7E, 0xA7, 0xA5, 0xC9, 0x1A, 0x48, 0x62,
467                0x1F, 0x4C, 0x83, 0xFA, 0x20, 0x19, 0x92, 0x92, 0x98, 0x2C, 0x0A, 0x9A, 0x22, 0x0C,
468                0x33, 0x9A, 0xAB, 0x02,
469            ],
470            &[
471                0x97, 0xE0, 0x9A, 0xE2, 0x9A, 0xB0, 0xDC, 0xC5, 0xA5, 0x8B, 0x66, 0xE1, 0xF0, 0xB0,
472                0xFD, 0x04, 0x4E, 0xC7, 0x74, 0x43, 0x7D, 0x69, 0x63, 0x72, 0xD6, 0xF2, 0xFD, 0x28,
473                0x1B, 0xDD, 0xC5, 0x0E,
474            ],
475        ],
476        [
477            &[
478                0xA2, 0x9E, 0xE1, 0x9B, 0xBA, 0xB8, 0xB7, 0x30, 0xCD, 0x2D, 0x59, 0xD9, 0x0B, 0xA2,
479                0xE7, 0x7E, 0x58, 0xA3, 0x7B, 0xF5, 0x73, 0x58, 0x30, 0x94, 0x18, 0x6E, 0x63, 0x51,
480                0xAF, 0xEC, 0x74, 0x02,
481            ],
482            &[
483                0xED, 0xF0, 0xE5, 0xB0, 0x1B, 0xFD, 0x45, 0x29, 0x53, 0x97, 0x66, 0x62, 0x49, 0xF0,
484                0x42, 0x19, 0x46, 0x04, 0xDE, 0x1D, 0xF4, 0xF8, 0x23, 0xAF, 0xF9, 0x38, 0xC7, 0x79,
485                0x8C, 0x79, 0xBC, 0x0C,
486            ],
487            &[
488                0x3E, 0xF7, 0x87, 0x44, 0x8B, 0x8D, 0xF5, 0x81, 0x82, 0xFF, 0x8D, 0xE3, 0x90, 0xA7,
489                0x77, 0xD0, 0xE4, 0xE6, 0xC1, 0x88, 0x67, 0x63, 0xD6, 0x16, 0xC1, 0x41, 0x5C, 0x29,
490                0xC4, 0x97, 0x03, 0x0B,
491            ],
492            &[
493                0x16, 0x98, 0x61, 0xEE, 0xB3, 0xAC, 0x72, 0xD5, 0xC1, 0x0B, 0xCA, 0x2E, 0x7E, 0xAC,
494                0x6B, 0x12, 0x55, 0x32, 0x24, 0xD3, 0x7F, 0xF5, 0x0E, 0xCB, 0x55, 0x85, 0xCB, 0x49,
495                0xEF, 0xEE, 0x03, 0x11,
496            ],
497        ],
498        [
499            &[
500                0x9B, 0x99, 0xED, 0x5E, 0x45, 0x6F, 0xF6, 0x7C, 0xFB, 0xEC, 0x58, 0x82, 0x2D, 0x1A,
501                0x01, 0x62, 0x4E, 0xB1, 0x42, 0xAE, 0x48, 0xDA, 0x72, 0xD0, 0x7F, 0xBA, 0xA7, 0xF1,
502                0x63, 0xAE, 0x00, 0x05,
503            ],
504            &[
505                0xE3, 0x2B, 0x8C, 0x93, 0x05, 0xB6, 0xD0, 0xC5, 0x73, 0x0E, 0x9C, 0x5E, 0xE8, 0x8D,
506                0x5B, 0x1F, 0xD5, 0x8B, 0xDE, 0xE8, 0x04, 0xC2, 0xE7, 0x65, 0x7A, 0x8F, 0xF9, 0xA5,
507                0xDB, 0xB5, 0xE4, 0x07,
508            ],
509            &[
510                0x96, 0x36, 0x3F, 0x09, 0xF2, 0x6E, 0xDC, 0xF5, 0x08, 0x05, 0x36, 0x85, 0x78, 0xEE,
511                0x05, 0x9B, 0x34, 0x0C, 0x16, 0x21, 0xCF, 0x6C, 0xA9, 0x61, 0xCE, 0xF2, 0xAB, 0xE7,
512                0x03, 0x99, 0x8B, 0x08,
513            ],
514            &[
515                0x51, 0x7F, 0x60, 0x18, 0x71, 0x49, 0x48, 0xE1, 0x5C, 0x4E, 0x20, 0x01, 0x13, 0x09,
516                0xDB, 0xD0, 0xD6, 0x34, 0xA4, 0x9F, 0xDC, 0xA6, 0x12, 0x3E, 0x68, 0x36, 0x04, 0x58,
517                0x26, 0x5F, 0x8E, 0x0C,
518            ],
519        ],
520        [
521            &[
522                0x92, 0x7D, 0x97, 0xB0, 0x4C, 0xB2, 0xB1, 0x1C, 0xC1, 0x11, 0x6F, 0x06, 0x57, 0xA2,
523                0x75, 0xB6, 0xCB, 0xFD, 0xFE, 0x1A, 0x63, 0x71, 0x79, 0xCC, 0xE8, 0xFC, 0xB6, 0x14,
524                0x1C, 0xBC, 0x42, 0x06,
525            ],
526            &[
527                0x23, 0xA4, 0x43, 0x4C, 0xBD, 0xC5, 0x84, 0x52, 0xB4, 0xD5, 0x5A, 0x3B, 0xFB, 0xBB,
528                0x97, 0xB6, 0x9C, 0x4A, 0x90, 0x6C, 0x0D, 0xEC, 0x84, 0x02, 0x2F, 0x3F, 0xAE, 0x33,
529                0xE8, 0xBA, 0x99, 0x0D,
530            ],
531            &[
532                0x90, 0x35, 0x40, 0xD2, 0x42, 0x5F, 0x76, 0x20, 0x7D, 0x1B, 0x38, 0xD5, 0xBB, 0x38,
533                0x2B, 0xF3, 0x48, 0xD9, 0x51, 0xFE, 0xB4, 0x0D, 0x8A, 0x1C, 0x66, 0x21, 0x8B, 0x3C,
534                0x61, 0x99, 0x1E, 0x0B,
535            ],
536            &[
537                0x80, 0x91, 0xD9, 0x43, 0xD3, 0x9D, 0xC6, 0x72, 0x34, 0x53, 0xC1, 0x6A, 0x15, 0xBD,
538                0xCC, 0x48, 0x37, 0xE9, 0xB8, 0xA4, 0x9E, 0xF8, 0xF6, 0x47, 0x6A, 0x30, 0xA4, 0x68,
539                0x4C, 0xD4, 0x33, 0x07,
540            ],
541        ],
542        [
543            &[
544                0x6D, 0x65, 0xF5, 0x9C, 0xE7, 0x47, 0x8A, 0x24, 0x59, 0xF1, 0xA5, 0x18, 0xA9, 0xBF,
545                0xA5, 0xBA, 0x3C, 0x2F, 0xCC, 0x43, 0x86, 0xC8, 0xD6, 0xED, 0x12, 0xF3, 0xAB, 0xF0,
546                0x31, 0x73, 0xD0, 0x0D,
547            ],
548            &[
549                0xE1, 0x6A, 0x0E, 0x69, 0x7C, 0x6F, 0x77, 0x19, 0xFD, 0xEA, 0xE5, 0x43, 0x0B, 0xA7,
550                0xEA, 0xCD, 0xEB, 0x32, 0xC4, 0x17, 0xEA, 0x97, 0x2B, 0xB0, 0x90, 0xF3, 0x57, 0xB7,
551                0x1D, 0xF6, 0x95, 0x0B,
552            ],
553            &[
554                0x58, 0x26, 0xA0, 0x00, 0xEF, 0x0B, 0xB7, 0xE8, 0x04, 0x35, 0xFB, 0xBD, 0x06, 0x0A,
555                0xB3, 0x48, 0x49, 0x6A, 0x75, 0xEF, 0x83, 0xCE, 0x88, 0x06, 0xC1, 0x47, 0x46, 0x5F,
556                0x27, 0x3E, 0x6B, 0x12,
557            ],
558            &[
559                0xD4, 0x6E, 0x96, 0xBB, 0x05, 0xB1, 0x95, 0x9C, 0x99, 0x39, 0xFF, 0x12, 0xAD, 0x57,
560                0x77, 0xBE, 0xFA, 0x99, 0x28, 0x85, 0xB7, 0xA6, 0x72, 0xC9, 0xE6, 0xCE, 0x1E, 0xE3,
561                0xD5, 0xF9, 0x29, 0x0A,
562            ],
563        ],
564        [
565            &[
566                0x8F, 0xC1, 0x6D, 0xAA, 0x66, 0x65, 0x95, 0x77, 0xCC, 0x6C, 0xF2, 0xDC, 0xF9, 0x0F,
567                0x91, 0x42, 0x24, 0xF5, 0xC5, 0xCF, 0xA9, 0xE3, 0x27, 0x73, 0x5F, 0xA6, 0xB3, 0x9D,
568                0x21, 0xA4, 0xC1, 0x09,
569            ],
570            &[
571                0x25, 0x86, 0x65, 0xBA, 0xDC, 0xF6, 0x9D, 0x41, 0x48, 0x96, 0x49, 0xAD, 0x0D, 0xDC,
572                0x6F, 0x3A, 0xC0, 0xD9, 0xBE, 0x7E, 0x92, 0xA4, 0xDB, 0x7D, 0xC5, 0x4B, 0xC1, 0x1D,
573                0xBF, 0x72, 0xB8, 0x08,
574            ],
575            &[
576                0xAB, 0x3C, 0x2F, 0x72, 0xD7, 0x59, 0x12, 0xC4, 0x46, 0x41, 0xC3, 0x1E, 0x58, 0x69,
577                0x3B, 0x60, 0x0D, 0xCE, 0x5D, 0xBC, 0x43, 0xBD, 0x6D, 0xA6, 0xDD, 0xC4, 0x12, 0x76,
578                0x5C, 0xE3, 0xCF, 0x11,
579            ],
580            &[
581                0xBD, 0xE2, 0x6B, 0x38, 0x07, 0x55, 0x03, 0x43, 0xCA, 0x4A, 0xDF, 0xCA, 0xDA, 0x61,
582                0x83, 0x75, 0xE4, 0x75, 0xC4, 0x5E, 0xF3, 0x02, 0x9C, 0xCD, 0xE3, 0x11, 0x3A, 0xD9,
583                0x6F, 0x45, 0x3A, 0x03,
584            ],
585        ],
586        [
587            &[
588                0xCD, 0x60, 0xD6, 0x7E, 0x66, 0xA0, 0xD3, 0x71, 0x9E, 0x2F, 0x1C, 0x4C, 0x98, 0x6F,
589                0x19, 0xD1, 0x60, 0x1A, 0xBF, 0x99, 0x2E, 0x16, 0x5B, 0x0E, 0xBD, 0x05, 0x43, 0x80,
590                0x2C, 0x2F, 0x94, 0x06,
591            ],
592            &[
593                0x8B, 0xC6, 0xB8, 0xA3, 0x55, 0x42, 0xE6, 0xE7, 0xD8, 0xEC, 0x87, 0x03, 0x4F, 0x71,
594                0x73, 0x37, 0x49, 0x70, 0xE5, 0xEB, 0x24, 0xAC, 0x5B, 0x29, 0x00, 0x19, 0x35, 0x2A,
595                0x86, 0xE3, 0xFA, 0x10,
596            ],
597            &[
598                0x78, 0xBC, 0x14, 0x16, 0x70, 0x95, 0x90, 0x34, 0xF8, 0x6C, 0x5B, 0x0D, 0x63, 0x8B,
599                0xDC, 0x64, 0x8B, 0xE8, 0x47, 0x45, 0xC4, 0x16, 0xAC, 0xE0, 0x08, 0x88, 0x55, 0xAC,
600                0x37, 0xE6, 0x7F, 0x11,
601            ],
602            &[
603                0xCF, 0x7D, 0x4D, 0x7B, 0x3C, 0x7F, 0x02, 0x37, 0xCC, 0x00, 0x4E, 0x3B, 0xBC, 0x2D,
604                0x46, 0x76, 0x15, 0x15, 0xD6, 0x05, 0x46, 0xCB, 0x51, 0x98, 0xFE, 0xA0, 0x31, 0xE0,
605                0x5C, 0x56, 0x43, 0x11,
606            ],
607        ],
608        [
609            &[
610                0x45, 0x8C, 0x38, 0x26, 0x14, 0xE5, 0x7D, 0x5A, 0x00, 0x1F, 0x94, 0x6E, 0x98, 0x15,
611                0x4B, 0x63, 0x39, 0x6F, 0x76, 0xAB, 0x15, 0xE8, 0x31, 0xE3, 0x09, 0xFB, 0x2B, 0xEC,
612                0xBB, 0x57, 0x42, 0x00,
613            ],
614            &[
615                0x04, 0xE4, 0x7B, 0xBC, 0xFE, 0x3B, 0x9E, 0xDC, 0x0F, 0x83, 0x66, 0x4E, 0x3F, 0x68,
616                0xD0, 0x8A, 0xDF, 0xE2, 0xC9, 0x13, 0x8D, 0x57, 0xFD, 0x3A, 0xB8, 0x6F, 0xA4, 0xBD,
617                0x6A, 0x71, 0x1A, 0x11,
618            ],
619            &[
620                0x8E, 0x12, 0x11, 0xD0, 0xFB, 0x27, 0x99, 0x71, 0x81, 0x89, 0x4B, 0xA2, 0x42, 0xC7,
621                0x9D, 0xEC, 0xC7, 0xD4, 0x5E, 0x47, 0x31, 0x42, 0x94, 0x1B, 0x73, 0x6C, 0x91, 0x72,
622                0xE3, 0x47, 0x3A, 0x04,
623            ],
624            &[
625                0xFE, 0x54, 0xD5, 0x6D, 0x48, 0xB6, 0x9B, 0xA2, 0xCC, 0x7A, 0x33, 0xAA, 0x5B, 0x92,
626                0x48, 0xA7, 0x2F, 0x00, 0x90, 0x48, 0xF9, 0x81, 0x34, 0x8F, 0x0B, 0xE1, 0x31, 0xB9,
627                0xAF, 0x48, 0x6E, 0x11,
628            ],
629        ],
630        [
631            &[
632                0x84, 0x25, 0xF9, 0x3C, 0x8B, 0xC4, 0x67, 0xFD, 0x37, 0x95, 0xC0, 0x24, 0xEC, 0xF8,
633                0xB6, 0x40, 0xEE, 0xF3, 0x02, 0x8A, 0x93, 0x01, 0xB3, 0x3C, 0x74, 0x5C, 0x7B, 0x1E,
634                0x49, 0x34, 0x76, 0x01,
635            ],
636            &[
637                0x25, 0x46, 0xC7, 0x0B, 0x7C, 0x00, 0x18, 0x31, 0x26, 0x2A, 0x47, 0x2A, 0x74, 0x3A,
638                0x71, 0x5B, 0xE8, 0x0E, 0x54, 0x10, 0x25, 0x39, 0xBD, 0x21, 0x1A, 0x51, 0xB2, 0xCA,
639                0xA2, 0xF8, 0xE0, 0x0C,
640            ],
641            &[
642                0x43, 0x13, 0xD9, 0x31, 0x7F, 0x8F, 0xEB, 0xB5, 0x6C, 0xDC, 0xB3, 0xB6, 0x25, 0x80,
643                0x24, 0xFC, 0xCB, 0xFC, 0x3D, 0xF2, 0xF1, 0x30, 0xE0, 0xC1, 0xB0, 0x15, 0x5B, 0xBD,
644                0x31, 0x53, 0x4D, 0x0C,
645            ],
646            &[
647                0x56, 0xB4, 0x79, 0xDC, 0xB3, 0x5A, 0xA1, 0xB5, 0x49, 0x3C, 0x23, 0x17, 0x98, 0x14,
648                0x58, 0x5B, 0xD4, 0x27, 0x32, 0x66, 0x95, 0xBD, 0xF9, 0x46, 0x96, 0xAA, 0xA4, 0x49,
649                0x47, 0x4D, 0xD4, 0x0A,
650            ],
651        ],
652        [
653            &[
654                0x95, 0xA9, 0x98, 0x99, 0x95, 0xEE, 0xBB, 0xC2, 0x32, 0x52, 0xDA, 0x26, 0x97, 0xD8,
655                0x56, 0x70, 0x86, 0xA7, 0x40, 0x55, 0x0B, 0x33, 0x5E, 0xDF, 0x5D, 0x7E, 0xDD, 0xD1,
656                0x33, 0x79, 0x57, 0x11,
657            ],
658            &[
659                0x73, 0x10, 0x11, 0xC2, 0xAF, 0xB0, 0xBD, 0x83, 0x17, 0x5B, 0x69, 0x4E, 0x73, 0x97,
660                0xB6, 0x3C, 0xD0, 0xCC, 0xC2, 0x85, 0x4C, 0x7A, 0xE7, 0x54, 0x9B, 0x34, 0xAB, 0xE1,
661                0xD4, 0xCB, 0x5B, 0x0B,
662            ],
663            &[
664                0x03, 0x91, 0xC9, 0xD2, 0x4A, 0x90, 0x2E, 0xFF, 0xBC, 0xFE, 0xA5, 0x17, 0x3E, 0x94,
665                0xCB, 0x0C, 0xC8, 0xBE, 0x7A, 0x34, 0xE0, 0xFA, 0x60, 0xEE, 0x05, 0x14, 0x94, 0x54,
666                0x49, 0x87, 0xD9, 0x06,
667            ],
668            &[
669                0x3C, 0xB3, 0x48, 0xF8, 0x7B, 0x9E, 0xC4, 0x66, 0x91, 0x37, 0xB2, 0x2C, 0x32, 0x96,
670                0xF0, 0xF9, 0xF3, 0xC8, 0xD4, 0x33, 0x6F, 0xF7, 0x7E, 0x9F, 0x9B, 0xA7, 0x87, 0xDA,
671                0x3C, 0xB8, 0x61, 0x10,
672            ],
673        ],
674        [
675            &[
676                0xB7, 0xF9, 0x1B, 0x51, 0x2B, 0x2D, 0x5F, 0x9F, 0x7A, 0x4D, 0xA8, 0x02, 0xFC, 0x3E,
677                0xAC, 0xBD, 0xA9, 0xAF, 0xFB, 0xC0, 0x02, 0x45, 0x21, 0x01, 0x36, 0x3C, 0x96, 0x7F,
678                0x34, 0xC8, 0x19, 0x02,
679            ],
680            &[
681                0xE4, 0x27, 0xBA, 0xE8, 0x74, 0x97, 0x41, 0x08, 0xE2, 0xB8, 0xFE, 0xEA, 0x8B, 0xB0,
682                0x7D, 0xBD, 0x90, 0xB9, 0x3F, 0x10, 0xDD, 0xEA, 0xB9, 0x57, 0x58, 0x60, 0x0C, 0x5D,
683                0x4E, 0x46, 0x6D, 0x02,
684            ],
685            &[
686                0xAC, 0x39, 0xB5, 0xAC, 0x0F, 0xDA, 0xAB, 0x90, 0xE7, 0x45, 0x16, 0x75, 0x09, 0x75,
687                0x27, 0xDA, 0xCA, 0x7A, 0xCD, 0xD8, 0x87, 0x62, 0x94, 0x08, 0x4C, 0x17, 0xB0, 0x03,
688                0x73, 0x56, 0x37, 0x0F,
689            ],
690            &[
691                0x75, 0xEA, 0x14, 0x55, 0x4C, 0x76, 0x2E, 0x24, 0xA0, 0x83, 0x4D, 0xD7, 0x98, 0x4E,
692                0xBD, 0x43, 0x0C, 0xED, 0x20, 0x00, 0x1C, 0x90, 0x4A, 0x10, 0x4A, 0x32, 0xEB, 0x4B,
693                0x3D, 0xB3, 0x12, 0x10,
694            ],
695        ],
696        [
697            &[
698                0xE1, 0xD0, 0xE4, 0x15, 0x9E, 0x4E, 0x05, 0xC0, 0x96, 0x4C, 0xA1, 0x23, 0x7C, 0x78,
699                0xF6, 0x92, 0x09, 0x27, 0x8D, 0x1F, 0x58, 0xA0, 0x2F, 0x2F, 0x1F, 0x37, 0xF2, 0x3E,
700                0x70, 0xF5, 0x93, 0x01,
701            ],
702            &[
703                0xCC, 0x1F, 0x62, 0x61, 0xE4, 0x06, 0xC2, 0xC6, 0x6B, 0xB0, 0xEE, 0x9E, 0xA4, 0x8E,
704                0x34, 0x40, 0x59, 0x06, 0xBA, 0x3E, 0x80, 0x2A, 0x3E, 0x8B, 0x55, 0xF0, 0x0E, 0x12,
705                0x3D, 0xBA, 0x0B, 0x04,
706            ],
707            &[
708                0x1E, 0x51, 0x75, 0x13, 0x60, 0x58, 0xB0, 0x81, 0x78, 0xCC, 0x97, 0x20, 0x91, 0xD8,
709                0x32, 0xE9, 0xF5, 0x92, 0xF3, 0xD9, 0x00, 0x79, 0x07, 0x0E, 0xD6, 0x6B, 0x67, 0x82,
710                0x84, 0x85, 0xD0, 0x05,
711            ],
712            &[
713                0x69, 0x1E, 0x75, 0x41, 0xE9, 0x07, 0x7D, 0x9E, 0xED, 0x56, 0xA3, 0x10, 0x58, 0xD9,
714                0x3B, 0x81, 0x38, 0xAA, 0xD3, 0x6A, 0x3B, 0x78, 0x8F, 0x3A, 0x58, 0x3A, 0x82, 0x34,
715                0xDB, 0x9A, 0xDB, 0x09,
716            ],
717        ],
718        [
719            &[
720                0x99, 0x9B, 0x34, 0xB4, 0x69, 0x5D, 0x4C, 0xEA, 0xFC, 0xDC, 0x72, 0x95, 0xDD, 0x9B,
721                0xC1, 0xAF, 0xAC, 0x40, 0x0B, 0xC3, 0x41, 0x63, 0x7E, 0xF0, 0x32, 0xD8, 0xAC, 0x67,
722                0x0A, 0xC9, 0xF3, 0x03,
723            ],
724            &[
725                0x63, 0x09, 0x25, 0x87, 0x36, 0xAC, 0x4A, 0xD7, 0xA6, 0xE9, 0x94, 0x8F, 0x9C, 0xC4,
726                0xD4, 0x19, 0x83, 0x5C, 0x1E, 0x7A, 0x3E, 0x28, 0x0C, 0xFF, 0x78, 0x08, 0x8A, 0x27,
727                0x53, 0x25, 0x7D, 0x0B,
728            ],
729            &[
730                0x24, 0x4E, 0x02, 0xE5, 0xA5, 0x2B, 0x42, 0x56, 0x56, 0x18, 0xC4, 0xFB, 0x24, 0x29,
731                0xCE, 0x83, 0xEA, 0x1D, 0xE5, 0x4A, 0x28, 0xB5, 0x77, 0xD1, 0xFE, 0x08, 0x99, 0x65,
732                0x25, 0xF8, 0x78, 0x05,
733            ],
734            &[
735                0x56, 0xC0, 0x97, 0x97, 0x5B, 0xE6, 0xC9, 0x91, 0x21, 0x4A, 0xC1, 0xC2, 0x3F, 0x23,
736                0x62, 0x1E, 0x1C, 0x5F, 0x5C, 0x5D, 0xA7, 0x5F, 0x58, 0xB3, 0xE8, 0x5D, 0x1B, 0x61,
737                0xC1, 0x11, 0x05, 0x12,
738            ],
739        ],
740        [
741            &[
742                0xFB, 0x3E, 0x91, 0xD3, 0x9E, 0x65, 0xDE, 0xEC, 0x87, 0x37, 0x50, 0xCC, 0x42, 0xCD,
743                0x51, 0x8A, 0xA0, 0x50, 0xE1, 0x3B, 0xD6, 0x8F, 0xAA, 0x98, 0x23, 0x2B, 0x46, 0x81,
744                0xAF, 0x3C, 0xB3, 0x10,
745            ],
746            &[
747                0x9E, 0x5C, 0x23, 0xBF, 0xC4, 0x03, 0x0B, 0x61, 0xE4, 0x6B, 0x3B, 0x2D, 0xF9, 0xED,
748                0xF1, 0xC1, 0x0B, 0xAE, 0xF2, 0x62, 0xD4, 0x8D, 0x8E, 0x2B, 0x2E, 0x8D, 0x59, 0x95,
749                0xF6, 0x6D, 0xD5, 0x11,
750            ],
751            &[
752                0xF0, 0xB4, 0x66, 0x5D, 0x3F, 0xA9, 0xBC, 0x36, 0x2F, 0x2C, 0x77, 0xC2, 0x40, 0xAF,
753                0x03, 0xB1, 0x6B, 0xAA, 0x97, 0xBE, 0x8C, 0x63, 0xB2, 0x2C, 0xE0, 0xF9, 0x18, 0x16,
754                0x10, 0xA4, 0xF2, 0x00,
755            ],
756            &[
757                0x14, 0x74, 0xD9, 0xE4, 0x2E, 0x17, 0x97, 0x38, 0xB1, 0x10, 0x40, 0x83, 0xCB, 0xBE,
758                0xE8, 0x36, 0x7B, 0xA8, 0x61, 0x44, 0x18, 0xA9, 0x60, 0x89, 0x89, 0x57, 0xAA, 0xF0,
759                0x93, 0x57, 0x46, 0x02,
760            ],
761        ],
762    ];
763
764    // // the following code is used to dump the key schedule to screen
765    // // in a sage friendly format
766    // let keys2 = rescue_perm.key_schedule(&zero);
767    // for e in keys2.iter() {
768    //     for f in e.vec.iter() {
769    //         ark_std::println!("permutation_round_key.append(0x{})",
770    // f.into_bigint());     }
771    // }
772    // The keys are not cross-checked with sage, however, the hash function
773    // is, which implies that the permutation round keys must be correct
774    // (or else, the hash function outputs will not match)
775    // see unit tests:
776    //   - test_sponge()
777    //   - test_rescue_hash_on_0_vec()
778    //   - test_rescue_perm_on_0_vec()
779
780    const PERMUTATION_ROUND_KEYS: [[&'static [u8]; 4]; 25] = [
781        [
782            &[
783                0x0E, 0x4B, 0x21, 0x08, 0x01, 0x45, 0xB1, 0xBE, 0x83, 0x49, 0x2B, 0xCE, 0x0B, 0x49,
784                0xB4, 0xFA, 0xDF, 0x93, 0xE2, 0x19, 0xBC, 0x27, 0x3F, 0xA3, 0x71, 0x5B, 0x13, 0x7F,
785                0xDD, 0x51, 0xE8, 0x0F,
786            ],
787            &[
788                0x76, 0x35, 0x95, 0xBD, 0x7D, 0xC7, 0x99, 0x9C, 0x0E, 0x54, 0xEC, 0xCF, 0x4D, 0x6D,
789                0x74, 0x2A, 0x94, 0x7F, 0xFF, 0x41, 0xDD, 0xB3, 0x4E, 0x06, 0x3A, 0xBD, 0x85, 0x2F,
790                0x4C, 0x2E, 0x59, 0x00,
791            ],
792            &[
793                0x03, 0x38, 0x61, 0xEB, 0x1C, 0x39, 0xE2, 0x72, 0x0C, 0xCA, 0xB6, 0xDD, 0xFA, 0xAD,
794                0xF9, 0x09, 0xDA, 0x88, 0x59, 0x13, 0xA7, 0x98, 0xB1, 0x12, 0x00, 0x20, 0xA7, 0x08,
795                0xF0, 0xAB, 0x80, 0x12,
796            ],
797            &[
798                0xCF, 0x0E, 0xB8, 0xED, 0x6C, 0xB3, 0x1D, 0xA8, 0x53, 0x05, 0x9C, 0x14, 0x7D, 0x1B,
799                0x65, 0xD7, 0x34, 0x0C, 0x95, 0xCA, 0x4C, 0x43, 0xA2, 0xE3, 0xF4, 0x16, 0x67, 0x4B,
800                0xA8, 0x46, 0xD9, 0x04,
801            ],
802        ],
803        [
804            &[
805                0xFA, 0xA8, 0x9F, 0x35, 0xDE, 0x59, 0x0B, 0x50, 0x9A, 0x1B, 0xBB, 0x79, 0xE5, 0x91,
806                0xCA, 0x34, 0x45, 0x4C, 0x80, 0x1F, 0xAD, 0xD4, 0xCB, 0xDC, 0x00, 0xA4, 0xFF, 0x1D,
807                0xB9, 0xFA, 0xF4, 0x0A,
808            ],
809            &[
810                0x6D, 0x31, 0x7C, 0xD2, 0x9D, 0xDF, 0x29, 0x84, 0x1C, 0xE7, 0x7C, 0x6A, 0xD1, 0x1E,
811                0x5E, 0x4F, 0x19, 0xD9, 0xCF, 0x40, 0x2F, 0x6F, 0x01, 0x53, 0x45, 0x3E, 0xA3, 0x55,
812                0x98, 0x74, 0x6B, 0x11,
813            ],
814            &[
815                0xCD, 0xF1, 0x00, 0x36, 0x40, 0x28, 0xA8, 0xDE, 0xE3, 0xD2, 0x23, 0xFE, 0x80, 0x54,
816                0xD3, 0xD1, 0x32, 0x8D, 0xEB, 0xA4, 0x4B, 0x48, 0xE0, 0x74, 0x7D, 0x24, 0x75, 0x8F,
817                0x4E, 0x88, 0xE3, 0x00,
818            ],
819            &[
820                0xF1, 0x8F, 0xCB, 0x0D, 0x02, 0x60, 0xA3, 0x31, 0x02, 0x96, 0x6B, 0xD5, 0xCD, 0x33,
821                0x43, 0x24, 0xB4, 0xF7, 0x9F, 0x07, 0x23, 0xC6, 0x84, 0xDF, 0x49, 0xE9, 0x65, 0x72,
822                0x27, 0x1A, 0xD9, 0x08,
823            ],
824        ],
825        [
826            &[
827                0x8B, 0xA0, 0x5C, 0xE7, 0x15, 0xC3, 0x95, 0x2E, 0x7F, 0xD2, 0x12, 0xB6, 0xB9, 0x38,
828                0x6F, 0xA6, 0x11, 0x3D, 0xF8, 0xD1, 0x20, 0x6B, 0xA1, 0xCA, 0x05, 0x1E, 0x2E, 0x2F,
829                0xE0, 0x6E, 0xC5, 0x10,
830            ],
831            &[
832                0x20, 0x32, 0xD2, 0x8B, 0x34, 0x35, 0x10, 0x8B, 0x5F, 0x30, 0x49, 0x7E, 0xA8, 0xF4,
833                0x25, 0x7D, 0x8E, 0x62, 0x30, 0x30, 0xB8, 0x47, 0x3C, 0x17, 0x09, 0x6F, 0x66, 0x39,
834                0xD4, 0xC8, 0xD2, 0x09,
835            ],
836            &[
837                0xA5, 0xB4, 0x1A, 0xB6, 0x68, 0x14, 0x7B, 0xFA, 0xF0, 0xE7, 0x2A, 0xAC, 0x4F, 0x36,
838                0xE0, 0xF1, 0xED, 0x5C, 0xB1, 0xE7, 0x2A, 0x4F, 0x9E, 0x1A, 0x88, 0x49, 0xB8, 0x6A,
839                0xA2, 0xB3, 0xE8, 0x0F,
840            ],
841            &[
842                0x5A, 0x93, 0xE8, 0x9D, 0x46, 0x72, 0x94, 0xCF, 0x64, 0xBC, 0x3D, 0x5A, 0x67, 0x85,
843                0x4B, 0x2B, 0xD5, 0x83, 0xF6, 0x4D, 0xB7, 0xEC, 0x21, 0xA2, 0x93, 0x1A, 0x69, 0x08,
844                0x09, 0xAC, 0xAA, 0x12,
845            ],
846        ],
847        [
848            &[
849                0xEE, 0x4D, 0xC4, 0x60, 0xC4, 0xC6, 0xDA, 0x0B, 0xCA, 0xD6, 0x43, 0xFD, 0x9E, 0x7D,
850                0x72, 0x96, 0x01, 0x7B, 0x3D, 0xFC, 0xB1, 0xAD, 0x72, 0x4C, 0x26, 0x1B, 0x3B, 0x12,
851                0x20, 0xDE, 0x4F, 0x0A,
852            ],
853            &[
854                0x2C, 0xC0, 0x7C, 0x1E, 0x8B, 0x33, 0x26, 0x5D, 0xC5, 0xCA, 0xC1, 0x35, 0x4E, 0xFD,
855                0x85, 0xE9, 0x6F, 0xBB, 0xE6, 0x05, 0xCF, 0x29, 0x0B, 0x4E, 0x18, 0xB7, 0x3D, 0x43,
856                0x05, 0x0A, 0xE4, 0x01,
857            ],
858            &[
859                0x28, 0xC9, 0x2D, 0x53, 0xD5, 0xDB, 0x9A, 0xEA, 0x1E, 0x0D, 0x77, 0xB5, 0x32, 0xF8,
860                0x58, 0x0B, 0xDE, 0x75, 0x29, 0xC4, 0x99, 0xD9, 0xD9, 0xED, 0xDC, 0xB7, 0xBC, 0x72,
861                0xAC, 0xFC, 0xCA, 0x0D,
862            ],
863            &[
864                0x5E, 0x15, 0xF3, 0xC4, 0xA7, 0xFB, 0x81, 0x12, 0x8D, 0xFE, 0x4F, 0x8A, 0x77, 0x47,
865                0xEA, 0x39, 0xC6, 0xD9, 0xEF, 0x8C, 0x33, 0x23, 0x82, 0x89, 0x56, 0x7E, 0x3B, 0x59,
866                0x16, 0x6A, 0x96, 0x0A,
867            ],
868        ],
869        [
870            &[
871                0xA5, 0xAF, 0x90, 0x1E, 0x6F, 0xC2, 0x91, 0xE5, 0x95, 0xBC, 0x12, 0x32, 0xED, 0x98,
872                0x08, 0x60, 0x0B, 0x70, 0x7B, 0x3D, 0x60, 0x13, 0x41, 0x44, 0x59, 0x45, 0x1F, 0x0B,
873                0xD6, 0x2D, 0x94, 0x05,
874            ],
875            &[
876                0xEF, 0x4F, 0x3B, 0xD6, 0xFD, 0xF2, 0x9A, 0x67, 0x0E, 0x3C, 0xD5, 0xD6, 0x5D, 0x72,
877                0x83, 0x18, 0x55, 0x0A, 0x4E, 0x5E, 0xFC, 0xD1, 0x9B, 0x7C, 0x5C, 0x20, 0xE3, 0xE5,
878                0xF5, 0xDA, 0xB6, 0x08,
879            ],
880            &[
881                0xF2, 0xF3, 0xF3, 0xFF, 0xA2, 0x15, 0x7B, 0x3E, 0x8E, 0x79, 0xED, 0xBF, 0x9E, 0x20,
882                0xE4, 0x87, 0x6F, 0x55, 0x4B, 0x93, 0x26, 0x7F, 0xD2, 0x86, 0x0B, 0x1E, 0x72, 0x63,
883                0x2F, 0xE9, 0x18, 0x0C,
884            ],
885            &[
886                0x5B, 0x28, 0x9E, 0xF0, 0xDA, 0x86, 0x23, 0x81, 0xB7, 0x70, 0x3B, 0xAC, 0x32, 0x08,
887                0x35, 0x1E, 0x40, 0x01, 0x4A, 0x8D, 0xB0, 0xAF, 0xA7, 0x5D, 0x58, 0x8D, 0xB1, 0x65,
888                0xE9, 0x77, 0x19, 0x10,
889            ],
890        ],
891        [
892            &[
893                0xD2, 0x47, 0x22, 0xA0, 0xEE, 0x60, 0x1A, 0xC6, 0xE6, 0x64, 0xEB, 0x03, 0x8E, 0xE9,
894                0x35, 0x67, 0xCD, 0xB7, 0x3F, 0x79, 0x5F, 0x10, 0x78, 0xE8, 0x20, 0x99, 0xC4, 0xF8,
895                0x21, 0x05, 0xE3, 0x10,
896            ],
897            &[
898                0x31, 0x63, 0xB7, 0x90, 0xE3, 0xDD, 0xF9, 0xDD, 0x76, 0x3B, 0x5E, 0x1F, 0x4C, 0x53,
899                0x77, 0x02, 0xE5, 0x4A, 0xA8, 0x47, 0x50, 0x78, 0x37, 0x76, 0x60, 0xF5, 0xB8, 0x7A,
900                0x23, 0xCD, 0x40, 0x06,
901            ],
902            &[
903                0x2A, 0x61, 0x94, 0x44, 0x98, 0x29, 0xDF, 0x92, 0x91, 0x09, 0xC0, 0x96, 0xD8, 0x4D,
904                0xEE, 0xC4, 0x0D, 0x18, 0xB5, 0xD1, 0xBD, 0xD4, 0x46, 0x67, 0x29, 0xDC, 0x05, 0xC8,
905                0xF8, 0xE9, 0x63, 0x06,
906            ],
907            &[
908                0xB8, 0x31, 0x55, 0x0D, 0x03, 0x33, 0x82, 0x49, 0x80, 0x77, 0xC6, 0xC3, 0x88, 0x6F,
909                0xA9, 0x16, 0x24, 0x43, 0xD8, 0x51, 0x9A, 0x4A, 0x70, 0x09, 0xAC, 0x9B, 0xD2, 0x72,
910                0x8E, 0xF7, 0x6C, 0x05,
911            ],
912        ],
913        [
914            &[
915                0x07, 0xE0, 0xA8, 0x97, 0x28, 0x0E, 0xB9, 0xA5, 0x29, 0xF3, 0x22, 0xDD, 0x54, 0xAB,
916                0x65, 0x5D, 0x32, 0x06, 0x77, 0x77, 0x29, 0x26, 0x7C, 0xDC, 0x20, 0x7F, 0xE1, 0x82,
917                0x46, 0x25, 0x86, 0x04,
918            ],
919            &[
920                0x15, 0x60, 0x05, 0x22, 0x59, 0xE6, 0x5B, 0xAD, 0xB1, 0xA2, 0xB6, 0x5E, 0x4E, 0xC2,
921                0x5A, 0xED, 0xAE, 0x8C, 0xF6, 0xB4, 0x70, 0x35, 0xA4, 0xBE, 0xF8, 0xF9, 0x3C, 0xED,
922                0x2B, 0x9C, 0x3A, 0x08,
923            ],
924            &[
925                0x88, 0xA8, 0x7D, 0xF3, 0x25, 0x0A, 0x05, 0x14, 0xE3, 0x9C, 0xAC, 0xFF, 0x07, 0x11,
926                0x4F, 0x0D, 0x77, 0x03, 0xCC, 0x8D, 0x73, 0x87, 0x4C, 0x30, 0x70, 0xF6, 0xD2, 0xE4,
927                0x32, 0xF3, 0xD8, 0x04,
928            ],
929            &[
930                0xF8, 0x52, 0x6E, 0x17, 0x26, 0xBD, 0xF7, 0x2C, 0x16, 0x70, 0xDC, 0xF7, 0x00, 0x6B,
931                0xC4, 0x57, 0xB5, 0xCB, 0x5B, 0xF4, 0xAE, 0xC0, 0x99, 0x5A, 0xBC, 0xFF, 0x1F, 0xAE,
932                0xF0, 0x99, 0xD6, 0x06,
933            ],
934        ],
935        [
936            &[
937                0xC9, 0x61, 0xD5, 0xEC, 0xDC, 0xD8, 0xA2, 0x35, 0xBD, 0x52, 0xB0, 0x72, 0x0C, 0xC9,
938                0xEB, 0x75, 0x78, 0x5A, 0x92, 0x48, 0x80, 0xE9, 0x45, 0x32, 0xD7, 0xDE, 0xC2, 0x9A,
939                0x9D, 0x5D, 0x4E, 0x11,
940            ],
941            &[
942                0xFF, 0xDF, 0xC1, 0x11, 0xD4, 0xCE, 0x25, 0x2C, 0xE3, 0x1F, 0xA2, 0xEF, 0xA2, 0x07,
943                0x24, 0x24, 0x79, 0x95, 0x38, 0x4A, 0x13, 0x1A, 0x47, 0x8C, 0x1C, 0x1E, 0xFD, 0x96,
944                0xDE, 0x5F, 0x79, 0x08,
945            ],
946            &[
947                0x53, 0x42, 0xE3, 0xEF, 0xFC, 0xD6, 0xA1, 0xA3, 0xB4, 0x0D, 0xB8, 0x13, 0x4A, 0x3E,
948                0xBA, 0x8E, 0xAE, 0xE1, 0x47, 0x9A, 0x9B, 0x7F, 0x62, 0x9D, 0x6D, 0x80, 0xEF, 0x73,
949                0x70, 0x83, 0x91, 0x10,
950            ],
951            &[
952                0x06, 0x7C, 0xDA, 0xB8, 0x44, 0x1C, 0x64, 0xCE, 0xE7, 0x75, 0xB5, 0xCC, 0x63, 0x6E,
953                0x21, 0x03, 0x28, 0x66, 0xFF, 0xB7, 0xA8, 0xF8, 0x82, 0xC0, 0x3B, 0xB4, 0xFF, 0x39,
954                0x52, 0x96, 0x9C, 0x06,
955            ],
956        ],
957        [
958            &[
959                0xA1, 0xF5, 0xCD, 0x0C, 0x4C, 0x4D, 0x78, 0x3F, 0x0C, 0xCE, 0x20, 0x32, 0x02, 0x99,
960                0x64, 0x53, 0xB3, 0x50, 0x33, 0xE2, 0x64, 0x7F, 0x18, 0xA0, 0xC5, 0x01, 0xD9, 0x53,
961                0xDF, 0x98, 0x2F, 0x05,
962            ],
963            &[
964                0xCE, 0xBC, 0xE0, 0x40, 0xD6, 0x06, 0x6B, 0xD4, 0x4B, 0x93, 0xF4, 0x03, 0x5D, 0xFB,
965                0x9B, 0xDC, 0x85, 0xB5, 0x03, 0x60, 0x7B, 0xCB, 0xE0, 0xC1, 0xC3, 0xC5, 0x36, 0xC1,
966                0xDF, 0xD4, 0xD1, 0x10,
967            ],
968            &[
969                0xC4, 0xF1, 0x27, 0x88, 0xD9, 0x5C, 0x48, 0xA3, 0x59, 0x58, 0x4C, 0x3E, 0x5C, 0xDB,
970                0x75, 0xFF, 0xF2, 0x11, 0xF3, 0x2E, 0x54, 0x27, 0xD0, 0x95, 0xC9, 0xB3, 0x1A, 0x73,
971                0xA3, 0xA1, 0x50, 0x05,
972            ],
973            &[
974                0xBE, 0x45, 0x27, 0x37, 0x9D, 0x7D, 0xF4, 0x95, 0x75, 0x9C, 0xD3, 0xBA, 0xE3, 0x6F,
975                0xE2, 0x6D, 0xE4, 0x28, 0x62, 0xA8, 0xA9, 0xC4, 0x80, 0xB8, 0xA8, 0xA5, 0x8D, 0x56,
976                0x48, 0xC0, 0xBE, 0x07,
977            ],
978        ],
979        [
980            &[
981                0xCC, 0xCE, 0x28, 0xBA, 0x3F, 0xA3, 0x96, 0x47, 0xB6, 0xB6, 0xB8, 0x1F, 0xEE, 0x04,
982                0xEC, 0xD5, 0x2E, 0x13, 0x13, 0x87, 0x1B, 0xA8, 0xD8, 0x78, 0xA3, 0x82, 0x16, 0xF5,
983                0xA9, 0x75, 0x79, 0x11,
984            ],
985            &[
986                0x12, 0x18, 0x9F, 0x02, 0xF3, 0xC9, 0x91, 0xC7, 0xF8, 0xDE, 0xAE, 0xE9, 0xE3, 0x32,
987                0x42, 0xEA, 0xFA, 0x64, 0xA0, 0x48, 0x6B, 0x15, 0x7F, 0x2A, 0x2E, 0x77, 0xEC, 0xAB,
988                0x68, 0xB5, 0xD8, 0x0E,
989            ],
990            &[
991                0x1D, 0xD3, 0xDE, 0x48, 0x42, 0xD4, 0xA8, 0x63, 0x03, 0xC0, 0x0C, 0x39, 0xF0, 0x84,
992                0x20, 0x12, 0x8B, 0xBE, 0x33, 0xA6, 0x16, 0x74, 0xAD, 0x19, 0xE9, 0x81, 0x68, 0x12,
993                0x99, 0x74, 0x9E, 0x09,
994            ],
995            &[
996                0x9A, 0x94, 0x6F, 0xF0, 0xBB, 0x91, 0x87, 0x54, 0x49, 0x26, 0x93, 0x98, 0x63, 0x53,
997                0x70, 0x14, 0x16, 0xE8, 0x5C, 0xE0, 0xC8, 0x67, 0xFB, 0x26, 0xD9, 0xF2, 0xE2, 0x4D,
998                0xA8, 0x56, 0xA7, 0x03,
999            ],
1000        ],
1001        [
1002            &[
1003                0x45, 0x5C, 0x10, 0xE3, 0xF6, 0xBB, 0x1F, 0x08, 0x07, 0x4F, 0x79, 0xFB, 0xFD, 0xAD,
1004                0x7D, 0x70, 0xC8, 0x3F, 0xB8, 0x50, 0x25, 0x92, 0x30, 0xD4, 0xE4, 0x8E, 0x42, 0xC2,
1005                0x95, 0xFD, 0x98, 0x0B,
1006            ],
1007            &[
1008                0x34, 0x01, 0x58, 0x17, 0xE0, 0x1F, 0xB6, 0xDE, 0x0A, 0x65, 0x14, 0xB1, 0xD9, 0x04,
1009                0xB9, 0xF6, 0x46, 0x0D, 0x77, 0x0A, 0xC3, 0xDD, 0x8A, 0xB5, 0xCD, 0xE7, 0x59, 0xF4,
1010                0x13, 0x2F, 0x9F, 0x11,
1011            ],
1012            &[
1013                0x82, 0x86, 0xED, 0xC8, 0x07, 0xD6, 0x9C, 0xE2, 0x4A, 0x42, 0x68, 0xCC, 0xF4, 0x2A,
1014                0xDD, 0x0B, 0xF5, 0x5E, 0xD6, 0x7F, 0x02, 0xCA, 0x4D, 0x6C, 0xC0, 0x88, 0x27, 0x29,
1015                0x71, 0xB5, 0xBB, 0x0A,
1016            ],
1017            &[
1018                0x46, 0xD6, 0xAD, 0x70, 0xC2, 0x54, 0x64, 0x82, 0x66, 0xA9, 0x69, 0x7A, 0xAC, 0xEB,
1019                0xCA, 0x68, 0x69, 0x04, 0xFE, 0xB8, 0x1E, 0x94, 0x40, 0x22, 0x9C, 0x69, 0x1F, 0xC6,
1020                0xBF, 0x2E, 0x34, 0x0F,
1021            ],
1022        ],
1023        [
1024            &[
1025                0xE8, 0xCB, 0xE2, 0xCA, 0x7C, 0xFC, 0x64, 0x65, 0x5D, 0xBB, 0x8C, 0x0E, 0xAF, 0xBF,
1026                0xDD, 0x16, 0xC1, 0xD5, 0x95, 0xDC, 0x84, 0x11, 0x47, 0x17, 0x34, 0x35, 0xD9, 0x93,
1027                0xB8, 0x32, 0xFA, 0x04,
1028            ],
1029            &[
1030                0xF1, 0x8B, 0x8A, 0x01, 0xED, 0x56, 0x70, 0x43, 0x40, 0x3A, 0x22, 0x90, 0xE0, 0x0D,
1031                0x24, 0xF2, 0x25, 0x8B, 0xB1, 0x1E, 0x73, 0x37, 0x50, 0xF7, 0xDF, 0x4A, 0x25, 0x33,
1032                0xCC, 0xD6, 0x16, 0x01,
1033            ],
1034            &[
1035                0x4D, 0xA4, 0x5F, 0x15, 0x60, 0xB6, 0x2B, 0x11, 0x14, 0x12, 0xAA, 0x42, 0xA0, 0xFC,
1036                0x91, 0xBB, 0x45, 0x58, 0x3F, 0x38, 0x07, 0xCB, 0x9C, 0x73, 0x8B, 0x23, 0xD9, 0xD9,
1037                0x6C, 0x07, 0x6B, 0x00,
1038            ],
1039            &[
1040                0x38, 0xE2, 0xE3, 0x3F, 0xFB, 0xF2, 0xFC, 0xFD, 0x00, 0x49, 0x9E, 0x3F, 0x8B, 0xEC,
1041                0xF0, 0xB0, 0xF3, 0x31, 0x3C, 0x70, 0x6C, 0x7F, 0x71, 0xE8, 0xB2, 0x4B, 0x63, 0x37,
1042                0x0F, 0x0F, 0x7B, 0x03,
1043            ],
1044        ],
1045        [
1046            &[
1047                0xED, 0x77, 0x32, 0x95, 0xCE, 0x9C, 0x70, 0xC4, 0x57, 0x52, 0x4E, 0xE6, 0x6C, 0x95,
1048                0x33, 0x90, 0x9A, 0x51, 0x80, 0x13, 0xB3, 0xD9, 0xFA, 0x7B, 0x2D, 0xD8, 0x6D, 0x34,
1049                0x0E, 0x9E, 0x2D, 0x11,
1050            ],
1051            &[
1052                0x6F, 0x5D, 0xDD, 0xD7, 0x63, 0x5B, 0xDC, 0xCC, 0x02, 0xBC, 0x22, 0x95, 0xA2, 0xFD,
1053                0x43, 0xFB, 0x65, 0x8E, 0xD9, 0xE9, 0x4E, 0x2E, 0x4D, 0x9E, 0x37, 0x09, 0x12, 0x9C,
1054                0xB9, 0xCC, 0xDB, 0x08,
1055            ],
1056            &[
1057                0xA7, 0xF4, 0x7A, 0x90, 0xF2, 0xB6, 0x44, 0x08, 0xA0, 0xE5, 0x0C, 0x9E, 0x6B, 0xCC,
1058                0xE4, 0x97, 0x02, 0xA0, 0x16, 0x02, 0xC8, 0x49, 0x88, 0xF3, 0x51, 0xCB, 0x8E, 0xBB,
1059                0xC2, 0x3D, 0xC3, 0x0C,
1060            ],
1061            &[
1062                0x0C, 0x52, 0xA9, 0x7A, 0xAF, 0x73, 0xFB, 0xAC, 0x96, 0x39, 0x82, 0x48, 0xFD, 0x5E,
1063                0x01, 0x53, 0x6B, 0xD2, 0xD9, 0x00, 0x56, 0x6C, 0x5E, 0x4D, 0x0C, 0xD7, 0xA7, 0x73,
1064                0x27, 0xBE, 0x2D, 0x07,
1065            ],
1066        ],
1067        [
1068            &[
1069                0xA6, 0x73, 0xF3, 0xCC, 0xB7, 0x45, 0x0E, 0x96, 0x8A, 0xC5, 0xB9, 0xEA, 0x0E, 0x1B,
1070                0x7E, 0x81, 0x5F, 0x74, 0x95, 0x27, 0xA7, 0x90, 0xF9, 0xA3, 0x7C, 0x30, 0x72, 0xD2,
1071                0x49, 0x25, 0xB4, 0x06,
1072            ],
1073            &[
1074                0xEE, 0xCE, 0xD0, 0x67, 0x13, 0xC5, 0x18, 0x89, 0x82, 0x5D, 0xB4, 0x67, 0xB7, 0x50,
1075                0x72, 0xBD, 0xD3, 0xD9, 0xD8, 0x98, 0x41, 0x63, 0x01, 0x9F, 0x49, 0x88, 0xAB, 0xB6,
1076                0x5B, 0x20, 0x5B, 0x04,
1077            ],
1078            &[
1079                0x68, 0x36, 0xA4, 0x39, 0x35, 0xC0, 0x26, 0x57, 0x27, 0x2F, 0x14, 0xAD, 0x26, 0x8F,
1080                0xF1, 0xD2, 0x01, 0xEF, 0x78, 0xBA, 0x7C, 0xD5, 0xE0, 0xCF, 0xCF, 0x57, 0x02, 0xDF,
1081                0xF6, 0xE7, 0x50, 0x00,
1082            ],
1083            &[
1084                0xC2, 0x61, 0xD0, 0xA0, 0x8C, 0xAE, 0xE7, 0xFB, 0x2C, 0xB1, 0x73, 0x79, 0xE8, 0x51,
1085                0xFC, 0xF0, 0xB8, 0x93, 0x27, 0xA5, 0x8D, 0xF9, 0x91, 0x5B, 0x8D, 0x4E, 0x60, 0x00,
1086                0x72, 0x91, 0x4E, 0x02,
1087            ],
1088        ],
1089        [
1090            &[
1091                0x86, 0x73, 0xEA, 0x01, 0x35, 0xF7, 0x6B, 0xB3, 0xE5, 0xA4, 0xDB, 0xDC, 0x64, 0x97,
1092                0x38, 0x0E, 0x29, 0x63, 0x6D, 0x4A, 0xD0, 0xAE, 0xE4, 0xA0, 0x06, 0xB1, 0xA3, 0xC3,
1093                0xA0, 0xC2, 0x49, 0x04,
1094            ],
1095            &[
1096                0x13, 0x6B, 0x42, 0xA2, 0xFC, 0x92, 0xE0, 0xB0, 0x9D, 0xAD, 0xE9, 0x92, 0x98, 0x44,
1097                0xA5, 0x77, 0xEF, 0x9C, 0x2C, 0xDA, 0x8B, 0xB2, 0x49, 0xBB, 0x50, 0x02, 0x8B, 0xA8,
1098                0x15, 0x4A, 0x03, 0x09,
1099            ],
1100            &[
1101                0xAE, 0x27, 0x90, 0x05, 0x86, 0x30, 0x63, 0xEC, 0xCA, 0x9D, 0xB8, 0x1C, 0xE0, 0x1C,
1102                0x1D, 0xE3, 0x23, 0x29, 0xED, 0xDE, 0xF4, 0x19, 0xF0, 0xBE, 0x57, 0xFE, 0xA4, 0xB8,
1103                0xE3, 0xF2, 0x18, 0x11,
1104            ],
1105            &[
1106                0x48, 0xA3, 0x95, 0x59, 0x98, 0x8E, 0x30, 0xD9, 0x83, 0xCC, 0xFF, 0x85, 0x3D, 0x18,
1107                0xF2, 0xA5, 0x52, 0x4A, 0x11, 0x8A, 0x00, 0xCB, 0x4F, 0xE6, 0xFA, 0xF8, 0x48, 0xBD,
1108                0xB1, 0x57, 0x0B, 0x04,
1109            ],
1110        ],
1111        [
1112            &[
1113                0x57, 0xE0, 0xD5, 0xE6, 0x82, 0xD1, 0x2A, 0xD3, 0x41, 0x2D, 0x1F, 0xF1, 0xAF, 0x60,
1114                0x88, 0x09, 0xE8, 0xA2, 0x7B, 0xE5, 0x8F, 0x54, 0x44, 0xB6, 0x31, 0x7B, 0x21, 0x06,
1115                0xC4, 0xFC, 0xB2, 0x09,
1116            ],
1117            &[
1118                0xD5, 0x66, 0x84, 0xD4, 0x89, 0xE4, 0xBB, 0x55, 0xD1, 0xAD, 0xF4, 0x8F, 0x8D, 0x8B,
1119                0x8D, 0x86, 0xDD, 0xF6, 0x7B, 0x38, 0x4C, 0x1D, 0x5D, 0x0A, 0xF0, 0x01, 0xC8, 0x1B,
1120                0x5A, 0x4A, 0x4A, 0x06,
1121            ],
1122            &[
1123                0x4C, 0xD7, 0x0D, 0xC3, 0xD2, 0xF3, 0x21, 0x33, 0x7F, 0xA3, 0x6F, 0xFA, 0xA9, 0xB3,
1124                0xDC, 0x3D, 0x2F, 0x49, 0xD8, 0xBE, 0x53, 0x3C, 0x83, 0x77, 0x4F, 0xEF, 0x98, 0x96,
1125                0x52, 0xC3, 0xE6, 0x00,
1126            ],
1127            &[
1128                0x6D, 0x34, 0x9D, 0xD4, 0x7D, 0x6B, 0x01, 0xBB, 0x1B, 0xA1, 0xD9, 0xFE, 0xA8, 0xCE,
1129                0xA3, 0xAE, 0xDF, 0x31, 0x72, 0x42, 0x7C, 0xC7, 0xA6, 0xAE, 0x11, 0x5B, 0xE8, 0x67,
1130                0x26, 0x5B, 0x10, 0x04,
1131            ],
1132        ],
1133        [
1134            &[
1135                0x57, 0xA9, 0xAB, 0xAB, 0xA5, 0x73, 0xA0, 0x0B, 0x1D, 0xC0, 0x02, 0xB9, 0xE8, 0x0C,
1136                0x6F, 0xB9, 0x96, 0xE9, 0x24, 0x2F, 0x52, 0x54, 0xA4, 0x66, 0xFF, 0x4F, 0xC1, 0x53,
1137                0xC8, 0xA8, 0xA6, 0x0B,
1138            ],
1139            &[
1140                0xE1, 0x66, 0x57, 0x93, 0xC0, 0x9B, 0xA7, 0x9E, 0x1D, 0xFB, 0xE2, 0x52, 0x3D, 0xFB,
1141                0x63, 0x83, 0xC5, 0x47, 0xE0, 0x8D, 0xA6, 0xC7, 0x88, 0x15, 0x11, 0xED, 0xA3, 0x53,
1142                0xE1, 0x98, 0x4E, 0x0C,
1143            ],
1144            &[
1145                0xAE, 0x5E, 0xF4, 0xE8, 0xC3, 0x24, 0x29, 0xDF, 0x4F, 0xA0, 0x87, 0x91, 0x44, 0xB6,
1146                0xC1, 0xB8, 0x2E, 0x6F, 0x24, 0x7D, 0x7E, 0x0F, 0xCB, 0xE9, 0x01, 0x42, 0xF9, 0xD5,
1147                0x19, 0xB4, 0xD9, 0x0E,
1148            ],
1149            &[
1150                0xC4, 0x81, 0x38, 0x4D, 0xF4, 0x31, 0x43, 0x7D, 0xD5, 0xC6, 0x1E, 0xA6, 0xE7, 0x4F,
1151                0xD0, 0x3A, 0x4F, 0x85, 0x59, 0x4C, 0xE0, 0x67, 0x11, 0x19, 0x1F, 0x91, 0x28, 0x6C,
1152                0x38, 0xA1, 0xD2, 0x0C,
1153            ],
1154        ],
1155        [
1156            &[
1157                0x43, 0x1A, 0x93, 0x6D, 0x83, 0x3E, 0x4F, 0x10, 0x01, 0x03, 0x61, 0xAA, 0xFA, 0x6A,
1158                0xB4, 0x79, 0xD6, 0x66, 0x43, 0x94, 0x23, 0xBD, 0x9D, 0x3F, 0x75, 0xFD, 0x9B, 0x96,
1159                0x02, 0x11, 0xDF, 0x10,
1160            ],
1161            &[
1162                0x1B, 0x21, 0xC1, 0xF6, 0xA0, 0xA7, 0x99, 0xA0, 0xF4, 0x8D, 0x81, 0x5F, 0x3C, 0x78,
1163                0x46, 0xAA, 0x31, 0x68, 0x70, 0x5B, 0xE5, 0x32, 0xB4, 0x02, 0xE2, 0x2B, 0x25, 0xFA,
1164                0x9E, 0x4A, 0xFA, 0x0E,
1165            ],
1166            &[
1167                0x4F, 0x07, 0x7A, 0x94, 0x10, 0x17, 0xD6, 0xDC, 0x20, 0x83, 0x2B, 0x46, 0x89, 0x88,
1168                0x94, 0xDD, 0xC1, 0x76, 0xC2, 0xED, 0x3F, 0x9E, 0xDD, 0x1A, 0xA9, 0x9D, 0x66, 0x92,
1169                0xC4, 0x05, 0x94, 0x0D,
1170            ],
1171            &[
1172                0x11, 0xFD, 0x5F, 0x22, 0xB1, 0x81, 0x94, 0x6B, 0xC5, 0xD6, 0x62, 0x85, 0x07, 0xE0,
1173                0xF0, 0x6D, 0xCC, 0x66, 0xAD, 0x3C, 0xBE, 0x7D, 0x98, 0xC9, 0x35, 0x0F, 0x89, 0xAF,
1174                0xD2, 0x79, 0xE2, 0x0F,
1175            ],
1176        ],
1177        [
1178            &[
1179                0x26, 0xB7, 0x60, 0x24, 0x14, 0x59, 0x58, 0xC4, 0x9C, 0x7A, 0xFC, 0xF4, 0x98, 0x97,
1180                0x54, 0x65, 0x9B, 0x66, 0xA6, 0x86, 0x0B, 0x3B, 0x3E, 0x74, 0x0B, 0x6B, 0x43, 0xC6,
1181                0x2F, 0x75, 0xB4, 0x0C,
1182            ],
1183            &[
1184                0xEE, 0xCC, 0x61, 0x27, 0x10, 0xF2, 0x24, 0x3E, 0x08, 0x5C, 0x20, 0x4E, 0x71, 0x0F,
1185                0x6B, 0xCF, 0xAE, 0x52, 0x75, 0x02, 0x5E, 0xE8, 0x62, 0x1C, 0x71, 0xFC, 0xF2, 0xC3,
1186                0x02, 0x53, 0x4F, 0x0C,
1187            ],
1188            &[
1189                0x4C, 0xED, 0xB7, 0x2B, 0xF3, 0x1C, 0xA1, 0x67, 0xD1, 0xC5, 0x99, 0xAC, 0x9E, 0x97,
1190                0xA5, 0x87, 0x6C, 0x84, 0x1C, 0x0A, 0xBB, 0x1D, 0x19, 0x78, 0x51, 0x6C, 0x33, 0x18,
1191                0x7E, 0x43, 0xA5, 0x0F,
1192            ],
1193            &[
1194                0x18, 0xE8, 0x1A, 0xEE, 0xE0, 0x54, 0x92, 0xC3, 0x25, 0x2F, 0xA5, 0x7D, 0x64, 0xA5,
1195                0x68, 0xF9, 0x5E, 0xFF, 0xA0, 0x39, 0x44, 0x96, 0x44, 0xE0, 0x6B, 0xBE, 0xF7, 0xC7,
1196                0x8A, 0x06, 0xE7, 0x00,
1197            ],
1198        ],
1199        [
1200            &[
1201                0xD1, 0x36, 0x41, 0x27, 0xA8, 0x93, 0xAE, 0x22, 0x99, 0x5B, 0x45, 0x37, 0x4E, 0xB9,
1202                0x4A, 0x6F, 0x40, 0xBF, 0x44, 0x41, 0xE4, 0x3F, 0x41, 0x8A, 0x0D, 0x11, 0x60, 0x70,
1203                0x69, 0xA5, 0x78, 0x02,
1204            ],
1205            &[
1206                0x02, 0x62, 0x80, 0x8A, 0xC7, 0xBF, 0x3C, 0xB5, 0x2D, 0xF9, 0xBB, 0x7E, 0x20, 0xA6,
1207                0x1E, 0x40, 0xFD, 0xDB, 0xBA, 0x26, 0xAC, 0x88, 0xEA, 0xAD, 0x73, 0x00, 0xA9, 0x53,
1208                0x4B, 0x0E, 0xDF, 0x08,
1209            ],
1210            &[
1211                0x82, 0x2B, 0x32, 0x21, 0xC8, 0xBD, 0x4E, 0x0D, 0x3F, 0xD1, 0x44, 0xB1, 0x93, 0x0B,
1212                0x0D, 0x27, 0x61, 0x80, 0x96, 0x0A, 0xFD, 0x2B, 0xF9, 0x7A, 0xF7, 0x85, 0x53, 0x9C,
1213                0x33, 0xD7, 0x55, 0x02,
1214            ],
1215            &[
1216                0xAE, 0xD1, 0x4F, 0x9F, 0xAA, 0xBE, 0x1B, 0x52, 0xAB, 0xAD, 0xA3, 0x8F, 0x0F, 0x5F,
1217                0xBE, 0xAE, 0xF6, 0x27, 0x90, 0x59, 0x28, 0xE0, 0x8B, 0x00, 0xC9, 0xAA, 0x65, 0x99,
1218                0x96, 0x38, 0x0E, 0x02,
1219            ],
1220        ],
1221        [
1222            &[
1223                0x58, 0xF5, 0xE8, 0x6D, 0x9F, 0xFB, 0xB3, 0xD9, 0x13, 0x00, 0xAE, 0xAE, 0x4B, 0xA0,
1224                0x4E, 0x9B, 0x7C, 0xFD, 0xF1, 0xA5, 0xF1, 0x1D, 0xB3, 0xF6, 0xD3, 0x20, 0x6A, 0x61,
1225                0xAF, 0xEC, 0x42, 0x05,
1226            ],
1227            &[
1228                0xFE, 0x5D, 0x50, 0xC7, 0x6C, 0x0F, 0xD7, 0xE4, 0x1E, 0x04, 0xF5, 0x28, 0xD7, 0x4F,
1229                0xDD, 0xDD, 0x2B, 0x81, 0x7B, 0x87, 0x23, 0x22, 0x6E, 0x65, 0xD5, 0x6D, 0x5B, 0x15,
1230                0x5F, 0x4C, 0x99, 0x0D,
1231            ],
1232            &[
1233                0x68, 0xA0, 0x9C, 0x22, 0x3B, 0x31, 0xA3, 0x2E, 0x34, 0x4B, 0xC1, 0x24, 0xFE, 0xED,
1234                0x43, 0x4C, 0xEB, 0x3B, 0x98, 0x56, 0xDB, 0x9C, 0x31, 0xBA, 0x15, 0xC9, 0x74, 0x4E,
1235                0x61, 0x62, 0xF7, 0x04,
1236            ],
1237            &[
1238                0x1C, 0x89, 0x79, 0x4D, 0x87, 0x59, 0xE7, 0x55, 0x30, 0x19, 0x15, 0x6C, 0xD1, 0x35,
1239                0x54, 0x43, 0xF7, 0xCE, 0x20, 0x1F, 0x26, 0x66, 0x5D, 0x8F, 0xE3, 0x5B, 0x0C, 0x49,
1240                0x9F, 0xC7, 0x65, 0x08,
1241            ],
1242        ],
1243        [
1244            &[
1245                0x22, 0x2D, 0x87, 0xBE, 0x02, 0xE7, 0x58, 0x38, 0x80, 0x22, 0xBF, 0x2F, 0xFF, 0xFB,
1246                0xE0, 0x2B, 0x32, 0xA5, 0x00, 0xF4, 0x98, 0xB8, 0xB9, 0x74, 0xB5, 0xE5, 0x27, 0x78,
1247                0x4A, 0x86, 0x59, 0x11,
1248            ],
1249            &[
1250                0x71, 0xA8, 0x4E, 0x93, 0xB4, 0x89, 0xFA, 0x72, 0x8A, 0xFC, 0x01, 0xE5, 0x66, 0x6E,
1251                0x72, 0x8A, 0x4E, 0xD5, 0xBB, 0x11, 0xA2, 0xCB, 0xC9, 0x71, 0x79, 0xF3, 0x84, 0x3F,
1252                0x15, 0xFA, 0x8F, 0x07,
1253            ],
1254            &[
1255                0x6A, 0x69, 0xC6, 0x97, 0x7F, 0x82, 0x66, 0x8B, 0x05, 0x69, 0xA7, 0xC8, 0x0E, 0x08,
1256                0xCF, 0xB8, 0x47, 0xD2, 0x08, 0xE5, 0x6D, 0x5A, 0x2A, 0x3A, 0xD6, 0x35, 0xE7, 0x71,
1257                0xE2, 0x60, 0x63, 0x00,
1258            ],
1259            &[
1260                0xE0, 0xB5, 0x3A, 0x92, 0x7E, 0x2B, 0x31, 0x7C, 0xD1, 0x0B, 0x48, 0x7F, 0x6C, 0x0C,
1261                0x8A, 0x55, 0xF4, 0x56, 0x24, 0xE7, 0xEA, 0x3F, 0xDB, 0xE4, 0xCB, 0x34, 0x95, 0xD1,
1262                0xD0, 0x99, 0xA4, 0x03,
1263            ],
1264        ],
1265        [
1266            &[
1267                0xB3, 0x2B, 0xFE, 0xF4, 0x4F, 0x9D, 0xB2, 0x1A, 0xB8, 0xED, 0x29, 0x6C, 0xC7, 0xA4,
1268                0xC5, 0xE2, 0x8C, 0xF1, 0x42, 0x9F, 0x25, 0xBE, 0x62, 0x1B, 0x78, 0xF7, 0x7B, 0xC0,
1269                0xB6, 0x02, 0xE5, 0x09,
1270            ],
1271            &[
1272                0x65, 0xFA, 0x35, 0xF1, 0xAD, 0x2A, 0x42, 0xE1, 0x3E, 0x0A, 0xE1, 0x3A, 0xDA, 0x19,
1273                0x61, 0xD1, 0xB7, 0x8F, 0xC8, 0x6E, 0xC5, 0x12, 0x9B, 0x37, 0xCC, 0x36, 0xCC, 0x86,
1274                0x33, 0xD2, 0x29, 0x0B,
1275            ],
1276            &[
1277                0xC3, 0xDE, 0x58, 0xAB, 0x8F, 0x00, 0xA9, 0x8E, 0x2A, 0xFF, 0x59, 0x3D, 0x03, 0x61,
1278                0xF2, 0x04, 0xB7, 0xDC, 0x9C, 0x1D, 0x46, 0xDB, 0x26, 0xAE, 0x8F, 0x1E, 0xD2, 0xE8,
1279                0xBD, 0x32, 0x5D, 0x03,
1280            ],
1281            &[
1282                0x14, 0x19, 0xE8, 0x7E, 0xE8, 0x05, 0x6B, 0xCF, 0x1E, 0xA0, 0xE7, 0x79, 0x26, 0x08,
1283                0x24, 0xD9, 0x0B, 0xF8, 0x95, 0x66, 0x31, 0x86, 0xCC, 0xB6, 0xB7, 0xF1, 0x5F, 0xFD,
1284                0xE8, 0x10, 0xF9, 0x0B,
1285            ],
1286        ],
1287        [
1288            &[
1289                0xEA, 0x6D, 0x1E, 0x77, 0x71, 0xEC, 0xC0, 0x8F, 0xAC, 0xAF, 0xC4, 0x84, 0xD9, 0x54,
1290                0x5A, 0x43, 0xA4, 0x4D, 0x92, 0x7B, 0x05, 0x79, 0x88, 0x0D, 0xE2, 0x21, 0x53, 0x4F,
1291                0x14, 0x4B, 0x92, 0x05,
1292            ],
1293            &[
1294                0x84, 0xF6, 0xF5, 0x2D, 0x18, 0x08, 0xAE, 0x53, 0x8B, 0x30, 0x2A, 0x58, 0xF4, 0x71,
1295                0xE3, 0x06, 0x5C, 0x25, 0x80, 0x62, 0x5E, 0x3F, 0xAC, 0x77, 0xDE, 0xCE, 0x6B, 0x43,
1296                0x9E, 0x60, 0x73, 0x0B,
1297            ],
1298            &[
1299                0x37, 0xDC, 0xAE, 0x2B, 0x87, 0x1F, 0xB8, 0x4F, 0xC7, 0xC5, 0x81, 0xCF, 0xDF, 0x1A,
1300                0xF9, 0x53, 0x78, 0xD7, 0x7A, 0x0A, 0x69, 0xD1, 0x41, 0x5A, 0xA3, 0x6F, 0x81, 0x5B,
1301                0xE2, 0xAA, 0x2C, 0x06,
1302            ],
1303            &[
1304                0xD6, 0x8E, 0x6B, 0x79, 0xE7, 0xCC, 0x34, 0x29, 0x7B, 0xC2, 0x5D, 0xA1, 0xC0, 0x85,
1305                0xEB, 0xEF, 0x81, 0x81, 0xA3, 0xE6, 0x7A, 0xE7, 0xCF, 0xF8, 0x65, 0x58, 0xE9, 0xAC,
1306                0x9C, 0x4E, 0x30, 0x00,
1307            ],
1308        ],
1309        [
1310            &[
1311                0xFB, 0xFB, 0x7A, 0x3E, 0xAC, 0xB5, 0x06, 0xD9, 0xF2, 0x6C, 0xB6, 0x95, 0xC1, 0x6C,
1312                0x3D, 0x76, 0xBF, 0xB1, 0xFD, 0xFC, 0x4E, 0x41, 0x0F, 0xFF, 0xB2, 0xEE, 0xEA, 0x2F,
1313                0x3B, 0x38, 0xDA, 0x03,
1314            ],
1315            &[
1316                0x06, 0xBE, 0x61, 0x7F, 0xA9, 0x46, 0x63, 0xA1, 0x5C, 0xD3, 0x13, 0xB7, 0x29, 0x11,
1317                0x33, 0x30, 0xEB, 0xB2, 0x2F, 0xB7, 0x81, 0x35, 0xBE, 0xD7, 0x46, 0xCC, 0xCA, 0xA3,
1318                0xE6, 0xA2, 0x0B, 0x05,
1319            ],
1320            &[
1321                0x86, 0xB1, 0x70, 0x50, 0x68, 0xB4, 0xDC, 0x52, 0xD4, 0xCE, 0x5B, 0x4E, 0x44, 0xB1,
1322                0xB2, 0x4F, 0x5B, 0x25, 0x81, 0xE3, 0xFA, 0x43, 0x70, 0x5B, 0x5E, 0x0F, 0x38, 0x89,
1323                0x0F, 0x89, 0x72, 0x0A,
1324            ],
1325            &[
1326                0xA8, 0x14, 0x29, 0x32, 0x31, 0x57, 0x95, 0x77, 0x4D, 0x4B, 0xD8, 0x8D, 0x20, 0xA1,
1327                0x03, 0x09, 0x98, 0xEC, 0xD5, 0x09, 0xDF, 0x0B, 0x53, 0xE5, 0xDC, 0x42, 0x30, 0x1F,
1328                0x89, 0xA3, 0x25, 0x10,
1329            ],
1330        ],
1331    ];
1332}
jf_rescue/rescue_constants/ed_on_bls12_377_base.rs

jf_rescue/rescue_constants/
ed_on_bls12_377_base.rs
