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