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