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