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