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