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