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