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