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