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