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