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