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