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