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