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