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