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