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