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