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