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