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