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

jf_rescue/rescue_constants/
ed_on_bn254_base.rs
