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