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