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