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