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