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