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