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