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