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