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