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