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