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