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