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