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