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