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