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