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