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