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