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