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