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