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