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