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