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