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