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