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