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