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