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