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