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