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