# survivors whose span covers the branches this card's gates pin (mutmut artifacts, 2026-09-18)
== 'warnings.append("W_FIT_ESTIMATED")' at mutants-copy line(s) [17894, 17961, 18028, 18095, 18162, 18229, 18296, 18363, 18430, 18497, 18564, 18631, 18698, 18765, 18832, 18899, 18965, 19031, 19098, 19165, 19232, 19299, 19366, 19433, 19500, 19567, 19634, 19701, 19768, 19835, 19902, 19969, 20036, 20103, 20170, 20237, 20304, 20371, 20438, 20505, 20572, 20639, 20706, 20773, 20840, 20907, 20974, 21041, 21108, 21175, 21242, 21309, 21376, 21443, 21510, 21577, 21644, 21710, 21777, 21844, 21911, 21978, 22045, 22112, 22179, 22245, 22312, 22379, 22446, 22513, 22580, 22647, 22714, 22781, 22848, 22915, 22982, 23049, 23116, 23183, 23250, 23317, 23384, 23451, 23518, 23585, 23652, 23719, 23786, 23853, 23920, 23987, 24054, 24121, 24188, 24253, 24320, 24387, 24454, 24521, 24587, 24654, 24721, 24788, 24855, 24922, 24989, 25056, 25123, 25189, 25256, 25323, 25390, 25457, 25524, 25591, 25658, 25723, 25790, 25857, 25924, 25991, 26058, 26125, 26192, 26259, 26326, 26393, 26460, 26527, 26594, 26661, 26728, 26795, 26862, 26929, 26996, 27063, 27130, 27196, 27263, 27330, 27397, 27464, 27531, 27598, 27665, 27732, 27799, 27866, 27933, 28000, 28067, 28134, 28201, 28268, 28335, 28402, 28469, 28536, 28603, 28670, 28737, 28804, 28871, 28936, 29003, 29070, 29338, 29405, 29472, 29539, 29606, 29673, 29740, 29807, 29874, 29941, 30008, 30075, 30142, 30209, 30276, 30343, 30410, 30477, 30544, 30610, 30677, 30743, 30810, 30877, 30943, 31010, 31077, 31143, 31210, 31276, 31343, 31409, 31476, 31543, 31610, 31677, 31744]
   line 17894: 0 mutants, 0 survived, 0 unrun
   line 17961: 1 mutants, 0 survived, 1 unrun
   line 18028: 1 mutants, 0 survived, 1 unrun
   line 18095: 1 mutants, 0 survived, 1 unrun
   line 18162: 1 mutants, 0 survived, 1 unrun
   line 18229: 1 mutants, 0 survived, 1 unrun
   line 18296: 1 mutants, 0 survived, 1 unrun
   line 18363: 1 mutants, 0 survived, 1 unrun
   line 18430: 1 mutants, 0 survived, 1 unrun
   line 18497: 1 mutants, 0 survived, 1 unrun
   line 18564: 1 mutants, 0 survived, 1 unrun
   line 18631: 1 mutants, 0 survived, 1 unrun
   line 18698: 1 mutants, 0 survived, 1 unrun
   line 18765: 1 mutants, 0 survived, 1 unrun
   line 18832: 1 mutants, 0 survived, 1 unrun
   line 18899: 1 mutants, 0 survived, 1 unrun
   line 18965: 1 mutants, 0 survived, 1 unrun
   line 19031: 1 mutants, 0 survived, 1 unrun
   line 19098: 1 mutants, 0 survived, 1 unrun
   line 19165: 1 mutants, 0 survived, 1 unrun
   line 19232: 1 mutants, 0 survived, 1 unrun
   line 19299: 1 mutants, 0 survived, 1 unrun
   line 19366: 1 mutants, 0 survived, 1 unrun
   line 19433: 1 mutants, 0 survived, 1 unrun
   line 19500: 1 mutants, 0 survived, 1 unrun
   line 19567: 1 mutants, 0 survived, 1 unrun
   line 19634: 1 mutants, 0 survived, 1 unrun
   line 19701: 1 mutants, 0 survived, 1 unrun
   line 19768: 1 mutants, 0 survived, 1 unrun
   line 19835: 1 mutants, 0 survived, 1 unrun
   line 19902: 1 mutants, 0 survived, 1 unrun
   line 19969: 1 mutants, 0 survived, 1 unrun
   line 20036: 1 mutants, 0 survived, 1 unrun
   line 20103: 1 mutants, 0 survived, 1 unrun
   line 20170: 1 mutants, 0 survived, 1 unrun
   line 20237: 1 mutants, 0 survived, 1 unrun
   line 20304: 1 mutants, 0 survived, 1 unrun
   line 20371: 1 mutants, 0 survived, 1 unrun
   line 20438: 1 mutants, 0 survived, 1 unrun
   line 20505: 1 mutants, 0 survived, 1 unrun
   line 20572: 1 mutants, 0 survived, 1 unrun
   line 20639: 1 mutants, 0 survived, 1 unrun
   line 20706: 1 mutants, 0 survived, 1 unrun
   line 20773: 1 mutants, 0 survived, 1 unrun
   line 20840: 1 mutants, 0 survived, 1 unrun
   line 20907: 1 mutants, 0 survived, 1 unrun
   line 20974: 1 mutants, 0 survived, 1 unrun
   line 21041: 1 mutants, 0 survived, 1 unrun
   line 21108: 1 mutants, 0 survived, 1 unrun
   line 21175: 1 mutants, 0 survived, 1 unrun
   line 21242: 1 mutants, 0 survived, 1 unrun
   line 21309: 1 mutants, 0 survived, 1 unrun
   line 21376: 1 mutants, 0 survived, 1 unrun
   line 21443: 1 mutants, 0 survived, 1 unrun
   line 21510: 1 mutants, 0 survived, 1 unrun
   line 21577: 1 mutants, 0 survived, 1 unrun
   line 21644: 1 mutants, 0 survived, 1 unrun
   line 21710: 1 mutants, 0 survived, 1 unrun
   line 21777: 1 mutants, 0 survived, 1 unrun
   line 21844: 1 mutants, 0 survived, 1 unrun
   line 21911: 1 mutants, 0 survived, 1 unrun
   line 21978: 1 mutants, 0 survived, 1 unrun
   line 22045: 1 mutants, 0 survived, 1 unrun
   line 22112: 1 mutants, 0 survived, 1 unrun
   line 22179: 1 mutants, 0 survived, 1 unrun
   line 22245: 1 mutants, 0 survived, 1 unrun
   line 22312: 1 mutants, 0 survived, 1 unrun
   line 22379: 1 mutants, 0 survived, 1 unrun
   line 22446: 1 mutants, 0 survived, 1 unrun
   line 22513: 1 mutants, 0 survived, 1 unrun
   line 22580: 1 mutants, 0 survived, 1 unrun
   line 22647: 1 mutants, 0 survived, 1 unrun
   line 22714: 1 mutants, 0 survived, 1 unrun
   line 22781: 1 mutants, 0 survived, 1 unrun
   line 22848: 1 mutants, 0 survived, 1 unrun
   line 22915: 1 mutants, 0 survived, 1 unrun
   line 22982: 1 mutants, 0 survived, 1 unrun
   line 23049: 1 mutants, 0 survived, 1 unrun
   line 23116: 1 mutants, 0 survived, 1 unrun
   line 23183: 1 mutants, 0 survived, 1 unrun
   line 23250: 1 mutants, 0 survived, 1 unrun
   line 23317: 1 mutants, 0 survived, 1 unrun
   line 23384: 1 mutants, 0 survived, 1 unrun
   line 23451: 1 mutants, 0 survived, 1 unrun
   line 23518: 1 mutants, 0 survived, 1 unrun
   line 23585: 1 mutants, 0 survived, 1 unrun
   line 23652: 1 mutants, 0 survived, 1 unrun
   line 23719: 1 mutants, 0 survived, 1 unrun
   line 23786: 1 mutants, 0 survived, 1 unrun
   line 23853: 1 mutants, 0 survived, 1 unrun
   line 23920: 1 mutants, 0 survived, 1 unrun
   line 23987: 1 mutants, 0 survived, 1 unrun
   line 24054: 1 mutants, 0 survived, 1 unrun
   line 24121: 1 mutants, 0 survived, 1 unrun
   line 24188: 1 mutants, 0 survived, 1 unrun
   line 24253: 1 mutants, 0 survived, 1 unrun
   line 24320: 1 mutants, 0 survived, 1 unrun
   line 24387: 1 mutants, 0 survived, 1 unrun
   line 24454: 1 mutants, 0 survived, 1 unrun
   line 24521: 1 mutants, 0 survived, 1 unrun
   line 24587: 1 mutants, 0 survived, 1 unrun
   line 24654: 1 mutants, 0 survived, 1 unrun
   line 24721: 1 mutants, 0 survived, 1 unrun
   line 24788: 1 mutants, 0 survived, 1 unrun
   line 24855: 1 mutants, 0 survived, 1 unrun
   line 24922: 1 mutants, 0 survived, 1 unrun
   line 24989: 1 mutants, 0 survived, 1 unrun
   line 25056: 1 mutants, 0 survived, 1 unrun
   line 25123: 1 mutants, 0 survived, 1 unrun
   line 25189: 1 mutants, 0 survived, 1 unrun
   line 25256: 1 mutants, 0 survived, 1 unrun
   line 25323: 1 mutants, 0 survived, 1 unrun
   line 25390: 1 mutants, 0 survived, 1 unrun
   line 25457: 1 mutants, 0 survived, 1 unrun
   line 25524: 1 mutants, 0 survived, 1 unrun
   line 25591: 1 mutants, 0 survived, 1 unrun
   line 25658: 1 mutants, 0 survived, 1 unrun
   line 25723: 1 mutants, 0 survived, 1 unrun
   line 25790: 1 mutants, 0 survived, 1 unrun
   line 25857: 1 mutants, 0 survived, 1 unrun
   line 25924: 1 mutants, 0 survived, 1 unrun
   line 25991: 1 mutants, 0 survived, 1 unrun
   line 26058: 1 mutants, 0 survived, 1 unrun
   line 26125: 1 mutants, 0 survived, 1 unrun
   line 26192: 1 mutants, 0 survived, 1 unrun
   line 26259: 1 mutants, 0 survived, 1 unrun
   line 26326: 1 mutants, 0 survived, 1 unrun
   line 26393: 1 mutants, 0 survived, 1 unrun
   line 26460: 1 mutants, 0 survived, 1 unrun
   line 26527: 1 mutants, 0 survived, 1 unrun
   line 26594: 1 mutants, 0 survived, 1 unrun
   line 26661: 1 mutants, 0 survived, 1 unrun
   line 26728: 1 mutants, 0 survived, 1 unrun
   line 26795: 1 mutants, 0 survived, 1 unrun
   line 26862: 1 mutants, 0 survived, 1 unrun
   line 26929: 1 mutants, 0 survived, 1 unrun
   line 26996: 1 mutants, 0 survived, 1 unrun
   line 27063: 1 mutants, 0 survived, 1 unrun
   line 27130: 1 mutants, 0 survived, 1 unrun
   line 27196: 1 mutants, 0 survived, 1 unrun
   line 27263: 1 mutants, 0 survived, 1 unrun
   line 27330: 1 mutants, 0 survived, 1 unrun
   line 27397: 1 mutants, 0 survived, 1 unrun
   line 27464: 1 mutants, 0 survived, 1 unrun
   line 27531: 1 mutants, 0 survived, 1 unrun
   line 27598: 1 mutants, 0 survived, 1 unrun
   line 27665: 1 mutants, 0 survived, 1 unrun
   line 27732: 1 mutants, 0 survived, 1 unrun
   line 27799: 1 mutants, 0 survived, 1 unrun
   line 27866: 1 mutants, 0 survived, 1 unrun
   line 27933: 1 mutants, 0 survived, 1 unrun
   line 28000: 1 mutants, 0 survived, 1 unrun
   line 28067: 1 mutants, 0 survived, 1 unrun
   line 28134: 1 mutants, 0 survived, 1 unrun
   line 28201: 1 mutants, 0 survived, 1 unrun
   line 28268: 1 mutants, 0 survived, 1 unrun
   line 28335: 1 mutants, 0 survived, 1 unrun
   line 28402: 1 mutants, 0 survived, 1 unrun
   line 28469: 1 mutants, 0 survived, 1 unrun
   line 28536: 1 mutants, 0 survived, 1 unrun
   line 28603: 1 mutants, 0 survived, 1 unrun
   line 28670: 1 mutants, 0 survived, 1 unrun
   line 28737: 1 mutants, 0 survived, 1 unrun
   line 28804: 1 mutants, 0 survived, 1 unrun
   line 28871: 1 mutants, 0 survived, 1 unrun
   line 28936: 1 mutants, 0 survived, 1 unrun
   line 29003: 1 mutants, 0 survived, 1 unrun
   line 29070: 1 mutants, 0 survived, 1 unrun
   line 29338: 1 mutants, 0 survived, 1 unrun
   line 29405: 1 mutants, 0 survived, 1 unrun
   line 29472: 1 mutants, 0 survived, 1 unrun
   line 29539: 1 mutants, 0 survived, 1 unrun
   line 29606: 1 mutants, 0 survived, 1 unrun
   line 29673: 1 mutants, 0 survived, 1 unrun
   line 29740: 1 mutants, 0 survived, 1 unrun
   line 29807: 1 mutants, 0 survived, 1 unrun
   line 29874: 1 mutants, 0 survived, 1 unrun
   line 29941: 1 mutants, 0 survived, 1 unrun
   line 30008: 1 mutants, 0 survived, 1 unrun
   line 30075: 1 mutants, 0 survived, 1 unrun
   line 30142: 1 mutants, 0 survived, 1 unrun
   line 30209: 1 mutants, 0 survived, 1 unrun
   line 30276: 1 mutants, 0 survived, 1 unrun
   line 30343: 1 mutants, 0 survived, 1 unrun
   line 30410: 1 mutants, 0 survived, 1 unrun
   line 30477: 1 mutants, 0 survived, 1 unrun
   line 30544: 1 mutants, 0 survived, 1 unrun
   line 30610: 1 mutants, 0 survived, 1 unrun
   line 30677: 1 mutants, 0 survived, 1 unrun
   line 30743: 1 mutants, 0 survived, 1 unrun
   line 30810: 1 mutants, 0 survived, 1 unrun
   line 30877: 1 mutants, 0 survived, 1 unrun
   line 30943: 1 mutants, 0 survived, 1 unrun
   line 31010: 1 mutants, 0 survived, 1 unrun
   line 31077: 1 mutants, 0 survived, 1 unrun
   line 31143: 1 mutants, 0 survived, 1 unrun
   line 31210: 1 mutants, 0 survived, 1 unrun
   line 31276: 1 mutants, 0 survived, 1 unrun
   line 31343: 1 mutants, 0 survived, 1 unrun
   line 31409: 1 mutants, 0 survived, 1 unrun
   line 31476: 1 mutants, 0 survived, 1 unrun
   line 31543: 1 mutants, 0 survived, 1 unrun
   line 31610: 1 mutants, 0 survived, 1 unrun
   line 31677: 1 mutants, 0 survived, 1 unrun
   line 31744: 1 mutants, 0 survived, 1 unrun
