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