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