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