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