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