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