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