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