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