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