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