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