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