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