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