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