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