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