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