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