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