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