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