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