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