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