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