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