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