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