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