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