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