Skip to main content

binius_field/arch/portable/
packed_ghash_128.rs

1// Copyright 2023-2025 Irreducible Inc.
2
3//! Portable implementation of packed GHASH field operations.
4
5use super::{
6	nibble_invert_128b::nibble_invert_128b,
7	packed_macros::{portable_macros::*, *},
8	univariate_mul_utils_128::{Underlier64bLanes, Underlier128bLanes, bmul64},
9};
10use crate::{
11	arithmetic_traits::{
12		TaggedInvertOrZero, TaggedMul, TaggedSquare, impl_invert_with, impl_mul_with,
13		impl_square_with,
14	},
15	ghash::BinaryField128bGhash,
16	packed::PackedField,
17	underlier::WithUnderlier,
18};
19
20/// Strategy for GHASH field arithmetic operations.
21pub struct GhashStrategy;
22
23/// Multiply two GHASH field elements using software implementation.
24///
25/// Method described at:
26/// * <https://www.bearssl.org/constanttime.html#ghash-for-gcm>
27/// * <https://crypto.stackexchange.com/questions/66448/how-does-bearssls-gcm-modular-reduction-work/66462#66462>
28///
29/// This code does not conform to the bit-endianness requirements of the GCM specification, but is
30/// a valid GHASH field multiplication with the modified representation.
31#[inline]
32pub fn ghash_mul<U: Underlier128bLanes>(x: U, y: U) -> U {
33	// Convert to U64x2 representation
34	let (x1, x0) = U::split_hi_lo_64(x);
35	let (y1, y0) = U::split_hi_lo_64(y);
36
37	// Perform multiplication
38	let x0r = x0.reverse_bits_64();
39	let x1r = x1.reverse_bits_64();
40	let x2 = x0 ^ x1;
41	let x2r = x0r ^ x1r;
42
43	let y0r = y0.reverse_bits_64();
44	let y1r = y1.reverse_bits_64();
45	let y2 = y0 ^ y1;
46	let y2r = y0r ^ y1r;
47
48	let z0 = bmul64(y0, x0);
49	let z1 = bmul64(y1, x1);
50	let mut z2 = bmul64(y2, x2);
51
52	let mut z0h = bmul64(y0r, x0r);
53	let mut z1h = bmul64(y1r, x1r);
54	let mut z2h = bmul64(y2r, x2r);
55
56	z2 ^= z0 ^ z1;
57	z2h ^= z0h ^ z1h;
58	z0h = z0h.reverse_bits_64().shr_64(1);
59	z1h = z1h.reverse_bits_64().shr_64(1);
60	z2h = z2h.reverse_bits_64().shr_64(1);
61
62	let v0 = z0;
63	let v1 = z0h ^ z2;
64	let v2 = z1 ^ z2h;
65	let v3 = z1h;
66
67	reduce_64(v0, v1, v2, v3)
68}
69
70#[inline]
71pub fn ghash_square<U: Underlier128bLanes>(x: U) -> U {
72	// Squared value in the polynomial basis is just a value with bits interleaved with zeroes.
73	let (hi, lo) = x.spread_bits_128();
74
75	let (v3, v2) = hi.split_hi_lo_64();
76	let (v1, v0) = lo.split_hi_lo_64();
77
78	reduce_64(v0, v1, v2, v3)
79}
80
81/// Reduce a 256-bit value represented as four 64-bit values by the GHASH polynomial.
82#[inline]
83fn reduce_64<U: Underlier128bLanes>(
84	mut v0: U::U64,
85	mut v1: U::U64,
86	mut v2: U::U64,
87	v3: U::U64,
88) -> U {
89	// Reduce modulo X^64 + X^7 + X^2 + X + 1.
90	v1 ^= v3 ^ v3.shl_64(1) ^ v3.shl_64(2) ^ v3.shl_64(7);
91	v2 ^= v3.shr_64(63) ^ v3.shr_64(62) ^ v3.shr_64(57);
92	v0 ^= v2 ^ v2.shl_64(1) ^ v2.shl_64(2) ^ v2.shl_64(7);
93	v1 ^= v2.shr_64(63) ^ v2.shr_64(62) ^ v2.shr_64(57);
94
95	// Convert back to 128-bit lanes
96	U::join_u64s(v1, v0)
97}
98
99// Define PackedBinaryGhash1x128b using the macro
100define_packed_binary_field!(
101	PackedBinaryGhash1x128b,
102	BinaryField128bGhash,
103	u128,
104	(GhashStrategy),
105	(GhashStrategy),
106	(GhashStrategy),
107	(None)
108);
109
110// Implement TaggedMul for GhashStrategy
111impl TaggedMul<GhashStrategy> for PackedBinaryGhash1x128b {
112	#[inline]
113	fn mul(self, rhs: Self) -> Self {
114		ghash_mul(self.0, rhs.0).into()
115	}
116}
117
118// Implement TaggedSquare for GhashStrategy
119impl TaggedSquare<GhashStrategy> for PackedBinaryGhash1x128b {
120	#[inline]
121	fn square(self) -> Self {
122		ghash_square(self.0).into()
123	}
124}
125
126// Implement TaggedInvertOrZero for GhashStrategy
127impl TaggedInvertOrZero<GhashStrategy> for PackedBinaryGhash1x128b {
128	fn invert_or_zero(self) -> Self {
129		// Use the generic nibble-based inversion algorithm
130		let result = nibble_invert_128b(
131			self.get(0),
132			|f| f.to_underlier(), // GHASH uses direct representation (no Montgomery form)
133			&GHASH_NIBBLE_POW_2_N_TABLE,
134		);
135		Self::set_single(result)
136	}
137}
138
139/// Table where `value[i][k][j] = BinaryField128bGhash(j << 4 * k) ^ (2^(2^(i+1)))`
140/// Generated using the `generate_ghash_nibble_pow_2_n_table` test.
141static GHASH_NIBBLE_POW_2_N_TABLE: [[[u128; 16]; 32]; 6] = [
142	[
143		[
144			0, 1, 16, 17, 256, 257, 272, 273, 4096, 4097, 4112, 4113, 4352, 4353, 4368, 4369,
145		],
146		[
147			0, 65536, 1048576, 1114112, 16777216, 16842752, 17825792, 17891328, 268435456,
148			268500992, 269484032, 269549568, 285212672, 285278208, 286261248, 286326784,
149		],
150		[
151			0,
152			4294967296,
153			68719476736,
154			73014444032,
155			1099511627776,
156			1103806595072,
157			1168231104512,
158			1172526071808,
159			17592186044416,
160			17596481011712,
161			17660905521152,
162			17665200488448,
163			18691697672192,
164			18695992639488,
165			18760417148928,
166			18764712116224,
167		],
168		[
169			0,
170			281474976710656,
171			4503599627370496,
172			4785074604081152,
173			72057594037927936,
174			72339069014638592,
175			76561193665298432,
176			76842668642009088,
177			1152921504606846976,
178			1153202979583557632,
179			1157425104234217472,
180			1157706579210928128,
181			1224979098644774912,
182			1225260573621485568,
183			1229482698272145408,
184			1229764173248856064,
185		],
186		[
187			0,
188			18446744073709551616,
189			295147905179352825856,
190			313594649253062377472,
191			4722366482869645213696,
192			4740813226943354765312,
193			5017514388048998039552,
194			5035961132122707591168,
195			75557863725914323419136,
196			75576310469988032970752,
197			75853011631093676244992,
198			75871458375167385796608,
199			80280230208783968632832,
200			80298676952857678184448,
201			80575378113963321458688,
202			80593824858037031010304,
203		],
204		[
205			0,
206			1208925819614629174706176,
207			19342813113834066795298816,
208			20551738933448695970004992,
209			309485009821345068724781056,
210			310693935640959697899487232,
211			328827822935179135520079872,
212			330036748754793764694786048,
213			4951760157141521099596496896,
214			4952969082961135728771203072,
215			4971102970255355166391795712,
216			4972311896074969795566501888,
217			5261245166962866168321277952,
218			5262454092782480797495984128,
219			5280587980076700235116576768,
220			5281796905896314864291282944,
221		],
222		[
223			0,
224			79228162514264337593543950336,
225			1267650600228229401496703205376,
226			1346878762742493739090247155712,
227			20282409603651670423947251286016,
228			20361637766165934761540795236352,
229			21550060203879899825443954491392,
230			21629288366394164163037498441728,
231			324518553658426726783156020576256,
232			324597781820940991120749564526592,
233			325786204258654956184652723781632,
234			325865432421169220522246267731968,
235			344800963262078397207103271862272,
236			344880191424592661544696815812608,
237			346068613862306626608599975067648,
238			346147842024820890946193519017984,
239		],
240		[
241			0,
242			5192296858534827628530496329220096,
243			83076749736557242056487941267521536,
244			88269046595092069685018437596741632,
245			1329227995784915872903807060280344576,
246			1334420292643450700532337556609564672,
247			1412304745521473114960295001547866112,
248			1417497042380007942588825497877086208,
249			21267647932558653966460912964485513216,
250			21272840229417188794089443460814733312,
251			21350724682295211208517400905753034752,
252			21355916979153746036145931402082254848,
253			22596875928343569839364720024765857792,
254			22602068225202104666993250521095077888,
255			22679952678080127081421207966033379328,
256			22685144974938661909049738462362599424,
257		],
258		[
259			0, 135, 2160, 2295, 34560, 34695, 36720, 36855, 552960, 553095, 555120, 555255, 587520,
260			587655, 589680, 589815,
261		],
262		[
263			0,
264			8847360,
265			141557760,
266			150405120,
267			2264924160,
268			2273771520,
269			2406481920,
270			2415329280,
271			36238786560,
272			36247633920,
273			36380344320,
274			36389191680,
275			38503710720,
276			38512558080,
277			38645268480,
278			38654115840,
279		],
280		[
281			0,
282			579820584960,
283			9277129359360,
284			9856949944320,
285			148434069749760,
286			149013890334720,
287			157711199109120,
288			158291019694080,
289			2374945115996160,
290			2375524936581120,
291			2384222245355520,
292			2384802065940480,
293			2523379185745920,
294			2523959006330880,
295			2532656315105280,
296			2533236135690240,
297		],
298		[
299			0,
300			37999121855938560,
301			607985949695016960,
302			645985071550955520,
303			9727775195120271360,
304			9765774316976209920,
305			10335761144815288320,
306			10373760266671226880,
307			155644403121924341760,
308			155682402243780280320,
309			156252389071619358720,
310			156290388193475297280,
311			165372178317044613120,
312			165410177438900551680,
313			165980164266739630080,
314			166018163388595568640,
315		],
316		[
317			0,
318			2490310449950789468160,
319			39844967199212631490560,
320			42335277649163420958720,
321			637519475187402103848960,
322			640009785637352893317120,
323			677364442386614735339520,
324			679854752836565524807680,
325			10200311602998433661583360,
326			10202801913448384451051520,
327			10240156570197646293073920,
328			10242646880647597082542080,
329			10837831078185835765432320,
330			10840321388635786554900480,
331			10877676045385048396922880,
332			10880166355834999186391040,
333		],
334		[
335			0,
336			163204985647974938585333760,
337			2611279770367599017365340160,
338			2774484756015573955950673920,
339			41780476325881584277845442560,
340			41943681311529559216430776320,
341			44391756096249183295210782720,
342			44554961081897158233796116480,
343			668487621214105348445527080960,
344			668650826199753323384112414720,
345			671098900984472947462892421120,
346			671262105970120922401477754880,
347			710268097539986932723372523520,
348			710431302525634907661957857280,
349			712879377310354531740737863680,
350			713042582296002506679323197440,
351		],
352		[
353			0,
354			10695801939425685575128433295360,
355			171132831030810969202054932725760,
356			181828632970236654777183366021120,
357			2738125296492975507232878923612160,
358			2748821098432401192808007356907520,
359			2909258127523786476434933856337920,
360			2919953929463212162010062289633280,
361			43810004743887608115726062777794560,
362			43820700545827033801301191211089920,
363			43981137574918419084928117710520320,
364			43991833376857844770503246143815680,
365			46548130040380583622958941701406720,
366			46558825842320009308534070134702080,
367			46719262871411394592160996634132480,
368			46729958673350820277736125067427840,
369		],
370		[
371			0,
372			700960075902201729851617004444712960,
373			11215361214435227677625872071115407360,
374			11916321290337429407477489075560120320,
375			179445779430963642842013953137846517760,
376			180146739506865844571865570142291230720,
377			190661140645398870519639825208961925120,
378			191362100721301072249491442213406638080,
379			148873535527910577765226390751398593592,
380			149574495603812779495078007755843306552,
381			160088896742345805442852262822514000952,
382			160789856818248007172703879826958713912,
383			328319314958874220607240343889245111352,
384			329020275034776422337091960893689824312,
385			339534676173309448284866215960360518712,
386			340235636249211650014717832964805231672,
387		],
388		[
389			0, 16405, 262480, 278853, 4199680, 4216085, 4461648, 4478021, 67194880, 67178517,
390			67457360, 67440965, 71386368, 71370005, 71648336, 71631941,
391		],
392		[
393			0,
394			1075118080,
395			17201889280,
396			18274910208,
397			275230228480,
398			276305346560,
399			292398563328,
400			293471584256,
401			4403683655680,
402			4402611290112,
403			4420885544960,
404			4419811082240,
405			4678377013248,
406			4677304647680,
407			4695545348096,
408			4694470885376,
409		],
410		[
411			0,
412			70458938490880,
413			1127343015854080,
414			1197664515391488,
415			18037488253665280,
416			18107947192156160,
417			19162632246263808,
418			19232953745801216,
419			288599812058644480,
420			288529533508780032,
421			289727155074498560,
422			289656739085680640,
423			306602115940220928,
424			306531837390356480,
425			307727259932819456,
426			307656843944001536,
427		],
428		[
429			0,
430			4617596992938311680,
431			73881551887012986880,
432			78490141680696557568,
433			1182104830192207790080,
434			1186722427185146101760,
435			1255842266891144921088,
436			1260450856684828491776,
437			18913677283075324641280,
438			18909071508031408177152,
439			18987558834962337628160,
440			18982944052719166423040,
441			20093476270258318737408,
442			20088870495214402273280,
443			20167213706957255868416,
444			20162598924714084663296,
445		],
446		[
447			0,
448			302618836529205194260480,
449			4841901384467283108167680,
450			5143929925186129596776448,
451			77470422151476529730682880,
452			77773040988005734924943360,
453			82302878802978073548423168,
454			82604907343696920037031936,
455			1239526754423624475690926080,
456			1239224910350346366297833472,
457			1244368655808091758799093760,
458			1244066221439003290700349440,
459			1316846060847649176774770688,
460			1316544216774371067381678080,
461			1321678517499150720592510976,
462			1321376083130062252493766656,
463		],
464		[
465			0,
466			19832428070777991611054817280,
467			317318849132447865776877076480,
468			337112591576998189254341296128,
469			5077101586119165852430033223680,
470			5096934014189943844041088040960,
471			5393801465231971028069460738048,
472			5413595207676521351546924957696,
473			81233625377906653638880531578880,
474			81213843724720299461694814420992,
475			81550944227039101504657408655360,
476			81531123888226519659338100899840,
477			86300823443711536449111371808768,
478			86281041790525182271925654650880,
479			86617523322824341624750799323136,
480			86597702984011759779431491567616,
481		],
482		[
483			0,
484			1299738006046506458222088505262080,
485			20795808096744103331553416084193280,
486			22093010801590153330972511183044608,
487			332732929547905653304854657347092480,
488			334032667553952159763076745852354560,
489			353488172825442453295560178928713728,
490			354785375530288503294979274027565056,
491			5323726872766490452877674517553479680,
492			5322430462343269545521631357894131712,
493			5344522680863234556209227933637672960,
494			5343223735138813192394381780571914240,
495			5655810765207079252728962862859419648,
496			5654514354783858345372919703200071680,
497			5676566008484616052719668384441040896,
498			5675267062760194688904822231375282176,
499		],
500		[
501			0,
502			85179629964263847246042792280855674880,
503			1744611744467702083186246766617952796,
504			86758088209258434845116063164938584604,
505			27913787911483233330979948265887244736,
506			113093417875747080577022740546742919616,
507			26999943664381103668358580911944508380,
508			112013420129171836430288397310265140188,
509			106338239662793269832304564822427704455,
510			21376686166587885346660053387399273607,
511			108082851407260971915490811589045657243,
512			22955144411582472945733324271482183323,
513			91716731709159195230362687159343922503,
514			6755178212953810744718175724315491655,
515			90802887462057065567741319805401186139,
516			5675180466378566597983832487837712219,
517		],
518		[
519			0, 2214635, 35434160, 37577819, 566946560, 569057771, 601245104, 603426651, 9071144960,
520			9069099755, 9104924336, 9102939227, 9619921664, 9617904107, 9654826416, 9652748123,
521		],
522		[
523			0,
524			145138319360,
525			2322213109760,
526			2462699945984,
527			37155409756160,
528			37293770080256,
529			39403199135744,
530			39546168999936,
531			594486556098560,
532			594352521543680,
533			596700321284096,
534			596570225180672,
535			630451186171904,
536			630318963556352,
537			632738703998976,
538			632602500988928,
539		],
540		[
541			0,
542			9511784897576960,
543			152188558361231360,
544			161395503660007424,
545			2435016933779701760,
546			2444084515979657216,
547			2582328058560118784,
548			2591697731579805696,
549			38960270940475228160,
550			38951486851886612480,
551			39105352255674515456,
552			39096826277440520192,
553			41317248936961900544,
554			41308583595629084672,
555			41467163705276891136,
556			41458237504810385408,
557		],
558		[
559			0,
560			623364335047603650560,
561			9973829360761658408960,
562			10577215727862246539264,
563			159581269772186534543360,
564			160175522839242815307776,
565			169235451645795944628224,
566			169849502536814146093056,
567			2553300316354984552693760,
568			2552724642325241035489280,
569			2562808365427885044924416,
570			2562249606918341931302912,
571			2707767226332735114051584,
572			2707199334523147693064192,
573			2717592040589026337488896,
574			2717007053115253418098688,
575		],
576		[
577			0,
578			40852805061679752843100160,
579			653644880986876045489602560,
580			693188409941180189197205504,
581			10458318095790016727833640960,
582			10497263064792617144010407936,
583			11091014559058883027155288064,
584			11131256998252651878354518016,
585			167333089532640267645338255360,
586			167295362159426996501825454080,
587			167956209036681874304166526976,
588			167919590239000456809867640832,
589			177456232944942128434484609024,
590			177419015587309007212654886912,
591			178100111972042430053672288256,
592			178061774232961248008515616768,
593		],
594		[
595			0,
596			2677329432522244282325412085760,
597			42837270920355908517206593372160,
598			45428795633905184879228059910144,
599			685396334725694536275305493954560,
600			687948632214248957149866094493696,
601			726860730142482958067648958562304,
602			729498058637485793499841692696576,
603			10966341355611112580404887903272960,
604			10963868854480207642743632958586880,
605			11007178115427983314397857511899136,
606			11004778265903133937491485709565952,
607			11629771682279727329082383336996864,
608			11627332605529883096688550668664832,
609			11671968938199772695997467083145216,
610			11669456436131348349486079460507648,
611		],
612		[
613			0,
614			175461461689777801286478206452367360,
615			2807383387036444820583651303237877760,
616			2977221550663610196245090134271197184,
617			44918134192583117129338420851806044160,
618			45085401560793019655773624368738861056,
619			47635544810617763139921442148339154944,
620			47808384770866268962805625172562804736,
621			38125413239452947142665518765360283918,
622			37963375405337961148097514710413345038,
623			40801691130811387565628775036285354254,
624			40644414592350858800692792598577807630,
625			81603983128007283311993859509890056462,
626			81444135794129491697831641758082007310,
627			84369422491983376478140787897468453134,
628			84204763156427118505170488660292796686,
629		],
630		[
631			0,
632			269724244910308690819273692813996331111,
633			232199515513677491547883795842722758740,
634			133395298592618256604576981193993556019,
635			312368579009455230132394659165882024054,
636			45084713622657908298530299626619146257,
637			92630575956261324892984054513287626786,
638			190552102411369639139440684786049421381,
639			233944127258145193631070042609357422666,
640			163386005247515420986969127991585542189,
641			40790684120649605849735579162369916958,
642			282268834120528834369803371945408925817,
643			120959747616427344434246442485529182268,
644			193958249150568486063756690378034516059,
645			326574703214406518524054097122645049448,
646			84213862748576369307136119963638632463,
647		],
648	],
649	[
650		[
651			0,
652			1,
653			65536,
654			65537,
655			4294967296,
656			4294967297,
657			4295032832,
658			4295032833,
659			281474976710656,
660			281474976710657,
661			281474976776192,
662			281474976776193,
663			281479271677952,
664			281479271677953,
665			281479271743488,
666			281479271743489,
667		],
668		[
669			0,
670			18446744073709551616,
671			1208925819614629174706176,
672			1208944266358702884257792,
673			79228162514264337593543950336,
674			79228162532711081667253501952,
675			79229371440083952222718656512,
676			79229371458530696296428208128,
677			5192296858534827628530496329220096,
678			5192296858534846075274570038771712,
679			5192296859743753448145125503926272,
680			5192296859743771894889199213477888,
681			5192376086697341892868089873170432,
682			5192376086697360339612163582722048,
683			5192376087906267712482719047876608,
684			5192376087906286159226792757428224,
685		],
686		[
687			0,
688			135,
689			8847360,
690			8847495,
691			579820584960,
692			579820585095,
693			579829432320,
694			579829432455,
695			37999121855938560,
696			37999121855938695,
697			37999121864785920,
698			37999121864786055,
699			37999701676523520,
700			37999701676523655,
701			37999701685370880,
702			37999701685371015,
703		],
704		[
705			0,
706			2490310449950789468160,
707			163204985647974938585333760,
708			163207475958424889374801920,
709			10695801939425685575128433295360,
710			10695801941915996025079222763520,
711			10695965144411333550067018629120,
712			10695965146901644000017808097280,
713			700960075902201729851617004444712960,
714			700960075902204220162066955234181120,
715			700960076065406715499591943030046720,
716			700960076065409205810041893819514880,
717			700970771704141155537192132878008320,
718			700970771704143645847642083667476480,
719			700970771867346141185167071463342080,
720			700970771867348631495617022252810240,
721		],
722		[
723			0,
724			16405,
725			1075118080,
726			1075134485,
727			70458938490880,
728			70458938507285,
729			70460013608960,
730			70460013625365,
731			4617596992938311680,
732			4617596992938328085,
733			4617596994013429760,
734			4617596994013446165,
735			4617667451876802560,
736			4617667451876818965,
737			4617667452951920640,
738			4617667452951937045,
739		],
740		[
741			0,
742			302618836529205194260480,
743			19832428070777991611054817280,
744			19832730689614520816249077760,
745			1299738006046506458222088505262080,
746			1299738006349125294751293699522560,
747			1299757838474577236213699560079360,
748			1299757838777196072742904754339840,
749			85179629964263847246042792280855674880,
750			85179629964264149864879321486049935360,
751			85179629984096275316820783891910492160,
752			85179629984096577935657313097104752640,
753			85180929702269893752501014369360936960,
754			85180929702270196371337543574555197440,
755			85180929722102321823279005980415754240,
756			85180929722102624442115535185610014720,
757		],
758		[
759			0,
760			2214635,
761			145138319360,
762			145136208619,
763			9511784897576960,
764			9511784899791595,
765			9511646568054784,
766			9511646565944043,
767			623364335047603650560,
768			623364335047605865195,
769			623364335192741969920,
770			623364335192739859179,
771			623355269484038324224,
772			623355269484040538859,
773			623355269345708802048,
774			623355269345706691307,
775		],
776		[
777			0,
778			40852805061679752843100160,
779			2677329432522244282325412085760,
780			2677290496223211396552724578304,
781			175461461689777801286478206452367360,
782			175461461730630606348157959295467520,
783			175458909960484382084479357963730944,
784			175458909921548083051593585276223488,
785			269724244910308690819273692813996331111,
786			269724244910349543624335372566839431271,
787			269724247587638123341517975139408416871,
788			269724247587599187042485089366720909415,
789			269557014779335169997077158262720172135,
790			269557014779376022802138838015563272295,
791			269557012227605876577875159414231535719,
792			269557012227566940278842273641544028263,
793		],
794		[
795			0,
796			268435729,
797			17592203935744,
798			17592472371473,
799			1152922677132918784,
800			1152922677401354513,
801			1152940269336854528,
802			1152940269605290257,
803			75557940568582965428224,
804			75557940568583233863953,
805			75557940586175169363968,
806			75557940586175437799697,
807			75559093491260098347008,
808			75559093491260366782737,
809			75559093508852302282752,
810			75559093508852570718481,
811		],
812		[
813			0,
814			4951765193102653222304088064,
815			324518883695175481576920715362304,
816			324523835460368584230143019450368,
817			21267669561847020360625076001983954944,
818			21267669566798785553727729224288043008,
819			21267994080730715536106652922699317248,
820			21267994085682480729209306145003405312,
821			1417497042380007942588825497877639168,
822			1417497047331773135691478720181727232,
823			1417821561263703118070402418593001472,
824			1417821566215468311173055640897089536,
825			22685166604227028303213901499861594112,
826			22685166609178793496316554722165682176,
827			22685491123110723478695478420576956416,
828			22685491128062488671798131642881044480,
829		],
830		[
831			0,
832			36238823415,
833			2374947531325440,
834			2374983770148855,
835			155644561412944035840,
836			155644561449182859255,
837			155646936360475361280,
838			155646936396714184695,
839			10200321976758700332810240,
840			10200321976758736571633655,
841			10200321979133647864135680,
842			10200321979133684102959095,
843			10200477621320113276846080,
844			10200477621320149515669495,
845			10200477623695060808171520,
846			10200477623695097046994935,
847		],
848		[
849			0,
850			668488301068858185011051888640,
851			43810049298848690012884296573911040,
852			43810717787149758871069307625799680,
853			148876455481840040977388400813688226872,
854			148876456150328342046246585824740115512,
855			148920265531138889667401285110262137912,
856			148920266199627190736259470121314026552,
857			191362100721301072249491442213473832960,
858			191362101389789373318349627224525721600,
859			191405910770599920939504326510047744000,
860			191405911439088222008362511521099632640,
861			340238556203141113226879843027162059832,
862			340238556871629414295738028038213948472,
863			340282366252439961916892727323735970872,
864			340282366920928262985750912334787859512,
865		],
866		[
867			0,
868			4403688133701,
869			288600105530228736,
870			288604506525094981,
871			18913696516029070442496,
872			18913696511628075619397,
873			18913984939628624674816,
874			18913984935224936584261,
875			1239528014874481160519417856,
876			1239528014874485564207551557,
877			1239528014586057563792801792,
878			1239528014586061964787668037,
879			1239546917003501546688741376,
880			1239546917003497145693918277,
881			1239546916714901443986128896,
882			1239546916714897040298038341,
883		],
884		[
885			0,
886			81233707982813997335800568610816,
887			5323732286361698129399026064478437376,
888			5323813470387665460513561301322039296,
889			106693025038323558335599544096455269511,
890			106692943854298386907704813131925691527,
891			112013501364118570257780825878750698631,
892			112013420130411383347003294350496111751,
893			112013420129171836430288397319336268764,
894			112013501362879819244285733119904879580,
895			106692943855537137921199905908913509340,
896			106693025039563105252314441145757111260,
897			5323813469148118543798664270162202459,
898			5323732285122947115903933305632624475,
899			81234946733827492428577556434779,
900			1239546916714897049301847899,
901		],
902		[
903			0,
904			594486085783387,
905			38960240117900050432,
906			38959672089371250523,
907			2553298296366697705111552,
908			2553298295808809705639771,
909			2553261070049034274275328,
910			2553261070580465833643867,
911			167332957150687900802190671872,
912			167332957150687369388369612635,
913			167332957114126152868808032256,
914			167332957114126710740186074971,
915			167330517486733510198907895808,
916			167330517486734078210815266651,
917			167330517521561408873684467712,
918			167330517521560814405336993627,
919		],
920		[
921			0,
922			10966332679827482266972367871803392,
923			38124844663296950921551885982970675470,
924			38114366386399613244842652547999072526,
925			196681920298776846728032015923978174538,
926			196671629081628796974407939701623226442,
927			190542299396731792838458836488544059716,
928			190552102578700156661001499182331068740,
929			190552102411369639139440685885559930949,
930			190542299556615327311193536268114853957,
931			196671629238657912558730592495217934667,
932			196681920149194714192535481045563212107,
933			38114366535981745780339189625437290511,
934			38124844506267835337229235388399222799,
935			10966172796293009532274787324264705,
936			167330517521560815495794393345,
937		],
938		[
939			0,
940			72057594037993729,
941			4722366482873957023744,
942			4722438540467994886401,
943			309485009821627647508086784,
944			309485009893685241546080513,
945			309489732188110512875175936,
946			309489732260168106913038593,
947			20282409603670189507089975476224,
948			20282409603670117449495937614081,
949			20282409608392555989963932499968,
950			20282409608392483932369894506753,
951			20282719088680010571787530141696,
952			20282719088679938514193492279553,
953			20282719093402377054652897230848,
954			20282719093402304997058859237633,
955		],
956		[
957			0,
958			1329227995786129539536648632809816064,
959			79538856449905297291443472128,
960			1329228075322568137802716665903875840,
961			5212658496300993563292039389380608,
962			1334440654282430533099940672199196672,
963			5212579578832414939914143744952064,
964			1334440575362544102837333518205355776,
965			1334420292643450700532485990679314567,
966			5192296859748494261520502928441479,
967			1334420372182307150437783282122786695,
968			5192376396187092527588536022501255,
969			1329248357422682038838717037410254983,
970			20361638979832567751549659381895,
971			1329248278505213460215339141765826439,
972			20282719093402305144395665540999,
973		],
974		[
975			0,
976			9727775195129153415,
977			637519475187984198205440,
978			637529202963179309664135,
979			41780476325919732413591715840,
980			41780476335647507608720869255,
981			41781113845394919238148751360,
982			41781113855122694433260210055,
983			2738125296495475583457146689290240,
984			2738125296495465855681951577900935,
985			2738125297132995058645130887495680,
986			2738125297132985330869935758411655,
987			2738167076971801427191316569128960,
988			2738167076971791699416121457739655,
989			2738167077609320902378141126164480,
990			2738167077609311174602945997080455,
991		],
992		[
993			0,
994			179445779431127487837447565429325168640,
995			10737745620737215134344868271360,
996			179445790168546698603366749897022772480,
997			703708897000634131044425287031848960,
998			180149488328128121968491990716357017600,
999			703698243142376016888409375033529600,
1000			180149477673943453883040024927188030720,
1001			180146739506865844571883607630544912405,
1002			700960076066046725303266784177045525,
1003			180146750244611465309098741975413183765,
1004			700970813485257491222451251874649365,
1005			179448528252062075243224798908687335445,
1006			2748821262277396644458062319468565,
1007			179448517598203817129068782996689016085,
1008			2738167077609311192492273150481685,
1009		],
1010		[
1011			0,
1012			1182104830193287124245,
1013			77470422151547264974520320,
1014			77471604256377456111408405,
1015			5077101586123801557370163691520,
1016			5077101587305906387563450815765,
1017			5077179056545952963717261230080,
1018			5077179057728057793908398118165,
1019			332732929548209458863811047687454720,
1020			332732929548208276758980856558998805,
1021			332732929625679881015358312661975040,
1022			332732929625678698910528119383282965,
1023			332738006649795573430174431974522880,
1024			332738006649794391325344240846066965,
1025			332738006727265995581580779072061440,
1026			332738006727264813476750585793369365,
1027		],
1028		[
1029			0,
1030			27913787931393434442745945611867005376,
1031			1304834940060696402066130160249600,
1032			27915092726668638997592028519917603520,
1033			85513662631817799405805906182117785600,
1034			113427450563211233848551851793984790976,
1035			85512367990745767089291528134160214784,
1036			113426155882474345390481490523917568704,
1037			113093417875747080579457757480524835627,
1038			85179629984174048360243806560617351915,
1039			113094722710687141275859823610684964907,
1040			85180934779449252915089889468667863531,
1041			28247820579037185493178006533163838251,
1042			334032687464153273964055613256354539,
1043			28246525937965153176663628485206147115,
1044			332738006727264815893694343189045739,
1045		],
1046		[
1047			0,
1048			159581269772332211118571,
1049			10458318095799563787866669056,
1050			10458166000881466722386387435,
1051			685396334726320212401630023254016,
1052			685396334885867615104480940401131,
1053			685386367033767803118314286940160,
1054			685386366881639017951767512687083,
1055			44918134192624121439953225203975192576,
1056			44918134192623969340279326933098963435,
1057			44918134203080220023487262910128521216,
1058			44918134203080379600001234034729099755,
1059			44917480949925006745161845108910325760,
1060			44917480949924854621132479769746612715,
1061			44917480939955094680487035711460671488,
1062			44917480939955254232645539767773766123,
1063		],
1064		[
1065			0,
1066			312368581696713730584212682923192615030,
1067			176112173085610346004959175609749760,
1068			312544693849373330282008867562966815094,
1069			312369266947590341489642487512209297511,
1070			685396334885867619570929739239441,
1071			312544040481642110825399466169234162023,
1072			175458909960644555167775050928554257,
1073			45084713622657908593678504972914790656,
1074			269724247597567191566239921917602566518,
1075			44918134203080220316200451390796005376,
1076			269557668157563492640553093799648231542,
1077			269724932848443802471669726506084467047,
1078			45085399018992794461298075902115053841,
1079			269557014789832273183943692405380812903,
1080			44917480939955254525363267265575850001,
1081		],
1082		[
1083			0,
1084			19342832785574900341411857,
1085			1267651889435436668774767460352,
1086			1267671232265916365343545167889,
1087			83076834226040777524823160281628672,
1088			83076834245383607860404541522448401,
1089			83078101877779094919154576122773504,
1090			83078101897121927560614287849361425,
1091			5537102792980452816913308525267056,
1092			5537102773637657068977066062387297,
1093			5538370444709325478314306887026800,
1094			5538370425366532036185751287830625,
1095			88613927115349207720581873792977008,
1096			88613927096006414134338130656893025,
1097			88615194767229198424249587458967664,
1098			88615194747886402532198156381263969,
1099		],
1100		[
1101			0,
1102			22597201719828492345855980080133570695,
1103			21351070755881385411218988578433398528,
1104			1412325028241846573730063091364788103,
1105			22680278543512548251249716780320979056,
1106			83076834245383608463887505475270903,
1107			1329248362394993935521534241799638896,
1108			21267994080711448595059189868588929015,
1109			21355916979153785881153653152136363888,
1110			1417822833864969703791996944310140919,
1111			5538370444748875337839919062517872,
1112			22602088507922517380474930001976166647,
1113			1334746158075911715368568048472590080,
1114			21272840313926054415208754343609141127,
1115			22685165341548779816675187321458356224,
1116			88615194747925952995206660287852679,
1117		],
1118		[
1119			0,
1120			2611282426052611546090600695,
1121			171133005073783950284593607147520,
1122			171135616355898709321378597665015,
1123			11215372620515504965851126638019870720,
1124			11215372623126787061154613105530534135,
1125			11215543753500177814085867776574423040,
1126			11215543756111460220682928859663792375,
1127			747508877052361130283296650911023440,
1128			747508874441083704311903918422260135,
1129			747680010035758939572431429748064592,
1130			747680007424481824885076423856585127,
1131			11962880160572143042278552962051866960,
1132			11962880157960865908135647638680533415,
1133			11963051293575941787273694306960081232,
1134			11963051290964664341846751111470086567,
1135		],
1136		[
1137			0,
1138			328363296809338758983560451361977943085,
1139			160135616676479322807566473564788113720,
1140			190663878812649287453558392262752470293,
1141			339578668006686306203518346222176130408,
1142			11215372623126786986854300946173071685,
1143			179448528923324181287210437217172395088,
1144			148920265528537852470223134753592266877,
1145			160789856818252849079011978893847773288,
1146			191406082571770449580640596925104849989,
1147			747680010030889594314755779088941392,
1148			329023013202022006819280404151931061629,
1149			180190731340247544396780622700692378880,
1150			149574507012509177759090307168349475117,
1151			340238385741567358959618068310493779000,
1152			11963051290959871660698932584983564309,
1153		],
1154		[
1155			0,
1156			317319171807580447641464803653,
1157			20795829243581592216631037372203008,
1158			20796146368720648804535214036488517,
1159			1745997623609373655633235497623487004,
1160			1745997306483632340518634820189098841,
1161			1766780736722586200521357368238604828,
1162			1766780419404021373834106693674341209,
1163			90824975428588171885853475178725289648,
1164			90824975111423780371339122165160722421,
1165			90804192276005344535383478838662639280,
1166			90804191958725500743593298311693254645,
1167			91737608732331659820309958084014156972,
1168			91737609049612105852180108548625776105,
1169			91716812942867178044649749840433622188,
1170			91716813260030962596717667643187576297,
1171		],
1172		[
1173			0,
1174			86427506898829809944716116451025745836,
1175			113094722689700189045067032641397409179,
1176			26668067691726662459979658748493738551,
1177			85512287230916561750726715277195616747,
1178			1745997306483642240458475816106579527,
1179			28247739058602629334931971724116059248,
1180			112013501680038783596092219944724239324,
1181			22955144412236117309602612501262560043,
1182			106672272350862390162547736415498214535,
1183			90804192276654146992802987286676876976,
1184			7087916238806786173244293368543205660,
1185			107750894676674853343834482850989263552,
1186			21378071729209093294365860779728125292,
1187			5344517616249458119320171912124403547,
1188			91716813260641081593438490180884658423,
1189		],
1190		[
1191			0,
1192			42837237030537673426895871661147,
1193			2807381166033316965705047845184929792,
1194			2807340235269149908933474560754898011,
1195			232053959852690394223727568884724727892,
1196			232053919655988742394667664289745261583,
1197			229371521292238161641900800478161797204,
1198			229371559592382899943030626146319979535,
1199			329052842256805204535373696166623445113,
1200			329052882538617529273836881130520040482,
1201			326418511217350935265466159592329904249,
1202			326418472841998742414462355404714726434,
1203			118460675663537869037576838450795053101,
1204			118460632912031104799771864928167842934,
1205			120970713949107171881831826865442652205,
1206			120970754804045499960977351402682176630,
1207		],
1208		[
1209			0,
1210			92631261352639365811555202387226394659,
1211			44918137031289639478747066524105703440,
1212			133560375321778269241077834524947120179,
1213			312554616480103920977397438996350500982,
1214			232053919655987524380470578679207952469,
1215			269715147681495778355311066992529637478,
1216			190542340412198445018168159795173916741,
1217			282268834199756996884067709538936094825,
1218			193958934626174689496592175845500584010,
1219			326418511137527156845263587419229323385,
1220			234119588501794113408563619339408834650,
1221			84368746358845688672103379222571057183,
1222			163209255529446082339520390256534814780,
1223			40802356158498995210551412919747280911,
1224			120970754883918452137752377073497866284,
1225		],
1226	],
1227	[
1228		[
1229			0,
1230			1,
1231			16405,
1232			16404,
1233			268435729,
1234			268435728,
1235			268452100,
1236			268452101,
1237			4403688133701,
1238			4403688133700,
1239			4403688117328,
1240			4403688117329,
1241			4403419698516,
1242			4403419698517,
1243			4403419682113,
1244			4403419682112,
1245		],
1246		[
1247			0,
1248			72057594037993729,
1249			1182104830193287124245,
1250			1182032772599249130516,
1251			19342832785574900341411857,
1252			19342832713517306303549712,
1253			19344012440446896336880900,
1254			19344012512504490374743045,
1255			317319171807580447641464803653,
1256			317319171807508390047426809924,
1257			317319170628357921209694831696,
1258			317319170628429978803732825425,
1259			317299829013994203898326614356,
1260			317299829014066261492364476501,
1261			317299827832609949645420909633,
1262			317299827832537892051383047488,
1263		],
1264		[
1265			0,
1266			5192296858534827628530500624252929,
1267			85179629964263847246042862740869300245,
1268			85174437667405312418414332240245047316,
1269			1417497042380007943741765767482929425,
1270			1412304745521473116113235266858676496,
1271			86420588913453671050414591487127597316,
1272			86425781210312205878043121987751850245,
1273			112013420129171855344273332544138626969,
1274			112008227832313320516644802052104308632,
1275			26999943664381122582343586605830932364,
1276			27005135961239657409972117097865250701,
1277			113420532577834793630452194309211338376,
1278			113425724874693328458080724801245656713,
1279			28251287207288016039666533334996219549,
1280			28246094910429481212038002842961901212,
1281		],
1282		[
1283			0,
1284			1334420292952940432792651898569097606,
1285			113093422952926138307335405204804845118,
1286			111759002659973197874686868494311604152,
1287			21272841581577792734305443815349677921,
1288			22596877280194684047464521225417125607,
1289			91820584065147051311233171959284519263,
1290			90496548366530159998218209737292927193,
1291			21357316467309570368040458229336701042,
1292			22681352166545441145431933947171502580,
1293			91738905459452145263982295909421237836,
1294			90414869760216274486446705003510581194,
1295			84477590011804080282960153599481619,
1296			1418897882345765048554983368249513621,
1297			113011747030466259144694781349116160301,
1298			111677326738132298176278642946390272171,
1299		],
1300		[
1301			0,
1302			10695801939444132319206437814273,
1303			175461461690080420123077870585135125,
1304			175451399713441090105459412498923540,
1305			148876455486791806171643976713393669417,
1306			148876444790989866727511657506955855144,
1307			149046283033845496627531479021516768572,
1308			149046293095822135957549097479602980157,
1309			196681839114751656398008445482943403023,
1310			196681849493640945785083414315205415950,
1311			196508999312959173612005636633828529178,
1312			196508989567895184339045368549918118939,
1313			303017347223234166816412488381357117734,
1314			303017336844344877429337519549095104807,
1315			302850090313141413554033247548092977459,
1316			302850100058205402826993515632003387698,
1317		],
1318		[
1319			0,
1320			2032936893096248680474759161387745537,
1321			337624593823310729666642987385496102066,
1322			339657469393187794953467395523734693299,
1323			316898389463173757952872112414934779390,
1324			318931305123122452810360280759585228031,
1325			21809133548725243640996179891819913548,
1326			23842029084099262522577776233401098317,
1327			227914676320065727733422495102033912963,
1328			227221453587594787369259108099225544066,
1329			113601709427120185024750006823613071409,
1330			112908507134898611691299354227862831408,
1331			91876029120362184261581788660856234365,
1332			91182787056219590417064144562028716156,
1333			248724250257225491558602374502547899855,
1334			248031068564326171933735381581851772110,
1335		],
1336		[
1337			0,
1338			695778415448662958640418671772975124,
1339			184594489252925259962698596818842702179,
1340			183898710837515282630285846280660324727,
1341			312242962625750439364311931613856100716,
1342			311547184844127076519786213690435252600,
1343			127898367237124071823368598482454913039,
1344			128594145018708749041666648272285163547,
1345			38114285272002373609548899101072383248,
1346			37439297277183760817053040351103753476,
1347			199981671542538964985143596357633248371,
1348			200656659537396263403867123241192475751,
1349			327380928607660506529099776132965477500,
1350			328055917236304419435710335631285185640,
1351			165597254813636485635112301074818694431,
1352			164922266184953887102274073442908388619,
1353		],
1354		[
1355			0,
1356			178117866173329044473053784985195542662,
1357			316615142237427581482614876828249076552,
1358			138497286215208094141146100521726626766,
1359			259229797813129857848435578409396283631,
1360			91745758153761976346640983665361637481,
1361			60085511830149268445646444431418235815,
1362			227569541358217103426706463444601856801,
1363			184410552800508748557466992571089694921,
1364			16929137482455250931557318022965774415,
1365			133659892980550725062162691836175418241,
1366			301141318429906691782163564149687712519,
1367			97999288480040791070725803158037403686,
1368			276114525216694202265842912593994145952,
1369			222687923438580010434254226049580313454,
1370			44572676550819464682206910156410901480,
1371		],
1372		[
1373			0,
1374			40852786614935679133548678,
1375			668488602912931463120447179518,
1376			668527539525558998146197064312,
1377			10966327728062289164319181538103014,
1378			10966327687819868417294404048424544,
1379			10965728564721386815028096380503064,
1380			10965728525174408319582168986748062,
1381			179445860664825761281489270595374013214,
1382			179445860664862356780932922994509208472,
1383			179445861283794913742740502958912459232,
1384			179445861283833271939260862747961872742,
1385			179456664732804283037384728912483014136,
1386			179456664732767079533256407046526555518,
1387			179456664084123952183866734745249570566,
1388			179456664084086201992031044423021420416,
1389		],
1390		[
1391			0,
1392			311039353700930018905970981149823370992,
1393			300449508877957302952381398077650833683,
1394			10677803307656651326140536697969154019,
1395			112570007077841712463779425679077566530,
1396			253468177178412850244314743284431777458,
1397			242876371329672109092289732986869217617,
1398			123245849280502166632487231818818125729,
1399			86427556787422385153307900684513129138,
1400			227325726882422497258953920675650450498,
1401			216732635643401100284447020700246483873,
1402			97102113599801588333783022981409580369,
1403			28855668795965950938913905093036038896,
1404			339895022491324929965426191119980157952,
1405			329301270756823179460032206016840485859,
1406			39529565192092953658033314116446113043,
1407		],
1408		[
1409			0,
1410			871226768194661964889893572803166342,
1411			333588196511201737985127016352299589281,
1412			332729950683243770488068824104479333927,
1413			23578546062738719894173881601851633570,
1414			22736314386982189250619397859021795108,
1415			312761570479769148399863402739446853891,
1416			313596013591414370495474003550437519749,
1417			11446783715886596112551683118638121216,
1418			10941970284269121654434372024986452358,
1419			322224489547556596069393632823038893985,
1420			322742283919372074056146439105070817063,
1421			33404683796296698028572389893775224482,
1422			33927945306387504170760547902106955300,
1423			302852355994008402285458308125714116611,
1424			302321305919767606100899055585249947781,
1425		],
1426		[
1427			0,
1428			180314795303607339336984920248768612469,
1429			69438557727259574183683485771932482264,
1430			238732661101028275785096241946067530413,
1431			339373395971153223956487630200125806876,
1432			160793377080589574408026767405038506345,
1433			270402194409478013008616711742828700612,
1434			102074323828865800872789418262938823601,
1435			269902713747524241033826260900977115044,
1436			101904078613890867647988636705504475089,
1437			339203627432123380981043095065346524540,
1438			160293419742691921090096364414756195593,
1439			69606298061013972951668454214269183672,
1440			239234808905954082582852549587032207053,
1441			502644763909748968680155227674975328,
1442			180482038678379004879471236684460348437,
1443		],
1444		[
1445			0,
1446			174154276277305276802430687789449488,
1447			127777315823677645032732442931220451432,
1448			127608775971909980924133338086247764344,
1449			217584687951497422282702966675533404389,
1450			217415812172321377559594347491013892597,
1451			259948717857470199773367233384418838669,
1452			260122536206337764394113083274839919005,
1453			90675047154998178658171667126301171101,
1454			90506490823775810628676741803940191373,
1455			47968485320835091943523354494027369973,
1456			48142623117651495193421198294011808997,
1457			307748279228251260815120841526232483192,
1458			307922103915370087572473794632191313000,
1459			180313819851318962401586678114486064400,
1460			180144950410397657837999795640277931008,
1461		],
1462		[
1463			0,
1464			276001459787216847813606545320977694977,
1465			329267928623619503630496534898670320928,
1466			74547120962662659453648975591855963169,
1467			338411528923437381575645370272906304135,
1468			65403510363338098766784744219493292934,
1469			12134455044341705924288056814746298279,
1470			263867015042691329125228938912539633318,
1471			2109837782170328669875726208280769076,
1472			274099517991174010342785005600115143477,
1473			327160891081864446459635803265415450388,
1474			76446670702247726448506512155255377429,
1475			338963028510504805860406317767646406835,
1476			64644522973791813203841748165335148978,
1477			11585755697365561018875987949342840211,
1478			264623610375484866312230794667504129170,
1479		],
1480		[
1481			0,
1482			185304315113767415059063994196106275359,
1483			5706940560249146267056535709003982755,
1484			190262915225715344554001447340602248636,
1485			200296010144888331937788389766303190369,
1486			39585009131913352654022485233970440062,
1487			195253856100633469751383144334182886082,
1488			33961967480734326630442392753277845725,
1489			85111129297462560227291922695575340693,
1490			270412846995128299750075689665318710410,
1491			90786403940742057168675752706640060726,
1492			275339781190145284435142123115707878185,
1493			285328822720560116217606843788293213172,
1494			124615226826823441936800212862842135019,
1495			280318010064808053209181460738428382295,
1496			119023526564108510575614469542820824648,
1497		],
1498		[
1499			0,
1500			239002003588595737316356854298986399629,
1501			264787596782762184100799166267265211023,
1502			155489190632269099706534461618448145666,
1503			222947545296415569800599136771257281549,
1504			27188127033288819108402894146218355584,
1505			128343818919665441402762211344178181762,
1506			280799462016010505747942793231080403215,
1507			268966711127226162452421394353513509467,
1508			161620750844758552107671429318787003862,
1509			17846710863899890872086226172057643220,
1510			253400845801435782420181177078663720793,
1511			146065640410673004167883812138355859030,
1512			295323010901599214370800025109462178267,
1513			227085191977148507051347964428054971609,
1514			33361013091098109845789555978144547668,
1515		],
1516		[
1517			0,
1518			594486085799880,
1519			9727775195399588968,
1520			9728369680926753696,
1521			159581269776760058477384,
1522			159581270362101512352896,
1523			159572118462316983547680,
1524			159572119047658953586920,
1525			2611282425981090918482748136,
1526			2611282425980558353048104224,
1527			2611282416397430911163739776,
1528			2611282416396898346278281544,
1529			2611436883379470828747774368,
1530			2611436883378929119771858536,
1531			2611436892386670083750516168,
1532			2611436892386128374251100672,
1533		],
1534		[
1535			0,
1536			42837237031728713398747722155976,
1537			700960075921702962378595367227909224,
1538			701002913119732305733772026917839776,
1539			269724245230065059558421969681992098607,
1540			269724287428485695749782655406367548647,
1541			269064823529011946940529269376030197575,
1542			269064865727470962072638718017460879503,
1543			191356950945134111488490079298527501032,
1544			191356908741761708203417624033050565920,
1545			190666375462968164196563142152858861184,
1546			190666333259557391416627811204996495688,
1547			91867351152933910181522565175757420999,
1548			91867308320648645841668842394768293391,
1549			92516388260231267131269450278634839471,
1550			92516345427984995730888062332486081127,
1551		],
1552		[
1553			0,
1554			276188654499187104477864813293211733901,
1555			16490734864487726404515074746773548058,
1556			260030226717207796955755555778046059415,
1557			334010757702195292349489082082004785556,
1558			69785155165072582306250128156545816089,
1559			328486153806027981458329124451817190798,
1560			75642065982813651337493156547757521411,
1561			226758170947292519292503118092091093406,
1562			134667593864321180818795495168124829203,
1563			221898181046541776798081327353227599236,
1564			139859890681693902411345086289744531977,
1565			108748301199204764694064266656180480010,
1566			210143474252670363585357184981756929927,
1567			124574422063324143617761482749667181584,
1568			194649660466107624492806078774023801757,
1569		],
1570		[
1571			0,
1572			227668491408281491920178131152544574540,
1573			134248813985490907407654413093459681587,
1574			276106770391237306059874268963619392895,
1575			128391486159371755022995225724356978023,
1576			270913762313164434061718981123944565035,
1577			5857832529486140460341037195966776404,
1578			232861334552962941655120285792087451672,
1579			75108090914900497356883108903581171557,
1580			196424945963807784778648662784293278505,
1581			122944082836004290750087614920359403094,
1582			328617547840146434088118295813359825434,
1583			117086420173103968233942920101654714882,
1584			323424874559246091720800422799301801550,
1585			80965588605123542074179345340048292657,
1586			201618123908131599317199758550108379005,
1587		],
1588		[
1589			0,
1590			179617737658595175273048320664653768,
1591			222583728481043129967452409635203844176,
1592			222430346991142647441885119333073536920,
1593			97881957548842354140846477659812567995,
1594			97708455673017604344134835660795761779,
1595			317474878661685108870534985467404260331,
1596			317633077776260940636549593448791890979,
1597			60305784876236901740983866876918155108,
1598			60463953884846176115788891184758065324,
1599			183653686679002128926364269839383318324,
1600			183480154695972879300072132974202257660,
1601			134236975090870910146870055140972584159,
1602			134083562860868747309378809339759006487,
1603			259910981508575428537581001824086938767,
1604			260090568504894396240192690619081399111,
1605		],
1606		[
1607			0,
1608			281714057279632116784118952921150863007,
1609			227184892929460730840056327637315597005,
1610			160972224147148438245474760087164322898,
1611			45030185732706864187236033717839894839,
1612			321758055801458576668532595798444715944,
1613			184816066306278319262938616958167493626,
1614			118272104448077708934954735434857586021,
1615			222656916183397801364450663376603491069,
1616			154782671417531786369025984715216886882,
1617			17820318066138784189700153323495168048,
1618			295878957186561088864683193554811498159,
1619			178627142557921117793507000345633633226,
1620			113744756230189403303184572083313247573,
1621			59194416727382440892633557862006227207,
1622			339577704140778191817982242287545530264,
1623		],
1624		[
1625			0,
1626			270880968783830611883930315277924943681,
1627			55548582640339506155877617167945108518,
1628			300423749616500225486809962735434124135,
1629			174646194111750395265995750032657314190,
1630			96589150854268022378353927482442430159,
1631			226850937503391722335152395901494918568,
1632			129434232521153455189574714931213875945,
1633			106816407247818917900291452160952673384,
1634			206808242700387913582312782684104647465,
1635			161617133966889060804633818350256498766,
1636			237098874343646180161397876793579958031,
1637			280797899826925794643000555243286681062,
1638			33181123728553560876992522960847245991,
1639			333584015416879096113919226306558089664,
1640			65444828165674471525818164046282301057,
1641		],
1642		[
1643			0,
1644			22866352714759349297743602837542803121,
1645			254281459605717326901985524762279762950,
1646			231946185466666070557062455368824081079,
1647			173190302710618635095586134900580503160,
1648			196024034492142140622785850296455223497,
1649			81124097033709363301495639697394111102,
1650			58756212746394732828367115329039238351,
1651			128436502185342762200985620912138895312,
1652			151096453172207109119681387209213487457,
1653			297514301286018888802373231438165271510,
1654			274988213094582319609815361067511674215,
1655			301510296708828440139269246054552793512,
1656			324202541258122411449996575420713887513,
1657			124407894153150099286090892931221826990,
1658			101914088739248058493758219012308744991,
1659		],
1660		[
1661			0,
1662			27924753620101420843633820506445538672,
1663			199394760774579740149692729321037372919,
1664			174129274443367004561516139532611057799,
1665			58523951287237609402189837453496698986,
1666			75793604376470989734768813246057229594,
1667			247263771096469840563449517516123428253,
1668			232653060777569031429027590251486458093,
1669			190133492778561400508386660448226697195,
1670			204745171493082636715363103483549563547,
1671			33274353041295324219751043299975938588,
1672			16005029632522731987007455251115255660,
1673			216732583532950025594269921071231309697,
1674			241998389222674661295138511963553657585,
1675			70527735723922931296732602621967764086,
1676			42603960821390825512801258511834017542,
1677		],
1678		[
1679			0,
1680			292061740055561918212990570935235088783,
1681			101265629379972656010373039278465548259,
1682			201492404577108928965205103601223954028,
1683			166339547895041701666103737559754588277,
1684			221455992825742546238190847279031800314,
1685			65198898845916303819211595697709989782,
1686			311983424889593214737171649867963870745,
1687			232160725235260287451933171699037011227,
1688			155610803707974261655737339774252084372,
1689			301109296013319323313367660276685767416,
1690			76090554198959528038546123224119710583,
1691			281190531927183732632097339572423867758,
1692			10895225138086296125248451009587064033,
1693			212200706610073834341428973030780256909,
1694			90539805779284807925946069642979496706,
1695		],
1696		[
1697			0,
1698			296903889884601195474115295030891355049,
1699			65210409289519969999595243727968494610,
1700			316784842780407290402730080803858874299,
1701			44655056928259743984355882187419693242,
1702			338651250425886036952536841837286501139,
1703			22053330332431489065390919800491431080,
1704			276203153211269808913568802871327379201,
1705			231865981974240820595292499837474009806,
1706			150464172372485412037596566184897472871,
1707			211849990062929747349893577772551902940,
1708			85388804633781375006951353637722754421,
1709			191364773956558799218351343341446185588,
1710			107221421467301603238354639996259719645,
1711			253843983119841885058348011229040223846,
1712			129792033579171398257409139988838202831,
1713		],
1714		[
1715			0,
1716			2395221375571483215993844512423612015,
1717			97441922403404435403948437926710356474,
1718			96389397817447838770036912623378179989,
1719			107596239770448714658183827571166528784,
1720			107994698480330614443772890522107169663,
1721			34211587684372209892781091531982761194,
1722			32491528428665690715331619983762580101,
1723			188851660926077037398663617662554271992,
1724			191236436855593557673902972857632685719,
1725			264999912906770905612480063451947915522,
1726			263937064569526474358477423490510608237,
1727			296260977845842704727221169231709418984,
1728			296648991119573466628156468927482968967,
1729			201624194028875259029780385055782542354,
1730			199893811031784725270245102141962326653,
1731		],
1732		[
1733			0,
1734			243359582578722362784265127125876674866,
1735			101560345486891580763158267152167133630,
1736			334231199425894683381948527940129517708,
1737			96266605955400214002651810814313303026,
1738			339582052642851380662430419695452297920,
1739			5376821120405390932324471928010828364,
1740			238091808254346471952700150387218905982,
1741			338447316672961592269959286938362341952,
1742			97759525793218853716485937274347158386,
1743			237897303948542193765179924415869258750,
1744			7871590577733662662799939756788652748,
1745			243180312498372005303472376229391851954,
1746			2531465173350398706364269329988087936,
1747			333081233506412190325444236712956755980,
1748			103016579277060851221388032635175866686,
1749		],
1750		[
1751			0,
1752			96119619389439446535927700287956323473,
1753			21644141032164225597569400447947752103,
1754			117010794603222219271639738641926180406,
1755			155852627946614749508463124444720347058,
1756			81165514034461891150563437944737970979,
1757			134296757290709435927437652074090263829,
1758			60186068449372268826679688729037044100,
1759			323943410653500533123292701830027865080,
1760			249867854471289369293824006417409959785,
1761			303052174263738634706542846565121599839,
1762			228223815196016999438939019070413153742,
1763			179389405754081066286273572367765462090,
1764			274791025288209933738380377888982290651,
1765			200368912480333034030586379449807019757,
1766			296346794231944296619134731735464940156,
1767		],
1768		[
1769			0,
1770			96882071401903854464403403281076010431,
1771			115638721301018368504442536235860930688,
1772			40032523641488209710926517610774891839,
1773			233579514493111402706436426185080688417,
1774			307524365961716731162705291596015006366,
1775			331346141832966410398571389627981856673,
1776			236126129051529528779074158280391016990,
1777			206104678867382772080400699962288464135,
1778			281695730557384884985518275895558954168,
1779			273745113254877513622157535942940676487,
1780			176889444560451957892401029715850095672,
1781			70073089362867830283817578245912964646,
1782			165267419623301674234011001882178589593,
1783			130641498687192209488313910412885892774,
1784			56712492770314358213207293541568422681,
1785		],
1786		[
1787			0,
1788			281278013933112223129124886439317643539,
1789			232763240781025309375583182858389294704,
1790			165492719344457554348899986740253470563,
1791			264290634909952735573225573565097174109,
1792			28291093732438528317579100830887789902,
1793			140607877685217234976910822841132902957,
1794			247673763294340294825212504102301813566,
1795			193210682473864347974881997460802058719,
1796			88763183688407033135831270020617443532,
1797			82783868003054674605024509109368469423,
1798			316167943023876688801987123839954425532,
1799			116387936100145418287855643060981915010,
1800			175560247880360813576363989225988193425,
1801			330412166109001451921205043271394841586,
1802			57235931536341809601345876491681428193,
1803		],
1804	],
1805	[
1806		[
1807			0,
1808			1,
1809			21272841581577792734377501409119104880,
1810			21272841581577792734377501409119104881,
1811			178123058470187579300754373079857658247,
1812			178123058470187579300754373079857658246,
1813			199385512912804893619196379359386572535,
1814			199385512912804893619196379359386572534,
1815			290775764610634935130283808291883004269,
1816			290775764610634935130283808291883004268,
1817			269502925722814680869854526785368088093,
1818			269502925722814680869854526785368088092,
1819			123286563107732257334485956577181255914,
1820			123286563107732257334485956577181255915,
1821			102024106288270075849803661332405790618,
1822			102024106288270075849803661332405790619,
1823		],
1824		[
1825			0,
1826			185309517472602589216710143146226674206,
1827			53295700386772120146877216687180379394,
1828			217251876240531835684360562341246574364,
1829			1256247540887053364915746426726458197,
1830			185555192509061293474965090844348631371,
1831			54381869598664157645570941315513538135,
1832			217332706166219359227015018334748916809,
1833			28816298555245860339710940901963387739,
1834			211038343804668740364384976426661198149,
1835			82026320171054915912161658638885758553,
1836			243066369934705605080193347963163790407,
1837			28392148302001632955173884020902850574,
1838			210295494920333362730824069501458782736,
1839			81437284202606244634270517673329001740,
1840			242153483325808563302535849099309182738,
1841		],
1842		[
1843			0,
1844			243359572833697916948025442825716044212,
1845			263453846404814789355711917085675839542,
1846			150400155940933880193075855785239146882,
1847			76537859274825941436293810699198731601,
1848			189425343693047209937201023160918476005,
1849			339825337293559780922630255076350522727,
1850			96631970667769021053620632211003368659,
1851			161196126388831825962169909265839409327,
1852			274238458691542478290889654611654531355,
1853			254497263831479677964139401202731755673,
1854			11149049180248455090685439280997054765,
1855			86158893687047170730818466366406581758,
1856			329340902171306088129783691131114998858,
1857			179293987301787271685950057092582063560,
1858			66417861006432030997913510866310311036,
1859		],
1860		[
1861			0,
1862			106994982540732669962548221424626373053,
1863			6493594693566525435436461231987003001,
1864			112469794920118108626654814139366088644,
1865			269255404193321228129233851448921676677,
1866			205941090588182377172473922766769670712,
1867			274413754936400199406703278607846823420,
1868			210081981180389462662379404269678380097,
1869			302766969745817943338580826238557290897,
1870			238890924666475551755833615589703815212,
1871			307240272122411028717310935661009407976,
1872			243716863942080578183354420028823739989,
1873			54947324554944703187575867798452492820,
1874			161044354115520474649780370687272274857,
1875			60754551890318512945207186907639338093,
1876			167205532902360064912872777748192249296,
1877		],
1878		[
1879			0,
1880			2242402909557391341593841539292758713,
1881			22214108599700981008182833648502209939,
1882			22729743679476267610288760910353334058,
1883			253190952722871515981553997793381301600,
1884			254988896652171446192093120029894459353,
1885			232347615099579947861168719789498941683,
1886			233130784905843761500816295338686235210,
1887			27123468159686532804805922160363363744,
1888			28952668579546808838325770909787119385,
1889			6404741853096268300020442598785458227,
1890			7302252525367569885727580255003746954,
1891			226119497584790110097659138222410260672,
1892			228226617961195871806200745805642982009,
1893			248125910492342588247937206163009903955,
1894			248589347414413501573910312387449298922,
1895		],
1896		[
1897			0,
1898			339131259562057497622948230322569977160,
1899			59915962713061617298807751527029353599,
1900			279393175059320657334616882648394805559,
1901			210430742635216460660379674164074574308,
1902			129502103336002857313807999277549448364,
1903			238410022978388071723076729726931033499,
1904			101677335451344687336785601806393295059,
1905			206582045058854843146102165027508004540,
1906			133296953592468071035439674131438418932,
1907			242548497776268081458886739218432264899,
1908			97508297614069054523030128542011201419,
1909			6839503669551644310506890088933480280,
1910			332345689417750189269332424450535213584,
1911			53451300890641182195999211776704445223,
1912			285888323857303070336683521733665711727,
1913		],
1914		[
1915			0,
1916			322148628221678689059434274821700697625,
1917			86013033000295427489367712929785813229,
1918			237838681290100797740932469596629116660,
1919			123695746843911268415686138874745135322,
1920			233058811063404178267588539719883464387,
1921			39520819890588520870042373477891487799,
1922			318853747290523050726030156710042076718,
1923			101158937162630737346756866420507424707,
1924			252891164267786377215171707111307839962,
1925			16859415387151633346209657199047454510,
1926			338893772107030647963372426638237241655,
1927			22702983899150565377544535806342666009,
1928			302150100878964708085523354564627310848,
1929			108508264157681556618095711327205625844,
1930			217964829899181002255162813398547378669,
1931		],
1932		[
1933			0,
1934			180734810469835153192423176261361776530,
1935			212414520340284147893387459698294877892,
1936			32180848132218354255557294605302094166,
1937			254754413577923282370680087297258965580,
1938			74933452902419083537360977025259601374,
1939			43087752584210005709484204766090306696,
1940			222739882947629355136200200924508558106,
1941			318772812891042678246567012390769182821,
1942			138453472380144678091160253745145217015,
1943			149023573942503627048469433261443753633,
1944			329506552468627970412341411633560752435,
1945			106953593953792282176277099936070926889,
1946			286525248311075959128544628325907314107,
1947			276121461715340208105205148408729562349,
1948			96053861393145735055464338408212224895,
1949		],
1950		[
1951			0,
1952			23534795660742517158384838884479883757,
1953			285135655629206829898443214626426699824,
1954			264804588463196308988640110346428062173,
1955			178710184928723039367604033838733875182,
1956			201746520080791346253315379312427142659,
1957			107591962785796325360196590993739061214,
1958			86762435130920146120357925012922814003,
1959			205533215505269172099003676130744240887,
1960			184871139369649309364823000698315789082,
1961			101205021693564986817841146406619269831,
1962			124406212236268894590316078638313837354,
1963			38309202526533556028283947604770610457,
1964			17813279900564303198233292935244973300,
1965			268925700179516639100183445707152104745,
1966			292293044212062605129298372172207178948,
1967		],
1968		[
1969			0,
1970			151157124857551230055894734808659633026,
1971			174172324068034001300256066326029014314,
1972			322667889482640823899438768734721259176,
1973			185087044422952134792519674300694464960,
1974			333022125260149163365999873394323663426,
1975			10915045056764309463414999514208869610,
1976			161511035972982217537032137124743004008,
1977			328347128361602002895890059781362174427,
1978			179043841332555353339413276884964862553,
1979			154258066358470548376720159483271470321,
1980			7615973213568392140884284930510028659,
1981			165131521537728134552885156273133928475,
1982			18011453915430918904204870791375545241,
1983			339220259155926103372008337189320348977,
1984			189439646379582541964626845521388828339,
1985		],
1986		[
1987			0,
1988			113551942339262267221907597845061488593,
1989			244383024636004965550777396952493198810,
1990			301356901422784449296304797978026885643,
1991			155788813373328758335012945427240838135,
1992			43026505811583965570719306307495734310,
1993			259083299757039174721677191820348485165,
1994			201403676238901643527717277121010147836,
1995			92494228540583749796866364941006300484,
1996			22560257143694189899830123352982858389,
1997			322087441702413439226178964228557531294,
1998			222160370329465781540061210762550749007,
1999			64666975149410337501531031336992343731,
2000			135306855524555260329560302101794081122,
2001			180090220696151550407874974249429470057,
2002			279227819563238152138409888457397060792,
2003		],
2004		[
2005			0,
2006			76603561807959376755843581990920496411,
2007			159827543308872812072444312587089216949,
2008			87214472066699553312968410985569689774,
2009			44202663409934364396069792166513810112,
2010			33066181736015767408338290451846971355,
2011			118948824567933931052707704121932193653,
2012			128758474105704414151530281758192745070,
2013			174589151404806096663496027305370441874,
2014			248534054354698831525609129439798263177,
2015			334160963909702883656715687339196407079,
2016			258889233894264454708068195777116928060,
2017			215468521717842144629206475213094699602,
2018			206990698817810266264127289861163280201,
2019			289958952072488443602894628639418271719,
2020			302427260467704020161948945296034980604,
2021		],
2022		[
2023			0,
2024			160866852277491510796613700893933628364,
2025			23793094133091128290195632538134470303,
2026			139422058723014087099900759680290108755,
2027			134850495782259835997795595390977992686,
2028			37834135778417719188979844103839845410,
2029			154964766420859005705591809183029213553,
2030			18032623089293705542094255738190418621,
2031			201414974860201928500967489705002147042,
2032			317035335587271996041011078678936876846,
2033			178622778364347505506289954639666954877,
2034			339475831946826333006249434868221716913,
2035			322942006122933403736145544858720959244,
2036			186016836453070821635047131878548213952,
2037			301829436570442096824065839845133067667,
2038			204825239989860051264065568206683229791,
2039		],
2040		[
2041			0,
2042			211940441100632940070728625152106637287,
2043			284972502400102471396005486951819933250,
2044			97124744734390519781685671849487454629,
2045			11801882612646346223213094179602092822,
2046			201475625050784189032997981941427729649,
2047			295770116672784470500220569271447496020,
2048			87653721080710243479390941825296335539,
2049			77081898498578571605447993215017836986,
2050			221395998777286199082960252043896505949,
2051			318510298061580324835998734166552221688,
2052			150103554915595269165400360126091833375,
2053			65285887050082768705407077668412633772,
2054			231865347350703319507822636486970152267,
2055			307706862063440649959697298684197651694,
2056			159570014354142054542414945962742899465,
2057		],
2058		[
2059			0,
2060			205372855596902200983869462061065523528,
2061			284623511121782780952344237278986612181,
2062			101857957305031135943850646160059989149,
2063			80182612356378361602942113246756999472,
2064			221751388320835534233373945909547974776,
2065			311635867514215255867655127971374415077,
2066			150139097425128883543712569458778500525,
2067			316980056009943044174527974044995267748,
2068			155485861154313111230752392810144529900,
2069			74895593000911761241740069286064947569,
2070			216461711334671827227851623968993792057,
2071			279359836818865108000191776716017221012,
2072			96596858235521612078247714884457131228,
2073			5372766412431546853590418587668189249,
2074			210742964378588198529416105837462372617,
2075		],
2076		[
2077			0,
2078			64186352456003766505740589822759856697,
2079			339707243862477062652413501692864161715,
2080			276276512820298889898314279984428092810,
2081			279252811694227862020117484520002814939,
2082			300903766699714346573929034555489184226,
2083			60516841306631984715146702121352619112,
2084			39621304564057975607624224618340027985,
2085			54809480066078311936294675347427567638,
2086			33823828652179083053620880117573009967,
2087			285341705257039122477609787515138264997,
2088			306901247536253612063054590536532764060,
2089			333874070989235883514296820397144550349,
2090			270353022144706504644386356024444895732,
2091			6297985097386080212929434671343520894,
2092			70392721656318205944321340072960861767,
2093		],
2094		[
2095			0,
2096			174985988737277424980776175160916846157,
2097			50293511405934303233594766437137148100,
2098			221250236174882363015125841161649409673,
2099			159660583917119289461557893343789601988,
2100			334594567904667564680056787541256860297,
2101			124675789524687954657487605637600787456,
2102			295663587581102271701990592213819464269,
2103			108675178376694273278143275471695213140,
2104			279672699552289657266858730881384535065,
2105			154295560434923758499386619551816161936,
2106			329239266746586044318509340697424510173,
2107			55659180280751384781156155080253449872,
2108			226604858981446069965508275017238642909,
2109			16001299640735639725183898620467039828,
2110			190976241514692633764037268615438624793,
2111		],
2112		[
2113			0,
2114			190598368330225402529695773509466399327,
2115			339836443325532539597788181362398969785,
2116			149922203373881895227068473736669732326,
2117			65027191086383698393307949368672154226,
2118			254589370852686124001500173787176718381,
2119			275492040702495525394032499377346825675,
2120			85248414924016422131581283974589640596,
2121			2382170743475434363981583883072574511,
2122			189628583462839604889155661228840138352,
2123			338126677723196288315603687131215932310,
2124			150219583100750048860442973444736715209,
2125			65303560122748179083746964674599478877,
2126			252900778200746945854829399677984785410,
2127			274543271603331543628141465017197517284,
2128			87609407638133864528974388600179325883,
2129		],
2130		[
2131			0,
2132			254796423731546912729959076250467369090,
2133			290032254665530641140529890491402170389,
2134			134927994084611968527887321265729515671,
2135			195123611585639426583294910730303724408,
2136			60456211393295503845816733477169748986,
2137			96999222110875421436315283737557494637,
2138			328700288729021253042425354258722417647,
2139			16188413194299230038794540878411540827,
2140			238751057311870686120468460903899343321,
2141			284620463821980475055159610603643148622,
2142			140482334763942467342703734993658976716,
2143			211215956423545196814774970909691703843,
2144			44314778043411333526550987739876324001,
2145			91491364198390656546477724118243689014,
2146			334158561230299029591566598179504145076,
2147		],
2148		[
2149			0,
2150			242385279711200124841234209675067490071,
2151			242091061330568221732716284110760824607,
2152			626932944198128323727700077178302472,
2153			128592951327823086066383881068852178872,
2154			285657721594331239467711478744604020911,
2155			285280754461133587050643575337331564711,
2156			128637366166828290927026872799104786352,
2157			117486595440614830906891457609076401885,
2158			316660916423733518931187948276588878282,
2159			316699334638691972358026946326440094146,
2160			117115628724318801052364813244178749141,
2161			75584298301507628788843231116948080997,
2162			189439438342715145987612742714704033394,
2163			190059062639543506432902312131166783098,
2164			75297384755196725539183404842213685613,
2165		],
2166		[
2167			0,
2168			233826335746774767334725881902034684809,
2169			28364881543290141075340211657291319977,
2170			248231721786338069224040260810187358496,
2171			91166461692831476885059003251748701622,
2172			313029744515410982542807263012565978687,
2173			108669037597370250106534416619582574367,
2174			337840473505354020100492412541396403350,
2175			242184335819148242854608259115745834461,
2176			34364279349163159098228102480106225236,
2177			217193149169596538939354996565110669172,
2178			16681255907748139504475829316617385213,
2179			322529989039529485478756872315121922155,
2180			124014529482362790985781167405349927906,
2181			308318031259184191456775925316768283330,
2182			95843086360637159098596753469290656075,
2183		],
2184		[
2185			0,
2186			244165419867394831798337502973186114680,
2187			239257892663744953125580631752732954211,
2188			5731818987841436080339036396500306459,
2189			82091832550983281202374204426377664963,
2190			184029349785624428404633789680626376123,
2191			189067978444966425412413718909921744800,
2192			76501510387581135052265201952382702552,
2193			5947261267765674175673704087157455424,
2194			238980213809381355330736456300876938808,
2195			243944536811363585425331568412713972771,
2196			283281889902295849956081792116060251,
2197			76737792863176433426053688400333841283,
2198			188810855792932741301298399977255512059,
2199			183788113351369047111271336244671737312,
2200			82353746902554919023316929093533526424,
2201		],
2202		[
2203			0,
2204			254140090249627817161425486013700371963,
2205			227266692154114686730695429716737734932,
2206			28954211955373644605695469591684893935,
2207			189533906487376286955364671158566438160,
2208			66001857031407416198364608939715145963,
2209			48429163121277539693524555480952077316,
2210			206521169622418690086161846981912168959,
2211			146050533386952718388573491696641303413,
2212			280227427798761839994909629495686534798,
2213			264649874448073191551739607456928488033,
2214			159716022565316658624951838115801739162,
2215			302350857258022203293120156209929397861,
2216			122658641972132457377626521920608392094,
2217			97777788250473781382585101105560362865,
2218			327980699066178775662257231700293642890,
2219		],
2220		[
2221			0,
2222			102160419725845536254942728958470165266,
2223			70639818787634668711315657407596496076,
2224			162165052728953558116433432182562756574,
2225			200087911737738523182012714770395903423,
2226			290254061899428750121331196055777158829,
2227			217511730081949985297995594404000149875,
2228			318310469869834061914146627099648139873,
2229			174038805751766388928154555097797543059,
2230			274100176008288565981855599528830064513,
2231			244298143647865583658532139742446501983,
2232			333727051033398770650611287443682546509,
2233			27130403866774069181565504839561244972,
2234			117897625854095512401950128316588319294,
2235			44267491688548594651133219932984931808,
2236			145669772685384784477530029717634410226,
2237		],
2238		[
2239			0,
2240			274165460966508248962977738184404225613,
2241			129325001000909013481606729817824767128,
2242			232663213133446211626733789233641611989,
2243			200266289476752292614578685026572787154,
2244			118196040898217889934428378690256278431,
2245			329497737205977787026639567377050923338,
2246			76600260123002239294193049664849428231,
2247			324307484315345262958348349988115031197,
2248			82043515712113258410792123718731852496,
2249			194982747880831036252747108944544696325,
2250			123545987182717923048758756775371294280,
2251			134681590962981517707140693140181023055,
2252			227385683925088841311306935997260445442,
2253			5450244226103078515608463043790886359,
2254			268981524858039991925556199499279375258,
2255		],
2256		[
2257			0,
2258			150190930591952928999051549319021236578,
2259			247955838794335913912499639684781343594,
2260			269123036281239584487528857491235148296,
2261			117697991270665662386115399114074291391,
2262			53784212552499483555000597910619057629,
2263			300412023269148533865395723335799046101,
2264			195380793878569942519347138658351115959,
2265			253545869294497234664812341129005849845,
2266			274166597777477014488177416424409386391,
2267			5595486468573194461664799526001696671,
2268			155229522897676679275355145398238400253,
2269			305997113685272603780354266785083007050,
2270			200429759398586659177997656548812206376,
2271			123277625718476991103837742652378522400,
2272			58838147262969434241922845770142954050,
2273		],
2274		[
2275			0,
2276			76044921903351956910449379581508441858,
2277			151490411794963421865491629783085958153,
2278			96713139231576342248818549163727557387,
2279			145485154680361139645104796631589179392,
2280			112022911341844913579702517953647609602,
2281			37906811571586787793337484005511042057,
2282			50101405847477811831992791902058922763,
2283			33197161827422926013044261870307957186,
2284			44924775173178069778269072717908479680,
2285			139644055782108809925492936197476687307,
2286			106648795910884456225106816090667502281,
2287			156240788615136482070778954658153695682,
2288			102014871805835261798485235301813640896,
2289			5966525326671106760628848046628687307,
2290			81460088938776370627147225297761835721,
2291		],
2292		[
2293			0,
2294			44860968154189657269525291506218078463,
2295			312263319042957525543917487673162762527,
2296			270271103622539950768430995768497281504,
2297			332869216908996075922647867897221137249,
2298			292200055408672635004504353628747355038,
2299			21973743590021455753787407716344416894,
2300			65423372290636429126395110010023369345,
2301			87312985084984365425211064006491851218,
2302			127690079253035788414832509957092006189,
2303			227653108129941476564503357382437617869,
2304			184739583445062335531124186558638280754,
2305			249581256227615017985616157874536549043,
2306			205347258555240497915371999976888408652,
2307			107875883608037560839992589192126596012,
2308			149661705863546977651085245309023523667,
2309		],
2310		[
2311			0,
2312			70353064301869517029262536637816759164,
2313			60991797157810419622450491228358644881,
2314			33309032683039403036449162925667317741,
2315			161076003495562422431102870331064413922,
2316			103366253196071821321047502906901302686,
2317			112717216872495527177256596618045979251,
2318			127777436542225440954983401362896558351,
2319			11825908901973321060217788685385397924,
2320			79795695779019478763301846575019791832,
2321			49217814102130352895007050206121943605,
2322			23814475400680322023707856524635406665,
2323			151259604932640361263919234938263541830,
2324			91914273680231563961409783004301392698,
2325			122502458827546282176670881202830871767,
2326			139260572707021139536462823272832266155,
2327		],
2328		[
2329			0,
2330			327886491922993379850026445637674341070,
2331			92413853274711730196397980268425816110,
2332			238154564239978357777983304693164194528,
2333			286649180655436901975056165765089400557,
2334			43917662437212841248194577852953592867,
2335			194237933214875002478744598762187898563,
2336			133652181653539572823607250442066045965,
2337			179627879657153472346896235055711381585,
2338			150948955176364525994687663804714449567,
2339			258728593278305714647442322907506098303,
2340			69171548825193317700837742763258630833,
2341			107031694762670491732804092717128285884,
2342			220865579915176567459478721435850042482,
2343			27933568872032303381101606450116581010,
2344			302645585762089251256286156975055717468,
2345		],
2346		[
2347			0,
2348			185164149955601967546043662523880755855,
2349			78211970635636700005201101374743220546,
2350			236074321586288879262937366794855072717,
2351			26643374221625459036362382978246964755,
2352			211710766285632279454965712495722767516,
2353			62288093378271513566951787878783608657,
2354			220075856384251516077044409798013203934,
2355			253759434861629535632351627013858522132,
2356			71306369952748547233176979330923177627,
2357			175787031175927305880673484903958603094,
2358			20530517313237365292328891635654637529,
2359			227147934448715439505335561659464876551,
2360			44769458757408782962197344269035491464,
2361			191679034626138244791671604771439285061,
2362			36519277381502945610686161759880102346,
2363		],
2364		[
2365			0,
2366			154234850404651760103686816084594797441,
2367			254043920054847924211686241281952990881,
2368			269955818101268587854311532641339862304,
2369			81176317495473733733332912473000263622,
2370			97165729050876354661413090631673582663,
2371			172877062404725073176415819529772235111,
2372			327023269322940998078417183928418194150,
2373			25199221918007262872930413628265371138,
2374			136898733354228721811218109559287102851,
2375			231172208609208727750210122125389385891,
2376			289619359417435748563495121748866169634,
2377			63661715230964840190273023712478276036,
2378			122186465753519172076870545385322873413,
2379			192716492787825447387849193480046702437,
2380			304327446942960353995045825749314880740,
2381		],
2382	],
2383	[
2384		[
2385			0,
2386			1,
2387			159741227827866894033846763158209103146,
2388			159741227827866894033846763158209103147,
2389			274834116766907886484561602157405644722,
2390			274834116766907886484561602157405644723,
2391			243156128595299382642129408133947499160,
2392			243156128595299382642129408133947499161,
2393			55008976269538663016419198910999408065,
2394			55008976269538663016419198910999408064,
2395			108079554591738039708662207834477078763,
2396			108079554591738039708662207834477078762,
2397			307890056846679400202471467367214353011,
2398			307890056846679400202471467367214353010,
2399			212076715034603801191751872258699497305,
2400			212076715034603801191751872258699497304,
2401		],
2402		[
2403			0,
2404			269592872973127703478481607229849893488,
2405			312649226179503618818986880900489253000,
2406			45067800966072441288706620337292438264,
2407			53237816746569889565727677660025948111,
2408			301550628313645758247283347920653909439,
2409			259506940325279124046440282710476199751,
2410			13180749580816940114013046633388338487,
2411			139654711933947200100621014866190158996,
2412			217667376501195380317199621861695960804,
2413			172999707585843830686870295627570338844,
2414			96988104915686264153583502265509062252,
2415			86554288294445261403427518413996149595,
2416			185822188588409515058020643960874578219,
2417			226195660671158225837016757474168298451,
2418			128903997872502945270679792260868481443,
2419		],
2420		[
2421			0,
2422			281740353144251213267627901976484830580,
2423			328229776524498961399803055515983817948,
2424			49326628294773656127508462162230047144,
2425			183586660042373972154958257915636779453,
2426			119509612171639252731792434695415026889,
2427			166087303328011672344901894841705342305,
2428			232648479912036651013231868435011106837,
2429			90884063080122744964242913755244485394,
2430			201599152908175370338151388980777027174,
2431			237523631419814372004072256981676160974,
2432			129289911823069504225477443766292425402,
2433			274164376959154571905319326856001082031,
2434			39498218718241710571105670857966686171,
2435			75334426922729601407066964676167204467,
2436			312835031586282348772471391518369587975,
2437		],
2438		[
2439			0,
2440			75543562454591962715598553805568298944,
2441			195751764331709878492277069338157731240,
2442			228052210297924375971059974911240700520,
2443			37585869812158619652644129085091747793,
2444			48620328406165074554688022316590520337,
2445			190093503557282432483086557294197955193,
2446			244367752279925512331993498980813641145,
2447			337969665455646327937272493754071492400,
2448			263975037715621147521751595904977266928,
2449			144922119305986566872538520053751933592,
2450			114084275972870462426429048033588651352,
2451			300427948548397486217606499829591159009,
2452			290859332707297996608425372052837826337,
2453			150536253797482188830687651949878902089,
2454			97807689528237774690923149792743633545,
2455		],
2456		[
2457			0,
2458			43449847600466687806806694967245739940,
2459			22069718849668725743867020678912632639,
2460			64022881809905454656888651484623958171,
2461			148992116711419416208333387544781381722,
2462			107205117550823657151936125977433012222,
2463			128336371791156623022653844103383910245,
2464			85384994989586921872269564408690741441,
2465			328431864650115618366698258097811061597,
2466			286643663757211179233582451319039749369,
2467			307798465897066474829312703956801297506,
2468			264848493652512677832047018403571633094,
2469			179463863746462168568063730259581901575,
2470			222912306789595533636237013209641225379,
2471			201507899972527770048524400457921068088,
2472			243462264665374730472392448736790375324,
2473		],
2474		[
2475			0,
2476			301454356020606947685679439859876229610,
2477			154686961524815924329159774475863246008,
2478			200164976206196667624978935621877314898,
2479			165368347797982660668479689847169082448,
2480			210855084269272723774617724019249649082,
2481			10921531172027492974402320573265551592,
2482			312361242932930549845592612744891650306,
2483			123337132595635849960617056943874308622,
2484			252553996428120849113301669895843154916,
2485			53950523031731419637024248315566636726,
2486			268999947722415366357517158554821840732,
2487			43371725447200909021577980603336171102,
2488			258414944075486456709785354719788724148,
2489			112977710405232449017625212678380968678,
2490			242206540500728859639160322766844341004,
2491		],
2492		[
2493			0,
2494			249549147410637409564777906670820754898,
2495			334823193354860390153800165380258610072,
2496			85537636305317817172117085993238576714,
2497			87101924435418538910923949832958268555,
2498			332609826285831016550395739708708082009,
2499			247753722209592300733127163246435856147,
2500			2486045052643321980533352994282072769,
2501			295755826912101156170874563118768613837,
2502			134573522807540069875146896518088879135,
2503			49701190582362273010670291060346933845,
2504			211147084721202024042340667043622999943,
2505			211387339054231818795635198584717983046,
2506			48822246975482554330926379818637572244,
2507			134102131403541687081375117703076579038,
2508			296907448502570619918930792559067693836,
2509		],
2510		[
2511			0,
2512			253847404586028018181029080079554530733,
2513			1279712523385686847216854076392293661,
2514			252632783715905267726793971232957401264,
2515			87570185202954557461318564061549104742,
2516			339079623593779858753939202597136909259,
2517			86519603498477812009833116316206779259,
2518			340189769969486089067037956915833145046,
2519			215469291265217194090491918635853538377,
2520			38385902092936784090249612747596540388,
2521			216578955693805315944450147258410246484,
2522			37336136367076899479519729049285946617,
2523			303025187495692669880091404769585981999,
2524			123627217756463445229397809757860243330,
2525			301812346171532779811917189050418835250,
2526			124904815434726643211170548917069996703,
2527		],
2528		[
2529			0,
2530			37727843099595198433684011782007776478,
2531			53606061494823315106233523825003848456,
2532			69401388657000695298037227808205080534,
2533			265042832065222898192477485037326271225,
2534			291139766945842834553641508305062913575,
2535			317941260253233666127837762253812949489,
2536			323435232347075539671223297310476272943,
2537			189310242767367471224074775030549109286,
2538			194118192506632466397299968288402947832,
2539			220983940423274977953421897709596129582,
2540			247724061298520478330335245450282425840,
2541			97110048909594922600551936299743271135,
2542			113548582260149837520958673144834571265,
2543			129405382455595190264229536213142256599,
2544			166447182828598173662656833008211582729,
2545		],
2546		[
2547			0,
2548			226054924360598956517975384196107827781,
2549			259112380395996063347134652237380316956,
2550			139567051663030578035029967339032581465,
2551			43758315098649486488428007882687708124,
2552			184737130891309040292109903719241843097,
2553			300429890000838632323491256615878071488,
2554			95809101737041064111258099391355448965,
2555			160921719238600071183913211550325097163,
2556			280472240270958150517049971000124913806,
2557			249891617941453521028028823722292587991,
2558			23841885880247159416818059502710937490,
2559			119609401933244845934825766658845423895,
2560			324224997897766178945916170202449625938,
2561			206138495142296214560445652676422686219,
2562			65154487050360425260761925667589532750,
2563		],
2564		[
2565			0,
2566			332481294037359652974242305148045186405,
2567			129064401436761631142847638906638456392,
2568			206328716537426160825064968576039322413,
2569			301031687957510047943264318450940696938,
2570			32363778098814316855390320043496672271,
2571			174629890266054928689279592576201428770,
2572			161178939060318221025004752386180635207,
2573			123638773195221315377342862895951032146,
2574			222159707698325475851210019984489445943,
2575			79894203924299262772796950393544440090,
2576			263490913540742404787156914003508309119,
2577			254523435011262748666452885248748582456,
2578			92189217742792415190820030887068377949,
2579			295605420820537018440828227871760719984,
2580			48195408155146346061187422296198051093,
2581		],
2582		[
2583			0,
2584			194971025333502407322093237661937576438,
2585			281342944568080906459905356558798124602,
2586			86434292714717581514821969527393574860,
2587			297216183681788942048266825407771378880,
2588			102640280061421827829617039303283649846,
2589			16207412821048801534932496542278644474,
2590			210845598650700882475934328528384187148,
2591			252736482527671839397060760757108435675,
2592			59219669282593379042995734573302498093,
2593			145612300972287413746445659725806181601,
2594			339149898616612648657248477036336002327,
2595			129903633405631802957061350922207915547,
2596			323109050887826936602499200040135706605,
2597			236696886605098432405544769912920807457,
2598			43512182533705599092809601015173689815,
2599		],
2600		[
2601			0,
2602			138884352222376334148028842790368571585,
2603			103566304444964575292548810760085588603,
2604			49960325356730109220618834361390709434,
2605			17870040119497504649224540626721925462,
2606			134322169013219938153423421233634253207,
2607			85877994736715512787787015973403042605,
2608			54371931975403353293809542303710499820,
2609			313134316475286053032657394897400389442,
2610			175371752637149102944314246720531443587,
2611			221281997629123016680343345111233729849,
2612			273849442554557667351172010974086161912,
2613			306900375936941347974086992773079053844,
2614			189575868915222428228993583184868329173,
2615			227344592389550430506876826342167379055,
2616			259806287500298644900261153277681372334,
2617		],
2618		[
2619			0,
2620			149724397639006323917506008232998420118,
2621			297721783471554507103983787878713609435,
2622			233077003897668704745383380142529999437,
2623			118118596618410594993004501724792323065,
2624			53828841765887169755209370391646324079,
2625			179653172854127963326958404136782542626,
2626			329005670802029909396698570041098439092,
2627			275473149740420234438430773726153285206,
2628			254702531572804057897308519423869919424,
2629			22290933336998246607555156839827198605,
2630			128139667391394271483186356716545272859,
2631			201891482053194939198741789751628228015,
2632			307390386530407240724307294550408583993,
2633			95838191918844227114367559501197879668,
2634			75403124507099045369568786390808729570,
2635		],
2636		[
2637			0,
2638			69821363637780533700886271028058839624,
2639			217816092710164083475575930114764069198,
2640			201184658799640394426673130934902489862,
2641			111962255448705891141749627185226909985,
2642			128583304760561505824882628801691636585,
2643			329518733306010536763743392394601779311,
2644			259707754276803411169688044525042895399,
2645			133007500352998933825843392428276203304,
2646			107123799247253001329563860946612839776,
2647			265583602636746833490624088572133533286,
2648			323389585537190352209496035055851846702,
2649			64028594548018833009542534516095923721,
2650			6212227068713978322009895334399437889,
2651			196677388997718916431212858456769785671,
2652			222571474692230309711390090002708149519,
2653		],
2654		[
2655			0,
2656			50495022096866406568503897268847678876,
2657			90978636064040292704409773986484114313,
2658			129667997509198526017154748452857464341,
2659			275304410605757146924225564698527960799,
2660			312209233234326073269235471716263926595,
2661			185325619216371855911847839555742096726,
2662			232036418852090657380953426761209661642,
2663			18283650025779862437303737233799741057,
2664			53489445486737559198125682306608917277,
2665			97950501809707249541525866703582506248,
2666			143953354217988307829404167318398122132,
2667			259017706257928772771745890200114819166,
2668			307217864800643053182004129376747218370,
2669			179015628867850926347004108355842155479,
2670			217089186112015227469217143144551134795,
2671		],
2672		[
2673			0,
2674			311928417185453978908537250809886516984,
2675			160075397901187037901320129744583710139,
2676			195097231636323077750143028446164775747,
2677			139037666108362947488616420472041365502,
2678			173062264563704005926989961242396752134,
2679			22538630472406405394514211838561552965,
2680			332805177889170439796502080736555740349,
2681			2525670471132589733209519034136353024,
2682			312770159599069621164522935539698434040,
2683			161558547441260228033898712446945955003,
2684			195563663275104726630673475628044397123,
2685			140232318333002825362850937512809498366,
2686			175234689927740629084128447133315178502,
2687			22693692576653071005918211708047741765,
2688			334600030992180400967112123430364640701,
2689		],
2690		[
2691			0,
2692			340143163387288190744589647244239701682,
2693			306520784437496675491638450963573835297,
2694			33879448912207215738603793105015341203,
2695			338882301611193943607021021472223377523,
2696			1450837442201182377971314754600419009,
2697			32460171533252643430633893889822211666,
2698			307792435821752698713098156694553147616,
2699			231564482928293347554576301648958196846,
2700			108750117770590940624526959065960155868,
2701			96599824363890416102719376142426901071,
2702			243629133933650168372422193704375487741,
2703			107376233375628850843516293784407880733,
2704			232795853130722972783604222002451821231,
2705			242408392347600128776140098387876033084,
2706			98005105295015725046055341453964915854,
2707		],
2708		[
2709			0,
2710			333436778690698339121255897036179453523,
2711			178283058960706767892636636107345699663,
2712			166119891939280524608021438162406872348,
2713			327190141948707425859537317927781327523,
2714			17275117226488126303218752702138275056,
2715			148907732662802073990316567586940240364,
2716			184591355571064912892038135829078538175,
2717			179477750550011735872652496687882738321,
2718			167315240195407453898723595064303398082,
2719			1527695825020062501398512019224246750,
2720			334963817848857679127876155736042540941,
2721			150372470616868983892564350368487077938,
2722			186056734939952210984082349061097213537,
2723			328323173749011151901172480937861012349,
2724			18407507612010074223420864530925645102,
2725		],
2726		[
2727			0,
2728			32127950352424566303436081758550322590,
2729			200848999037554680654631672940423060218,
2730			190336663681570538340963679032556910436,
2731			205150367611742113827843258944503856196,
2732			173449167517342964778290557683932713434,
2733			17677706448290244794726786221719299774,
2734			28448676239696020109114574858638150432,
2735			249769426355250653933414738613781408474,
2736			217724877846403605454010569984874334020,
2737			59803806532060275304634143004693934112,
2738			70232740244302340285409077751302053310,
2739			44785212738885789608441318833814673054,
2740			76569813685054876005711199310131100416,
2741			242808945167017177062795215673309662308,
2742			231954574641537644281543736206291722746,
2743		],
2744		[
2745			0,
2746			124445334396405856026779706148672543296,
2747			21527744852764283563681165185297724719,
2748			103250678153253230800208748721979797359,
2749			145586561549597729795808140585801921437,
2750			63936627214968289323154639357862750685,
2751			167092746100602059259400981897177466546,
2752			42761989612220591879148269226650017010,
2753			133210207424495923798884661397575517999,
2754			76638768069143101916577433254542302575,
2755			154217981649586678001853937063074853376,
2756			55297986572210190944285154867666315328,
2757			12885534510885230963237138513336857778,
2758			111898648704410575116115746794237161202,
2759			33914747142576986255602955980759450013,
2760			90537807806504562577444238431180938205,
2761		],
2762		[
2763			0,
2764			318140459698622874987124146942495666453,
2765			13085497989729359513880824696210224323,
2766			306468576650541059637154033099918001622,
2767			206207363044577476758931265501919225275,
2768			154800709827939552041239047533674828974,
2769			195366561871520840017109949958529012088,
2770			167055105660234126633202362502189899885,
2771			166810619277245536609120682834805001072,
2772			194280520287962162869712495578024098405,
2773			155055661935497988222208962383751839667,
2774			207282938913422670594460032354804682406,
2775			306203242485805599705676274326977818315,
2776			12020304187965916095640071461678161886,
2777			318374558953831438538600834438964894216,
2778			1096428721243435599449413075962784541,
2779		],
2780		[
2781			0,
2782			108326320909949853914032347504673910387,
2783			135461088477167509922502770676119119157,
2784			69899850634911702715177356828684405574,
2785			71407893171260866928850888521991835399,
2786			133952396397464390403968338100620009844,
2787			106755970941360690658632465111907822130,
2788			1570999772067994120563066235628192833,
2789			233901892999653684009967296131877694600,
2790			338336518941143863958356592768167215867,
2791			268665158227496959035471147098832488893,
2792			206538637413889907958931854557336348622,
2793			205113681174269889657080760394103268239,
2794			270090762822046383546174050215794527740,
2795			339823782692234730842728256168639989434,
2796			232413980791970309995893703806891026633,
2797		],
2798		[
2799			0,
2800			122450732891301223974250497191375703603,
2801			54348654585965712778739424063147407084,
2802			155499163835453083656236801551459973343,
2803			149756849874497640147346382715533387500,
2804			59427013737172430170289124599213418719,
2805			117352182591436016878886255328276582400,
2806			5763823486056148800719731738086448691,
2807			274017760192397250509475060126333392066,
2808			194372367329631218270294454927758940913,
2809			306754674875097219672261932260388708910,
2810			248367883614337146844503757095562751005,
2811			253300855915721919400350714194579829294,
2812			301157747763952849511915979156955380765,
2813			199949265590997134168383781423492940994,
2814			269106135117211385940108002725132126961,
2815		],
2816		[
2817			0,
2818			98174806057842261706032373851680930224,
2819			337938398338525624214299022816339835207,
2820			244449904188023354663685929646723940599,
2821			11093657726546231855682270662563655697,
2822			87081474118124098970193598412972689825,
2823			327509943120144730489434245583539194198,
2824			254878682657921445645378482076575936742,
2825			212618068593522496820999675519785747054,
2826			284698981717884886211139381272914181086,
2827			129975223998501150806772044272881367849,
2828			53270834513506835248653187726389281433,
2829			201608118592352675527866046967878070911,
2830			295709257504635165141380719043205581775,
2831			140321148510194481896197238733782453048,
2832			42925233252102432746433816523863159432,
2833		],
2834		[
2835			0,
2836			60467864449668594832417466459363706888,
2837			55774362219411176213938051657797958717,
2838			6025330395486221298207672117795025973,
2839			206586336350005940170327772076063159762,
2840			242037521139226679281315548596580580826,
2841			237427278160757240132151927483677411823,
2842			212528407414434160428450593409264353767,
2843			205981022915057072178325420221742681133,
2844			243971413968604366120102757398268609573,
2845			237948703876399157371880970294091640848,
2846			210677104863969255045874526507250972696,
2847			2147426090339771588232086292676671999,
2848			59650315907207842982787130903614812663,
2849			53710824502010696194458294849673987522,
2850			6760289273052451103395261228439702986,
2851		],
2852		[
2853			0,
2854			334168654379934727811248731379113241918,
2855			269997500270541460466600844650261705797,
2856			64432067739589545753955325321272580475,
2857			118655829119458400867996717637192282241,
2858			215515423350615985487041131846867344831,
2859			194544502991435909790862547568221521092,
2860			139887661841181282807102820504129841658,
2861			123048660271604818194071360685509759200,
2862			223252010022429755639427673186980953566,
2863			201450406462200929336042307378342143141,
2864			144778870463083240440323122968077240731,
2865			7757440158040639694799229007658655841,
2866			338540633313507294265392636045420596575,
2867			274868022736148971461268969044999164964,
2868			71358656098995993267227831913205070106,
2869		],
2870		[
2871			0,
2872			179092923292796650297188171113882278718,
2873			17932271284510039486268030158157771060,
2874			185768291165195946028205941396556261898,
2875			274473283218281685863584222254108025147,
2876			96710006467590820461390799418606615045,
2877			259199471114284842669617309573667180559,
2878			92693092665468895737442966105669765937,
2879			312076411152212326718959878616078748307,
2880			144198883343789553297006528225341559213,
2881			308017966581203103659853018605431815079,
2882			128966612150039570458201155328002662553,
2883			48818515853330242792399755421231786920,
2884			215366422559315189758875391882604310678,
2885			55535419565219236571286412395043576476,
2886			233257147862975966776853416460531663266,
2887		],
2888		[
2889			0,
2890			279167004645461804795467538856338358270,
2891			135384501888785483125039307949055629378,
2892			244409215879336955601414868172863580092,
2893			271112495847269452995007229826551116810,
2894			34496442809955527989321206515795790836,
2895			231515537293509633585729126580104113224,
2896			165041673141293348924822717492866831286,
2897			308088357111928026365486159468600219062,
2898			71457428491964754444423975792502286920,
2899			172953857951695165557568936718304579060,
2900			106463675036157886507900498164591227402,
2901			58745459855077229493582795804934283708,
2902			337896125415194277072150514721113464386,
2903			98258650634974393803239219915894651390,
2904			207268509364900131076072497658502841856,
2905		],
2906		[
2907			0,
2908			316619307468968141981438907470790321102,
2909			155726480300359648224732696126720099024,
2910			206141920128466264910322647435664957726,
2911			154801888389974564638039867169079397425,
2912			205071940103729699449503780425398054911,
2913			1755445053395545822840532457363689185,
2914			318187826031865334618292338823503129903,
2915			117351967140691611834732931795592758575,
2916			242560818088117338302291604111437702881,
2917			60391583451010830619664305790079567871,
2918			259678933678552485927865533558863258673,
2919			58802293887716538439359149801686485278,
2920			257944261071470424639837854556603296464,
2921			118442714521332220215093981114160384974,
2922			243464644048900682556097258056313792512,
2923		],
2924		[
2925			0,
2926			85783636161734797535930896338803372741,
2927			324523958073770877820587126060442665352,
2928			240155934274927305650322827876707955533,
2929			81413909935469282854544446925934060821,
2930			167103292153818766051689559467692677072,
2931			267313515598332942228456199109984724125,
2932			182872169305602807194853838725893264984,
2933			33232633037544643840312206283465997296,
2934			119012889959362976916927787744497797429,
2935			315220878663566990377657910075341011576,
2936			230849659434801793605254191936149899453,
2937			48183883930729308765932137581435215589,
2938			133871431541418710953230365748749331488,
2939			276619180490623488629397490302081539949,
2940			192175858881674454011767621708513389992,
2941		],
2942		[
2943			0,
2944			291661361074922655842354366869571944470,
2945			185712546631964697240589006003665714439,
2946			107485741019051418478966822863543860497,
2947			76264143017326624583430275246720857857,
2948			300676172615933489833707405178275395351,
2949			237813036504844378132671279588332898822,
2950			140248818687650161310005920444953479696,
2951			187211759858053782110754668177189438264,
2952			116620350213093690478476320673668776750,
2953			9809610203387463424531853216951975487,
2954			292485576542574463742560944114491915817,
2955			241298304269675217206076802377272243257,
2956			147397376591304435535803904040360178735,
2957			82737700231101771693951029801239087422,
2958			304836437824842044229379082365017934120,
2959		],
2960	],
2961	[
2962		[
2963			0,
2964			1,
2965			129460184901158119860735353079755610614,
2966			129460184901158119860735353079755610615,
2967			165640453935684170557382138895643060837,
2968			165640453935684170557382138895643060836,
2969			39836255764169703026635226017603302291,
2970			39836255764169703026635226017603302290,
2971			222294153997383401764937183219325326211,
2972			222294153997383401764937183219325326210,
2973			263650962786379132398137582729042414197,
2974			263650962786379132398137582729042414196,
2975			291939387998641605980921440043978586598,
2976			291939387998641605980921440043978586599,
2977			248256144994379785765491353120476454928,
2978			248256144994379785765491353120476454929,
2979		],
2980		[
2981			0,
2982			258895673196720778598706762360552858556,
2983			27063218609768643932917788526219613761,
2984			285250865834988261130025622655934756349,
2985			260179017805396665626514981564917641756,
2986			1961913186661992664627455796076401056,
2987			286949857861014220217084654876387812445,
2988			28110902180864821595525779512980342753,
2989			58493158769277158587225425118976484478,
2990			317374629079917184989308059736434902978,
2991			74921939542894960499370904840983605823,
2992			333096529858003495282851341580605739395,
2993			318671877399073807160854068122289002082,
2994			60441066833100749917289082442306811358,
2995			334808857687330910003115322409415770147,
2996			75956348158228136693892485004713010079,
2997		],
2998		[
2999			0,
3000			301930392259976828106625834641931740308,
3001			339512976143100605864628751429081147276,
3002			37625973146847249410275954368465797912,
3003			185331468997341362025044590971904164289,
3004			138614354186068866444994556926941209941,
3005			154223406228520671891948943918704043597,
3006			200900133731381907163896831868268085977,
3007			150829928715087325876518497809235445154,
3008			194552199968947199139110628664396325174,
3009			188849591443138120002463418025137316398,
3010			145169928421698267331681964346436159162,
3011			332417401805856316295182985515129472099,
3012			33484776306352369761823725306367713527,
3013			7303317691999231648922260732980437999,
3014			306196174338051118788199920451095791483,
3015		],
3016		[
3017			0,
3018			329301379369085461200549300647887694031,
3019			21432956166976134667167926219181944946,
3020			307897804847510792232883809202122823869,
3021			155048510920623540592328413310433054145,
3022			174255476060293626474065596595470312718,
3023			133891641607107555672004871377696013747,
3024			195436514360714776100319269598479242620,
3025			247820117257012386484161662555947743525,
3026			103416449780347975579800385540903391722,
3027			226548946781174442997077769906252106071,
3028			124711809604416946482390111693954851224,
3029			274927796790783403235971599433586472164,
3030			76306185561394780536626445320020859947,
3031			296142584861546533651350841595632813206,
3032			55120758774083446198437794088282549337,
3033		],
3034		[
3035			0,
3036			254590090333913220966971847449742103658,
3037			217608617971906376477166134700075566086,
3038			37538392473749037694316114510646448236,
3039			90974464482407656887638564165975262317,
3040			334930730780676710959326217371852247047,
3041			308074191060122882922011721778827165803,
3042			117370141585742499206245181351786337281,
3043			226978712722268354475385440877895496212,
3044			28302036131847298909051714088046651006,
3045			12583039052223539824660533484365739538,
3046			243244244048383567000601321813588943480,
3047			317288481442658253053529562525608703609,
3048			107977980816673426006256552699584619027,
3049			102383917647315664154472265288654336639,
3050			322411298667333041659655805945492170261,
3051		],
3052		[
3053			0,
3054			215334957161443308256238017905202491094,
3055			165768447186417014838257733400243996460,
3056			296032769424542188931267650570489620986,
3057			248388036854325041730056144710003913010,
3058			33053080031192729438057509857512267748,
3059			263727726210879212540480685177647986206,
3060			133463404308511103059622289916499990728,
3061			332588452385495237881745433691230401466,
3062			117253536125712948602236551377437302124,
3063			178801362675477800759897396571926262934,
3064			48537000209140698246905432666003970624,
3065			86295953527462395252031371017073820296,
3066			301630870122460150376791526498792860766,
3067			80242576187108396212371467334105793956,
3068			210506938991060153417215430821758856050,
3069		],
3070		[
3071			0,
3072			150916525710689040450533952436482243188,
3073			253974325944224067501038856442760482185,
3074			274614622570381976709068130144591230973,
3075			263190555856972012749712694382731529140,
3076			243964600017414680852474575801990738368,
3077			160924963698907924385960129810813961789,
3078			11425374934411959270833672035902307401,
3079			44009384694510427471659755352103191411,
3080			107099256081688275009091020476406331655,
3081			210071472111017129795794127444285279994,
3082			318366899712949519123795972045195261070,
3083			307193450179700987434428420902656346311,
3084			200143436166476182913234352849850561203,
3085			117028600237325883499866335844411000142,
3086			55181546299070163373539932453805244218,
3087		],
3088		[
3089			0,
3090			307502437099739679290628223154091667783,
3091			139712477971664465585081158946720236261,
3092			189152541618345746980427647788394345378,
3093			161936016585386327259238920759384986963,
3094			210710842889443448702085199341775021076,
3095			22306654247480858457171792688093665206,
3096			329143801985705524932091523056188401393,
3097			150866356267476052624275218482537419788,
3098			199597672659768042441201752432620922187,
3099			32422838252933069356840408745154254569,
3100			339216525562979834033900136798798620590,
3101			11529245442149258535139628508344746335,
3102			318986871386777831492038504190494060568,
3103			129889673175948876361643312187935736762,
3104			179284980221708691618338817776529830653,
3105		],
3106		[
3107			0,
3108			154605543219637426435106976091970670442,
3109			291575021340387056088136914697178823770,
3110			232722633722619431908455404980046967600,
3111			296398753267515011804200573158755190678,
3112			226901486502740588113264233006794524924,
3113			7513836085051250311093858853359156172,
3114			151412192595065138579346558932581643430,
3115			143987988207565556713929624730260820497,
3116			32051443130981071427086737948635979131,
3117			243292160474022311577195169463230459467,
3118			259571607440619966841400585222473769249,
3119			237512556690994996752865180126259025287,
3120			264353806054867654441776237746378939117,
3121			140836170876071330878349651298165074397,
3122			39523735759368915244493340639755314871,
3123		],
3124		[
3125			0,
3126			81413830974332724570705489473670526002,
3127			233262963768215492814036452480825675321,
3128			194417357529839964239822080041750329867,
3129			339807990323822413077442490629904446498,
3130			258675537596781598325573417103299969040,
3131			107462115993833290697820149916790127131,
3132			146089341906842570685006234842986958377,
3133			54841236444129388309403483618392832494,
3134			27237216219282576683763201432233364956,
3135			178442889919426175259709562882477897687,
3136			248572825060743460358144516533962998757,
3137			285652484763856109967431178958437797324,
3138			313495654546127178255961093645742537214,
3139			161638692719839971976910731799708632053,
3140			91248148563327475631813207445389031367,
3141		],
3142		[
3143			0,
3144			291481272294957222385031757479576000865,
3145			337701118878096572654454475144028868023,
3146			49553311310473292803077006273711379670,
3147			178791951727776655766752242561307794145,
3148			124673934340674660886134830617885180800,
3149			160238447464403109292064339932123731798,
3150			217689909290529885054945909488458223159,
3151			54906503110627522950668460874312376882,
3152			321713980565466038763066714358217194323,
3153			286117730540652618462847062392226393989,
3154			15997577834223465819511718731924240100,
3155			233676893031925237729714241832046344403,
3156			154885080804706954723014837212925026738,
3157			108676536595054263950443233953423914340,
3158			184155653282372748474815980384115469317,
3159		],
3160		[
3161			0,
3162			166991306136282304309598542496380304753,
3163			174232502038222126234486658341020783446,
3164			338551681164706292985277797496770489895,
3165			124337427979921187035267213746606044793,
3166			42763096565181375921853455675258358536,
3167			295885347073598108009017526614471714095,
3168			216955801980317283870820774378464778334,
3169			48592847970263793526116514996806153255,
3170			118550510332910386225864824374626339158,
3171			222797928187195439599739398974187284337,
3172			290083463541475867676808855015715871232,
3173			160858008191858970120996324945955062366,
3174			6176137090092210680063573458045255471,
3175			332430752952632633856944874106544541960,
3176			180393668171279744718818411670746983545,
3177		],
3178		[
3179			0,
3180			228230735440385249866480305713496940557,
3181			140395132218195176469696433182636694475,
3182			258102474398786219494302709504797948870,
3183			134583094860828619020506035603809150596,
3184			274549975903857308640516097332523419273,
3185			16785977129522523832250719209917545807,
3186			222082174957404264282002939358662565186,
3187			7712044082144793339494533756913326838,
3188			231944710911746804835762547835421424379,
3189			143984162817339207274277293670453526845,
3190			265689573608713487340888612431424364848,
3191			128865258027962561140388713364572912754,
3192			270171751670397445570447790078879849599,
3193			12532048414260214474008042101233575865,
3194			216488633642735759080726247826487838644,
3195		],
3196		[
3197			0,
3198			254450159849803639627277008297910375380,
3199			90729520002236181900188399729471440463,
3200			333867603806658725520154934407294637467,
3201			11748552933731693032145458397016865424,
3202			244224248130246252915559738774742968644,
3203			101807612511737413514793229794393029855,
3204			324301767913729242986479532546719870731,
3205			286559155729848500599803367628419207229,
3206			139527895030262300840117394114454029289,
3207			196500357290355950281396895772242957938,
3208			59450641450981202845038860207998748070,
3209			296770783485131860586753152054086871725,
3210			127848145181692950854275201447177533817,
3211			206041534762664425572594297743253499106,
3212			48430957287808358831842581978090340150,
3213		],
3214		[
3215			0,
3216			223180115983185267719353390057492949316,
3217			90747971499962617333504846358440023640,
3218			302583719207587081726657493579952963356,
3219			96057175664761665453081523505181009084,
3220			318542811799392920190544742334454369784,
3221			15985054408060024592239185440758248164,
3222			228463358995575476074871099265604033440,
3223			275447174567711004927851965562103647485,
3224			139402125821004952767643885757266421177,
3225			185408449790556937855931543053861542565,
3226			59289278438806350193229212502332797921,
3227			180083181982052717383883332659539437633,
3228			43346249540261970984295097034861756677,
3229			259530106851208653697648530068235812377,
3230			134050896226034480428602128890349967197,
3231		],
3232		[
3233			0,
3234			185334593043610961850724569751631951812,
3235			135225739503257733096887584649115585048,
3236			317465535313549646421524201074934955484,
3237			318814815845291352791259823296710245050,
3238			133876335152134324948790429727971020158,
3239			183942465064424073758488275134277431458,
3240			1392252620560775956099339385476007782,
3241			80601535769655947512048071508769057778,
3242			244315383619094992835853908296410127414,
3243			118430068754564862012589315315321594346,
3244			279755313576070183183344255146167834158,
3245			281104674841773766326764709080303653192,
3246			117080745136474781161527344324374701708,
3247			242923174114593152304083169001745947472,
3248			81993706863973221551675088058083962004,
3249		],
3250		[
3251			0,
3252			328554470600989978311552677909447941173,
3253			233293911246139407410795383981438913886,
3254			117883635085802680729905127321372610923,
3255			85442171128991614835445851426566403484,
3256			243803535085712787958293296842408389033,
3257			318710110748702028530198037554123028674,
3258			33106727945953487460983473735084090615,
3259			201772607691922050218375936159418614038,
3260			128803838825733048545694246852059372835,
3261			74816951321311610622031076919823092808,
3262			275671745754123091723318743344309948541,
3263			286513168580097833549602958666260313226,
3264			43372062606253048856084357284719880383,
3265			159583463551649793530844598351169567188,
3266			190265920878662481784486977330960016865,
3267		],
3268		[
3269			0,
3270			17977171217154897146424147799394706124,
3271			149345021129204070271126418903569533304,
3272			167298582212802738403597495318370020276,
3273			92696247531760275295933046806673756268,
3274			96010175805590621516865902221667168928,
3275			71645499008346520631635533991666391316,
3276			74936144440162402116666055274445241304,
3277			333043350366000399402415464366778916434,
3278			328379474287902076457364414129580801182,
3279			184550433888493621168602661396380686122,
3280			179868142672410516467119713025251866086,
3281			254139347090782947374830816263066783294,
3282			237553824351655216784224590248388717810,
3283			275709568669165944130329132549343446854,
3284			259105952696075309387222512647553279370,
3285		],
3286		[
3287			0,
3288			305976314916039610654819165710370072033,
3289			108471745528022358918792177944360811451,
3290			244131433486642980163670906115821903450,
3291			242510577272009511034996588825820594399,
3292			106676785096973915852727816615753737534,
3293			308272899891499222511978960584004565860,
3294			2470689206739877978106525651085205125,
3295			102856311075400584780710265159206496797,
3296			227721213246309736590439908826256183292,
3297			38524294671077462870610836080979120550,
3298			333363130899162698574823826365334778951,
3299			333722897692028718155463257731693537986,
3300			38715474053027396416008551663930838819,
3301			226687015761880466739313183264139219321,
3302			101990700996925629095632675634137298072,
3303		],
3304		[
3305			0,
3306			91866417362552189201565266512715370837,
3307			64089660912899739462308106603018217846,
3308			155747734429775800448400350360415549475,
3309			159997423824046379036544541763225786397,
3310			81429292951146236303340490477104712008,
3311			96251436695824618446977055180167737707,
3312			17890345730882898588108441411916177470,
3313			268702399558284530144589124342679870390,
3314			190385445726217994554781193231582284515,
3315			332395493371019851660529579948585415360,
3316			253954571151672653660337248536335524757,
3317			237227305163648910567287547713327465387,
3318			328841246766805068470508002390492238590,
3319			173211962287525304813230622035101248221,
3320			264951165757562227467029190664278293384,
3321		],
3322		[
3323			0,
3324			7078421143766996700989362761831908846,
3325			329126470368567046592278343876583493670,
3326			322712664866696941275821645033684571592,
3327			2645065904930838275163021944157480936,
3328			6221239519402756865891832247664255494,
3329			327520188403474276337917964003635607502,
3330			323279402355846274863962514389093986848,
3331			28469532136039252479795804563143546068,
3332			21559903918559474244926715785743159610,
3333			301654185372155612986294622728996537586,
3334			307899197987353791200192607005770105116,
3335			27365425009360635401860203680868856636,
3336			23620458508216184084652901821470373586,
3337			301802585328543387881342005126308946714,
3338			306212164302456793232479005949708232436,
3339		],
3340		[
3341			0,
3342			269904820219637802801964709189387872982,
3343			150890141058942392769884179318071699298,
3344			247951105527312142206939089240085351860,
3345			79807201891709232809254083220843275597,
3346			328358456574292489270673621675729014683,
3347			103088765370927959300387185738971152943,
3348			178801518878359654837900904502875252985,
3349			222388598907359847318517013393143036499,
3350			143908310052664066215001396478181118085,
3351			285504246319312945915897935719429954865,
3352			39585284035512764313887222054026295271,
3353			206384443552543031488746361542634954526,
3354			106722259495823554002395285430316316104,
3355			312037914514939527429084407272923854972,
3356			44932026971862300624258833193889764010,
3357		],
3358		[
3359			0,
3360			280807381278820373679765571057106777820,
3361			65554850319794119560448091008069779416,
3362			300493459441646370235477120826938804484,
3363			286940702509160289817186761063958762755,
3364			6144032046035939182746305299663135711,
3365			306468249554602336805818021516915075803,
3366			71519579525710457731079773389121526791,
3367			200251495206950179469366772904934800565,
3368			92913560229676611050561142215746456169,
3369			223260638442256681968827535286721299309,
3370			155145335325804455714505584584047506865,
3371			87032227261043123680883529303815530934,
3372			194359452214902303651540223597561110378,
3373			149084709658333549856313345544866567790,
3374			217210074474107020216901831674552017074,
3375		],
3376		[
3377			0,
3378			270206878596757861932062440717952602581,
3379			107726076504329635079178861176834346294,
3380			205099499563793887865584471538355674339,
3381			22709459431227892466504609754649903088,
3382			290199365776639709018217781506704109093,
3383			85231054129435302902031383599359423174,
3384			185225227148629817392837343311301354259,
3385			407749931852982653763855301114189219,
3386			269882370547844679003462196835902030966,
3387			108029919075984879934042056782298486933,
3388			204712744699689745625404978590459742528,
3389			23070213194381750284197953503958362707,
3390			289921528742711584914286344529653971846,
3391			85487942206714692683589198193080313701,
3392			184885102892838668942594224855284151984,
3393		],
3394		[
3395			0,
3396			233245066882131425602704202483991475684,
3397			180662135781601512391185064434870334945,
3398			53933023045897457111726383033702891525,
3399			12146996620149697412149018761730862339,
3400			221120137905231810889588201921478154471,
3401			189794997174701348180388143378242148578,
3402			44780690276821958786526641991011364102,
3403			90696232942714244373968156229326428749,
3404			312712085632414032149975846283309690793,
3405			260285774358323367567933053986407739308,
3406			144431095885199551005823284709632645704,
3407			102475671306755285283160604107609175886,
3408			300910579714257198153633977746952880810,
3409			269762422962797672523407598553079628463,
3410			134973918726028157495587708714029168459,
3411		],
3412		[
3413			0,
3414			66319342417042157384765357555354155645,
3415			43884691725742433415081829091781614286,
3416			22468495712954187708834871322236428467,
3417			103407759639455501234278338830674541711,
3418			165069448564222282991552133840339076850,
3419			144597647708424398819903969901710026305,
3420			123851095414352446909594724647824628796,
3421			165355364200542756242325210755771966821,
3422			103030358937470446053335040241371651864,
3423			124146088705963742954999261178913308587,
3424			144226728473532074796566422506089776598,
3425			66034755069895111674128945798539450858,
3426			381325577982941958780421570378245015,
3427			22172214298362606057991132536229233444,
3428			44251727048082747796629215210859739481,
3429		],
3430		[
3431			0,
3432			48373146324194797631189091460102841253,
3433			226241340500307628029812263278506358240,
3434			189166640589245038686799986370714687045,
3435			145204968183712350159452973269955709661,
3436			97496439295180682124050919939914623352,
3437			264563322475964497767963581186370584381,
3438			302302639624598049756348987368425086104,
3439			236917750037131689339821323130064198233,
3440			199845803235372324500230709038990277116,
3441			31947181376603110129215806083140874169,
3442			80317563162792930378240797181481552924,
3443			296427077127220385870721777076562874500,
3444			334163640077162874321636003601956320033,
3445			155798600230444283835150631378428618084,
3446			108092834394388941576541471333531682497,
3447		],
3448		[
3449			0,
3450			135131739006571270339221400356736629831,
3451			44078970063147717061726559429288956332,
3452			91052769032874395842979807845676281323,
3453			161642990351692888862753184646200752146,
3454			37478721632170310672610556371843187797,
3455			117896367938050126818441943428656032190,
3456			81225344115456868603308322597575202297,
3457			64487234016775272177327729710181750040,
3458			113205843558373817071376425212120131935,
3459			23482306998299363360247885480592606388,
3460			154210770487398884651425389949716363507,
3461			97160949386703259548397932842826820874,
3462			59409808781550989540873278495302422861,
3463			138498223893113441930951298993538858150,
3464			18072534205497009944055760663024468193,
3465		],
3466		[
3467			0,
3468			201824376608204411558228934958987704610,
3469			268595923623101105260401737497812692460,
3470			124637342874976115736914595343127876814,
3471			75976237930675835544674971838311947528,
3472			232602156487107134904658072919091487786,
3473			323302517546439743741041405390848110820,
3474			134149374237121452224648227925147306438,
3475			328957318588933338951763260599232494363,
3476			128514986324355233414362065146968310329,
3477			81640135798554106929446031262351202039,
3478			226958691727142041124844005204094676949,
3479			274249934763166984005437567072476341779,
3480			119004436684952650158125815912668421937,
3481			5665704431039131049961019857645620223,
3482			196179797739218870578684809496645939933,
3483		],
3484		[
3485			0,
3486			23636367202105732783654262325344897960,
3487			87697000169035368423293225567296025324,
3488			106597226972709203916402991782610041156,
3489			275777124787536045975336817485199676757,
3490			296005316964118678050329525444279607037,
3491			189422411161053202500337837424396363705,
3492			211728216751093104088717365173800463377,
3493			64515801420473559067821315066005956605,
3494			44204466575597798849307903005138660437,
3495			150787413419587984218538831377745040657,
3496			128564750496371159338210452704968138425,
3497			340209443809305434613451050823061713576,
3498			316656249699203951877593836197027199232,
3499			252595657771654037749190862041610993732,
3500			233612257877600750871031321506109901804,
3501		],
3502		[
3503			0,
3504			242252262331210651765502167970918377143,
3505			83062094243412187578491107859924356458,
3506			181092949641502444619461822554206284765,
3507			134004044265720044100430742903082473261,
3508			279886458950942874741729391952551440794,
3509			120529113333181463898435141475469220423,
3510			314928517669199884679448148446757190896,
3511			339291471787048269063027751177723323693,
3512			97040128225270306370782174367228298138,
3513			256852631377188613764727034678145558599,
3514			158822358821107476947107590290686250736,
3515			206783635927420194229690273579075662336,
3516			60900506643826516437957232743141561527,
3517			220549158580937476715630894857647685482,
3518			26149373038651234355292807822011455965,
3519		],
3520		[
3521			0,
3522			194183265356982953073287103825276384850,
3523			97732148631712114883613176902695030643,
3524			291852857362760226310677472571617556769,
3525			222685251903842598028106939376084112269,
3526			71206037368166262209045513395686335967,
3527			316361950114664907427392984256243719422,
3528			164945281588349558419330360187025582764,
3529			250755808204504816322732892273494064568,
3530			62077031981805295031952691064628890602,
3531			325844073640710764681665821761673720523,
3532			137186304814819463669127158355804570777,
3533			36067342860714764719057988251961470517,
3534			182374385402258777475782287331840366695,
3535			109852607644118339753148232394013385030,
3536			256138633123018227567579038582609188628,
3537		],
3538	],
3539];
3540
3541#[cfg(test)]
3542mod tests {
3543	use proptest::{arbitrary::any, proptest};
3544
3545	use super::{
3546		super::nibble_invert_128b::{generate_nibble_pow_2_n_table, print_nibble_table},
3547		*,
3548	};
3549	use crate::{
3550		BinaryField128bGhash, arch::portable::nibble_invert_128b::pow_2_2_n,
3551		underlier::WithUnderlier,
3552	};
3553
3554	proptest! {
3555		#[test]
3556		fn test_pow_2_2_n(a_val in any::<u128>(), n in 1..4usize) {
3557			let a = BinaryField128bGhash::new(a_val);
3558			let result = pow_2_2_n(a, n, &|val| val.to_underlier(), &GHASH_NIBBLE_POW_2_N_TABLE);
3559			let mut expected = a;
3560			for _ in 0..((1 << (1 << n)) - 1) {
3561				expected *= a;
3562			}
3563
3564			assert_eq!(result, expected);
3565		}
3566	}
3567
3568	// The following code is used to generate `GHASH_NIBBLE_POW_2_N_TABLE`
3569	#[test]
3570	#[ignore]
3571	fn generate_ghash_nibble_pow_2_n_table() {
3572		let table =
3573			generate_nibble_pow_2_n_table(BinaryField128bGhash::new, |field| field.to_underlier());
3574
3575		print_nibble_table(&table, "GHASH_NIBBLE_POW_2_N_TABLE");
3576	}
3577}