[[0,1,2,3,4,5,7,8,10,11,12,13,47,49,52,56,67,69,73,75,76,77,83,88,89,90,92,93,129,136,143,145,148,153,154,156,157,158,187,202,206,207,208,209,210,211,214,246,247,250,252,253,254,255,259,267,269,270,280,344,345,378,392,442,443,444,445,447,493,496,498,511,514,520,528,529,530,531,532,533,535,536,537,538,539,540,541,542,569,570,571,574,576,578,579,583,586,588,592,602,664,665,666,667,668,669,670,671,672,673,693,695,700,710,713,720,784,785,786,789,790,793,824,826,835,838,844,846,849,851,916,917,919,920,921,923,924,946,959,960,1007,1017,1022],[6,9,14,15,16,18,19,20,46,63,64,65,68,70,85,86,91,94,96,97,98,122,128,131,132,134,152,155,159,161,162,185,192,197,212,213,215,216,218,219,251,261,272,274,276,346,421,422,424,430,449,453,489,491,492,497,499,501,506,510,512,515,517,518,523,525,534,546,547,572,577,585,597,603,604,605,606,607,608,610,611,612,613,636,642,648,651,652,653,654,661,662,674,676,677,678,679,701,707,787,788,791,794,795,796,806,830,832,836,841,842,847,853,854,862,863,866,868,893,907,914,918,922,925,928,929,950,952,963,964,977,1003,1008,1010],[17,21,22,23,60,61,80,95,100,104,125,140,146,149,160,163,164,166,168,184,196,203,217,220,248,258,262,265,279,283,284,290,347,348,349,351,377,387,388,389,390,393,394,396,397,398,420,433,434,439,446,448,450,454,455,456,457,460,461,485,490,521,526,543,544,545,549,550,584,587,601,609,615,616,634,641,644,646,657,675,680,682,714,722,723,724,732,755,759,773,778,792,807,812,813,815,816,825,845,864,865,867,870,904,911,913,926,927,930,931,932,933,951,955,956,971,972,975,976,978,980,981],[24,25,26,29,30,31,32,54,99,101,102,107,130,133,142,144,151,165,167,169,190,193,195,221,223,224,225,245,256,260,266,271,273,278,282,285,296,318,321,337,341,343,370,373,381,395,399,400,401,402,404,405,419,423,425,427,429,431,436,437,438,440,441,451,452,459,462,466,467,472,486,487,488,508,522,548,566,567,568,582,590,594,595,614,619,635,658,660,681,683,705,721,726,727,728,729,730,733,760,762,772,780,797,810,811,817,818,829,837,855,869,874,877,878,903,912,915,936,937,938,948,962,970,973,974,983,984,987,999,1009,1013,1014],[44,51,62,74,103,105,109,111,123,124,170,171,173,186,222,226,227,228,229,230,233,249,268,281,286,287,288,289,291,316,319,322,328,335,338,350,352,353,354,355,374,376,379,406,408,409,410,417,426,428,432,458,463,465,468,469,471,476,503,504,516,519,524,554,557,591,593,596,599,600,617,618,620,621,655,684,685,686,699,725,735,758,763,765,766,770,777,782,800,808,820,821,839,859,860,861,871,872,873,879,891,898,906,909,934,935,979,985,990,1002,1011,1020,1021],[27,28,36,45,57,58,59,106,110,116,126,127,139,150,174,181,182,194,201,205,231,232,236,237,257,263,264,275,292,293,294,295,299,301,302,324,326,329,330,333,339,356,357,360,384,403,413,418,464,473,474,477,478,481,494,527,551,552,553,555,556,558,559,575,625,663,687,688,689,731,739,742,744,745,774,776,783,798,799,801,802,809,814,819,827,831,843,848,882,889,890,895,899,900,939,940,986,988,989,1012,1016,1019],[33,34,35,37,38,39,40,108,113,120,121,138,141,175,177,178,189,234,235,238,239,243,277,297,298,303,308,311,312,334,340,342,358,359,361,363,366,386,407,412,414,470,479,483,495,505,507,513,561,580,626,640,643,645,656,659,690,691,740,743,747,751,768,771,775,779,803,828,834,840,850,880,881,886,896,901,905,910,942,943,992,998,1000,1004,1005,1018,1023],[41,42,43,48,50,66,71,72,117,118,147,172,183,204,240,241,242,300,304,305,306,309,310,317,320,331,332,336,362,364,365,411,415,475,480,482,484,500,502,509,560,562,563,581,622,623,624,627,630,638,649,650,719,734,736,737,738,746,749,750,752,753,767,781,875,884,885,892,941,982,991,993,997,1001,1006,1015],[176,179,188,199,200,244,307,315,323,325,327,416,435,564,573,589,598,629,639,647,692,698,703,706,708,712,717,741,756,757,804,876,888,894,897,902,947,996],[82,112,115,137,180,191,198,314,367,565,628,631,637,718,748,754,857,908,949,958,967,969,994],[78,84,114,313,369,632,694,716,769,805,822,883,887,945,954,957,965,995],[55,79,81,119,135,375,382,385,633,953],[53,702,709,761,764,968],[87,383],[368,371,391,961,966],[372,711,715,944],[380,696,704],[697],[823,833,852,856,858]]