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