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