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