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