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