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