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