6502/CLK
1
0
Fork 0
mirror of https://github.com/TomHarte/CLK.git synced 2024-11-23 03:32:32 +00:00
Code Issues Projects Releases Wiki Activity

Attempts to introduce a basic means for comparative 68000 testing.

Browse Source 
i.e. mine versus another source.
This commit is contained in:
Thomas Harte 2019-12-14 14:26:33 -05:00
parent 77fe14cdb3
commit 923287bf01
4 changed files with 308 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
OSBindings/Mac/Clock Signal.xcodeproj/project.pbxproj
View File

@ -225,6 +225,8 @@
4B643F3F1D77B88000D431D6 /* DocumentController.swift in Sources */ = {isa = PBXBuildFile; fileRef = 4B643F3E1D77B88000D431D6 /* DocumentController.swift */; };
4B65086022F4CF8D009C1100 /* Keyboard.cpp in Sources */ = {isa = PBXBuildFile; fileRef = 4B65085F22F4CF8D009C1100 /* Keyboard.cpp */; };
4B65086122F4CFE0009C1100 /* Keyboard.cpp in Sources */ = {isa = PBXBuildFile; fileRef = 4B65085F22F4CF8D009C1100 /* Keyboard.cpp */; };
4B680CE223A5553100451D43 /* 68000ComparativeTests.mm in Sources */ = {isa = PBXBuildFile; fileRef = 4B680CE123A5553100451D43 /* 68000ComparativeTests.mm */; };
4B680CE423A555CA00451D43 /* 68000 Comparative Tests in Resources */ = {isa = PBXBuildFile; fileRef = 4B680CE323A555CA00451D43 /* 68000 Comparative Tests */; };
4B69FB3D1C4D908A00B5F0AA /* Tape.cpp in Sources */ = {isa = PBXBuildFile; fileRef = 4B69FB3B1C4D908A00B5F0AA /* Tape.cpp */; };
4B69FB441C4D941400B5F0AA /* TapeUEF.cpp in Sources */ = {isa = PBXBuildFile; fileRef = 4B69FB421C4D941400B5F0AA /* TapeUEF.cpp */; };
4B69FB461C4D950F00B5F0AA /* libz.tbd in Frameworks */ = {isa = PBXBuildFile; fileRef = 4B69FB451C4D950F00B5F0AA /* libz.tbd */; };
@ -1009,6 +1011,8 @@
4B643F3C1D77AE5C00D431D6 /* CSMachine+Target.h */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.c.h; path = "CSMachine+Target.h"; sourceTree = "<group>"; };
4B643F3E1D77B88000D431D6 /* DocumentController.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = DocumentController.swift; sourceTree = "<group>"; };
4B65085F22F4CF8D009C1100 /* Keyboard.cpp */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.cpp.cpp; path = Keyboard.cpp; sourceTree = "<group>"; };
4B680CE123A5553100451D43 /* 68000ComparativeTests.mm */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.cpp.objcpp; path = 68000ComparativeTests.mm; sourceTree = "<group>"; };
4B680CE323A555CA00451D43 /* 68000 Comparative Tests */ = {isa = PBXFileReference; lastKnownFileType = folder; path = "68000 Comparative Tests"; sourceTree = "<group>"; };
4B698D1A1FE768A100696C91 /* SampleSource.hpp */ = {isa = PBXFileReference; lastKnownFileType = sourcecode.cpp.h; path = SampleSource.hpp; sourceTree = "<group>"; };
4B69FB3B1C4D908A00B5F0AA /* Tape.cpp */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.cpp.cpp; path = Tape.cpp; sourceTree = "<group>"; };
4B69FB3C1C4D908A00B5F0AA /* Tape.hpp */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.cpp.h; path = Tape.hpp; sourceTree = "<group>"; };
@ -1793,6 +1797,7 @@
4B1414631B588A1100E04248 /* Test Binaries */ = {
isa = PBXGroup;
children = (
4B680CE323A555CA00451D43 /* 68000 Comparative Tests */,
4B85322B227793CA00F26553 /* TOS Startup */,
4B9252CD1E74D28200B76AF1 /* Atari ROMs */,
4B44EBF81DC9898E00A7820C /* BCDTEST_beeb */,
@ -3140,17 +3145,18 @@
4BB73EB51B587A5100552FC2 /* Clock SignalTests */ = {
isa = PBXGroup;
children = (
4BE34437238389E10058E78F /* AtariSTVideoTests.mm */,
4B85322922778E4200F26553 /* Comparative68000.hpp */,
4B90467222C6FA31000E2074 /* TestRunner68000.hpp */,
4B97ADC722C6FD9B00A22A41 /* 68000ArithmeticTests.mm */,
4B9D0C4A22C7D70900DE1AD3 /* 68000BCDTests.mm */,
4B90467322C6FADD000E2074 /* 68000BitwiseTests.mm */,
4B680CE123A5553100451D43 /* 68000ComparativeTests.mm */,
4B9D0C4C22C7DA1A00DE1AD3 /* 68000ControlFlowTests.mm */,
4BC5C3DF22C994CC00795658 /* 68000MoveTests.mm */,
4B9D0C4E22C7E0CF00DE1AD3 /* 68000RollShiftTests.mm */,
4BD388872239E198002D14B5 /* 68000Tests.mm */,
4B924E981E74D22700B76AF1 /* AtariStaticAnalyserTests.mm */,
4BE34437238389E10058E78F /* AtariSTVideoTests.mm */,
4BB2A9AE1E13367E001A5C23 /* CRCTests.mm */,
4BFF1D3C2235C3C100838EA1 /* EmuTOSTests.mm */,
4BEE1EBF22B5E236000A26A6 /* MacGCRTests.mm */,
@ -4059,6 +4065,7 @@
4BB2999A1B587D8400A49093 /* nopn in Resources */,
4BB2996D1B587D8400A49093 /* lasay in Resources */,
4BB299421B587D8400A49093 /* cpyz in Resources */,
4B680CE423A555CA00451D43 /* 68000 Comparative Tests in Resources */,
4BB299DE1B587D8400A49093 /* stxz in Resources */,
4BB2991C1B587D8400A49093 /* bner in Resources */,
4BB2996B1B587D8400A49093 /* jmpw in Resources */,
@ -4476,6 +4483,7 @@
4B98A05F1FFAD62400ADF63B /* CSROMFetcher.mm in Sources */,
4BC9E1EE1D23449A003FCEE4 /* 6502InterruptTests.swift in Sources */,
4BEF6AAA1D35CE9E00E73575 /* DigitalPhaseLockedLoopBridge.mm in Sources */,
4B680CE223A5553100451D43 /* 68000ComparativeTests.mm in Sources */,
4B90467422C6FADD000E2074 /* 68000BitwiseTests.mm in Sources */,
4B924E991E74D22700B76AF1 /* AtariStaticAnalyserTests.mm in Sources */,
4B90467622C6FD6E000E2074 /* 68000ArithmeticTests.mm in Sources */,
@ -4648,7 +4656,7 @@
buildSettings = {
CLANG_ANALYZER_NONNULL = YES;
CLANG_ANALYZER_NUMBER_OBJECT_CONVERSION = YES_AGGRESSIVE;
CLANG_CXX_LANGUAGE_STANDARD = "gnu++14";
CLANG_CXX_LANGUAGE_STANDARD = "c++17";
CLANG_WARN_DOCUMENTATION_COMMENTS = YES;
CLANG_WARN_UNGUARDED_AVAILABILITY = YES_AGGRESSIVE;
CODE_SIGN_IDENTITY = "-";
@ -4668,7 +4676,7 @@
buildSettings = {
CLANG_ANALYZER_NONNULL = YES;
CLANG_ANALYZER_NUMBER_OBJECT_CONVERSION = YES_AGGRESSIVE;
CLANG_CXX_LANGUAGE_STANDARD = "gnu++14";
CLANG_CXX_LANGUAGE_STANDARD = "c++17";
CLANG_WARN_DOCUMENTATION_COMMENTS = YES;
CLANG_WARN_UNGUARDED_AVAILABILITY = YES_AGGRESSIVE;
CODE_SIGN_IDENTITY = "-";
@ -4793,7 +4801,7 @@
isa = XCBuildConfiguration;
buildSettings = {
ASSETCATALOG_COMPILER_APPICON_NAME = AppIcon;
CLANG_CXX_LANGUAGE_STANDARD = "c++14";
CLANG_CXX_LANGUAGE_STANDARD = "c++17";
CLANG_ENABLE_MODULES = YES;
CLANG_WARN_ASSIGN_ENUM = YES;
CLANG_WARN_DOCUMENTATION_COMMENTS = YES;
@ -4835,7 +4843,7 @@
isa = XCBuildConfiguration;
buildSettings = {
ASSETCATALOG_COMPILER_APPICON_NAME = AppIcon;
CLANG_CXX_LANGUAGE_STANDARD = "c++14";
CLANG_CXX_LANGUAGE_STANDARD = "c++17";
CLANG_ENABLE_MODULES = YES;
CLANG_WARN_ASSIGN_ENUM = YES;
CLANG_WARN_DOCUMENTATION_COMMENTS = YES;
@ -4878,6 +4886,7 @@
isa = XCBuildConfiguration;
buildSettings = {
BUNDLE_LOADER = "$(TEST_HOST)";
CLANG_CXX_LANGUAGE_STANDARD = "c++17";
CLANG_ENABLE_MODULES = YES;
COMBINE_HIDPI_IMAGES = YES;
INFOPLIST_FILE = "Clock SignalTests/Info.plist";
@ -4895,6 +4904,7 @@
isa = XCBuildConfiguration;
buildSettings = {
BUNDLE_LOADER = "$(TEST_HOST)";
CLANG_CXX_LANGUAGE_STANDARD = "c++17";
CLANG_ENABLE_MODULES = YES;
COMBINE_HIDPI_IMAGES = YES;
GCC_OPTIMIZATION_LEVEL = fast;

2
OSBindings/Mac/Clock Signal.xcodeproj/xcshareddata/xcschemes/Clock Signal.xcscheme
View File

@ -67,7 +67,7 @@
</Testables>
</TestAction>
<LaunchAction
buildConfiguration = "Debug"
buildConfiguration = "Release"
selectedDebuggerIdentifier = "Xcode.DebuggerFoundation.Debugger.LLDB"
selectedLauncherIdentifier = "Xcode.DebuggerFoundation.Launcher.LLDB"
enableASanStackUseAfterReturn = "YES"

153
OSBindings/Mac/Clock SignalTests/68000 Comparative Tests/ori.json Normal file
View File

@ -0,0 +1,153 @@
[{ "name" : "ORI 0", "initial state": {"pc": 256, "sr": 9999, "d0": 1144108930, "a0": 1784484492, "d1": 470211272, "a1": 74243042, "d2": 101027544, "a2": 114807986, "d3": 1457850878, "a3": 1137522502, "d4": 1458777923, "a4": 1441282326, "d5": 2007237709, "a5": 16531728, "d6": 823564440, "a6": 823378840, "d7": 1115438165, "a7": -1477322454, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 1144108947, "a0": 1784484492, "d1": 470211272, "a1": 74243042, "d2": 101027544, "a2": 114807986, "d3": 1457850878, "a3": 1137522502, "d4": 1458777923, "a4": 1441282326, "d5": 2007237709, "a5": 16531728, "d6": 823564440, "a6": 823378840, "d7": 1115438165, "a7": -1477322454, "usp": 143542612}, "initial memory": [0, 167, 1, 241, 2, 217, 3, 42, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 0, 258, 43, 259, 17, 260, 150, 261, 45, 262, 139, 263, 5, 264, 50, 265, 88, 16501781, 245, -1], "final memory": [-1]},
{ "name" : "ORI 1", "initial state": {"pc": 256, "sr": 9996, "d0": 1954899097, "a0": 2128236578, "d1": 1636807826, "a1": 784558820, "d2": 563613512, "a2": 530511966, "d3": 101929267, "a3": 2110010672, "d4": 1580723810, "a4": 1551901392, "d5": 704877633, "a5": 1617819336, "d6": 1358580979, "a6": 1399125484, "d7": 1624379149, "a7": 1809221638, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 1954899097, "a0": 2128236578, "d1": 1636807899, "a1": 784558820, "d2": 563613512, "a2": 530511966, "d3": 101929267, "a3": 2110010672, "d4": 1580723810, "a4": 1551901392, "d5": 704877633, "a5": 1617819336, "d6": 1358580979, "a6": 1399125484, "d7": 1624379149, "a7": 1809221638, "usp": 143542612}, "initial memory": [0, 107, 1, 214, 2, 136, 3, 6, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 1, 258, 21, 259, 75, 260, 41, 261, 2, 262, 84, 263, 53, 264, 128, 265, 57, -1], "final memory": [8397516, 33, 8397517, 152, 8397518, 15, 8397519, 72, -1]},
{ "name" : "ORI 2", "initial state": {"pc": 256, "sr": 9989, "d0": 357571490, "a0": 685118024, "d1": 1044788124, "a1": 2118797800, "d2": 1927702196, "a2": 1060806852, "d3": 1952509530, "a3": 571540976, "d4": 130060903, "a4": 194847408, "d5": 1942727722, "a5": 2035308228, "d6": 1083454666, "a6": 158374932, "d7": 1108728549, "a7": -2122008556, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 357571490, "a0": 685118024, "d1": 1044788124, "a1": 2118797800, "d2": 1927702207, "a2": 1060806852, "d3": 1952509530, "a3": 571540976, "d4": 130060903, "a4": 194847408, "d5": 1942727722, "a5": 2035308228, "d6": 1083454666, "a6": 158374932, "d7": 1108728549, "a7": -2122008556, "usp": 143542612}, "initial memory": [0, 129, 1, 132, 2, 184, 3, 20, 4, 0, 5, 0, 6, 1, 7, 0, 44, 247, 45, 232, 46, 161, 47, 5, 256, 0, 257, 2, 258, 106, 259, 155, 260, 248, 261, 77, 262, 195, 263, 57, 264, 245, 265, 246, -1], "final memory": [8697870, 39, 8697871, 8, 8697874, 1, 8697875, 4, -1]},
{ "name" : "ORI 3", "initial state": {"pc": 256, "sr": 9997, "d0": 1864546517, "a0": 753799504, "d1": 1351934195, "a1": 1102246882, "d2": 1581030105, "a2": 1269406752, "d3": 1557810404, "a3": 1816731566, "d4": 2146319451, "a4": 884936716, "d5": 1908194298, "a5": 1807130336, "d6": 500782188, "a6": 578354438, "d7": 657821123, "a7": -738267740, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 1864546517, "a0": 753799504, "d1": 1351934195, "a1": 1102246882, "d2": 1581030105, "a2": 1269406752, "d3": 1557810405, "a3": 1816731566, "d4": 2146319451, "a4": 884936716, "d5": 1908194298, "a5": 1807130336, "d6": 500782188, "a6": 578354438, "d7": 657821123, "a7": -738267740, "usp": 143542612}, "initial memory": [0, 211, 1, 254, 2, 237, 3, 164, 4, 0, 5, 0, 6, 1, 7, 0, 16, 30, 17, 25, 18, 253, 19, 54, 256, 0, 257, 3, 258, 183, 259, 97, 260, 95, 261, 255, 262, 113, 263, 52, 264, 24, 265, 161, -1], "final memory": [16706974, 39, 16706975, 8, 16706978, 1, 16706979, 4, -1]},
{ "name" : "ORI 4", "initial state": {"pc": 256, "sr": 10002, "d0": 1912844175, "a0": 589673556, "d1": 1341853635, "a1": 6441594, "d2": 1808266298, "a2": 889688008, "d3": 343098142, "a3": 57716394, "d4": 456880399, "a4": 1524325968, "d5": 1534827968, "a5": 2014119112, "d6": 280090412, "a6": 515204530, "d7": 195400260, "a7": 1357494144, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 1912844175, "a0": 589673556, "d1": 1341853635, "a1": 6441594, "d2": 1808266298, "a2": 889688008, "d3": 343098142, "a3": 57716394, "d4": 456880639, "a4": 1524325968, "d5": 1534827968, "a5": 2014119112, "d6": 280090412, "a6": 515204530, "d7": 195400260, "a7": 1357494144, "usp": 143542612}, "initial memory": [0, 80, 1, 233, 2, 183, 3, 128, 4, 0, 5, 0, 6, 1, 7, 0, 40, 79, 41, 221, 42, 159, 43, 136, 256, 0, 257, 4, 258, 232, 259, 246, 260, 168, 261, 181, 262, 45, 263, 226, 264, 90, 265, 76, -1], "final memory": [15316858, 39, 15316859, 24, 15316862, 1, 15316863, 4, -1]},
{ "name" : "ORI 5", "initial state": {"pc": 256, "sr": 9993, "d0": 1194314738, "a0": 996497972, "d1": 318153057, "a1": 2063936098, "d2": 2111631616, "a2": 270649094, "d3": 877819790, "a3": 428975318, "d4": 304555640, "a4": 685583454, "d5": 1213110679, "a5": 1351345222, "d6": 541437335, "a6": 272112288, "d7": 1049077006, "a7": 1740492318, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 1194314738, "a0": 996497972, "d1": 318153057, "a1": 2063936098, "d2": 2111631616, "a2": 270649094, "d3": 877819790, "a3": 428975318, "d4": 304555640, "a4": 685583454, "d5": 1213110687, "a5": 1351345222, "d6": 541437335, "a6": 272112288, "d7": 1049077006, "a7": 1740492318, "usp": 143542612}, "initial memory": [0, 103, 1, 189, 2, 206, 3, 30, 4, 0, 5, 0, 6, 1, 7, 0, 16, 98, 17, 70, 18, 134, 19, 156, 256, 0, 257, 5, 258, 24, 259, 142, 260, 71, 261, 91, 262, 183, 263, 162, 264, 11, 265, 245, -1], "final memory": [12439064, 39, 12439065, 8, 12439068, 1, 12439069, 4, -1]},
{ "name" : "ORI 6", "initial state": {"pc": 256, "sr": 9989, "d0": 1901915394, "a0": 977764946, "d1": 197941363, "a1": 750597384, "d2": 348318738, "a2": 971307216, "d3": 152607844, "a3": 1737195272, "d4": 784559590, "a4": 2000755538, "d5": 543436550, "a5": 1399399246, "d6": 290145159, "a6": 462242384, "d7": 1681808623, "a7": -1003604438, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 1901915394, "a0": 977764946, "d1": 197941363, "a1": 750597384, "d2": 348318738, "a2": 971307216, "d3": 152607844, "a3": 1737195272, "d4": 784559590, "a4": 2000755538, "d5": 543436550, "a5": 1399399246, "d6": 290145167, "a6": 462242384, "d7": 1681808623, "a7": -1003604438, "usp": 143542612}, "initial memory": [0, 196, 1, 46, 2, 54, 3, 42, 4, 0, 5, 0, 6, 1, 7, 0, 40, 183, 41, 203, 42, 25, 43, 238, 256, 0, 257, 6, 258, 29, 259, 143, 260, 167, 261, 180, 262, 82, 263, 240, 264, 41, 265, 128, -1], "final memory": [3028516, 39, 3028517, 8, 3028520, 1, 3028521, 4, -1]},
{ "name" : "ORI 7", "initial state": {"pc": 256, "sr": 10000, "d0": 1479575244, "a0": 222122668, "d1": 1507977295, "a1": 889119396, "d2": 2119878818, "a2": 1238489552, "d3": 2049590396, "a3": 1882410546, "d4": 1828087692, "a4": 944975824, "d5": 621301815, "a5": 1567121210, "d6": 1154112991, "a6": 1866729662, "d7": 1104740033, "a7": -1695820008, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 1479575244, "a0": 222122668, "d1": 1507977295, "a1": 889119396, "d2": 2119878818, "a2": 1238489552, "d3": 2049590396, "a3": 1882410546, "d4": 1828087692, "a4": 944975824, "d5": 621301815, "a5": 1567121210, "d6": 1154112991, "a6": 1866729662, "d7": 1104740065, "a7": -1695820008, "usp": 143542612}, "initial memory": [0, 154, 1, 235, 2, 215, 3, 24, 4, 0, 5, 0, 6, 1, 7, 0, 12, 140, 13, 203, 14, 216, 15, 47, 256, 0, 257, 7, 258, 193, 259, 33, 260, 139, 261, 233, 262, 158, 263, 177, 264, 119, 265, 183, -1], "final memory": [15456011, 21, 15456012, 52, 15456013, 254, 15456014, 129, 15456015, 85, 15456016, 139, 15456017, 233, 15456018, 39, 15456019, 24, 15456022, 1, 15456023, 8, -1]},
{ "name" : "ORI 16", "initial state": {"pc": 256, "sr": 9998, "d0": 1168279879, "a0": 601915878, "d1": 836941832, "a1": 1752200982, "d2": 463482574, "a2": 798669970, "d3": 828433549, "a3": 1473392040, "d4": 1346174542, "a4": 666082722, "d5": 1415306249, "a5": 20073650, "d6": 1523252771, "a6": 222902970, "d7": 1156766310, "a7": -191480196, "usp": 143542612}, "final state": {"pc": 260, "sr": 9984, "d0": 1168279879, "a0": 601915878, "d1": 836941832, "a1": 1752200982, "d2": 463482574, "a2": 798669970, "d3": 828433549, "a3": 1473392040, "d4": 1346174542, "a4": 666082722, "d5": 1415306249, "a5": 20073650, "d6": 1523252771, "a6": 222902970, "d7": 1156766310, "a7": -191480196, "usp": 143542612}, "initial memory": [0, 244, 1, 150, 2, 62, 3, 124, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 16, 258, 105, 259, 50, 260, 96, 261, 27, 262, 144, 263, 62, 264, 219, 265, 21, 14713318, 56, -1], "final memory": [-1]},
{ "name" : "ORI 17", "initial state": {"pc": 256, "sr": 10001, "d0": 1116666771, "a0": 711192800, "d1": 958829064, "a1": 123427204, "d2": 322791560, "a2": 2119315080, "d3": 614056598, "a3": 1164780418, "d4": 1790318751, "a4": 3559274, "d5": 1493869940, "a5": 1838659648, "d6": 1240764503, "a6": 63040412, "d7": 1462789551, "a7": 206839536, "usp": 143542612}, "final state": {"pc": 260, "sr": 10000, "d0": 1116666771, "a0": 711192800, "d1": 958829064, "a1": 123427204, "d2": 322791560, "a2": 2119315080, "d3": 614056598, "a3": 1164780418, "d4": 1790318751, "a4": 3559274, "d5": 1493869940, "a5": 1838659648, "d6": 1240764503, "a6": 63040412, "d7": 1462789551, "a7": 206839536, "usp": 143542612}, "initial memory": [0, 12, 1, 84, 2, 30, 3, 240, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 17, 258, 9, 259, 28, 260, 51, 261, 23, 262, 91, 263, 132, 264, 99, 265, 181, 5512944, 78, 5512945, 236, 5986692, 72, -1], "final memory": [5986690, 78, 5986691, 236, -1]},
{ "name" : "ORI 18", "initial state": {"pc": 256, "sr": 10011, "d0": 270438666, "a0": 911254352, "d1": 1187262410, "a1": 1746007306, "d2": 2048760593, "a2": 1928256140, "d3": 766490553, "a3": 525244910, "d4": 1799809565, "a4": 1633413200, "d5": 2092190960, "a5": 1492192798, "d6": 556228742, "a6": 970343126, "d7": 540151403, "a7": -617005206, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 270438666, "a0": 911254352, "d1": 1187262410, "a1": 1746007306, "d2": 2048760593, "a2": 1928256140, "d3": 766490553, "a3": 525244910, "d4": 1799809565, "a4": 1633413200, "d5": 2092190960, "a5": 1492192798, "d6": 556228742, "a6": 970343126, "d7": 540151403, "a7": -617005206, "usp": 143542612}, "initial memory": [0, 219, 1, 57, 2, 63, 3, 106, 4, 0, 5, 0, 6, 1, 7, 0, 44, 18, 45, 75, 46, 70, 47, 5, 256, 0, 257, 18, 258, 204, 259, 206, 260, 240, 261, 9, 262, 236, 263, 161, 264, 69, 265, 125, 15653516, 116, -1], "final memory": [3751780, 39, 3751781, 24, 3751784, 1, 3751785, 4, -1]},
{ "name" : "ORI 19", "initial state": {"pc": 256, "sr": 10011, "d0": 2090245054, "a0": 1651659860, "d1": 63641305, "a1": 1073645898, "d2": 172556929, "a2": 1609005592, "d3": 1061382253, "a3": 1442901720, "d4": 1652354189, "a4": 1463866116, "d5": 2005815166, "a5": 1625151580, "d6": 537204356, "a6": 78098866, "d7": 772359304, "a7": -1375991946, "usp": 143542612}, "final state": {"pc": 260, "sr": 10000, "d0": 2090245054, "a0": 1651659860, "d1": 63641305, "a1": 1073645898, "d2": 172556929, "a2": 1609005592, "d3": 1061382253, "a3": 1442901720, "d4": 1652354189, "a4": 1463866116, "d5": 2005815166, "a5": 1625151580, "d6": 537204356, "a6": 78098866, "d7": 772359304, "a7": -1375991946, "usp": 143542612}, "initial memory": [0, 173, 1, 252, 2, 7, 3, 118, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 19, 258, 88, 259, 10, 260, 29, 261, 117, 262, 23, 263, 43, 264, 48, 265, 136, 266, 80, 267, 15, 61144, 27, 14544736, 95, -1], "final memory": [11002426, 95, -1]},
{ "name" : "ORI 20", "initial state": {"pc": 256, "sr": 9996, "d0": 268317158, "a0": 1066401726, "d1": 2038299453, "a1": 115307826, "d2": 1039769627, "a2": 948398794, "d3": 1333685350, "a3": 1114919530, "d4": 1962853711, "a4": 1657737442, "d5": 38535563, "a5": 140351516, "d6": 1274629594, "a6": 950885006, "d7": 1550207533, "a7": -1380610032, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 268317158, "a0": 1066401726, "d1": 2038299453, "a1": 115307826, "d2": 1039769627, "a2": 948398794, "d3": 1333685350, "a3": 1114919530, "d4": 1962853711, "a4": 1657737442, "d5": 38535563, "a5": 140351516, "d6": 1274629594, "a6": 950885006, "d7": 1550207533, "a7": -1380610032, "usp": 143542612}, "initial memory": [0, 173, 1, 181, 2, 144, 3, 16, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 20, 258, 130, 259, 169, 260, 58, 261, 217, 262, 153, 263, 213, 264, 159, 265, 191, 13570274, 20, 14644530, 76, 14644531, 8, -1], "final memory": [6133788, 76, 6133789, 8, -1]},
{ "name" : "ORI 21", "initial state": {"pc": 256, "sr": 9992, "d0": 1130301905, "a0": 1532329536, "d1": 343775973, "a1": 1238616728, "d2": 1111767781, "a2": 1872357124, "d3": 225882720, "a3": 1628320384, "d4": 1807270791, "a4": 1796580166, "d5": 791481169, "a5": 1502789948, "d6": 910297865, "a6": 835500476, "d7": 702715827, "a7": -380141872, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 1130301905, "a0": 1532329536, "d1": 343775973, "a1": 1238616728, "d2": 1111767781, "a2": 1872357124, "d3": 225882720, "a3": 1628320384, "d4": 1807270791, "a4": 1796580166, "d5": 791481169, "a5": 1502789948, "d6": 910297865, "a6": 835500476, "d7": 702715827, "a7": -380141872, "usp": 143542612}, "initial memory": [0, 233, 1, 87, 2, 126, 3, 208, 4, 0, 5, 0, 6, 1, 7, 0, 16, 122, 17, 10, 18, 51, 19, 72, 256, 0, 257, 21, 258, 193, 259, 154, 260, 125, 261, 59, 262, 207, 263, 232, 264, 166, 265, 56, 9617724, 231, -1], "final memory": [5734090, 39, 5734091, 8, 5734094, 1, 5734095, 4, -1]},
{ "name" : "ORI 22", "initial state": {"pc": 256, "sr": 10000, "d0": 1436280767, "a0": 500078034, "d1": 1854658689, "a1": 1708006726, "d2": 523449818, "a2": 1055151240, "d3": 1528073014, "a3": 6933754, "d4": 566211825, "a4": 571486540, "d5": 822102918, "a5": 1427408396, "d6": 173958028, "a6": 913090934, "d7": 987333029, "a7": -23720248, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 1436280767, "a0": 500078034, "d1": 1854658689, "a1": 1708006726, "d2": 523449818, "a2": 1055151240, "d3": 1528073014, "a3": 6933754, "d4": 566211825, "a4": 571486540, "d5": 822102918, "a5": 1427408396, "d6": 173958028, "a6": 913090934, "d7": 987333029, "a7": -23720248, "usp": 143542612}, "initial memory": [0, 254, 1, 150, 2, 14, 3, 200, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 22, 258, 49, 259, 209, 260, 153, 261, 35, 262, 253, 263, 20, 264, 106, 265, 40, 6933753, 149, 7121270, 84, -1], "final memory": [-1]},
{ "name" : "ORI 23", "initial state": {"pc": 256, "sr": 10001, "d0": 1791728192, "a0": 1647259578, "d1": 1560024710, "a1": 132567128, "d2": 707454747, "a2": 1115195164, "d3": 1722463037, "a3": 1995333978, "d4": 1356701299, "a4": 473553500, "d5": 97368447, "a5": 439295524, "d6": 88949715, "a6": 191110288, "d7": 329241693, "a7": 1667569358, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 1791728192, "a0": 1647259578, "d1": 1560024710, "a1": 132567128, "d2": 707454747, "a2": 1115195164, "d3": 1722463037, "a3": 1995333978, "d4": 1356701299, "a4": 473553500, "d5": 97368447, "a5": 439295524, "d6": 88949715, "a6": 191110288, "d7": 329241693, "a7": 1667569358, "usp": 143542612}, "initial memory": [0, 99, 1, 101, 2, 22, 3, 206, 4, 0, 5, 0, 6, 1, 7, 0, 44, 14, 45, 103, 46, 210, 47, 208, 256, 0, 257, 23, 258, 16, 259, 216, 260, 245, 261, 97, 262, 196, 263, 118, 264, 77, 265, 177, 6624974, 78, -1], "final memory": [6624968, 39, 6624969, 24, 6624972, 1, 6624973, 4, -1]},
{ "name" : "ORI 24", "initial state": {"pc": 256, "sr": 9985, "d0": 67943788, "a0": 866683784, "d1": 1617428359, "a1": 2120263734, "d2": 1270425987, "a2": 2076422666, "d3": 1767145035, "a3": 1826500518, "d4": 707765235, "a4": 1862972614, "d5": 498383912, "a5": 669167044, "d6": 1152185684, "a6": 318665976, "d7": 924745989, "a7": 962064590, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 67943788, "a0": 866683785, "d1": 1617428359, "a1": 2120263734, "d2": 1270425987, "a2": 2076422666, "d3": 1767145035, "a3": 1826500518, "d4": 707765235, "a4": 1862972614, "d5": 498383912, "a5": 669167044, "d6": 1152185684, "a6": 318665976, "d7": 924745989, "a7": 962064590, "usp": 143542612}, "initial memory": [0, 57, 1, 87, 2, 240, 3, 206, 4, 0, 5, 0, 6, 1, 7, 0, 44, 95, 45, 148, 46, 255, 47, 103, 256, 0, 257, 24, 258, 223, 259, 99, 260, 251, 261, 79, 262, 60, 263, 183, 264, 63, 265, 186, 11045768, 222, -1], "final memory": [5763272, 39, 5763273, 8, 5763276, 1, 5763277, 4, -1]},
{ "name" : "ORI 25", "initial state": {"pc": 256, "sr": 9990, "d0": 207314365, "a0": 1499932140, "d1": 1114057121, "a1": 48961654, "d2": 48114454, "a2": 412281976, "d3": 1205777106, "a3": 1440942216, "d4": 1840127450, "a4": 742753900, "d5": 1110051703, "a5": 142357288, "d6": 1448530832, "a6": 302173464, "d7": 1583071032, "a7": 488631260, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 207314365, "a0": 1499932140, "d1": 1114057121, "a1": 48961655, "d2": 48114454, "a2": 412281976, "d3": 1205777106, "a3": 1440942216, "d4": 1840127450, "a4": 742753900, "d5": 1110051703, "a5": 142357288, "d6": 1448530832, "a6": 302173464, "d7": 1583071032, "a7": 488631260, "usp": 143542612}, "initial memory": [0, 29, 1, 31, 2, 235, 3, 220, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 25, 258, 152, 259, 87, 260, 144, 261, 181, 262, 129, 263, 140, 264, 25, 265, 80, 8149152, 5, 8149153, 79, 8149154, 100, 8149155, 79, 15407222, 234, -1], "final memory": [-1]},
{ "name" : "ORI 26", "initial state": {"pc": 256, "sr": 10008, "d0": 1785108621, "a0": 1233429312, "d1": 1974044557, "a1": 586802292, "d2": 1292006996, "a2": 1141231426, "d3": 1554426955, "a3": 1500142232, "d4": 1115266930, "a4": 1432477444, "d5": 1054021494, "a5": 209234790, "d6": 346645555, "a6": 1178402198, "d7": 2096192221, "a7": 1093257402, "usp": 143542612}, "final state": {"pc": 260, "sr": 10000, "d0": 1785108621, "a0": 1233429312, "d1": 1974044557, "a1": 586802292, "d2": 1292006996, "a2": 1141231427, "d3": 1554426955, "a3": 1500142232, "d4": 1115266930, "a4": 1432477444, "d5": 1054021494, "a5": 209234790, "d6": 346645555, "a6": 1178402198, "d7": 2096192221, "a7": 1093257402, "usp": 143542612}, "initial memory": [0, 65, 1, 41, 2, 200, 3, 186, 4, 0, 5, 0, 6, 1, 7, 0, 12, 206, 13, 91, 14, 97, 15, 91, 256, 0, 257, 26, 258, 68, 259, 98, 260, 158, 261, 111, 262, 174, 263, 239, 264, 243, 265, 146, 380738, 55, -1], "final memory": [2738349, 21, 2738350, 65, 2738351, 41, 2738352, 119, 2738353, 169, 2738354, 158, 2738355, 111, 2738356, 39, 2738357, 16, 2738360, 1, 2738361, 8, -1]},
{ "name" : "ORI 27", "initial state": {"pc": 256, "sr": 10001, "d0": 230168410, "a0": 1045139816, "d1": 822418623, "a1": 1396138698, "d2": 1185044669, "a2": 1496786970, "d3": 1282409605, "a3": 875180638, "d4": 1312349943, "a4": 1045501370, "d5": 2008437311, "a5": 1030325836, "d6": 1657922431, "a6": 1525679890, "d7": 1101977992, "a7": -1064929298, "usp": 143542612}, "final state": {"pc": 260, "sr": 10000, "d0": 230168410, "a0": 1045139816, "d1": 822418623, "a1": 1396138698, "d2": 1185044669, "a2": 1496786970, "d3": 1282409605, "a3": 875180639, "d4": 1312349943, "a4": 1045501370, "d5": 2008437311, "a5": 1030325836, "d6": 1657922431, "a6": 1525679890, "d7": 1101977992, "a7": -1064929298, "usp": 143542612}, "initial memory": [0, 192, 1, 134, 2, 119, 3, 238, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 27, 258, 70, 259, 96, 260, 112, 261, 97, 262, 2, 263, 170, 264, 21, 265, 19, 2765406, 56, -1], "final memory": [-1]},
{ "name" : "ORI 28", "initial state": {"pc": 256, "sr": 9989, "d0": 1976226904, "a0": 1399116812, "d1": 1463491026, "a1": 10341440, "d2": 1763464891, "a2": 2009907126, "d3": 1132610790, "a3": 591316178, "d4": 494500522, "a4": 1844185784, "d5": 308559364, "a5": 598994536, "d6": 1931706890, "a6": 2045329870, "d7": 539924884, "a7": 570155686, "usp": 143542612}, "final state": {"pc": 260, "sr": 9984, "d0": 1976226904, "a0": 1399116812, "d1": 1463491026, "a1": 10341440, "d2": 1763464891, "a2": 2009907126, "d3": 1132610790, "a3": 591316178, "d4": 494500522, "a4": 1844185785, "d5": 308559364, "a5": 598994536, "d6": 1931706890, "a6": 2045329870, "d7": 539924884, "a7": 570155686, "usp": 143542612}, "initial memory": [0, 33, 1, 251, 2, 226, 3, 166, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 28, 258, 17, 259, 21, 260, 149, 261, 10, 262, 241, 263, 164, 264, 98, 265, 164, 13418420, 247, 13418421, 111, 15469240, 14, -1], "final memory": [-1]},
{ "name" : "ORI 29", "initial state": {"pc": 256, "sr": 10005, "d0": 710298150, "a0": 1056219956, "d1": 119413377, "a1": 788974390, "d2": 1230900941, "a2": 1728536152, "d3": 1042143836, "a3": 348330048, "d4": 434826720, "a4": 342695014, "d5": 245832299, "a5": 123959044, "d6": 2092396112, "a6": 320514918, "d7": 1856734759, "a7": 435077706, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 710298150, "a0": 1056219956, "d1": 119413377, "a1": 788974390, "d2": 1230900941, "a2": 1728536152, "d3": 1042143836, "a3": 348330048, "d4": 434826720, "a4": 342695014, "d5": 245832299, "a5": 123959045, "d6": 2092396112, "a6": 320514918, "d7": 1856734759, "a7": 435077706, "usp": 143542612}, "initial memory": [0, 25, 1, 238, 2, 194, 3, 74, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 29, 258, 59, 259, 239, 260, 1, 261, 237, 262, 138, 263, 115, 264, 159, 265, 21, 6488440, 145, 6518532, 117, -1], "final memory": [-1]},
{ "name" : "ORI 30", "initial state": {"pc": 256, "sr": 10015, "d0": 1653662173, "a0": 1867224300, "d1": 366782137, "a1": 1260276488, "d2": 1229309669, "a2": 835740262, "d3": 67439096, "a3": 1743532054, "d4": 1725004503, "a4": 1128868262, "d5": 1121447421, "a5": 2018358642, "d6": 1850318675, "a6": 902024888, "d7": 595278518, "a7": -1982429164, "usp": 143542612}, "final state": {"pc": 260, "sr": 10000, "d0": 1653662173, "a0": 1867224300, "d1": 366782137, "a1": 1260276488, "d2": 1229309669, "a2": 835740262, "d3": 67439096, "a3": 1743532054, "d4": 1725004503, "a4": 1128868262, "d5": 1121447421, "a5": 2018358642, "d6": 1850318675, "a6": 902024889, "d7": 595278518, "a7": -1982429164, "usp": 143542612}, "initial memory": [0, 137, 1, 214, 2, 136, 3, 20, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 30, 258, 136, 259, 103, 260, 92, 261, 4, 262, 32, 263, 206, 264, 192, 265, 211, 12832440, 110, -1], "final memory": [-1]},
{ "name" : "ORI 31", "initial state": {"pc": 256, "sr": 10001, "d0": 771761420, "a0": 1885902500, "d1": 192958060, "a1": 1652188234, "d2": 345807450, "a2": 1364093128, "d3": 895063368, "a3": 1925270570, "d4": 207078741, "a4": 1886377448, "d5": 1448891847, "a5": 1044687874, "d6": 1208199196, "a6": 242817252, "d7": 1746004787, "a7": -186350406, "usp": 143542612}, "final state": {"pc": 260, "sr": 10000, "d0": 771761420, "a0": 1885902500, "d1": 192958060, "a1": 1652188234, "d2": 345807450, "a2": 1364093128, "d3": 895063368, "a3": 1925270570, "d4": 207078741, "a4": 1886377448, "d5": 1448891847, "a5": 1044687874, "d6": 1208199196, "a6": 242817252, "d7": 1746004787, "a7": -186350404, "usp": 143542612}, "initial memory": [0, 244, 1, 228, 2, 132, 3, 186, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 31, 258, 141, 259, 117, 260, 41, 261, 119, 262, 75, 263, 159, 264, 184, 265, 196, 266, 1, 267, 238, 3951024, 183, 3951025, 230, 3951026, 170, 3951027, 144, 14976186, 68, -1], "final memory": [7311020, 183, 7311021, 230, 7311022, 170, 7311023, 144, -1]},
{ "name" : "ORI 32", "initial state": {"pc": 256, "sr": 10001, "d0": 920998393, "a0": 644506542, "d1": 157863575, "a1": 313952732, "d2": 1070800980, "a2": 236262852, "d3": 1039109000, "a3": 172490260, "d4": 967945596, "a4": 2088376824, "d5": 1073005947, "a5": 876554400, "d6": 1590767370, "a6": 511982380, "d7": 2003266087, "a7": -88163316, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 920998393, "a0": 644506541, "d1": 157863575, "a1": 313952732, "d2": 1070800980, "a2": 236262852, "d3": 1039109000, "a3": 172490260, "d4": 967945596, "a4": 2088376824, "d5": 1073005947, "a5": 876554400, "d6": 1590767370, "a6": 511982380, "d7": 2003266087, "a7": -88163316, "usp": 143542612}, "initial memory": [0, 250, 1, 190, 2, 188, 3, 12, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 32, 258, 174, 259, 239, 260, 217, 261, 234, 262, 154, 263, 38, 264, 65, 265, 173, 1355754, 93, 1355755, 146, 1355756, 177, 1355757, 226, 6972333, 30, -1], "final memory": [-1]},
{ "name" : "ORI 33", "initial state": {"pc": 256, "sr": 10006, "d0": 1439236385, "a0": 20632782, "d1": 2137606534, "a1": 1030316714, "d2": 1499086275, "a2": 1372366436, "d3": 864877321, "a3": 1388337878, "d4": 1823811151, "a4": 1384907698, "d5": 1759921226, "a5": 1715914100, "d6": 1703775251, "a6": 810383136, "d7": 803694459, "a7": -1701859494, "usp": 143542612}, "final state": {"pc": 260, "sr": 10000, "d0": 1439236385, "a0": 20632782, "d1": 2137606534, "a1": 1030316713, "d2": 1499086275, "a2": 1372366436, "d3": 864877321, "a3": 1388337878, "d4": 1823811151, "a4": 1384907698, "d5": 1759921226, "a5": 1715914100, "d6": 1703775251, "a6": 810383136, "d7": 803694459, "a7": -1701859494, "usp": 143542612}, "initial memory": [0, 154, 1, 143, 2, 175, 3, 90, 4, 0, 5, 0, 6, 1, 7, 0, 16, 36, 17, 147, 18, 142, 19, 24, 256, 0, 257, 33, 258, 144, 259, 76, 260, 131, 261, 134, 262, 255, 263, 243, 264, 180, 265, 8, 6906537, 91, -1], "final memory": [9416532, 39, 9416533, 16, 9416536, 1, 9416537, 4, -1]},
{ "name" : "ORI 34", "initial state": {"pc": 256, "sr": 9992, "d0": 739712623, "a0": 809207394, "d1": 567222278, "a1": 334734506, "d2": 624917313, "a2": 1623187656, "d3": 1790245761, "a3": 1430166550, "d4": 267127010, "a4": 24761786, "d5": 1362834840, "a5": 1706993430, "d6": 104576978, "a6": 1204554544, "d7": 983646000, "a7": 855322890, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 739712623, "a0": 809207394, "d1": 567222278, "a1": 334734506, "d2": 624917313, "a2": 1623187655, "d3": 1790245761, "a3": 1430166550, "d4": 267127010, "a4": 24761786, "d5": 1362834840, "a5": 1706993430, "d6": 104576978, "a6": 1204554544, "d7": 983646000, "a7": 855322890, "usp": 143542612}, "initial memory": [0, 50, 1, 251, 2, 49, 3, 10, 4, 0, 5, 0, 6, 1, 7, 0, 16, 203, 17, 244, 18, 175, 19, 114, 256, 0, 257, 34, 258, 202, 259, 192, 260, 24, 261, 76, 262, 71, 263, 92, 264, 24, 265, 58, 12574919, 30, -1], "final memory": [16462084, 39, 16462085, 8, 16462088, 1, 16462089, 4, -1]},
{ "name" : "ORI 35", "initial state": {"pc": 256, "sr": 10008, "d0": 1802916854, "a0": 1348255378, "d1": 629306008, "a1": 2028195356, "d2": 389114981, "a2": 871419460, "d3": 767780552, "a3": 108408486, "d4": 2005986288, "a4": 955308352, "d5": 1265768163, "a5": 1279743898, "d6": 792508359, "a6": 1606985788, "d7": 994411019, "a7": 925579294, "usp": 143542612}, "final state": {"pc": 260, "sr": 10000, "d0": 1802916854, "a0": 1348255378, "d1": 629306008, "a1": 2028195356, "d2": 389114981, "a2": 871419460, "d3": 767780552, "a3": 108408485, "d4": 2005986288, "a4": 955308352, "d5": 1265768163, "a5": 1279743898, "d6": 792508359, "a6": 1606985788, "d7": 994411019, "a7": 925579294, "usp": 143542612}, "initial memory": [0, 55, 1, 43, 2, 56, 3, 30, 4, 0, 5, 0, 6, 1, 7, 0, 12, 7, 13, 10, 14, 195, 15, 180, 256, 0, 257, 35, 258, 219, 259, 66, 260, 208, 261, 235, 262, 31, 263, 250, 264, 140, 265, 204, 7745189, 61, -1], "final memory": [2832401, 21, 2832402, 6, 2832403, 118, 2832404, 78, 2832405, 159, 2832406, 208, 2832407, 235, 2832408, 39, 2832409, 16, 2832412, 1, 2832413, 8, -1]},
{ "name" : "ORI 36", "initial state": {"pc": 256, "sr": 9985, "d0": 1268000110, "a0": 1426245434, "d1": 1797619589, "a1": 694558230, "d2": 1792486327, "a2": 1866566972, "d3": 1417097773, "a3": 949983028, "d4": 1568625581, "a4": 1971319798, "d5": 1380889295, "a5": 594139070, "d6": 750607936, "a6": 2043874586, "d7": 1148637874, "a7": 869077514, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 1268000110, "a0": 1426245434, "d1": 1797619589, "a1": 694558230, "d2": 1792486327, "a2": 1866566972, "d3": 1417097773, "a3": 949983028, "d4": 1568625581, "a4": 1971319797, "d5": 1380889295, "a5": 594139070, "d6": 750607936, "a6": 2043874586, "d7": 1148637874, "a7": 869077514, "usp": 143542612}, "initial memory": [0, 51, 1, 205, 2, 18, 3, 10, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 36, 258, 89, 259, 246, 260, 92, 261, 98, 262, 101, 263, 31, 264, 236, 265, 20, 4295994, 176, 4295995, 133, 8385525, 151, -1], "final memory": [-1]},
{ "name" : "ORI 37", "initial state": {"pc": 256, "sr": 9985, "d0": 270655128, "a0": 1801048632, "d1": 530371950, "a1": 1442353558, "d2": 1904228600, "a2": 840858776, "d3": 421288959, "a3": 1871067778, "d4": 349949754, "a4": 1433118632, "d5": 1795289992, "a5": 248263272, "d6": 1293655194, "a6": 86382, "d7": 1338403330, "a7": -812738148, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 270655128, "a0": 1801048632, "d1": 530371950, "a1": 1442353558, "d2": 1904228600, "a2": 840858776, "d3": 421288959, "a3": 1871067778, "d4": 349949754, "a4": 1433118632, "d5": 1795289992, "a5": 248263271, "d6": 1293655194, "a6": 86382, "d7": 1338403330, "a7": -812738148, "usp": 143542612}, "initial memory": [0, 207, 1, 142, 2, 153, 3, 156, 4, 0, 5, 0, 6, 1, 7, 0, 12, 168, 13, 167, 14, 134, 15, 112, 256, 0, 257, 37, 258, 154, 259, 14, 260, 42, 261, 249, 262, 103, 263, 36, 264, 110, 265, 154, 266, 52, 267, 68, 2387610, 200, 2387611, 80, 2387612, 31, 2387613, 25, 13382247, 135, -1], "final memory": [9345423, 5, 9345424, 14, 9345425, 204, 9345426, 50, 9345427, 103, 9345428, 42, 9345429, 249, 9345430, 39, 9345431, 8, 9345434, 1, 9345435, 10, -1]},
{ "name" : "ORI 38", "initial state": {"pc": 256, "sr": 9984, "d0": 1046279452, "a0": 2033924514, "d1": 1222648128, "a1": 524630658, "d2": 1923552800, "a2": 2047114878, "d3": 933087662, "a3": 1024245958, "d4": 1478744840, "a4": 272918560, "d5": 436279149, "a5": 2064668382, "d6": 1034486385, "a6": 1840728048, "d7": 585066583, "a7": -146212288, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 1046279452, "a0": 2033924514, "d1": 1222648128, "a1": 524630658, "d2": 1923552800, "a2": 2047114878, "d3": 933087662, "a3": 1024245958, "d4": 1478744840, "a4": 272918560, "d5": 436279149, "a5": 2064668382, "d6": 1034486385, "a6": 1840728047, "d7": 585066583, "a7": -146212288, "usp": 143542612}, "initial memory": [0, 247, 1, 72, 2, 250, 3, 64, 4, 0, 5, 0, 6, 1, 7, 0, 24, 149, 25, 86, 26, 12, 27, 227, 256, 0, 257, 38, 258, 32, 259, 149, 260, 73, 261, 146, 262, 19, 263, 140, 264, 139, 265, 91, 294526, 237, 294527, 155, 12011503, 120, -1], "final memory": [4782650, 39, 4782651, 8, 4782654, 1, 4782655, 6, -1]},
{ "name" : "ORI 39", "initial state": {"pc": 256, "sr": 10013, "d0": 596111243, "a0": 432109524, "d1": 830447846, "a1": 1822559360, "d2": 840725869, "a2": 48439518, "d3": 1784766670, "a3": 226693620, "d4": 521841394, "a4": 403681562, "d5": 265094610, "a5": 775171660, "d6": 1564026392, "a6": 1674303724, "d7": 1391731064, "a7": 1029382774, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 596111243, "a0": 432109524, "d1": 830447846, "a1": 1822559360, "d2": 840725869, "a2": 48439518, "d3": 1784766670, "a3": 226693620, "d4": 521841394, "a4": 403681562, "d5": 265094610, "a5": 775171660, "d6": 1564026392, "a6": 1674303724, "d7": 1391731064, "a7": 1029382772, "usp": 143542612}, "initial memory": [0, 61, 1, 91, 2, 34, 3, 118, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 39, 258, 51, 259, 202, 260, 56, 261, 234, 262, 161, 263, 180, 264, 58, 265, 189, 5972596, 120, 14860946, 98, 14860947, 157, -1], "final memory": [1028378, 98, 1028379, 157, -1]},
{ "name" : "ORI 40", "initial state": {"pc": 256, "sr": 9987, "d0": 938966639, "a0": 1145751354, "d1": 1502463517, "a1": 157160836, "d2": 1791608793, "a2": 2144768488, "d3": 1700769364, "a3": 1610979728, "d4": 1823359178, "a4": 262467120, "d5": 606061956, "a5": 353474902, "d6": 568356771, "a6": 912910312, "d7": 364988341, "a7": 2126778322, "usp": 143542612}, "final state": {"pc": 262, "sr": 9984, "d0": 938966639, "a0": 1145751354, "d1": 1502463517, "a1": 157160836, "d2": 1791608793, "a2": 2144768488, "d3": 1700769364, "a3": 1610979728, "d4": 1823359178, "a4": 262467120, "d5": 606061956, "a5": 353474902, "d6": 568356771, "a6": 912910312, "d7": 364988341, "a7": 2126778322, "usp": 143542612}, "initial memory": [0, 126, 1, 196, 2, 15, 3, 210, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 40, 258, 246, 259, 122, 260, 224, 261, 19, 262, 1, 263, 144, 264, 209, 265, 243, 4892493, 123, 4900666, 184, -1], "final memory": [-1]},
{ "name" : "ORI 41", "initial state": {"pc": 256, "sr": 10006, "d0": 817391553, "a0": 424988138, "d1": 446941412, "a1": 245042250, "d2": 1993997925, "a2": 1698961258, "d3": 1640814040, "a3": 1499292694, "d4": 1324059153, "a4": 39194160, "d5": 1236634257, "a5": 1606251138, "d6": 765221733, "a6": 245949928, "d7": 1949588295, "a7": -1377330726, "usp": 143542612}, "final state": {"pc": 262, "sr": 10000, "d0": 817391553, "a0": 424988138, "d1": 446941412, "a1": 245042250, "d2": 1993997925, "a2": 1698961258, "d3": 1640814040, "a3": 1499292694, "d4": 1324059153, "a4": 39194160, "d5": 1236634257, "a5": 1606251138, "d6": 765221733, "a6": 245949928, "d7": 1949588295, "a7": -1377330726, "usp": 143542612}, "initial memory": [0, 173, 1, 231, 2, 153, 3, 218, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 41, 258, 36, 259, 52, 260, 232, 261, 161, 262, 187, 263, 34, 264, 195, 265, 76, 4462441, 246, 10155243, 84, -1], "final memory": [-1]},
{ "name" : "ORI 42", "initial state": {"pc": 256, "sr": 9996, "d0": 1885054119, "a0": 1667292172, "d1": 278333842, "a1": 1812908748, "d2": 737499328, "a2": 1059344000, "d3": 2023078859, "a3": 1755174370, "d4": 777800262, "a4": 1380261398, "d5": 756044145, "a5": 934961292, "d6": 173205716, "a6": 756589544, "d7": 1228127127, "a7": -2118591376, "usp": 143542612}, "final state": {"pc": 262, "sr": 9992, "d0": 1885054119, "a0": 1667292172, "d1": 278333842, "a1": 1812908748, "d2": 737499328, "a2": 1059344000, "d3": 2023078859, "a3": 1755174370, "d4": 777800262, "a4": 1380261398, "d5": 756044145, "a5": 934961292, "d6": 173205716, "a6": 756589544, "d7": 1228127127, "a7": -2118591376, "usp": 143542612}, "initial memory": [0, 129, 1, 184, 2, 220, 3, 112, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 42, 258, 173, 259, 143, 260, 195, 261, 160, 262, 102, 263, 123, 264, 70, 265, 31, 2363936, 144, -1], "final memory": [-1]},
{ "name" : "ORI 43", "initial state": {"pc": 256, "sr": 9984, "d0": 1306624513, "a0": 152364254, "d1": 270415769, "a1": 985509754, "d2": 802432531, "a2": 2068549814, "d3": 286245357, "a3": 503962614, "d4": 562345819, "a4": 424166536, "d5": 270649486, "a5": 1468762966, "d6": 435546856, "a6": 174647296, "d7": 1611739816, "a7": -376861418, "usp": 143542612}, "final state": {"pc": 262, "sr": 9992, "d0": 1306624513, "a0": 152364254, "d1": 270415769, "a1": 985509754, "d2": 802432531, "a2": 2068549814, "d3": 286245357, "a3": 503962614, "d4": 562345819, "a4": 424166536, "d5": 270649486, "a5": 1468762966, "d6": 435546856, "a6": 174647296, "d7": 1611739816, "a7": -376861418, "usp": 143542612}, "initial memory": [0, 233, 1, 137, 2, 141, 3, 22, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 43, 258, 242, 259, 228, 260, 94, 261, 159, 262, 77, 263, 215, 264, 156, 265, 62, 670357, 111, -1], "final memory": [-1]},
{ "name" : "ORI 44", "initial state": {"pc": 256, "sr": 10001, "d0": 857306750, "a0": 232032812, "d1": 1286759527, "a1": 2092651978, "d2": 1407044999, "a2": 1862124134, "d3": 115377429, "a3": 1441132406, "d4": 2118199609, "a4": 1791793582, "d5": 1744412144, "a5": 511567600, "d6": 888155364, "a6": 1539614258, "d7": 68372451, "a7": 1562689752, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 857306750, "a0": 232032812, "d1": 1286759527, "a1": 2092651978, "d2": 1407044999, "a2": 1862124134, "d3": 115377429, "a3": 1441132406, "d4": 2118199609, "a4": 1791793582, "d5": 1744412144, "a5": 511567600, "d6": 888155364, "a6": 1539614258, "d7": 68372451, "a7": 1562689752, "usp": 143542612}, "initial memory": [0, 93, 1, 36, 2, 192, 3, 216, 4, 0, 5, 0, 6, 1, 7, 0, 44, 64, 45, 57, 46, 229, 47, 26, 256, 0, 257, 44, 258, 80, 259, 243, 260, 144, 261, 121, 262, 248, 263, 9, 264, 52, 265, 69, 13380135, 233, -1], "final memory": [2408658, 39, 2408659, 24, 2408662, 1, 2408663, 6, -1]},
{ "name" : "ORI 45", "initial state": {"pc": 256, "sr": 10000, "d0": 1404181687, "a0": 809458444, "d1": 1383816526, "a1": 259181370, "d2": 556455472, "a2": 964449474, "d3": 55835219, "a3": 295741962, "d4": 2119655641, "a4": 1257996176, "d5": 446138204, "a5": 1165225316, "d6": 1379382951, "a6": 1038525826, "d7": 1203288092, "a7": 1672726592, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 1404181687, "a0": 809458444, "d1": 1383816526, "a1": 259181370, "d2": 556455472, "a2": 964449474, "d3": 55835219, "a3": 295741962, "d4": 2119655641, "a4": 1257996176, "d5": 446138204, "a5": 1165225316, "d6": 1379382951, "a6": 1038525826, "d7": 1203288092, "a7": 1672726592, "usp": 143542612}, "initial memory": [0, 99, 1, 179, 2, 200, 3, 64, 4, 0, 5, 0, 6, 1, 7, 0, 12, 145, 13, 251, 14, 30, 15, 180, 256, 0, 257, 45, 258, 114, 259, 171, 260, 80, 261, 91, 262, 140, 263, 251, 264, 198, 265, 97, 266, 168, 267, 242, 7617983, 136, -1], "final memory": [11782195, 22, 11782198, 128, 11782199, 249, 11782200, 140, 11782201, 251, 11782202, 39, 11782203, 24, 11782206, 1, 11782207, 10, -1]},
{ "name" : "ORI 46", "initial state": {"pc": 256, "sr": 9993, "d0": 415825199, "a0": 2117091136, "d1": 862332255, "a1": 294192416, "d2": 1998559829, "a2": 984580318, "d3": 1003323276, "a3": 1479904490, "d4": 812703488, "a4": 599180682, "d5": 1111527896, "a5": 878918398, "d6": 489102819, "a6": 1588991120, "d7": 1931161864, "a7": -504442818, "usp": 143542612}, "final state": {"pc": 262, "sr": 9992, "d0": 415825199, "a0": 2117091136, "d1": 862332255, "a1": 294192416, "d2": 1998559829, "a2": 984580318, "d3": 1003323276, "a3": 1479904490, "d4": 812703488, "a4": 599180682, "d5": 1111527896, "a5": 878918398, "d6": 489102819, "a6": 1588991120, "d7": 1931161864, "a7": -504442818, "usp": 143542612}, "initial memory": [0, 225, 1, 238, 2, 208, 3, 62, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 46, 258, 165, 259, 179, 260, 151, 261, 106, 262, 229, 263, 137, 264, 151, 265, 106, 11906042, 69, -1], "final memory": [-1]},
{ "name" : "ORI 47", "initial state": {"pc": 256, "sr": 9984, "d0": 1714971506, "a0": 1842378952, "d1": 591308, "a1": 296356978, "d2": 1348178968, "a2": 857151852, "d3": 743955679, "a3": 830889294, "d4": 1013304119, "a4": 1817708270, "d5": 1057007323, "a5": 120548474, "d6": 1137349677, "a6": 981140204, "d7": 684079392, "a7": -702224494, "usp": 143542612}, "final state": {"pc": 262, "sr": 9984, "d0": 1714971506, "a0": 1842378952, "d1": 591308, "a1": 296356978, "d2": 1348178968, "a2": 857151852, "d3": 743955679, "a3": 830889294, "d4": 1013304119, "a4": 1817708270, "d5": 1057007323, "a5": 120548474, "d6": 1137349677, "a6": 981140204, "d7": 684079392, "a7": -702224494, "usp": 143542612}, "initial memory": [0, 214, 1, 36, 2, 231, 3, 146, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 47, 258, 55, 259, 19, 260, 255, 261, 139, 262, 64, 263, 83, 264, 74, 265, 188, 2418461, 84, 8805710, 194, 8805711, 218, -1], "final memory": [-1]},
{ "name" : "ORI 48", "initial state": {"pc": 256, "sr": 10014, "d0": 1236143279, "a0": 229803082, "d1": 1103289075, "a1": 1124818674, "d2": 1605675327, "a2": 528926184, "d3": 1305712687, "a3": 1227559554, "d4": 2125225363, "a4": 718044156, "d5": 1714659037, "a5": 1457517398, "d6": 1191375766, "a6": 148963664, "d7": 314974534, "a7": 1176148308, "usp": 143542612}, "final state": {"pc": 262, "sr": 10000, "d0": 1236143279, "a0": 229803082, "d1": 1103289075, "a1": 1124818674, "d2": 1605675327, "a2": 528926184, "d3": 1305712687, "a3": 1227559554, "d4": 2125225363, "a4": 718044156, "d5": 1714659037, "a5": 1457517398, "d6": 1191375766, "a6": 148963664, "d7": 314974534, "a7": 1176148308, "usp": 143542612}, "initial memory": [0, 70, 1, 26, 2, 153, 3, 84, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 48, 258, 91, 259, 121, 260, 122, 261, 188, 262, 214, 263, 47, 264, 216, 265, 130, 266, 127, 267, 65, 1733078, 222, 7906636, 66, -1], "final memory": [-1]},
{ "name" : "ORI 49", "initial state": {"pc": 256, "sr": 9990, "d0": 85176241, "a0": 1568463430, "d1": 1332973585, "a1": 803101084, "d2": 737637591, "a2": 785214200, "d3": 51897806, "a3": 808048584, "d4": 368064760, "a4": 185984466, "d5": 1311517960, "a5": 1252230484, "d6": 910200912, "a6": 898003988, "d7": 1220710403, "a7": 1113955012, "usp": 143542612}, "final state": {"pc": 262, "sr": 9992, "d0": 85176241, "a0": 1568463430, "d1": 1332973585, "a1": 803101084, "d2": 737637591, "a2": 785214200, "d3": 51897806, "a3": 808048584, "d4": 368064760, "a4": 185984466, "d5": 1311517960, "a5": 1252230484, "d6": 910200912, "a6": 898003988, "d7": 1220710403, "a7": 1113955012, "usp": 143542612}, "initial memory": [0, 66, 1, 101, 2, 154, 3, 196, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 49, 258, 122, 259, 132, 260, 157, 261, 23, 262, 118, 263, 7, 264, 254, 265, 206, 12366671, 76, -1], "final memory": [-1]},
{ "name" : "ORI 50", "initial state": {"pc": 256, "sr": 9987, "d0": 1180074489, "a0": 1843638690, "d1": 1500456578, "a1": 2141420720, "d2": 273239725, "a2": 1179617774, "d3": 1020020789, "a3": 266898514, "d4": 127446722, "a4": 1817469862, "d5": 955860595, "a5": 408575706, "d6": 1971340605, "a6": 1426671282, "d7": 943842319, "a7": -1891827654, "usp": 143542612}, "final state": {"pc": 262, "sr": 9992, "d0": 1180074489, "a0": 1843638690, "d1": 1500456578, "a1": 2141420720, "d2": 273239725, "a2": 1179617774, "d3": 1020020789, "a3": 266898514, "d4": 127446722, "a4": 1817469862, "d5": 955860595, "a5": 408575706, "d6": 1971340605, "a6": 1426671282, "d7": 943842319, "a7": -1891827654, "usp": 143542612}, "initial memory": [0, 143, 1, 61, 2, 0, 3, 58, 4, 0, 5, 0, 6, 1, 7, 0, 12, 80, 13, 80, 14, 244, 15, 128, 256, 0, 257, 50, 258, 44, 259, 217, 260, 120, 261, 154, 262, 208, 263, 236, 264, 63, 265, 23, 266, 86, 267, 91, 9530775, 154, -1], "final memory": [3997741, 21, 3997742, 108, 3997743, 84, 3997744, 162, 3997745, 189, 3997746, 208, 3997747, 236, 3997748, 39, 3997749, 8, 3997752, 1, 3997753, 10, -1]},
{ "name" : "ORI 51", "initial state": {"pc": 256, "sr": 9995, "d0": 426556000, "a0": 361813754, "d1": 826278314, "a1": 1477558820, "d2": 1630361896, "a2": 1977694286, "d3": 1748533999, "a3": 355976536, "d4": 1444695645, "a4": 8200010, "d5": 1549592533, "a5": 378614662, "d6": 1467514962, "a6": 382578172, "d7": 674280539, "a7": 593247172, "usp": 143542612}, "final state": {"pc": 262, "sr": 9992, "d0": 426556000, "a0": 361813754, "d1": 826278314, "a1": 1477558820, "d2": 1630361896, "a2": 1977694286, "d3": 1748533999, "a3": 355976536, "d4": 1444695645, "a4": 8200010, "d5": 1549592533, "a5": 378614662, "d6": 1467514962, "a6": 382578172, "d7": 674280539, "a7": 593247172, "usp": 143542612}, "initial memory": [0, 35, 1, 92, 2, 59, 3, 196, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 51, 258, 114, 259, 204, 260, 219, 261, 91, 262, 85, 263, 86, 264, 150, 265, 85, 13171001, 27, 13479420, 173, 13479421, 0, -1], "final memory": [-1]},
{ "name" : "ORI 52", "initial state": {"pc": 256, "sr": 9987, "d0": 1894832768, "a0": 1205024134, "d1": 1419330413, "a1": 2069828928, "d2": 437900415, "a2": 527195142, "d3": 365816636, "a3": 51240878, "d4": 34519891, "a4": 64510906, "d5": 355223347, "a5": 1903039054, "d6": 234254369, "a6": 1903425806, "d7": 775654832, "a7": 626833198, "usp": 143542612}, "final state": {"pc": 262, "sr": 9992, "d0": 1894832768, "a0": 1205024134, "d1": 1419330413, "a1": 2069828928, "d2": 437900415, "a2": 527195142, "d3": 365816636, "a3": 51240878, "d4": 34519891, "a4": 64510906, "d5": 355223347, "a5": 1903039054, "d6": 234254369, "a6": 1903425806, "d7": 775654832, "a7": 626833198, "usp": 143542612}, "initial memory": [0, 37, 1, 92, 2, 183, 3, 46, 4, 0, 5, 0, 6, 1, 7, 0, 12, 118, 13, 111, 14, 58, 15, 40, 256, 0, 257, 52, 258, 249, 259, 133, 260, 150, 261, 23, 262, 223, 263, 250, 264, 203, 265, 141, 266, 143, 267, 82, 14184721, 120, -1], "final memory": [6076193, 22, 6076194, 255, 6076195, 255, 6076196, 204, 6076197, 149, 6076198, 223, 6076199, 250, 6076200, 39, 6076201, 8, 6076204, 1, 6076205, 10, -1]},
{ "name" : "ORI 53", "initial state": {"pc": 256, "sr": 10009, "d0": 647229181, "a0": 1521446980, "d1": 976173012, "a1": 871608030, "d2": 1912233251, "a2": 1130220830, "d3": 1811472202, "a3": 1128632094, "d4": 537635495, "a4": 196566714, "d5": 1576061536, "a5": 866913112, "d6": 1802933454, "a6": 1679612136, "d7": 908302208, "a7": -981712246, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 647229181, "a0": 1521446980, "d1": 976173012, "a1": 871608030, "d2": 1912233251, "a2": 1130220830, "d3": 1811472202, "a3": 1128632094, "d4": 537635495, "a4": 196566714, "d5": 1576061536, "a5": 866913112, "d6": 1802933454, "a6": 1679612136, "d7": 908302208, "a7": -981712246, "usp": 143542612}, "initial memory": [0, 197, 1, 124, 2, 66, 3, 138, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 53, 258, 7, 259, 197, 260, 34, 261, 167, 262, 51, 263, 157, 264, 177, 265, 42, 266, 195, 267, 23, 11275096, 89, 11275097, 47, 11298850, 196, -1], "final memory": [15941158, 89, 15941159, 47, -1]},
{ "name" : "ORI 54", "initial state": {"pc": 256, "sr": 9989, "d0": 359242577, "a0": 691812436, "d1": 1213459922, "a1": 815146994, "d2": 2116197142, "a2": 1377343944, "d3": 301203980, "a3": 1293452602, "d4": 716335881, "a4": 80923232, "d5": 663826885, "a5": 719628480, "d6": 760910030, "a6": 167963456, "d7": 349756325, "a7": 49801266, "usp": 143542612}, "final state": {"pc": 262, "sr": 9984, "d0": 359242577, "a0": 691812436, "d1": 1213459922, "a1": 815146994, "d2": 2116197142, "a2": 1377343944, "d3": 301203980, "a3": 1293452602, "d4": 716335881, "a4": 80923232, "d5": 663826885, "a5": 719628480, "d6": 760910030, "a6": 167963456, "d7": 349756325, "a7": 49801266, "usp": 143542612}, "initial memory": [0, 2, 1, 247, 2, 232, 3, 50, 4, 0, 5, 0, 6, 1, 7, 0, 40, 144, 41, 11, 42, 9, 43, 126, 256, 0, 257, 54, 258, 247, 259, 97, 260, 20, 261, 45, 262, 166, 263, 242, 264, 118, 265, 181, 186687, 80, -1], "final memory": [16246828, 39, 16246832, 1, 16246833, 6, -1]},
{ "name" : "ORI 55", "initial state": {"pc": 256, "sr": 9992, "d0": 250057443, "a0": 521861728, "d1": 89947322, "a1": 606864954, "d2": 2063637013, "a2": 1179459082, "d3": 1686378441, "a3": 1894729364, "d4": 473284781, "a4": 1828903032, "d5": 217885779, "a5": 1439819312, "d6": 546669518, "a6": 1197459194, "d7": 939547160, "a7": 409174864, "usp": 143542612}, "final state": {"pc": 262, "sr": 9992, "d0": 250057443, "a0": 521861728, "d1": 89947322, "a1": 606864954, "d2": 2063637013, "a2": 1179459082, "d3": 1686378441, "a3": 1894729364, "d4": 473284781, "a4": 1828903032, "d5": 217885779, "a5": 1439819312, "d6": 546669518, "a6": 1197459194, "d7": 939547160, "a7": 409174864, "usp": 143542612}, "initial memory": [0, 24, 1, 99, 2, 131, 3, 80, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 55, 258, 143, 259, 79, 260, 195, 261, 143, 262, 19, 263, 41, 264, 248, 265, 26, 266, 167, 267, 144, 2883156, 153, 6511447, 128, -1], "final memory": [2885177, 153, -1]},
{ "name" : "ORI 56", "initial state": {"pc": 256, "sr": 10003, "d0": 996004943, "a0": 1351070342, "d1": 220048636, "a1": 2094655070, "d2": 390585118, "a2": 1168336218, "d3": 1854052994, "a3": 1783848212, "d4": 1080952188, "a4": 117703316, "d5": 1999253743, "a5": 407209932, "d6": 1928517639, "a6": 2094427782, "d7": 625274502, "a7": -1067582920, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 996004943, "a0": 1351070342, "d1": 220048636, "a1": 2094655070, "d2": 390585118, "a2": 1168336218, "d3": 1854052994, "a3": 1783848212, "d4": 1080952188, "a4": 117703316, "d5": 1999253743, "a5": 407209932, "d6": 1928517639, "a6": 2094427782, "d7": 625274502, "a7": -1067582920, "usp": 143542612}, "initial memory": [0, 192, 1, 93, 2, 250, 3, 56, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 56, 258, 173, 259, 161, 260, 39, 261, 38, 262, 81, 263, 211, 264, 12, 265, 74, 10022, 239, -1], "final memory": [-1]},
{ "name" : "ORI 57", "initial state": {"pc": 256, "sr": 10013, "d0": 182048270, "a0": 579642950, "d1": 1668560562, "a1": 1073254664, "d2": 1655903008, "a2": 1476003502, "d3": 1521273983, "a3": 1607251616, "d4": 111531099, "a4": 2028614952, "d5": 1897440709, "a5": 1481135298, "d6": 153838213, "a6": 1958017916, "d7": 2136018550, "a7": -1753022836, "usp": 143542612}, "final state": {"pc": 264, "sr": 10008, "d0": 182048270, "a0": 579642950, "d1": 1668560562, "a1": 1073254664, "d2": 1655903008, "a2": 1476003502, "d3": 1521273983, "a3": 1607251616, "d4": 111531099, "a4": 2028614952, "d5": 1897440709, "a5": 1481135298, "d6": 153838213, "a6": 1958017916, "d7": 2136018550, "a7": -1753022836, "usp": 143542612}, "initial memory": [0, 151, 1, 130, 2, 254, 3, 140, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 57, 258, 177, 259, 18, 260, 39, 261, 79, 262, 211, 263, 43, 264, 231, 265, 217, 266, 230, 267, 24, 5231403, 185, 16290056, 232, 16290057, 34, -1], "final memory": [-1]},
{ "name" : "ORI 60", "initial state": {"pc": 256, "sr": 10007, "d0": 1033862659, "a0": 607227594, "d1": 839521936, "a1": 831898620, "d2": 877617562, "a2": 1601581176, "d3": 1200676938, "a3": 1214810340, "d4": 2020949754, "a4": 1190369158, "d5": 1501154526, "a5": 576783054, "d6": 1266233526, "a6": 251606020, "d7": 23929712, "a7": 647104872, "usp": 143542612}, "final state": {"pc": 260, "sr": 10007, "d0": 1033862659, "a0": 607227594, "d1": 839521936, "a1": 831898620, "d2": 877617562, "a2": 1601581176, "d3": 1200676938, "a3": 1214810340, "d4": 2020949754, "a4": 1190369158, "d5": 1501154526, "a5": 576783054, "d6": 1266233526, "a6": 251606020, "d7": 23929712, "a7": 647104872, "usp": 143542612}, "initial memory": [0, 38, 1, 146, 2, 9, 3, 104, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 60, 258, 179, 259, 131, 260, 146, 261, 134, 262, 172, 263, 220, 264, 172, 265, 25, -1], "final memory": [-1]},
{ "name" : "ORI 64", "initial state": {"pc": 256, "sr": 9998, "d0": 1253497317, "a0": 430360978, "d1": 714829749, "a1": 352050956, "d2": 1120070125, "a2": 602986814, "d3": 176941273, "a3": 424052704, "d4": 1734607863, "a4": 1703072188, "d5": 1463845416, "a5": 1872233306, "d6": 1277246680, "a6": 1694794904, "d7": 438415348, "a7": -1826664348, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 1253497831, "a0": 430360978, "d1": 714829749, "a1": 352050956, "d2": 1120070125, "a2": 602986814, "d3": 176941273, "a3": 424052704, "d4": 1734607863, "a4": 1703072188, "d5": 1463845416, "a5": 1872233306, "d6": 1277246680, "a6": 1694794904, "d7": 438415348, "a7": -1826664348, "usp": 143542612}, "initial memory": [0, 147, 1, 31, 2, 80, 3, 100, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 64, 258, 138, 259, 3, 260, 219, 261, 44, 262, 87, 263, 177, 264, 71, 265, 105, 8595821, 55, -1], "final memory": [-1]},
{ "name" : "ORI 65", "initial state": {"pc": 256, "sr": 9987, "d0": 2049458985, "a0": 1256830558, "d1": 1766946662, "a1": 902053220, "d2": 1668677518, "a2": 1721421174, "d3": 1474098853, "a3": 1025979034, "d4": 1808070579, "a4": 1483422674, "d5": 1348616203, "a5": 1747240702, "d6": 1650113383, "a6": 1183089436, "d7": 851810723, "a7": -587040050, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 2049458985, "a0": 1256830558, "d1": 1766979582, "a1": 902053220, "d2": 1668677518, "a2": 1721421174, "d3": 1474098853, "a3": 1025979034, "d4": 1808070579, "a4": 1483422674, "d5": 1348616203, "a5": 1747240702, "d6": 1650113383, "a6": 1183089436, "d7": 851810723, "a7": -587040050, "usp": 143542612}, "initial memory": [0, 221, 1, 2, 2, 122, 3, 206, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 65, 258, 133, 259, 190, 260, 156, 261, 21, 262, 97, 263, 178, 264, 9, 265, 76, 2410238, 164, -1], "final memory": [-1]},
{ "name" : "ORI 66", "initial state": {"pc": 256, "sr": 10000, "d0": 1458232706, "a0": 186428616, "d1": 1433710178, "a1": 127124946, "d2": 1600442306, "a2": 1990222304, "d3": 1401158267, "a3": 460977656, "d4": 2108804114, "a4": 1677949662, "d5": 600633910, "a5": 544733636, "d6": 1680984470, "a6": 615449898, "d7": 11127358, "a7": 1929738152, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 1458232706, "a0": 186428616, "d1": 1433710178, "a1": 127124946, "d2": 1600442366, "a2": 1990222304, "d3": 1401158267, "a3": 460977656, "d4": 2108804114, "a4": 1677949662, "d5": 600633910, "a5": 544733636, "d6": 1680984470, "a6": 615449898, "d7": 11127358, "a7": 1929738152, "usp": 143542612}, "initial memory": [0, 115, 1, 5, 2, 119, 3, 168, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 66, 258, 128, 259, 60, 260, 2, 261, 52, 262, 223, 263, 169, 264, 12, 265, 216, 266, 116, 267, 32, 15620152, 69, -1], "final memory": [-1]},
{ "name" : "ORI 67", "initial state": {"pc": 256, "sr": 9989, "d0": 1927948269, "a0": 1656677596, "d1": 1793291147, "a1": 1654889424, "d2": 2058805631, "a2": 1665836870, "d3": 2089719753, "a3": 975984958, "d4": 1972325633, "a4": 899093320, "d5": 319338739, "a5": 1366488948, "d6": 564552520, "a6": 1389628018, "d7": 851451194, "a7": -373656648, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 1927948269, "a0": 1656677596, "d1": 1793291147, "a1": 1654889424, "d2": 2058805631, "a2": 1665836870, "d3": 2089736185, "a3": 975984958, "d4": 1972325633, "a4": 899093320, "d5": 319338739, "a5": 1366488948, "d6": 564552520, "a6": 1389628018, "d7": 851451194, "a7": -373656648, "usp": 143542612}, "initial memory": [0, 233, 1, 186, 2, 115, 3, 184, 4, 0, 5, 0, 6, 1, 7, 0, 16, 100, 17, 242, 18, 252, 19, 118, 256, 0, 257, 67, 258, 85, 259, 120, 260, 75, 261, 37, 262, 157, 263, 92, 264, 14, 265, 220, -1], "final memory": [12219314, 39, 12219315, 8, 12219318, 1, 12219319, 4, -1]},
{ "name" : "ORI 68", "initial state": {"pc": 256, "sr": 9989, "d0": 2031439871, "a0": 1849905494, "d1": 1714891891, "a1": 93396392, "d2": 809985650, "a2": 2050098034, "d3": 529981217, "a3": 1770024970, "d4": 1779630010, "a4": 1866192546, "d5": 89342654, "a5": 1099456186, "d6": 490916525, "a6": 1610836120, "d7": 201863901, "a7": -542044632, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 2031439871, "a0": 1849905494, "d1": 1714891891, "a1": 93396392, "d2": 809985650, "a2": 2050098034, "d3": 529981217, "a3": 1770024970, "d4": 1779630011, "a4": 1866192546, "d5": 89342654, "a5": 1099456186, "d6": 490916525, "a6": 1610836120, "d7": 201863901, "a7": -542044632, "usp": 143542612}, "initial memory": [0, 223, 1, 177, 2, 14, 3, 40, 4, 0, 5, 0, 6, 1, 7, 0, 40, 71, 41, 173, 42, 62, 43, 219, 256, 0, 257, 68, 258, 202, 259, 171, 260, 174, 261, 113, 262, 151, 263, 56, 264, 228, 265, 174, -1], "final memory": [11603490, 39, 11603491, 8, 11603494, 1, 11603495, 4, -1]},
{ "name" : "ORI 69", "initial state": {"pc": 256, "sr": 10012, "d0": 1755440423, "a0": 1587198838, "d1": 1556846875, "a1": 9024038, "d2": 984673077, "a2": 1343168182, "d3": 891421357, "a3": 279554416, "d4": 1272825627, "a4": 1924350530, "d5": 1295705222, "a5": 1455633890, "d6": 1433485574, "a6": 705082606, "d7": 2120490172, "a7": -297095642, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 1755440423, "a0": 1587198838, "d1": 1556846875, "a1": 9024038, "d2": 984673077, "a2": 1343168182, "d3": 891421357, "a3": 279554416, "d4": 1272825627, "a4": 1924350530, "d5": 1295712199, "a5": 1455633890, "d6": 1433485574, "a6": 705082606, "d7": 2120490172, "a7": -297095642, "usp": 143542612}, "initial memory": [0, 238, 1, 74, 2, 174, 3, 38, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 69, 258, 155, 259, 199, 260, 82, 261, 130, 262, 229, 263, 204, 264, 189, 265, 169, -1], "final memory": [-1]},
{ "name" : "ORI 70", "initial state": {"pc": 256, "sr": 10006, "d0": 435861972, "a0": 462669258, "d1": 465443487, "a1": 43933418, "d2": 1573243635, "a2": 1802082212, "d3": 1687111581, "a3": 1633863442, "d4": 2057750526, "a4": 469492312, "d5": 1536439194, "a5": 902368706, "d6": 1590162030, "a6": 581326628, "d7": 419251295, "a7": 1962613452, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 435861972, "a0": 462669258, "d1": 465443487, "a1": 43933418, "d2": 1573243635, "a2": 1802082212, "d3": 1687111581, "a3": 1633863442, "d4": 2057750526, "a4": 469492312, "d5": 1536439194, "a5": 902368706, "d6": 1590163326, "a6": 581326628, "d7": 419251295, "a7": 1962613452, "usp": 143542612}, "initial memory": [0, 116, 1, 251, 2, 26, 3, 204, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 70, 258, 135, 259, 122, 260, 93, 261, 230, 262, 207, 263, 237, 264, 250, 265, 53, -1], "final memory": [10901283, 255, -1]},
{ "name" : "ORI 71", "initial state": {"pc": 256, "sr": 10003, "d0": 1155721377, "a0": 806957150, "d1": 219596124, "a1": 1169606052, "d2": 1375150522, "a2": 1651094972, "d3": 935814240, "a3": 169524676, "d4": 59701052, "a4": 1637930416, "d5": 520717815, "a5": 103647626, "d6": 708455180, "a6": 396412464, "d7": 1356871292, "a7": -1601139424, "usp": 143542612}, "final state": {"pc": 260, "sr": 10000, "d0": 1155721377, "a0": 806957150, "d1": 219596124, "a1": 1169606052, "d2": 1375150522, "a2": 1651094972, "d3": 935814240, "a3": 169524676, "d4": 59701052, "a4": 1637930416, "d5": 520717815, "a5": 103647626, "d6": 708455180, "a6": 396412464, "d7": 1356888061, "a7": -1601139424, "usp": 143542612}, "initial memory": [0, 160, 1, 144, 2, 141, 3, 32, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 71, 258, 103, 259, 241, 260, 21, 261, 111, 262, 66, 263, 151, 264, 255, 265, 142, 266, 65, 267, 237, 9490359, 72, -1], "final memory": [6927690, 72, -1]},
{ "name" : "ORI 80", "initial state": {"pc": 256, "sr": 10014, "d0": 26550930, "a0": 1239185156, "d1": 1712365581, "a1": 688525092, "d2": 1299966420, "a2": 1399348014, "d3": 36996362, "a3": 1748669808, "d4": 1175082151, "a4": 1579753860, "d5": 1346094045, "a5": 1582813966, "d6": 62393170, "a6": 1474391172, "d7": 669988454, "a7": -727847672, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 26550930, "a0": 1239185156, "d1": 1712365581, "a1": 688525092, "d2": 1299966420, "a2": 1399348014, "d3": 36996362, "a3": 1748669808, "d4": 1175082151, "a4": 1579753860, "d5": 1346094045, "a5": 1582813966, "d6": 62393170, "a6": 1474391172, "d7": 669988454, "a7": -727847672, "usp": 143542612}, "initial memory": [0, 212, 1, 157, 2, 237, 3, 8, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 80, 258, 133, 259, 22, 260, 124, 261, 28, 262, 18, 263, 122, 264, 14, 265, 107, 14448388, 46, 14448389, 8, -1], "final memory": [-1]},
{ "name" : "ORI 81", "initial state": {"pc": 256, "sr": 10011, "d0": 809518879, "a0": 1271082574, "d1": 1274895608, "a1": 2064984508, "d2": 1726137537, "a2": 711423596, "d3": 836997036, "a3": 1854915122, "d4": 1391296202, "a4": 538368762, "d5": 1713318478, "a5": 1015178122, "d6": 135437123, "a6": 341137846, "d7": 2106544088, "a7": 531367402, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 809518879, "a0": 1271082574, "d1": 1274895608, "a1": 2064984508, "d2": 1726137537, "a2": 711423596, "d3": 836997036, "a3": 1854915122, "d4": 1391296202, "a4": 538368762, "d5": 1713318478, "a5": 1015178122, "d6": 135437123, "a6": 341137846, "d7": 2106544088, "a7": 531367402, "usp": 143542612}, "initial memory": [0, 31, 1, 172, 2, 5, 3, 234, 4, 0, 5, 0, 6, 1, 7, 0, 40, 114, 41, 47, 42, 80, 43, 244, 256, 0, 257, 81, 258, 132, 259, 10, 260, 175, 261, 34, 262, 229, 263, 231, 264, 212, 265, 145, 1386940, 203, 1386941, 35, -1], "final memory": [11273700, 39, 11273701, 24, 11273704, 1, 11273705, 4, -1]},
{ "name" : "ORI 82", "initial state": {"pc": 256, "sr": 10008, "d0": 490350257, "a0": 825948910, "d1": 1422015860, "a1": 389036162, "d2": 475051557, "a2": 1590553266, "d3": 1994802600, "a3": 552303806, "d4": 132601236, "a4": 1145745108, "d5": 1688431513, "a5": 52167506, "d6": 619527533, "a6": 605962172, "d7": 1398526475, "a7": -932471320, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 490350257, "a0": 825948910, "d1": 1422015860, "a1": 389036162, "d2": 475051557, "a2": 1590553266, "d3": 1994802600, "a3": 552303806, "d4": 132601236, "a4": 1145745108, "d5": 1688431513, "a5": 52167506, "d6": 619527533, "a6": 605962172, "d7": 1398526475, "a7": -932471320, "usp": 143542612}, "initial memory": [0, 200, 1, 107, 2, 157, 3, 232, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 82, 258, 135, 259, 7, 260, 28, 261, 24, 262, 146, 263, 50, 264, 74, 265, 192, 3865326, 13, 13494962, 241, 13494963, 73, -1], "final memory": [-1]},
{ "name" : "ORI 83", "initial state": {"pc": 256, "sr": 9995, "d0": 473341289, "a0": 298650842, "d1": 1167615735, "a1": 755418454, "d2": 412091859, "a2": 394652120, "d3": 393112638, "a3": 1488695710, "d4": 1384408694, "a4": 176843580, "d5": 1919088460, "a5": 92681612, "d6": 1062852927, "a6": 774208808, "d7": 600168343, "a7": 333509210, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 473341289, "a0": 298650842, "d1": 1167615735, "a1": 755418454, "d2": 412091859, "a2": 394652120, "d3": 393112638, "a3": 1488695710, "d4": 1384408694, "a4": 176843580, "d5": 1919088460, "a5": 92681612, "d6": 1062852927, "a6": 774208808, "d7": 600168343, "a7": 333509210, "usp": 143542612}, "initial memory": [0, 19, 1, 224, 2, 242, 3, 90, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 83, 258, 249, 259, 137, 260, 182, 261, 214, 262, 180, 263, 210, 264, 94, 265, 10, 2456872, 8, 2456873, 70, 12300702, 108, 12300703, 113, -1], "final memory": [-1]},
{ "name" : "ORI 84", "initial state": {"pc": 256, "sr": 9990, "d0": 1707280687, "a0": 418768046, "d1": 1737498842, "a1": 930637902, "d2": 660405588, "a2": 1107834620, "d3": 1241229820, "a3": 693238850, "d4": 693437782, "a4": 1166566974, "d5": 215049805, "a5": 2112935362, "d6": 127094734, "a6": 1315042342, "d7": 1482449220, "a7": -1237844478, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 1707280687, "a0": 418768046, "d1": 1737498842, "a1": 930637902, "d2": 660405588, "a2": 1107834620, "d3": 1241229820, "a3": 693238850, "d4": 693437782, "a4": 1166566974, "d5": 215049805, "a5": 2112935362, "d6": 127094734, "a6": 1315042342, "d7": 1482449220, "a7": -1237844478, "usp": 143542612}, "initial memory": [0, 182, 1, 55, 2, 254, 3, 2, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 84, 258, 109, 259, 54, 260, 22, 261, 211, 262, 160, 263, 223, 264, 185, 265, 169, 5372994, 226, 8939070, 206, 8939071, 27, -1], "final memory": [-1]},
{ "name" : "ORI 85", "initial state": {"pc": 256, "sr": 9987, "d0": 420725881, "a0": 180901986, "d1": 1623716043, "a1": 1730318196, "d2": 1720832272, "a2": 234389304, "d3": 1865721355, "a3": 896040536, "d4": 1770083638, "a4": 1597972594, "d5": 704741975, "a5": 694914782, "d6": 1226060620, "a6": 1416685494, "d7": 1295247375, "a7": -1941022594, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 420725881, "a0": 180901986, "d1": 1623716043, "a1": 1730318196, "d2": 1720832272, "a2": 234389304, "d3": 1865721355, "a3": 896040536, "d4": 1770083638, "a4": 1597972594, "d5": 704741975, "a5": 694914782, "d6": 1226060620, "a6": 1416685494, "d7": 1295247375, "a7": -1941022594, "usp": 143542612}, "initial memory": [0, 140, 1, 78, 2, 88, 3, 126, 4, 0, 5, 0, 6, 1, 7, 0, 12, 25, 13, 246, 14, 110, 15, 107, 256, 0, 257, 85, 258, 55, 259, 90, 260, 48, 261, 179, 262, 67, 263, 79, 264, 21, 265, 71, 7048926, 233, 7048927, 215, -1], "final memory": [5134449, 21, 5134450, 53, 5134451, 104, 5134452, 211, 5134453, 221, 5134454, 48, 5134455, 179, 5134456, 39, 5134457, 8, 5134460, 1, 5134461, 8, -1]},
{ "name" : "ORI 86", "initial state": {"pc": 256, "sr": 10013, "d0": 859880606, "a0": 285075280, "d1": 1595884379, "a1": 224214502, "d2": 2105490470, "a2": 1686835082, "d3": 742794024, "a3": 1705615934, "d4": 816721357, "a4": 1675282582, "d5": 2067859122, "a5": 816259856, "d6": 1780404053, "a6": 753879562, "d7": 213781473, "a7": 1008584532, "usp": 143542612}, "final state": {"pc": 260, "sr": 10000, "d0": 859880606, "a0": 285075280, "d1": 1595884379, "a1": 224214502, "d2": 2105490470, "a2": 1686835082, "d3": 742794024, "a3": 1705615934, "d4": 816721357, "a4": 1675282582, "d5": 2067859122, "a5": 816259856, "d6": 1780404053, "a6": 753879562, "d7": 213781473, "a7": 1008584532, "usp": 143542612}, "initial memory": [0, 60, 1, 29, 2, 199, 3, 84, 4, 0, 5, 0, 6, 1, 7, 0, 40, 126, 41, 62, 42, 146, 43, 210, 256, 0, 257, 86, 258, 25, 259, 165, 260, 165, 261, 255, 262, 9, 263, 242, 264, 246, 265, 207, 15682058, 62, 15682059, 70, -1], "final memory": [1951566, 39, 1951567, 16, 1951570, 1, 1951571, 4, -1]},
{ "name" : "ORI 87", "initial state": {"pc": 256, "sr": 10004, "d0": 807175913, "a0": 1377979804, "d1": 551371692, "a1": 1242933386, "d2": 512090639, "a2": 1408000940, "d3": 1740396144, "a3": 1149492286, "d4": 2110720068, "a4": 753979196, "d5": 589818083, "a5": 1974846678, "d6": 288006429, "a6": 1888369568, "d7": 95911865, "a7": -1289895054, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 807175913, "a0": 1377979804, "d1": 551371692, "a1": 1242933386, "d2": 512090639, "a2": 1408000940, "d3": 1740396144, "a3": 1149492286, "d4": 2110720068, "a4": 753979196, "d5": 589818083, "a5": 1974846678, "d6": 288006429, "a6": 1888369568, "d7": 95911865, "a7": -1289895054, "usp": 143542612}, "initial memory": [0, 179, 1, 29, 2, 195, 3, 114, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 87, 258, 58, 259, 175, 260, 239, 261, 23, 262, 238, 263, 189, 264, 249, 265, 24, 1950578, 245, 1950579, 16, -1], "final memory": [-1]},
{ "name" : "ORI 88", "initial state": {"pc": 256, "sr": 9997, "d0": 1419869319, "a0": 500251680, "d1": 905358969, "a1": 331524562, "d2": 1446552988, "a2": 1360733216, "d3": 553701629, "a3": 1289804408, "d4": 1016636152, "a4": 1042769244, "d5": 1223911132, "a5": 208657548, "d6": 1676024558, "a6": 66613684, "d7": 401748607, "a7": -2070645578, "usp": 143542612}, "final state": {"pc": 260, "sr": 9984, "d0": 1419869319, "a0": 500251682, "d1": 905358969, "a1": 331524562, "d2": 1446552988, "a2": 1360733216, "d3": 553701629, "a3": 1289804408, "d4": 1016636152, "a4": 1042769244, "d5": 1223911132, "a5": 208657548, "d6": 1676024558, "a6": 66613684, "d7": 401748607, "a7": -2070645578, "usp": 143542612}, "initial memory": [0, 132, 1, 148, 2, 116, 3, 182, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 88, 258, 6, 259, 67, 260, 84, 261, 233, 262, 168, 263, 30, 264, 134, 265, 182, 13712416, 47, 13712417, 198, -1], "final memory": [12734960, 255, -1]},
{ "name" : "ORI 89", "initial state": {"pc": 256, "sr": 10010, "d0": 1743424059, "a0": 417579042, "d1": 1461279945, "a1": 274400498, "d2": 1109048523, "a2": 1201779776, "d3": 1767953748, "a3": 1229012004, "d4": 1414902744, "a4": 1507034382, "d5": 1183995177, "a5": 1304725556, "d6": 823466737, "a6": 566900174, "d7": 1620827491, "a7": -476352954, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 1743424059, "a0": 417579042, "d1": 1461279945, "a1": 274400500, "d2": 1109048523, "a2": 1201779776, "d3": 1767953748, "a3": 1229012004, "d4": 1414902744, "a4": 1507034382, "d5": 1183995177, "a5": 1304725556, "d6": 823466737, "a6": 566900174, "d7": 1620827491, "a7": -476352954, "usp": 143542612}, "initial memory": [0, 227, 1, 155, 2, 110, 3, 70, 4, 0, 5, 0, 6, 1, 7, 0, 44, 176, 45, 129, 46, 138, 47, 75, 256, 0, 257, 89, 258, 213, 259, 140, 260, 243, 261, 126, 262, 216, 263, 142, 264, 90, 265, 185, 5965042, 201, 5965043, 240, -1], "final memory": [10186304, 39, 10186305, 24, 10186308, 1, 10186309, 4, -1]},
{ "name" : "ORI 90", "initial state": {"pc": 256, "sr": 9984, "d0": 611025384, "a0": 662532774, "d1": 236828934, "a1": 485622922, "d2": 1096695847, "a2": 1426608260, "d3": 314958328, "a3": 350123872, "d4": 2104912488, "a4": 426723924, "d5": 1766068785, "a5": 1501093334, "d6": 1946584308, "a6": 237796388, "d7": 1476586158, "a7": -1810559228, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 611025384, "a0": 662532774, "d1": 236828934, "a1": 485622922, "d2": 1096695847, "a2": 1426608262, "d3": 314958328, "a3": 350123872, "d4": 2104912488, "a4": 426723924, "d5": 1766068785, "a5": 1501093334, "d6": 1946584308, "a6": 237796388, "d7": 1476586158, "a7": -1810559228, "usp": 143542612}, "initial memory": [0, 148, 1, 21, 2, 15, 3, 4, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 90, 258, 203, 259, 54, 260, 78, 261, 147, 262, 161, 263, 23, 264, 252, 265, 95, 544900, 151, 544901, 208, -1], "final memory": [1380098, 1, 1380099, 6, -1]},
{ "name" : "ORI 91", "initial state": {"pc": 256, "sr": 10000, "d0": 1481024362, "a0": 395593788, "d1": 93499757, "a1": 135423804, "d2": 1639869942, "a2": 1882691654, "d3": 488989596, "a3": 1374590686, "d4": 28222903, "a4": 116601982, "d5": 1895928381, "a5": 1224442216, "d6": 505945281, "a6": 2012035564, "d7": 1534579294, "a7": -956036846, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 1481024362, "a0": 395593788, "d1": 93499757, "a1": 135423804, "d2": 1639869942, "a2": 1882691654, "d3": 488989596, "a3": 1374590688, "d4": 28222903, "a4": 116601982, "d5": 1895928381, "a5": 1224442216, "d6": 505945281, "a6": 2012035564, "d7": 1534579294, "a7": -956036846, "usp": 143542612}, "initial memory": [0, 199, 1, 4, 2, 9, 3, 18, 4, 0, 5, 0, 6, 1, 7, 0, 12, 150, 13, 29, 14, 163, 15, 230, 256, 0, 257, 91, 258, 88, 259, 114, 260, 187, 261, 251, 262, 112, 263, 223, 264, 99, 265, 238, 15636190, 200, 15636191, 216, -1], "final memory": [264453, 22, 264454, 255, 264455, 255, 264456, 211, 264457, 67, 264458, 187, 264459, 251, 264460, 39, 264461, 24, 264464, 1, 264465, 8, -1]},
{ "name" : "ORI 92", "initial state": {"pc": 256, "sr": 10013, "d0": 410719545, "a0": 1350143980, "d1": 950951357, "a1": 1557674464, "d2": 1066156125, "a2": 2009076324, "d3": 282442307, "a3": 1660412494, "d4": 1068993879, "a4": 2793892, "d5": 731933551, "a5": 1859803064, "d6": 820861641, "a6": 1085614562, "d7": 786651959, "a7": 1362439878, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 410719545, "a0": 1350143980, "d1": 950951357, "a1": 1557674464, "d2": 1066156125, "a2": 2009076324, "d3": 282442307, "a3": 1660412494, "d4": 1068993879, "a4": 2793894, "d5": 731933551, "a5": 1859803064, "d6": 820861641, "a6": 1085614562, "d7": 786651959, "a7": 1362439878, "usp": 143542612}, "initial memory": [0, 81, 1, 53, 2, 46, 3, 198, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 92, 258, 191, 259, 56, 260, 32, 261, 140, 262, 234, 263, 165, 264, 31, 265, 153, 2793892, 200, 2793893, 136, -1], "final memory": [7966701, 42, 7966702, 161, 7966703, 166, -1]},
{ "name" : "ORI 93", "initial state": {"pc": 256, "sr": 9991, "d0": 188805589, "a0": 1545417698, "d1": 1422187704, "a1": 20539820, "d2": 1215750018, "a2": 1615388026, "d3": 1951134968, "a3": 1338304414, "d4": 650117486, "a4": 138584226, "d5": 127791266, "a5": 1312829840, "d6": 304160662, "a6": 1484148408, "d7": 1017166374, "a7": 1602361592, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 188805589, "a0": 1545417698, "d1": 1422187704, "a1": 20539820, "d2": 1215750018, "a2": 1615388026, "d3": 1951134968, "a3": 1338304414, "d4": 650117486, "a4": 138584226, "d5": 127791266, "a5": 1312829842, "d6": 304160662, "a6": 1484148408, "d7": 1017166374, "a7": 1602361592, "usp": 143542612}, "initial memory": [0, 95, 1, 130, 2, 24, 3, 248, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 93, 258, 178, 259, 117, 260, 81, 261, 185, 262, 110, 263, 225, 264, 168, 265, 128, 266, 146, 267, 99, 4206992, 32, 4206993, 3, 14788736, 198, 14788737, 83, 14788738, 36, 14788739, 144, -1], "final memory": [-1]},
{ "name" : "ORI 94", "initial state": {"pc": 256, "sr": 10007, "d0": 115055544, "a0": 647875228, "d1": 1003245708, "a1": 1096883512, "d2": 1656501759, "a2": 1321577142, "d3": 847063805, "a3": 323681480, "d4": 932274672, "a4": 538556508, "d5": 699723792, "a5": 2023158304, "d6": 637321172, "a6": 2113049184, "d7": 1955990215, "a7": -1020081878, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 115055544, "a0": 647875228, "d1": 1003245708, "a1": 1096883512, "d2": 1656501759, "a2": 1321577142, "d3": 847063805, "a3": 323681480, "d4": 932274672, "a4": 538556508, "d5": 699723792, "a5": 2023158304, "d6": 637321172, "a6": 2113049186, "d7": 1955990215, "a7": -1020081878, "usp": 143542612}, "initial memory": [0, 195, 1, 50, 2, 201, 3, 42, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 94, 258, 60, 259, 9, 260, 147, 261, 15, 262, 189, 263, 240, 264, 233, 265, 169, 3328296, 124, 6364471, 253, 15897184, 227, 15897185, 104, -1], "final memory": [-1]},
{ "name" : "ORI 95", "initial state": {"pc": 256, "sr": 10000, "d0": 657430200, "a0": 1253448198, "d1": 626007585, "a1": 2036770362, "d2": 787094442, "a2": 1110157760, "d3": 197021174, "a3": 1083563990, "d4": 2062571391, "a4": 798670176, "d5": 956338663, "a5": 1476871088, "d6": 1416294893, "a6": 1156400796, "d7": 959523303, "a7": -541772200, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 657430200, "a0": 1253448198, "d1": 626007585, "a1": 2036770362, "d2": 787094442, "a2": 1110157760, "d3": 197021174, "a3": 1083563990, "d4": 2062571391, "a4": 798670176, "d5": 956338663, "a5": 1476871088, "d6": 1416294893, "a6": 1156400796, "d7": 959523303, "a7": -541772198, "usp": 143542612}, "initial memory": [0, 223, 1, 181, 2, 54, 3, 88, 4, 0, 5, 0, 6, 1, 7, 0, 44, 112, 45, 50, 46, 52, 47, 227, 256, 0, 257, 95, 258, 52, 259, 89, 260, 243, 261, 212, 262, 233, 263, 227, 264, 117, 265, 9, 11875928, 247, 11875929, 25, -1], "final memory": [11875924, 39, 11875925, 24, -1]},
{ "name" : "ORI 96", "initial state": {"pc": 256, "sr": 10011, "d0": 1402268365, "a0": 1243662618, "d1": 1438868377, "a1": 779284474, "d2": 247463372, "a2": 2078891918, "d3": 1588552612, "a3": 377545942, "d4": 1287050380, "a4": 1747970762, "d5": 2000444076, "a5": 568322780, "d6": 459607900, "a6": 1941202058, "d7": 131297041, "a7": -1201001400, "usp": 143542612}, "final state": {"pc": 260, "sr": 10000, "d0": 1402268365, "a0": 1243662616, "d1": 1438868377, "a1": 779284474, "d2": 247463372, "a2": 2078891918, "d3": 1588552612, "a3": 377545942, "d4": 1287050380, "a4": 1747970762, "d5": 2000444076, "a5": 568322780, "d6": 459607900, "a6": 1941202058, "d7": 131297041, "a7": -1201001400, "usp": 143542612}, "initial memory": [0, 184, 1, 106, 2, 44, 3, 72, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 96, 258, 68, 259, 136, 260, 92, 261, 71, 262, 122, 263, 109, 264, 184, 265, 7, 2148632, 81, 2148633, 61, -1], "final memory": [-1]},
{ "name" : "ORI 97", "initial state": {"pc": 256, "sr": 9991, "d0": 13456, "a0": 1725782670, "d1": 226154992, "a1": 1315198308, "d2": 2088379001, "a2": 488783984, "d3": 913143239, "a3": 867486120, "d4": 1280276411, "a4": 572739356, "d5": 1966980384, "a5": 1008667244, "d6": 676051970, "a6": 434477296, "d7": 69483513, "a7": -604021004, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 13456, "a0": 1725782670, "d1": 226154992, "a1": 1315198306, "d2": 2088379001, "a2": 488783984, "d3": 913143239, "a3": 867486120, "d4": 1280276411, "a4": 572739356, "d5": 1966980384, "a5": 1008667244, "d6": 676051970, "a6": 434477296, "d7": 69483513, "a7": -604021004, "usp": 143542612}, "initial memory": [0, 219, 1, 255, 2, 94, 3, 244, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 97, 258, 236, 259, 54, 260, 13, 261, 247, 262, 249, 263, 167, 264, 82, 265, 195, 6575458, 97, 6575459, 169, 16694671, 69, -1], "final memory": [-1]},
{ "name" : "ORI 98", "initial state": {"pc": 256, "sr": 10009, "d0": 286810815, "a0": 1545644496, "d1": 1476063837, "a1": 1684850160, "d2": 473818315, "a2": 557269778, "d3": 595057129, "a3": 856974278, "d4": 293823024, "a4": 2141370370, "d5": 1218659915, "a5": 333385324, "d6": 1465649966, "a6": 422305444, "d7": 1541547472, "a7": -1208319484, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 286810815, "a0": 1545644496, "d1": 1476063837, "a1": 1684850160, "d2": 473818315, "a2": 557269776, "d3": 595057129, "a3": 856974278, "d4": 293823024, "a4": 2141370370, "d5": 1218659915, "a5": 333385324, "d6": 1465649966, "a6": 422305444, "d7": 1541547472, "a7": -1208319484, "usp": 143542612}, "initial memory": [0, 183, 1, 250, 2, 130, 3, 4, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 98, 258, 155, 259, 142, 260, 190, 261, 98, 262, 23, 263, 243, 264, 100, 265, 176, 3621646, 89, 3621647, 172, 3621648, 117, 3621649, 192, -1], "final memory": [-1]},
{ "name" : "ORI 99", "initial state": {"pc": 256, "sr": 9984, "d0": 1241043282, "a0": 550312684, "d1": 1853260910, "a1": 2040696006, "d2": 653298282, "a2": 516446604, "d3": 2047822110, "a3": 1936672708, "d4": 25792301, "a4": 248565776, "d5": 1846989860, "a5": 789320624, "d6": 482459635, "a6": 1105240048, "d7": 1948318020, "a7": -1074584864, "usp": 143542612}, "final state": {"pc": 260, "sr": 9984, "d0": 1241043282, "a0": 550312684, "d1": 1853260910, "a1": 2040696006, "d2": 653298282, "a2": 516446604, "d3": 2047822110, "a3": 1936672706, "d4": 25792301, "a4": 248565776, "d5": 1846989860, "a5": 789320624, "d6": 482459635, "a6": 1105240048, "d7": 1948318020, "a7": -1074584864, "usp": 143542612}, "initial memory": [0, 191, 1, 243, 2, 34, 3, 224, 4, 0, 5, 0, 6, 1, 7, 0, 16, 75, 17, 51, 18, 118, 19, 37, 256, 0, 257, 99, 258, 127, 259, 88, 260, 127, 261, 232, 262, 106, 263, 201, 264, 216, 265, 101, 7292866, 33, 7292867, 150, -1], "final memory": [15934170, 39, 15934174, 1, 15934175, 4, -1]},
{ "name" : "ORI 100", "initial state": {"pc": 256, "sr": 10015, "d0": 308917857, "a0": 1133598294, "d1": 1514447800, "a1": 2059111528, "d2": 1347990356, "a2": 788479690, "d3": 1868921089, "a3": 2004064646, "d4": 1860921801, "a4": 1181002580, "d5": 560874499, "a5": 2066513292, "d6": 1311978010, "a6": 635892520, "d7": 52326674, "a7": -9189438, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 308917857, "a0": 1133598294, "d1": 1514447800, "a1": 2059111528, "d2": 1347990356, "a2": 788479690, "d3": 1868921089, "a3": 2004064646, "d4": 1860921801, "a4": 1181002578, "d5": 560874499, "a5": 2066513292, "d6": 1311978010, "a6": 635892520, "d7": 52326674, "a7": -9189438, "usp": 143542612}, "initial memory": [0, 255, 1, 115, 2, 199, 3, 194, 4, 0, 5, 0, 6, 1, 7, 0, 16, 71, 17, 69, 18, 182, 19, 65, 256, 0, 257, 100, 258, 150, 259, 164, 260, 6, 261, 236, 262, 124, 263, 61, 264, 148, 265, 12, 6597458, 119, 6597459, 51, -1], "final memory": [7587772, 39, 7587773, 24, 7587776, 1, 7587777, 4, -1]},
{ "name" : "ORI 101", "initial state": {"pc": 256, "sr": 10007, "d0": 294904209, "a0": 743159388, "d1": 62783387, "a1": 514943164, "d2": 785914632, "a2": 290659938, "d3": 1842790974, "a3": 1743764688, "d4": 778742984, "a4": 743780606, "d5": 1567987270, "a5": 218352662, "d6": 1390214553, "a6": 1951121158, "d7": 713912911, "a7": -2015214178, "usp": 143542612}, "final state": {"pc": 260, "sr": 10008, "d0": 294904209, "a0": 743159388, "d1": 62783387, "a1": 514943164, "d2": 785914632, "a2": 290659938, "d3": 1842790974, "a3": 1743764688, "d4": 778742984, "a4": 743780606, "d5": 1567987270, "a5": 218352660, "d6": 1390214553, "a6": 1951121158, "d7": 713912911, "a7": -2015214178, "usp": 143542612}, "initial memory": [0, 135, 1, 226, 2, 69, 3, 158, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 101, 258, 164, 259, 177, 260, 111, 261, 180, 262, 180, 263, 65, 264, 36, 265, 205, 248852, 194, 248853, 228, -1], "final memory": [-1]},
{ "name" : "ORI 102", "initial state": {"pc": 256, "sr": 9994, "d0": 783035740, "a0": 2003332974, "d1": 701893364, "a1": 1768693158, "d2": 594095777, "a2": 957281538, "d3": 1316249136, "a3": 83342648, "d4": 970181005, "a4": 580563898, "d5": 2136303011, "a5": 1519242172, "d6": 1065611684, "a6": 322621974, "d7": 1869440655, "a7": -1487185490, "usp": 143542612}, "final state": {"pc": 260, "sr": 9992, "d0": 783035740, "a0": 2003332974, "d1": 701893364, "a1": 1768693158, "d2": 594095777, "a2": 957281538, "d3": 1316249136, "a3": 83342648, "d4": 970181005, "a4": 580563898, "d5": 2136303011, "a5": 1519242172, "d6": 1065611684, "a6": 322621972, "d7": 1869440655, "a7": -1487185490, "usp": 143542612}, "initial memory": [0, 167, 1, 91, 2, 89, 3, 174, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 102, 258, 146, 259, 70, 260, 89, 261, 206, 262, 32, 263, 221, 264, 194, 265, 196, 3854868, 42, 3854869, 183, -1], "final memory": [-1]},
{ "name" : "ORI 103", "initial state": {"pc": 256, "sr": 10005, "d0": 619258248, "a0": 422820718, "d1": 1167620774, "a1": 324436310, "d2": 496782332, "a2": 340082436, "d3": 4234388, "a3": 1311533992, "d4": 300398765, "a4": 1179650736, "d5": 67989258, "a5": 820890848, "d6": 234159002, "a6": 1277534008, "d7": 1320305310, "a7": -1376680532, "usp": 143542612}, "final state": {"pc": 260, "sr": 10000, "d0": 619258248, "a0": 422820718, "d1": 1167620774, "a1": 324436310, "d2": 496782332, "a2": 340082436, "d3": 4234388, "a3": 1311533992, "d4": 300398765, "a4": 1179650736, "d5": 67989258, "a5": 820890848, "d6": 234159002, "a6": 1277534008, "d7": 1320305310, "a7": -1376680534, "usp": 143542612}, "initial memory": [0, 173, 1, 241, 2, 133, 3, 172, 4, 0, 5, 0, 6, 1, 7, 0, 16, 43, 17, 161, 18, 114, 19, 7, 256, 0, 257, 103, 258, 18, 259, 127, 260, 127, 261, 197, 262, 114, 263, 152, 264, 98, 265, 126, 15828394, 41, 15828395, 202, -1], "final memory": [15828388, 39, 15828389, 16, 15828392, 1, 15828393, 4, -1]},
{ "name" : "ORI 104", "initial state": {"pc": 256, "sr": 10000, "d0": 1303373802, "a0": 146704066, "d1": 1470290814, "a1": 344027312, "d2": 83384869, "a2": 1041071866, "d3": 1290155439, "a3": 1745596560, "d4": 500079514, "a4": 1467282252, "d5": 1732881087, "a5": 1058107670, "d6": 359208595, "a6": 303528882, "d7": 642324448, "a7": -638167038, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 1303373802, "a0": 146704066, "d1": 1470290814, "a1": 344027312, "d2": 83384869, "a2": 1041071866, "d3": 1290155439, "a3": 1745596560, "d4": 500079514, "a4": 1467282252, "d5": 1732881087, "a5": 1058107670, "d6": 359208595, "a6": 303528882, "d7": 642324448, "a7": -638167038, "usp": 143542612}, "initial memory": [0, 217, 1, 246, 2, 88, 3, 2, 4, 0, 5, 0, 6, 1, 7, 0, 16, 56, 17, 137, 18, 61, 19, 126, 256, 0, 257, 104, 258, 177, 259, 130, 260, 234, 261, 88, 262, 70, 263, 138, 264, 44, 265, 237, 12480794, 239, 12480795, 35, -1], "final memory": [16144380, 39, 16144381, 24, 16144384, 1, 16144385, 6, -1]},
{ "name" : "ORI 105", "initial state": {"pc": 256, "sr": 9992, "d0": 1879270107, "a0": 231177602, "d1": 1850691920, "a1": 604056198, "d2": 425956292, "a2": 1217320416, "d3": 1484404193, "a3": 427543550, "d4": 1063744552, "a4": 244161988, "d5": 553324189, "a5": 1936766546, "d6": 1115453013, "a6": 1825701042, "d7": 2034034828, "a7": 63469520, "usp": 143542612}, "final state": {"pc": 262, "sr": 9992, "d0": 1879270107, "a0": 231177602, "d1": 1850691920, "a1": 604056198, "d2": 425956292, "a2": 1217320416, "d3": 1484404193, "a3": 427543550, "d4": 1063744552, "a4": 244161988, "d5": 553324189, "a5": 1936766546, "d6": 1115453013, "a6": 1825701042, "d7": 2034034828, "a7": 63469520, "usp": 143542612}, "initial memory": [0, 3, 1, 200, 2, 119, 3, 208, 4, 0, 5, 0, 6, 1, 7, 0, 16, 117, 17, 122, 18, 214, 19, 115, 256, 0, 257, 105, 258, 28, 259, 107, 260, 235, 261, 38, 262, 26, 263, 139, 264, 156, 265, 246, 71084, 132, 71085, 143, -1], "final memory": [13137866, 39, 13137867, 8, 13137870, 1, 13137871, 6, -1]},
{ "name" : "ORI 106", "initial state": {"pc": 256, "sr": 10008, "d0": 1113746951, "a0": 1188779302, "d1": 1277538205, "a1": 1773360672, "d2": 1043108729, "a2": 2094778044, "d3": 1619397842, "a3": 1087693396, "d4": 11788416, "a4": 1482120114, "d5": 559412188, "a5": 1329951252, "d6": 357237150, "a6": 1480894388, "d7": 1867986685, "a7": 2131266360, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 1113746951, "a0": 1188779302, "d1": 1277538205, "a1": 1773360672, "d2": 1043108729, "a2": 2094778044, "d3": 1619397842, "a3": 1087693396, "d4": 11788416, "a4": 1482120114, "d5": 559412188, "a5": 1329951252, "d6": 357237150, "a6": 1480894388, "d7": 1867986685, "a7": 2131266360, "usp": 143542612}, "initial memory": [0, 127, 1, 8, 2, 139, 3, 56, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 106, 258, 62, 259, 181, 260, 232, 261, 254, 262, 151, 263, 83, 264, 11, 265, 102, 13951572, 183, 13951573, 252, 14397370, 236, 14397371, 253, -1], "final memory": [-1]},
{ "name" : "ORI 107", "initial state": {"pc": 256, "sr": 9989, "d0": 667312311, "a0": 149805456, "d1": 1358406343, "a1": 929481514, "d2": 836755544, "a2": 999774326, "d3": 1627507452, "a3": 1295059760, "d4": 1018533925, "a4": 1322640782, "d5": 907527238, "a5": 1020392976, "d6": 1381428072, "a6": 2087843144, "d7": 1215898387, "a7": 442170804, "usp": 143542612}, "final state": {"pc": -1814761502, "sr": 9989, "d0": 667312311, "a0": 149805456, "d1": 1358406343, "a1": 929481514, "d2": 836755544, "a2": 999774326, "d3": 1627507452, "a3": 1295059760, "d4": 1018533925, "a4": 1322640782, "d5": 907527238, "a5": 1020392976, "d6": 1381428072, "a6": 2087843144, "d7": 1215898387, "a7": 442170790, "usp": 143542612}, "initial memory": [0, 26, 1, 90, 2, 253, 3, 180, 4, 0, 5, 0, 6, 1, 7, 0, 12, 147, 13, 212, 14, 239, 15, 226, 256, 0, 257, 107, 258, 84, 259, 247, 260, 69, 261, 237, 262, 230, 263, 231, 264, 135, 265, 243, 5963172, 12, 13955040, 151, 13955041, 111, 13955042, 84, 13955043, 39, -1], "final memory": [5963175, 21, 5963176, 77, 5963177, 49, 5963178, 81, 5963179, 29, 5963181, 107, 5963182, 39, 5963183, 5, 5963186, 1, 5963187, 6, -1]},
{ "name" : "ORI 108", "initial state": {"pc": 256, "sr": 10002, "d0": 714569899, "a0": 359184398, "d1": 1047738469, "a1": 235645468, "d2": 2122026730, "a2": 533552414, "d3": 1642325381, "a3": 1671212680, "d4": 955363576, "a4": 1132893646, "d5": 60393213, "a5": 953510826, "d6": 1416449507, "a6": 1133495474, "d7": 1410637154, "a7": -1654102600, "usp": 143542612}, "final state": {"pc": 1128194863, "sr": 10002, "d0": 714569899, "a0": 359184398, "d1": 1047738469, "a1": 235645468, "d2": 2122026730, "a2": 533552414, "d3": 1642325381, "a3": 1671212680, "d4": 955363576, "a4": 1132893646, "d5": 60393213, "a5": 953510826, "d6": 1416449507, "a6": 1133495474, "d7": 1410637154, "a7": -1654102614, "usp": 143542612}, "initial memory": [0, 157, 1, 104, 2, 101, 3, 184, 4, 0, 5, 0, 6, 1, 7, 0, 12, 67, 13, 62, 14, 227, 15, 47, 256, 0, 257, 108, 258, 198, 259, 8, 260, 94, 261, 55, 262, 118, 263, 74, 264, 43, 265, 22, 16776961, 213, -1], "final memory": [6841771, 21, 6841772, 67, 6841773, 134, 6841774, 244, 6841775, 5, 6841777, 108, 6841778, 39, 6841779, 18, 6841782, 1, 6841783, 6, -1]},
{ "name" : "ORI 109", "initial state": {"pc": 256, "sr": 10003, "d0": 541234441, "a0": 1178641842, "d1": 1934004842, "a1": 1044295372, "d2": 506898502, "a2": 88487080, "d3": 375495465, "a3": 1143669836, "d4": 1645325369, "a4": 1680293002, "d5": 1984038011, "a5": 1274526564, "d6": 1748263908, "a6": 1966065970, "d7": 1200243502, "a7": -100169694, "usp": 143542612}, "final state": {"pc": 262, "sr": 10000, "d0": 541234441, "a0": 1178641842, "d1": 1934004842, "a1": 1044295372, "d2": 506898502, "a2": 88487080, "d3": 375495465, "a3": 1143669836, "d4": 1645325369, "a4": 1680293002, "d5": 1984038011, "a5": 1274526564, "d6": 1748263908, "a6": 1966065970, "d7": 1200243502, "a7": -100169694, "usp": 143542612}, "initial memory": [0, 250, 1, 7, 2, 136, 3, 34, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 109, 258, 34, 259, 216, 260, 194, 261, 20, 262, 208, 263, 147, 264, 125, 265, 157, 2819148, 65, 2819149, 65, 2819150, 159, 2819151, 223, 16219512, 67, 16219513, 110, -1], "final memory": [-1]},
{ "name" : "ORI 110", "initial state": {"pc": 256, "sr": 9995, "d0": 1762495482, "a0": 793755784, "d1": 2019622903, "a1": 485046524, "d2": 675606239, "a2": 329004856, "d3": 1168017184, "a3": 1961707414, "d4": 716794261, "a4": 100074706, "d5": 1925368604, "a5": 475904948, "d6": 1386534432, "a6": 1305359608, "d7": 1139145027, "a7": -1458674862, "usp": 143542612}, "final state": {"pc": 262, "sr": 9992, "d0": 1762495482, "a0": 793755784, "d1": 2019622903, "a1": 485046524, "d2": 675606239, "a2": 329004856, "d3": 1168017184, "a3": 1961707414, "d4": 716794261, "a4": 100074706, "d5": 1925368604, "a5": 475904948, "d6": 1386534432, "a6": 1305359608, "d7": 1139145027, "a7": -1458674862, "usp": 143542612}, "initial memory": [0, 169, 1, 14, 2, 99, 3, 82, 4, 0, 5, 0, 6, 1, 7, 0, 44, 178, 45, 168, 46, 185, 47, 23, 256, 0, 257, 110, 258, 211, 259, 211, 260, 205, 261, 172, 262, 242, 263, 144, 264, 215, 265, 253, 13501092, 157, 13501093, 164, -1], "final memory": [942924, 39, 942925, 8, 942928, 1, 942929, 6, -1]},
{ "name" : "ORI 111", "initial state": {"pc": 256, "sr": 10000, "d0": 1951011304, "a0": 1066976720, "d1": 719180285, "a1": 1189280590, "d2": 1225084679, "a2": 1608573500, "d3": 2072476164, "a3": 623199224, "d4": 2069617655, "a4": 831611348, "d5": 1271297126, "a5": 1068367966, "d6": 1375992679, "a6": 949648802, "d7": 57561410, "a7": -1774417316, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 1951011304, "a0": 1066976720, "d1": 719180285, "a1": 1189280590, "d2": 1225084679, "a2": 1608573500, "d3": 2072476164, "a3": 623199224, "d4": 2069617655, "a4": 831611348, "d5": 1271297126, "a5": 1068367966, "d6": 1375992679, "a6": 949648802, "d7": 57561410, "a7": -1774417316, "usp": 143542612}, "initial memory": [0, 150, 1, 60, 2, 138, 3, 92, 4, 0, 5, 0, 6, 1, 7, 0, 40, 0, 41, 94, 42, 80, 43, 233, 256, 0, 257, 111, 258, 109, 259, 219, 260, 69, 261, 88, 262, 169, 263, 76, 264, 238, 265, 8, 3985332, 199, 3985333, 245, -1], "final memory": [3967574, 39, 3967575, 24, 3967578, 1, 3967579, 6, -1]},
{ "name" : "ORI 112", "initial state": {"pc": 256, "sr": 9995, "d0": 1185391678, "a0": 1854419788, "d1": 672138927, "a1": 803224812, "d2": 874962869, "a2": 717210242, "d3": 1680408274, "a3": 326826682, "d4": 1064419421, "a4": 1860375802, "d5": 1158429237, "a5": 2121687540, "d6": 633442557, "a6": 236543152, "d7": 1192617320, "a7": 361215888, "usp": 143542612}, "final state": {"pc": -1855999981, "sr": 9995, "d0": 1185391678, "a0": 1854419788, "d1": 672138927, "a1": 803224812, "d2": 874962869, "a2": 717210242, "d3": 1680408274, "a3": 326826682, "d4": 1064419421, "a4": 1860375802, "d5": 1158429237, "a5": 2121687540, "d6": 633442557, "a6": 236543152, "d7": 1192617320, "a7": 361215874, "usp": 143542612}, "initial memory": [0, 21, 1, 135, 2, 183, 3, 144, 4, 0, 5, 0, 6, 1, 7, 0, 12, 145, 13, 95, 14, 176, 15, 19, 256, 0, 257, 112, 258, 18, 259, 0, 260, 228, 261, 19, 262, 212, 263, 137, 264, 151, 265, 16, 16776961, 38, -1], "final memory": [8894339, 21, 8894340, 110, 8894341, 136, 8894342, 144, 8894343, 15, 8894345, 112, 8894346, 39, 8894347, 11, 8894350, 1, 8894351, 6, -1]},
{ "name" : "ORI 113", "initial state": {"pc": 256, "sr": 10006, "d0": 744121865, "a0": 426813356, "d1": 1658908574, "a1": 856710118, "d2": 496214217, "a2": 1996600544, "d3": 1193343818, "a3": 285891792, "d4": 1179769793, "a4": 1062446612, "d5": 674398200, "a5": 213683078, "d6": 191858534, "a6": 778850968, "d7": 1193426791, "a7": 1903879022, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 744121865, "a0": 426813356, "d1": 1658908574, "a1": 856710118, "d2": 496214217, "a2": 1996600544, "d3": 1193343818, "a3": 285891792, "d4": 1179769793, "a4": 1062446612, "d5": 674398200, "a5": 213683078, "d6": 191858534, "a6": 778850968, "d7": 1193426791, "a7": 1903879022, "usp": 143542612}, "initial memory": [0, 113, 1, 122, 2, 227, 3, 110, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 113, 258, 171, 259, 50, 260, 120, 261, 29, 262, 228, 263, 153, 264, 0, 265, 6, 3316586, 0, 3316587, 184, -1], "final memory": [-1]},
{ "name" : "ORI 114", "initial state": {"pc": 256, "sr": 9990, "d0": 53764993, "a0": 1611411922, "d1": 1685105611, "a1": 1083900736, "d2": 555667441, "a2": 15909258, "d3": 1843783731, "a3": 1098926978, "d4": 284140707, "a4": 1306355046, "d5": 1696715268, "a5": 36451194, "d6": 258160763, "a6": 602378162, "d7": 990976801, "a7": 1378380852, "usp": 143542612}, "final state": {"pc": -516210092, "sr": 9990, "d0": 53764993, "a0": 1611411922, "d1": 1685105611, "a1": 1083900736, "d2": 555667441, "a2": 15909258, "d3": 1843783731, "a3": 1098926978, "d4": 284140707, "a4": 1306355046, "d5": 1696715268, "a5": 36451194, "d6": 258160763, "a6": 602378162, "d7": 990976801, "a7": 1378380838, "usp": 143542612}, "initial memory": [0, 82, 1, 40, 2, 108, 3, 52, 4, 0, 5, 0, 6, 1, 7, 0, 12, 225, 13, 59, 14, 66, 15, 84, 16, 130, 17, 58, 18, 58, 19, 6, 256, 0, 257, 114, 258, 68, 259, 12, 260, 173, 261, 85, 262, 228, 263, 91, 264, 69, 265, 128, 3883604, 228, 3883605, 199, 3883606, 86, 3883607, 146, -1], "final memory": [2649120, 39, 2649121, 6, 2649122, 225, 2649123, 59, 2649124, 66, 2649125, 84, 2649127, 21, 2649128, 1, 2649129, 229, 2649130, 131, 2649131, 105, 2649133, 114, 2649134, 39, 2649135, 6, 2649138, 1, 2649139, 6, -1]},
{ "name" : "ORI 115", "initial state": {"pc": 256, "sr": 9992, "d0": 373670371, "a0": 1312101128, "d1": 1035741569, "a1": 2121570900, "d2": 206107601, "a2": 423641512, "d3": 159327396, "a3": 1234602378, "d4": 2050920410, "a4": 975186538, "d5": 559312873, "a5": 364967068, "d6": 835533592, "a6": 788232850, "d7": 417513011, "a7": -2027098282, "usp": 143542612}, "final state": {"pc": 130652149, "sr": 9992, "d0": 373670371, "a0": 1312101128, "d1": 1035741569, "a1": 2121570900, "d2": 206107601, "a2": 423641512, "d3": 159327396, "a3": 1234602378, "d4": 2050920410, "a4": 975186538, "d5": 559312873, "a5": 364967068, "d6": 835533592, "a6": 788232850, "d7": 417513011, "a7": -2027098296, "usp": 143542612}, "initial memory": [0, 135, 1, 44, 2, 239, 3, 86, 4, 0, 5, 0, 6, 1, 7, 0, 12, 7, 13, 201, 14, 151, 15, 245, 256, 0, 257, 115, 258, 177, 259, 132, 260, 103, 261, 187, 262, 44, 263, 100, 264, 119, 265, 191, 16776961, 111, -1], "final memory": [2944841, 21, 2944842, 73, 2944843, 150, 2944844, 196, 2944845, 93, 2944847, 115, 2944848, 39, 2944849, 8, 2944852, 1, 2944853, 6, -1]},
{ "name" : "ORI 116", "initial state": {"pc": 256, "sr": 10003, "d0": 1219397882, "a0": 1962279936, "d1": 983759453, "a1": 1132534180, "d2": 568528318, "a2": 1354399898, "d3": 1100695123, "a3": 72444292, "d4": 958797003, "a4": 2095488248, "d5": 1931425980, "a5": 139190142, "d6": 113637808, "a6": 759041818, "d7": 797676873, "a7": -966033662, "usp": 143542612}, "final state": {"pc": -1887405851, "sr": 10003, "d0": 1219397882, "a0": 1962279936, "d1": 983759453, "a1": 1132534180, "d2": 568528318, "a2": 1354399898, "d3": 1100695123, "a3": 72444292, "d4": 958797003, "a4": 2095488248, "d5": 1931425980, "a5": 139190142, "d6": 113637808, "a6": 759041818, "d7": 797676873, "a7": -966033676, "usp": 143542612}, "initial memory": [0, 198, 1, 107, 2, 127, 3, 2, 4, 0, 5, 0, 6, 1, 7, 0, 12, 143, 13, 128, 14, 120, 15, 229, 256, 0, 257, 116, 258, 188, 259, 47, 260, 207, 261, 41, 262, 203, 263, 216, 264, 239, 265, 218, 16776961, 210, -1], "final memory": [7044853, 21, 7044854, 249, 7044855, 205, 7044856, 58, 7044857, 25, 7044859, 116, 7044860, 39, 7044861, 19, 7044864, 1, 7044865, 6, -1]},
{ "name" : "ORI 117", "initial state": {"pc": 256, "sr": 9997, "d0": 1597885195, "a0": 1056032850, "d1": 1373466630, "a1": 1939251142, "d2": 551928807, "a2": 634633074, "d3": 1285587856, "a3": 1874300522, "d4": 1042123325, "a4": 2078755864, "d5": 90098343, "a5": 238370012, "d6": 306879666, "a6": 1227790028, "d7": 1618310015, "a7": -580943538, "usp": 143542612}, "final state": {"pc": 262, "sr": 9992, "d0": 1597885195, "a0": 1056032850, "d1": 1373466630, "a1": 1939251142, "d2": 551928807, "a2": 634633074, "d3": 1285587856, "a3": 1874300522, "d4": 1042123325, "a4": 2078755864, "d5": 90098343, "a5": 238370012, "d6": 306879666, "a6": 1227790028, "d7": 1618310015, "a7": -580943538, "usp": 143542612}, "initial memory": [0, 221, 1, 95, 2, 129, 3, 78, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 117, 258, 132, 259, 77, 260, 248, 261, 204, 262, 75, 263, 247, 264, 126, 265, 105, 266, 112, 267, 2, 9747958, 134, 9747959, 200, -1], "final memory": [-1]},
{ "name" : "ORI 118", "initial state": {"pc": 256, "sr": 10011, "d0": 948554309, "a0": 888003658, "d1": 1581159682, "a1": 1813617002, "d2": 1588127396, "a2": 78083902, "d3": 582896009, "a3": 243649404, "d4": 2060309296, "a4": 1911701846, "d5": 1592013644, "a5": 1470082954, "d6": 1474556735, "a6": 884865950, "d7": 913758765, "a7": -1301056842, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 948554309, "a0": 888003658, "d1": 1581159682, "a1": 1813617002, "d2": 1588127396, "a2": 78083902, "d3": 582896009, "a3": 243649404, "d4": 2060309296, "a4": 1911701846, "d5": 1592013644, "a5": 1470082954, "d6": 1474556735, "a6": 884865950, "d7": 913758765, "a7": -1301056842, "usp": 143542612}, "initial memory": [0, 178, 1, 115, 2, 114, 3, 182, 4, 0, 5, 0, 6, 1, 7, 0, 16, 141, 17, 163, 18, 170, 19, 27, 256, 0, 257, 118, 258, 156, 259, 123, 260, 95, 261, 152, 262, 34, 263, 63, 264, 129, 265, 136, 10628738, 99, 10628739, 212, -1], "final memory": [7566000, 39, 7566001, 24, 7566004, 1, 7566005, 6, -1]},
{ "name" : "ORI 119", "initial state": {"pc": 256, "sr": 10005, "d0": 716022311, "a0": 920012956, "d1": 1836106836, "a1": 775509898, "d2": 107585262, "a2": 916618850, "d3": 4267660, "a3": 1712812018, "d4": 859601269, "a4": 213315298, "d5": 1196034714, "a5": 1040006642, "d6": 1308502278, "a6": 1022245968, "d7": 1765241066, "a7": 1950287506, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 716022311, "a0": 920012956, "d1": 1836106836, "a1": 775509898, "d2": 107585262, "a2": 916618850, "d3": 4267660, "a3": 1712812018, "d4": 859601269, "a4": 213315298, "d5": 1196034714, "a5": 1040006642, "d6": 1308502278, "a6": 1022245968, "d7": 1765241066, "a7": 1950287506, "usp": 143542612}, "initial memory": [0, 116, 1, 63, 2, 6, 3, 146, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 119, 258, 251, 259, 238, 260, 199, 261, 32, 262, 11, 263, 56, 264, 159, 265, 1, 266, 59, 267, 108, 4126100, 161, 4126101, 223, 16752385, 44, -1], "final memory": [-1]},
{ "name" : "ORI 120", "initial state": {"pc": 256, "sr": 10000, "d0": 1902005662, "a0": 462932090, "d1": 1715075639, "a1": 166400356, "d2": 1750754639, "a2": 667074898, "d3": 112286479, "a3": 1663173346, "d4": 1708210487, "a4": 1307276870, "d5": 184778266, "a5": 497161632, "d6": 306963100, "a6": 2084179000, "d7": 873101606, "a7": 748564524, "usp": 143542612}, "final state": {"pc": -1856949489, "sr": 10000, "d0": 1902005662, "a0": 462932090, "d1": 1715075639, "a1": 166400356, "d2": 1750754639, "a2": 667074898, "d3": 112286479, "a3": 1663173346, "d4": 1708210487, "a4": 1307276870, "d5": 184778266, "a5": 497161632, "d6": 306963100, "a6": 2084179000, "d7": 873101606, "a7": 748564510, "usp": 143542612}, "initial memory": [0, 44, 1, 158, 2, 48, 3, 44, 4, 0, 5, 0, 6, 1, 7, 0, 12, 145, 13, 81, 14, 51, 15, 15, 256, 0, 257, 120, 258, 116, 259, 58, 260, 176, 261, 199, 262, 10, 263, 194, 264, 112, 265, 66, 16776961, 152, -1], "final memory": [10367007, 21, 10367008, 255, 10367009, 255, 10367010, 176, 10367011, 199, 10367013, 120, 10367014, 39, 10367015, 16, 10367018, 1, 10367019, 6, -1]},
{ "name" : "ORI 121", "initial state": {"pc": 256, "sr": 10014, "d0": 1663840210, "a0": 162724168, "d1": 1777841883, "a1": 1158425752, "d2": 101063223, "a2": 574870162, "d3": 2057507831, "a3": 313884880, "d4": 1752431623, "a4": 1243357934, "d5": 380069156, "a5": 2100928234, "d6": 1205938714, "a6": 1374721670, "d7": 261305812, "a7": 74978396, "usp": 143542612}, "final state": {"pc": 264, "sr": 10008, "d0": 1663840210, "a0": 162724168, "d1": 1777841883, "a1": 1158425752, "d2": 101063223, "a2": 574870162, "d3": 2057507831, "a3": 313884880, "d4": 1752431623, "a4": 1243357934, "d5": 380069156, "a5": 2100928234, "d6": 1205938714, "a6": 1374721670, "d7": 261305812, "a7": 74978396, "usp": 143542612}, "initial memory": [0, 4, 1, 120, 2, 20, 3, 92, 4, 0, 5, 0, 6, 1, 7, 0, 16, 208, 17, 33, 18, 41, 19, 163, 256, 0, 257, 121, 258, 81, 259, 242, 260, 240, 261, 89, 262, 149, 263, 24, 264, 147, 265, 186, 266, 119, 267, 142, 5870872, 205, 5870873, 231, -1], "final memory": [7869526, 39, 7869527, 24, 7869530, 1, 7869531, 8, -1]},
{ "name" : "ORI 124", "initial state": {"pc": 256, "sr": 10015, "d0": 1657335592, "a0": 899511696, "d1": 1976393154, "a1": 1955700246, "d2": 2110171129, "a2": 69333540, "d3": 2101218545, "a3": 1352670106, "d4": 1958994547, "a4": 1064584400, "d5": 1749559272, "a5": 1783747642, "d6": 1496589780, "a6": 574923780, "d7": 1855958796, "a7": -922032602, "usp": 143542612}, "final state": {"pc": 260, "sr": 10015, "d0": 1657335592, "a0": 899511696, "d1": 1976393154, "a1": 1955700246, "d2": 2110171129, "a2": 69333540, "d3": 2101218545, "a3": 1352670106, "d4": 1958994547, "a4": 1064584400, "d5": 1749559272, "a5": 1783747642, "d6": 1496589780, "a6": 574923780, "d7": 1855958796, "a7": -922032602, "usp": 143542612}, "initial memory": [0, 201, 1, 10, 2, 230, 3, 38, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 124, 258, 11, 259, 169, 260, 183, 261, 118, 262, 164, 263, 20, 264, 63, 265, 147, 4494908, 212, 4494909, 163, -1], "final memory": [-1]},
{ "name" : "ORI 128", "initial state": {"pc": 256, "sr": 9992, "d0": 1611845731, "a0": 1741015652, "d1": 1932477659, "a1": 1785389596, "d2": 609337585, "a2": 253940440, "d3": 1934762199, "a3": 926985298, "d4": 350895719, "a4": 1995528148, "d5": 514254571, "a5": 1589468236, "d6": 1602379269, "a6": 1643574226, "d7": 1743440703, "a7": 1631261618, "usp": 143542612}, "final state": {"pc": 262, "sr": 9992, "d0": -281354381, "a0": 1741015652, "d1": 1932477659, "a1": 1785389596, "d2": 609337585, "a2": 253940440, "d3": 1934762199, "a3": 926985298, "d4": 350895719, "a4": 1995528148, "d5": 514254571, "a5": 1589468236, "d6": 1602379269, "a6": 1643574226, "d7": 1743440703, "a7": 1631261618, "usp": 143542612}, "initial memory": [0, 97, 1, 59, 2, 19, 3, 178, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 128, 258, 143, 259, 58, 260, 79, 261, 115, 262, 45, 263, 39, 264, 148, 265, 107, 3871662, 150, 3871663, 163, 3871664, 198, 3871665, 138, -1], "final memory": [16184270, 150, 16184271, 163, 16184272, 198, 16184273, 138, -1]},
{ "name" : "ORI 129", "initial state": {"pc": 256, "sr": 10000, "d0": 942745307, "a0": 1966002870, "d1": 586027183, "a1": 1426860154, "d2": 998859539, "a2": 288739036, "d3": 952603374, "a3": 1671419478, "d4": 914318433, "a4": 313597146, "d5": 1704409146, "a5": 702363084, "d6": 720149489, "a6": 2046228876, "d7": 334627131, "a7": 1121673640, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 942745307, "a0": 1966002870, "d1": -152044289, "a1": 1426860154, "d2": 998859539, "a2": 288739036, "d3": 952603374, "a3": 1671419478, "d4": 914318433, "a4": 313597146, "d5": 1704409146, "a5": 702363084, "d6": 720149489, "a6": 2046228876, "d7": 334627131, "a7": 1121673640, "usp": 143542612}, "initial memory": [0, 66, 1, 219, 2, 97, 3, 168, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 129, 258, 214, 259, 161, 260, 236, 261, 223, 262, 97, 263, 17, 264, 188, 265, 1, -1], "final memory": [14377382, 1, 14377383, 8, -1]},
{ "name" : "ORI 130", "initial state": {"pc": 256, "sr": 9987, "d0": 2073910912, "a0": 182529968, "d1": 413623527, "a1": 1174524260, "d2": 366052950, "a2": 559554596, "d3": 1858765642, "a3": 603204758, "d4": 829532185, "a4": 1939570672, "d5": 483596971, "a5": 1710023298, "d6": 1736171349, "a6": 587921684, "d7": 1971550854, "a7": -1796066140, "usp": 143542612}, "final state": {"pc": 262, "sr": 9992, "d0": 2073910912, "a0": 182529968, "d1": 413623527, "a1": 1174524260, "d2": -673192066, "a2": 559554596, "d3": 1858765642, "a3": 603204758, "d4": 829532185, "a4": 1939570672, "d5": 483596971, "a5": 1710023298, "d6": 1736171349, "a6": 587921684, "d7": 1971550854, "a7": -1796066140, "usp": 143542612}, "initial memory": [0, 148, 1, 242, 2, 52, 3, 164, 4, 0, 5, 0, 6, 1, 7, 0, 44, 238, 45, 142, 46, 158, 47, 31, 256, 0, 257, 130, 258, 194, 259, 159, 260, 99, 261, 40, 262, 240, 263, 109, 264, 193, 265, 77, -1], "final memory": [15873182, 39, 15873183, 8, 15873186, 1, 15873187, 6, -1]},
{ "name" : "ORI 131", "initial state": {"pc": 256, "sr": 10009, "d0": 1198794757, "a0": 631425084, "d1": 451904745, "a1": 1644703768, "d2": 1660873423, "a2": 126724592, "d3": 1307176655, "a3": 1703923566, "d4": 960331775, "a4": 1148957824, "d5": 1956535220, "a5": 361194144, "d6": 1217839676, "a6": 1801191786, "d7": 564794975, "a7": 2072891078, "usp": 143542612}, "final state": {"pc": 262, "sr": 10000, "d0": 1198794757, "a0": 631425084, "d1": 451904745, "a1": 1644703768, "d2": 1660873423, "a2": 126724592, "d3": 2146303711, "a3": 1703923566, "d4": 960331775, "a4": 1148957824, "d5": 1956535220, "a5": 361194144, "d6": 1217839676, "a6": 1801191786, "d7": 564794975, "a7": 2072891078, "usp": 143542612}, "initial memory": [0, 123, 1, 141, 2, 206, 3, 198, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 131, 258, 122, 259, 109, 260, 190, 261, 86, 262, 17, 263, 183, 264, 62, 265, 239, 266, 232, 267, 27, 8113556, 0, -1], "final memory": [-1]},
{ "name" : "ORI 132", "initial state": {"pc": 256, "sr": 10009, "d0": 1088232365, "a0": 757344738, "d1": 1950620703, "a1": 557435796, "d2": 596800219, "a2": 1499771964, "d3": 1672649243, "a3": 1651850916, "d4": 1654887871, "a4": 2137240442, "d5": 1639735600, "a5": 1788645778, "d6": 378587249, "a6": 1293516946, "d7": 2069331529, "a7": -1337481078, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 1088232365, "a0": 757344738, "d1": 1950620703, "a1": 557435796, "d2": 596800219, "a2": 1499771964, "d3": 1672649243, "a3": 1651850916, "d4": -473982977, "a4": 2137240442, "d5": 1639735600, "a5": 1788645778, "d6": 378587249, "a6": 1293516946, "d7": 2069331529, "a7": -1337481078, "usp": 143542612}, "initial memory": [0, 176, 1, 71, 2, 168, 3, 138, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 132, 258, 131, 259, 156, 260, 151, 261, 196, 262, 222, 263, 64, 264, 85, 265, 242, -1], "final memory": [-1]},
{ "name" : "ORI 133", "initial state": {"pc": 256, "sr": 10001, "d0": 950992588, "a0": 2139945752, "d1": 1759125542, "a1": 12150714, "d2": 1215616145, "a2": 206120540, "d3": 1848615104, "a3": 376793168, "d4": 2028131779, "a4": 1981000026, "d5": 1950364469, "a5": 80990700, "d6": 585242675, "a6": 1853563156, "d7": 698535465, "a7": 417447172, "usp": 143542612}, "final state": {"pc": 262, "sr": 10000, "d0": 950992588, "a0": 2139945752, "d1": 1759125542, "a1": 12150714, "d2": 1215616145, "a2": 206120540, "d3": 1848615104, "a3": 376793168, "d4": 2028131779, "a4": 1981000026, "d5": 2147319799, "a5": 80990700, "d6": 585242675, "a6": 1853563156, "d7": 698535465, "a7": 417447172, "usp": 143542612}, "initial memory": [0, 24, 1, 225, 2, 189, 3, 4, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 133, 258, 91, 259, 253, 260, 108, 261, 226, 262, 107, 263, 65, 264, 185, 265, 120, -1], "final memory": [-1]},
{ "name" : "ORI 134", "initial state": {"pc": 256, "sr": 9993, "d0": 181806953, "a0": 1445335458, "d1": 1907713037, "a1": 1565528196, "d2": 1002163149, "a2": 862747128, "d3": 641801822, "a3": 381395752, "d4": 2100347120, "a4": 2027201216, "d5": 197856454, "a5": 1342777656, "d6": 1068736822, "a6": 158434876, "d7": 706543846, "a7": -2013593282, "usp": 143542612}, "final state": {"pc": 262, "sr": 9992, "d0": 181806953, "a0": 1445335458, "d1": 1907713037, "a1": 1565528196, "d2": 1002163149, "a2": 862747128, "d3": 641801822, "a3": 381395752, "d4": 2100347120, "a4": 2027201216, "d5": 197856454, "a5": 1342777656, "d6": -4742338, "a6": 158434876, "d7": 706543846, "a7": -2013593282, "usp": 143542612}, "initial memory": [0, 135, 1, 251, 2, 1, 3, 62, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 134, 258, 202, 259, 151, 260, 162, 261, 24, 262, 8, 263, 199, 264, 77, 265, 179, 266, 227, 267, 143, -1], "final memory": [-1]},
{ "name" : "ORI 135", "initial state": {"pc": 256, "sr": 9990, "d0": 1227522515, "a0": 1277670742, "d1": 95512876, "a1": 1123174440, "d2": 1114622623, "a2": 811572756, "d3": 962571980, "a3": 1434684802, "d4": 952955009, "a4": 801078698, "d5": 381796937, "a5": 1154694242, "d6": 179982923, "a6": 136424162, "d7": 1316011885, "a7": -442644336, "usp": 143542612}, "final state": {"pc": 262, "sr": 9992, "d0": 1227522515, "a0": 1277670742, "d1": 95512876, "a1": 1123174440, "d2": 1114622623, "a2": 811572756, "d3": 962571980, "a3": 1434684802, "d4": 952955009, "a4": 801078698, "d5": 381796937, "a5": 1154694242, "d6": 179982923, "a6": 136424162, "d7": -554106897, "a7": -442644336, "usp": 143542612}, "initial memory": [0, 229, 1, 157, 2, 200, 3, 144, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 135, 258, 156, 259, 216, 260, 98, 261, 227, 262, 96, 263, 23, 264, 193, 265, 107, -1], "final memory": [-1]},
{ "name" : "ORI 144", "initial state": {"pc": 256, "sr": 9994, "d0": 1643250868, "a0": 533519458, "d1": 1477638056, "a1": 1117321188, "d2": 1161913284, "a2": 1220197348, "d3": 1207762017, "a3": 1535482632, "d4": 840788275, "a4": 545626832, "d5": 686140665, "a5": 594992734, "d6": 2126455912, "a6": 1359019906, "d7": 921659610, "a7": -1950724380, "usp": 143542612}, "final state": {"pc": 262, "sr": 9992, "d0": 1643250868, "a0": 533519458, "d1": 1477638056, "a1": 1117321188, "d2": 1161913284, "a2": 1220197348, "d3": 1207762017, "a3": 1535482632, "d4": 840788275, "a4": 545626832, "d5": 686140665, "a5": 594992734, "d6": 2126455912, "a6": 1359019906, "d7": 921659610, "a7": -1950724380, "usp": 143542612}, "initial memory": [0, 139, 1, 186, 2, 78, 3, 228, 4, 0, 5, 0, 6, 1, 7, 0, 40, 189, 41, 15, 42, 38, 43, 190, 256, 0, 257, 144, 258, 233, 259, 163, 260, 10, 261, 55, 262, 172, 263, 68, 264, 223, 265, 244, 13425762, 25, 13425763, 195, 13425764, 127, 13425765, 165, -1], "final memory": [12209886, 39, 12209887, 8, 12209890, 1, 12209891, 6, -1]},
{ "name" : "ORI 145", "initial state": {"pc": 256, "sr": 10001, "d0": 1391238893, "a0": 413687994, "d1": 750126115, "a1": 1449566626, "d2": 1640606915, "a2": 1811791614, "d3": 2137876572, "a3": 1611025684, "d4": 1742647647, "a4": 1034866418, "d5": 1297025343, "a5": 529847080, "d6": 2145922751, "a6": 1672673098, "d7": 1683308339, "a7": 677399238, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 1391238893, "a0": 413687994, "d1": 750126115, "a1": 1449566626, "d2": 1640606915, "a2": 1811791614, "d3": 2137876572, "a3": 1611025684, "d4": 1742647647, "a4": 1034866418, "d5": 1297025343, "a5": 529847080, "d6": 2145922751, "a6": 1672673098, "d7": 1683308339, "a7": 677399238, "usp": 143542612}, "initial memory": [0, 40, 1, 96, 2, 74, 3, 198, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 145, 258, 159, 259, 177, 260, 38, 261, 189, 262, 70, 263, 101, 264, 178, 265, 180, 6726050, 71, 6726051, 137, 6726052, 21, 6726053, 207, 9753382, 56, 9753383, 114, -1], "final memory": [-1]},
{ "name" : "ORI 146", "initial state": {"pc": 256, "sr": 10013, "d0": 1042115253, "a0": 369370562, "d1": 2101915886, "a1": 1783295704, "d2": 794302852, "a2": 1569119596, "d3": 1089683812, "a3": 1093864812, "d4": 575286668, "a4": 2125876964, "d5": 871650282, "a5": 1928698808, "d6": 1840333387, "a6": 1522715044, "d7": 276267568, "a7": -1152148316, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 1042115253, "a0": 369370562, "d1": 2101915886, "a1": 1783295704, "d2": 794302852, "a2": 1569119596, "d3": 1089683812, "a3": 1093864812, "d4": 575286668, "a4": 2125876964, "d5": 871650282, "a5": 1928698808, "d6": 1840333387, "a6": 1522715044, "d7": 276267568, "a7": -1152148316, "usp": 143542612}, "initial memory": [0, 187, 1, 83, 2, 156, 3, 164, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 146, 258, 29, 259, 37, 260, 116, 261, 130, 262, 20, 263, 153, 264, 131, 265, 71, 4910808, 215, 8838508, 144, 8838509, 195, 8838510, 248, 8838511, 184, -1], "final memory": [-1]},
{ "name" : "ORI 147", "initial state": {"pc": 256, "sr": 10000, "d0": 1569511544, "a0": 2016740808, "d1": 1238883907, "a1": 1628376262, "d2": 2067867284, "a2": 588238066, "d3": 1917582787, "a3": 1649948120, "d4": 1526810580, "a4": 221735936, "d5": 823320057, "a5": 831748806, "d6": 1303060378, "a6": 1231140926, "d7": 497540940, "a7": 1038498514, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 1569511544, "a0": 2016740808, "d1": 1238883907, "a1": 1628376262, "d2": 2067867284, "a2": 588238066, "d3": 1917582787, "a3": 1649948120, "d4": 1526810580, "a4": 221735936, "d5": 823320057, "a5": 831748806, "d6": 1303060378, "a6": 1231140926, "d7": 497540940, "a7": 1038498514, "usp": 143542612}, "initial memory": [0, 61, 1, 230, 2, 58, 3, 210, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 147, 258, 107, 259, 138, 260, 52, 261, 208, 262, 75, 263, 250, 264, 10, 265, 191, 266, 158, 267, 215, 5780952, 168, 5780953, 220, 5780954, 160, 5780955, 155, -1], "final memory": [-1]},
{ "name" : "ORI 148", "initial state": {"pc": 256, "sr": 10013, "d0": 423453124, "a0": 281889776, "d1": 215848910, "a1": 372556756, "d2": 672750587, "a2": 1646583894, "d3": 417714254, "a3": 1661231216, "d4": 399424935, "a4": 878152664, "d5": 101002023, "a5": 1604218470, "d6": 1028919431, "a6": 442654012, "d7": 1510551173, "a7": 486543572, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 423453124, "a0": 281889776, "d1": 215848910, "a1": 372556756, "d2": 672750587, "a2": 1646583894, "d3": 417714254, "a3": 1661231216, "d4": 399424935, "a4": 878152664, "d5": 101002023, "a5": 1604218470, "d6": 1028919431, "a6": 442654012, "d7": 1510551173, "a7": 486543572, "usp": 143542612}, "initial memory": [0, 29, 1, 0, 2, 16, 3, 212, 4, 0, 5, 0, 6, 1, 7, 0, 16, 173, 17, 184, 18, 80, 19, 51, 256, 0, 257, 148, 258, 250, 259, 11, 260, 255, 261, 177, 262, 189, 263, 123, 264, 220, 265, 250, 5737432, 72, 5737433, 54, 5737434, 211, 5737435, 164, -1], "final memory": [4302, 39, 4303, 24, 4306, 1, 4307, 6, -1]},
{ "name" : "ORI 149", "initial state": {"pc": 256, "sr": 10007, "d0": 150850108, "a0": 1840340518, "d1": 1307061696, "a1": 396135092, "d2": 1175699509, "a2": 643185544, "d3": 984611716, "a3": 1734242656, "d4": 2007610677, "a4": 1768279114, "d5": 649586675, "a5": 440894972, "d6": 1943869024, "a6": 1303212254, "d7": 937964557, "a7": 1667193612, "usp": 143542612}, "final state": {"pc": 262, "sr": 10000, "d0": 150850108, "a0": 1840340518, "d1": 1307061696, "a1": 396135092, "d2": 1175699509, "a2": 643185544, "d3": 984611716, "a3": 1734242656, "d4": 2007610677, "a4": 1768279114, "d5": 649586675, "a5": 440894972, "d6": 1943869024, "a6": 1303212254, "d7": 937964557, "a7": 1667193612, "usp": 143542612}, "initial memory": [0, 99, 1, 95, 2, 91, 3, 12, 4, 0, 5, 0, 6, 1, 7, 0, 12, 37, 13, 74, 14, 235, 15, 248, 256, 0, 257, 149, 258, 95, 259, 177, 260, 98, 261, 52, 262, 82, 263, 116, 264, 83, 265, 6, 266, 110, 267, 139, 4687356, 16, 4687357, 117, 4687358, 226, 4687359, 137, -1], "final memory": [6249215, 21, 6249216, 105, 6249217, 101, 6249218, 180, 6249219, 67, 6249220, 82, 6249221, 116, 6249222, 39, 6249223, 16, 6249226, 1, 6249227, 10, -1]},
{ "name" : "ORI 150", "initial state": {"pc": 256, "sr": 10008, "d0": 1689092423, "a0": 1083014290, "d1": 990023668, "a1": 149796864, "d2": 624491120, "a2": 785075770, "d3": 1069670951, "a3": 628956028, "d4": 1374064420, "a4": 949468868, "d5": 2009050749, "a5": 1919784072, "d6": 1230556662, "a6": 2016602382, "d7": 1698297624, "a7": -407865650, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 1689092423, "a0": 1083014290, "d1": 990023668, "a1": 149796864, "d2": 624491120, "a2": 785075770, "d3": 1069670951, "a3": 628956028, "d4": 1374064420, "a4": 949468868, "d5": 2009050749, "a5": 1919784072, "d6": 1230556662, "a6": 2016602382, "d7": 1698297624, "a7": -407865650, "usp": 143542612}, "initial memory": [0, 231, 1, 176, 2, 118, 3, 206, 4, 0, 5, 0, 6, 1, 7, 0, 16, 43, 17, 32, 18, 157, 19, 246, 256, 0, 257, 150, 258, 75, 259, 156, 260, 5, 261, 123, 262, 206, 263, 62, 264, 108, 265, 136, 3336462, 181, 3336463, 239, 3336464, 139, 3336465, 116, -1], "final memory": [11564744, 39, 11564745, 24, 11564748, 1, 11564749, 6, -1]},
{ "name" : "ORI 151", "initial state": {"pc": 256, "sr": 9984, "d0": 2129910362, "a0": 1834012718, "d1": 998542291, "a1": 1418966034, "d2": 2063067179, "a2": 756250310, "d3": 699112991, "a3": 1490737224, "d4": 1109007000, "a4": 128814218, "d5": 1070076687, "a5": 317062556, "d6": 1750818431, "a6": 963467292, "d7": 1184438623, "a7": -1449590702, "usp": 143542612}, "final state": {"pc": 262, "sr": 9992, "d0": 2129910362, "a0": 1834012718, "d1": 998542291, "a1": 1418966034, "d2": 2063067179, "a2": 756250310, "d3": 699112991, "a3": 1490737224, "d4": 1109007000, "a4": 128814218, "d5": 1070076687, "a5": 317062556, "d6": 1750818431, "a6": 963467292, "d7": 1184438623, "a7": -1449590702, "usp": 143542612}, "initial memory": [0, 169, 1, 153, 2, 0, 3, 82, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 151, 258, 233, 259, 177, 260, 138, 261, 152, 262, 39, 263, 55, 264, 172, 265, 110, 266, 156, 267, 185, 10027090, 28, 10027091, 22, 10027092, 80, 10027093, 93, 11302790, 11, 11302791, 97, 11302792, 204, 11302793, 206, -1], "final memory": [14342212, 11, 14342213, 97, 14342214, 204, 14342215, 206, -1]},
{ "name" : "ORI 152", "initial state": {"pc": 256, "sr": 10011, "d0": 555864069, "a0": 1758696140, "d1": 853543233, "a1": 441124478, "d2": 310355071, "a2": 865569108, "d3": 2047383381, "a3": 565790184, "d4": 1242008586, "a4": 178050378, "d5": 897256062, "a5": 1047999582, "d6": 552464800, "a6": 68101980, "d7": 1704087619, "a7": -749578524, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 555864069, "a0": 1758696144, "d1": 853543233, "a1": 441124478, "d2": 310355071, "a2": 865569108, "d3": 2047383381, "a3": 565790184, "d4": 1242008586, "a4": 178050378, "d5": 897256062, "a5": 1047999582, "d6": 552464800, "a6": 68101980, "d7": 1704087619, "a7": -749578524, "usp": 143542612}, "initial memory": [0, 211, 1, 82, 2, 86, 3, 228, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 152, 258, 93, 259, 166, 260, 96, 261, 190, 262, 97, 263, 63, 264, 160, 265, 34, 13865676, 151, 13865677, 39, 13865678, 202, 13865679, 208, -1], "final memory": [5396194, 1, 5396195, 8, -1]},
{ "name" : "ORI 153", "initial state": {"pc": 256, "sr": 10006, "d0": 430719839, "a0": 1186061494, "d1": 2088443683, "a1": 1192335010, "d2": 2000253613, "a2": 1404619720, "d3": 1553463553, "a3": 155902568, "d4": 2103238692, "a4": 324427842, "d5": 1551866824, "a5": 197777568, "d6": 1036818153, "a6": 1890383466, "d7": 1120385713, "a7": 577732916, "usp": 143542612}, "final state": {"pc": 262, "sr": 10000, "d0": 430719839, "a0": 1186061494, "d1": 2088443683, "a1": 1192335014, "d2": 2000253613, "a2": 1404619720, "d3": 1553463553, "a3": 155902568, "d4": 2103238692, "a4": 324427842, "d5": 1551866824, "a5": 197777568, "d6": 1036818153, "a6": 1890383466, "d7": 1120385713, "a7": 577732916, "usp": 143542612}, "initial memory": [0, 34, 1, 111, 2, 129, 3, 52, 4, 0, 5, 0, 6, 1, 7, 0, 16, 234, 17, 65, 18, 147, 19, 168, 256, 0, 257, 153, 258, 44, 259, 243, 260, 48, 261, 128, 262, 69, 263, 255, 264, 128, 265, 49, 1152674, 84, 1152675, 247, 1152676, 135, 1152677, 172, -1], "final memory": [7307566, 39, 7307567, 16, 7307570, 1, 7307571, 6, -1]},
{ "name" : "ORI 154", "initial state": {"pc": 256, "sr": 10006, "d0": 378170551, "a0": 69903110, "d1": 1508339184, "a1": 188014860, "d2": 1759696300, "a2": 1017324090, "d3": 70927616, "a3": 2048666862, "d4": 227018027, "a4": 1338654090, "d5": 1561022717, "a5": 1720604658, "d6": 301089220, "a6": 187696504, "d7": 935048208, "a7": 542376166, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 378170551, "a0": 69903110, "d1": 1508339184, "a1": 188014860, "d2": 1759696300, "a2": 1017324094, "d3": 70927616, "a3": 2048666862, "d4": 227018027, "a4": 1338654090, "d5": 1561022717, "a5": 1720604658, "d6": 301089220, "a6": 187696504, "d7": 935048208, "a7": 542376166, "usp": 143542612}, "initial memory": [0, 32, 1, 84, 2, 0, 3, 230, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 154, 258, 84, 259, 149, 260, 27, 261, 34, 262, 106, 263, 67, 264, 144, 265, 81, 10691130, 221, 10691131, 134, 10691132, 96, 10691133, 20, -1], "final memory": [-1]},
{ "name" : "ORI 155", "initial state": {"pc": 256, "sr": 10013, "d0": 2138853481, "a0": 1722031504, "d1": 981688034, "a1": 546377108, "d2": 113927537, "a2": 319996390, "d3": 1372184882, "a3": 880291448, "d4": 484426641, "a4": 1043539160, "d5": 648049510, "a5": 263717070, "d6": 1878540633, "a6": 2034048536, "d7": 327840637, "a7": -277501224, "usp": 143542612}, "final state": {"pc": 262, "sr": 10000, "d0": 2138853481, "a0": 1722031504, "d1": 981688034, "a1": 546377108, "d2": 113927537, "a2": 319996390, "d3": 1372184882, "a3": 880291452, "d4": 484426641, "a4": 1043539160, "d5": 648049510, "a5": 263717070, "d6": 1878540633, "a6": 2034048536, "d7": 327840637, "a7": -277501224, "usp": 143542612}, "initial memory": [0, 239, 1, 117, 2, 170, 3, 216, 4, 0, 5, 0, 6, 1, 7, 0, 44, 207, 45, 215, 46, 5, 47, 246, 256, 0, 257, 155, 258, 114, 259, 3, 260, 61, 261, 133, 262, 255, 263, 99, 264, 207, 265, 108, 7876216, 88, 7876217, 215, 7876218, 75, 7876219, 148, -1], "final memory": [7711442, 39, 7711443, 16, 7711446, 1, 7711447, 6, -1]},
{ "name" : "ORI 156", "initial state": {"pc": 256, "sr": 10007, "d0": 209339419, "a0": 877920066, "d1": 789401347, "a1": 1989911178, "d2": 314467863, "a2": 1674350722, "d3": 304118174, "a3": 186874366, "d4": 303070558, "a4": 1176377448, "d5": 2023141269, "a5": 1641314254, "d6": 1826725132, "a6": 1141221262, "d7": 1343076012, "a7": 1353121420, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 209339419, "a0": 877920066, "d1": 789401347, "a1": 1989911178, "d2": 314467863, "a2": 1674350722, "d3": 304118174, "a3": 186874366, "d4": 303070558, "a4": 1176377452, "d5": 2023141269, "a5": 1641314254, "d6": 1826725132, "a6": 1141221262, "d7": 1343076012, "a7": 1353121420, "usp": 143542612}, "initial memory": [0, 80, 1, 166, 2, 254, 3, 140, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 156, 258, 245, 259, 211, 260, 247, 261, 216, 262, 188, 263, 81, 264, 142, 265, 231, 1972328, 164, 1972329, 227, 1972330, 219, 1972331, 82, 10199690, 29, 10199691, 107, -1], "final memory": [-1]},
{ "name" : "ORI 157", "initial state": {"pc": 256, "sr": 9984, "d0": 1628442292, "a0": 1062953670, "d1": 1698004276, "a1": 145889104, "d2": 447681749, "a2": 1679329700, "d3": 1551940002, "a3": 116712186, "d4": 119237152, "a4": 929140390, "d5": 416571013, "a5": 1708954200, "d6": 512326271, "a6": 1946944422, "d7": 1405695874, "a7": -317104180, "usp": 143542612}, "final state": {"pc": 262, "sr": 9984, "d0": 1628442292, "a0": 1062953670, "d1": 1698004276, "a1": 145889104, "d2": 447681749, "a2": 1679329700, "d3": 1551940002, "a3": 116712186, "d4": 119237152, "a4": 929140390, "d5": 416571013, "a5": 1708954204, "d6": 512326271, "a6": 1946944422, "d7": 1405695874, "a7": -317104180, "usp": 143542612}, "initial memory": [0, 237, 1, 25, 2, 95, 3, 204, 4, 0, 5, 0, 6, 1, 7, 0, 44, 94, 45, 86, 46, 89, 47, 37, 256, 0, 257, 157, 258, 40, 259, 85, 260, 246, 261, 231, 262, 249, 263, 53, 264, 13, 265, 102, 14455384, 53, 14455385, 181, 14455386, 142, 14455387, 158, -1], "final memory": [1662918, 39, 1662922, 1, 1662923, 6, -1]},
{ "name" : "ORI 158", "initial state": {"pc": 256, "sr": 9987, "d0": 1169826066, "a0": 172377220, "d1": 1053902977, "a1": 188513544, "d2": 502213983, "a2": 808754682, "d3": 1099679571, "a3": 1315955318, "d4": 1070283715, "a4": 326949172, "d5": 935370733, "a5": 1771581584, "d6": 1195613491, "a6": 110933440, "d7": 671458258, "a7": 1112465322, "usp": 143542612}, "final state": {"pc": 262, "sr": 9984, "d0": 1169826066, "a0": 172377220, "d1": 1053902977, "a1": 188513544, "d2": 502213983, "a2": 808754682, "d3": 1099679571, "a3": 1315955318, "d4": 1070283715, "a4": 326949172, "d5": 935370733, "a5": 1771581584, "d6": 1195613491, "a6": 110933444, "d7": 671458258, "a7": 1112465322, "usp": 143542612}, "initial memory": [0, 66, 1, 78, 2, 223, 3, 170, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 158, 258, 21, 259, 9, 260, 46, 261, 20, 262, 93, 263, 134, 264, 32, 265, 103, 10270144, 5, 10270145, 126, 10270146, 79, 10270147, 186, -1], "final memory": [-1]},
{ "name" : "ORI 159", "initial state": {"pc": 256, "sr": 10013, "d0": 179344379, "a0": 154102324, "d1": 1321421112, "a1": 132497992, "d2": 1996235757, "a2": 2100710058, "d3": 597350818, "a3": 2002804932, "d4": 189148401, "a4": 1483825852, "d5": 741378047, "a5": 2081002406, "d6": 640716035, "a6": 1488779406, "d7": 1031394187, "a7": 1684296898, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 179344379, "a0": 154102324, "d1": 1321421112, "a1": 132497992, "d2": 1996235757, "a2": 2100710058, "d3": 597350818, "a3": 2002804932, "d4": 189148401, "a4": 1483825852, "d5": 741378047, "a5": 2081002406, "d6": 640716035, "a6": 1488779406, "d7": 1031394187, "a7": 1684296902, "usp": 143542612}, "initial memory": [0, 100, 1, 100, 2, 84, 3, 194, 4, 0, 5, 0, 6, 1, 7, 0, 16, 83, 17, 137, 18, 51, 19, 228, 256, 0, 257, 159, 258, 213, 259, 162, 260, 159, 261, 189, 262, 77, 263, 57, 264, 12, 265, 159, 6575298, 183, 6575299, 228, 6575300, 241, 6575301, 50, -1], "final memory": [6575296, 39, 6575297, 24, -1]},
{ "name" : "ORI 160", "initial state": {"pc": 256, "sr": 10013, "d0": 355175605, "a0": 1131420848, "d1": 1579338222, "a1": 1969981798, "d2": 1039620234, "a2": 1728693186, "d3": 970320846, "a3": 840133646, "d4": 191643404, "a4": 421209296, "d5": 1872704175, "a5": 1158554166, "d6": 1018738793, "a6": 585657420, "d7": 55776420, "a7": -2101543004, "usp": 143542612}, "final state": {"pc": 262, "sr": 10000, "d0": 355175605, "a0": 1131420844, "d1": 1579338222, "a1": 1969981798, "d2": 1039620234, "a2": 1728693186, "d3": 970320846, "a3": 840133646, "d4": 191643404, "a4": 421209296, "d5": 1872704175, "a5": 1158554166, "d6": 1018738793, "a6": 585657420, "d7": 55776420, "a7": -2101543004, "usp": 143542612}, "initial memory": [0, 130, 1, 188, 2, 255, 3, 164, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 160, 258, 69, 259, 19, 260, 5, 261, 132, 262, 91, 263, 37, 264, 9, 265, 160, 926261, 37, 7347372, 60, 7347373, 182, 7347374, 200, 7347375, 129, -1], "final memory": [-1]},
{ "name" : "ORI 161", "initial state": {"pc": 256, "sr": 10001, "d0": 1293155604, "a0": 2096244648, "d1": 1531728788, "a1": 2114569900, "d2": 1879263327, "a2": 869451904, "d3": 1736740460, "a3": 1399416340, "d4": 799181196, "a4": 749524436, "d5": 1475632834, "a5": 118122550, "d6": 1819885482, "a6": 1010808022, "d7": 205711753, "a7": -1339257442, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 1293155604, "a0": 2096244648, "d1": 1531728788, "a1": 2114569896, "d2": 1879263327, "a2": 869451904, "d3": 1736740460, "a3": 1399416340, "d4": 799181196, "a4": 749524436, "d5": 1475632834, "a5": 118122550, "d6": 1819885482, "a6": 1010808022, "d7": 205711753, "a7": -1339257442, "usp": 143542612}, "initial memory": [0, 176, 1, 44, 2, 141, 3, 158, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 161, 258, 77, 259, 119, 260, 200, 261, 220, 262, 13, 263, 129, 264, 172, 265, 182, 640680, 195, 640681, 129, 640682, 178, 640683, 35, -1], "final memory": [-1]},
{ "name" : "ORI 162", "initial state": {"pc": 256, "sr": 10004, "d0": 1228881211, "a0": 795238792, "d1": 1456280078, "a1": 1787658670, "d2": 828146087, "a2": 1883045160, "d3": 809768002, "a3": 873498280, "d4": 1166938575, "a4": 687397874, "d5": 1915965621, "a5": 1781547912, "d6": 116905382, "a6": 111266862, "d7": 2028701916, "a7": 275369426, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 1228881211, "a0": 795238792, "d1": 1456280078, "a1": 1787658670, "d2": 828146087, "a2": 1883045156, "d3": 809768002, "a3": 873498280, "d4": 1166938575, "a4": 687397874, "d5": 1915965621, "a5": 1781547912, "d6": 116905382, "a6": 111266862, "d7": 2028701916, "a7": 275369426, "usp": 143542612}, "initial memory": [0, 16, 1, 105, 2, 205, 3, 210, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 162, 258, 133, 259, 64, 260, 101, 261, 167, 262, 208, 263, 201, 264, 74, 265, 77, 3996964, 242, 3996965, 205, 3996966, 25, 3996967, 125, -1], "final memory": [-1]},
{ "name" : "ORI 163", "initial state": {"pc": 256, "sr": 10006, "d0": 906786105, "a0": 925459666, "d1": 1810107623, "a1": 2124034888, "d2": 1225476359, "a2": 1033698534, "d3": 65507336, "a3": 228573514, "d4": 1470168888, "a4": 1934305768, "d5": 181658234, "a5": 1269611296, "d6": 1555676451, "a6": 959552086, "d7": 640709732, "a7": -910078008, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 906786105, "a0": 925459666, "d1": 1810107623, "a1": 2124034888, "d2": 1225476359, "a2": 1033698534, "d3": 65507336, "a3": 228573510, "d4": 1470168888, "a4": 1934305768, "d5": 181658234, "a5": 1269611296, "d6": 1555676451, "a6": 959552086, "d7": 640709732, "a7": -910078008, "usp": 143542612}, "initial memory": [0, 201, 1, 193, 2, 79, 3, 200, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 163, 258, 141, 259, 166, 260, 197, 261, 201, 262, 34, 263, 40, 264, 147, 265, 208, 266, 114, 267, 122, 2685090, 184, 2685091, 186, 2685092, 108, 2685093, 14, 10469702, 103, 10469703, 57, 10469704, 192, 10469705, 34, -1], "final memory": [-1]},
{ "name" : "ORI 164", "initial state": {"pc": 256, "sr": 9999, "d0": 180855275, "a0": 122442994, "d1": 945246420, "a1": 610083138, "d2": 1820044081, "a2": 1580386394, "d3": 723801499, "a3": 1476394668, "d4": 1584417085, "a4": 1739144444, "d5": 500724795, "a5": 400767798, "d6": 1840700619, "a6": 1195663994, "d7": 5884851, "a7": -1182695428, "usp": 143542612}, "final state": {"pc": 262, "sr": 9992, "d0": 180855275, "a0": 122442994, "d1": 945246420, "a1": 610083138, "d2": 1820044081, "a2": 1580386394, "d3": 723801499, "a3": 1476394668, "d4": 1584417085, "a4": 1739144440, "d5": 500724795, "a5": 400767798, "d6": 1840700619, "a6": 1195663994, "d7": 5884851, "a7": -1182695428, "usp": 143542612}, "initial memory": [0, 185, 1, 129, 2, 127, 3, 252, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 164, 258, 255, 259, 71, 260, 170, 261, 28, 262, 58, 263, 158, 264, 153, 265, 223, 4481658, 217, 4481659, 31, 11091192, 193, 11091193, 30, 11091194, 59, 11091195, 67, -1], "final memory": [14891830, 217, 14891831, 31, -1]},
{ "name" : "ORI 165", "initial state": {"pc": 256, "sr": 9994, "d0": 292993047, "a0": 1924233538, "d1": 154138358, "a1": 1636849800, "d2": 738104624, "a2": 1269070530, "d3": 1458870496, "a3": 460815706, "d4": 1415628473, "a4": 1103539660, "d5": 496420598, "a5": 1522290128, "d6": 367021991, "a6": 10010938, "d7": 965568553, "a7": 1223112366, "usp": 143542612}, "final state": {"pc": 262, "sr": 9992, "d0": 292993047, "a0": 1924233538, "d1": 154138358, "a1": 1636849800, "d2": 738104624, "a2": 1269070530, "d3": 1458870496, "a3": 460815706, "d4": 1415628473, "a4": 1103539660, "d5": 496420598, "a5": 1522290124, "d6": 367021991, "a6": 10010938, "d7": 965568553, "a7": 1223112366, "usp": 143542612}, "initial memory": [0, 72, 1, 231, 2, 54, 3, 174, 4, 0, 5, 0, 6, 1, 7, 0, 44, 95, 45, 39, 46, 206, 47, 39, 256, 0, 257, 165, 258, 46, 259, 72, 260, 123, 261, 34, 262, 247, 263, 111, 264, 203, 265, 194, 12340684, 160, 12340685, 180, 12340686, 56, 12340687, 210, -1], "final memory": [15152808, 39, 15152809, 8, 15152812, 1, 15152813, 6, -1]},
{ "name" : "ORI 166", "initial state": {"pc": 256, "sr": 10010, "d0": 661289470, "a0": 1759971724, "d1": 1064249065, "a1": 405011490, "d2": 442739592, "a2": 1652435086, "d3": 93485889, "a3": 1217984204, "d4": 1406790466, "a4": 846410230, "d5": 132408592, "a5": 685074688, "d6": 598147452, "a6": 1390466456, "d7": 693274157, "a7": 790735076, "usp": 143542612}, "final state": {"pc": 262, "sr": 10008, "d0": 661289470, "a0": 1759971724, "d1": 1064249065, "a1": 405011490, "d2": 442739592, "a2": 1652435086, "d3": 93485889, "a3": 1217984204, "d4": 1406790466, "a4": 846410230, "d5": 132408592, "a5": 685074688, "d6": 598147452, "a6": 1390466452, "d7": 693274157, "a7": 790735076, "usp": 143542612}, "initial memory": [0, 47, 1, 33, 2, 168, 3, 228, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 166, 258, 187, 259, 102, 260, 69, 261, 135, 262, 193, 263, 140, 264, 237, 265, 171, 14734740, 136, 14734741, 8, 14734742, 185, 14734743, 38, -1], "final memory": [-1]},
{ "name" : "ORI 167", "initial state": {"pc": 256, "sr": 9994, "d0": 455967402, "a0": 558158848, "d1": 1222472918, "a1": 767205046, "d2": 1126281977, "a2": 923408340, "d3": 1500322781, "a3": 2007153964, "d4": 171997193, "a4": 1563562678, "d5": 243833889, "a5": 40557614, "d6": 717373947, "a6": 899502398, "d7": 930732971, "a7": 1987731440, "usp": 143542612}, "final state": {"pc": 262, "sr": 9992, "d0": 455967402, "a0": 558158848, "d1": 1222472918, "a1": 767205046, "d2": 1126281977, "a2": 923408340, "d3": 1500322781, "a3": 2007153964, "d4": 171997193, "a4": 1563562678, "d5": 243833889, "a5": 40557614, "d6": 717373947, "a6": 899502398, "d7": 930732971, "a7": 1987731436, "usp": 143542612}, "initial memory": [0, 118, 1, 122, 2, 95, 3, 240, 4, 0, 5, 0, 6, 1, 7, 0, 16, 118, 17, 123, 18, 206, 19, 254, 256, 0, 257, 167, 258, 30, 259, 167, 260, 102, 261, 179, 262, 177, 263, 62, 264, 104, 265, 1, 8019948, 241, 8019949, 187, 8019950, 135, 8019951, 217, -1], "final memory": [8019942, 39, 8019943, 8, 8019946, 1, 8019947, 6, -1]},
{ "name" : "ORI 168", "initial state": {"pc": 256, "sr": 10011, "d0": 1434893001, "a0": 1847260068, "d1": 5311997, "a1": 728878196, "d2": 1231904052, "a2": 1009134490, "d3": 721561237, "a3": 1845029878, "d4": 439555650, "a4": 1900780512, "d5": 268063870, "a5": 451349218, "d6": 2076255331, "a6": 914082528, "d7": 1161568014, "a7": 823896614, "usp": 143542612}, "final state": {"pc": -45657157, "sr": 10011, "d0": 1434893001, "a0": 1847260068, "d1": 5311997, "a1": 728878196, "d2": 1231904052, "a2": 1009134490, "d3": 721561237, "a3": 1845029878, "d4": 439555650, "a4": 1900780512, "d5": 268063870, "a5": 451349218, "d6": 2076255331, "a6": 914082528, "d7": 1161568014, "a7": 823896600, "usp": 143542612}, "initial memory": [0, 49, 1, 27, 2, 170, 3, 38, 4, 0, 5, 0, 6, 1, 7, 0, 12, 253, 13, 71, 14, 83, 15, 187, 256, 0, 257, 168, 258, 43, 259, 112, 260, 253, 261, 18, 262, 202, 263, 137, 264, 25, 265, 22, 16776961, 124, -1], "final memory": [1813017, 21, 1813018, 110, 1813019, 26, 1813020, 190, 1813021, 45, 1813023, 168, 1813024, 39, 1813025, 27, 1813028, 1, 1813029, 8, -1]},
{ "name" : "ORI 169", "initial state": {"pc": 256, "sr": 10009, "d0": 720683363, "a0": 375171684, "d1": 717512861, "a1": 498522202, "d2": 1117976922, "a2": 1328958874, "d3": 1503700451, "a3": 1981866518, "d4": 1105922061, "a4": 1759203056, "d5": 761114442, "a5": 370910296, "d6": 1637825162, "a6": 1891801278, "d7": 482110488, "a7": -337312692, "usp": 143542612}, "final state": {"pc": 264, "sr": 10008, "d0": 720683363, "a0": 375171684, "d1": 717512861, "a1": 498522202, "d2": 1117976922, "a2": 1328958874, "d3": 1503700451, "a3": 1981866518, "d4": 1105922061, "a4": 1759203056, "d5": 761114442, "a5": 370910296, "d6": 1637825162, "a6": 1891801278, "d7": 482110488, "a7": -337312692, "usp": 143542612}, "initial memory": [0, 235, 1, 229, 2, 4, 3, 76, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 169, 258, 226, 259, 24, 260, 162, 261, 69, 262, 143, 263, 200, 264, 187, 265, 180, 266, 40, 267, 130, 8275916, 31, 8275917, 102, 8275918, 63, 8275919, 0, 11954210, 233, 11954211, 22, 11954212, 106, 11954213, 69, -1], "final memory": [-1]},
{ "name" : "ORI 170", "initial state": {"pc": 256, "sr": 9997, "d0": 56595734, "a0": 2014049090, "d1": 2016729364, "a1": 1485811616, "d2": 1436020147, "a2": 1095982796, "d3": 1769385643, "a3": 1215612052, "d4": 1858441892, "a4": 1779840860, "d5": 1830716876, "a5": 1485614956, "d6": 1860324363, "a6": 2085702276, "d7": 1257152268, "a7": -2146665890, "usp": 143542612}, "final state": {"pc": 264, "sr": 9992, "d0": 56595734, "a0": 2014049090, "d1": 2016729364, "a1": 1485811616, "d2": 1436020147, "a2": 1095982796, "d3": 1769385643, "a3": 1215612052, "d4": 1858441892, "a4": 1779840860, "d5": 1830716876, "a5": 1485614956, "d6": 1860324363, "a6": 2085702276, "d7": 1257152268, "a7": -2146665890, "usp": 143542612}, "initial memory": [0, 128, 1, 12, 2, 122, 3, 94, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 170, 258, 226, 259, 186, 260, 34, 261, 90, 262, 99, 263, 122, 264, 234, 265, 129, 266, 172, 267, 238, 5489222, 159, 5489223, 43, 5489224, 27, 5489225, 158, -1], "final memory": [-1]},
{ "name" : "ORI 171", "initial state": {"pc": 256, "sr": 10014, "d0": 1239209273, "a0": 549198250, "d1": 1093842705, "a1": 490272944, "d2": 1754324615, "a2": 122616268, "d3": 2130814642, "a3": 1374815610, "d4": 1164390722, "a4": 1749399196, "d5": 2043873190, "a5": 953692902, "d6": 228286918, "a6": 2046146352, "d7": 1412437284, "a7": -2031903546, "usp": 143542612}, "final state": {"pc": -1580045575, "sr": 10014, "d0": 1239209273, "a0": 549198250, "d1": 1093842705, "a1": 490272944, "d2": 1754324615, "a2": 122616268, "d3": 2130814642, "a3": 1374815610, "d4": 1164390722, "a4": 1749399196, "d5": 2043873190, "a5": 953692902, "d6": 228286918, "a6": 2046146352, "d7": 1412437284, "a7": -2031903560, "usp": 143542612}, "initial memory": [0, 134, 1, 227, 2, 156, 3, 198, 4, 0, 5, 0, 6, 1, 7, 0, 12, 161, 13, 210, 14, 106, 15, 249, 256, 0, 257, 171, 258, 127, 259, 235, 260, 50, 261, 24, 262, 246, 263, 29, 264, 32, 265, 84, 16776961, 217, -1], "final memory": [14916793, 21, 14916794, 81, 14916795, 241, 14916796, 251, 14916797, 151, 14916799, 171, 14916800, 39, 14916801, 30, 14916804, 1, 14916805, 8, -1]},
{ "name" : "ORI 172", "initial state": {"pc": 256, "sr": 10005, "d0": 1666743213, "a0": 827720140, "d1": 1176489423, "a1": 93344520, "d2": 1375794432, "a2": 1178302136, "d3": 1020591375, "a3": 1777307572, "d4": 1127351036, "a4": 1858316480, "d5": 140644571, "a5": 1870417846, "d6": 1581293097, "a6": 1247112936, "d7": 1682949654, "a7": 1085591356, "usp": 143542612}, "final state": {"pc": 1029365721, "sr": 10005, "d0": 1666743213, "a0": 827720140, "d1": 1176489423, "a1": 93344520, "d2": 1375794432, "a2": 1178302136, "d3": 1020591375, "a3": 1777307572, "d4": 1127351036, "a4": 1858316480, "d5": 140644571, "a5": 1870417846, "d6": 1581293097, "a6": 1247112936, "d7": 1682949654, "a7": 1085591342, "usp": 143542612}, "initial memory": [0, 64, 1, 180, 2, 207, 3, 60, 4, 0, 5, 0, 6, 1, 7, 0, 12, 61, 13, 90, 14, 223, 15, 217, 256, 0, 257, 172, 258, 160, 259, 91, 260, 236, 261, 48, 262, 108, 263, 1, 264, 224, 265, 145, 16776961, 129, -1], "final memory": [11849519, 21, 11849520, 110, 11849521, 196, 11849522, 20, 11849523, 193, 11849525, 172, 11849526, 39, 11849527, 21, 11849530, 1, 11849531, 8, -1]},
{ "name" : "ORI 173", "initial state": {"pc": 256, "sr": 9995, "d0": 665681747, "a0": 1506594916, "d1": 1870804606, "a1": 361071434, "d2": 1304937315, "a2": 1886305270, "d3": 1978450041, "a3": 1979075876, "d4": 173048939, "a4": 2101523196, "d5": 740659735, "a5": 636812962, "d6": 1452948133, "a6": 2004456140, "d7": 662721294, "a7": 76549744, "usp": 143542612}, "final state": {"pc": 264, "sr": 9984, "d0": 665681747, "a0": 1506594916, "d1": 1870804606, "a1": 361071434, "d2": 1304937315, "a2": 1886305270, "d3": 1978450041, "a3": 1979075876, "d4": 173048939, "a4": 2101523196, "d5": 740659735, "a5": 636812962, "d6": 1452948133, "a6": 2004456140, "d7": 662721294, "a7": 76549744, "usp": 143542612}, "initial memory": [0, 4, 1, 144, 2, 14, 3, 112, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 173, 258, 30, 259, 43, 260, 185, 261, 65, 262, 93, 263, 104, 264, 101, 265, 101, 266, 165, 267, 132, 16079882, 21, 16079883, 221, 16079884, 239, 16079885, 158, -1], "final memory": [-1]},
{ "name" : "ORI 174", "initial state": {"pc": 256, "sr": 10010, "d0": 1655380339, "a0": 310562306, "d1": 1326710688, "a1": 1235431538, "d2": 703826415, "a2": 2025976776, "d3": 870629229, "a3": 90984206, "d4": 1859364792, "a4": 163210384, "d5": 162028000, "a5": 740323476, "d6": 195331604, "a6": 96410414, "d7": 1583255812, "a7": -964738376, "usp": 143542612}, "final state": {"pc": -163563225, "sr": 10010, "d0": 1655380339, "a0": 310562306, "d1": 1326710688, "a1": 1235431538, "d2": 703826415, "a2": 2025976776, "d3": 870629229, "a3": 90984206, "d4": 1859364792, "a4": 163210384, "d5": 162028000, "a5": 740323476, "d6": 195331604, "a6": 96410414, "d7": 1583255812, "a7": -964738390, "usp": 143542612}, "initial memory": [0, 198, 1, 127, 2, 66, 3, 184, 4, 0, 5, 0, 6, 1, 7, 0, 12, 246, 13, 64, 14, 57, 15, 39, 256, 0, 257, 174, 258, 133, 259, 91, 260, 86, 261, 165, 262, 113, 263, 49, 264, 132, 265, 169, 16776961, 106, -1], "final memory": [8340139, 21, 8340140, 5, 8340141, 191, 8340142, 140, 8340143, 95, 8340145, 174, 8340146, 39, 8340147, 26, 8340150, 1, 8340151, 8, -1]},
{ "name" : "ORI 175", "initial state": {"pc": 256, "sr": 10000, "d0": 2008590984, "a0": 1411794748, "d1": 2093220895, "a1": 487530740, "d2": 686477111, "a2": 1279033874, "d3": 1338652893, "a3": 411030654, "d4": 1700486679, "a4": 1884809832, "d5": 1367239677, "a5": 467586334, "d6": 1122228439, "a6": 1080851164, "d7": 2091986319, "a7": 559518716, "usp": 143542612}, "final state": {"pc": 1559109338, "sr": 10000, "d0": 2008590984, "a0": 1411794748, "d1": 2093220895, "a1": 487530740, "d2": 686477111, "a2": 1279033874, "d3": 1338652893, "a3": 411030654, "d4": 1700486679, "a4": 1884809832, "d5": 1367239677, "a5": 467586334, "d6": 1122228439, "a6": 1080851164, "d7": 2091986319, "a7": 559518702, "usp": 143542612}, "initial memory": [0, 33, 1, 89, 2, 147, 3, 252, 4, 0, 5, 0, 6, 1, 7, 0, 12, 92, 13, 238, 14, 30, 15, 218, 256, 0, 257, 175, 258, 111, 259, 145, 260, 203, 261, 115, 262, 6, 263, 99, 264, 92, 265, 187, 8377469, 141, 15605464, 179, 15605465, 47, 15605466, 194, 15605467, 35, -1], "final memory": [5870575, 21, 5870576, 33, 5870577, 89, 5870578, 154, 5870579, 95, 5870581, 175, 5870582, 39, 5870583, 16, 5870586, 1, 5870587, 8, -1]},
{ "name" : "ORI 176", "initial state": {"pc": 256, "sr": 10006, "d0": 629521010, "a0": 464518286, "d1": 1855169948, "a1": 1055775956, "d2": 526245243, "a2": 1916617784, "d3": 1266140755, "a3": 340407494, "d4": 612211162, "a4": 332332856, "d5": 838846957, "a5": 2060845398, "d6": 270663744, "a6": 2012362176, "d7": 675181062, "a7": 718077644, "usp": 143542612}, "final state": {"pc": -1370636957, "sr": 10006, "d0": 629521010, "a0": 464518286, "d1": 1855169948, "a1": 1055775956, "d2": 526245243, "a2": 1916617784, "d3": 1266140755, "a3": 340407494, "d4": 612211162, "a4": 332332856, "d5": 838846957, "a5": 2060845398, "d6": 270663744, "a6": 2012362176, "d7": 675181062, "a7": 718077630, "usp": 143542612}, "initial memory": [0, 42, 1, 204, 2, 254, 3, 204, 4, 0, 5, 0, 6, 1, 7, 0, 12, 174, 13, 77, 14, 189, 15, 99, 256, 0, 257, 176, 258, 3, 259, 44, 260, 69, 261, 235, 262, 134, 263, 63, 264, 192, 265, 232, 16776961, 203, -1], "final memory": [13434559, 21, 13434560, 27, 13434561, 175, 13434562, 249, 13434563, 91, 13434565, 176, 13434566, 39, 13434567, 22, 13434570, 1, 13434571, 8, -1]},
{ "name" : "ORI 177", "initial state": {"pc": 256, "sr": 10012, "d0": 466580833, "a0": 194839918, "d1": 1361265034, "a1": 1909440604, "d2": 1638134947, "a2": 2120111114, "d3": 1393699689, "a3": 1658821974, "d4": 1306535194, "a4": 1188211664, "d5": 916714983, "a5": 823003394, "d6": 1181035703, "a6": 275889438, "d7": 475711100, "a7": -93554274, "usp": 143542612}, "final state": {"pc": -124131041, "sr": 10012, "d0": 466580833, "a0": 194839918, "d1": 1361265034, "a1": 1909440604, "d2": 1638134947, "a2": 2120111114, "d3": 1393699689, "a3": 1658821974, "d4": 1306535194, "a4": 1188211664, "d5": 916714983, "a5": 823003394, "d6": 1181035703, "a6": 275889438, "d7": 475711100, "a7": -93554288, "usp": 143542612}, "initial memory": [0, 250, 1, 108, 2, 121, 3, 158, 4, 0, 5, 0, 6, 1, 7, 0, 12, 248, 13, 153, 14, 233, 15, 31, 256, 0, 257, 177, 258, 93, 259, 21, 260, 59, 261, 3, 262, 74, 263, 209, 264, 14, 265, 62, 16776961, 92, -1], "final memory": [7109009, 21, 7109010, 191, 7109011, 175, 7109012, 229, 7109013, 71, 7109015, 177, 7109016, 39, 7109017, 28, 7109020, 1, 7109021, 8, -1]},
{ "name" : "ORI 178", "initial state": {"pc": 256, "sr": 10000, "d0": 1390988178, "a0": 1342496918, "d1": 831326404, "a1": 1882522250, "d2": 574264646, "a2": 674901306, "d3": 874395704, "a3": 57626488, "d4": 738000707, "a4": 13259018, "d5": 1859821124, "a5": 1653516692, "d6": 1389148983, "a6": 69166616, "d7": 2132230744, "a7": 1745525814, "usp": 143542612}, "final state": {"pc": -1260042802, "sr": 10000, "d0": 1390988178, "a0": 1342496918, "d1": 831326404, "a1": 1882522250, "d2": 574264646, "a2": 674901306, "d3": 874395704, "a3": 57626488, "d4": 738000707, "a4": 13259018, "d5": 1859821124, "a5": 1653516692, "d6": 1389148983, "a6": 69166616, "d7": 2132230744, "a7": 1745525800, "usp": 143542612}, "initial memory": [0, 104, 1, 10, 2, 156, 3, 54, 4, 0, 5, 0, 6, 1, 7, 0, 12, 180, 13, 229, 14, 69, 15, 206, 40, 219, 41, 113, 42, 203, 43, 146, 256, 0, 257, 178, 258, 206, 259, 56, 260, 251, 261, 40, 262, 255, 263, 221, 264, 36, 265, 98, 15025612, 61, 15025613, 78, 15025614, 161, 15025615, 213, -1], "final memory": [695330, 39, 695331, 16, 695332, 180, 695333, 229, 695334, 69, 695335, 206, 695337, 21, 695338, 144, 695339, 68, 695340, 201, 695341, 77, 695343, 178, 695344, 39, 695345, 16, 695348, 1, 695349, 8, -1]},
{ "name" : "ORI 179", "initial state": {"pc": 256, "sr": 10010, "d0": 1886401366, "a0": 493062484, "d1": 1446677701, "a1": 1909275268, "d2": 502269373, "a2": 1488792608, "d3": 2030619301, "a3": 1805408266, "d4": 808473783, "a4": 1700278198, "d5": 889836312, "a5": 10799964, "d6": 402778076, "a6": 1126368600, "d7": 622667988, "a7": -473443494, "usp": 143542612}, "final state": {"pc": 264, "sr": 10008, "d0": 1886401366, "a0": 493062484, "d1": 1446677701, "a1": 1909275268, "d2": 502269373, "a2": 1488792608, "d3": 2030619301, "a3": 1805408266, "d4": 808473783, "a4": 1700278198, "d5": 889836312, "a5": 10799964, "d6": 402778076, "a6": 1126368600, "d7": 622667988, "a7": -473443494, "usp": 143542612}, "initial memory": [0, 227, 1, 199, 2, 211, 3, 90, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 179, 258, 66, 259, 84, 260, 212, 261, 194, 262, 77, 263, 47, 264, 94, 265, 80, 266, 90, 267, 139, 6523220, 185, 6523221, 187, 13413616, 202, 13413617, 204, 13413618, 229, 13413619, 144, -1], "final memory": [-1]},
{ "name" : "ORI 180", "initial state": {"pc": 256, "sr": 10001, "d0": 1629682197, "a0": 540618244, "d1": 1062251141, "a1": 167533258, "d2": 1223369276, "a2": 380405988, "d3": 1158985354, "a3": 424640004, "d4": 1390166388, "a4": 836388246, "d5": 2051887403, "a5": 1896797714, "d6": 1779178695, "a6": 84439482, "d7": 1094026037, "a7": 726261994, "usp": 143542612}, "final state": {"pc": 264, "sr": 10008, "d0": 1629682197, "a0": 540618244, "d1": 1062251141, "a1": 167533258, "d2": 1223369276, "a2": 380405988, "d3": 1158985354, "a3": 424640004, "d4": 1390166388, "a4": 836388246, "d5": 2051887403, "a5": 1896797714, "d6": 1779178695, "a6": 84439482, "d7": 1094026037, "a7": 726261994, "usp": 143542612}, "initial memory": [0, 43, 1, 73, 2, 224, 3, 234, 4, 0, 5, 0, 6, 1, 7, 0, 16, 80, 17, 105, 18, 161, 19, 23, 256, 0, 257, 180, 258, 153, 259, 173, 260, 94, 261, 162, 262, 222, 263, 212, 264, 53, 265, 248, 266, 5, 267, 72, 15276924, 15, 15276925, 115, 15276926, 62, 15276927, 247, -1], "final memory": [4841700, 39, 4841701, 24, 4841704, 1, 4841705, 8, -1]},
{ "name" : "ORI 181", "initial state": {"pc": 256, "sr": 10010, "d0": 1810260896, "a0": 1333220938, "d1": 1654052023, "a1": 599932168, "d2": 476540146, "a2": 624224910, "d3": 1243714159, "a3": 890463582, "d4": 1645534062, "a4": 207886730, "d5": 1196573968, "a5": 2143877894, "d6": 1781809668, "a6": 1675151898, "d7": 215632661, "a7": -526810186, "usp": 143542612}, "final state": {"pc": 641288482, "sr": 10010, "d0": 1810260896, "a0": 1333220938, "d1": 1654052023, "a1": 599932168, "d2": 476540146, "a2": 624224910, "d3": 1243714159, "a3": 890463582, "d4": 1645534062, "a4": 207886730, "d5": 1196573968, "a5": 2143877894, "d6": 1781809668, "a6": 1675151898, "d7": 215632661, "a7": -526810200, "usp": 143542612}, "initial memory": [0, 224, 1, 153, 2, 131, 3, 182, 4, 0, 5, 0, 6, 1, 7, 0, 12, 38, 13, 57, 14, 73, 15, 34, 256, 0, 257, 181, 258, 83, 259, 61, 260, 226, 261, 13, 262, 226, 263, 55, 264, 168, 265, 32, 3754272, 177, 3754273, 65, 3754274, 29, 3754275, 150, 3754276, 153, 3754277, 26, 3754278, 90, 3754279, 39, 14207514, 104, -1], "final memory": [10060713, 21, 10060714, 127, 10060715, 200, 10060716, 197, 10060717, 87, 10060719, 181, 10060720, 39, 10060721, 26, 10060724, 1, 10060725, 8, 10159932, 104, -1]},
{ "name" : "ORI 182", "initial state": {"pc": 256, "sr": 9999, "d0": 90655876, "a0": 1273864602, "d1": 1087402209, "a1": 1577905678, "d2": 883090693, "a2": 585173342, "d3": 845792834, "a3": 1680756188, "d4": 1045901545, "a4": 469359078, "d5": 1313616120, "a5": 810588514, "d6": 1814237680, "a6": 2072398684, "d7": 1919867654, "a7": 828092668, "usp": 143542612}, "final state": {"pc": 1087456755, "sr": 9999, "d0": 90655876, "a0": 1273864602, "d1": 1087402209, "a1": 1577905678, "d2": 883090693, "a2": 585173342, "d3": 845792834, "a3": 1680756188, "d4": 1045901545, "a4": 469359078, "d5": 1313616120, "a5": 810588514, "d6": 1814237680, "a6": 2072398684, "d7": 1919867654, "a7": 828092654, "usp": 143542612}, "initial memory": [0, 49, 1, 91, 2, 176, 3, 252, 4, 0, 5, 0, 6, 1, 7, 0, 12, 64, 13, 209, 14, 69, 15, 243, 256, 0, 257, 182, 258, 170, 259, 79, 260, 62, 261, 225, 262, 91, 263, 65, 264, 53, 265, 201, 16776961, 208, -1], "final memory": [6009071, 21, 6009072, 201, 6009073, 210, 6009074, 124, 6009075, 149, 6009077, 182, 6009078, 39, 6009079, 15, 6009082, 1, 6009083, 8, -1]},
{ "name" : "ORI 183", "initial state": {"pc": 256, "sr": 10014, "d0": 1250558051, "a0": 471397938, "d1": 706709968, "a1": 717986990, "d2": 2089864266, "a2": 496728436, "d3": 106188330, "a3": 1245904770, "d4": 148351653, "a4": 1955911140, "d5": 117717804, "a5": 1466345350, "d6": 650692941, "a6": 343981284, "d7": 1209528863, "a7": -1187965774, "usp": 143542612}, "final state": {"pc": 264, "sr": 10008, "d0": 1250558051, "a0": 471397938, "d1": 706709968, "a1": 717986990, "d2": 2089864266, "a2": 496728436, "d3": 106188330, "a3": 1245904770, "d4": 148351653, "a4": 1955911140, "d5": 117717804, "a5": 1466345350, "d6": 650692941, "a6": 343981284, "d7": 1209528863, "a7": -1187965774, "usp": 143542612}, "initial memory": [0, 185, 1, 49, 2, 20, 3, 178, 4, 0, 5, 0, 6, 1, 7, 0, 256, 0, 257, 183, 258, 243, 259, 134, 260, 15, 261, 39, 262, 250, 263, 80, 264, 215, 265, 78, 266, 217, 267, 208, 4390784, 72, 4390785, 108, 6433204, 251, 6433205, 11, 6433206, 209, 6433207, 32, 8436962, 43, 8436963, 233, -1], "final memory": [-1]},
{ "name" : "ORI 184", "initial state": {"pc": 256, "sr": 10002, "d0": 2069043788, "a0": 706037088, "d1": 216249045, "a1": 1518205148, "d2": 955368591, "a2": 73228782, "d3": 144680318, "a3": 248009342, "d4": 690616222, "a4": 27268974, "d5": 37731119, "a5": 895629206, "d6": 639241168, "a6": 1127200226, "d7": 2013108282, "a7": 2115287170, "usp": 143542612}, "final state": {"pc": 264, "sr": 10000, "d0": 2069043788, "a0": 706037088, "d1": 216249045, "a1": 1518205148, "d2": 955368591, "a2": 73228782, "d3": 144680318, "a3": 248009342, "d4": 690616222, "a4": 27268974, "d5": 37731119, "a5": 895629206, "d6": 639241168, "a6": 1127200226, "d7": 2013108282, "a7": 2115287170, "usp": 143542612}, "initial memory": [0, 126, 1, 20, 2, 184, 3, 130, 4, 0, 5, 0, 6, 1, 7, 0, 12, 157, 13, 222, 14, 85, 15, 79, 256, 0, 257, 184, 258, 53, 259, 235, 260, 21, 261, 88, 262, 91, 263, 250, 264, 149, 265, 108, 266, 28, 267, 181, 23546, 14, 23547, 10, 23548, 188, 23549, 117, -1], "final memory": [1357941, 21, 1357942, 1, 1357943, 160, 1357944, 52, 1357945, 35, 1357946, 149, 1357947, 108, 1357948, 39, 1357949, 16, 1357952, 1, 1357953, 12, -1]},
{ "name" : "ORI 185", "initial state": {"pc": 256, "sr": 9990, "d0": 1633526730, "a0": 125157272, "d1": 1252807862, "a1": 1131796898, "d2": 2012061446, "a2": 1847803206, "d3": 291733613, "a3": 1267480782, "d4": 461667590, "a4": 1659208480, "d5": 388768519, "a5": 1241783872, "d6": 1387244659, "a6": 1415455158, "d7": 191028334, "a7": -2028498704, "usp": 143542612}, "final state": {"pc": 596031940, "sr": 9990, "d0": 1633526730, "a0": 125157272, "d1": 1252807862, "a1": 1131796898, "d2": 2012061446, "a2": 1847803206, "d3": 291733613, "a3": 1267480782, "d4": 461667590, "a4": 1659208480, "d5": 388768519, "a5": 1241783872, "d6": 1387244659, "a6": 1415455158, "d7": 191028334, "a7": -2028498718, "usp": 143542612}, "initial memory": [0, 135, 1, 23, 2, 144, 3, 240, 4, 0, 5, 0, 6, 1, 7, 0, 12, 35, 13, 134, 14, 185, 15, 196, 256, 0, 257, 185, 258, 133, 259, 16, 260, 12, 261, 66, 262, 255, 263, 82, 264, 110, 265, 45, 266, 248, 267, 57, 8829380, 17, 8829381, 20, 8829382, 37, 8829383, 80, 15041312, 251, -1], "final memory": [1544419, 21, 1544420, 255, 1544421, 82, 1544422, 110, 1544423, 45, 1544425, 185, 1544426, 39, 1544427, 6, 1544430, 1, 1544431, 10, 7716759, 251, -1]},
{}]

139
OSBindings/Mac/Clock SignalTests/68000ComparativeTests.mm Normal file
View File

@ -0,0 +1,139 @@
//
// 68000ComparativeTests.cpp
// Clock SignalTests
//
// Created by Thomas Harte on 14/12/2019.
// Copyright © 2019 Thomas Harte. All rights reserved.
//
#import <XCTest/XCTest.h>
#include "../../../Processors/68000/68000.hpp"
#include <array>
#include <memory>
@interface M68000ComparativeTests : XCTestCase
@end
@implementation M68000ComparativeTests
- (void)testAll {
NSBundle *const bundle = [NSBundle bundleForClass:[self class]];
NSArray<NSURL *> *const tests = [bundle URLsForResourcesWithExtension:@"json" subdirectory:@"68000 Comparative Tests"];
for(NSURL *url in tests) {
[self testJSONAtURL:url];
}
}
- (void)testJSONAtURL:(NSURL *)url {
NSData *const data = [NSData dataWithContentsOfURL:url];
NSError *error;
NSArray *const jsonContents = [NSJSONSerialization JSONObjectWithData:data options:0 error:&error];
if(!data || error || ![jsonContents isKindOfClass:[NSArray class]]) {
return;
}
for(NSDictionary *test in jsonContents) {
if(![test isKindOfClass:[NSDictionary class]]) continue;
[self testOperation:test];
}
}
- (void)testOperation:(NSDictionary *)test {
// Only entries with a name are valid.
NSString *const name = test[@"name"];
if(!name) return;
// This is the test class for 68000 execution.
struct Test68000: public CPU::MC68000::BusHandler {
std::array<uint8_t, 16*1024*1024> ram;
CPU::MC68000::Processor<Test68000, true, true> processor;
Test68000() : processor(*this) {
}
void will_perform(uint32_t address, uint16_t opcode) {
--instructions_remaining_;
}
HalfCycles perform_bus_operation(const CPU::MC68000::Microcycle &cycle, int is_supervisor) {
using Microcycle = CPU::MC68000::Microcycle;
if(cycle.data_select_active()) {
cycle.apply(&ram[cycle.host_endian_byte_address()]);
}
return HalfCycles(0);
}
void run_for_instructions(int instructions) {
instructions_remaining_ = instructions + 1; // i.e. run up to the will_perform of the instruction after.
while(instructions_remaining_) {
processor.run_for(HalfCycles(2));
}
}
private:
int instructions_remaining_;
};
auto test68000 = std::make_unique<Test68000>();
// Apply initial memory state.
NSArray<NSNumber *> *const initialMemory = test[@"initial memory"];
NSEnumerator<NSNumber *> *enumerator = [initialMemory objectEnumerator];
while(true) {
NSNumber *const address = [enumerator nextObject];
NSNumber *const value = [enumerator nextObject];
if(!address || !value) break;
test68000->ram[address.intValue ^ 1] = value.intValue; // Effect a short-resolution endianness swap.
}
// Apply initial processor state.
NSDictionary *const initialState = test[@"initial state"];
auto state = test68000->processor.get_state();
for(int c = 0; c < 8; ++c) {
const NSString *dX = [@"d" stringByAppendingFormat:@"%d", c];
const NSString *aX = [@"a" stringByAppendingFormat:@"%d", c];
state.data[c] = [initialState[dX] intValue];
if(c < 8)
state.address[c] = [initialState[aX] intValue];
}
state.supervisor_stack_pointer = [initialState[@"a7"] intValue];
state.user_stack_pointer = [initialState[@"usp"] intValue];
state.status = [initialState[@"sr"] intValue];
test68000->processor.set_state(state);
// Run the thing.
test68000->run_for_instructions(1);
// Test the end state.
NSDictionary *const finalState = test[@"final state"];
state = test68000->processor.get_state();
for(int c = 0; c < 8; ++c) {
const NSString *dX = [@"d" stringByAppendingFormat:@"%d", c];
const NSString *aX = [@"a" stringByAppendingFormat:@"%d", c];
XCTAssertEqual(state.data[c], [finalState[dX] intValue], @"%@: D%d inconsistent", name, c);
if(c < 8) {
XCTAssertEqual(state.address[c], [finalState[aX] intValue], @"%@: A%d inconsistent", name, c);
}
}
XCTAssertEqual(state.supervisor_stack_pointer, [initialState[@"a7"] intValue], @"%@: A7 inconsistent", name);
XCTAssertEqual(state.user_stack_pointer, [initialState[@"usp"] intValue], @"%@: USP inconsistent", name);
XCTAssertEqual(state.status, [initialState[@"sr"] intValue], @"%@: Status inconsistent", name);
// Test final memory state.
NSArray<NSNumber *> *const finalMemory = test[@"final memory"];
enumerator = [finalMemory objectEnumerator];
while(true) {
NSNumber *const address = [enumerator nextObject];
NSNumber *const value = [enumerator nextObject];
if(!address || !value) break;
XCTAssertEqual(test68000->ram[address.intValue ^ 1], value.intValue, @"%@: Memory at location %@ inconsistent", name, address);
}
}
@end