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