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