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