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