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