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