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

[{"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],"final state":{"d3":898756102,"a6":1411305016,"a1":43562480,"a2":2010178186,"d4":2141333770,"a7":2653353136,"d0":772340511,"a3":852054304,"d5":1865715964,"usp":846522796,"d1":1337335346,"a4":1055745938,"d6":1679477100,"sr":10003,"a0":220411308,"d2":1031310720,"d7":446580338,"pc":258,"a5":1412105258},"name":"EXT\/EXTB 0000","initial state":{"d3":898756102,"a6":1411305016,"d7":446580338,"a2":2010178186,"d4":2141333770,"a7":2653353136,"d0":772340602,"a3":852054304,"d5":1865715964,"usp":846522796,"d1":1337335346,"a4":1055745938,"d6":1679477100,"sr":10012,"a0":220411308,"d2":1031310720,"pc":256,"a5":1412105258,"a1":43562480}},
{"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],"final state":{"d3":2389600,"a6":2035539288,"a1":194580896,"a2":1851025144,"d4":1507318360,"a7":4274831580,"d0":1305368004,"a3":1731501572,"d5":1782593314,"usp":846522796,"d1":627122223,"a4":796036914,"d6":501485908,"sr":10003,"a0":264757582,"d2":194470904,"d7":1747824928,"pc":258,"a5":169292788},"name":"EXT\/EXTB 0001","initial state":{"d3":2389600,"a6":2035539288,"d7":1747824928,"a2":1851025144,"d4":1507318360,"a7":4274831580,"d0":1305368004,"a3":1731501572,"d5":1782593314,"usp":846522796,"d1":627122282,"a4":796036914,"d6":501485908,"sr":10007,"a0":264757582,"d2":194470904,"pc":256,"a5":169292788,"a1":194580896}},
{ "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]},
{"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],"final state":{"d3":834884874,"a6":58758652,"a1":1949119336,"a2":1133128814,"d4":251944626,"a7":867814820,"d0":1334420240,"a3":610995302,"d5":1743077665,"usp":846522796,"d1":1429248058,"a4":1878724406,"d6":2083349136,"sr":10003,"a0":882517474,"d2":1767535918,"d7":128081224,"pc":258,"a5":1269046608},"name":"EXT\/EXTB 0005","initial state":{"d3":834884874,"a6":58758652,"d7":128081224,"a2":1133128814,"d4":251944626,"a7":867814820,"d0":1334420240,"a3":610995302,"d5":1743077752,"usp":846522796,"d1":1429248058,"a4":1878724406,"d6":2083349136,"sr":10003,"a0":882517474,"d2":1767535918,"pc":256,"a5":1269046608,"a1":1949119336}},
{ "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]},
{}]