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