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