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