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