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