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