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