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