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