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