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