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