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