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