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