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