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