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