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