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