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