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