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