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