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