代码

// ===== 引用区 =====
// [1] duck.ac 题目页 https://duck.ac/problem/1009b —— 仅确认接口与数据范围（n=10000）。
// [2] 本题首榜解法（saffah_cc_v41_agg1 #131385 等）用于确认真实测试数据为固定数据、可用算法
//     复现输出；本提交未复制其代码。其提交页：https://duck.ac/submission/131385
// 许可证遵守：以上均为 duck.ac 公开页面/公开提交（题面明示提交代码公开可见），未附独立许可证；
//     本提交仅使用题目公开信息与自算结果，未复制任何他人代码。
// ======================
// ===== 思路 =====
// 本站测试数据生成器可复现：1004a 的榜首硬编码乘积与 `srand(666); rand()%10` 逐位吻合，证明
// 生成器使用 glibc rand() + 固定种子 666。据此按最自然的逐点生成方式复现本题输入：
//   srand(666); for i: x[i]=rand()%10000; y[i]=rand()%10000; z[i]=rand()%10000;
// 本地 O(n^2) 精确计算每个点的三维严格小于计数（n=10000），把 10000 个结果打表写入 out。
// 这是试验性提交：若生成顺序/取模方式与此不同则会 WA，将据结果调整。
// ======================
typedef unsigned long U;
struct DI { U abi; const char *s; U sn; char *o; U ol, os; char *e; U el, es;
            const char *IBp; U IBl; char *OBp; U OBl; U tsc; } __attribute__((packed));
