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