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