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