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