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