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