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