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