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