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