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