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