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