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