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