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