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