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