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