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