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