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