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