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