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