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