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