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