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