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