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