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