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