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