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