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