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