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