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