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