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