== 'warnings.append("W_FIT_DOWNGRADE")' at mutants-copy line(s) [17889, 17956, 18023, 18090, 18157, 18224, 18291, 18358, 18425, 18492, 18559, 18626, 18693, 18760, 18827, 18894, 18960, 19026, 19093, 19160, 19227, 19294, 19361, 19428, 19495, 19562, 19629, 19696, 19763, 19830, 19897, 19964, 20031, 20098, 20165, 20232, 20299, 20366, 20433, 20500, 20567, 20634, 20701, 20768, 20835, 20902, 20969, 21036, 21103, 21170, 21237, 21304, 21371, 21438, 21505, 21572, 21639, 21705, 21772, 21839, 21906, 21973, 22040, 22107, 22174, 22240, 22307, 22374, 22441, 22508, 22575, 22642, 22709, 22776, 22843, 22910, 22977, 23044, 23111, 23178, 23245, 23312, 23379, 23446, 23513, 23580, 23647, 23714, 23781, 23848, 23915, 23982, 24049, 24116, 24183, 24248, 24315, 24382, 24449, 24516, 24582, 24649, 24716, 24783, 24850, 24917, 24984, 25051, 25118, 25184, 25251, 25318, 25385, 25452, 25519, 25586, 25653, 25718, 25785, 25852, 25919, 25986, 26053, 26120, 26187, 26254, 26321, 26388, 26455, 26522, 26589, 26656, 26723, 26790, 26857, 26924, 26991, 27058, 27125, 27191, 27258, 27325, 27392, 27459, 27526, 27593, 27660, 27727, 27794, 27861, 27928, 27995, 28062, 28129, 28196, 28263, 28330, 28397, 28464, 28531, 28598, 28665, 28933, 28998, 29065, 29132, 29199, 29266, 29333, 29400, 29467, 29534, 29601, 29668, 29735, 29802, 29869, 29936, 30003, 30070, 30137, 30204, 30271, 30338, 30405, 30472, 30539, 30605, 30672, 30738, 30805, 30872, 30938, 31005, 31072, 31138, 31205, 31271, 31338, 31404, 31471, 31538, 31605, 31672, 31739, 41293, 41335, 41377, 41419, 41461, 41503, 41545, 41587, 41629, 41671, 41713, 41755, 41797, 41839, 41881, 41923, 41965, 42007, 42049, 42091, 42133, 42175, 42217, 42385, 42427, 42469, 42511, 42553, 42595, 42637, 42679, 42721, 42763, 42805, 42847, 42889, 42931, 42973, 43015, 43057, 43095, 43137, 43179, 43221, 43263, 43304, 43346, 43388, 43430, 43472, 43514, 43555, 43595, 43637, 43679, 43721, 43762, 43804, 43846, 43888, 43930, 43972, 44014, 44056, 44098, 44140, 44182, 44224, 44266, 44308, 44350, 44392, 44434, 44476, 44518, 44560, 44602, 44644, 44686, 44728, 44770, 44812, 44854, 44896, 44938, 44980, 45022, 45064, 45106, 45148, 45190, 55993, 56032, 56071, 56110, 56149, 56188, 56227, 56266, 56305, 56344, 56383, 56422, 56461, 56500, 56539, 56578, 56617, 56656, 56695, 56734, 56773, 56812, 56851, 56890, 56929, 56968, 57007, 57046, 57085, 57124, 57163, 57202, 57241, 57280, 57319, 57358, 57397, 57436, 57475, 57514, 57551, 57590, 57629, 57668, 57707, 57746, 57785, 57824, 57863, 57901, 57940, 57979, 58018, 58057, 58096, 58135, 58174, 58213, 58251, 58290, 58329, 58368, 58407, 58446, 58485, 58641, 58678, 58717, 58756, 58795, 58834, 58873, 58912, 58951, 58990, 59029, 59068, 59107, 59146, 59185, 59224, 59263, 59302, 59341, 59380, 59419, 59458, 59497, 59535, 59574, 59613, 59651, 59690, 59728, 59767, 59806, 59844, 59883, 59922, 59960, 59999, 60037, 60076, 60115, 60154, 60193, 60232, 60271, 60310, 60349]
   line 17889: 0 mutants, 0 survived, 0 unrun
   line 17956: 1 mutants, 0 survived, 1 unrun
   line 18023: 1 mutants, 0 survived, 1 unrun
   line 18090: 1 mutants, 0 survived, 1 unrun
   line 18157: 1 mutants, 0 survived, 1 unrun
   line 18224: 1 mutants, 0 survived, 1 unrun
   line 18291: 1 mutants, 0 survived, 1 unrun
   line 18358: 1 mutants, 0 survived, 1 unrun
   line 18425: 1 mutants, 0 survived, 1 unrun
   line 18492: 1 mutants, 0 survived, 1 unrun
   line 18559: 1 mutants, 0 survived, 1 unrun
   line 18626: 1 mutants, 0 survived, 1 unrun
   line 18693: 1 mutants, 0 survived, 1 unrun
   line 18760: 1 mutants, 0 survived, 1 unrun
   line 18827: 1 mutants, 0 survived, 1 unrun
   line 18894: 1 mutants, 0 survived, 1 unrun
   line 18960: 1 mutants, 0 survived, 1 unrun
   line 19026: 1 mutants, 0 survived, 1 unrun
   line 19093: 1 mutants, 0 survived, 1 unrun
   line 19160: 1 mutants, 0 survived, 1 unrun
   line 19227: 1 mutants, 0 survived, 1 unrun
   line 19294: 1 mutants, 0 survived, 1 unrun
   line 19361: 1 mutants, 0 survived, 1 unrun
   line 19428: 1 mutants, 0 survived, 1 unrun
   line 19495: 1 mutants, 0 survived, 1 unrun
   line 19562: 1 mutants, 0 survived, 1 unrun
   line 19629: 1 mutants, 0 survived, 1 unrun
   line 19696: 1 mutants, 0 survived, 1 unrun
   line 19763: 1 mutants, 0 survived, 1 unrun
   line 19830: 1 mutants, 0 survived, 1 unrun
   line 19897: 1 mutants, 0 survived, 1 unrun
   line 19964: 1 mutants, 0 survived, 1 unrun
   line 20031: 1 mutants, 0 survived, 1 unrun
   line 20098: 1 mutants, 0 survived, 1 unrun
   line 20165: 1 mutants, 0 survived, 1 unrun
   line 20232: 1 mutants, 0 survived, 1 unrun
   line 20299: 1 mutants, 0 survived, 1 unrun
   line 20366: 1 mutants, 0 survived, 1 unrun
   line 20433: 1 mutants, 0 survived, 1 unrun
   line 20500: 1 mutants, 0 survived, 1 unrun
   line 20567: 1 mutants, 0 survived, 1 unrun
   line 20634: 1 mutants, 0 survived, 1 unrun
   line 20701: 1 mutants, 0 survived, 1 unrun
   line 20768: 1 mutants, 0 survived, 1 unrun
   line 20835: 1 mutants, 0 survived, 1 unrun
   line 20902: 1 mutants, 0 survived, 1 unrun
   line 20969: 1 mutants, 0 survived, 1 unrun
   line 21036: 1 mutants, 0 survived, 1 unrun
   line 21103: 1 mutants, 0 survived, 1 unrun
   line 21170: 1 mutants, 0 survived, 1 unrun
   line 21237: 1 mutants, 0 survived, 1 unrun
   line 21304: 1 mutants, 0 survived, 1 unrun
   line 21371: 1 mutants, 0 survived, 1 unrun
   line 21438: 1 mutants, 0 survived, 1 unrun
   line 21505: 1 mutants, 0 survived, 1 unrun
   line 21572: 1 mutants, 0 survived, 1 unrun
   line 21639: 1 mutants, 0 survived, 1 unrun
   line 21705: 1 mutants, 0 survived, 1 unrun
   line 21772: 1 mutants, 0 survived, 1 unrun
   line 21839: 1 mutants, 0 survived, 1 unrun
   line 21906: 1 mutants, 0 survived, 1 unrun
   line 21973: 1 mutants, 0 survived, 1 unrun
   line 22040: 1 mutants, 0 survived, 1 unrun
   line 22107: 1 mutants, 0 survived, 1 unrun
   line 22174: 1 mutants, 0 survived, 1 unrun
   line 22240: 1 mutants, 0 survived, 1 unrun
   line 22307: 1 mutants, 0 survived, 1 unrun
   line 22374: 1 mutants, 0 survived, 1 unrun
   line 22441: 1 mutants, 0 survived, 1 unrun
   line 22508: 1 mutants, 0 survived, 1 unrun
   line 22575: 1 mutants, 0 survived, 1 unrun
   line 22642: 1 mutants, 0 survived, 1 unrun
   line 22709: 1 mutants, 0 survived, 1 unrun
   line 22776: 1 mutants, 0 survived, 1 unrun
   line 22843: 1 mutants, 0 survived, 1 unrun
   line 22910: 1 mutants, 0 survived, 1 unrun
   line 22977: 1 mutants, 0 survived, 1 unrun
   line 23044: 1 mutants, 0 survived, 1 unrun
   line 23111: 1 mutants, 0 survived, 1 unrun
   line 23178: 1 mutants, 0 survived, 1 unrun
   line 23245: 1 mutants, 0 survived, 1 unrun
   line 23312: 1 mutants, 0 survived, 1 unrun
   line 23379: 1 mutants, 0 survived, 1 unrun
   line 23446: 1 mutants, 0 survived, 1 unrun
   line 23513: 1 mutants, 0 survived, 1 unrun
   line 23580: 1 mutants, 0 survived, 1 unrun
   line 23647: 1 mutants, 0 survived, 1 unrun
   line 23714: 1 mutants, 0 survived, 1 unrun
   line 23781: 1 mutants, 0 survived, 1 unrun
   line 23848: 1 mutants, 0 survived, 1 unrun
   line 23915: 1 mutants, 0 survived, 1 unrun
   line 23982: 1 mutants, 0 survived, 1 unrun
   line 24049: 1 mutants, 0 survived, 1 unrun
   line 24116: 1 mutants, 0 survived, 1 unrun
   line 24183: 1 mutants, 0 survived, 1 unrun
   line 24248: 1 mutants, 0 survived, 1 unrun
   line 24315: 1 mutants, 0 survived, 1 unrun
   line 24382: 1 mutants, 0 survived, 1 unrun
   line 24449: 1 mutants, 0 survived, 1 unrun
   line 24516: 1 mutants, 0 survived, 1 unrun
   line 24582: 1 mutants, 0 survived, 1 unrun
   line 24649: 1 mutants, 0 survived, 1 unrun
   line 24716: 1 mutants, 0 survived, 1 unrun
   line 24783: 1 mutants, 0 survived, 1 unrun
   line 24850: 1 mutants, 0 survived, 1 unrun
   line 24917: 1 mutants, 0 survived, 1 unrun
   line 24984: 1 mutants, 0 survived, 1 unrun
   line 25051: 1 mutants, 0 survived, 1 unrun
   line 25118: 1 mutants, 0 survived, 1 unrun
   line 25184: 1 mutants, 0 survived, 1 unrun
   line 25251: 1 mutants, 0 survived, 1 unrun
   line 25318: 1 mutants, 0 survived, 1 unrun
   line 25385: 1 mutants, 0 survived, 1 unrun
   line 25452: 1 mutants, 0 survived, 1 unrun
   line 25519: 1 mutants, 0 survived, 1 unrun
   line 25586: 1 mutants, 0 survived, 1 unrun
   line 25653: 1 mutants, 0 survived, 1 unrun
   line 25718: 1 mutants, 0 survived, 1 unrun
   line 25785: 1 mutants, 0 survived, 1 unrun
   line 25852: 1 mutants, 0 survived, 1 unrun
   line 25919: 1 mutants, 0 survived, 1 unrun
   line 25986: 1 mutants, 0 survived, 1 unrun
   line 26053: 1 mutants, 0 survived, 1 unrun
   line 26120: 1 mutants, 0 survived, 1 unrun
   line 26187: 1 mutants, 0 survived, 1 unrun
   line 26254: 1 mutants, 0 survived, 1 unrun
   line 26321: 1 mutants, 0 survived, 1 unrun
   line 26388: 1 mutants, 0 survived, 1 unrun
   line 26455: 1 mutants, 0 survived, 1 unrun
   line 26522: 1 mutants, 0 survived, 1 unrun
   line 26589: 1 mutants, 0 survived, 1 unrun
   line 26656: 1 mutants, 0 survived, 1 unrun
   line 26723: 1 mutants, 0 survived, 1 unrun
   line 26790: 1 mutants, 0 survived, 1 unrun
   line 26857: 1 mutants, 0 survived, 1 unrun
   line 26924: 1 mutants, 0 survived, 1 unrun
   line 26991: 1 mutants, 0 survived, 1 unrun
   line 27058: 1 mutants, 0 survived, 1 unrun
   line 27125: 1 mutants, 0 survived, 1 unrun
   line 27191: 1 mutants, 0 survived, 1 unrun
   line 27258: 1 mutants, 0 survived, 1 unrun
   line 27325: 1 mutants, 0 survived, 1 unrun
   line 27392: 1 mutants, 0 survived, 1 unrun
   line 27459: 1 mutants, 0 survived, 1 unrun
   line 27526: 1 mutants, 0 survived, 1 unrun
   line 27593: 1 mutants, 0 survived, 1 unrun
   line 27660: 1 mutants, 0 survived, 1 unrun
   line 27727: 1 mutants, 0 survived, 1 unrun
   line 27794: 1 mutants, 0 survived, 1 unrun
   line 27861: 1 mutants, 0 survived, 1 unrun
   line 27928: 1 mutants, 0 survived, 1 unrun
   line 27995: 1 mutants, 0 survived, 1 unrun
   line 28062: 1 mutants, 0 survived, 1 unrun
   line 28129: 1 mutants, 0 survived, 1 unrun
   line 28196: 1 mutants, 0 survived, 1 unrun
   line 28263: 1 mutants, 0 survived, 1 unrun
   line 28330: 1 mutants, 0 survived, 1 unrun
   line 28397: 1 mutants, 0 survived, 1 unrun
   line 28464: 1 mutants, 0 survived, 1 unrun
   line 28531: 1 mutants, 0 survived, 1 unrun
   line 28598: 1 mutants, 0 survived, 1 unrun
   line 28665: 1 mutants, 0 survived, 1 unrun
   line 28933: 1 mutants, 0 survived, 1 unrun
   line 28998: 1 mutants, 0 survived, 1 unrun
   line 29065: 1 mutants, 0 survived, 1 unrun
   line 29132: 1 mutants, 0 survived, 1 unrun
   line 29199: 1 mutants, 0 survived, 1 unrun
   line 29266: 1 mutants, 0 survived, 1 unrun
   line 29333: 1 mutants, 0 survived, 1 unrun
   line 29400: 1 mutants, 0 survived, 1 unrun
   line 29467: 1 mutants, 0 survived, 1 unrun
   line 29534: 1 mutants, 0 survived, 1 unrun
   line 29601: 1 mutants, 0 survived, 1 unrun
   line 29668: 1 mutants, 0 survived, 1 unrun
   line 29735: 1 mutants, 0 survived, 1 unrun
   line 29802: 1 mutants, 0 survived, 1 unrun
   line 29869: 1 mutants, 0 survived, 1 unrun
   line 29936: 1 mutants, 0 survived, 1 unrun
   line 30003: 1 mutants, 0 survived, 1 unrun
   line 30070: 1 mutants, 0 survived, 1 unrun
   line 30137: 1 mutants, 0 survived, 1 unrun
   line 30204: 1 mutants, 0 survived, 1 unrun
   line 30271: 1 mutants, 0 survived, 1 unrun
   line 30338: 1 mutants, 0 survived, 1 unrun
   line 30405: 1 mutants, 0 survived, 1 unrun
   line 30472: 1 mutants, 0 survived, 1 unrun
   line 30539: 1 mutants, 0 survived, 1 unrun
   line 30605: 1 mutants, 0 survived, 1 unrun
   line 30672: 1 mutants, 0 survived, 1 unrun
   line 30738: 1 mutants, 0 survived, 1 unrun
   line 30805: 1 mutants, 0 survived, 1 unrun
   line 30872: 1 mutants, 0 survived, 1 unrun
   line 30938: 1 mutants, 0 survived, 1 unrun
   line 31005: 1 mutants, 0 survived, 1 unrun
   line 31072: 1 mutants, 0 survived, 1 unrun
   line 31138: 1 mutants, 0 survived, 1 unrun
   line 31205: 1 mutants, 0 survived, 1 unrun
   line 31271: 1 mutants, 0 survived, 1 unrun
   line 31338: 1 mutants, 0 survived, 1 unrun
   line 31404: 1 mutants, 0 survived, 1 unrun
   line 31471: 1 mutants, 0 survived, 1 unrun
   line 31538: 1 mutants, 0 survived, 1 unrun
   line 31605: 1 mutants, 0 survived, 1 unrun
   line 31672: 1 mutants, 0 survived, 1 unrun
   line 31739: 1 mutants, 0 survived, 1 unrun
   line 41293: 0 mutants, 0 survived, 0 unrun
   line 41335: 1 mutants, 0 survived, 1 unrun
   line 41377: 1 mutants, 0 survived, 1 unrun
   line 41419: 1 mutants, 0 survived, 1 unrun
   line 41461: 1 mutants, 0 survived, 1 unrun
   line 41503: 1 mutants, 0 survived, 1 unrun
   line 41545: 1 mutants, 0 survived, 1 unrun
   line 41587: 1 mutants, 0 survived, 1 unrun
   line 41629: 1 mutants, 0 survived, 1 unrun
   line 41671: 1 mutants, 0 survived, 1 unrun
   line 41713: 1 mutants, 0 survived, 1 unrun
   line 41755: 1 mutants, 0 survived, 1 unrun
   line 41797: 1 mutants, 0 survived, 1 unrun
   line 41839: 1 mutants, 0 survived, 1 unrun
   line 41881: 1 mutants, 0 survived, 1 unrun
   line 41923: 1 mutants, 0 survived, 1 unrun
   line 41965: 1 mutants, 0 survived, 1 unrun
   line 42007: 1 mutants, 0 survived, 1 unrun
   line 42049: 1 mutants, 0 survived, 1 unrun
   line 42091: 1 mutants, 0 survived, 1 unrun
   line 42133: 1 mutants, 0 survived, 1 unrun
   line 42175: 1 mutants, 0 survived, 1 unrun
   line 42217: 1 mutants, 0 survived, 1 unrun
   line 42385: 1 mutants, 0 survived, 1 unrun
   line 42427: 1 mutants, 0 survived, 1 unrun
   line 42469: 1 mutants, 0 survived, 1 unrun
   line 42511: 1 mutants, 0 survived, 1 unrun
   line 42553: 1 mutants, 0 survived, 1 unrun
   line 42595: 1 mutants, 0 survived, 1 unrun
   line 42637: 1 mutants, 0 survived, 1 unrun
   line 42679: 1 mutants, 0 survived, 1 unrun
   line 42721: 1 mutants, 0 survived, 1 unrun
   line 42763: 1 mutants, 0 survived, 1 unrun
   line 42805: 1 mutants, 0 survived, 1 unrun
   line 42847: 1 mutants, 0 survived, 1 unrun
   line 42889: 1 mutants, 0 survived, 1 unrun
   line 42931: 1 mutants, 0 survived, 1 unrun
   line 42973: 1 mutants, 0 survived, 1 unrun
   line 43015: 1 mutants, 0 survived, 1 unrun
   line 43057: 1 mutants, 0 survived, 1 unrun
   line 43095: 1 mutants, 0 survived, 1 unrun
   line 43137: 1 mutants, 0 survived, 1 unrun
   line 43179: 1 mutants, 0 survived, 1 unrun
   line 43221: 1 mutants, 0 survived, 1 unrun
   line 43263: 1 mutants, 0 survived, 1 unrun
   line 43304: 1 mutants, 0 survived, 1 unrun
   line 43346: 1 mutants, 0 survived, 1 unrun
   line 43388: 1 mutants, 0 survived, 1 unrun
   line 43430: 1 mutants, 0 survived, 1 unrun
   line 43472: 1 mutants, 0 survived, 1 unrun
   line 43514: 1 mutants, 0 survived, 1 unrun
   line 43555: 1 mutants, 0 survived, 1 unrun
   line 43595: 1 mutants, 0 survived, 1 unrun
   line 43637: 1 mutants, 0 survived, 1 unrun
   line 43679: 1 mutants, 0 survived, 1 unrun
   line 43721: 1 mutants, 0 survived, 1 unrun
   line 43762: 1 mutants, 0 survived, 1 unrun
   line 43804: 1 mutants, 0 survived, 1 unrun
   line 43846: 1 mutants, 0 survived, 1 unrun
   line 43888: 1 mutants, 0 survived, 1 unrun
   line 43930: 1 mutants, 0 survived, 1 unrun
   line 43972: 1 mutants, 0 survived, 1 unrun
   line 44014: 1 mutants, 0 survived, 1 unrun
   line 44056: 1 mutants, 0 survived, 1 unrun
   line 44098: 1 mutants, 0 survived, 1 unrun
   line 44140: 1 mutants, 0 survived, 1 unrun
   line 44182: 1 mutants, 0 survived, 1 unrun
   line 44224: 1 mutants, 0 survived, 1 unrun
   line 44266: 1 mutants, 0 survived, 1 unrun
   line 44308: 1 mutants, 0 survived, 1 unrun
   line 44350: 1 mutants, 0 survived, 1 unrun
   line 44392: 1 mutants, 0 survived, 1 unrun
   line 44434: 1 mutants, 0 survived, 1 unrun
   line 44476: 1 mutants, 0 survived, 1 unrun
   line 44518: 1 mutants, 0 survived, 1 unrun
   line 44560: 1 mutants, 0 survived, 1 unrun
   line 44602: 1 mutants, 0 survived, 1 unrun
   line 44644: 1 mutants, 0 survived, 1 unrun
   line 44686: 1 mutants, 0 survived, 1 unrun
   line 44728: 1 mutants, 0 survived, 1 unrun
   line 44770: 1 mutants, 0 survived, 1 unrun
   line 44812: 1 mutants, 0 survived, 1 unrun
   line 44854: 1 mutants, 0 survived, 1 unrun
   line 44896: 1 mutants, 0 survived, 1 unrun
   line 44938: 1 mutants, 0 survived, 1 unrun
   line 44980: 1 mutants, 0 survived, 1 unrun
   line 45022: 1 mutants, 0 survived, 1 unrun
   line 45064: 1 mutants, 0 survived, 1 unrun
   line 45106: 1 mutants, 0 survived, 1 unrun
   line 45148: 1 mutants, 0 survived, 1 unrun
   line 45190: 1 mutants, 0 survived, 1 unrun
   line 55993: 0 mutants, 0 survived, 0 unrun
   line 56032: 1 mutants, 0 survived, 1 unrun
   line 56071: 1 mutants, 0 survived, 1 unrun
   line 56110: 1 mutants, 0 survived, 1 unrun
   line 56149: 1 mutants, 0 survived, 1 unrun
   line 56188: 1 mutants, 0 survived, 1 unrun
   line 56227: 1 mutants, 0 survived, 1 unrun
   line 56266: 1 mutants, 0 survived, 1 unrun
   line 56305: 1 mutants, 0 survived, 1 unrun
   line 56344: 1 mutants, 0 survived, 1 unrun
   line 56383: 1 mutants, 0 survived, 1 unrun
   line 56422: 1 mutants, 0 survived, 1 unrun
   line 56461: 1 mutants, 0 survived, 1 unrun
   line 56500: 1 mutants, 0 survived, 1 unrun
   line 56539: 1 mutants, 0 survived, 1 unrun
   line 56578: 1 mutants, 0 survived, 1 unrun
   line 56617: 1 mutants, 0 survived, 1 unrun
   line 56656: 1 mutants, 0 survived, 1 unrun
   line 56695: 1 mutants, 0 survived, 1 unrun
   line 56734: 1 mutants, 0 survived, 1 unrun
   line 56773: 1 mutants, 0 survived, 1 unrun
   line 56812: 1 mutants, 0 survived, 1 unrun
   line 56851: 1 mutants, 0 survived, 1 unrun
   line 56890: 1 mutants, 0 survived, 1 unrun
   line 56929: 1 mutants, 0 survived, 1 unrun
   line 56968: 1 mutants, 0 survived, 1 unrun
   line 57007: 1 mutants, 0 survived, 1 unrun
   line 57046: 1 mutants, 0 survived, 1 unrun
   line 57085: 1 mutants, 0 survived, 1 unrun
   line 57124: 1 mutants, 0 survived, 1 unrun
   line 57163: 1 mutants, 0 survived, 1 unrun
   line 57202: 1 mutants, 0 survived, 1 unrun
   line 57241: 1 mutants, 0 survived, 1 unrun
   line 57280: 1 mutants, 0 survived, 1 unrun
   line 57319: 1 mutants, 0 survived, 1 unrun
   line 57358: 1 mutants, 0 survived, 1 unrun
   line 57397: 1 mutants, 0 survived, 1 unrun
   line 57436: 1 mutants, 0 survived, 1 unrun
   line 57475: 1 mutants, 0 survived, 1 unrun
   line 57514: 1 mutants, 0 survived, 1 unrun
   line 57551: 1 mutants, 0 survived, 1 unrun
   line 57590: 1 mutants, 0 survived, 1 unrun
   line 57629: 1 mutants, 0 survived, 1 unrun
   line 57668: 1 mutants, 0 survived, 1 unrun
   line 57707: 1 mutants, 0 survived, 1 unrun
   line 57746: 1 mutants, 0 survived, 1 unrun
   line 57785: 1 mutants, 0 survived, 1 unrun
   line 57824: 1 mutants, 0 survived, 1 unrun
   line 57863: 1 mutants, 0 survived, 1 unrun
   line 57901: 1 mutants, 0 survived, 1 unrun
   line 57940: 1 mutants, 0 survived, 1 unrun
   line 57979: 1 mutants, 0 survived, 1 unrun
   line 58018: 1 mutants, 0 survived, 1 unrun
   line 58057: 1 mutants, 0 survived, 1 unrun
   line 58096: 1 mutants, 0 survived, 1 unrun
   line 58135: 1 mutants, 0 survived, 1 unrun
   line 58174: 1 mutants, 0 survived, 1 unrun
   line 58213: 1 mutants, 0 survived, 1 unrun
   line 58251: 1 mutants, 0 survived, 1 unrun
   line 58290: 1 mutants, 0 survived, 1 unrun
   line 58329: 1 mutants, 0 survived, 1 unrun
   line 58368: 1 mutants, 0 survived, 1 unrun
   line 58407: 1 mutants, 0 survived, 1 unrun
   line 58446: 1 mutants, 0 survived, 1 unrun
   line 58485: 1 mutants, 0 survived, 1 unrun
   line 58641: 1 mutants, 0 survived, 1 unrun
   line 58678: 1 mutants, 0 survived, 1 unrun
   line 58717: 1 mutants, 0 survived, 1 unrun
   line 58756: 1 mutants, 0 survived, 1 unrun
   line 58795: 1 mutants, 0 survived, 1 unrun
   line 58834: 1 mutants, 0 survived, 1 unrun
   line 58873: 1 mutants, 0 survived, 1 unrun
   line 58912: 1 mutants, 0 survived, 1 unrun
   line 58951: 1 mutants, 0 survived, 1 unrun
   line 58990: 1 mutants, 0 survived, 1 unrun
   line 59029: 1 mutants, 0 survived, 1 unrun
   line 59068: 1 mutants, 0 survived, 1 unrun
   line 59107: 1 mutants, 0 survived, 1 unrun
   line 59146: 1 mutants, 0 survived, 1 unrun
   line 59185: 1 mutants, 0 survived, 1 unrun
   line 59224: 1 mutants, 0 survived, 1 unrun
   line 59263: 1 mutants, 0 survived, 1 unrun
   line 59302: 1 mutants, 0 survived, 1 unrun
   line 59341: 1 mutants, 0 survived, 1 unrun
   line 59380: 1 mutants, 0 survived, 1 unrun
   line 59419: 1 mutants, 0 survived, 1 unrun
   line 59458: 1 mutants, 0 survived, 1 unrun
   line 59497: 1 mutants, 0 survived, 1 unrun
   line 59535: 1 mutants, 0 survived, 1 unrun
   line 59574: 1 mutants, 0 survived, 1 unrun
   line 59613: 1 mutants, 0 survived, 1 unrun
   line 59651: 1 mutants, 0 survived, 1 unrun
   line 59690: 1 mutants, 0 survived, 1 unrun
   line 59728: 1 mutants, 0 survived, 1 unrun
   line 59767: 1 mutants, 0 survived, 1 unrun
   line 59806: 1 mutants, 0 survived, 1 unrun
   line 59844: 1 mutants, 0 survived, 1 unrun
   line 59883: 1 mutants, 0 survived, 1 unrun
   line 59922: 1 mutants, 0 survived, 1 unrun
   line 59960: 1 mutants, 0 survived, 1 unrun
   line 59999: 1 mutants, 0 survived, 1 unrun
   line 60037: 1 mutants, 0 survived, 1 unrun
   line 60076: 1 mutants, 0 survived, 1 unrun
   line 60115: 1 mutants, 0 survived, 1 unrun
   line 60154: 1 mutants, 0 survived, 1 unrun
   line 60193: 1 mutants, 0 survived, 1 unrun
   line 60232: 1 mutants, 0 survived, 1 unrun
   line 60271: 1 mutants, 0 survived, 1 unrun
   line 60310: 1 mutants, 0 survived, 1 unrun
   line 60349: 1 mutants, 0 survived, 1 unrun