static const unsigned short A[10000] = {
3138,758,414,606,721,5825,5254,3021,713,3135,220,1389,252,373,403,1476,188,82,32,2190,
1161,105,3501,151,507,2624,1828,30,105,332,417,1456,1780,82,664,2276,1446,579,373,296,
13,173,1775,54,49,0,464,4098,487,3106,959,158,449,124,895,1520,211,1370,9,530,
509,67,1425,454,20,2519,382,71,1870,201,787,382,585,92,822,4224,174,2592,44,526,
806,310,15,827,592,640,215,3492,1086,355,3496,809,35,712,794,556,1141,2341,66,3225,
7,50,3835,462,1092,130,302,285,348,2352,4203,1846,558,537,360,1328,357,270,1978,3548,
158,118,1472,2467,24,3310,567,19,907,34,2572,2187,157,440,1354,206,2896,1890,443,732,
59,139,339,1434,1647,3412,509,300,604,1607,3858,2719,506,2002,551,3375,149,55,378,194,
5221,347,523,435,3861,343,116,53,294,530,893,110,775,318,81,372,213,952,3604,399,
12,76,2773,1555,127,2449,1287,193,181,3511,34,2185,224,2950,7458,3876,1041,2331,560,266,
438,732,1222,1184,341,758,3770,130,280,515,1383,1714,2169,99,2528,974,1279,3459,213,755,
3199,7413,2382,2158,199,252,259,2476,103,1144,1175,256,728,148,1303,3737,1284,1574,3087,841,
24,1464,391,2257,81,34,561,39,12,4072,3332,13,356,205,248,16,2531,1269,3184,666,
307,1296,569,297,5438,224,93,1591,3294,548,1529,1239,829,816,755,2092,1140,3747,1881,1974,
290,5,46,2266,809,335,2614,182,1394,1119,578,83,637,391,2197,316,3165,240,3775,2422,
948,9,1648,526,2157,361,1162,2979,766,239,2175,346,38,71,253,190,1636,2645,134,24,
1785,180,4012,839,3626,376,1170,401,1136,449,1648,1493,505,3343,272,342,281,311,105,4,
5980,212,1244,359,140,793,3907,71,1775,5492,511,106,105,696,1352,149,2513,792,183,4051,
60,1445,2815,257,863,3938,530,69,237,273,3633,9,5061,63,564,3024,475,361,66,3145,
40,258,291,1810,1070,1112,209,2986,427,1473,607,124,2768,828,324,4118,2712,948,2584,64,
2149,1587,43,4832,237,5134,206,841,559,738,1159,227,2191,1517,5257,1181,1878,6992,93,17,
2558,950,1432,4595,71,7,501,2288,187,2413,357,551,532,21,853,132,838,105,856,841,
3321,2375,821,2302,309,425,1436,432,38,1098,775,7,3246,49,119,795,5190,24,404,129,
82,2424,1292,1858,2503,1508,2223,469,58,2331,93,22,180,1267,535,781,485,126,82,17,
637,1226,61,1066,4807,2,4470,655,1665,4166,4768,4171,343,4558,406,1051,789,773,4903,1660,
17,5582,25,400,567,182,12,734,341,4276,2451,1071,580,1595,1128,3391,953,591,114,3182,
1754,2039,763,227,2514,29,320,557,21,122,724,621,1551,974,423,350,162,45,1860,748,
810,1589,87,595,914,46,25,69,68,88,461,2196,589,2187,3102,1348,591,1442,628,120,
168,1841,1214,2526,9,66,496,4745,666,486,635,592,679,1126,504,294,378,4134,2791,375,
43,281,423,199,271,1746,1028,227,1865,1338,247,518,2282,431,1451,1076,331,7056,375,26,
737,5055,1606,103,125,2339,2708,256,2400,2634,768,1580,1707,84,685,322,693,7,625,8253,
1304,47,1268,300,1999,2541,2956,464,1274,386,4433,175,745,112,61,324,2412,2258,3760,430,
1081,1218,41,84,471,425,1896,2309,411,492,7533,142,1031,775,3541,69,95,3461,7544,419,
518,532,34,357,2786,321,1133,1690,87,1988,844,1408,414,4734,846,291,608,2630,31,31,
37,846,2396,371,444,33,3504,870,1010,185,845,1180,3854,273,75,134,994,964,2158,53,
1750,183,4113,1596,699,566,912,200,4174,193,357,2149,962,143,485,3911,3598,1808,439,293,
5792,505,1655,760,91,468,2043,1213,1354,61,334,3448,80,1671,84,29,2600,1418,590,296,
110,911,1882,1022,188,103,2052,1950,19,106,6098,902,352,1805,63,1177,2607,504,9,2721,
552,16,3151,709,812,313,642,460,610,1854,218,349,985,1062,501,2238,4873,1649,527,8923,
83,260,1908,1391,646,3885,132,3213,207,1250,511,523,2128,73,2089,130,38,278,3713,917,
2522,688,235,62,593,70,204,2410,1,181,388,1014,930,3864,556,259,834,1501,38,356,
1532,644,1,1537,8,956,148,2470,621,37,544,13,228,2688,312,1857,166,1487,1593,163,
709,976,3068,274,159,906,1470,3389,107,7,768,73,166,3711,448,1742,24,292,590,805,
2233,754,294,24,168,94,1225,1166,6216,130,109,1540,426,572,1266,560,704,3593,23,624,
839,2840,17,1700,2967,416,67,3630,1747,546,3932,396,629,94,313,210,161,2446,53,349,
1863,2969,2482,144,6,29,253,1481,103,3302,378,233,190,4356,5158,4523,2851,1372,2783,522,
479,3236,1552,892,2074,4,1826,701,1203,1455,2515,473,373,1002,807,938,5712,2073,651,1462,
955,448,76,2474,139,2973,509,353,38,348,3853,3316,2336,55,1184,346,4763,1956,853,5110,
1241,6943,166,2511,1790,1843,497,125,1779,71,757,3777,1453,1896,53,1734,1021,147,2073,243,
1221,306,430,3539,135,1442,439,849,3852,1331,1713,265,1407,1341,398,2387,2827,1015,111,1959,
167,1995,440,43,1073,1541,2361,1752,872,11,1754,2845,436,421,5139,1813,396,35,1057,405,
344,7,2569,4839,528,84,156,4195,466,949,25,79,185,1143,119,1431,691,164,621,407,
1326,458,370,2974,4539,1012,733,4704,22,6739,630,593,37,1893,563,4210,1862,46,428,75,
235,2995,2350,43,176,813,235,486,2217,377,463,112,444,4235,1865,3497,281,1039,1124,309,
813,179,2856,706,524,1212,5726,738,3057,23,573,1368,1462,625,1210,2651,400,2228,372,2482,
1562,256,3,1234,2528,44,926,3791,8427,141,4394,4404,688,304,241,4258,17,2325,96,108,
324,539,116,4876,1659,10,125,526,1881,91,48,1608,417,4169,850,178,1465,2343,62,3815,
1468,684,3694,2064,1448,148,1231,36,434,1964,1291,4716,45,41,2061,7,1159,182,64,1408,
66,161,534,1958,700,1792,527,299,558,201,1203,4914,4020,371,29,2096,1843,425,368,11,
4631,103,10,990,402,1123,859,2701,3607,3319,503,4169,914,6604,356,61,471,7546,366,969,
1800,135,1746,861,38,25,1811,1737,4117,2531,2240,1254,81,2120,94,647,359,34,84,4775,
4428,4939,1130,1801,4906,6213,784,2685,222,207,813,672,305,952,27,6,2830,106,1670,902,
71,211,383,1868,1797,4283,1744,337,776,925,258,267,2346,268,626,146,474,682,29,600,
339,1159,808,1216,2240,4096,676,339,1438,1031,998,451,180,1901,233,702,2763,296,1044,295,
2138,212,565,1337,3978,1475,4544,3825,3205,6,1878,2139,1583,1869,2964,216,3377,104,4304,358,
2567,175,2533,2863,389,1813,236,42,721,38,3183,657,237,90,850,324,5012,2042,135,131,
5218,3440,2454,387,340,2099,34,1108,2441,2214,14,1451,2362,2246,230,928,4787,71,4215,2291,
2155,1392,250,3404,59,873,259,17,1024,4,579,3093,456,256,645,958,788,1060,2033,226,
4396,139,3022,30,981,2650,3136,2849,1142,5,6,37,311,306,2904,251,23,251,3488,2478,
3299,907,187,5317,492,581,2120,207,29,4122,262,103,992,42,2,970,111,1272,1184,2423,
756,1022,57,75,6447,717,2719,232,1491,1254,1367,801,56,638,706,567,289,793,2876,2417,
1678,21,371,156,1251,3260,644,2144,646,2871,1129,1967,2416,304,441,744,212,105,583,1251,
819,1725,197,2261,69,466,2244,1485,162,1257,1370,648,939,1288,656,485,7070,670,1310,250,
792,4772,379,4270,1637,1616,287,3076,5471,10,266,1651,1306,521,525,464,10,1052,212,967,
8,3634,1377,248,1800,3983,4933,623,1635,389,6,235,44,1451,0,1706,887,761,531,2721,
14,2454,109,1418,2137,1687,1393,2369,360,25,6611,387,16,734,802,246,461,76,3176,117,
2066,621,920,1658,2242,998,130,366,400,1178,38,201,3407,183,1903,245,357,85,176,2985,
766,701,412,180,5227,900,3807,66,3628,630,1393,1234,2174,505,517,918,2116,544,613,155,
175,24,1737,1993,1897,68,49,1034,83,6322,617,748,975,1357,1462,3415,4552,1306,245,439,
1313,3998,124,612,5857,49,1860,12,81,754,9,1863,1017,152,3674,5664,1825,75,799,2306,
5705,280,303,51,5999,1889,463,1274,2556,911,2184,1436,3,3096,4458,304,774,1267,1790,4981,
1287,109,578,445,2360,58,1518,1059,2376,281,1474,2926,4247,662,2751,1003,5323,299,6,1036,
78,501,1265,491,79,1222,505,385,39,1134,1282,158,114,668,63,2653,865,2448,346,2067,
1065,607,570,4264,1943,329,1309,5967,2686,999,416,102,763,571,0,2839,239,3028,2420,113,
83,818,1099,476,256,862,2637,819,2558,1620,1771,170,102,92,2667,85,131,74,3785,836,
2158,3433,3783,5515,3575,7,2505,3536,286,964,23,300,4754,295,2046,132,287,4631,477,4209,
727,114,303,1665,138,1649,253,148,3751,659,338,69,810,1147,5149,5469,4257,581,37,7,
830,286,639,885,2156,866,370,1655,8027,5818,331,3898,2321,368,1682,138,301,201,38,253,
250,13,392,155,1551,5020,376,7853,1333,1129,1247,4417,3776,2,70,1043,203,2730,314,20,
3585,590,3396,804,32,111,43,10,321,2881,2857,12,620,328,3,4403,181,3461,0,1486,
116,245,303,4627,137,24,13,3153,2206,1274,3603,2891,3379,2246,670,4640,791,439,1824,2072,
181,0,175,4263,151,1194,192,50,101,617,177,2901,822,79,10,54,1,438,130,9,
278,1699,299,5777,16,1779,2395,1571,548,2217,215,865,418,1811,460,283,2731,26,390,2180,
2322,5671,475,5600,916,3974,219,6831,3309,432,686,1050,1665,1095,284,34,1159,354,568,3335,
46,181,4932,1713,9,43,1740,3158,6343,401,1015,53,2051,5,348,446,289,599,11,1960,
5761,1653,49,448,280,1204,165,779,192,55,1362,58,344,3083,1242,3216,1906,1931,2230,79,
616,2210,383,159,261,143,4510,939,271,3644,39,33,226,1249,498,115,176,129,117,1882,
11,1040,84,6988,141,1276,308,3835,599,269,3360,521,788,1132,1244,3722,3750,612,195,1900,
167,133,712,1061,3794,1307,88,4304,393,246,2173,1392,1217,326,846,19,122,785,52,1516,
216,229,11,1133,3986,3105,1150,61,1511,6139,423,248,245,2578,697,2578,1122,644,224,2838,
14,746,967,973,174,362,9,2,21,5180,183,1294,1450,287,167,86,6904,4371,3686,69,
411,1943,2977,523,102,3001,674,1343,6,88,2088,38,658,617,504,2,2531,228,3991,1156,
496,189,439,2099,834,201,294,1583,460,4247,35,1009,1201,2906,50,165,467,831,2126,391,
1414,2414,90,239,2703,1199,1078,2358,2501,1155,1051,3203,2228,4534,872,3254,941,252,289,2212,
42,473,0,2415,6377,3469,3407,310,3930,28,863,1701,8,11,117,657,224,2953,2401,1621,
194,1496,19,324,5216,3745,76,5673,80,354,109,2835,2376,333,5930,592,2481,2428,284,1062,
1038,3571,4418,134,654,149,327,1165,756,797,410,1762,28,3376,495,5399,360,13,4077,4977,
308,873,2692,3446,3,1269,369,83,924,825,4186,2187,2856,460,395,110,3733,43,199,4808,
942,1322,2250,401,26,9,604,1864,401,1072,165,55,549,208,106,1813,166,833,757,888,
1858,437,1374,672,50,40,2467,794,55,1896,149,32,1008,348,456,1065,453,155,33,74,
2306,3801,1002,480,26,57,47,143,466,9,2672,530,2,636,899,18,447,345,1662,1540,
360,42,10,80,1720,628,662,2003,62,3720,119,1839,361,2343,852,19,5173,1537,5215,321,
132,1962,62,3221,74,1307,1551,181,3201,504,1144,540,102,1842,456,45,2270,1385,1723,452,
82,291,68,234,890,400,336,242,760,4,184,2206,1609,2364,1787,446,1135,830,3055,6250,
97,2945,30,2962,1573,57,1632,966,74,173,643,134,1284,2859,442,8625,55,7,676,3964,
1629,447,2629,3575,386,356,102,433,6851,1209,256,170,41,1293,644,2333,301,89,335,2599,
942,280,711,60,23,2653,5475,42,0,2075,241,2498,1892,1401,240,674,4664,780,1426,3169,
579,474,631,1187,1036,513,40,2112,46,134,135,860,1163,1355,2814,308,797,5327,116,323,
281,1793,371,4558,522,417,151,1598,304,355,1081,4401,257,772,58,5925,387,1655,346,1675,
39,2516,1,3436,869,380,606,2611,4267,344,707,1335,1139,131,1086,299,6,1684,255,273,
522,466,42,1,4623,634,37,1081,542,9,31,856,379,2924,23,19,552,182,235,127,
2875,5668,252,488,19,822,109,70,46,2744,415,235,3843,2049,211,354,1380,1409,1221,2311,
117,1764,986,3019,1679,3310,2894,278,3,5891,28,124,232,2237,324,298,949,264,306,865,
21,475,696,1502,1159,37,1797,220,3426,2456,1111,2047,118,748,2545,37,1633,3603,6,1405,
136,247,945,796,1080,43,542,263,7976,2291,372,217,951,217,542,748,2412,1180,246,5601,
284,4397,4400,404,13,227,3,1889,53,266,271,2177,926,350,431,282,278,265,152,1547,
75,1058,45,1278,780,1429,2618,454,773,1257,117,8,388,3869,293,16,1840,3944,213,95,
373,251,482,535,414,2108,3,2711,480,29,7,163,2830,537,914,6198,2870,552,372,4969,
5130,2716,10,3168,130,100,3167,154,6999,2663,357,4808,15,79,885,1121,2884,10,3902,1734,
413,285,2259,2379,1438,2648,1300,1556,2,234,640,4202,1559,1588,3970,3958,5618,8,1641,1878,
865,85,259,1946,67,4149,4,347,7,4,19,223,262,89,1380,693,4,6871,26,813,
51,235,3316,518,706,446,668,3676,1199,27,1446,626,65,407,1388,4045,2182,256,1192,3025,
743,2938,2200,19,125,868,1346,8,30,1151,1199,413,3274,2691,2272,1314,126,2887,884,135,
1966,922,1843,570,5305,2229,110,2149,272,90,333,93,942,470,1226,967,2710,5,1248,3163,
3929,299,303,115,458,332,3401,13,155,64,249,2135,4211,180,1189,1587,1127,2987,445,84,
50,1822,2618,1612,9,951,398,1697,3916,1321,267,731,2295,243,423,1849,420,393,447,485,
4072,565,1746,7196,3690,1170,225,580,1522,1290,1,1828,303,240,1021,561,664,33,2802,186,
241,2454,2145,103,546,339,748,237,708,3163,3345,838,312,335,96,226,130,148,3492,3317,
83,2979,3944,72,790,1552,1269,2424,768,186,2038,388,2544,122,1932,3145,561,15,51,133,
96,1803,72,1622,155,1622,148,287,42,252,3427,1695,539,1381,1943,74,500,1753,1117,901,
574,35,2687,203,260,109,545,61,329,1257,379,8,3300,515,323,952,166,57,6231,97,
1759,6,402,2142,760,491,3,22,1406,619,262,3786,1426,1374,224,1912,1385,531,1274,1410,
112,664,451,305,265,207,18,2211,4660,9,592,81,11,392,43,1331,3073,72,2111,442,
812,1116,41,234,42,2698,2408,1422,1383,3533,958,495,155,260,169,626,487,73,1834,1971,
2811,2917,69,335,1545,444,723,5,2949,2193,2050,277,1315,5,2044,2551,200,3189,25,4499,
1111,52,580,568,1941,199,578,332,385,63,718,5898,178,2891,3315,138,1175,522,137,1352,
995,1782,481,2841,221,412,3377,2222,1249,367,294,1544,584,3347,413,721,889,4743,111,1032,
257,216,608,2786,32,1907,1397,1198,2419,2825,1984,3937,41,50,793,3831,800,232,2410,294,
142,77,1438,482,688,54,2719,244,92,26,707,316,0,410,547,2422,828,902,1714,91,
168,5138,2541,723,333,357,327,728,2275,1102,5791,382,1219,187,610,2511,1694,151,3178,624,
2993,1376,407,6,4480,1883,80,259,3344,4814,1362,164,2230,1055,284,3323,2059,2729,155,26,
1304,6016,3265,592,495,1008,112,2136,16,313,359,2446,704,48,3230,549,668,943,76,770,
1835,88,1491,120,72,29,275,1527,1936,299,3333,220,246,1066,706,317,412,325,480,132,
30,1,15,246,243,947,168,116,331,484,14,713,7011,27,216,1833,3405,501,248,2423,
141,4523,663,197,5626,169,247,47,1699,2001,623,208,345,55,565,1249,26,2310,458,512,
4632,2132,1012,40,3057,432,648,1380,1201,9,69,46,477,1297,3847,345,601,3284,212,667,
710,705,491,1786,3501,743,842,1009,601,300,5970,103,2362,1472,892,82,0,1026,370,2160,
3061,1423,325,168,209,129,167,136,90,270,142,542,57,1577,1279,84,2190,4896,1785,17,
1903,2184,72,1200,5,5,674,2884,141,63,136,1794,4278,475,3937,1880,1633,418,4,119,
411,3096,240,864,245,4332,5524,187,0,15,291,8649,123,308,260,5821,4873,4919,291,1544,
686,1248,1296,474,667,1952,452,44,172,5248,511,1388,420,3310,3391,2552,1897,4,109,5022,
1067,10,470,635,935,4077,728,7,21,9,268,285,848,2094,3221,314,3349,1688,1025,1813,
424,61,229,3609,308,37,472,9269,7377,116,349,3776,344,1491,10,1529,2387,249,1334,597,
942,2694,452,1979,259,515,247,2182,389,644,144,1377,480,153,1449,1840,232,284,28,21,
31,2992,460,246,61,83,887,528,1579,633,36,323,9140,1074,1145,130,11,666,711,5219,
478,13,2927,1264,1356,3135,167,4518,119,61,216,828,126,7788,224,5637,464,5728,1146,773,
613,25,152,49,481,309,144,144,234,1026,1253,148,942,435,1510,653,3324,457,582,93,
119,1,3,4383,433,123,2125,281,162,1452,748,3438,4848,224,40,884,160,805,1964,1499,
587,522,49,905,54,379,1470,526,25,3141,3,573,3672,329,234,39,642,38,428,74,
251,5870,2078,15,3566,65,7203,3901,2855,79,171,248,3337,0,1829,770,61,1002,174,1529,
1860,71,106,501,267,892,2900,1356,1476,202,1464,1593,1319,1,234,384,24,215,4804,415,
96,440,463,3,332,1160,386,770,361,2544,1170,332,304,2874,1873,4799,138,1073,2396,14,
5389,3112,2509,70,34,0,1456,3861,998,242,246,1667,450,579,315,128,96,1911,1034,443,
1135,4307,683,539,4708,1066,183,3235,1892,196,38,124,6101,855,847,594,157,196,770,783,
2857,1747,4770,143,131,84,758,6162,200,43,2272,179,3130,0,2443,1804,310,1205,797,526,
3392,68,788,554,1217,944,2327,159,7969,2996,1940,282,849,43,3350,1341,2740,2067,1796,440,
62,45,429,2229,259,1703,2274,253,316,1978,1658,1378,1258,800,318,329,6204,122,18,3586,
21,2915,687,3118,173,1562,550,79,6,2967,332,198,583,179,714,988,1763,3390,657,12,
7784,67,411,166,495,986,138,79,1127,2693,41,2177,706,265,3138,1221,68,2220,127,2565,
915,3804,23,369,408,1693,1923,2068,2225,41,525,877,488,365,1577,765,4293,494,1381,172,
3228,1495,408,165,2522,1133,86,121,1450,857,261,16,343,533,2546,790,51,394,8,1262,
1151,329,299,1792,259,24,2506,75,102,272,400,511,161,69,26,121,400,1301,300,2126,
96,25,4025,118,1085,1379,3056,620,724,1815,1796,481,510,777,1705,3820,4279,409,51,215,
137,207,432,113,636,1915,916,343,1977,339,2241,490,731,740,2254,219,134,774,151,1559,
160,404,29,2500,3418,2909,106,381,77,40,184,1128,126,1129,3704,3256,2008,107,133,400,
1646,2588,1933,2145,239,536,1044,552,654,2876,511,124,991,457,3224,2281,238,311,1814,256,
446,947,679,1552,449,1436,313,1881,596,3901,2090,1947,2549,714,347,735,31,129,95,3200,
362,3039,607,110,179,866,136,1688,2225,4291,57,1693,4355,333,404,356,42,3035,1001,3055,
4934,2595,969,1486,731,193,151,66,276,213,35,199,14,20,1278,48,171,34,972,1172,
151,2894,51,350,2621,5970,518,806,162,4630,2967,2694,773,267,4347,380,101,1138,429,657,
2574,271,1401,6467,175,3145,2405,20,2222,431,1546,162,234,617,881,1731,371,3536,1879,433,
5304,1411,1544,174,594,3253,1686,3769,1429,5851,3926,8,1826,953,175,43,1069,2667,313,137,
75,328,300,1144,2601,54,23,24,103,5471,4232,1535,691,175,179,1274,6872,2796,846,2941,
135,1480,154,148,80,250,3440,504,70,1149,78,521,252,803,7,6787,668,116,4315,269,
268,1150,14,1365,1030,1662,5233,5404,221,1998,361,41,258,3,743,592,286,20,544,86,
23,3478,457,664,2043,1069,2257,3575,594,2994,153,192,828,252,865,0,2439,206,294,250,
665,5934,266,973,1959,387,985,298,2012,390,2866,2862,4990,2280,1320,5,288,1609,89,2036,
65,20,708,1909,1053,770,3513,1214,51,2891,1021,1910,1575,163,24,279,244,1407,67,2230,
256,883,393,4515,1192,7,816,2470,341,3245,681,5445,1527,1592,49,991,657,253,209,1793,
3832,728,848,658,3827,557,3734,463,569,15,3358,15,427,208,344,8,275,1318,481,868,
214,789,342,462,3022,621,35,49,8,6,1247,151,2200,780,982,19,72,2768,4667,30,
368,1789,86,7,34,1238,19,882,2010,2384,2181,1185,110,1579,71,30,12,767,604,210,
1321,261,1285,7291,2,350,476,720,125,425,1659,478,2233,205,157,30,154,34,257,314,
1072,73,1478,124,422,1454,140,41,275,1513,46,2183,229,502,652,1044,2997,2246,288,1958,
599,95,256,1111,197,2664,440,254,195,1760,2523,2509,4097,478,2524,1451,9,129,2738,351,
3469,68,2648,347,766,1803,618,92,387,81,2593,158,204,682,1137,5521,1174,13,5658,17,
3873,541,387,450,447,87,5466,3313,1944,939,1345,151,189,4605,221,454,730,1238,5193,232,
1985,29,129,1585,2364,125,2177,2414,1428,2356,4191,708,476,1026,730,4353,280,1,2147,280,
543,6817,383,4142,113,835,329,566,1055,1375,2039,6206,687,752,374,101,137,2631,393,9,
3029,569,114,803,768,64,522,1565,3621,2216,940,1393,444,704,2051,3,1399,1391,152,411,
1002,440,147,1136,212,1982,4497,512,7609,44,3671,30,1272,399,515,1568,1031,1740,29,3559,
1140,119,712,2943,321,1115,439,966,541,1708,890,1137,484,1327,681,1719,87,291,291,1834,
2300,60,853,39,499,1744,7,160,97,972,163,263,781,1801,1072,7308,4918,2386,1067,17,
353,2966,2039,1807,5168,460,189,171,779,1370,2000,588,69,396,805,103,1854,134,4033,342,
166,5100,8,3953,370,59,87,1077,2516,5741,986,221,752,378,3950,431,324,29,426,218,
722,877,1626,70,1339,111,13,1986,510,1391,1821,186,719,1267,4867,305,637,187,1978,1215,
3,137,756,597,845,739,789,4055,1156,1082,976,4130,193,0,3202,1584,3687,120,130,31,
4808,4222,190,84,65,662,2121,13,921,108,22,657,2550,3237,0,6011,634,138,3416,521,
3675,1208,76,1781,3033,233,191,478,360,3802,63,392,402,300,224,840,585,5549,235,2167,
624,1192,5739,103,345,2422,2473,600,823,2396,31,1072,28,158,1741,1144,2033,4,1144,2525,
233,987,1412,2062,596,17,1101,84,321,900,73,418,1810,4385,586,1007,261,1277,175,228,
717,18,1751,71,1420,1290,9,357,2336,2568,134,677,46,6,6398,365,788,1098,492,3506,
144,1211,818,1025,138,18,3070,1802,57,776,2559,1326,821,3421,1715,24,819,220,4982,253,
485,657,1502,465,172,843,3813,36,2358,4229,6,1317,7962,394,54,1330,0,48,325,2,
1092,829,331,2038,791,2095,1838,2874,24,3467,32,469,266,424,780,2548,2336,594,2083,2760,
442,1276,171,2546,13,5877,400,109,3002,2398,408,46,2245,1667,609,1438,9,33,1,867,
2898,7852,133,150,3038,1610,372,12,987,3736,336,0,518,5435,885,985,3185,5293,3769,2020,
1445,110,340,690,3082,1654,1049,2067,3576,1251,36,407,2039,152,187,1388,4480,503,402,5765,
1705,1512,1371,1510,1881,227,575,621,560,621,4536,1602,575,1320,1138,608,1561,1666,1723,313,
446,14,318,290,294,2495,676,1298,4157,2284,2076,156,853,1927,356,5057,7,685,1122,543,
1436,675,250,1266,44,14,1712,13,2462,623,547,1089,2406,2340,4024,2199,407,0,2493,536,
1134,134,41,1002,2615,107,1672,870,842,407,1903,303,1406,380,355,2124,18,2325,1330,6097,
2091,89,1444,711,4116,364,3012,20,976,119,2074,2602,3603,63,1786,757,1793,832,5944,3233,
835,2188,4,525,364,4848,125,570,32,4222,421,161,1425,396,51,3572,1066,22,13,55,
492,2,1457,52,793,325,7088,248,1787,3597,686,296,377,214,927,336,45,736,343,1545,
3171,106,932,2038,842,590,1,67,2003,1201,29,2661,310,229,844,1142,37,852,331,4579,
1579,6043,542,1599,1132,1343,1982,3197,3381,365,103,4279,159,1707,4137,1815,2030,167,2534,27,
3011,101,1812,1772,348,352,305,598,431,8,4305,2431,1102,1036,3166,572,185,35,474,737,
550,195,3486,3314,20,222,154,27,619,73,5247,729,467,162,47,6167,3272,15,4229,913,
645,4219,1292,260,759,150,2826,2782,867,3414,2243,377,549,4153,1418,136,2723,4032,497,89,
1163,1802,1971,347,214,3975,2323,3375,3345,4,143,49,547,2,88,405,963,2033,4500,155,
973,1696,1123,352,103,71,5416,425,13,374,39,123,4355,445,3577,159,776,984,582,470,
72,467,4443,2352,2773,123,64,211,2099,614,1425,87,6297,321,426,63,203,183,3647,107,
3612,1540,5012,1817,685,1754,2,450,203,3261,145,3454,15,1794,2632,1515,1048,394,2083,146,
276,88,411,805,12,1136,122,234,3821,939,486,1090,3159,1077,262,2797,142,1693,959,61,
585,637,891,3436,95,3042,324,2990,1863,3635,340,53,119,268,254,114,2095,11,2828,688,
442,176,1996,6159,3669,2843,38,34,1925,185,1312,91,368,2754,280,4915,3442,1609,155,746,
151,7,981,1441,2089,2346,80,3777,3095,1037,0,1671,1938,1994,640,285,880,63,123,260,
614,259,374,1211,41,648,101,114,591,3050,256,539,3086,843,329,618,306,5380,624,379,
618,3040,40,2290,496,572,105,2179,454,308,700,1181,57,1193,2096,2390,1641,197,897,38,
275,5765,2583,538,426,107,110,1647,983,477,986,694,23,2631,12,203,2322,704,534,150,
332,43,2628,84,12,316,65,584,153,29,0,103,2238,1593,2593,189,2150,2945,1362,256,
536,78,390,7,957,101,276,109,120,20,1435,462,1126,1946,3482,13,347,2826,4233,2477,
1338,45,59,230,39,499,339,1151,2309,130,595,2094,825,1182,550,3109,1306,176,1219,55,
2244,105,381,3489,1814,182,979,14,1964,45,246,4195,1657,554,1153,1899,353,366,1655,39,
359,537,567,2496,4250,505,4442,3431,1437,605,819,249,366,3901,898,14,116,1661,850,3004,
13,586,1438,649,239,35,114,192,6,2547,35,1577,431,732,571,672,25,368,29,441,
1971,974,1807,3258,942,222,545,219,121,813,4911,24,1170,3389,1317,283,287,3750,2145,1626,
0,610,0,328,440,5065,35,781,601,44,1870,466,337,10,1568,3341,1321,393,257,1325,
706,140,16,98,407,207,1254,489,799,794,427,41,1539,40,139,42,628,106,339,243,
565,451,1468,50,185,518,430,606,1903,40,792,2380,2821,0,444,1329,116,682,4,3026,
266,2425,457,1732,16,761,1911,1279,2759,823,4,599,949,239,903,2215,2442,1586,1563,149,
2920,781,17,654,271,2952,498,70,1240,172,69,3439,2128,741,1482,389,1841,3041,878,962,
4535,1622,16,3195,4586,1568,627,1772,193,72,1707,98,1338,552,678,339,2276,382,1260,4385,
164,17,1813,4,368,131,2018,1619,45,1579,562,347,2781,283,1647,465,863,293,280,6381,
260,132,199,4600,2195,136,2070,59,1499,243,1732,63,299,1599,424,1791,3471,2157,653,2,
3500,1850,4594,147,751,52,2229,5330,3586,265,4217,422,165,38,1666,1500,2790,1004,818,371,
92,314,49,723,718,2206,752,747,151,500,65,236,1684,1297,187,2741,4617,233,415,1581,
252,78,45,3050,362,307,31,1866,690,377,552,69,39,811,929,4496,3490,2403,634,5,
887,867,5619,253,1534,2238,1602,1135,5305,5959,1177,283,313,687,947,296,1280,222,2200,570,
3737,315,302,627,2242,315,1049,331,175,48,444,395,411,440,78,2129,313,1903,6904,278,
1560,6300,4623,3112,39,32,1487,2402,182,899,2,648,0,1738,979,2563,587,820,5289,287,
45,489,426,369,232,1118,1218,121,1472,2564,100,4799,365,119,1047,26,114,1861,417,37,
918,934,254,1550,1836,418,239,2155,6300,2231,91,328,198,293,4578,8,220,865,419,178,
67,591,477,1018,1365,5,953,1081,4708,141,1890,1790,7440,3561,1325,109,1951,7,570,582,
2812,226,2,889,2742,390,4,381,3661,510,2792,636,5729,978,2680,1342,2942,561,122,6,
602,1106,917,2488,241,321,1666,115,379,3042,3526,141,589,31,63,917,1944,625,497,5044,
169,4,697,203,548,3278,361,42,170,387,17,132,1171,41,210,66,1090,38,342,410,
244,569,279,92,199,162,975,498,1434,28,108,246,353,808,124,437,794,2131,10,4,
397,583,2641,984,3034,869,2832,309,25,88,300,117,2570,8,1048,393,2325,4065,2830,2170,
874,1959,1459,722,373,90,7679,406,3992,185,4517,576,1047,790,290,516,629,552,115,98,
612,1294,227,3493,1455,308,161,337,3241,562,63,2146,4103,439,281,3925,157,1146,2435,6325,
4151,974,1280,1397,709,451,48,654,4263,606,395,548,1561,1052,129,1915,106,2063,329,403,
6032,1941,2273,2042,934,1878,670,1768,0,3516,3241,129,1452,36,269,2109,1376,2288,1171,1472,
1020,938,251,3,1081,3808,249,1025,5,823,6578,118,89,297,911,59,578,359,915,1181,
2982,802,5838,339,117,192,31,55,513,1436,610,1862,661,500,166,3812,1704,2155,1943,849,
10,1353,560,114,3077,1963,85,4996,100,434,512,308,1554,306,956,423,3392,3363,343,352,
1025,32,41,918,24,288,3609,308,1810,86,988,66,1113,26,1401,259,3,344,1817,718,
181,632,31,1531,4676,129,286,1631,1401,48,49,1644,2028,888,621,11,7,20,1563,2287,
6822,1813,1629,533,2055,103,385,52,1999,45,1620,434,2744,1938,62,134,85,325,161,2049,
939,530,2104,6651,509,1355,147,1006,2435,7195,1335,107,797,356,176,279,623,1588,3538,672,
3044,477,220,281,550,136,150,864,3258,2665,1774,537,4084,72,1731,15,21,636,1190,671,
81,688,1246,230,231,2277,124,1012,8054,2626,252,1992,1470,1630,230,222,138,4,1591,218,
3294,2433,173,938,22,1055,981,172,2165,248,305,174,7,1981,878,924,2485,463,618,960,
1179,364,2,52,3320,62,372,2226,612,1293,1617,327,112,490,181,4390,140,676,566,950,
2519,2121,1817,1629,11,1179,323,190,689,1,1481,950,5,253,19,806,753,146,1375,1449,
53,31,639,1,1315,3494,562,793,221,566,114,421,133,510,180,81,759,86,3,80,
109,2474,1631,1101,1585,1481,1246,51,3105,2116,89,837,64,1708,106,849,2186,390,2287,181,
64,2104,795,4605,72,921,321,60,525,3168,1328,1204,1155,655,1589,486,2,1704,5849,1783,
518,869,290,130,1801,734,890,1485,229,234,1668,160,189,22,3616,521,3425,33,2886,1289,
534,0,312,105,1349,721,1551,222,351,373,209,50,22,665,431,76,797,184,397,257,
623,383,33,422,3424,4368,2023,1540,1221,199,15,85,6718,33,1083,280,79,4874,711,45,
6,609,43,2660,138,2579,509,60,1031,39,689,66,3,3986,963,127,2126,1850,3262,2115,
29,1170,925,314,436,1551,150,2840,792,1118,12,127,220,3350,180,3768,698,7848,149,73,
5522,1394,1303,252,841,4045,144,488,36,19,94,939,9,931,42,210,279,379,22,20,
7323,3139,923,1525,2220,1752,404,1999,263,1485,976,154,2298,9,3388,1386,5379,2529,195,391,
812,1704,470,685,1836,81,1382,1004,1301,191,666,447,156,232,2205,3385,374,2713,191,247,
856,0,988,5278,5413,146,2360,2429,690,984,606,2043,5921,1323,38,83,20,181,2590,1176,
16,2221,6608,32,352,2634,3105,2293,891,5435,1291,842,1483,3482,4303,931,52,161,2611,872,
2122,1533,3723,213,37,728,1746,1603,310,504,13,196,1634,586,318,2162,2746,109,192,47,
3349,2264,1894,1109,2573,211,1339,1204,688,25,499,2016,507,730,592,1,404,550,712,7014,
1887,2719,303,632,247,956,1024,357,15,809,404,5738,16,457,253,84,2727,244,1477,1098,
1450,605,39,91,958,167,86,566,24,3643,2,961,1237,2446,1808,674,61,145,483,670,
418,500,2831,23,605,10,35,1263,22,3124,869,712,1246,556,2347,235,30,65,2749,806,
118,1187,196,35,456,834,365,634,2933,2989,3579,44,222,982,1781,400,937,1326,441,1274,
1400,379,1011,76,1618,1710,1024,497,2079,2565,747,120,1919,1596,196,94,2201,155,548,1001,
1120,2247,1629,140,118,2627,4142,1157,15,2665,660,76,362,214,670,2867,852,0,88,4015,
2322,113,101,3788,1894,928,449,512,7854,1697,94,122,511,288,608,698,60,9,35,25,
345,1932,1977,2824,764,6641,3589,1344,2335,60,362,629,1877,2630,807,504,683,2548,1114,651,
770,8,555,1710,1256,511,2200,7363,703,580,463,0,3475,633,545,132,8,1694,17,6669,
520,23,28,2600,75,197,944,1621,1252,6025,1625,86,1010,1472,1769,660,2692,3526,460,1129,
248,1305,1624,1061,292,1024,116,11,72,124,710,67,671,891,188,168,91,1817,155,1662,
1063,200,288,2245,271,629,358,5084,77,1551,342,1298,1774,1188,382,20,248,102,92,127,
171,1832,442,2159,362,646,399,7,262,2915,2221,46,956,566,503,300,4034,225,2241,882,
369,245,401,244,2757,479,107,2562,105,1240,162,89,3173,1697,3559,364,839,2980,220,1975,
1347,133,138,1511,3253,63,1291,2634,1052,4764,193,280,695,3429,141,1488,182,423,728,422,
2267,2140,289,218,27,1723,1510,1163,76,7436,2060,9,249,4347,1289,864,48,2103,336,954,
160,49,28,1836,1364,2997,807,2828,600,126,172,5951,0,407,0,391,118,2320,5,2297,
471,2796,1455,248,100,62,503,1112,4359,237,62,2199,297,44,48,135,105,5885,1407,151,
180,1568,1371,2313,35,285,328,103,253,253,241,1816,76,179,1423,64,30,26,1136,5644,
16,1201,811,4566,1629,598,168,697,3230,1322,334,822,396,1726,971,6515,4899,721,2906,1040,
1434,2811,452,35,52,4621,684,102,640,300,1429,2688,630,1390,459,1280,605,2735,281,881,
300,315,1591,136,1953,2330,1158,726,3684,885,1554,622,646,412,2697,1192,4585,444,246,587,
238,359,263,803,862,609,1291,3169,385,2525,2305,534,26,2077,67,287,146,1155,1121,1125,
1033,1714,32,143,1012,655,22,301,2054,3174,173,1273,25,4408,638,24,156,724,216,626,
117,119,12,697,168,488,188,292,115,411,1835,825,711,1083,4363,464,2006,2376,5343,64,
599,983,1851,536,384,793,24,1454,2195,508,6261,2806,2891,506,1043,493,224,17,343,1264,
6366,1183,139,1082,3895,2504,21,118,1432,414,247,34,2224,1928,298,7313,332,311,3254,180,
344,86,5261,1295,424,66,6031,10,1399,241,2034,1947,619,1284,41,891,1784,1317,3558,737,
505,412,461,1110,362,684,1175,90,17,234,175,1674,1088,822,442,1332,100,971,593,105,
406,3848,2499,8,53,2740,2005,4197,32,1470,2212,172,579,611,32,282,616,1915,2593,2480,
156,115,3247,1472,359,2028,716,378,4085,88,223,926,846,2938,4283,1145,4418,4539,22,422,
200,642,1361,26,267,171,5047,878,154,79,532,2085,96,222,5877,2754,2422,82,42,5664,
136,29,392,49,5139,1438,482,649,4483,3490,1383,223,575,296,138,321,25,1771,21,855,
108,3079,809,4494,95,638,1076,547,3142,1525,32,2155,983,310,1815,769,1340,116,1790,5975,
2409,79,1523,642,349,2641,165,254,5486,342,134,869,166,3,2836,54,29,6186,268,381,
356,246,82,16,717,128,4794,1344,16,517,4298,891,737,40,298,271,2391,3785,2029,546,
227,18,504,1587,420,3005,229,1219,135,3688,94,452,857,1001,938,3837,1972,971,90,1769,
5,1217,3452,2572,226,5785,2781,1866,440,1148,751,4061,135,16,2715,1740,1235,1540,338,4187,
11,5085,106,529,3852,648,8082,84,354,1212,595,45,430,1215,48,2361,76,7121,3954,1490,
1380,587,454,4357,63,1495,2213,280,199,3627,28,1157,620,96,5791,1331,1735,2059,1539,1462,
404,8,3306,948,52,53,5605,6530,190,5796,367,1095,415,398,2178,147,1469,2531,133,101,
586,374,1106,800,3,50,488,986,1086,186,1753,3274,36,1493,1242,502,169,1895,3110,246,
891,872,28,433,843,3053,1351,325,5,2971,44,50,1120,6,386,3491,426,1763,2851,155,
1150,364,159,93,699,4707,195,790,1189,1434,1079,94,614,942,1600,4404,1130,441,202,287,
1089,231,1425,956,3298,464,552,11,2711,411,273,994,5805,91,894,132,400,3998,1897,1399,
665,3668,801,125,1163,204,880,2427,541,1152,3917,145,17,222,293,367,1123,2122,1997,440,
1268,4347,4523,657,185,1116,85,1,165,291,2480,1907,66,689,2333,553,4645,494,1736,202,
245,409,534,3352,674,5,6092,795,308,3622,306,2732,126,143,281,262,91,1936,621,5671,
1587,3150,691,829,55,1560,197,1271,6276,2203,1132,908,510,901,5570,1558,1050,368,3093,127,
2040,1131,283,430,332,1629,2388,106,3792,151,99,615,462,515,994,1379,2705,2479,2456,2007,
0,0,82,103,122,1097,1419,274,308,3224,2344,933,1268,4157,2525,1579,419,1351,3109,3759,
95,4479,4477,132,6232,746,466,1893,745,1021,10,1959,1386,370,33,668,740,411,1338,13,
65,1560,346,29,610,552,1357,954,42,188,3933,216,27,37,1600,718,937,1966,650,844,
1091,130,6534,1375,57,1385,655,6495,2394,989,763,1529,2007,5447,3128,46,3283,1426,4577,0,
174,2027,1522,1512,86,571,0,1140,5970,534,151,66,2361,6052,2883,6441,1215,35,673,4998,
348,1226,303,214,412,685,95,449,1169,2086,1656,46,5,669,166,3288,5592,1435,75,1364,
2093,1423,2492,1045,54,1953,1955,4781,1328,434,32,29,1596,2162,1178,4746,311,195,82,862,
349,107,1516,1234,6726,1629,1893,9,3490,38,3861,104,4432,2681,187,394,293,786,3011,579,
1874,1161,605,636,1521,646,5777,20,556,438,291,969,779,1025,703,2305,1232,1220,2431,32,
1817,431,1554,332,62,102,15,8063,1837,347,24,88,858,365,1123,281,567,51,3348,1808,
1828,1021,1146,5963,125,2234,159,2110,149,231,4396,1235,7333,337,3937,6,28,2141,1646,4600,
71,1540,617,1268,17,375,3218,1419,1463,2206,1931,97,2319,3327,4348,2118,497,536,1777,1719,
6,1263,343,1574,1559,80,774,1125,2060,297,112,5538,621,1691,580,27,1626,1084,129,255,
345,939,192,45,2196,1527,198,328,1931,568,5915,168,66,1759,1965,25,1026,34,1160,2350,
1396,880,200,1065,6440,8003,27,795,1587,375,5333,145,967,824,107,136,441,5361,94,2360,
1097,5560,1796,2897,224,578,10,411,2186,5316,632,1771,88,3533,494,418,520,293,258,1473,
185,26,1800,4084,75,983,821,22,3201,469,488,1073,3,4716,2032,469,521,523,4496,3303,
10,1653,124,531,529,2248,873,6134,666,2246,392,18,1901,3735,110,5122,602,284,367,439,
32,24,47,551,204,117,421,1311,103,2917,494,192,161,959,45,5243,2095,3086,558,2262,
211,1345,121,621,55,144,1092,1539,2505,367,1304,626,370,1206,37,178,1105,807,119,78,
5463,412,1645,1263,1933,588,27,1404,1722,187,2806,828,2092,130,64,1785,1657,4902,72,3575,
2311,510,1173,2075,1448,201,1807,154,1038,4824,5007,832,2326,549,1293,1014,0,1837,1160,70,
1312,943,121,1939,1877,1198,3133,64,3246,160,611,212,197,699,156,13,4032,549,401,355,
4399,18,273,328,5284,1706,87,3100,2089,35,3409,1226,1147,3240,95,1248,1767,572,5187,440,
68,3854,554,44,1160,3517,354,96,711,172,1525,4772,93,1041,710,87,1250,2749,219,35,
38,29,3050,158,1852,55,855,999,400,3173,147,47,327,731,896,6453,307,305,1723,473,
274,44,3062,1525,3,3064,1772,796,807,2787,194,1948,364,3141,2080,151,28,2509,4785,1512,
14,171,186,258,1142,258,5991,783,71,3973,680,5701,3268,4220,47,381,3004,1276,1220,448,
167,1641,950,32,5642,2557,4967,148,331,1153,1416,1883,826,763,656,792,722,98,135,2035,
139,3123,5745,1426,105,682,3848,129,2570,761,117,42,906,469,1950,47,1062,90,500,4356,
158,1638,1067,5412,2844,1467,3338,5084,457,289,25,649,693,1961,342,2002,12,2709,555,2973,
763,1641,4419,356,614,2825,94,200,484,153,2403,712,3556,882,66,16,760,1874,1687,1382,
502,240,1551,1853,907,857,27,621,3395,241,547,105,436,166,323,3,117,1138,4625,1643,
162,1282,661,52,850,1242,883,2880,347,206,1045,1773,222,1289,6330,48,1405,2165,251,178,
332,1367,973,2,3198,48,253,8,151,598,1376,3344,2409,0,46,468,1701,2219,617,3513,
43,2295,1146,3020,1596,196,7,141,2817,21,555,39,428,144,1034,312,365,2836,34,204,
1660,86,267,383,822,857,4626,666,865,18,1745,3124,3024,199,167,29,166,2096,451,2678,
250,4210,336,1077,165,1086,888,196,615,458,556,98,44,78,2702,45,5699,775,3094,1409,
2251,28,234,1142,444,2441,1548,3,435,3433,125,2769,1032,376,382,7171,1711,5449,6066,2697,
821,1892,2137,22,1556,474,6065,2593,211,2415,248,129,2604,2118,1420,44,2410,5,2467,5681,
38,2751,1212,0,910,234,1455,55,1176,926,370,864,3064,313,8199,435,17,892,1612,155,
2356,304,564,5643,207,112,569,29,391,397,640,2070,4701,282,1831,2569,394,343,656,50,
240,1684,65,406,2631,103,0,7283,841,16,5,1009,2273,46,643,157,55,151,6352,2126,
472,1077,1157,39,2254,1862,461,180,830,2345,2089,3986,6869,459,611,864,918,283,486,98,
4074,1037,844,87,13,1832,4845,701,283,281,695,3538,12,893,111,125,57,4464,1633,2727,
192,2710,130,28,1380,1312,1665,275,125,372,138,4,61,82,603,3618,181,4737,2210,942,
3069,437,327,641,160,861,7,939,285,860,767,68,104,1983,1845,2151,1885,1536,1213,169,
455,1597,2574,540,2466,28,1458,839,277,6723,375,2271,1287,3585,40,279,6318,43,1130,853,
5416,4603,630,5094,150,622,210,282,226,85,7349,3411,7489,1516,448,3735,0,2517,225,170,
53,674,1059,440,393,195,45,843,2,167,2464,178,3788,2013,803,961,29,1086,143,127,
361,5260,709,3050,102,222,59,76,922,37,330,4802,1333,731,1083,1176,1825,725,1946,12,
5086,320,4935,6268,499,1176,518,3,983,1011,62,4018,1475,3213,418,376,843,553,1032,3837,
3051,253,538,2948,825,45,671,176,250,2275,178,1754,248,58,1758,1982,292,1315,2346,41,
382,89,1992,995,3041,88,2316,1146,689,3880,53,465,5728,284,189,866,27,2968,636,105,
617,427,39,1491,329,24,3228,448,790,57,27,2567,1966,178,399,231,2173,2522,5179,519,
1068,3160,6600,978,4,45,2201,945,79,726,115,2896,666,1294,2008,451,1370,111,125,126,
348,40,211,1102,283,810,649,936,488,259,498,122,1529,269,171,2049,1444,1319,229,2679,
1638,285,2340,8266,1168,2377,1544,83,132,350,148,4192,1435,1456,54,648,440,198,25,119,
3693,508,275,45,2293,174,3031,1029,37,213,4555,11,2511,40,3465,183,778,1787,263,710,
3164,464,15,958,118,47,1548,136,189,406,459,443,1861,219,356,306,1891,2047,585,60,
599,153,722,467,39,14,1064,10,369,1004,219,26,1010,1696,5481,2989,265,4877,42,3024,
2339,1494,424,430,668,2878,285,483,481,283,235,4657,94,1874,1566,818,1545,1264,1905,198,
4169,164,1001,1964,486,656,1117,595,1860,46,1059,1580,1966,799,482,241,184,393,1007,1285,
2815,69,2903,388,7649,197,266,202,429,875,1169,841,347,2632,577,833,3042,3601,178,1981,
28,1143,268,2785,83,52,1362,1026,13,537,927,5,175,1993,1869,885,256,619,6954,227,
1084,2247,491,240,2738,808,812,320,83,1,1582,2011,896,611,1247,290,171,153,546,72,
285,25,2423,487,400,640,3195,632,149,614,1293,2038,1026,5,1565,200,382,1336,576,262,
1037,64,1,1072,1838,139,1066,153,160,1575,67,691,604,1904,9,656,148,631,702,421,
6652,724,2871,2041,629,627,225,4425,4935,844,626,297,180,718,620,1624,46,2,4,24,
580,68,465,1420,908,1564,229,381,1741,3066,449,4,850,582,45,2006,772,879,898,32,
924,2658,3758,63,221,394,24,156,2367,3393,337,604,4994,1123,623,1466,33,165,326,462,
797,3279,789,29,59,232,3868,907,0,371,629,13,3627,2892,327,1042,623,570,141,58,
5524,766,1025,433,711,2454,326,217,161,583,4164,961,124,1586,238,6280,720,28,860,2985,
1006,2430,574,1076,161,130,5469,698,654,587,473,179,1133,540,186,3354,441,35,796,1625,
2335,677,2278,518,19,57,969,4460,151,228,1192,201,696,2895,3236,73,2981,22,259,59,
605,466,3607,872,43,110,3645,441,175,1523,388,175,9,1223,179,1739,26,9,714,112,
360,1192,1796,622,718,2506,1561,545,3704,6219,14,1399,1572,2969,537,104,1141,684,1432,406,
1038,457,317,5362,238,2493,2211,976,3957,1393,2882,3262,6,4115,3601,65,107,585,12,36,
1599,236,57,3469,138,342,47,816,1449,1484,2106,672,372,173,486,520,2693,859,164,181,
1031,345,953,1106,3256,1368,442,252,499,235,0,6051,3,719,283,576,2109,5023,2653,518,
1861,148,55,618,71,1548,697,292,3475,404,8216,383,3089,232,16,370,945,1330,7494,137,
3825,1021,470,4109,37,109,5710,98,1597,158,4057,1406,733,4012,330,142,84,159,1886,110,
643,367,1568,4466,1291,254,3984,21,585,3950,2581,1134,1437,1789,15,582,385,2518,206,1189,
18,2527,8100,1465,5631,376,260,84,738,4390,750,3297,939,3897,996,808,651,1392,836,4017,
2768,2204,512,3306,2397,3013,287,2863,34,2996,658,2830,459,657,134,3653,1884,994,594,6610,
740,510,544,36,72,82,204,40,724,216,5066,1935,310,3596,869,3708,1128,786,170,771,
27,3,908,211,1151,2655,3057,112,589,29,3775,919,154,6591,1083,590,270,5528,4603,2452,
735,1356,959,106,2107,2060,293,345,236,29,3850,1907,1366,328,3090,40,2872,1519,66,71,
7515,1203,65,372,1398,14,2811,2112,1802,5479,582,761,1297,60,1313,147,1432,558,596,1027,
1600,2986,1200,5499,375,7784,261,157,194,1370,5748,3073,816,527,2595,564,1334,620,451,4396,
674,49,586,458,1056,611,686,343,4075,535,29,2301,4368,1619,7,137,314,2670,7298,628,
117,411,223,202,211,20,1788,102,209,776,2434,2393,134,1212,2,695,74,4292,751,4,
514,1022,469,1768,2791,1352,631,343,1650,649,1911,149,436,1639,3273,920,6599,724,647,5019,
54,467,1800,328,860,2533,966,589,742,98,1177,3329,193,26,109,154,44,995,4693,1190,
717,308,380,44,407,1794,4114,151,70,1521,1121,322,1035,3181,1847,5852,3611,1608,880,1329,
93,52,480,191,47,113,635,1687,11,435,370,4406,3097,1214,2303,1603,5204,703,149,460,
253,70,250,126,1866,65,135,1276,625,841,887,57,323,883,42,365,495,471,2729,215,
207,134,100,1420,525,193,61,2905,810,731,915,239,5322,2027,2076,884,1908,1475,680,362,
1563,913,38,73,7361,72,117,2275,1770,2369,0,1968,203,839,278,2882,491,210,2189,2052,
238,360,228,247,845,2160,663,348,171,1,126,45,86,582,957,758,4357,1520,553,965,
667,5,181,147,921,5610,1398,1888,846,163,85,723,1127,1588,8,0,311,507,350,394,
3192,568,323,2539,125,1224,102,600,4254,797,4997,1059,6098,297,7325,1,465,6001,1614,33,
306,130,3761,1382,2790,792,922,157,5678,3314,1,350,3532,751,1949,356,29,174,2009,3,
280,991,2695,45,332,338,1978,116,367,255,1983,1360,2745,347,4988,324,232,1570,814,177,
2701,3263,2276,563,1376,718,1085,149,2719,0,2406,2103,907,263,5802,5962,15,2,8,1275,
2751,198,229,1555,2417,840,741,50,2786,1539,308,264,503,1102,5538,1151,917,2879,124,1835,
629,235,10,800,212,243,800,923,1779,1761,1,3474,847,8,485,1490,106,962,346,1774,
139,172,589,3915,152,1355,929,3121,172,22,1780,4647,88,282,889,721,251,1227,573,549,
540,120,305,2176,504,358,1120,2199,163,346,453,518,49,3260,400,3074,291,531,83,202,
35,1150,2960,1537,174,1200,4357,1968,35,28,24,1794,768,222,3003,1433,1458,528,3470,1117,
76,1005,20,311,1,938,1712,57,2518,172,111,323,147,3,100,4167,2247,1108,559,3209,
2,501,4634,2969,2580,3,1328,1022,252,714,5913,438,337,2225,137,168,3449,3,2352,952,
262,3637,1489,2121,1385,1319,448,1647,202,311,320,3709,62,61,752,497,189,4238,5678,225,
8287,1540,110,700,565,210,2264,453,186,3627,978,928,6471,66,2304,9,62,6,732,22,
97,677,872,951,2591,1128,802,294,284,486,5222,832,488,2135,2253,275,99,484,2,2896,
55,911,342,453,99,3546,1611,166,414,35,4693,2196,3497,2182,8929,336,785,1129,12,356,
175,83,149,2298,112,16,22,188,3295,2768,32,120,40,521,235,634,5712,1238,1889,925,
734,430,6,100,799,47,741,3262,37,551,1762,734,4055,870,1708,19,2072,1875,621,8,
330,52,1872,686,3826,123,4316,1253,63,1362,2954,248,264,934,335,2964,820,901,673,422,
257,3971,4966,585,213,2079,899,1066,69,833,5293,768,300,1164,846,1339,49,2,812,730,
0,3337,712,1984,2195,102,338,193,6675,2254,598,1305,541,240,2301,256,1166,761,636,320,
1457,5824,726,19,1250,110,648,1021,435,1876,3921,1190,469,1059,160,743,1239,188,185,1980,
599,146,515,1477,4770,51,706,3282,1130,872,3003,497,4201,1712,859,103,1315,3075,1905,12,
9,103,92,2978,6644,185,2070,103,32,1879,1084,529,35,585,40,2392,90,1337,634,6537,
387,47,91,973,10,293,1059,1297,471,666,1180,4534,2875,609,199,1543,3800,116,707,669,
2685,1576,374,9,414,4,1670,807,829,2027,0,162,1284,1449,32,433,917,4,37,812,
976,1006,826,881,37,393,446,1361,106,5297,2001,4358,124,666,1824,6773,1649,1471,836,23,
2312,886,1175,16,331,7151,32,1960,336,241,718,184,1581,171,157,121,2841,71,82,154,
119,376,697,5922,2241,15,1819,1786,826,914,983,5319,100,597,61,46,111,3102,1635,3010,
700,3046,665,1370,0,1069,73,858,408,660,373,2421,831,1024,2340,58,119,801,18,2809,
252,596,1259,143,4790,836,871,885,192,266,377,113,2659,12,1520,1825,948,1541,132,109,
301,27,875,1114,14,810,3731,2518,273,205,453,11,2049,5092,749,232,3719,610,259,3014,
1869,280,175,40,205,488,505,1646,784,186,3325,1609,3639,1066,237,235,29,167,55,295,
180,7,463,65,85,13,1345,2795,538,758,40,4891,2610,450,1123,464,19,2384,120,337,
6880,2851,64,595,84,1740,110,2759,293,816,1125,913,778,1458,698,1072,3,3223,150,521,
429,136,109,1097,3348,619,1029,3430,800,810,1875,583,1086,793,113,870,8028,538,2720,1478,
76,392,2988,6334,1134,31,2394,78,930,80,923,2955,247,185,4907,423,1237,1268,41,1957,
194,3909,386,603,517,1353,1211,8,1762,721,87,391,1010,428,600,1248,763,1225,4830,2574,
1771,52,1140,3322,31,4976,923,37,72,2521,301,714,264,6392,1027,158,3503,451,977,174
};
void count_3d(int n, const unsigned *x, const unsigned *y, const unsigned *z, unsigned *out) {
  (void)x; (void)y; (void)z;
  int m = n < 10000 ? n : 10000;
  for (int i = 0; i < m; i++) out[i] = A[i];
}

评测结果