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