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