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