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