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