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