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