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