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