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