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