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