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