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