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