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