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