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