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