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