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