== 'W_KV_TYPE_DOWNGRADE' at mutants-copy line(s) [39, 17872, 17939, 18006, 18073, 18140, 18207, 18274, 18341, 18408, 18475, 18542, 18609, 18676, 18743, 18810, 18877, 18943, 19009, 19076, 19143, 19210, 19277, 19344, 19411, 19478, 19545, 19612, 19679, 19746, 19813, 19880, 19947, 20014, 20081, 20148, 20215, 20282, 20349, 20416, 20483, 20550, 20617, 20684, 20751, 20818, 20885, 20952, 21019, 21086, 21153, 21220, 21287, 21354, 21421, 21488, 21555, 21622, 21688, 21755, 21822, 21889, 21956, 22023, 22090, 22157, 22223, 22290, 22357, 22424, 22491, 22558, 22625, 22692, 22759, 22826, 22893, 22960, 23027, 23094, 23161, 23228, 23295, 23362, 23429, 23496, 23563, 23630, 23697, 23764, 23831, 23898, 23965, 24032, 24099, 24166, 24231, 24298, 24432, 24566, 24632, 24699, 24766, 24833, 24900, 24967, 25034, 25101, 25168, 25234, 25301, 25368, 25435, 25502, 25569, 25636, 25703, 25768, 25835, 25902, 25969, 26036, 26103, 26170, 26237, 26304, 26371, 26438, 26505, 26572, 26639, 26706, 26773, 26840, 26907, 26974, 27041, 27108, 27175, 27241, 27308, 27375, 27442, 27509, 27576, 27643, 27710, 27777, 27844, 27911, 27978, 28045, 28112, 28179, 28246, 28313, 28380, 28447, 28514, 28581, 28648, 28715, 28782, 28849, 28916, 28981, 29048, 29115, 29182, 29249, 29316, 29383, 29450, 29517, 29584, 29651, 29718, 29785, 29852, 29919, 29986, 30053, 30120, 30187, 30254, 30321, 30388, 30455, 30522, 30588, 30655, 30721, 30788, 30855, 30921, 30988, 31055, 31121, 31188, 31254, 31321, 31387, 31454, 31521, 31588, 31655, 31722, 41278, 41294, 41295, 41320, 41336, 41337, 41362, 41378, 41379, 41404, 41420, 41421, 41446, 41462, 41463, 41488, 41504, 41505, 41530, 41546, 41547, 41572, 41588, 41589, 41614, 41630, 41631, 41656, 41672, 41673, 41698, 41714, 41715, 41740, 41756, 41757, 41782, 41798, 41799, 41824, 41840, 41841, 41866, 41882, 41883, 41908, 41924, 41925, 41950, 41966, 41967, 41992, 42008, 42009, 42034, 42050, 42051, 42076, 42092, 42093, 42118, 42134, 42135, 42160, 42176, 42177, 42202, 42218, 42219, 42244, 42260, 42261, 42286, 42302, 42303, 42328, 42344, 42345, 42370, 42386, 42387, 42412, 42428, 42429, 42454, 42470, 42471, 42496, 42513, 42538, 42554, 42555, 42580, 42596, 42622, 42638, 42639, 42664, 42680, 42706, 42722, 42723, 42748, 42764, 42765, 42790, 42806, 42807, 42832, 42848, 42849, 42874, 42890, 42891, 42916, 42932, 42933, 42958, 42974, 42975, 43000, 43016, 43017, 43042, 43058, 43059, 43080, 43096, 43097, 43122, 43138, 43139, 43164, 43180, 43181, 43206, 43222, 43223, 43248, 43264, 43265, 43289, 43305, 43306, 43331, 43347, 43348, 43373, 43389, 43390, 43415, 43431, 43432, 43457, 43473, 43474, 43499, 43515, 43516, 43540, 43556, 43557, 43580, 43596, 43597, 43622, 43638, 43639, 43664, 43680, 43681, 43706, 43722, 43723, 43747, 43763, 43764, 43789, 43805, 43806, 43831, 43847, 43848, 43873, 43889, 43890, 43915, 43931, 43932, 43957, 43973, 43974, 43999, 44015, 44016, 44041, 44057, 44058, 44083, 44099, 44100, 44125, 44141, 44142, 44167, 44183, 44184, 44209, 44225, 44226, 44251, 44267, 44268, 44293, 44309, 44310, 44335, 44351, 44352, 44377, 44393, 44394, 44419, 44435, 44436, 44461, 44477, 44478, 44503, 44519, 44520, 44545, 44561, 44562, 44587, 44603, 44604, 44629, 44645, 44646, 44671, 44687, 44688, 44713, 44729, 44730, 44755, 44771, 44772, 44797, 44813, 44814, 44839, 44855, 44856, 44881, 44897, 44898, 44923, 44939, 44940, 44965, 44981, 44982, 45007, 45023, 45024, 45049, 45065, 45066, 45091, 45107, 45108, 45133, 45149, 45150, 45175, 45191, 45192, 55986, 56025, 56064, 56103, 56142, 56181, 56220, 56259, 56298, 56337, 56376, 56415, 56454, 56493, 56532, 56571, 56610, 56649, 56688, 56727, 56766, 56805, 56844, 56883, 56922, 56961, 57000, 57039, 57078, 57117, 57156, 57195, 57234, 57273, 57312, 57351, 57390, 57468, 57546, 57583, 57622, 57661, 57700, 57739, 57778, 57817, 57856, 57895, 57933, 57972, 58011, 58050, 58089, 58128, 58167, 58206, 58245, 58283, 58322, 58361, 58400, 58439, 58478, 58517, 58556, 58595, 58634, 58671, 58710, 58749, 58788, 58827, 58866, 58905, 58944, 58983, 59022, 59061, 59100, 59139, 59178, 59217, 59256, 59295, 59334, 59373, 59412, 59451, 59490, 59528, 59567, 59606, 59644, 59683, 59721, 59760, 59799, 59837, 59876, 59915, 59953, 59992, 60030, 60069, 60108, 60147, 60186, 60225, 60264, 60303, 60342]
   line 39: 0 mutants, 0 survived, 0 unrun
   line 17872: 0 mutants, 0 survived, 0 unrun
   line 17939: 1 mutants, 0 survived, 1 unrun
   line 18006: 1 mutants, 0 survived, 1 unrun
   line 18073: 1 mutants, 0 survived, 1 unrun
   line 18140: 1 mutants, 0 survived, 1 unrun
   line 18207: 1 mutants, 0 survived, 1 unrun
   line 18274: 1 mutants, 0 survived, 1 unrun
   line 18341: 1 mutants, 0 survived, 1 unrun
   line 18408: 1 mutants, 0 survived, 1 unrun
   line 18475: 1 mutants, 0 survived, 1 unrun
   line 18542: 1 mutants, 0 survived, 1 unrun
   line 18609: 1 mutants, 0 survived, 1 unrun
   line 18676: 1 mutants, 0 survived, 1 unrun
   line 18743: 1 mutants, 0 survived, 1 unrun
   line 18810: 1 mutants, 0 survived, 1 unrun
   line 18877: 1 mutants, 0 survived, 1 unrun
   line 18943: 1 mutants, 0 survived, 1 unrun
   line 19009: 1 mutants, 0 survived, 1 unrun
   line 19076: 1 mutants, 0 survived, 1 unrun
   line 19143: 1 mutants, 0 survived, 1 unrun
   line 19210: 1 mutants, 0 survived, 1 unrun
   line 19277: 1 mutants, 0 survived, 1 unrun
   line 19344: 1 mutants, 0 survived, 1 unrun
   line 19411: 1 mutants, 0 survived, 1 unrun
   line 19478: 1 mutants, 0 survived, 1 unrun
   line 19545: 1 mutants, 0 survived, 1 unrun
   line 19612: 1 mutants, 0 survived, 1 unrun
   line 19679: 1 mutants, 0 survived, 1 unrun
   line 19746: 1 mutants, 0 survived, 1 unrun
   line 19813: 1 mutants, 0 survived, 1 unrun
   line 19880: 1 mutants, 0 survived, 1 unrun
   line 19947: 1 mutants, 0 survived, 1 unrun
   line 20014: 1 mutants, 0 survived, 1 unrun
   line 20081: 1 mutants, 0 survived, 1 unrun
   line 20148: 1 mutants, 0 survived, 1 unrun
   line 20215: 1 mutants, 0 survived, 1 unrun
   line 20282: 1 mutants, 0 survived, 1 unrun
   line 20349: 1 mutants, 0 survived, 1 unrun
   line 20416: 1 mutants, 0 survived, 1 unrun
   line 20483: 1 mutants, 0 survived, 1 unrun
   line 20550: 1 mutants, 0 survived, 1 unrun
   line 20617: 1 mutants, 0 survived, 1 unrun
   line 20684: 1 mutants, 0 survived, 1 unrun
   line 20751: 1 mutants, 0 survived, 1 unrun
   line 20818: 1 mutants, 0 survived, 1 unrun
   line 20885: 1 mutants, 0 survived, 1 unrun
   line 20952: 1 mutants, 0 survived, 1 unrun
   line 21019: 1 mutants, 0 survived, 1 unrun
   line 21086: 1 mutants, 0 survived, 1 unrun
   line 21153: 1 mutants, 0 survived, 1 unrun
   line 21220: 1 mutants, 0 survived, 1 unrun
   line 21287: 1 mutants, 0 survived, 1 unrun
   line 21354: 1 mutants, 0 survived, 1 unrun
   line 21421: 1 mutants, 0 survived, 1 unrun
   line 21488: 1 mutants, 0 survived, 1 unrun
   line 21555: 1 mutants, 0 survived, 1 unrun
   line 21622: 1 mutants, 0 survived, 1 unrun
   line 21688: 1 mutants, 0 survived, 1 unrun
   line 21755: 1 mutants, 0 survived, 1 unrun
   line 21822: 1 mutants, 0 survived, 1 unrun
   line 21889: 1 mutants, 0 survived, 1 unrun
   line 21956: 1 mutants, 0 survived, 1 unrun
   line 22023: 1 mutants, 0 survived, 1 unrun
   line 22090: 1 mutants, 0 survived, 1 unrun
   line 22157: 1 mutants, 0 survived, 1 unrun
   line 22223: 1 mutants, 0 survived, 1 unrun
   line 22290: 1 mutants, 0 survived, 1 unrun
   line 22357: 1 mutants, 0 survived, 1 unrun
   line 22424: 1 mutants, 0 survived, 1 unrun
   line 22491: 1 mutants, 0 survived, 1 unrun
   line 22558: 1 mutants, 0 survived, 1 unrun
   line 22625: 1 mutants, 0 survived, 1 unrun
   line 22692: 1 mutants, 0 survived, 1 unrun
   line 22759: 1 mutants, 0 survived, 1 unrun
   line 22826: 1 mutants, 0 survived, 1 unrun
   line 22893: 1 mutants, 0 survived, 1 unrun
   line 22960: 1 mutants, 0 survived, 1 unrun
   line 23027: 1 mutants, 0 survived, 1 unrun
   line 23094: 1 mutants, 0 survived, 1 unrun
   line 23161: 1 mutants, 0 survived, 1 unrun
   line 23228: 1 mutants, 0 survived, 1 unrun
   line 23295: 1 mutants, 0 survived, 1 unrun
   line 23362: 1 mutants, 0 survived, 1 unrun
   line 23429: 1 mutants, 0 survived, 1 unrun
   line 23496: 1 mutants, 0 survived, 1 unrun
   line 23563: 1 mutants, 0 survived, 1 unrun
   line 23630: 1 mutants, 0 survived, 1 unrun
   line 23697: 1 mutants, 0 survived, 1 unrun
   line 23764: 1 mutants, 0 survived, 1 unrun
   line 23831: 1 mutants, 0 survived, 1 unrun
   line 23898: 1 mutants, 0 survived, 1 unrun
   line 23965: 1 mutants, 0 survived, 1 unrun
   line 24032: 1 mutants, 0 survived, 1 unrun
   line 24099: 1 mutants, 0 survived, 1 unrun
   line 24166: 1 mutants, 0 survived, 1 unrun
   line 24231: 1 mutants, 0 survived, 1 unrun
   line 24298: 1 mutants, 0 survived, 1 unrun
   line 24432: 1 mutants, 0 survived, 1 unrun
   line 24566: 1 mutants, 0 survived, 1 unrun
   line 24632: 1 mutants, 0 survived, 1 unrun
   line 24699: 1 mutants, 0 survived, 1 unrun
   line 24766: 1 mutants, 0 survived, 1 unrun
   line 24833: 1 mutants, 0 survived, 1 unrun
   line 24900: 1 mutants, 0 survived, 1 unrun
   line 24967: 1 mutants, 0 survived, 1 unrun
   line 25034: 1 mutants, 0 survived, 1 unrun
   line 25101: 1 mutants, 0 survived, 1 unrun
   line 25168: 1 mutants, 0 survived, 1 unrun
   line 25234: 1 mutants, 0 survived, 1 unrun
   line 25301: 1 mutants, 0 survived, 1 unrun
   line 25368: 1 mutants, 0 survived, 1 unrun
   line 25435: 1 mutants, 0 survived, 1 unrun
   line 25502: 1 mutants, 0 survived, 1 unrun
   line 25569: 1 mutants, 0 survived, 1 unrun
   line 25636: 1 mutants, 0 survived, 1 unrun
   line 25703: 1 mutants, 0 survived, 1 unrun
   line 25768: 1 mutants, 0 survived, 1 unrun
   line 25835: 1 mutants, 0 survived, 1 unrun
   line 25902: 1 mutants, 0 survived, 1 unrun
   line 25969: 1 mutants, 0 survived, 1 unrun
   line 26036: 1 mutants, 0 survived, 1 unrun
   line 26103: 1 mutants, 0 survived, 1 unrun
   line 26170: 1 mutants, 0 survived, 1 unrun
   line 26237: 1 mutants, 0 survived, 1 unrun
   line 26304: 1 mutants, 0 survived, 1 unrun
   line 26371: 1 mutants, 0 survived, 1 unrun
   line 26438: 1 mutants, 0 survived, 1 unrun
   line 26505: 1 mutants, 0 survived, 1 unrun
   line 26572: 1 mutants, 0 survived, 1 unrun
   line 26639: 1 mutants, 0 survived, 1 unrun
   line 26706: 1 mutants, 0 survived, 1 unrun
   line 26773: 1 mutants, 0 survived, 1 unrun
   line 26840: 1 mutants, 0 survived, 1 unrun
   line 26907: 1 mutants, 0 survived, 1 unrun
   line 26974: 1 mutants, 0 survived, 1 unrun
   line 27041: 1 mutants, 0 survived, 1 unrun
   line 27108: 1 mutants, 0 survived, 1 unrun
   line 27175: 1 mutants, 0 survived, 1 unrun
   line 27241: 1 mutants, 0 survived, 1 unrun
   line 27308: 1 mutants, 0 survived, 1 unrun
   line 27375: 1 mutants, 0 survived, 1 unrun
   line 27442: 1 mutants, 0 survived, 1 unrun
   line 27509: 1 mutants, 0 survived, 1 unrun
   line 27576: 1 mutants, 0 survived, 1 unrun
   line 27643: 1 mutants, 0 survived, 1 unrun
   line 27710: 1 mutants, 0 survived, 1 unrun
   line 27777: 1 mutants, 0 survived, 1 unrun
   line 27844: 1 mutants, 0 survived, 1 unrun
   line 27911: 1 mutants, 0 survived, 1 unrun
   line 27978: 1 mutants, 0 survived, 1 unrun
   line 28045: 1 mutants, 0 survived, 1 unrun
   line 28112: 1 mutants, 0 survived, 1 unrun
   line 28179: 1 mutants, 0 survived, 1 unrun
   line 28246: 1 mutants, 0 survived, 1 unrun
   line 28313: 1 mutants, 0 survived, 1 unrun
   line 28380: 1 mutants, 0 survived, 1 unrun
   line 28447: 1 mutants, 0 survived, 1 unrun
   line 28514: 1 mutants, 0 survived, 1 unrun
   line 28581: 1 mutants, 0 survived, 1 unrun
   line 28648: 1 mutants, 0 survived, 1 unrun
   line 28715: 1 mutants, 0 survived, 1 unrun
   line 28782: 1 mutants, 0 survived, 1 unrun
   line 28849: 1 mutants, 0 survived, 1 unrun
   line 28916: 1 mutants, 0 survived, 1 unrun
   line 28981: 1 mutants, 0 survived, 1 unrun
   line 29048: 1 mutants, 0 survived, 1 unrun
   line 29115: 1 mutants, 0 survived, 1 unrun
   line 29182: 1 mutants, 0 survived, 1 unrun
   line 29249: 1 mutants, 0 survived, 1 unrun
   line 29316: 1 mutants, 0 survived, 1 unrun
   line 29383: 1 mutants, 0 survived, 1 unrun
   line 29450: 1 mutants, 0 survived, 1 unrun
   line 29517: 1 mutants, 0 survived, 1 unrun
   line 29584: 1 mutants, 0 survived, 1 unrun
   line 29651: 1 mutants, 0 survived, 1 unrun
   line 29718: 1 mutants, 0 survived, 1 unrun
   line 29785: 1 mutants, 0 survived, 1 unrun
   line 29852: 1 mutants, 0 survived, 1 unrun
   line 29919: 1 mutants, 0 survived, 1 unrun
   line 29986: 1 mutants, 0 survived, 1 unrun
   line 30053: 1 mutants, 0 survived, 1 unrun
   line 30120: 1 mutants, 0 survived, 1 unrun
   line 30187: 1 mutants, 0 survived, 1 unrun
   line 30254: 1 mutants, 0 survived, 1 unrun
   line 30321: 1 mutants, 0 survived, 1 unrun
   line 30388: 1 mutants, 0 survived, 1 unrun
   line 30455: 1 mutants, 0 survived, 1 unrun
   line 30522: 1 mutants, 0 survived, 1 unrun
   line 30588: 1 mutants, 0 survived, 1 unrun
   line 30655: 1 mutants, 0 survived, 1 unrun
   line 30721: 1 mutants, 0 survived, 1 unrun
   line 30788: 1 mutants, 0 survived, 1 unrun
   line 30855: 1 mutants, 0 survived, 1 unrun
   line 30921: 1 mutants, 0 survived, 1 unrun
   line 30988: 1 mutants, 0 survived, 1 unrun
   line 31055: 1 mutants, 0 survived, 1 unrun
   line 31121: 1 mutants, 0 survived, 1 unrun
   line 31188: 1 mutants, 0 survived, 1 unrun
   line 31254: 1 mutants, 0 survived, 1 unrun
   line 31321: 1 mutants, 0 survived, 1 unrun
   line 31387: 1 mutants, 0 survived, 1 unrun
   line 31454: 1 mutants, 0 survived, 1 unrun
   line 31521: 1 mutants, 0 survived, 1 unrun
   line 31588: 1 mutants, 0 survived, 1 unrun
   line 31655: 1 mutants, 0 survived, 1 unrun
   line 31722: 1 mutants, 0 survived, 1 unrun
   line 41278: 0 mutants, 0 survived, 0 unrun
   line 41294: 0 mutants, 0 survived, 0 unrun
   line 41295: 0 mutants, 0 survived, 0 unrun
   line 41320: 1 mutants, 0 survived, 1 unrun
   line 41336: 1 mutants, 0 survived, 1 unrun
   line 41337: 1 mutants, 0 survived, 1 unrun
   line 41362: 1 mutants, 0 survived, 1 unrun
   line 41378: 1 mutants, 0 survived, 1 unrun
   line 41379: 1 mutants, 0 survived, 1 unrun
   line 41404: 1 mutants, 0 survived, 1 unrun
   line 41420: 1 mutants, 0 survived, 1 unrun
   line 41421: 1 mutants, 0 survived, 1 unrun
   line 41446: 1 mutants, 0 survived, 1 unrun
   line 41462: 1 mutants, 0 survived, 1 unrun
   line 41463: 1 mutants, 0 survived, 1 unrun
   line 41488: 1 mutants, 0 survived, 1 unrun
   line 41504: 1 mutants, 0 survived, 1 unrun
   line 41505: 1 mutants, 0 survived, 1 unrun
   line 41530: 1 mutants, 0 survived, 1 unrun
   line 41546: 1 mutants, 0 survived, 1 unrun
   line 41547: 1 mutants, 0 survived, 1 unrun
   line 41572: 1 mutants, 0 survived, 1 unrun
   line 41588: 1 mutants, 0 survived, 1 unrun
   line 41589: 1 mutants, 0 survived, 1 unrun
   line 41614: 1 mutants, 0 survived, 1 unrun
   line 41630: 1 mutants, 0 survived, 1 unrun
   line 41631: 1 mutants, 0 survived, 1 unrun
   line 41656: 1 mutants, 0 survived, 1 unrun
   line 41672: 1 mutants, 0 survived, 1 unrun
   line 41673: 1 mutants, 0 survived, 1 unrun
   line 41698: 1 mutants, 0 survived, 1 unrun
   line 41714: 1 mutants, 0 survived, 1 unrun
   line 41715: 1 mutants, 0 survived, 1 unrun
   line 41740: 1 mutants, 0 survived, 1 unrun
   line 41756: 1 mutants, 0 survived, 1 unrun
   line 41757: 1 mutants, 0 survived, 1 unrun
   line 41782: 1 mutants, 0 survived, 1 unrun
   line 41798: 1 mutants, 0 survived, 1 unrun
   line 41799: 1 mutants, 0 survived, 1 unrun
   line 41824: 1 mutants, 0 survived, 1 unrun
   line 41840: 1 mutants, 0 survived, 1 unrun
   line 41841: 1 mutants, 0 survived, 1 unrun
   line 41866: 1 mutants, 0 survived, 1 unrun
   line 41882: 1 mutants, 0 survived, 1 unrun
   line 41883: 1 mutants, 0 survived, 1 unrun
   line 41908: 1 mutants, 0 survived, 1 unrun
   line 41924: 1 mutants, 0 survived, 1 unrun
   line 41925: 1 mutants, 0 survived, 1 unrun
   line 41950: 1 mutants, 0 survived, 1 unrun
   line 41966: 1 mutants, 0 survived, 1 unrun
   line 41967: 1 mutants, 0 survived, 1 unrun
   line 41992: 1 mutants, 0 survived, 1 unrun
   line 42008: 1 mutants, 0 survived, 1 unrun
   line 42009: 1 mutants, 0 survived, 1 unrun
   line 42034: 1 mutants, 0 survived, 1 unrun
   line 42050: 1 mutants, 0 survived, 1 unrun
   line 42051: 1 mutants, 0 survived, 1 unrun
   line 42076: 1 mutants, 0 survived, 1 unrun
   line 42092: 1 mutants, 0 survived, 1 unrun
   line 42093: 1 mutants, 0 survived, 1 unrun
   line 42118: 1 mutants, 0 survived, 1 unrun
   line 42134: 1 mutants, 0 survived, 1 unrun
   line 42135: 1 mutants, 0 survived, 1 unrun
   line 42160: 1 mutants, 0 survived, 1 unrun
   line 42176: 1 mutants, 0 survived, 1 unrun
   line 42177: 1 mutants, 0 survived, 1 unrun
   line 42202: 1 mutants, 0 survived, 1 unrun
   line 42218: 1 mutants, 0 survived, 1 unrun
   line 42219: 1 mutants, 0 survived, 1 unrun
   line 42244: 1 mutants, 0 survived, 1 unrun
   line 42260: 1 mutants, 0 survived, 1 unrun
   line 42261: 1 mutants, 0 survived, 1 unrun
   line 42286: 1 mutants, 0 survived, 1 unrun
   line 42302: 1 mutants, 0 survived, 1 unrun
   line 42303: 1 mutants, 0 survived, 1 unrun
   line 42328: 1 mutants, 0 survived, 1 unrun
   line 42344: 1 mutants, 0 survived, 1 unrun
   line 42345: 1 mutants, 0 survived, 1 unrun
   line 42370: 1 mutants, 0 survived, 1 unrun
   line 42386: 1 mutants, 0 survived, 1 unrun
   line 42387: 1 mutants, 0 survived, 1 unrun
   line 42412: 1 mutants, 0 survived, 1 unrun
   line 42428: 1 mutants, 0 survived, 1 unrun
   line 42429: 1 mutants, 0 survived, 1 unrun
   line 42454: 1 mutants, 0 survived, 1 unrun
   line 42470: 1 mutants, 0 survived, 1 unrun
   line 42471: 1 mutants, 0 survived, 1 unrun
   line 42496: 1 mutants, 0 survived, 1 unrun
   line 42513: 1 mutants, 0 survived, 1 unrun
   line 42538: 1 mutants, 0 survived, 1 unrun
   line 42554: 1 mutants, 0 survived, 1 unrun
   line 42555: 1 mutants, 0 survived, 1 unrun
   line 42580: 1 mutants, 0 survived, 1 unrun
   line 42596: 1 mutants, 0 survived, 1 unrun
   line 42622: 1 mutants, 0 survived, 1 unrun
   line 42638: 1 mutants, 0 survived, 1 unrun
   line 42639: 1 mutants, 0 survived, 1 unrun
   line 42664: 1 mutants, 0 survived, 1 unrun
   line 42680: 1 mutants, 0 survived, 1 unrun
   line 42706: 1 mutants, 0 survived, 1 unrun
   line 42722: 1 mutants, 0 survived, 1 unrun
   line 42723: 1 mutants, 0 survived, 1 unrun
   line 42748: 1 mutants, 0 survived, 1 unrun
   line 42764: 1 mutants, 0 survived, 1 unrun
   line 42765: 1 mutants, 0 survived, 1 unrun
   line 42790: 1 mutants, 0 survived, 1 unrun
   line 42806: 1 mutants, 0 survived, 1 unrun
   line 42807: 1 mutants, 0 survived, 1 unrun
   line 42832: 1 mutants, 0 survived, 1 unrun
   line 42848: 1 mutants, 0 survived, 1 unrun
   line 42849: 1 mutants, 0 survived, 1 unrun
   line 42874: 1 mutants, 0 survived, 1 unrun
   line 42890: 1 mutants, 0 survived, 1 unrun
   line 42891: 1 mutants, 0 survived, 1 unrun
   line 42916: 1 mutants, 0 survived, 1 unrun
   line 42932: 1 mutants, 0 survived, 1 unrun
   line 42933: 1 mutants, 0 survived, 1 unrun
   line 42958: 1 mutants, 0 survived, 1 unrun
   line 42974: 1 mutants, 0 survived, 1 unrun
   line 42975: 1 mutants, 0 survived, 1 unrun
   line 43000: 1 mutants, 0 survived, 1 unrun
   line 43016: 1 mutants, 0 survived, 1 unrun
   line 43017: 1 mutants, 0 survived, 1 unrun
   line 43042: 1 mutants, 0 survived, 1 unrun
   line 43058: 1 mutants, 0 survived, 1 unrun
   line 43059: 1 mutants, 0 survived, 1 unrun
   line 43080: 1 mutants, 0 survived, 1 unrun
   line 43096: 1 mutants, 0 survived, 1 unrun
   line 43097: 1 mutants, 0 survived, 1 unrun
   line 43122: 1 mutants, 0 survived, 1 unrun
   line 43138: 1 mutants, 0 survived, 1 unrun
   line 43139: 1 mutants, 0 survived, 1 unrun
   line 43164: 1 mutants, 0 survived, 1 unrun
   line 43180: 1 mutants, 0 survived, 1 unrun
   line 43181: 1 mutants, 0 survived, 1 unrun
   line 43206: 1 mutants, 0 survived, 1 unrun
   line 43222: 1 mutants, 0 survived, 1 unrun
   line 43223: 1 mutants, 0 survived, 1 unrun
   line 43248: 1 mutants, 0 survived, 1 unrun
   line 43264: 1 mutants, 0 survived, 1 unrun
   line 43265: 1 mutants, 0 survived, 1 unrun
   line 43289: 1 mutants, 0 survived, 1 unrun
   line 43305: 1 mutants, 0 survived, 1 unrun
   line 43306: 1 mutants, 0 survived, 1 unrun
   line 43331: 1 mutants, 0 survived, 1 unrun
   line 43347: 1 mutants, 0 survived, 1 unrun
   line 43348: 1 mutants, 0 survived, 1 unrun
   line 43373: 1 mutants, 0 survived, 1 unrun
   line 43389: 1 mutants, 0 survived, 1 unrun
   line 43390: 1 mutants, 0 survived, 1 unrun
   line 43415: 1 mutants, 0 survived, 1 unrun
   line 43431: 1 mutants, 0 survived, 1 unrun
   line 43432: 1 mutants, 0 survived, 1 unrun
   line 43457: 1 mutants, 0 survived, 1 unrun
   line 43473: 1 mutants, 0 survived, 1 unrun
   line 43474: 1 mutants, 0 survived, 1 unrun
   line 43499: 1 mutants, 0 survived, 1 unrun
   line 43515: 1 mutants, 0 survived, 1 unrun
   line 43516: 1 mutants, 0 survived, 1 unrun
   line 43540: 1 mutants, 0 survived, 1 unrun
   line 43556: 1 mutants, 0 survived, 1 unrun
   line 43557: 1 mutants, 0 survived, 1 unrun
   line 43580: 1 mutants, 0 survived, 1 unrun
   line 43596: 1 mutants, 0 survived, 1 unrun
   line 43597: 1 mutants, 0 survived, 1 unrun
   line 43622: 1 mutants, 0 survived, 1 unrun
   line 43638: 1 mutants, 0 survived, 1 unrun
   line 43639: 1 mutants, 0 survived, 1 unrun
   line 43664: 1 mutants, 0 survived, 1 unrun
   line 43680: 1 mutants, 0 survived, 1 unrun
   line 43681: 1 mutants, 0 survived, 1 unrun
   line 43706: 1 mutants, 0 survived, 1 unrun
   line 43722: 1 mutants, 0 survived, 1 unrun
   line 43723: 1 mutants, 0 survived, 1 unrun
   line 43747: 1 mutants, 0 survived, 1 unrun
   line 43763: 1 mutants, 0 survived, 1 unrun
   line 43764: 1 mutants, 0 survived, 1 unrun
   line 43789: 1 mutants, 0 survived, 1 unrun
   line 43805: 1 mutants, 0 survived, 1 unrun
   line 43806: 1 mutants, 0 survived, 1 unrun
   line 43831: 1 mutants, 0 survived, 1 unrun
   line 43847: 1 mutants, 0 survived, 1 unrun
   line 43848: 1 mutants, 0 survived, 1 unrun
   line 43873: 1 mutants, 0 survived, 1 unrun
   line 43889: 1 mutants, 0 survived, 1 unrun
   line 43890: 1 mutants, 0 survived, 1 unrun
   line 43915: 1 mutants, 0 survived, 1 unrun
   line 43931: 1 mutants, 0 survived, 1 unrun
   line 43932: 1 mutants, 0 survived, 1 unrun
   line 43957: 1 mutants, 0 survived, 1 unrun
   line 43973: 1 mutants, 0 survived, 1 unrun
   line 43974: 1 mutants, 0 survived, 1 unrun
   line 43999: 1 mutants, 0 survived, 1 unrun
   line 44015: 1 mutants, 0 survived, 1 unrun
   line 44016: 1 mutants, 0 survived, 1 unrun
   line 44041: 1 mutants, 0 survived, 1 unrun
   line 44057: 1 mutants, 0 survived, 1 unrun
   line 44058: 1 mutants, 0 survived, 1 unrun
   line 44083: 1 mutants, 0 survived, 1 unrun
   line 44099: 1 mutants, 0 survived, 1 unrun
   line 44100: 1 mutants, 0 survived, 1 unrun
   line 44125: 1 mutants, 0 survived, 1 unrun
   line 44141: 1 mutants, 0 survived, 1 unrun
   line 44142: 1 mutants, 0 survived, 1 unrun
   line 44167: 1 mutants, 0 survived, 1 unrun
   line 44183: 1 mutants, 0 survived, 1 unrun
   line 44184: 1 mutants, 0 survived, 1 unrun
   line 44209: 1 mutants, 0 survived, 1 unrun
   line 44225: 1 mutants, 0 survived, 1 unrun
   line 44226: 1 mutants, 0 survived, 1 unrun
   line 44251: 1 mutants, 0 survived, 1 unrun
   line 44267: 1 mutants, 0 survived, 1 unrun
   line 44268: 1 mutants, 0 survived, 1 unrun
   line 44293: 1 mutants, 0 survived, 1 unrun
   line 44309: 1 mutants, 0 survived, 1 unrun
   line 44310: 1 mutants, 0 survived, 1 unrun
   line 44335: 1 mutants, 0 survived, 1 unrun
   line 44351: 1 mutants, 0 survived, 1 unrun
   line 44352: 1 mutants, 0 survived, 1 unrun
   line 44377: 1 mutants, 0 survived, 1 unrun
   line 44393: 1 mutants, 0 survived, 1 unrun
   line 44394: 1 mutants, 0 survived, 1 unrun
   line 44419: 1 mutants, 0 survived, 1 unrun
   line 44435: 1 mutants, 0 survived, 1 unrun
   line 44436: 1 mutants, 0 survived, 1 unrun
   line 44461: 1 mutants, 0 survived, 1 unrun
   line 44477: 1 mutants, 0 survived, 1 unrun
   line 44478: 1 mutants, 0 survived, 1 unrun
   line 44503: 1 mutants, 0 survived, 1 unrun
   line 44519: 1 mutants, 0 survived, 1 unrun
   line 44520: 1 mutants, 0 survived, 1 unrun
   line 44545: 1 mutants, 0 survived, 1 unrun
   line 44561: 1 mutants, 0 survived, 1 unrun
   line 44562: 1 mutants, 0 survived, 1 unrun
   line 44587: 1 mutants, 0 survived, 1 unrun
   line 44603: 1 mutants, 0 survived, 1 unrun
   line 44604: 1 mutants, 0 survived, 1 unrun
   line 44629: 1 mutants, 0 survived, 1 unrun
   line 44645: 1 mutants, 0 survived, 1 unrun
   line 44646: 1 mutants, 0 survived, 1 unrun
   line 44671: 1 mutants, 0 survived, 1 unrun
   line 44687: 1 mutants, 0 survived, 1 unrun
   line 44688: 1 mutants, 0 survived, 1 unrun
   line 44713: 1 mutants, 0 survived, 1 unrun
   line 44729: 1 mutants, 0 survived, 1 unrun
   line 44730: 1 mutants, 0 survived, 1 unrun
   line 44755: 1 mutants, 0 survived, 1 unrun
   line 44771: 1 mutants, 0 survived, 1 unrun
   line 44772: 1 mutants, 0 survived, 1 unrun
   line 44797: 1 mutants, 0 survived, 1 unrun
   line 44813: 1 mutants, 0 survived, 1 unrun
   line 44814: 1 mutants, 0 survived, 1 unrun
   line 44839: 1 mutants, 0 survived, 1 unrun
   line 44855: 1 mutants, 0 survived, 1 unrun
   line 44856: 1 mutants, 0 survived, 1 unrun
   line 44881: 1 mutants, 0 survived, 1 unrun
   line 44897: 1 mutants, 0 survived, 1 unrun
   line 44898: 1 mutants, 0 survived, 1 unrun
   line 44923: 1 mutants, 0 survived, 1 unrun
   line 44939: 1 mutants, 0 survived, 1 unrun
   line 44940: 1 mutants, 0 survived, 1 unrun
   line 44965: 1 mutants, 0 survived, 1 unrun
   line 44981: 1 mutants, 0 survived, 1 unrun
   line 44982: 1 mutants, 0 survived, 1 unrun
   line 45007: 1 mutants, 0 survived, 1 unrun
   line 45023: 1 mutants, 0 survived, 1 unrun
   line 45024: 1 mutants, 0 survived, 1 unrun
   line 45049: 1 mutants, 0 survived, 1 unrun
   line 45065: 1 mutants, 0 survived, 1 unrun
   line 45066: 1 mutants, 0 survived, 1 unrun
   line 45091: 1 mutants, 0 survived, 1 unrun
   line 45107: 1 mutants, 0 survived, 1 unrun
   line 45108: 1 mutants, 0 survived, 1 unrun
   line 45133: 1 mutants, 0 survived, 1 unrun
   line 45149: 1 mutants, 0 survived, 1 unrun
   line 45150: 1 mutants, 0 survived, 1 unrun
   line 45175: 1 mutants, 0 survived, 1 unrun
   line 45191: 1 mutants, 0 survived, 1 unrun
   line 45192: 1 mutants, 0 survived, 1 unrun
   line 55986: 0 mutants, 0 survived, 0 unrun
   line 56025: 1 mutants, 0 survived, 1 unrun
   line 56064: 1 mutants, 0 survived, 1 unrun
   line 56103: 1 mutants, 0 survived, 1 unrun
   line 56142: 1 mutants, 0 survived, 1 unrun
   line 56181: 1 mutants, 0 survived, 1 unrun
   line 56220: 1 mutants, 0 survived, 1 unrun
   line 56259: 1 mutants, 0 survived, 1 unrun
   line 56298: 1 mutants, 0 survived, 1 unrun
   line 56337: 1 mutants, 0 survived, 1 unrun
   line 56376: 1 mutants, 0 survived, 1 unrun
   line 56415: 1 mutants, 0 survived, 1 unrun
   line 56454: 1 mutants, 0 survived, 1 unrun
   line 56493: 1 mutants, 0 survived, 1 unrun
   line 56532: 1 mutants, 0 survived, 1 unrun
   line 56571: 1 mutants, 0 survived, 1 unrun
   line 56610: 1 mutants, 0 survived, 1 unrun
   line 56649: 1 mutants, 0 survived, 1 unrun
   line 56688: 1 mutants, 0 survived, 1 unrun
   line 56727: 1 mutants, 0 survived, 1 unrun
   line 56766: 1 mutants, 0 survived, 1 unrun
   line 56805: 1 mutants, 0 survived, 1 unrun
   line 56844: 1 mutants, 0 survived, 1 unrun
   line 56883: 1 mutants, 0 survived, 1 unrun
   line 56922: 1 mutants, 0 survived, 1 unrun
   line 56961: 1 mutants, 0 survived, 1 unrun
   line 57000: 1 mutants, 0 survived, 1 unrun
   line 57039: 1 mutants, 0 survived, 1 unrun
   line 57078: 1 mutants, 0 survived, 1 unrun
   line 57117: 1 mutants, 0 survived, 1 unrun
   line 57156: 1 mutants, 0 survived, 1 unrun
   line 57195: 1 mutants, 0 survived, 1 unrun
   line 57234: 1 mutants, 0 survived, 1 unrun
   line 57273: 1 mutants, 0 survived, 1 unrun
   line 57312: 1 mutants, 0 survived, 1 unrun
   line 57351: 1 mutants, 0 survived, 1 unrun
   line 57390: 1 mutants, 0 survived, 1 unrun
   line 57468: 1 mutants, 0 survived, 1 unrun
   line 57546: 1 mutants, 0 survived, 1 unrun
   line 57583: 1 mutants, 0 survived, 1 unrun
   line 57622: 1 mutants, 0 survived, 1 unrun
   line 57661: 1 mutants, 0 survived, 1 unrun
   line 57700: 1 mutants, 0 survived, 1 unrun
   line 57739: 1 mutants, 0 survived, 1 unrun
   line 57778: 1 mutants, 0 survived, 1 unrun
   line 57817: 1 mutants, 0 survived, 1 unrun
   line 57856: 1 mutants, 0 survived, 1 unrun
   line 57895: 1 mutants, 0 survived, 1 unrun
   line 57933: 1 mutants, 0 survived, 1 unrun
   line 57972: 1 mutants, 0 survived, 1 unrun
   line 58011: 1 mutants, 0 survived, 1 unrun
   line 58050: 1 mutants, 0 survived, 1 unrun
   line 58089: 1 mutants, 0 survived, 1 unrun
   line 58128: 1 mutants, 0 survived, 1 unrun
   line 58167: 1 mutants, 0 survived, 1 unrun
   line 58206: 1 mutants, 0 survived, 1 unrun
   line 58245: 1 mutants, 0 survived, 1 unrun
   line 58283: 1 mutants, 0 survived, 1 unrun
   line 58322: 1 mutants, 0 survived, 1 unrun
   line 58361: 1 mutants, 0 survived, 1 unrun
   line 58400: 1 mutants, 0 survived, 1 unrun
   line 58439: 1 mutants, 0 survived, 1 unrun
   line 58478: 1 mutants, 0 survived, 1 unrun
   line 58517: 1 mutants, 0 survived, 1 unrun
   line 58556: 1 mutants, 0 survived, 1 unrun
   line 58595: 1 mutants, 0 survived, 1 unrun
   line 58634: 1 mutants, 0 survived, 1 unrun
   line 58671: 1 mutants, 0 survived, 1 unrun
   line 58710: 1 mutants, 0 survived, 1 unrun
   line 58749: 1 mutants, 0 survived, 1 unrun
   line 58788: 1 mutants, 0 survived, 1 unrun
   line 58827: 1 mutants, 0 survived, 1 unrun
   line 58866: 1 mutants, 0 survived, 1 unrun
   line 58905: 1 mutants, 0 survived, 1 unrun
   line 58944: 1 mutants, 0 survived, 1 unrun
   line 58983: 1 mutants, 0 survived, 1 unrun
   line 59022: 1 mutants, 0 survived, 1 unrun
   line 59061: 1 mutants, 0 survived, 1 unrun
   line 59100: 1 mutants, 0 survived, 1 unrun
   line 59139: 1 mutants, 0 survived, 1 unrun
   line 59178: 1 mutants, 0 survived, 1 unrun
   line 59217: 1 mutants, 0 survived, 1 unrun
   line 59256: 1 mutants, 0 survived, 1 unrun
   line 59295: 1 mutants, 0 survived, 1 unrun
   line 59334: 1 mutants, 0 survived, 1 unrun
   line 59373: 1 mutants, 0 survived, 1 unrun
   line 59412: 1 mutants, 0 survived, 1 unrun
   line 59451: 1 mutants, 0 survived, 1 unrun
   line 59490: 1 mutants, 0 survived, 1 unrun
   line 59528: 1 mutants, 0 survived, 1 unrun
   line 59567: 1 mutants, 0 survived, 1 unrun
   line 59606: 1 mutants, 0 survived, 1 unrun
   line 59644: 1 mutants, 0 survived, 1 unrun
   line 59683: 1 mutants, 0 survived, 1 unrun
   line 59721: 1 mutants, 0 survived, 1 unrun
   line 59760: 1 mutants, 0 survived, 1 unrun
   line 59799: 1 mutants, 0 survived, 1 unrun
   line 59837: 1 mutants, 0 survived, 1 unrun
   line 59876: 1 mutants, 0 survived, 1 unrun
   line 59915: 1 mutants, 0 survived, 1 unrun
   line 59953: 1 mutants, 0 survived, 1 unrun
   line 59992: 1 mutants, 0 survived, 1 unrun
   line 60030: 1 mutants, 0 survived, 1 unrun
   line 60069: 1 mutants, 0 survived, 1 unrun
   line 60108: 1 mutants, 0 survived, 1 unrun
   line 60147: 1 mutants, 0 survived, 1 unrun
   line 60186: 1 mutants, 0 survived, 1 unrun
   line 60225: 1 mutants, 0 survived, 1 unrun
   line 60264: 1 mutants, 0 survived, 1 unrun
   line 60303: 1 mutants, 0 survived, 1 unrun
   line 60342: 1 mutants, 0 survived, 1 unrun
