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