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