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