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