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