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