CLK/OSBindings/Mac/Clock SignalTests/68000 Comparative Tests/ext.json

[{ "name" : "EXT/EXTB 0000", "initial state": {"pc": 256, "sr": 10012, "d0": 772340602, "a0": 220411308, "d1": 1337335346, "a1": 43562480, "d2": 1031310720, "a2": 2010178186, "d3": 898756102, "a3": 852054304, "d4": 2141333770, "a4": 1055745938, "d5": 1865715964, "a5": 1412105258, "d6": 1679477100, "a6": 1411305016, "d7": 446580338, "a7": 2653353136, "usp": 846522796}, "final state": {"pc": 258, "sr": 10001, "d0": 772340511, "a0": 220411308, "d1": 1337335346, "a1": 43562480, "d2": 1031310720, "a2": 2010178186, "d3": 898756102, "a3": 852054304, "d4": 2141333770, "a4": 1055745938, "d5": 1865715964, "a5": 1412105258, "d6": 1679477100, "a6": 1411305016, "d7": 446580338, "a7": 2653353136, "usp": 846522796}, "initial memory": [0, 158, 1, 38, 2, 244, 3, 176, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 0, 258, 56, 259, 196, 260, 96, 261, 46, 262, 200, 263, 98, 264, 8, 265, 20, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0001", "initial state": {"pc": 256, "sr": 10007, "d0": 1305368004, "a0": 264757582, "d1": 627122282, "a1": 194580896, "d2": 194470904, "a2": 1851025144, "d3": 2389600, "a3": 1731501572, "d4": 1507318360, "a4": 796036914, "d5": 1782593314, "a5": 169292788, "d6": 501485908, "a6": 2035539288, "d7": 1747824928, "a7": 4274831580, "usp": 846522796}, "final state": {"pc": 258, "sr": 10001, "d0": 1305368004, "a0": 264757582, "d1": 627122223, "a1": 194580896, "d2": 194470904, "a2": 1851025144, "d3": 2389600, "a3": 1731501572, "d4": 1507318360, "a4": 796036914, "d5": 1782593314, "a5": 169292788, "d6": 501485908, "a6": 2035539288, "d7": 1747824928, "a7": 4274831580, "usp": 846522796}, "initial memory": [0, 254, 1, 204, 2, 192, 3, 220, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 1, 258, 184, 259, 86, 260, 8, 261, 218, 262, 248, 263, 82, 264, 176, 265, 122, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0002", "initial state": {"pc": 256, "sr": 9996, "d0": 1632580104, "a0": 1601325780, "d1": 375267016, "a1": 1217320256, "d2": 2100750320, "a2": 424837622, "d3": 531987912, "a3": 2010287132, "d4": 1146431330, "a4": 535626080, "d5": 848082426, "a5": 16078336, "d6": 872368642, "a6": 1793137276, "d7": 1028924832, "a7": 1284162246, "usp": 846522796}, "final state": {"pc": 258, "sr": 10009, "d0": 1632580104, "a0": 1601325780, "d1": 375267016, "a1": 1217320256, "d2": 2100750256, "a2": 424837622, "d3": 531987912, "a3": 2010287132, "d4": 1146431330, "a4": 535626080, "d5": 848082426, "a5": 16078336, "d6": 872368642, "a6": 1793137276, "d7": 1028924832, "a7": 1284162246, "usp": 846522796}, "initial memory": [0, 76, 1, 138, 2, 194, 3, 198, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 2, 258, 160, 259, 250, 260, 96, 261, 250, 262, 224, 263, 242, 264, 24, 265, 174, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0003", "initial state": {"pc": 256, "sr": 9992, "d0": 2048719990, "a0": 2048302614, "d1": 84075932, "a1": 1659188894, "d2": 19949398, "a2": 912601970, "d3": 282083254, "a3": 773102916, "d4": 1476841048, "a4": 1264644862, "d5": 651518516, "a5": 1240541274, "d6": 52599166, "a6": 2005963848, "d7": 1418404044, "a7": 3353563706, "usp": 846522796}, "final state": {"pc": 258, "sr": 10009, "d0": 2048719990, "a0": 2048302614, "d1": 84075932, "a1": 1659188894, "d2": 19949398, "a2": 912601970, "d3": 282083300, "a3": 773102916, "d4": 1476841048, "a4": 1264644862, "d5": 651518516, "a5": 1240541274, "d6": 52599166, "a6": 2005963848, "d7": 1418404044, "a7": 3353563706, "usp": 846522796}, "initial memory": [0, 199, 1, 227, 2, 82, 3, 58, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 3, 258, 184, 259, 64, 260, 96, 261, 248, 262, 184, 263, 156, 264, 8, 265, 156, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0004", "initial state": {"pc": 256, "sr": 9993, "d0": 990107518, "a0": 1192129862, "d1": 2033774876, "a1": 104164124, "d2": 157148440, "a2": 487259762, "d3": 1936428916, "a3": 1019690730, "d4": 446137734, "a4": 1022596050, "d5": 1371483660, "a5": 460185408, "d6": 1583907176, "a6": 1247556216, "d7": 520618820, "a7": 2668518164, "usp": 846522796}, "final state": {"pc": 258, "sr": 10001, "d0": 990107518, "a0": 1192129862, "d1": 2033774876, "a1": 104164124, "d2": 157148440, "a2": 487259762, "d3": 1936428916, "a3": 1019690730, "d4": 446137620, "a4": 1022596050, "d5": 1371483660, "a5": 460185408, "d6": 1583907176, "a6": 1247556216, "d7": 520618820, "a7": 2668518164, "usp": 846522796}, "initial memory": [0, 159, 1, 14, 2, 91, 3, 20, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 4, 258, 64, 259, 204, 260, 216, 261, 254, 262, 64, 263, 166, 264, 192, 265, 52, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0005", "initial state": {"pc": 256, "sr": 10003, "d0": 1334420240, "a0": 882517474, "d1": 1429248058, "a1": 1949119336, "d2": 1767535918, "a2": 1133128814, "d3": 834884874, "a3": 610995302, "d4": 251944626, "a4": 1878724406, "d5": 1743077752, "a5": 1269046608, "d6": 2083349136, "a6": 58758652, "d7": 128081224, "a7": 867814820, "usp": 846522796}, "final state": {"pc": 258, "sr": 10001, "d0": 1334420240, "a0": 882517474, "d1": 1429248058, "a1": 1949119336, "d2": 1767535918, "a2": 1133128814, "d3": 834884874, "a3": 610995302, "d4": 251944626, "a4": 1878724406, "d5": 1743077665, "a5": 1269046608, "d6": 2083349136, "a6": 58758652, "d7": 128081224, "a7": 867814820, "usp": 846522796}, "initial memory": [0, 51, 1, 185, 2, 205, 3, 164, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 5, 258, 232, 259, 170, 260, 160, 261, 118, 262, 248, 263, 228, 264, 16, 265, 178, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0006", "initial state": {"pc": 256, "sr": 9993, "d0": 241599824, "a0": 1705231738, "d1": 1824165944, "a1": 1660551350, "d2": 1280493042, "a2": 189079844, "d3": 1312947114, "a3": 1736641002, "d4": 1307672072, "a4": 1275074236, "d5": 696887512, "a5": 433387846, "d6": 212620252, "a6": 1832480744, "d7": 95803562, "a7": 2518622490, "usp": 846522796}, "final state": {"pc": 258, "sr": 10009, "d0": 241599824, "a0": 1705231738, "d1": 1824165944, "a1": 1660551350, "d2": 1280493042, "a2": 189079844, "d3": 1312947114, "a3": 1736641002, "d4": 1307672072, "a4": 1275074236, "d5": 696887512, "a5": 433387846, "d6": 212620222, "a6": 1832480744, "d7": 95803562, "a7": 2518622490, "usp": 846522796}, "initial memory": [0, 150, 1, 31, 2, 33, 3, 26, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 6, 258, 56, 259, 12, 260, 200, 261, 136, 262, 80, 263, 90, 264, 64, 265, 228, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0007", "initial state": {"pc": 256, "sr": 10006, "d0": 1433800516, "a0": 730122140, "d1": 971269424, "a1": 441264828, "d2": 1102025128, "a2": 1076947912, "d3": 1837354568, "a3": 1271380068, "d4": 1750864162, "a4": 622515226, "d5": 1953056346, "a5": 73075198, "d6": 730479634, "a6": 1961690348, "d7": 7198738, "a7": 4188572258, "usp": 846522796}, "final state": {"pc": 258, "sr": 10009, "d0": 1433800516, "a0": 730122140, "d1": 971269424, "a1": 441264828, "d2": 1102025128, "a2": 1076947912, "d3": 1837354568, "a3": 1271380068, "d4": 1750864162, "a4": 622515226, "d5": 1953056346, "a5": 73075198, "d6": 730479634, "a6": 1961690348, "d7": 7198855, "a7": 4188572258, "usp": 846522796}, "initial memory": [0, 249, 1, 168, 2, 138, 3, 98, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 7, 258, 240, 259, 88, 260, 176, 261, 98, 262, 64, 263, 84, 264, 192, 265, 50, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0008", "initial state": {"pc": 256, "sr": 10013, "d0": 501023932, "a0": 1592212852, "d1": 425845236, "a1": 527695104, "d2": 1765386454, "a2": 2011634464, "d3": 1216082232, "a3": 1705398534, "d4": 1092221532, "a4": 168924428, "d5": 277073768, "a5": 139496868, "d6": 1034272080, "a6": 1619218406, "d7": 1278209742, "a7": 4053891706, "usp": 846522796}, "final state": {"pc": 258, "sr": 10000, "d0": 79437277, "a0": 1592212852, "d1": 425845236, "a1": 527695104, "d2": 1765386454, "a2": 2011634464, "d3": 1216082232, "a3": 1705398534, "d4": 1092221532, "a4": 168924428, "d5": 277073768, "a5": 139496868, "d6": 1034272080, "a6": 1619218406, "d7": 1278209742, "a7": 4053891706, "usp": 846522796}, "initial memory": [0, 241, 1, 161, 2, 122, 3, 122, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 64, 258, 56, 259, 242, 260, 224, 261, 202, 262, 56, 263, 224, 264, 40, 265, 72, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0009", "initial state": {"pc": 256, "sr": 9997, "d0": 1311723206, "a0": 1827065374, "d1": 64803140, "a1": 619072364, "d2": 372164950, "a2": 190968840, "d3": 1503951392, "a3": 1272725262, "d4": 1028536960, "a4": 1756354314, "d5": 1524828824, "a5": 1884227382, "d6": 1875685316, "a6": 1415767418, "d7": 1730668506, "a7": 2757283314, "usp": 846522796}, "final state": {"pc": 258, "sr": 9992, "d0": 1311723206, "a0": 1827065374, "d1": 3510895580, "a1": 619072364, "d2": 372164950, "a2": 190968840, "d3": 1503951392, "a3": 1272725262, "d4": 1028536960, "a4": 1756354314, "d5": 1524828824, "a5": 1884227382, "d6": 1875685316, "a6": 1415767418, "d7": 1730668506, "a7": 2757283314, "usp": 846522796}, "initial memory": [0, 164, 1, 88, 2, 205, 3, 242, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 65, 258, 104, 259, 182, 260, 144, 261, 6, 262, 192, 263, 54, 264, 40, 265, 42, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 000a", "initial state": {"pc": 256, "sr": 9993, "d0": 921176698, "a0": 587257218, "d1": 1007152062, "a1": 197221314, "d2": 738617186, "a2": 1131357076, "d3": 1483582248, "a3": 898182600, "d4": 134233626, "a4": 1092420244, "d5": 1206722832, "a5": 1469342704, "d6": 555075156, "a6": 1328386082, "d7": 479184324, "a7": 2461944034, "usp": 846522796}, "final state": {"pc": 258, "sr": 9984, "d0": 921176698, "a0": 587257218, "d1": 1007152062, "a1": 197221314, "d2": 1734487046, "a2": 1131357076, "d3": 1483582248, "a3": 898182600, "d4": 134233626, "a4": 1092420244, "d5": 1206722832, "a5": 1469342704, "d6": 555075156, "a6": 1328386082, "d7": 479184324, "a7": 2461944034, "usp": 846522796}, "initial memory": [0, 146, 1, 190, 2, 72, 3, 226, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 66, 258, 200, 259, 250, 260, 224, 261, 214, 262, 112, 263, 202, 264, 192, 265, 142, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 000b", "initial state": {"pc": 256, "sr": 9990, "d0": 334180246, "a0": 179905822, "d1": 897657616, "a1": 20175378, "d2": 858948744, "a2": 1932645466, "d3": 966465274, "a3": 1282202994, "d4": 1963037856, "a4": 2134806160, "d5": 985993738, "a5": 1677840690, "d6": 1612934314, "a6": 860724880, "d7": 900939316, "a7": 2504358210, "usp": 846522796}, "final state": {"pc": 258, "sr": 9984, "d0": 334180246, "a0": 179905822, "d1": 897657616, "a1": 20175378, "d2": 858948744, "a2": 1932645466, "d3": 385497499, "a3": 1282202994, "d4": 1963037856, "a4": 2134806160, "d5": 985993738, "a5": 1677840690, "d6": 1612934314, "a6": 860724880, "d7": 900939316, "a7": 2504358210, "usp": 846522796}, "initial memory": [0, 149, 1, 69, 2, 121, 3, 66, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 67, 258, 248, 259, 60, 260, 128, 261, 26, 262, 152, 263, 160, 264, 56, 265, 130, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 000c", "initial state": {"pc": 256, "sr": 9989, "d0": 1346923186, "a0": 2117695516, "d1": 1112880882, "a1": 1862072488, "d2": 1753902050, "a2": 573118084, "d3": 1471232434, "a3": 931497800, "d4": 876823486, "a4": 527737970, "d5": 739560294, "a5": 584599680, "d6": 154529228, "a6": 629136734, "d7": 865022580, "a7": 927434214, "usp": 846522796}, "final state": {"pc": 258, "sr": 9984, "d0": 1346923186, "a0": 2117695516, "d1": 1112880882, "a1": 1862072488, "d2": 1753902050, "a2": 573118084, "d3": 1471232434, "a3": 931497800, "d4": 1136538691, "a4": 527737970, "d5": 739560294, "a5": 584599680, "d6": 154529228, "a6": 629136734, "d7": 865022580, "a7": 927434214, "usp": 846522796}, "initial memory": [0, 55, 1, 71, 2, 133, 3, 230, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 68, 258, 40, 259, 0, 260, 192, 261, 68, 262, 208, 263, 142, 264, 208, 265, 186, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 000d", "initial state": {"pc": 256, "sr": 10000, "d0": 1927768532, "a0": 1425574510, "d1": 919935034, "a1": 155739990, "d2": 1613358492, "a2": 1886946690, "d3": 1587648022, "a3": 2022020388, "d4": 1115991778, "a4": 167947340, "d5": 351656754, "a5": 897448028, "d6": 420084740, "a6": 1631370522, "d7": 1585494298, "a7": 1621962614, "usp": 846522796}, "final state": {"pc": 258, "sr": 10008, "d0": 1927768532, "a0": 1425574510, "d1": 919935034, "a1": 155739990, "d2": 1613358492, "a2": 1886946690, "d3": 1587648022, "a3": 2022020388, "d4": 1115991778, "a4": 167947340, "d5": 3677492469, "a5": 897448028, "d6": 420084740, "a6": 1631370522, "d7": 1585494298, "a7": 1621962614, "usp": 846522796}, "initial memory": [0, 96, 1, 173, 2, 47, 3, 118, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 69, 258, 216, 259, 2, 260, 72, 261, 20, 262, 160, 263, 82, 264, 88, 265, 186, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 000e", "initial state": {"pc": 256, "sr": 9993, "d0": 735978032, "a0": 676419950, "d1": 76977104, "a1": 1959156078, "d2": 969031434, "a2": 169460302, "d3": 2142816036, "a3": 555979792, "d4": 1008373668, "a4": 651016046, "d5": 1942796406, "a5": 197520464, "d6": 90343006, "a6": 1864203832, "d7": 123980220, "a7": 2954564278, "usp": 846522796}, "final state": {"pc": 258, "sr": 9992, "d0": 735978032, "a0": 676419950, "d1": 76977104, "a1": 1959156078, "d2": 969031434, "a2": 169460302, "d3": 2142816036, "a3": 555979792, "d4": 1008373668, "a4": 651016046, "d5": 1942796406, "a5": 197520464, "d6": 2254308706, "a6": 1864203832, "d7": 123980220, "a7": 2954564278, "usp": 846522796}, "initial memory": [0, 176, 1, 27, 2, 18, 3, 182, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 70, 258, 216, 259, 50, 260, 232, 261, 206, 262, 168, 263, 152, 264, 136, 265, 114, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 000f", "initial state": {"pc": 256, "sr": 9992, "d0": 1761063346, "a0": 1652412244, "d1": 1572033268, "a1": 834078710, "d2": 671826234, "a2": 1735131808, "d3": 2061999366, "a3": 1679854442, "d4": 2079732722, "a4": 346116392, "d5": 1624036888, "a5": 1792484268, "d6": 670840052, "a6": 1382492160, "d7": 519624020, "a7": 701349380, "usp": 846522796}, "final state": {"pc": 258, "sr": 9992, "d0": 1761063346, "a0": 1652412244, "d1": 1572033268, "a1": 834078710, "d2": 671826234, "a2": 1735131808, "d3": 2061999366, "a3": 1679854442, "d4": 2079732722, "a4": 346116392, "d5": 1624036888, "a5": 1792484268, "d6": 670840052, "a6": 1382492160, "d7": 3579059960, "a7": 701349380, "usp": 846522796}, "initial memory": [0, 41, 1, 205, 2, 190, 3, 4, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 71, 258, 128, 259, 192, 260, 216, 261, 210, 262, 24, 263, 224, 264, 56, 265, 110, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0010", "initial state": {"pc": 256, "sr": 9988, "d0": 1016711494, "a0": 407893642, "d1": 342717286, "a1": 700656676, "d2": 498284548, "a2": 1283933838, "d3": 1629658582, "a3": 1160330210, "d4": 665370642, "a4": 370841062, "d5": 937046972, "a5": 728202246, "d6": 1450874952, "a6": 385861076, "d7": 178523386, "a7": 3722191648, "usp": 846522796}, "final state": {"pc": 258, "sr": 9984, "d0": 1016660038, "a0": 407893642, "d1": 342717286, "a1": 700656676, "d2": 498284548, "a2": 1283933838, "d3": 1629658582, "a3": 1160330210, "d4": 665370642, "a4": 370841062, "d5": 937046972, "a5": 728202246, "d6": 1450874952, "a6": 385861076, "d7": 178523386, "a7": 3722191648, "usp": 846522796}, "initial memory": [0, 221, 1, 220, 2, 35, 3, 32, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 128, 258, 240, 259, 206, 260, 208, 261, 72, 262, 208, 263, 162, 264, 64, 265, 50, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0011", "initial state": {"pc": 256, "sr": 9987, "d0": 576540412, "a0": 1192978614, "d1": 468489220, "a1": 1484253912, "d2": 1223270638, "a2": 685472238, "d3": 1648660134, "a3": 1629638364, "d4": 49391704, "a4": 325566716, "d5": 1197681386, "a5": 11480062, "d6": 1066831170, "a6": 1819374258, "d7": 890522194, "a7": 3467015722, "usp": 846522796}, "final state": {"pc": 258, "sr": 9984, "d0": 576540412, "a0": 1192978614, "d1": 468451332, "a1": 1484253912, "d2": 1223270638, "a2": 685472238, "d3": 1648660134, "a3": 1629638364, "d4": 49391704, "a4": 325566716, "d5": 1197681386, "a5": 11480062, "d6": 1066831170, "a6": 1819374258, "d7": 890522194, "a7": 3467015722, "usp": 846522796}, "initial memory": [0, 206, 1, 166, 2, 118, 3, 42, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 129, 258, 128, 259, 138, 260, 240, 261, 230, 262, 224, 263, 56, 264, 200, 265, 210, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0012", "initial state": {"pc": 256, "sr": 9984, "d0": 1448631390, "a0": 209968164, "d1": 1125682498, "a1": 619317134, "d2": 14813816, "a2": 9834128, "d3": 2015186106, "a3": 2073448930, "d4": 1268303512, "a4": 1239043448, "d5": 454446062, "a5": 454305576, "d6": 1423115302, "a6": 1209467554, "d7": 1773504074, "a7": 52039724, "usp": 846522796}, "final state": {"pc": 258, "sr": 9984, "d0": 1448631390, "a0": 209968164, "d1": 1125682498, "a1": 619317134, "d2": 14811256, "a2": 9834128, "d3": 2015186106, "a3": 2073448930, "d4": 1268303512, "a4": 1239043448, "d5": 454446062, "a5": 454305576, "d6": 1423115302, "a6": 1209467554, "d7": 1773504074, "a7": 52039724, "usp": 846522796}, "initial memory": [0, 3, 1, 26, 2, 16, 3, 44, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 130, 258, 192, 259, 138, 260, 104, 261, 40, 262, 88, 263, 210, 264, 224, 265, 110, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0013", "initial state": {"pc": 256, "sr": 10013, "d0": 1321945366, "a0": 609543876, "d1": 69971306, "a1": 1106944548, "d2": 1334201840, "a2": 766201082, "d3": 2053566552, "a3": 1229637762, "d4": 2083365334, "a4": 1286730852, "d5": 400304202, "a5": 925121080, "d6": 1993957416, "a6": 728404086, "d7": 959996084, "a7": 676100116, "usp": 846522796}, "final state": {"pc": 258, "sr": 10000, "d0": 1321945366, "a0": 609543876, "d1": 69971306, "a1": 1106944548, "d2": 1334201840, "a2": 766201082, "d3": 2053505112, "a3": 1229637762, "d4": 2083365334, "a4": 1286730852, "d5": 400304202, "a5": 925121080, "d6": 1993957416, "a6": 728404086, "d7": 959996084, "a7": 676100116, "usp": 846522796}, "initial memory": [0, 40, 1, 76, 2, 120, 3, 20, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 131, 258, 160, 259, 50, 260, 248, 261, 204, 262, 224, 263, 54, 264, 208, 265, 198, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0014", "initial state": {"pc": 256, "sr": 9999, "d0": 1324147720, "a0": 63630110, "d1": 577696178, "a1": 2131903018, "d2": 566112366, "a2": 129373330, "d3": 1297979152, "a3": 1124123352, "d4": 996721438, "a4": 1727551212, "d5": 1524761866, "a5": 974312644, "d6": 750322210, "a6": 709799332, "d7": 641425092, "a7": 3391916824, "usp": 846522796}, "final state": {"pc": 258, "sr": 9984, "d0": 1324147720, "a0": 63630110, "d1": 577696178, "a1": 2131903018, "d2": 566112366, "a2": 129373330, "d3": 1297979152, "a3": 1124123352, "d4": 996671518, "a4": 1727551212, "d5": 1524761866, "a5": 974312644, "d6": 750322210, "a6": 709799332, "d7": 641425092, "a7": 3391916824, "usp": 846522796}, "initial memory": [0, 202, 1, 44, 2, 139, 3, 24, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 132, 258, 192, 259, 182, 260, 176, 261, 6, 262, 88, 263, 206, 264, 160, 265, 228, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0015", "initial state": {"pc": 256, "sr": 9985, "d0": 1731766374, "a0": 359886788, "d1": 951580026, "a1": 1303312770, "d2": 894794580, "a2": 444542796, "d3": 2132009766, "a3": 335181266, "d4": 1923486966, "a4": 541931580, "d5": 1974116078, "a5": 765934940, "d6": 346576796, "a6": 1051556462, "d7": 940559708, "a7": 2775701066, "usp": 846522796}, "final state": {"pc": 258, "sr": 9992, "d0": 1731766374, "a0": 359886788, "d1": 951580026, "a1": 1303312770, "d2": 894794580, "a2": 444542796, "d3": 2132009766, "a3": 335181266, "d4": 1923486966, "a4": 541931580, "d5": 1974140910, "a5": 765934940, "d6": 346576796, "a6": 1051556462, "d7": 940559708, "a7": 2775701066, "usp": 846522796}, "initial memory": [0, 165, 1, 113, 2, 214, 3, 74, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 133, 258, 184, 259, 184, 260, 128, 261, 202, 262, 72, 263, 42, 264, 152, 265, 250, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0016", "initial state": {"pc": 256, "sr": 10013, "d0": 1664055990, "a0": 393515444, "d1": 1109505856, "a1": 1711935002, "d2": 864414890, "a2": 505676108, "d3": 494201082, "a3": 1305555976, "d4": 1718322224, "a4": 1638884040, "d5": 481550718, "a5": 1098803858, "d6": 1704552336, "a6": 1384560852, "d7": 979276978, "a7": 1185384264, "usp": 846522796}, "final state": {"pc": 258, "sr": 10008, "d0": 1664055990, "a0": 393515444, "d1": 1109505856, "a1": 1711935002, "d2": 864414890, "a2": 505676108, "d3": 494201082, "a3": 1305555976, "d4": 1718322224, "a4": 1638884040, "d5": 481550718, "a5": 1098803858, "d6": 1704591248, "a6": 1384560852, "d7": 979276978, "a7": 1185384264, "usp": 846522796}, "initial memory": [0, 70, 1, 167, 2, 135, 3, 72, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 134, 258, 56, 259, 58, 260, 16, 261, 10, 262, 184, 263, 62, 264, 168, 265, 52, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0017", "initial state": {"pc": 256, "sr": 10002, "d0": 1152408258, "a0": 993742420, "d1": 370596720, "a1": 848530220, "d2": 916496740, "a2": 1956008266, "d3": 1807992896, "a3": 951275192, "d4": 42998022, "a4": 66416836, "d5": 1113250362, "a5": 1723749858, "d6": 1521301470, "a6": 1509482182, "d7": 573505108, "a7": 3187485258, "usp": 846522796}, "final state": {"pc": 258, "sr": 10000, "d0": 1152408258, "a0": 993742420, "d1": 370596720, "a1": 848530220, "d2": 916496740, "a2": 1956008266, "d3": 1807992896, "a3": 951275192, "d4": 42998022, "a4": 66416836, "d5": 1113250362, "a5": 1723749858, "d6": 1521301470, "a6": 1509482182, "d7": 573440084, "a7": 3187485258, "usp": 846522796}, "initial memory": [0, 189, 1, 253, 2, 42, 3, 74, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 135, 258, 72, 259, 18, 260, 232, 261, 16, 262, 136, 263, 170, 264, 192, 265, 166, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0018", "initial state": {"pc": 256, "sr": 10001, "d0": 245732728, "a0": 1069155548, "d1": 418923122, "a1": 1301637594, "d2": 1389516588, "a2": 207130368, "d3": 1868117038, "a3": 169119996, "d4": 1232138526, "a4": 1278907790, "d5": 367398460, "a5": 439420514, "d6": 850448902, "a6": 144316764, "d7": 1991025128, "a7": 2036626138, "usp": 846522796}, "final state": {"pc": 258, "sr": 10008, "d0": 4294940024, "a0": 1069155548, "d1": 418923122, "a1": 1301637594, "d2": 1389516588, "a2": 207130368, "d3": 1868117038, "a3": 169119996, "d4": 1232138526, "a4": 1278907790, "d5": 367398460, "a5": 439420514, "d6": 850448902, "a6": 144316764, "d7": 1991025128, "a7": 2036626138, "usp": 846522796}, "initial memory": [0, 121, 1, 100, 2, 114, 3, 218, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 192, 258, 224, 259, 200, 260, 128, 261, 120, 262, 144, 263, 6, 264, 40, 265, 32, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0019", "initial state": {"pc": 256, "sr": 9994, "d0": 416860586, "a0": 788805618, "d1": 1084229194, "a1": 1039468794, "d2": 1241335570, "a2": 572569220, "d3": 323294384, "a3": 296658332, "d4": 475101784, "a4": 1627058044, "d5": 691500948, "a5": 2055268256, "d6": 2022435926, "a6": 619133404, "d7": 709443566, "a7": 1185749576, "usp": 846522796}, "final state": {"pc": 258, "sr": 9984, "d0": 416860586, "a0": 788805618, "d1": 1610, "a1": 1039468794, "d2": 1241335570, "a2": 572569220, "d3": 323294384, "a3": 296658332, "d4": 475101784, "a4": 1627058044, "d5": 691500948, "a5": 2055268256, "d6": 2022435926, "a6": 619133404, "d7": 709443566, "a7": 1185749576, "usp": 846522796}, "initial memory": [0, 70, 1, 173, 2, 26, 3, 72, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 193, 258, 56, 259, 74, 260, 192, 261, 200, 262, 208, 263, 224, 264, 24, 265, 114, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 001a", "initial state": {"pc": 256, "sr": 10011, "d0": 1454637698, "a0": 2144806268, "d1": 1141952838, "a1": 98447734, "d2": 739995026, "a2": 1048657148, "d3": 1018619012, "a3": 382395506, "d4": 190100800, "a4": 1650214324, "d5": 1715962510, "a5": 400859270, "d6": 1624026814, "a6": 585550250, "d7": 501509528, "a7": 2377583734, "usp": 846522796}, "final state": {"pc": 258, "sr": 10000, "d0": 1454637698, "a0": 2144806268, "d1": 1141952838, "a1": 98447734, "d2": 28050, "a2": 1048657148, "d3": 1018619012, "a3": 382395506, "d4": 190100800, "a4": 1650214324, "d5": 1715962510, "a5": 400859270, "d6": 1624026814, "a6": 585550250, "d7": 501509528, "a7": 2377583734, "usp": 846522796}, "initial memory": [0, 141, 1, 183, 2, 12, 3, 118, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 194, 258, 0, 259, 72, 260, 8, 261, 24, 262, 200, 263, 90, 264, 128, 265, 46, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 001b", "initial state": {"pc": 256, "sr": 9993, "d0": 1574553600, "a0": 1152891730, "d1": 81390026, "a1": 2053842876, "d2": 2122567490, "a2": 285075054, "d3": 2140944112, "a3": 220416120, "d4": 1759201706, "a4": 124454572, "d5": 348220846, "a5": 58919426, "d6": 654820646, "a6": 268831514, "d7": 1864406900, "a7": 2999403978, "usp": 846522796}, "final state": {"pc": 258, "sr": 9984, "d0": 1574553600, "a0": 1152891730, "d1": 81390026, "a1": 2053842876, "d2": 2122567490, "a2": 285075054, "d3": 14064, "a3": 220416120, "d4": 1759201706, "a4": 124454572, "d5": 348220846, "a5": 58919426, "d6": 654820646, "a6": 268831514, "d7": 1864406900, "a7": 2999403978, "usp": 846522796}, "initial memory": [0, 178, 1, 199, 2, 69, 3, 202, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 195, 258, 16, 259, 126, 260, 120, 261, 134, 262, 88, 263, 228, 264, 216, 265, 48, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 001c", "initial state": {"pc": 256, "sr": 10013, "d0": 1067828332, "a0": 573698730, "d1": 469937944, "a1": 2100463726, "d2": 1949671596, "a2": 10186656, "d3": 1825028046, "a3": 1555919278, "d4": 737439020, "a4": 426952634, "d5": 1009499110, "a5": 1050055010, "d6": 1530730470, "a6": 253958830, "d7": 132918230, "a7": 1800465082, "usp": 846522796}, "final state": {"pc": 258, "sr": 10000, "d0": 1067828332, "a0": 573698730, "d1": 469937944, "a1": 2100463726, "d2": 1949671596, "a2": 10186656, "d3": 1825028046, "a3": 1555919278, "d4": 27948, "a4": 426952634, "d5": 1009499110, "a5": 1050055010, "d6": 1530730470, "a6": 253958830, "d7": 132918230, "a7": 1800465082, "usp": 846522796}, "initial memory": [0, 107, 1, 80, 2, 234, 3, 186, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 196, 258, 56, 259, 250, 260, 224, 261, 224, 262, 40, 263, 46, 264, 88, 265, 18, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 001d", "initial state": {"pc": 256, "sr": 9989, "d0": 612883506, "a0": 972417910, "d1": 1401531136, "a1": 1077259700, "d2": 1933179262, "a2": 69150042, "d3": 1663777778, "a3": 416119674, "d4": 728547258, "a4": 1516606286, "d5": 1889510466, "a5": 1118442558, "d6": 14230226, "a6": 739726922, "d7": 796723564, "a7": 730593006, "usp": 846522796}, "final state": {"pc": 258, "sr": 9992, "d0": 612883506, "a0": 972417910, "d1": 1401531136, "a1": 1077259700, "d2": 1933179262, "a2": 69150042, "d3": 1663777778, "a3": 416119674, "d4": 728547258, "a4": 1516606286, "d5": 4294943810, "a5": 1118442558, "d6": 14230226, "a6": 739726922, "d7": 796723564, "a7": 730593006, "usp": 846522796}, "initial memory": [0, 43, 1, 139, 2, 246, 3, 238, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 197, 258, 160, 259, 88, 260, 144, 261, 110, 262, 56, 263, 144, 264, 224, 265, 36, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 001e", "initial state": {"pc": 256, "sr": 10007, "d0": 777773962, "a0": 385570766, "d1": 314036852, "a1": 1329717970, "d2": 1650050884, "a2": 1855091108, "d3": 1948890484, "a3": 1348665010, "d4": 1581780544, "a4": 322928984, "d5": 1285536794, "a5": 776274926, "d6": 183941098, "a6": 889525756, "d7": 1269066052, "a7": 2576870876, "usp": 846522796}, "final state": {"pc": 258, "sr": 10008, "d0": 777773962, "a0": 385570766, "d1": 314036852, "a1": 1329717970, "d2": 1650050884, "a2": 1855091108, "d3": 1948890484, "a3": 1348665010, "d4": 1581780544, "a4": 322928984, "d5": 1285536794, "a5": 776274926, "d6": 4294948842, "a6": 889525756, "d7": 1269066052, "a7": 2576870876, "usp": 846522796}, "initial memory": [0, 153, 1, 151, 2, 237, 3, 220, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 198, 258, 128, 259, 208, 260, 192, 261, 178, 262, 80, 263, 30, 264, 144, 265, 82, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 001f", "initial state": {"pc": 256, "sr": 10002, "d0": 1697027254, "a0": 2111825768, "d1": 1206758978, "a1": 1993448806, "d2": 1162580978, "a2": 1001722402, "d3": 1692276840, "a3": 1824101580, "d4": 823429012, "a4": 198727294, "d5": 986783416, "a5": 672575980, "d6": 2000150578, "a6": 1778061698, "d7": 1969237954, "a7": 3708369110, "usp": 846522796}, "final state": {"pc": 258, "sr": 10000, "d0": 1697027254, "a0": 2111825768, "d1": 1206758978, "a1": 1993448806, "d2": 1162580978, "a2": 1001722402, "d3": 1692276840, "a3": 1824101580, "d4": 823429012, "a4": 198727294, "d5": 986783416, "a5": 672575980, "d6": 2000150578, "a6": 1778061698, "d7": 12226, "a7": 3708369110, "usp": 846522796}, "initial memory": [0, 221, 1, 9, 2, 56, 3, 214, 4, 0, 5, 0, 6, 1, 7, 0, 256, 72, 257, 199, 258, 56, 259, 60, 260, 168, 261, 134, 262, 16, 263, 224, 264, 208, 265, 22, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0031", "initial state": {"pc": 256, "sr": 10006, "d0": 2075559230, "a0": 1495165754, "d1": 199633548, "a1": 1544690738, "d2": 871601428, "a2": 687424982, "d3": 1019261016, "a3": 89668420, "d4": 242843792, "a4": 1671115200, "d5": 1256699650, "a5": 1642030934, "d6": 849366112, "a6": 301560140, "d7": 972442774, "a7": 424839416, "usp": 846522796}, "final state": {"pc": 338720434, "sr": 10008, "d0": 2075559230, "a0": 1495165754, "d1": 199633548, "a1": 1544690738, "d2": 871601428, "a2": 687424982, "d3": 1019261016, "a3": 89668420, "d4": 242843792, "a4": 1671115200, "d5": 1256699650, "a5": 1642030934, "d6": 849366112, "a6": 301560140, "d7": 972442774, "a7": 424839410, "usp": 846522796}, "initial memory": [0, 25, 1, 82, 2, 136, 3, 248, 4, 0, 5, 0, 6, 1, 7, 0, 24, 20, 25, 48, 26, 118, 27, 178, 256, 73, 257, 129, 258, 160, 259, 36, 260, 160, 261, 104, 262, 16, 263, 140, 264, 152, 265, 90, -1], "final memory": [5409010, 39, 5409011, 24, 5409014, 1, 5409015, 2, -1]},
{ "name" : "EXT/EXTB 0032", "initial state": {"pc": 256, "sr": 9986, "d0": 434044160, "a0": 999894256, "d1": 2125748714, "a1": 1163222816, "d2": 1920701512, "a2": 1742246678, "d3": 256147286, "a3": 1000390300, "d4": 1510224020, "a4": 910316544, "d5": 1225897054, "a5": 1016653780, "d6": 693677260, "a6": 1520184928, "d7": 2092472904, "a7": 1679541980, "usp": 846522796}, "final state": {"pc": 1692810276, "sr": 9984, "d0": 434044160, "a0": 999894256, "d1": 2125748714, "a1": 1163222816, "d2": 1920701512, "a2": 1742246678, "d3": 256147286, "a3": 1000390300, "d4": 1510224020, "a4": 910316544, "d5": 1225897054, "a5": 1016653780, "d6": 693677260, "a6": 1520184928, "d7": 2092472904, "a7": 1679541974, "usp": 846522796}, "initial memory": [0, 100, 1, 27, 2, 198, 3, 220, 4, 0, 5, 0, 6, 1, 7, 0, 24, 100, 25, 230, 26, 60, 27, 36, 256, 73, 257, 130, 258, 240, 259, 206, 260, 8, 261, 56, 262, 80, 263, 20, 264, 248, 265, 86, -1], "final memory": [1820374, 39, 1820378, 1, 1820379, 2, -1]},
{ "name" : "EXT/EXTB 0033", "initial state": {"pc": 256, "sr": 9990, "d0": 1762920498, "a0": 891185446, "d1": 572949034, "a1": 1602853550, "d2": 237741290, "a2": 1124763688, "d3": 1398277610, "a3": 1752260128, "d4": 938242148, "a4": 1792736792, "d5": 63378322, "a5": 1331695734, "d6": 47568942, "a6": 735632304, "d7": 627291510, "a7": 2664202912, "usp": 846522796}, "final state": {"pc": 849251456, "sr": 9984, "d0": 1762920498, "a0": 891185446, "d1": 572949034, "a1": 1602853550, "d2": 237741290, "a2": 1124763688, "d3": 1398277610, "a3": 1752260128, "d4": 938242148, "a4": 1792736792, "d5": 63378322, "a5": 1331695734, "d6": 47568942, "a6": 735632304, "d7": 627291510, "a7": 2664202906, "usp": 846522796}, "initial memory": [0, 158, 1, 204, 2, 130, 3, 160, 4, 0, 5, 0, 6, 1, 7, 0, 24, 50, 25, 158, 26, 140, 27, 128, 256, 73, 257, 131, 258, 8, 259, 52, 260, 144, 261, 60, 262, 152, 263, 246, 264, 72, 265, 170, -1], "final memory": [13402778, 39, 13402782, 1, 13402783, 2, -1]},
{ "name" : "EXT/EXTB 0034", "initial state": {"pc": 256, "sr": 10001, "d0": 1639413112, "a0": 1689971668, "d1": 1400999180, "a1": 735108854, "d2": 1582529358, "a2": 501087986, "d3": 985968618, "a3": 1502417622, "d4": 1190742474, "a4": 1020251528, "d5": 408654124, "a5": 1857993448, "d6": 597175768, "a6": 736169508, "d7": 1542067152, "a7": 611719304, "usp": 846522796}, "final state": {"pc": 258, "sr": 10000, "d0": 1639413112, "a0": 1689971668, "d1": 1400999180, "a1": 735108854, "d2": 1582529358, "a2": 501087986, "d3": 985968618, "a3": 1502417622, "d4": 1190742474, "a4": 1020251528, "d5": 408654124, "a5": 1857993448, "d6": 597175768, "a6": 736169508, "d7": 1542067152, "a7": 611719304, "usp": 846522796}, "initial memory": [0, 36, 1, 118, 2, 24, 3, 136, 4, 0, 5, 0, 6, 1, 7, 0, 256, 73, 257, 132, 258, 152, 259, 252, 260, 24, 261, 228, 262, 56, 263, 92, 264, 32, 265, 140, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0035", "initial state": {"pc": 256, "sr": 9995, "d0": 185091168, "a0": 771261142, "d1": 1270939720, "a1": 374737108, "d2": 1811520978, "a2": 1784537958, "d3": 1357413726, "a3": 972862910, "d4": 1333727608, "a4": 2113940566, "d5": 525600270, "a5": 1029636794, "d6": 1163497778, "a6": 682369232, "d7": 2068565718, "a7": 2756158490, "usp": 846522796}, "final state": {"pc": 646596344, "sr": 9984, "d0": 185091168, "a0": 771261142, "d1": 1270939720, "a1": 374737108, "d2": 1811520978, "a2": 1784537958, "d3": 1357413726, "a3": 972862910, "d4": 1333727608, "a4": 2113940566, "d5": 525600270, "a5": 1029636794, "d6": 1163497778, "a6": 682369232, "d7": 2068565718, "a7": 2756158484, "usp": 846522796}, "initial memory": [0, 164, 1, 71, 2, 164, 3, 26, 4, 0, 5, 0, 6, 1, 7, 0, 24, 38, 25, 138, 26, 70, 27, 248, 256, 73, 257, 133, 258, 0, 259, 238, 260, 168, 261, 66, 262, 144, 263, 66, 264, 144, 265, 66, -1], "final memory": [4695060, 39, 4695064, 1, 4695065, 2, -1]},
{ "name" : "EXT/EXTB 0036", "initial state": {"pc": 256, "sr": 10013, "d0": 1818482606, "a0": 970990754, "d1": 249894938, "a1": 713385732, "d2": 1653693080, "a2": 472796522, "d3": 886252892, "a3": 601668160, "d4": 305797058, "a4": 1883771850, "d5": 602803342, "a5": 202092036, "d6": 1635406094, "a6": 1389203144, "d7": 627040712, "a7": 585556416, "usp": 846522796}, "final state": {"pc": 258, "sr": 10008, "d0": 1818482606, "a0": 970990754, "d1": 249894938, "a1": 713385732, "d2": 1653693080, "a2": 472796522, "d3": 886252892, "a3": 601668160, "d4": 305797058, "a4": 1883771850, "d5": 602803342, "a5": 202092036, "d6": 1635406094, "a6": 1389203144, "d7": 627040712, "a7": 585556416, "usp": 846522796}, "initial memory": [0, 34, 1, 230, 2, 225, 3, 192, 4, 0, 5, 0, 6, 1, 7, 0, 256, 73, 257, 134, 258, 16, 259, 42, 260, 24, 261, 54, 262, 136, 263, 82, 264, 24, 265, 110, -1], "final memory": [-1]},
{ "name" : "EXT/EXTB 0037", "initial state": {"pc": 256, "sr": 10014, "d0": 349924876, "a0": 1870289930, "d1": 1377165446, "a1": 1244729178, "d2": 440903556, "a2": 1525089218, "d3": 1447483542, "a3": 1957176788, "d4": 1161137178, "a4": 1263254816, "d5": 1048650356, "a5": 1500375076, "d6": 268259170, "a6": 1050936064, "d7": 1063695136, "a7": 3096795738, "usp": 846522796}, "final state": {"pc": 1247069782, "sr": 10008, "d0": 349924876, "a0": 1870289930, "d1": 1377165446, "a1": 1244729178, "d2": 440903556, "a2": 1525089218, "d3": 1447483542, "a3": 1957176788, "d4": 1161137178, "a4": 1263254816, "d5": 1048650356, "a5": 1500375076, "d6": 268259170, "a6": 1050936064, "d7": 1063695136, "a7": 3096795732, "usp": 846522796}, "initial memory": [0, 184, 1, 149, 2, 90, 3, 90, 4, 0, 5, 0, 6, 1, 7, 0, 24, 74, 25, 84, 26, 198, 27, 86, 256, 73, 257, 135, 258, 24, 259, 44, 260, 112, 261, 102, 262, 176, 263, 178, 264, 104, 265, 48, -1], "final memory": [9787988, 39, 9787989, 24, 9787992, 1, 9787993, 2, -1]},
{}]