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