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