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