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