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