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