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