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