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