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