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