result(1,2,4,84,6445,284,2,3706,0.042004,6445,0.008001,none,none).
result(2,2,4,90,7195,287,2,4576,0.039004,7195,0.009001,none,none).
result(3,2,4,90,7195,287,2,4576,0.040004,7195,0.008001,none,none).
result(4,2,4,2050,3932964,737,8,3885112,0.154016,3932964,0.182018,none,none).
result(5,3,3,31,2315619,824059,52,420,140.277465,2315619,13.154844,none,none).
result(6,3,3,5600,29403894,1050,16,29254992,0.191019,29403894,0.710062,none,none).
result(7,3,3,13949,92649163,467,7,92440736,0.069006,92649163,0.630015,none,none).
result(8,3,3,2050,3932964,737,8,3885112,0.145003,3932964,0.180004,none,none).
result(9,3,3,36089,310341163,859,17,310094944,0.125002,310341163,3.025193,none,none).
result(10,3,3,32213,544884219,739,8,544398352,0.146006,544884219,1.577070,none,none).
result(11,3,3,43925,digits(10),1248,14,digits(10),0.271023,digits(10),4.860339,none,none).
result(12,3,3,107900,digits(10),872,14,digits(10),0.201020,digits(10),5.093415,none,none).
result(13,3,3,43925,digits(10),1258,14,digits(10),0.271027,digits(10),5.089494,none,none).
result(14,3,3,1525688,digits(12),1305,29,digits(12),0.346034,digits(12),74.854678,digits(12),0.278007).
result(15,3,3,2950149,digits(13),827,13,digits(13),0.130003,digits(12),73.872101,digits(13),0.130003).
result(16,3,3,95524079,digits(16),1149,17,digits(16),0.190004,digits(12),73.371905,digits(13),0.140003).
result(17,3,3,374676383,digits(18),4520,60,digits(18),0.700015,digits(12),77.251089,digits(12),0.443027).
result(18,5,2,4098,47176870,526,11,47010381,0.122009,47176870,0.399023,none,none).
result(19,5,2,4098,11798826,510,10,11695761,0.071001,11798826,0.209005,none,none).
result(20,5,2,4097,23554764,1456,74,23480937,0.275008,19988787,77.403831,23468894,0.273015).
result(21,5,2,4097,11798796,498,10,11721789,0.089007,11798796,0.219015,none,none).
result(22,5,2,4096,11804910,550,9,11686386,0.101007,11804910,0.206014,none,none).
result(23,5,2,4096,11804896,544,9,11686386,0.097009,11804896,0.209016,none,none).
result(24,5,2,1915,2133492,393,4,2076796,0.054003,2133492,0.067006,none,none).
result(25,5,2,1471,2358064,931,41,2312068,0.160011,2358064,6.145467,none,none).
result(26,5,2,501,134467,290,6,121176,0.040001,134467,0.025001,none,none).
result(27,2,5,90604,digits(10),1561,9,digits(10),0.302025,digits(10),8.026611,none,none).
result(28,2,5,64665,digits(10),1283,10,digits(10),0.234016,digits(10),7.557195,none,none).
result(29,2,5,97104,digits(10),1362,17,digits(10),0.210004,digits(10),12.139055,none,none).
result(30,2,5,458357,digits(12),3640,84,digits(12),0.606060,digits(11),77.293729,digits(11),0.581058).
result(31,2,5,668420,digits(12),1879,12,digits(12),0.364036,digits(12),59.307931,none,none).
result(32,2,5,1957771,digits(12),852,12,digits(12),0.130013,digits(12),74.430442,digits(12),0.133013).
result(33,2,5,1137477,digits(12),1559,47,digits(12),0.300030,5999830,76.383474,15516871,0.140003).
result(34,2,5,2576467,digits(13),1836,41,digits(13),0.450009,digits(12),73.920636,digits(12),0.410041).
result(35,2,5,4848239,digits(14),916,32,digits(14),0.248025,digits(12),75.717579,digits(12),0.210005).
result(37,2,5,4099,15754273,958,10,15654122,0.174004,15754273,0.426029,none,none).
result(38,2,5,3685,16268767,765,13,16171476,0.150015,16268767,0.461025,none,none).
result(39,2,5,11120,148304214,947,15,148035978,0.182019,148304214,1.369105,none,none).
result(40,2,5,36543045,digits(15),1685,27,digits(15),0.303022,digits(12),78.985392,digits(12),0.221007).
result(41,2,5,114668733,digits(16),961,18,digits(16),0.159003,digits(12),73.881474,digits(12),0.110002).
result(42,2,5,398005342,digits(17),648,19,digits(17),0.110002,digits(12),71.269433,digits(12),0.070001).
result(43,2,5,620906587,digits(17),919,20,digits(17),0.150003,digits(12),72.850821,digits(13),0.107005).
result(44,2,5,digits(10),digits(18),815,20,digits(18),0.145003,digits(12),72.603294,digits(12),0.085001).
result(45,2,5,digits(10),digits(18),823,20,digits(18),0.150003,digits(12),72.110442,digits(12),0.090002).
result(46,2,5,digits(12),digits(22),862,26,digits(22),0.156003,digits(12),72.709903,digits(13),0.082008).
result(47,2,5,digits(31),digits(62),8587,168,digits(62),1.739172,digits(12),76.798458,digits(12),0.250005).
result(48,2,5,digits(106),digits(212),24367,593,digits(212),4.535095,digits(12),75.459535,digits(12),0.208008).
result(49,2,5,digits(106),digits(212),26169,593,digits(212),4.798173,digits(12),75.951122,digits(12),0.225013).
result(50,2,5,digits(353),digits(705),81738,1993,digits(705),15.202690,digits(12),78.160767,digits(12),0.198006).
result(51,6,2,136612,digits(11),1498,15,digits(11),0.247016,digits(11),7.861305,none,none).
result(52,6,2,95524079,digits(16),1514,16,digits(16),0.232010,digits(12),78.609499,digits(13),0.171017).
result(53,6,2,17485734,digits(14),1929,25,digits(14),0.296030,digits(12),80.217079,digits(13),0.249005).
result(54,6,2,36109969,digits(16),2256,83,digits(16),0.377015,39940703,76.129891,173556244,0.167003).
result(55,6,2,36109970,digits(15),1000,14,digits(15),0.150003,digits(13),77.639573,digits(14),0.125003).
result(56,6,2,digits(10),digits(20),5817,215,digits(20),1.108022,19943326,77.259563,29765228,0.260006).
result(57,6,2,digits(11),digits(21),1734,21,digits(21),0.255005,digits(13),77.495046,digits(14),0.142003).
result(58,6,2,digits(14),digits(26),2155,27,digits(26),0.320006,digits(13),76.992571,digits(14),0.138003).
result(59,6,2,digits(14),digits(28),12634,408,digits(28),2.246045,39848493,79.987611,57854154,0.420008).
result(60,6,2,digits(20),digits(38),4197,153,digits(38),0.727014,54760346,76.577663,252160142,0.110003).
result(61,6,2,digits(22),digits(43),33228,1075,digits(43),5.732115,39839230,81.065669,43619704,0.568012).
result(62,6,2,digits(48),digits(96),20493,643,digits(96),3.546073,48524764,77.407586,92937448,0.200004).
result(63,6,2,digits(48),digits(96),19203,641,digits(96),3.322067,32668321,82.845122,41281924,0.170004).
result(64,6,2,digits(50),digits(99),28242,380,digits(99),4.605093,digits(12),79.832619,digits(12),0.420009).
result(65,6,2,digits(61),digits(120),12321,332,digits(120),1.880038,digits(13),76.501544,digits(13),0.155003).
result(66,6,2,digits(50),digits(100),29547,389,digits(100),4.787096,digits(12),77.903683,digits(12),0.415008).
result(67,6,2,digits(463),digits(926),265475,12330,digits(926),52.018051,19932648,73.937683,25237532,0.540011).
result(68,6,2,digits(866),digits(1731),244643,14334,digits(1731),48.224977,22225873,75.711653,39845896,0.140002).
result(69,6,2,digits(882),digits(1763),288760,2211,digits(1763),44.477926,digits(13),77.091567,digits(13),0.230004).
result(70,6,2,digits(1440),digits(2880),406270,8167,digits(2880),65.157415,digits(12),80.835637,digits(12),0.195004).
result(71,6,2,digits(10567),digits(21133),1927565,99697,digits(21133),456.053481,19959284,76.627976,36213129,0.126012).
result(72,6,2,digits(18268),digits(36535),6195809,30345,digits(36535),1154.025929,digits(12),79.128331,digits(13),0.481010).
result(73,3,4,17323,262759288,379583,17778,122527994,65.830704,50789361,98.933380,50798489,28.617841).
result(74,3,4,digits(27),digits(53),9187,358,digits(53),1.980049,6005442,73.572346,11408546,0.180003).
result(75,3,4,digits(141),digits(282),50694,801,digits(282),9.433252,digits(12),76.519011,digits(12),0.434020).
result(76,3,4,digits(435),digits(869),103962,3493,digits(869),21.687896,19983565,80.354874,55369106,0.120002).
result(77,3,4,digits(629),digits(1257),168263,1488,digits(1257),33.004699,digits(12),76.205520,digits(12),0.320007).
result(78,3,4,digits(1302),digits(2602),96341,2163,digits(2602),18.780774,digits(13),71.213025,digits(14),0.100002).
result(79,3,4,digits(2356),digits(4711),3178530,107045,digits(4711),559.231362,11974138,75.921781,12292474,0.455009).
result(80,3,4,digits(2373),digits(4745),944360,13465,digits(4745),156.745699,digits(12),74.228645,digits(12),0.252005).
result(81,3,4,digits(6519),digits(13037),731258,13667,digits(13037),140.718864,digits(12),71.510284,digits(13),0.165004).
result(82,4,3,15008,250096775,1594,27,249578940,0.367007,250096775,1.938039,none,none).
result(83,4,3,digits(714),digits(1427),375816,20051,digits(1427),68.385737,13319120,72.582484,17502670,0.205004).
result(84,4,3,digits(810),digits(1619),924926,34272,digits(1619),167.450528,6264241,74.348503,8863780,0.445009).
result(85,4,3,digits(987),digits(1974),497189,7887,digits(1974),92.184085,digits(12),72.276552,digits(12),0.395009).
result(86,4,3,digits(3861),digits(7722),1759075,44810,digits(7722),313.823705,15567444,75.147580,24601805,0.195004).
result(87,4,3,digits(4562),digits(9123),1511192,25943,digits(9123),295.552495,digits(12),77.066427,digits(12),0.260005).
result(88,4,3,digits(4932),digits(9864),1524523,57368,digits(9864),300.733298,19934942,81.676160,37620302,0.156016).
result(89,4,3,digits(6035),digits(12069),1319358,34262,digits(12069),224.817480,digits(12),75.486583,digits(12),0.155003).
result(90,4,3,digits(7037),digits(14073),1695880,25255,digits(14073),300.143108,digits(12),74.428014,digits(13),0.205004).
result(91,4,3,digits(7037),digits(14073),1695879,25255,digits(14073),315.791993,digits(12),73.106467,digits(13),0.211004).
result(92,2,6,10574,94842383,948,11,94674070,0.220005,94842383,1.231024,none,none).
result(93,2,6,10249,98364599,712,13,98206675,0.175004,98364599,1.042021,none,none).
result(94,2,6,15828,493600387,1263,15,492945078,0.250005,493600387,2.825056,none,none).
result(95,2,6,digits(28),digits(55),5059,149,digits(55),1.010021,digits(12),74.711550,digits(12),0.183018).
result(96,2,6,digits(822),digits(1644),139554,2733,digits(1644),31.661165,digits(12),77.378737,digits(13),0.257026).
result(97,2,6,digits(4932),digits(9864),1083249,49142,digits(9864),201.361047,13328142,77.737839,48673870,0.113008).
result(98,2,6,digits(4934),digits(9867),770686,16394,digits(9867),156.336990,digits(12),72.784553,digits(13),0.245005).
result(99,7,2,22961,197700005,241,8,197585144,0.065001,197700005,1.310027,none,none).
result(100,8,2,digits(45),digits(90),2670,94,digits(90),1.466029,digits(12),71.636496,digits(13),0.140002).