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