mirror of
https://github.com/TomHarte/CLK.git
synced 2024-08-23 17:28:58 +00:00
52 lines
44 KiB
JSON
52 lines
44 KiB
JSON
[{ "name" : "TAS 4ac0", "initial state": {"pc": 256, "sr": 9996, "d0": 1923486846, "a0": 235634396, "d1": 1972082430, "a1": 347465310, "d2": 526810018, "a2": 841445784, "d3": 20912752, "a3": 999476192, "d4": 1440788402, "a4": 579288916, "d5": 305085648, "a5": 1565456168, "d6": 1531037354, "a6": 1799656178, "d7": 995750324, "a7": 308325838, "usp": 1661716104}, "final state": {"pc": 258, "sr": 9984, "d0": 1923486974, "a0": 235634396, "d1": 1972082430, "a1": 347465310, "d2": 526810018, "a2": 841445784, "d3": 20912752, "a3": 999476192, "d4": 1440788402, "a4": 579288916, "d5": 305085648, "a5": 1565456168, "d6": 1531037354, "a6": 1799656178, "d7": 995750324, "a7": 308325838, "usp": 1661716104}, "initial memory": [0, 18, 1, 96, 2, 173, 3, 206, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 192, 258, 40, 259, 20, 260, 72, 261, 156, 262, 104, 263, 128, 264, 120, 265, 140, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ac1", "initial state": {"pc": 256, "sr": 10000, "d0": 888977458, "a0": 13642144, "d1": 1000421234, "a1": 1650264432, "d2": 1430207474, "a2": 1243024426, "d3": 712571454, "a3": 790609766, "d4": 1819611706, "a4": 1297013172, "d5": 2046809462, "a5": 1941381560, "d6": 186086540, "a6": 2080846856, "d7": 820304554, "a7": 1323573036, "usp": 1661716104}, "final state": {"pc": 258, "sr": 10000, "d0": 888977458, "a0": 13642144, "d1": 1000421362, "a1": 1650264432, "d2": 1430207474, "a2": 1243024426, "d3": 712571454, "a3": 790609766, "d4": 1819611706, "a4": 1297013172, "d5": 2046809462, "a5": 1941381560, "d6": 186086540, "a6": 2080846856, "d7": 820304554, "a7": 1323573036, "usp": 1661716104}, "initial memory": [0, 78, 1, 228, 2, 31, 3, 44, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 193, 258, 216, 259, 150, 260, 152, 261, 220, 262, 32, 263, 70, 264, 168, 265, 246, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ac2", "initial state": {"pc": 256, "sr": 9997, "d0": 460082116, "a0": 890168642, "d1": 1658994412, "a1": 1693297898, "d2": 1938893482, "a2": 804498448, "d3": 1065909202, "a3": 648390830, "d4": 427391546, "a4": 1172671738, "d5": 1984414860, "a5": 1636488854, "d6": 1639530916, "a6": 1645102048, "d7": 1233447362, "a7": 3782706732, "usp": 1661716104}, "final state": {"pc": 258, "sr": 9992, "d0": 460082116, "a0": 890168642, "d1": 1658994412, "a1": 1693297898, "d2": 1938893482, "a2": 804498448, "d3": 1065909202, "a3": 648390830, "d4": 427391546, "a4": 1172671738, "d5": 1984414860, "a5": 1636488854, "d6": 1639530916, "a6": 1645102048, "d7": 1233447362, "a7": 3782706732, "usp": 1661716104}, "initial memory": [0, 225, 1, 119, 2, 134, 3, 44, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 194, 258, 24, 259, 112, 260, 208, 261, 40, 262, 248, 263, 90, 264, 0, 265, 230, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ac3", "initial state": {"pc": 256, "sr": 10009, "d0": 1018604268, "a0": 1450723976, "d1": 2089798846, "a1": 1936020240, "d2": 1154158036, "a2": 19971142, "d3": 1861828154, "a3": 647551468, "d4": 761580648, "a4": 2097900134, "d5": 883414816, "a5": 2021035692, "d6": 1998360800, "a6": 798030844, "d7": 1953226974, "a7": 33998938, "usp": 1661716104}, "final state": {"pc": 258, "sr": 10000, "d0": 1018604268, "a0": 1450723976, "d1": 2089798846, "a1": 1936020240, "d2": 1154158036, "a2": 19971142, "d3": 1861828282, "a3": 647551468, "d4": 761580648, "a4": 2097900134, "d5": 883414816, "a5": 2021035692, "d6": 1998360800, "a6": 798030844, "d7": 1953226974, "a7": 33998938, "usp": 1661716104}, "initial memory": [0, 2, 1, 6, 2, 200, 3, 90, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 195, 258, 144, 259, 246, 260, 40, 261, 58, 262, 80, 263, 10, 264, 144, 265, 224, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ac4", "initial state": {"pc": 256, "sr": 9986, "d0": 2058337358, "a0": 1628122594, "d1": 661906382, "a1": 619824090, "d2": 695287620, "a2": 2087809486, "d3": 1240522820, "a3": 2078739676, "d4": 1695790664, "a4": 2113765136, "d5": 1898210510, "a5": 228668430, "d6": 206998544, "a6": 1382075334, "d7": 101037674, "a7": 107828154, "usp": 1661716104}, "final state": {"pc": 258, "sr": 9984, "d0": 2058337358, "a0": 1628122594, "d1": 661906382, "a1": 619824090, "d2": 695287620, "a2": 2087809486, "d3": 1240522820, "a3": 2078739676, "d4": 1695790792, "a4": 2113765136, "d5": 1898210510, "a5": 228668430, "d6": 206998544, "a6": 1382075334, "d7": 101037674, "a7": 107828154, "usp": 1661716104}, "initial memory": [0, 6, 1, 109, 2, 83, 3, 186, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 196, 258, 144, 259, 76, 260, 16, 261, 134, 262, 104, 263, 244, 264, 96, 265, 154, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ac5", "initial state": {"pc": 256, "sr": 9993, "d0": 1796351592, "a0": 1241028048, "d1": 1956114024, "a1": 1597239878, "d2": 581266252, "a2": 1265058852, "d3": 438787160, "a3": 1756037070, "d4": 236971128, "a4": 847291576, "d5": 1339083564, "a5": 465454574, "d6": 348856394, "a6": 1759599650, "d7": 599074454, "a7": 1408821450, "usp": 1661716104}, "final state": {"pc": 258, "sr": 9984, "d0": 1796351592, "a0": 1241028048, "d1": 1956114024, "a1": 1597239878, "d2": 581266252, "a2": 1265058852, "d3": 438787160, "a3": 1756037070, "d4": 236971128, "a4": 847291576, "d5": 1339083692, "a5": 465454574, "d6": 348856394, "a6": 1759599650, "d7": 599074454, "a7": 1408821450, "usp": 1661716104}, "initial memory": [0, 83, 1, 248, 2, 232, 3, 202, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 197, 258, 32, 259, 152, 260, 56, 261, 34, 262, 64, 263, 90, 264, 176, 265, 82, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ac6", "initial state": {"pc": 256, "sr": 9998, "d0": 1522419152, "a0": 550294724, "d1": 31050466, "a1": 1738859092, "d2": 26655840, "a2": 2047307674, "d3": 1328121110, "a3": 2117101490, "d4": 786485658, "a4": 468212094, "d5": 702623528, "a5": 860581250, "d6": 2128543890, "a6": 486706204, "d7": 1654567504, "a7": 2986385268, "usp": 1661716104}, "final state": {"pc": 258, "sr": 9992, "d0": 1522419152, "a0": 550294724, "d1": 31050466, "a1": 1738859092, "d2": 26655840, "a2": 2047307674, "d3": 1328121110, "a3": 2117101490, "d4": 786485658, "a4": 468212094, "d5": 702623528, "a5": 860581250, "d6": 2128543890, "a6": 486706204, "d7": 1654567504, "a7": 2986385268, "usp": 1661716104}, "initial memory": [0, 178, 1, 0, 2, 159, 3, 116, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 198, 258, 200, 259, 122, 260, 136, 261, 154, 262, 128, 263, 186, 264, 64, 265, 2, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ac7", "initial state": {"pc": 256, "sr": 9993, "d0": 1599242720, "a0": 679722128, "d1": 567069188, "a1": 1624286902, "d2": 199417330, "a2": 577858056, "d3": 1532575990, "a3": 1139312264, "d4": 1085801812, "a4": 1457041202, "d5": 1902505724, "a5": 735472080, "d6": 1529699892, "a6": 163376428, "d7": 2139346606, "a7": 2193376824, "usp": 1661716104}, "final state": {"pc": 258, "sr": 9992, "d0": 1599242720, "a0": 679722128, "d1": 567069188, "a1": 1624286902, "d2": 199417330, "a2": 577858056, "d3": 1532575990, "a3": 1139312264, "d4": 1085801812, "a4": 1457041202, "d5": 1902505724, "a5": 735472080, "d6": 1529699892, "a6": 163376428, "d7": 2139346606, "a7": 2193376824, "usp": 1661716104}, "initial memory": [0, 130, 1, 188, 2, 70, 3, 56, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 199, 258, 64, 259, 110, 260, 88, 261, 196, 262, 8, 263, 160, 264, 152, 265, 192, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ad0", "initial state": {"pc": 256, "sr": 10004, "d0": 619025394, "a0": 1097308956, "d1": 1549027696, "a1": 2029563510, "d2": 564250898, "a2": 243663622, "d3": 77057534, "a3": 3180124, "d4": 173334796, "a4": 1908753346, "d5": 1250107846, "a5": 1306784142, "d6": 1730065928, "a6": 805833532, "d7": 289471516, "a7": 804356232, "usp": 1661716104}, "final state": {"pc": 258, "sr": 10000, "d0": 619025394, "a0": 1097308956, "d1": 1549027696, "a1": 2029563510, "d2": 564250898, "a2": 243663622, "d3": 77057534, "a3": 3180124, "d4": 173334796, "a4": 1908753346, "d5": 1250107846, "a5": 1306784142, "d6": 1730065928, "a6": 805833532, "d7": 289471516, "a7": 804356232, "usp": 1661716104}, "initial memory": [0, 47, 1, 241, 2, 128, 3, 136, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 208, 258, 200, 259, 164, 260, 56, 261, 222, 262, 128, 263, 96, 264, 48, 265, 206, 6789916, 16, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ad1", "initial state": {"pc": 256, "sr": 9995, "d0": 1464897316, "a0": 743813332, "d1": 1776677610, "a1": 768361736, "d2": 2007980188, "a2": 1036544348, "d3": 417523918, "a3": 813512372, "d4": 1495415076, "a4": 1821539402, "d5": 1440078298, "a5": 85857782, "d6": 1255252796, "a6": 2050214936, "d7": 154394244, "a7": 943810960, "usp": 1661716104}, "final state": {"pc": 258, "sr": 9984, "d0": 1464897316, "a0": 743813332, "d1": 1776677610, "a1": 768361736, "d2": 2007980188, "a2": 1036544348, "d3": 417523918, "a3": 813512372, "d4": 1495415076, "a4": 1821539402, "d5": 1440078298, "a5": 85857782, "d6": 1255252796, "a6": 2050214936, "d7": 154394244, "a7": 943810960, "usp": 1661716104}, "initial memory": [0, 56, 1, 65, 2, 105, 3, 144, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 209, 258, 0, 259, 86, 260, 248, 261, 112, 262, 120, 263, 38, 264, 152, 265, 122, 13387016, 14, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ad2", "initial state": {"pc": 256, "sr": 10014, "d0": 1151201616, "a0": 1681599852, "d1": 1565401096, "a1": 1763934850, "d2": 874061074, "a2": 441293922, "d3": 1556342044, "a3": 1565913962, "d4": 1089929854, "a4": 903882156, "d5": 415564074, "a5": 248077014, "d6": 768588480, "a6": 1164615470, "d7": 552463462, "a7": 606125454, "usp": 1661716104}, "final state": {"pc": 258, "sr": 10008, "d0": 1151201616, "a0": 1681599852, "d1": 1565401096, "a1": 1763934850, "d2": 874061074, "a2": 441293922, "d3": 1556342044, "a3": 1565913962, "d4": 1089929854, "a4": 903882156, "d5": 415564074, "a5": 248077014, "d6": 768588480, "a6": 1164615470, "d7": 552463462, "a7": 606125454, "usp": 1661716104}, "initial memory": [0, 36, 1, 32, 2, 189, 3, 142, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 210, 258, 16, 259, 102, 260, 208, 261, 52, 262, 8, 263, 196, 264, 104, 265, 46, 5086306, 190, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ad3", "initial state": {"pc": 256, "sr": 10006, "d0": 1720203440, "a0": 1997960810, "d1": 2034376972, "a1": 1673045984, "d2": 1686641324, "a2": 1880479724, "d3": 596592068, "a3": 705888368, "d4": 321739032, "a4": 1166151754, "d5": 104104484, "a5": 1576783762, "d6": 1632390736, "a6": 1056500760, "d7": 1487526334, "a7": 3242988268, "usp": 1661716104}, "final state": {"pc": 258, "sr": 10000, "d0": 1720203440, "a0": 1997960810, "d1": 2034376972, "a1": 1673045984, "d2": 1686641324, "a2": 1880479724, "d3": 596592068, "a3": 705888368, "d4": 321739032, "a4": 1166151754, "d5": 104104484, "a5": 1576783762, "d6": 1632390736, "a6": 1056500760, "d7": 1487526334, "a7": 3242988268, "usp": 1661716104}, "initial memory": [0, 193, 1, 76, 2, 18, 3, 236, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 211, 258, 248, 259, 46, 260, 192, 261, 14, 262, 112, 263, 176, 264, 144, 265, 122, 1245296, 40, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ad4", "initial state": {"pc": 256, "sr": 10015, "d0": 785234140, "a0": 1729374254, "d1": 1143196972, "a1": 1549408480, "d2": 175318694, "a2": 521619838, "d3": 233743180, "a3": 836370212, "d4": 774052704, "a4": 1593683468, "d5": 47862602, "a5": 1622018098, "d6": 1267867836, "a6": 1100774874, "d7": 1721974118, "a7": 2952531988, "usp": 1661716104}, "final state": {"pc": 258, "sr": 10000, "d0": 785234140, "a0": 1729374254, "d1": 1143196972, "a1": 1549408480, "d2": 175318694, "a2": 521619838, "d3": 233743180, "a3": 836370212, "d4": 774052704, "a4": 1593683468, "d5": 47862602, "a5": 1622018098, "d6": 1267867836, "a6": 1100774874, "d7": 1721974118, "a7": 2952531988, "usp": 1661716104}, "initial memory": [0, 175, 1, 252, 2, 16, 3, 20, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 212, 258, 80, 259, 92, 260, 160, 261, 122, 262, 16, 263, 10, 264, 144, 265, 26, 16625164, 2, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ad5", "initial state": {"pc": 256, "sr": 9997, "d0": 77430050, "a0": 1394177514, "d1": 2139260722, "a1": 747422188, "d2": 1383736580, "a2": 1292862412, "d3": 1360286696, "a3": 899034944, "d4": 227610516, "a4": 385380322, "d5": 781583912, "a5": 276409308, "d6": 2070823932, "a6": 604127902, "d7": 70358194, "a7": 4046558802, "usp": 1661716104}, "final state": {"pc": 258, "sr": 9992, "d0": 77430050, "a0": 1394177514, "d1": 2139260722, "a1": 747422188, "d2": 1383736580, "a2": 1292862412, "d3": 1360286696, "a3": 899034944, "d4": 227610516, "a4": 385380322, "d5": 781583912, "a5": 276409308, "d6": 2070823932, "a6": 604127902, "d7": 70358194, "a7": 4046558802, "usp": 1661716104}, "initial memory": [0, 241, 1, 49, 2, 150, 3, 82, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 213, 258, 248, 259, 192, 260, 72, 261, 184, 262, 240, 263, 28, 264, 0, 265, 168, 7973852, 180, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ad6", "initial state": {"pc": 256, "sr": 10006, "d0": 261702648, "a0": 1539904804, "d1": 389912686, "a1": 1854610830, "d2": 1289923412, "a2": 1866584058, "d3": 895369018, "a3": 1237164236, "d4": 1049187804, "a4": 1082661004, "d5": 711196310, "a5": 654570004, "d6": 182419774, "a6": 1946817294, "d7": 1469994156, "a7": 1639092384, "usp": 1661716104}, "final state": {"pc": 258, "sr": 10008, "d0": 261702648, "a0": 1539904804, "d1": 389912686, "a1": 1854610830, "d2": 1289923412, "a2": 1866584058, "d3": 895369018, "a3": 1237164236, "d4": 1049187804, "a4": 1082661004, "d5": 711196310, "a5": 654570004, "d6": 182419774, "a6": 1946817294, "d7": 1469994156, "a7": 1639092384, "usp": 1661716104}, "initial memory": [0, 97, 1, 178, 2, 144, 3, 160, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 214, 258, 160, 259, 66, 260, 120, 261, 52, 262, 24, 263, 114, 264, 56, 265, 234, 660238, 152, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ad7", "initial state": {"pc": 256, "sr": 10012, "d0": 1994223084, "a0": 2084756846, "d1": 1130110866, "a1": 165143076, "d2": 1427950794, "a2": 1010823214, "d3": 1439239532, "a3": 162643088, "d4": 43031322, "a4": 1943181032, "d5": 1672940268, "a5": 112301248, "d6": 103710912, "a6": 1956433070, "d7": 1460060266, "a7": 3346054316, "usp": 1661716104}, "final state": {"pc": 258, "sr": 10008, "d0": 1994223084, "a0": 2084756846, "d1": 1130110866, "a1": 165143076, "d2": 1427950794, "a2": 1010823214, "d3": 1439239532, "a3": 162643088, "d4": 43031322, "a4": 1943181032, "d5": 1672940268, "a5": 112301248, "d6": 103710912, "a6": 1956433070, "d7": 1460060266, "a7": 3346054316, "usp": 1661716104}, "initial memory": [0, 199, 1, 112, 2, 188, 3, 172, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 215, 258, 80, 259, 166, 260, 184, 261, 24, 262, 232, 263, 76, 264, 152, 265, 96, 7388332, 170, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ad8", "initial state": {"pc": 256, "sr": 10014, "d0": 887277100, "a0": 2048930978, "d1": 339791738, "a1": 1482684408, "d2": 720740000, "a2": 76605468, "d3": 1669410920, "a3": 1165396122, "d4": 915484384, "a4": 1761778620, "d5": 1973211586, "a5": 708758310, "d6": 177182088, "a6": 9143068, "d7": 1487018274, "a7": 3402264994, "usp": 1661716104}, "final state": {"pc": 258, "sr": 10008, "d0": 887277100, "a0": 2048930979, "d1": 339791738, "a1": 1482684408, "d2": 720740000, "a2": 76605468, "d3": 1669410920, "a3": 1165396122, "d4": 915484384, "a4": 1761778620, "d5": 1973211586, "a5": 708758310, "d6": 177182088, "a6": 9143068, "d7": 1487018274, "a7": 3402264994, "usp": 1661716104}, "initial memory": [0, 202, 1, 202, 2, 113, 3, 162, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 216, 258, 88, 259, 66, 260, 200, 261, 84, 262, 232, 263, 14, 264, 208, 265, 6, 2110626, 212, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ad9", "initial state": {"pc": 256, "sr": 10001, "d0": 451252046, "a0": 263935094, "d1": 1428396372, "a1": 1403410610, "d2": 338134390, "a2": 1309227268, "d3": 782979574, "a3": 1065262920, "d4": 1905411856, "a4": 302748208, "d5": 980919728, "a5": 900372112, "d6": 85910476, "a6": 1384326428, "d7": 788376154, "a7": 2188973168, "usp": 1661716104}, "final state": {"pc": 258, "sr": 10000, "d0": 451252046, "a0": 263935094, "d1": 1428396372, "a1": 1403410611, "d2": 338134390, "a2": 1309227268, "d3": 782979574, "a3": 1065262920, "d4": 1905411856, "a4": 302748208, "d5": 980919728, "a5": 900372112, "d6": 85910476, "a6": 1384326428, "d7": 788376154, "a7": 2188973168, "usp": 1661716104}, "initial memory": [0, 130, 1, 121, 2, 20, 3, 112, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 217, 258, 176, 259, 86, 260, 144, 261, 220, 262, 72, 263, 240, 264, 200, 265, 244, 10901682, 104, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ada", "initial state": {"pc": 256, "sr": 10003, "d0": 1092998068, "a0": 2084003222, "d1": 443412438, "a1": 383886390, "d2": 664590376, "a2": 937697948, "d3": 708001384, "a3": 1654427156, "d4": 172389668, "a4": 338966342, "d5": 397710272, "a5": 1880694956, "d6": 1347448846, "a6": 28342106, "d7": 1357713914, "a7": 3354789716, "usp": 1661716104}, "final state": {"pc": 258, "sr": 10000, "d0": 1092998068, "a0": 2084003222, "d1": 443412438, "a1": 383886390, "d2": 664590376, "a2": 937697949, "d3": 708001384, "a3": 1654427156, "d4": 172389668, "a4": 338966342, "d5": 397710272, "a5": 1880694956, "d6": 1347448846, "a6": 28342106, "d7": 1357713914, "a7": 3354789716, "usp": 1661716104}, "initial memory": [0, 199, 1, 246, 2, 7, 3, 84, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 218, 258, 104, 259, 96, 260, 32, 261, 138, 262, 88, 263, 20, 264, 144, 265, 148, 14951068, 78, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4adb", "initial state": {"pc": 256, "sr": 10012, "d0": 1879661098, "a0": 1677245368, "d1": 1979643522, "a1": 1592566260, "d2": 904548090, "a2": 24972418, "d3": 703011516, "a3": 952134968, "d4": 59540424, "a4": 1631753378, "d5": 2116027120, "a5": 1512868662, "d6": 1738611520, "a6": 577238560, "d7": 33831910, "a7": 1398812536, "usp": 1661716104}, "final state": {"pc": 258, "sr": 10008, "d0": 1879661098, "a0": 1677245368, "d1": 1979643522, "a1": 1592566260, "d2": 904548090, "a2": 24972418, "d3": 703011516, "a3": 952134969, "d4": 59540424, "a4": 1631753378, "d5": 2116027120, "a5": 1512868662, "d6": 1738611520, "a6": 577238560, "d7": 33831910, "a7": 1398812536, "usp": 1661716104}, "initial memory": [0, 83, 1, 96, 2, 47, 3, 120, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 219, 258, 32, 259, 168, 260, 176, 261, 56, 262, 40, 263, 162, 264, 248, 265, 76, 12610872, 214, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4adc", "initial state": {"pc": 256, "sr": 10014, "d0": 370111692, "a0": 2145839680, "d1": 1354565732, "a1": 287134042, "d2": 712115876, "a2": 466089084, "d3": 605180008, "a3": 1686390986, "d4": 777842264, "a4": 684128596, "d5": 1461971758, "a5": 521866934, "d6": 1998948186, "a6": 694345390, "d7": 1087988434, "a7": 3390184370, "usp": 1661716104}, "final state": {"pc": 258, "sr": 10000, "d0": 370111692, "a0": 2145839680, "d1": 1354565732, "a1": 287134042, "d2": 712115876, "a2": 466089084, "d3": 605180008, "a3": 1686390986, "d4": 777842264, "a4": 684128597, "d5": 1461971758, "a5": 521866934, "d6": 1998948186, "a6": 694345390, "d7": 1087988434, "a7": 3390184370, "usp": 1661716104}, "initial memory": [0, 202, 1, 18, 2, 27, 3, 178, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 220, 258, 48, 259, 190, 260, 0, 261, 48, 262, 8, 263, 214, 264, 248, 265, 4, 13039956, 76, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4add", "initial state": {"pc": 256, "sr": 9988, "d0": 936107488, "a0": 1027137126, "d1": 693369700, "a1": 1620138902, "d2": 1218296084, "a2": 1729382408, "d3": 1793210096, "a3": 1686452758, "d4": 696598280, "a4": 1722330600, "d5": 1793948970, "a5": 1278316286, "d6": 229934910, "a6": 1235431020, "d7": 1192951416, "a7": 1579249122, "usp": 1661716104}, "final state": {"pc": 258, "sr": 9992, "d0": 936107488, "a0": 1027137126, "d1": 693369700, "a1": 1620138902, "d2": 1218296084, "a2": 1729382408, "d3": 1793210096, "a3": 1686452758, "d4": 696598280, "a4": 1722330600, "d5": 1793948970, "a5": 1278316287, "d6": 229934910, "a6": 1235431020, "d7": 1192951416, "a7": 1579249122, "usp": 1661716104}, "initial memory": [0, 94, 1, 33, 2, 109, 3, 226, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 221, 258, 160, 259, 242, 260, 208, 261, 170, 262, 200, 263, 14, 264, 184, 265, 210, 3247870, 178, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ade", "initial state": {"pc": 256, "sr": 10009, "d0": 1864078058, "a0": 1596612320, "d1": 2068495176, "a1": 1455109782, "d2": 1733162202, "a2": 486334038, "d3": 788957912, "a3": 493416184, "d4": 1451607212, "a4": 1411443420, "d5": 1748198970, "a5": 1025211984, "d6": 108847342, "a6": 1476532014, "d7": 1888710204, "a7": 145981266, "usp": 1661716104}, "final state": {"pc": 258, "sr": 10000, "d0": 1864078058, "a0": 1596612320, "d1": 2068495176, "a1": 1455109782, "d2": 1733162202, "a2": 486334038, "d3": 788957912, "a3": 493416184, "d4": 1451607212, "a4": 1411443420, "d5": 1748198970, "a5": 1025211984, "d6": 108847342, "a6": 1476532015, "d7": 1888710204, "a7": 145981266, "usp": 1661716104}, "initial memory": [0, 8, 1, 179, 2, 127, 3, 82, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 222, 258, 104, 259, 54, 260, 96, 261, 94, 262, 240, 263, 166, 264, 112, 265, 136, 137006, 48, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4adf", "initial state": {"pc": 256, "sr": 9998, "d0": 2048850362, "a0": 1253158726, "d1": 127771296, "a1": 1466598560, "d2": 2116008518, "a2": 304697654, "d3": 1425984512, "a3": 1452456330, "d4": 604209470, "a4": 986922860, "d5": 1645896080, "a5": 48835398, "d6": 838576360, "a6": 437797838, "d7": 17707258, "a7": 3541304950, "usp": 1661716104}, "final state": {"pc": 258, "sr": 9992, "d0": 2048850362, "a0": 1253158726, "d1": 127771296, "a1": 1466598560, "d2": 2116008518, "a2": 304697654, "d3": 1425984512, "a3": 1452456330, "d4": 604209470, "a4": 986922860, "d5": 1645896080, "a5": 48835398, "d6": 838576360, "a6": 437797838, "d7": 17707258, "a7": 3541304952, "usp": 1661716104}, "initial memory": [0, 211, 1, 20, 2, 6, 3, 118, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 223, 258, 48, 259, 64, 260, 184, 261, 122, 262, 104, 263, 214, 264, 240, 265, 74, 1312374, 230, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ae0", "initial state": {"pc": 256, "sr": 10014, "d0": 499441280, "a0": 299683078, "d1": 1743500484, "a1": 924356538, "d2": 598271272, "a2": 763631768, "d3": 626850056, "a3": 996850304, "d4": 2061619464, "a4": 1543129080, "d5": 2137170750, "a5": 210459548, "d6": 617315528, "a6": 288056626, "d7": 728580438, "a7": 1685013540, "usp": 1661716104}, "final state": {"pc": 258, "sr": 10008, "d0": 499441280, "a0": 299683077, "d1": 1743500484, "a1": 924356538, "d2": 598271272, "a2": 763631768, "d3": 626850056, "a3": 996850304, "d4": 2061619464, "a4": 1543129080, "d5": 2137170750, "a5": 210459548, "d6": 617315528, "a6": 288056626, "d7": 728580438, "a7": 1685013540, "usp": 1661716104}, "initial memory": [0, 100, 1, 111, 2, 68, 3, 36, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 224, 258, 56, 259, 90, 260, 240, 261, 54, 262, 144, 263, 226, 264, 224, 265, 92, 14470405, 160, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ae1", "initial state": {"pc": 256, "sr": 10012, "d0": 314546238, "a0": 1032358920, "d1": 1621383606, "a1": 1336001134, "d2": 1174269258, "a2": 82046106, "d3": 568720082, "a3": 264402168, "d4": 28722184, "a4": 663571932, "d5": 1697409560, "a5": 770899060, "d6": 1189708172, "a6": 731659068, "d7": 205009586, "a7": 2450561522, "usp": 1661716104}, "final state": {"pc": 258, "sr": 10000, "d0": 314546238, "a0": 1032358920, "d1": 1621383606, "a1": 1336001133, "d2": 1174269258, "a2": 82046106, "d3": 568720082, "a3": 264402168, "d4": 28722184, "a4": 663571932, "d5": 1697409560, "a5": 770899060, "d6": 1189708172, "a6": 731659068, "d7": 205009586, "a7": 2450561522, "usp": 1661716104}, "initial memory": [0, 146, 1, 16, 2, 153, 3, 242, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 225, 258, 240, 259, 98, 260, 8, 261, 234, 262, 152, 263, 198, 264, 184, 265, 122, 10601069, 4, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ae2", "initial state": {"pc": 256, "sr": 9993, "d0": 452254132, "a0": 585634564, "d1": 1090569790, "a1": 842579754, "d2": 433550192, "a2": 730757160, "d3": 266062672, "a3": 376610926, "d4": 654392056, "a4": 1065542380, "d5": 1103545712, "a5": 704648326, "d6": 1624006092, "a6": 1799602330, "d7": 153234874, "a7": 1014370236, "usp": 1661716104}, "final state": {"pc": 258, "sr": 9984, "d0": 452254132, "a0": 585634564, "d1": 1090569790, "a1": 842579754, "d2": 433550192, "a2": 730757159, "d3": 266062672, "a3": 376610926, "d4": 654392056, "a4": 1065542380, "d5": 1103545712, "a5": 704648326, "d6": 1624006092, "a6": 1799602330, "d7": 153234874, "a7": 1014370236, "usp": 1661716104}, "initial memory": [0, 60, 1, 118, 2, 15, 3, 188, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 226, 258, 32, 259, 142, 260, 72, 261, 180, 262, 64, 263, 192, 264, 0, 265, 190, 9336871, 40, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ae3", "initial state": {"pc": 256, "sr": 10010, "d0": 2003718904, "a0": 961339010, "d1": 1812550920, "a1": 1705264688, "d2": 1487796552, "a2": 66875160, "d3": 97063796, "a3": 836883546, "d4": 1411131298, "a4": 1631353418, "d5": 74344824, "a5": 1233191884, "d6": 1825474868, "a6": 891317190, "d7": 1804725434, "a7": 3358857544, "usp": 1661716104}, "final state": {"pc": 258, "sr": 10008, "d0": 2003718904, "a0": 961339010, "d1": 1812550920, "a1": 1705264688, "d2": 1487796552, "a2": 66875160, "d3": 97063796, "a3": 836883545, "d4": 1411131298, "a4": 1631353418, "d5": 74344824, "a5": 1233191884, "d6": 1825474868, "a6": 891317190, "d7": 1804725434, "a7": 3358857544, "usp": 1661716104}, "initial memory": [0, 200, 1, 52, 2, 25, 3, 72, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 227, 258, 152, 259, 156, 260, 216, 261, 96, 262, 208, 263, 226, 264, 152, 265, 94, 14799961, 130, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ae4", "initial state": {"pc": 256, "sr": 10006, "d0": 1526904088, "a0": 827208046, "d1": 247425366, "a1": 76515250, "d2": 949785770, "a2": 1796602650, "d3": 803488238, "a3": 1880678536, "d4": 849660536, "a4": 1899854812, "d5": 1625876456, "a5": 2072978494, "d6": 1523671564, "a6": 1922360184, "d7": 1752969320, "a7": 44654930, "usp": 1661716104}, "final state": {"pc": 258, "sr": 10008, "d0": 1526904088, "a0": 827208046, "d1": 247425366, "a1": 76515250, "d2": 949785770, "a2": 1796602650, "d3": 803488238, "a3": 1880678536, "d4": 849660536, "a4": 1899854811, "d5": 1625876456, "a5": 2072978494, "d6": 1523671564, "a6": 1922360184, "d7": 1752969320, "a7": 44654930, "usp": 1661716104}, "initial memory": [0, 2, 1, 169, 2, 97, 3, 82, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 228, 258, 128, 259, 234, 260, 120, 261, 46, 262, 224, 263, 12, 264, 152, 265, 84, 4029403, 152, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ae5", "initial state": {"pc": 256, "sr": 10000, "d0": 1248043616, "a0": 32540776, "d1": 1396273862, "a1": 1451975894, "d2": 1621004672, "a2": 1502169596, "d3": 1247976462, "a3": 1146662646, "d4": 267616584, "a4": 440859950, "d5": 1001187276, "a5": 714614306, "d6": 1420190294, "a6": 1794103724, "d7": 2005018500, "a7": 909324164, "usp": 1661716104}, "final state": {"pc": 258, "sr": 10008, "d0": 1248043616, "a0": 32540776, "d1": 1396273862, "a1": 1451975894, "d2": 1621004672, "a2": 1502169596, "d3": 1247976462, "a3": 1146662646, "d4": 267616584, "a4": 440859950, "d5": 1001187276, "a5": 714614305, "d6": 1420190294, "a6": 1794103724, "d7": 2005018500, "a7": 909324164, "usp": 1661716104}, "initial memory": [0, 54, 1, 51, 2, 47, 3, 132, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 229, 258, 16, 259, 56, 260, 192, 261, 88, 262, 40, 263, 158, 264, 144, 265, 202, 9971233, 224, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ae6", "initial state": {"pc": 256, "sr": 9996, "d0": 2046773616, "a0": 685874870, "d1": 1731106466, "a1": 1954223448, "d2": 597924506, "a2": 1018593318, "d3": 1241188028, "a3": 1905745388, "d4": 2138540092, "a4": 144157918, "d5": 9526404, "a5": 500574010, "d6": 1196498956, "a6": 1453940770, "d7": 521099790, "a7": 1532710848, "usp": 1661716104}, "final state": {"pc": 258, "sr": 9984, "d0": 2046773616, "a0": 685874870, "d1": 1731106466, "a1": 1954223448, "d2": 597924506, "a2": 1018593318, "d3": 1241188028, "a3": 1905745388, "d4": 2138540092, "a4": 144157918, "d5": 9526404, "a5": 500574010, "d6": 1196498956, "a6": 1453940769, "d7": 521099790, "a7": 1532710848, "usp": 1661716104}, "initial memory": [0, 91, 1, 91, 2, 79, 3, 192, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 230, 258, 96, 259, 242, 260, 184, 261, 12, 262, 120, 263, 236, 264, 152, 265, 112, 11100193, 92, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ae7", "initial state": {"pc": 256, "sr": 10002, "d0": 1018991134, "a0": 758280714, "d1": 1921120, "a1": 1255998900, "d2": 76009134, "a2": 1956745936, "d3": 1880245626, "a3": 464393000, "d4": 1066387384, "a4": 1097594608, "d5": 2021728672, "a5": 388065732, "d6": 1707544276, "a6": 312938592, "d7": 1872688678, "a7": 458085378, "usp": 1661716104}, "final state": {"pc": 258, "sr": 10000, "d0": 1018991134, "a0": 758280714, "d1": 1921120, "a1": 1255998900, "d2": 76009134, "a2": 1956745936, "d3": 1880245626, "a3": 464393000, "d4": 1066387384, "a4": 1097594608, "d5": 2021728672, "a5": 388065732, "d6": 1707544276, "a6": 312938592, "d7": 1872688678, "a7": 458085376, "usp": 1661716104}, "initial memory": [0, 27, 1, 77, 2, 212, 3, 2, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 231, 258, 112, 259, 176, 260, 64, 261, 46, 262, 240, 263, 36, 264, 16, 265, 74, 5100544, 26, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ae8", "initial state": {"pc": 256, "sr": 10015, "d0": 293547764, "a0": 1492905098, "d1": 887332388, "a1": 57067344, "d2": 1269017154, "a2": 1353160852, "d3": 1711225728, "a3": 722634640, "d4": 1469809872, "a4": 1300387502, "d5": 590127262, "a5": 671670594, "d6": 1189427394, "a6": 1593641532, "d7": 1928441488, "a7": 2553071160, "usp": 1661716104}, "final state": {"pc": 260, "sr": 10008, "d0": 293547764, "a0": 1492905098, "d1": 887332388, "a1": 57067344, "d2": 1269017154, "a2": 1353160852, "d3": 1711225728, "a3": 722634640, "d4": 1469809872, "a4": 1300387502, "d5": 590127262, "a5": 671670594, "d6": 1189427394, "a6": 1593641532, "d7": 1928441488, "a7": 2553071160, "usp": 1661716104}, "initial memory": [0, 152, 1, 44, 2, 198, 3, 56, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 232, 258, 184, 259, 108, 260, 136, 261, 124, 262, 32, 263, 118, 264, 96, 265, 28, 16491766, 214, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4ae9", "initial state": {"pc": 256, "sr": 10015, "d0": 961371504, "a0": 1864509640, "d1": 103907700, "a1": 732159262, "d2": 472508888, "a2": 319435930, "d3": 62370816, "a3": 50574816, "d4": 294301582, "a4": 1754908754, "d5": 671866440, "a5": 1211020580, "d6": 590241154, "a6": 1920365440, "d7": 956109784, "a7": 2253145310, "usp": 1661716104}, "final state": {"pc": 260, "sr": 10008, "d0": 961371504, "a0": 1864509640, "d1": 103907700, "a1": 732159262, "d2": 472508888, "a2": 319435930, "d3": 62370816, "a3": 50574816, "d4": 294301582, "a4": 1754908754, "d5": 671866440, "a5": 1211020580, "d6": 590241154, "a6": 1920365440, "d7": 956109784, "a7": 2253145310, "usp": 1661716104}, "initial memory": [0, 134, 1, 76, 2, 68, 3, 222, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 233, 258, 168, 259, 228, 260, 144, 261, 224, 262, 64, 263, 80, 264, 32, 265, 62, 10716674, 158, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4aea", "initial state": {"pc": 256, "sr": 9990, "d0": 878101014, "a0": 1996641158, "d1": 736136920, "a1": 968474484, "d2": 599940880, "a2": 1372091974, "d3": 770647494, "a3": 1070422338, "d4": 798573408, "a4": 1117740654, "d5": 1997958152, "a5": 1827711468, "d6": 1628372978, "a6": 740572794, "d7": 533060684, "a7": 1937820832, "usp": 1661716104}, "final state": {"pc": 260, "sr": 9984, "d0": 878101014, "a0": 1996641158, "d1": 736136920, "a1": 968474484, "d2": 599940880, "a2": 1372091974, "d3": 770647494, "a3": 1070422338, "d4": 798573408, "a4": 1117740654, "d5": 1997958152, "a5": 1827711468, "d6": 1628372978, "a6": 740572794, "d7": 533060684, "a7": 1937820832, "usp": 1661716104}, "initial memory": [0, 115, 1, 128, 2, 204, 3, 160, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 234, 258, 32, 259, 140, 260, 216, 261, 240, 262, 8, 263, 208, 264, 216, 265, 232, 13145810, 98, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4aeb", "initial state": {"pc": 256, "sr": 10003, "d0": 925833976, "a0": 1424156866, "d1": 1972628924, "a1": 2099201046, "d2": 1121783282, "a2": 263160366, "d3": 1052683560, "a3": 1267442188, "d4": 1482325740, "a4": 1010575930, "d5": 490940140, "a5": 301491386, "d6": 598761206, "a6": 1251818036, "d7": 271219400, "a7": 1313210828, "usp": 1661716104}, "final state": {"pc": 260, "sr": 10000, "d0": 925833976, "a0": 1424156866, "d1": 1972628924, "a1": 2099201046, "d2": 1121783282, "a2": 263160366, "d3": 1052683560, "a3": 1267442188, "d4": 1482325740, "a4": 1010575930, "d5": 490940140, "a5": 301491386, "d6": 598761206, "a6": 1251818036, "d7": 271219400, "a7": 1313210828, "usp": 1661716104}, "initial memory": [0, 78, 1, 70, 2, 1, 3, 204, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 235, 258, 64, 259, 70, 260, 192, 261, 82, 262, 56, 263, 124, 264, 32, 265, 66, 9167442, 2, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4aec", "initial state": {"pc": 256, "sr": 10007, "d0": 1607073986, "a0": 1057272286, "d1": 1190654382, "a1": 1295615524, "d2": 1075592334, "a2": 2073414934, "d3": 2110517546, "a3": 667672676, "d4": 1480998122, "a4": 972609956, "d5": 1799984530, "a5": 10026334, "d6": 737877228, "a6": 1008887878, "d7": 1931993218, "a7": 3502290208, "usp": 1661716104}, "final state": {"pc": 260, "sr": 10000, "d0": 1607073986, "a0": 1057272286, "d1": 1190654382, "a1": 1295615524, "d2": 1075592334, "a2": 2073414934, "d3": 2110517546, "a3": 667672676, "d4": 1480998122, "a4": 972609956, "d5": 1799984530, "a5": 10026334, "d6": 737877228, "a6": 1008887878, "d7": 1931993218, "a7": 3502290208, "usp": 1661716104}, "initial memory": [0, 208, 1, 192, 2, 181, 3, 32, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 236, 258, 48, 259, 200, 260, 16, 261, 68, 262, 80, 263, 214, 264, 168, 265, 172, 16321132, 62, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4aed", "initial state": {"pc": 256, "sr": 10012, "d0": 2004705028, "a0": 510489966, "d1": 1206467812, "a1": 607705604, "d2": 563938116, "a2": 275861296, "d3": 1262598208, "a3": 2131091646, "d4": 1202165848, "a4": 1525029656, "d5": 1275273166, "a5": 956101446, "d6": 1629320708, "a6": 1724372874, "d7": 1429173266, "a7": 3257624748, "usp": 1661716104}, "final state": {"pc": 260, "sr": 10008, "d0": 2004705028, "a0": 510489966, "d1": 1206467812, "a1": 607705604, "d2": 563938116, "a2": 275861296, "d3": 1262598208, "a3": 2131091646, "d4": 1202165848, "a4": 1525029656, "d5": 1275273166, "a5": 956101446, "d6": 1629320708, "a6": 1724372874, "d7": 1429173266, "a7": 3257624748, "usp": 1661716104}, "initial memory": [0, 194, 1, 43, 2, 104, 3, 172, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 237, 258, 112, 259, 252, 260, 200, 261, 212, 262, 224, 263, 242, 264, 248, 265, 200, 16606274, 228, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4aee", "initial state": {"pc": 256, "sr": 9995, "d0": 1771434580, "a0": 604117672, "d1": 1935204506, "a1": 103047094, "d2": 1342298526, "a2": 1040706182, "d3": 695631554, "a3": 2041996512, "d4": 578553810, "a4": 899231284, "d5": 2095414700, "a5": 1537766248, "d6": 1050552554, "a6": 271655298, "d7": 26229444, "a7": 1233761258, "usp": 1661716104}, "final state": {"pc": 260, "sr": 9984, "d0": 1771434580, "a0": 604117672, "d1": 1935204506, "a1": 103047094, "d2": 1342298526, "a2": 1040706182, "d3": 695631554, "a3": 2041996512, "d4": 578553810, "a4": 899231284, "d5": 2095414700, "a5": 1537766248, "d6": 1050552554, "a6": 271655298, "d7": 26229444, "a7": 1233761258, "usp": 1661716104}, "initial memory": [0, 73, 1, 137, 2, 179, 3, 234, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 238, 258, 208, 259, 110, 260, 192, 261, 134, 262, 80, 263, 214, 264, 120, 265, 222, 3207664, 62, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4aef", "initial state": {"pc": 256, "sr": 10002, "d0": 730571946, "a0": 2044600966, "d1": 1558703330, "a1": 1722616722, "d2": 2121341204, "a2": 1792201446, "d3": 858108134, "a3": 924086906, "d4": 1870718532, "a4": 526910844, "d5": 2005792050, "a5": 1715495334, "d6": 148710550, "a6": 214633916, "d7": 1854749196, "a7": 2831794114, "usp": 1661716104}, "final state": {"pc": 260, "sr": 10000, "d0": 730571946, "a0": 2044600966, "d1": 1558703330, "a1": 1722616722, "d2": 2121341204, "a2": 1792201446, "d3": 858108134, "a3": 924086906, "d4": 1870718532, "a4": 526910844, "d5": 2005792050, "a5": 1715495334, "d6": 148710550, "a6": 214633916, "d7": 1854749196, "a7": 2831794114, "usp": 1661716104}, "initial memory": [0, 168, 1, 201, 2, 191, 3, 194, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 239, 258, 152, 259, 60, 260, 40, 261, 104, 262, 48, 263, 214, 264, 232, 265, 66, 13195262, 122, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4af0", "initial state": {"pc": 256, "sr": 9995, "d0": 2086190396, "a0": 414058274, "d1": 636497810, "a1": 1230411644, "d2": 1002646962, "a2": 1408480552, "d3": 183329132, "a3": 620396582, "d4": 1721171726, "a4": 972264296, "d5": 1128473792, "a5": 642952848, "d6": 1830935486, "a6": 2118305086, "d7": 1239552146, "a7": 144959496, "usp": 1661716104}, "final state": {"pc": 260, "sr": 9984, "d0": 2086190396, "a0": 414058274, "d1": 636497810, "a1": 1230411644, "d2": 1002646962, "a2": 1408480552, "d3": 183329132, "a3": 620396582, "d4": 1721171726, "a4": 972264296, "d5": 1128473792, "a5": 642952848, "d6": 1830935486, "a6": 2118305086, "d7": 1239552146, "a7": 144959496, "usp": 1661716104}, "initial memory": [0, 8, 1, 163, 2, 232, 3, 8, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 240, 258, 24, 259, 114, 260, 24, 261, 246, 262, 248, 263, 216, 264, 64, 265, 134, 10368806, 16, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4af1", "initial state": {"pc": 256, "sr": 9995, "d0": 1510145916, "a0": 1492905234, "d1": 2060669966, "a1": 59353096, "d2": 1211343392, "a2": 1115089070, "d3": 903432590, "a3": 212228928, "d4": 1282172646, "a4": 2108738876, "d5": 1624764130, "a5": 1651662490, "d6": 8694464, "a6": 1117865114, "d7": 98985258, "a7": 1512165712, "usp": 1661716104}, "final state": {"pc": 260, "sr": 9992, "d0": 1510145916, "a0": 1492905234, "d1": 2060669966, "a1": 59353096, "d2": 1211343392, "a2": 1115089070, "d3": 903432590, "a3": 212228928, "d4": 1282172646, "a4": 2108738876, "d5": 1624764130, "a5": 1651662490, "d6": 8694464, "a6": 1117865114, "d7": 98985258, "a7": 1512165712, "usp": 1661716104}, "initial memory": [0, 90, 1, 33, 2, 209, 3, 80, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 241, 258, 216, 259, 96, 260, 208, 261, 228, 262, 48, 263, 106, 264, 104, 265, 140, 16516866, 166, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4af2", "initial state": {"pc": 256, "sr": 10013, "d0": 1062203000, "a0": 1139333944, "d1": 414280296, "a1": 1821416962, "d2": 666951298, "a2": 175509156, "d3": 1733311792, "a3": 1287337560, "d4": 1155633396, "a4": 384644202, "d5": 888383104, "a5": 789325544, "d6": 1748514984, "a6": 1187930488, "d7": 1125110540, "a7": 2590721136, "usp": 1661716104}, "final state": {"pc": 260, "sr": 10008, "d0": 1062203000, "a0": 1139333944, "d1": 414280296, "a1": 1821416962, "d2": 666951298, "a2": 175509156, "d3": 1733311792, "a3": 1287337560, "d4": 1155633396, "a4": 384644202, "d5": 888383104, "a5": 789325544, "d6": 1748514984, "a6": 1187930488, "d7": 1125110540, "a7": 2590721136, "usp": 1661716104}, "initial memory": [0, 154, 1, 107, 2, 68, 3, 112, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 242, 258, 72, 259, 88, 260, 80, 261, 148, 262, 32, 263, 190, 264, 32, 265, 140, 5742576, 188, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4af3", "initial state": {"pc": 256, "sr": 9990, "d0": 1858198716, "a0": 1935480910, "d1": 2038641944, "a1": 1692870068, "d2": 353581730, "a2": 56393772, "d3": 560884860, "a3": 769854484, "d4": 1486132144, "a4": 355339412, "d5": 40645950, "a5": 37491984, "d6": 236698710, "a6": 915066516, "d7": 1055521532, "a7": 1293603082, "usp": 1661716104}, "final state": {"pc": 260, "sr": 9992, "d0": 1858198716, "a0": 1935480910, "d1": 2038641944, "a1": 1692870068, "d2": 353581730, "a2": 56393772, "d3": 560884860, "a3": 769854484, "d4": 1486132144, "a4": 355339412, "d5": 40645950, "a5": 37491984, "d6": 236698710, "a6": 915066516, "d7": 1055521532, "a7": 1293603082, "usp": 1661716104}, "initial memory": [0, 77, 1, 26, 2, 209, 3, 10, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 243, 258, 144, 259, 86, 260, 232, 261, 132, 262, 80, 263, 190, 264, 136, 265, 82, 14889502, 176, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4af4", "initial state": {"pc": 256, "sr": 9985, "d0": 989988394, "a0": 1019188232, "d1": 31657808, "a1": 1167063558, "d2": 1644335054, "a2": 1869088062, "d3": 372199334, "a3": 372269718, "d4": 2081843280, "a4": 1117286714, "d5": 588963196, "a5": 640809636, "d6": 952306148, "a6": 457079354, "d7": 213825152, "a7": 963874158, "usp": 1661716104}, "final state": {"pc": 260, "sr": 9992, "d0": 989988394, "a0": 1019188232, "d1": 31657808, "a1": 1167063558, "d2": 1644335054, "a2": 1869088062, "d3": 372199334, "a3": 372269718, "d4": 2081843280, "a4": 1117286714, "d5": 588963196, "a5": 640809636, "d6": 952306148, "a6": 457079354, "d7": 213825152, "a7": 963874158, "usp": 1661716104}, "initial memory": [0, 57, 1, 115, 2, 141, 3, 110, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 244, 258, 128, 259, 242, 260, 152, 261, 214, 262, 72, 263, 92, 264, 0, 265, 138, 9962804, 130, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4af5", "initial state": {"pc": 256, "sr": 10004, "d0": 1721947556, "a0": 1599657366, "d1": 1282963526, "a1": 1093573568, "d2": 2032182408, "a2": 1525923156, "d3": 1309826174, "a3": 940787224, "d4": 393657828, "a4": 2036281360, "d5": 1957482436, "a5": 1481435734, "d6": 2105313458, "a6": 564994826, "d7": 2062737440, "a7": 2465729392, "usp": 1661716104}, "final state": {"pc": 260, "sr": 10000, "d0": 1721947556, "a0": 1599657366, "d1": 1282963526, "a1": 1093573568, "d2": 2032182408, "a2": 1525923156, "d3": 1309826174, "a3": 940787224, "d4": 393657828, "a4": 2036281360, "d5": 1957482436, "a5": 1481435734, "d6": 2105313458, "a6": 564994826, "d7": 2062737440, "a7": 2465729392, "usp": 1661716104}, "initial memory": [0, 146, 1, 248, 2, 11, 3, 112, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 245, 258, 64, 259, 156, 260, 88, 261, 180, 262, 176, 263, 194, 264, 104, 265, 238, 5023702, 68, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4af6", "initial state": {"pc": 256, "sr": 10000, "d0": 595930194, "a0": 908583978, "d1": 2082524596, "a1": 1962188076, "d2": 1302422972, "a2": 1736110000, "d3": 522093340, "a3": 940458210, "d4": 204583738, "a4": 801510356, "d5": 317565718, "a5": 1967136114, "d6": 830176438, "a6": 1145939240, "d7": 574138906, "a7": 3616332504, "usp": 1661716104}, "final state": {"pc": 260, "sr": 10008, "d0": 595930194, "a0": 908583978, "d1": 2082524596, "a1": 1962188076, "d2": 1302422972, "a2": 1736110000, "d3": 522093340, "a3": 940458210, "d4": 204583738, "a4": 801510356, "d5": 317565718, "a5": 1967136114, "d6": 830176438, "a6": 1145939240, "d7": 574138906, "a7": 3616332504, "usp": 1661716104}, "initial memory": [0, 215, 1, 140, 2, 218, 3, 216, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 246, 258, 24, 259, 4, 260, 192, 261, 174, 262, 56, 263, 178, 264, 184, 265, 194, 7238368, 190, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4af7", "initial state": {"pc": 256, "sr": 10006, "d0": 1398246106, "a0": 1850958006, "d1": 408754420, "a1": 603096400, "d2": 135366994, "a2": 118380960, "d3": 927885984, "a3": 1058937598, "d4": 2100989028, "a4": 1367226896, "d5": 248985974, "a5": 907434978, "d6": 1409137468, "a6": 1978314706, "d7": 923782366, "a7": 3842988734, "usp": 1661716104}, "final state": {"pc": 260, "sr": 10000, "d0": 1398246106, "a0": 1850958006, "d1": 408754420, "a1": 603096400, "d2": 135366994, "a2": 118380960, "d3": 927885984, "a3": 1058937598, "d4": 2100989028, "a4": 1367226896, "d5": 248985974, "a5": 907434978, "d6": 1409137468, "a6": 1978314706, "d7": 923782366, "a7": 3842988734, "usp": 1661716104}, "initial memory": [0, 229, 1, 15, 2, 90, 3, 190, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 247, 258, 88, 259, 162, 260, 208, 261, 48, 262, 224, 263, 240, 264, 208, 265, 18, 15111126, 48, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4af8", "initial state": {"pc": 256, "sr": 9991, "d0": 857280080, "a0": 998396364, "d1": 838533644, "a1": 1757972544, "d2": 1447263094, "a2": 1164531582, "d3": 1751034936, "a3": 116339916, "d4": 528270864, "a4": 1114849442, "d5": 951014550, "a5": 479751618, "d6": 2128240876, "a6": 1531849694, "d7": 856778500, "a7": 2418755558, "usp": 1661716104}, "final state": {"pc": 260, "sr": 9984, "d0": 857280080, "a0": 998396364, "d1": 838533644, "a1": 1757972544, "d2": 1447263094, "a2": 1164531582, "d3": 1751034936, "a3": 116339916, "d4": 528270864, "a4": 1114849442, "d5": 951014550, "a5": 479751618, "d6": 2128240876, "a6": 1531849694, "d7": 856778500, "a7": 2418755558, "usp": 1661716104}, "initial memory": [0, 144, 1, 43, 2, 71, 3, 230, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 248, 258, 168, 259, 252, 260, 48, 261, 174, 262, 168, 263, 96, 264, 40, 265, 138, 16754940, 40, -1], "final memory": [-1]},
|
|
{ "name" : "TAS 4af9", "initial state": {"pc": 256, "sr": 9988, "d0": 279822958, "a0": 334847472, "d1": 2142751822, "a1": 1374323570, "d2": 2076612618, "a2": 2069634312, "d3": 724039682, "a3": 1551251324, "d4": 1292591472, "a4": 1429544694, "d5": 640296852, "a5": 310646228, "d6": 428636446, "a6": 498424946, "d7": 1432612690, "a7": 3086292604, "usp": 1661716104}, "final state": {"pc": 262, "sr": 9992, "d0": 279822958, "a0": 334847472, "d1": 2142751822, "a1": 1374323570, "d2": 2076612618, "a2": 2069634312, "d3": 724039682, "a3": 1551251324, "d4": 1292591472, "a4": 1429544694, "d5": 640296852, "a5": 310646228, "d6": 428636446, "a6": 498424946, "d7": 1432612690, "a7": 3086292604, "usp": 1661716104}, "initial memory": [0, 183, 1, 245, 2, 22, 3, 124, 4, 0, 5, 0, 6, 1, 7, 0, 256, 74, 257, 249, 258, 152, 259, 94, 260, 176, 261, 222, 262, 80, 263, 4, 264, 144, 265, 144, 6205662, 194, -1], "final memory": [-1]},
|
|
{}]
|