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