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