back to table · edit · history · where entries came from · files · download
6966 bytes, as of the version from 2026-10-25 05:25 (current). Recorded here, not run.
[
{
"phase": "before",
"viewport": 1440,
"math_errors": 0,
"math": [
{
"text": "\u03b2",
"x": 135.578125,
"right": 145.40625,
"width": 9.828125,
"y": 14.71875
},
{
"text": "O",
"x": 744,
"right": 760.203125,
"width": 16.203125,
"y": 1061.84375
},
{
"text": "T",
"x": 745.875,
"right": 760.203125,
"width": 14.328125,
"y": 1109.84375
},
{
"text": "2",
"x": 1157.59375,
"right": 1167.765625,
"width": 10.171875,
"y": 1133.84375
},
{
"text": "3",
"x": 1358.921875,
"right": 1369.09375,
"width": 10.171875,
"y": 1133.84375
},
{
"text": "O",
"x": 56,
"right": 72.203125,
"width": 16.203125,
"y": 1058.65625
},
{
"text": "\u03bd=13\u2212\u0394\u03f5,\u03b7=2\u0394\u03c3\u22121,\u03c9=\u0394\u03f5\u2032\u22123,\u03b2=\u0394\u03c33\u2212\u0394\u03f5,\u03b3=3\u22122\u0394\u03c33\u2212\u0394\u03f5,\u03b4=3\u2212\u0394\u03c3\u0394\u03c3,\u03b1=2\u221233\u2212\u0394\u03f5",
"x": 86.671875,
"right": 936.203125,
"width": 849.53125,
"y": 1163.71875
}
]
},
{
"phase": "before",
"viewport": 390,
"math_errors": 0,
"math": [
{
"text": "\u03b2",
"x": 100.953125,
"right": 109.6875,
"width": 8.734375,
"y": 12.90625
},
{
"text": "O",
"x": 15.59375,
"right": 30,
"width": 14.40625,
"y": 1428.65625
},
{
"text": "T",
"x": 17.265625,
"right": 30,
"width": 12.734375,
"y": 1475.4375
},
{
"text": "2",
"x": 88.078125,
"right": 97.125,
"width": 9.046875,
"y": 1522.21875
},
{
"text": "3",
"x": 283.421875,
"right": 292.46875,
"width": 9.046875,
"y": 1522.21875
},
{
"text": "O",
"x": 23.984375,
"right": 38.390625,
"width": 14.40625,
"y": 1598.84375
},
{
"text": "\u03bd=13\u2212\u0394\u03f5,\u03b7=2\u0394\u03c3\u22121,\u03c9=\u0394\u03f5\u2032\u22123,\u03b2=\u0394\u03c33\u2212\u0394\u03f5,\u03b3=3\u22122\u0394\u03c33\u2212\u0394\u03f5,\u03b4=3\u2212\u0394\u03c3\u0394\u03c3,\u03b1=2\u221233\u2212\u0394\u03f5",
"x": 53.28125,
"right": 808.421875,
"width": 755.140625,
"y": 1746.96875
}
]
},
{
"phase": "proposed",
"viewport": 1440,
"math_errors": 0,
"math": [
{
"text": "\u03b2",
"x": 135.578125,
"right": 145.40625,
"width": 9.828125,
"y": 14.71875
},
{
"text": "O",
"x": 744,
"right": 760.203125,
"width": 16.203125,
"y": 1061.84375
},
{
"text": "T",
"x": 745.875,
"right": 760.203125,
"width": 14.328125,
"y": 1109.84375
},
{
"text": "2",
"x": 1157.59375,
"right": 1167.765625,
"width": 10.171875,
"y": 1133.84375
},
{
"text": "3",
"x": 1358.921875,
"right": 1369.09375,
"width": 10.171875,
"y": 1133.84375
},
{
"text": "O",
"x": 56,
"right": 72.203125,
"width": 16.203125,
"y": 1058.65625
},
{
"text": "\u03bd=13\u2212\u0394\u03f5",
"x": 86.671875,
"right": 169.296875,
"width": 82.625,
"y": 1163.71875
},
{
"text": "\u03b7=2\u0394\u03c3\u22121",
"x": 179.46875,
"right": 288.859375,
"width": 109.390625,
"y": 1163.71875
},
{
"text": "\u03c9=\u0394\u03f5\u2032\u22123",
"x": 299.03125,
"right": 402.40625,
"width": 103.375,
"y": 1163.71875
},
{
"text": "\u03b2=\u0394\u03c33\u2212\u0394\u03f5",
"x": 412.578125,
"right": 495.921875,
"width": 83.34375,
"y": 1163.71875
},
{
"text": "\u03b3=3\u22122\u0394\u03c33\u2212\u0394\u03f5",
"x": 506.09375,
"right": 597.859375,
"width": 91.765625,
"y": 1163.71875
},
{
"text": "\u03b4=3\u2212\u0394\u03c3\u0394\u03c3",
"x": 608.03125,
"right": 690.578125,
"width": 82.546875,
"y": 1163.71875
},
{
"text": "\u03b1=2\u221233\u2212\u0394\u03f5",
"x": 121.859375,
"right": 241.796875,
"width": 119.9375,
"y": 1190.625
}
]
},
{
"phase": "proposed",
"viewport": 390,
"math_errors": 0,
"math": [
{
"text": "\u03b2",
"x": 100.953125,
"right": 109.6875,
"width": 8.734375,
"y": 12.90625
},
{
"text": "O",
"x": 15.59375,
"right": 30,
"width": 14.40625,
"y": 1428.65625
},
{
"text": "T",
"x": 17.265625,
"right": 30,
"width": 12.734375,
"y": 1475.4375
},
{
"text": "2",
"x": 88.078125,
"right": 97.125,
"width": 9.046875,
"y": 1522.21875
},
{
"text": "3",
"x": 283.421875,
"right": 292.46875,
"width": 9.046875,
"y": 1522.21875
},
{
"text": "O",
"x": 23.984375,
"right": 38.390625,
"width": 14.40625,
"y": 1598.84375
},
{
"text": "\u03bd=13\u2212\u0394\u03f5",
"x": 53.28125,
"right": 126.71875,
"width": 73.4375,
"y": 1745.640625
},
{
"text": "\u03b7=2\u0394\u03c3\u22121",
"x": 136.640625,
"right": 233.875,
"width": 97.234375,
"y": 1745.640625
},
{
"text": "\u03c9=\u0394\u03f5\u2032\u22123",
"x": 243.796875,
"right": 335.6875,
"width": 91.890625,
"y": 1745.640625
},
{
"text": "\u03b2=\u0394\u03c33\u2212\u0394\u03f5",
"x": 53.28125,
"right": 127.375,
"width": 74.09375,
"y": 1771.25
},
{
"text": "\u03b3=3\u22122\u0394\u03c33\u2212\u0394\u03f5",
"x": 137.296875,
"right": 218.859375,
"width": 81.5625,
"y": 1771.25
},
{
"text": "\u03b4=3\u2212\u0394\u03c3\u0394\u03c3",
"x": 228.78125,
"right": 302.15625,
"width": 73.375,
"y": 1771.25
},
{
"text": "\u03b1=2\u221233\u2212\u0394\u03f5",
"x": 53.28125,
"right": 159.890625,
"width": 106.609375,
"y": 1795.53125
}
]
}
]