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