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