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