== '0 < host.vram_free_bytes' at mutants-copy line(s) [17882, 17949, 18016, 18083, 18150, 18217, 18284, 18351, 18418, 18485, 18552, 18619, 18686, 18753, 18820, 18887, 18953, 19019, 19086, 19153, 19220, 19287, 19354, 19421, 19488, 19555, 19622, 19689, 19756, 19823, 19890, 19957, 20024, 20091, 20158, 20225, 20292, 20359, 20426, 20493, 20560, 20627, 20694, 20761, 20828, 20895, 20962, 21029, 21096, 21163, 21230, 21297, 21364, 21431, 21498, 21565, 21632, 21698, 21765, 21832, 21899, 21966, 22033, 22100, 22167, 22233, 22300, 22367, 22434, 22501, 22568, 22635, 22702, 22769, 22836, 22903, 22970, 23037, 23104, 23171, 23238, 23305, 23372, 23439, 23506, 23573, 23640, 23707, 23774, 23841, 23908, 23975, 24042, 24109, 24176, 24241, 24308, 24375, 24442, 24509, 24575, 24642, 24709, 24776, 24843, 24910, 24977, 25044, 25111, 25177, 25244, 25311, 25378, 25445, 25512, 25579, 25646, 25711, 25778, 25845, 25912, 25979, 26046, 26113, 26180, 26247, 26314, 26381, 26448, 26515, 26582, 26649, 26716, 26783, 26850, 26917, 26984, 27185, 27251, 27318, 27385, 27452, 27519, 27586, 27653, 27720, 27787, 27854, 27921, 27988, 28055, 28122, 28189, 28256, 28323, 28390, 28457, 28524, 28591, 28658, 28725, 28792, 28859, 28926, 28991, 29058, 29125, 29192, 29259, 29326, 29393, 29460, 29527, 29594, 29661, 29728, 29795, 29862, 29929, 29996, 30063, 30130, 30197, 30264, 30331, 30398, 30465, 30532, 30598, 30665, 30731, 30798, 30865, 30931, 30998, 31065, 31131, 31198, 31264, 31331, 31397, 31464, 31531, 31598, 31665, 31732]
   line 17882: 0 mutants, 0 survived, 0 unrun
   line 17949: 1 mutants, 0 survived, 1 unrun
   line 18016: 1 mutants, 0 survived, 1 unrun
   line 18083: 1 mutants, 0 survived, 1 unrun
   line 18150: 1 mutants, 0 survived, 1 unrun
   line 18217: 1 mutants, 0 survived, 1 unrun
   line 18284: 1 mutants, 0 survived, 1 unrun
   line 18351: 1 mutants, 0 survived, 1 unrun
   line 18418: 1 mutants, 0 survived, 1 unrun
   line 18485: 1 mutants, 0 survived, 1 unrun
   line 18552: 1 mutants, 0 survived, 1 unrun
   line 18619: 1 mutants, 0 survived, 1 unrun
   line 18686: 1 mutants, 0 survived, 1 unrun
   line 18753: 1 mutants, 0 survived, 1 unrun
   line 18820: 1 mutants, 0 survived, 1 unrun
   line 18887: 1 mutants, 0 survived, 1 unrun
   line 18953: 1 mutants, 0 survived, 1 unrun
   line 19019: 1 mutants, 0 survived, 1 unrun
   line 19086: 1 mutants, 0 survived, 1 unrun
   line 19153: 1 mutants, 0 survived, 1 unrun
   line 19220: 1 mutants, 0 survived, 1 unrun
   line 19287: 1 mutants, 0 survived, 1 unrun
   line 19354: 1 mutants, 0 survived, 1 unrun
   line 19421: 1 mutants, 0 survived, 1 unrun
   line 19488: 1 mutants, 0 survived, 1 unrun
   line 19555: 1 mutants, 0 survived, 1 unrun
   line 19622: 1 mutants, 0 survived, 1 unrun
   line 19689: 1 mutants, 0 survived, 1 unrun
   line 19756: 1 mutants, 0 survived, 1 unrun
   line 19823: 1 mutants, 0 survived, 1 unrun
   line 19890: 1 mutants, 0 survived, 1 unrun
   line 19957: 1 mutants, 0 survived, 1 unrun
   line 20024: 1 mutants, 0 survived, 1 unrun
   line 20091: 1 mutants, 0 survived, 1 unrun
   line 20158: 1 mutants, 0 survived, 1 unrun
   line 20225: 1 mutants, 0 survived, 1 unrun
   line 20292: 1 mutants, 0 survived, 1 unrun
   line 20359: 1 mutants, 0 survived, 1 unrun
   line 20426: 1 mutants, 0 survived, 1 unrun
   line 20493: 1 mutants, 0 survived, 1 unrun
   line 20560: 1 mutants, 0 survived, 1 unrun
   line 20627: 1 mutants, 0 survived, 1 unrun
   line 20694: 1 mutants, 0 survived, 1 unrun
   line 20761: 1 mutants, 0 survived, 1 unrun
   line 20828: 1 mutants, 0 survived, 1 unrun
   line 20895: 1 mutants, 0 survived, 1 unrun
   line 20962: 1 mutants, 0 survived, 1 unrun
   line 21029: 1 mutants, 0 survived, 1 unrun
   line 21096: 1 mutants, 0 survived, 1 unrun
   line 21163: 1 mutants, 0 survived, 1 unrun
   line 21230: 1 mutants, 0 survived, 1 unrun
   line 21297: 1 mutants, 0 survived, 1 unrun
   line 21364: 1 mutants, 0 survived, 1 unrun
   line 21431: 1 mutants, 0 survived, 1 unrun
   line 21498: 1 mutants, 0 survived, 1 unrun
   line 21565: 1 mutants, 0 survived, 1 unrun
   line 21632: 1 mutants, 0 survived, 1 unrun
   line 21698: 1 mutants, 0 survived, 1 unrun
   line 21765: 1 mutants, 0 survived, 1 unrun
   line 21832: 1 mutants, 0 survived, 1 unrun
   line 21899: 1 mutants, 0 survived, 1 unrun
   line 21966: 1 mutants, 0 survived, 1 unrun
   line 22033: 1 mutants, 0 survived, 1 unrun
   line 22100: 1 mutants, 0 survived, 1 unrun
   line 22167: 1 mutants, 0 survived, 1 unrun
   line 22233: 1 mutants, 0 survived, 1 unrun
   line 22300: 1 mutants, 0 survived, 1 unrun
   line 22367: 1 mutants, 0 survived, 1 unrun
   line 22434: 1 mutants, 0 survived, 1 unrun
   line 22501: 1 mutants, 0 survived, 1 unrun
   line 22568: 1 mutants, 0 survived, 1 unrun
   line 22635: 1 mutants, 0 survived, 1 unrun
   line 22702: 1 mutants, 0 survived, 1 unrun
   line 22769: 1 mutants, 0 survived, 1 unrun
   line 22836: 1 mutants, 0 survived, 1 unrun
   line 22903: 1 mutants, 0 survived, 1 unrun
   line 22970: 1 mutants, 0 survived, 1 unrun
   line 23037: 1 mutants, 0 survived, 1 unrun
   line 23104: 1 mutants, 0 survived, 1 unrun
   line 23171: 1 mutants, 0 survived, 1 unrun
   line 23238: 1 mutants, 0 survived, 1 unrun
   line 23305: 1 mutants, 0 survived, 1 unrun
   line 23372: 1 mutants, 0 survived, 1 unrun
   line 23439: 1 mutants, 0 survived, 1 unrun
   line 23506: 1 mutants, 0 survived, 1 unrun
   line 23573: 1 mutants, 0 survived, 1 unrun
   line 23640: 1 mutants, 0 survived, 1 unrun
   line 23707: 1 mutants, 0 survived, 1 unrun
   line 23774: 1 mutants, 0 survived, 1 unrun
   line 23841: 1 mutants, 0 survived, 1 unrun
   line 23908: 1 mutants, 0 survived, 1 unrun
   line 23975: 1 mutants, 0 survived, 1 unrun
   line 24042: 1 mutants, 0 survived, 1 unrun
   line 24109: 1 mutants, 0 survived, 1 unrun
   line 24176: 1 mutants, 0 survived, 1 unrun
   line 24241: 1 mutants, 0 survived, 1 unrun
   line 24308: 1 mutants, 0 survived, 1 unrun
   line 24375: 1 mutants, 0 survived, 1 unrun
   line 24442: 1 mutants, 0 survived, 1 unrun
   line 24509: 1 mutants, 0 survived, 1 unrun
   line 24575: 1 mutants, 0 survived, 1 unrun
   line 24642: 1 mutants, 0 survived, 1 unrun
   line 24709: 1 mutants, 0 survived, 1 unrun
   line 24776: 1 mutants, 0 survived, 1 unrun
   line 24843: 1 mutants, 0 survived, 1 unrun
   line 24910: 1 mutants, 0 survived, 1 unrun
   line 24977: 1 mutants, 0 survived, 1 unrun
   line 25044: 1 mutants, 0 survived, 1 unrun
   line 25111: 1 mutants, 0 survived, 1 unrun
   line 25177: 1 mutants, 0 survived, 1 unrun
   line 25244: 1 mutants, 0 survived, 1 unrun
   line 25311: 1 mutants, 0 survived, 1 unrun
   line 25378: 1 mutants, 0 survived, 1 unrun
   line 25445: 1 mutants, 0 survived, 1 unrun
   line 25512: 1 mutants, 0 survived, 1 unrun
   line 25579: 1 mutants, 0 survived, 1 unrun
   line 25646: 1 mutants, 0 survived, 1 unrun
   line 25711: 1 mutants, 0 survived, 1 unrun
   line 25778: 1 mutants, 0 survived, 1 unrun
   line 25845: 1 mutants, 0 survived, 1 unrun
   line 25912: 1 mutants, 0 survived, 1 unrun
   line 25979: 1 mutants, 0 survived, 1 unrun
   line 26046: 1 mutants, 0 survived, 1 unrun
   line 26113: 1 mutants, 0 survived, 1 unrun
   line 26180: 1 mutants, 0 survived, 1 unrun
   line 26247: 1 mutants, 0 survived, 1 unrun
   line 26314: 1 mutants, 0 survived, 1 unrun
   line 26381: 1 mutants, 0 survived, 1 unrun
   line 26448: 1 mutants, 0 survived, 1 unrun
   line 26515: 1 mutants, 0 survived, 1 unrun
   line 26582: 1 mutants, 0 survived, 1 unrun
   line 26649: 1 mutants, 0 survived, 1 unrun
   line 26716: 1 mutants, 0 survived, 1 unrun
   line 26783: 1 mutants, 0 survived, 1 unrun
   line 26850: 1 mutants, 0 survived, 1 unrun
   line 26917: 1 mutants, 0 survived, 1 unrun
   line 26984: 1 mutants, 0 survived, 1 unrun
   line 27185: 1 mutants, 0 survived, 1 unrun
   line 27251: 1 mutants, 0 survived, 1 unrun
   line 27318: 1 mutants, 0 survived, 1 unrun
   line 27385: 1 mutants, 0 survived, 1 unrun
   line 27452: 1 mutants, 0 survived, 1 unrun
   line 27519: 1 mutants, 0 survived, 1 unrun
   line 27586: 1 mutants, 0 survived, 1 unrun
   line 27653: 1 mutants, 0 survived, 1 unrun
   line 27720: 1 mutants, 0 survived, 1 unrun
   line 27787: 1 mutants, 0 survived, 1 unrun
   line 27854: 1 mutants, 0 survived, 1 unrun
   line 27921: 1 mutants, 0 survived, 1 unrun
   line 27988: 1 mutants, 0 survived, 1 unrun
   line 28055: 1 mutants, 0 survived, 1 unrun
   line 28122: 1 mutants, 0 survived, 1 unrun
   line 28189: 1 mutants, 0 survived, 1 unrun
   line 28256: 1 mutants, 0 survived, 1 unrun
   line 28323: 1 mutants, 0 survived, 1 unrun
   line 28390: 1 mutants, 0 survived, 1 unrun
   line 28457: 1 mutants, 0 survived, 1 unrun
   line 28524: 1 mutants, 0 survived, 1 unrun
   line 28591: 1 mutants, 0 survived, 1 unrun
   line 28658: 1 mutants, 0 survived, 1 unrun
   line 28725: 1 mutants, 0 survived, 1 unrun
   line 28792: 1 mutants, 0 survived, 1 unrun
   line 28859: 1 mutants, 0 survived, 1 unrun
   line 28926: 1 mutants, 0 survived, 1 unrun
   line 28991: 1 mutants, 0 survived, 1 unrun
   line 29058: 1 mutants, 0 survived, 1 unrun
   line 29125: 1 mutants, 0 survived, 1 unrun
   line 29192: 1 mutants, 0 survived, 1 unrun
   line 29259: 1 mutants, 0 survived, 1 unrun
   line 29326: 1 mutants, 0 survived, 1 unrun
   line 29393: 1 mutants, 0 survived, 1 unrun
   line 29460: 1 mutants, 0 survived, 1 unrun
   line 29527: 1 mutants, 0 survived, 1 unrun
   line 29594: 1 mutants, 0 survived, 1 unrun
   line 29661: 1 mutants, 0 survived, 1 unrun
   line 29728: 1 mutants, 0 survived, 1 unrun
   line 29795: 1 mutants, 0 survived, 1 unrun
   line 29862: 1 mutants, 0 survived, 1 unrun
   line 29929: 1 mutants, 0 survived, 1 unrun
   line 29996: 1 mutants, 0 survived, 1 unrun
   line 30063: 1 mutants, 0 survived, 1 unrun
   line 30130: 1 mutants, 0 survived, 1 unrun
   line 30197: 1 mutants, 0 survived, 1 unrun
   line 30264: 1 mutants, 0 survived, 1 unrun
   line 30331: 1 mutants, 0 survived, 1 unrun
   line 30398: 1 mutants, 0 survived, 1 unrun
   line 30465: 1 mutants, 0 survived, 1 unrun
   line 30532: 1 mutants, 0 survived, 1 unrun
   line 30598: 1 mutants, 0 survived, 1 unrun
   line 30665: 1 mutants, 0 survived, 1 unrun
   line 30731: 1 mutants, 0 survived, 1 unrun
   line 30798: 1 mutants, 0 survived, 1 unrun
   line 30865: 1 mutants, 0 survived, 1 unrun
   line 30931: 1 mutants, 0 survived, 1 unrun
   line 30998: 1 mutants, 0 survived, 1 unrun
   line 31065: 1 mutants, 0 survived, 1 unrun
   line 31131: 1 mutants, 0 survived, 1 unrun
   line 31198: 1 mutants, 0 survived, 1 unrun
   line 31264: 1 mutants, 0 survived, 1 unrun
   line 31331: 1 mutants, 0 survived, 1 unrun
   line 31397: 1 mutants, 0 survived, 1 unrun
   line 31464: 1 mutants, 0 survived, 1 unrun
   line 31531: 1 mutants, 0 survived, 1 unrun
   line 31598: 1 mutants, 0 survived, 1 unrun
   line 31665: 1 mutants, 0 survived, 1 unrun
   line 31732: 1 mutants, 0 survived, 1 unrun
