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