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