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