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