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