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