unsorry/docs/queue.html at main · agenticsnz/unsorry · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>Unsorry — queue</title>
<!-- GENERATED by `python3 -m tools.queue_board --write`. Do not edit by hand. -->
<!-- Shares the leaderboard design language (ADR-038): Tailwind + Inter, brand
     palette, centred white card. -->
<script src="https://cdn.tailwindcss.com"></script>
<script>
  tailwind.config = {
    theme: {
      extend: {
        colors: {
          brand: {
            50: '#f0fdfa', 100: '#ccfbf1', blue: '#e0f2fe',
            text: '#334155', muted: '#64748b'
          }
        },
        fontFamily: {
          sans: ['Inter', 'system-ui', '-apple-system', 'BlinkMacSystemFont', 'Segoe UI', 'Roboto', 'Helvetica Neue', 'Arial', 'sans-serif'],
        }
      }
    }
  }
</script>
<style>
  body { background-color:#fafbfc; -webkit-font-smoothing:antialiased; }
  .badge { display:inline-flex; align-items:center; padding:.1rem .6rem; border-radius:999px; font-size:.78rem; font-weight:600; border:1px solid #cbd5e1; color:#334155; }
  .badge.waiting { background:#e2e8f0; }
  .badge.in-flight { background:#bee3f8; }
  .state-panel { border:1px dashed #cbd5e1; border-radius:14px; padding:18px; color:#64748b; background:#f8fafc; font-size:.9rem; }
  table.q { border-collapse:collapse; width:100%; }
  table.q th, table.q td { text-align:left; padding:.5rem .7rem; border-bottom:1px solid #e2e8f0; font-size:.875rem; white-space:nowrap; }
  table.q th { background:#f8fafc; color:#64748b; font-weight:600; text-transform:uppercase; letter-spacing:.03em; font-size:.72rem; }
  code { background:#f1f5f9; padding:0 .3rem; border-radius:4px; font-size:.85em; }
  a.lnk { color:#0369a1; text-decoration:none; } a.lnk:hover { text-decoration:underline; }
  /* Collapsible per-solver sections (collapsed by default): hide the native
     disclosure marker and use a caret that rotates when open. */
  details.qd > summary { list-style:none; }
  details.qd > summary::-webkit-details-marker { display:none; }
  details.qd[open] > summary .caret { transform:rotate(90deg); }
</style>
</head>
<body class="font-sans text-brand-text p-4 md:p-8 flex justify-center items-start min-h-screen">
<main class="w-full max-w-6xl bg-white rounded-3xl shadow-[0_8px_30px_rgb(0,0,0,0.04)] border border-slate-100 overflow-hidden">

  <nav class="flex items-center gap-1 px-6 md:px-10 py-3 text-sm font-medium border-b border-slate-100" aria-label="Primary">
    <a href="index.html" class="px-3 py-1.5 rounded-lg text-slate-500 hover:bg-slate-100 hover:text-slate-800 transition-colors">Home</a>
    <a href="leaderboard.html" class="px-3 py-1.5 rounded-lg text-slate-500 hover:bg-slate-100 hover:text-slate-800 transition-colors">Leaderboard</a>
    <a href="proofs-contributors-visualisation.html" class="px-3 py-1.5 rounded-lg text-slate-500 hover:bg-slate-100 hover:text-slate-800 transition-colors">Proof graph</a>
    <a href="queue.html" aria-current="page" class="px-3 py-1.5 rounded-lg bg-slate-100 text-slate-800">Queue</a>
  </nav>

  <header class="flex flex-col md:flex-row justify-between items-start md:items-center gap-4 px-6 md:px-10 py-6 md:py-8 border-b border-slate-100">
    <div class="flex flex-col">
      <h1 class="text-5xl md:text-7xl font-bold text-slate-200 tracking-tighter leading-none mb-2">Unsorry</h1>
      <div class="inline-flex items-center bg-slate-100 rounded-full px-4 py-1 text-xs font-semibold text-slate-600 uppercase tracking-wider w-max">
        Queue · 258 submitted
      </div>
    </div>
    <div class="flex flex-wrap gap-2">
<span class="inline-flex items-center bg-white border border-slate-200 text-slate-600 px-3 py-1.5 rounded-xl text-sm font-medium"><b class="mr-1 text-slate-800">258</b>queued</span>
<span class="inline-flex items-center bg-white border border-slate-200 text-slate-600 px-3 py-1.5 rounded-xl text-sm font-medium"><b class="mr-1 text-slate-800">189</b>waiting</span>
<span class="inline-flex items-center bg-white border border-slate-200 text-slate-600 px-3 py-1.5 rounded-xl text-sm font-medium"><b class="mr-1 text-slate-800">69</b>in-flight</span>
<span class="inline-flex items-center bg-white border border-slate-200 text-slate-600 px-3 py-1.5 rounded-xl text-sm font-medium"><b class="mr-1 text-slate-800">254</b>goals</span>
<span class="inline-flex items-center bg-white border border-slate-200 text-slate-600 px-3 py-1.5 rounded-xl text-sm font-medium"><b class="mr-1 text-slate-800">6</b>solvers</span>
    </div>
  </header>

  <section class="px-6 md:px-10 py-6 md:py-8">
    <p class="text-sm text-slate-500 leading-relaxed mb-6 max-w-3xl">This board lists proofs submitted to the queue but not yet merged, grouped by solver (biggest queue first). Tap a solver to see their queued proofs. It is regenerated on a schedule, so it reflects the queue as of the last refresh.</p>
<details class="qd mb-2 rounded-xl border border-slate-200 bg-white"><summary class="flex items-center justify-between gap-3 cursor-pointer select-none px-4 py-3 rounded-xl hover:bg-slate-50"><span class="flex items-center gap-2 min-w-0"><span class="caret text-slate-400 transition-transform" aria-hidden="true">▸</span><span class="font-semibold text-slate-800 truncate">@ruvnet</span></span><span class="text-xs font-medium text-slate-500 whitespace-nowrap flex-shrink-0">139 queued</span></summary><div class="px-4 pb-4"><p class="text-xs text-slate-500 mb-2">135 waiting · 4 in-flight · 139 goals · <a class="lnk" href="https://github.com/ruvnet">@ruvnet on GitHub ↗</a></p><div class="overflow-x-auto rounded-xl border border-slate-100"><table class="q"><thead><tr><th>Goal</th><th>Branch</th><th>Model</th><th>Submitted</th><th>State</th></tr></thead><tbody><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/dvd-thirtytwo-odd-pow-eight-sub-one.lean"><code>dvd-thirtytwo-odd-pow-eight-sub-one</code></a></td><td><code>queued/prove/dvd-thirtytwo-odd-pow-eight-sub-one/reroute-4aabc3</code></td><td>—</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/fib-prod-cross-shift-nat-int.lean"><code>fib-prod-cross-shift-nat-int</code></a></td><td><code>queued/prove/fib-prod-cross-shift-nat-int/reroute-3af324</code></td><td>—</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/five-var-qm-am.lean"><code>five-var-qm-am</code></a></td><td><code>queued/prove/five-var-qm-am/reroute-9ba575</code></td><td>—</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/fourth-power-mod-fortyone-mem.lean"><code>fourth-power-mod-fortyone-mem</code></a></td><td><code>queued/prove/fourth-power-mod-fortyone-mem/reroute-e6bbca</code></td><td>—</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/hexagonal-eq-triangular-odd-index.lean"><code>hexagonal-eq-triangular-odd-index</code></a></td><td><code>queued/prove/hexagonal-eq-triangular-odd-index/reroute-35d094</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/nat-sq-lt-two-pow-s2.lean"><code>nat-sq-lt-two-pow-s2</code></a></td><td><code>queued/prove/nat-sq-lt-two-pow-s2/reroute-106132</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/nesbitt-inequality-s1.lean"><code>nesbitt-inequality-s1</code></a></td><td><code>queued/prove/nesbitt-inequality-s1/reroute-59b0e7</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/nicomachus-sum-cubes-eq-sum-id-sq.lean"><code>nicomachus-sum-cubes-eq-sum-id-sq</code></a></td><td><code>queued/prove/nicomachus-sum-cubes-eq-sum-id-sq/reroute-726c3f</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/platonic-pairs-realizable.lean"><code>platonic-pairs-realizable</code></a></td><td><code>queued/prove/platonic-pairs-realizable/ruvnet-671743</code></td><td>—</td><td>2026-06-16</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/pow-five-add-pow-five-ge-quartic-mul.lean"><code>pow-five-add-pow-five-ge-quartic-mul</code></a></td><td><code>queued/prove/pow-five-add-pow-five-ge-quartic-mul/reroute-a75344</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/prime-pow-eight-mod-480.lean"><code>prime-pow-eight-mod-480</code></a></td><td><code>queued/prove/prime-pow-eight-mod-480/reroute-0a6187</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/prime-pow-six-mod-504.lean"><code>prime-pow-six-mod-504</code></a></td><td><code>queued/prove/prime-pow-six-mod-504/reroute-0b0579</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/prod-icc-k-mul-add-two-div-succ-sq-telescope.lean"><code>prod-icc-k-mul-add-two-div-succ-sq-telescope</code></a></td><td><code>queued/prove/prod-icc-k-mul-add-two-div-succ-sq-telescope/reroute-ecd7c9</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/prod-icc-k-mul-add-two-div-succ-sq-telescope-half.lean"><code>prod-icc-k-mul-add-two-div-succ-sq-telescope-half</code></a></td><td><code>queued/prove/prod-icc-k-mul-add-two-div-succ-sq-telescope-half/reroute-538478</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/prod-icc-k-sq-div-pred-mul-succ-telescope.lean"><code>prod-icc-k-sq-div-pred-mul-succ-telescope</code></a></td><td><code>queued/prove/prod-icc-k-sq-div-pred-mul-succ-telescope/reroute-4319af</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/prod-icc-one-add-recip-eq-succ.lean"><code>prod-icc-one-add-recip-eq-succ</code></a></td><td><code>queued/prove/prod-icc-one-add-recip-eq-succ/reroute-a3cb08</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/prod-icc-one-add-recip-k-sq-sub-one-telescope.lean"><code>prod-icc-one-add-recip-k-sq-sub-one-telescope</code></a></td><td><code>queued/prove/prod-icc-one-add-recip-k-sq-sub-one-telescope/reroute-d9dc0b</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/prod-icc-one-add-recip-pronic.lean"><code>prod-icc-one-add-recip-pronic</code></a></td><td><code>queued/prove/prod-icc-one-add-recip-pronic/reroute-f3c13f</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/prod-icc-one-sub-recip-sq-eq-frac.lean"><code>prod-icc-one-sub-recip-sq-eq-frac</code></a></td><td><code>queued/prove/prod-icc-one-sub-recip-sq-eq-frac/reroute-9210fb</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/prod-icc-one-sub-two-div-pronic.lean"><code>prod-icc-one-sub-two-div-pronic</code></a></td><td><code>queued/prove/prod-icc-one-sub-two-div-pronic/reroute-36538c</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/prod-icc-succ-add-three-div-self-eq-binom-shift.lean"><code>prod-icc-succ-add-three-div-self-eq-binom-shift</code></a></td><td><code>queued/prove/prod-icc-succ-add-three-div-self-eq-binom-shift/reroute-ffa5b7</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/prod-icc-succ-sq-div-k-mul-add-two-telescope.lean"><code>prod-icc-succ-sq-div-k-mul-add-two-telescope</code></a></td><td><code>queued/prove/prod-icc-succ-sq-div-k-mul-add-two-telescope/reroute-234307</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/prod-one-sub-inv-sq-telescope.lean"><code>prod-one-sub-inv-sq-telescope</code></a></td><td><code>queued/prove/prod-one-sub-inv-sq-telescope/reroute-1c8a1a</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/quartic-n4-plus-four-composite.lean"><code>quartic-n4-plus-four-composite</code></a></td><td><code>queued/prove/quartic-n4-plus-four-composite/reroute-450c38</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/quartic-n4-plus-four-not-prime.lean"><code>quartic-n4-plus-four-not-prime</code></a></td><td><code>queued/prove/quartic-n4-plus-four-not-prime/reroute-15e2ea</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/quartic-plus-four-not-prime.lean"><code>quartic-plus-four-not-prime</code></a></td><td><code>queued/prove/quartic-plus-four-not-prime/reroute-38c60c</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/realization-edge-relation.lean"><code>realization-edge-relation</code></a></td><td><code>queued/prove/realization-edge-relation/reroute-26bc58</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sophie-germain-plus-factor-dvd.lean"><code>sophie-germain-plus-factor-dvd</code></a></td><td><code>queued/prove/sophie-germain-plus-factor-dvd/reroute-bfe3d3</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sq-mod-five-ne-two-three.lean"><code>sq-mod-five-ne-two-three</code></a></td><td><code>queued/prove/sq-mod-five-ne-two-three/ruvnet-6d2ee0</code></td><td>—</td><td>2026-06-16</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sq-mod-ten-ne-two-three-seven-eight.lean"><code>sq-mod-ten-ne-two-three-seven-eight</code></a></td><td><code>queued/prove/sq-mod-ten-ne-two-three-seven-eight/ruvnet-4e2510</code></td><td>—</td><td>2026-06-16</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-centered-triangular-closed-form.lean"><code>sum-centered-triangular-closed-form</code></a></td><td><code>queued/prove/sum-centered-triangular-closed-form/reroute-2c545d</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-decagonal-closed-form.lean"><code>sum-decagonal-closed-form</code></a></td><td><code>queued/prove/sum-decagonal-closed-form/reroute-bc3286</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-heptagonal-closed-form.lean"><code>sum-heptagonal-closed-form</code></a></td><td><code>queued/prove/sum-heptagonal-closed-form/reroute-41b55c</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-heptagonal-numbers-closed-form.lean"><code>sum-heptagonal-numbers-closed-form</code></a></td><td><code>queued/prove/sum-heptagonal-numbers-closed-form/reroute-ed3c95</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-hexagonal-numbers-closed-form.lean"><code>sum-hexagonal-numbers-closed-form</code></a></td><td><code>queued/prove/sum-hexagonal-numbers-closed-form/reroute-139d2e</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-icc-choose-hockey-stick-s1.lean"><code>sum-icc-choose-hockey-stick-s1</code></a></td><td><code>queued/prove/sum-icc-choose-hockey-stick-s1/reroute-89c4b3</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-icc-choose-hockey-stick-s2.lean"><code>sum-icc-choose-hockey-stick-s2</code></a></td><td><code>queued/prove/sum-icc-choose-hockey-stick-s2/reroute-7c350a</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-icc-choose-hockey-stick-s3.lean"><code>sum-icc-choose-hockey-stick-s3</code></a></td><td><code>queued/prove/sum-icc-choose-hockey-stick-s3/reroute-381274</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-icc-eight-k-div-odd-sq-pair-telescope.lean"><code>sum-icc-eight-k-div-odd-sq-pair-telescope</code></a></td><td><code>queued/prove/sum-icc-eight-k-div-odd-sq-pair-telescope/reroute-3dee5e</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-octagonal-running-closed-form.lean"><code>sum-octagonal-running-closed-form</code></a></td><td><code>queued/prove/sum-octagonal-running-closed-form/reroute-bde4da</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-octahedral-centered-squares.lean"><code>sum-octahedral-centered-squares</code></a></td><td><code>queued/prove/sum-octahedral-centered-squares/reroute-e11e70</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-odd-gnomon-squares-closed-form.lean"><code>sum-odd-gnomon-squares-closed-form</code></a></td><td><code>queued/prove/sum-odd-gnomon-squares-closed-form/reroute-699c8a</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-odd-squares-faulhaber.lean"><code>sum-odd-squares-faulhaber</code></a></td><td><code>queued/prove/sum-odd-squares-faulhaber/reroute-a101f0</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-one-div-four-k-plus-one-mul-four-k-plus-five.lean"><code>sum-one-div-four-k-plus-one-mul-four-k-plus-five</code></a></td><td><code>queued/prove/sum-one-div-four-k-plus-one-mul-four-k-plus-five/reroute-b7a863</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-one-div-succ-mul-add-four-telescope.lean"><code>sum-one-div-succ-mul-add-four-telescope</code></a></td><td><code>queued/prove/sum-one-div-succ-mul-add-four-telescope/reroute-ae6e83</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-one-div-three-k-plus-one-mul-three-k-plus-four.lean"><code>sum-one-div-three-k-plus-one-mul-three-k-plus-four</code></a></td><td><code>queued/prove/sum-one-div-three-k-plus-one-mul-three-k-plus-four/reroute-90aa6c</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-pentagonal-running-eq-pyramidal.lean"><code>sum-pentagonal-running-eq-pyramidal</code></a></td><td><code>queued/prove/sum-pentagonal-running-eq-pyramidal/reroute-d45afd</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-product-consecutive-odds-closed-form.lean"><code>sum-product-consecutive-odds-closed-form</code></a></td><td><code>queued/prove/sum-product-consecutive-odds-closed-form/reroute-03a278</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-pronic-eq-thrice-tetrahedral.lean"><code>sum-pronic-eq-thrice-tetrahedral</code></a></td><td><code>queued/prove/sum-pronic-eq-thrice-tetrahedral/reroute-623cd4</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-catalan-mul-catalan-eq-catalan-succ.lean"><code>sum-range-catalan-mul-catalan-eq-catalan-succ</code></a></td><td><code>queued/prove/sum-range-catalan-mul-catalan-eq-catalan-succ/reroute-14f26f</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-choose-mul-choose-three-eq.lean"><code>sum-range-choose-mul-choose-three-eq</code></a></td><td><code>queued/prove/sum-range-choose-mul-choose-three-eq/reroute-7cbadc</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-choose-mul-k-mul-comp-eq.lean"><code>sum-range-choose-mul-k-mul-comp-eq</code></a></td><td><code>queued/prove/sum-range-choose-mul-k-mul-comp-eq/reroute-df1616</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-choose-mul-succ-choose-eq.lean"><code>sum-range-choose-mul-succ-choose-eq</code></a></td><td><code>queued/prove/sum-range-choose-mul-succ-choose-eq/reroute-0f6c42</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-choose-mul-succ-choose-succ-eq-central-shift.lean"><code>sum-range-choose-mul-succ-choose-succ-eq-central-shift</code></a></td><td><code>queued/prove/sum-range-choose-mul-succ-choose-succ-eq-central-shift/reroute-8de400</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-choose-sq-eq-central.lean"><code>sum-range-choose-sq-eq-central</code></a></td><td><code>queued/prove/sum-range-choose-sq-eq-central/reroute-f017f8</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-comp-mul-choose-sq-eq.lean"><code>sum-range-comp-mul-choose-sq-eq</code></a></td><td><code>queued/prove/sum-range-comp-mul-choose-sq-eq/reroute-180583</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-compositions-count-eq-two-pow.lean"><code>sum-range-compositions-count-eq-two-pow</code></a></td><td><code>queued/prove/sum-range-compositions-count-eq-two-pow/reroute-7a543e</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-cube-sym-choose-sq-eq-zero.lean"><code>sum-range-cube-sym-choose-sq-eq-zero</code></a></td><td><code>queued/prove/sum-range-cube-sym-choose-sq-eq-zero/reroute-62fb75</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-disp-mul-choose-eq-zero.lean"><code>sum-range-disp-mul-choose-eq-zero</code></a></td><td><code>queued/prove/sum-range-disp-mul-choose-eq-zero/reroute-62afb0</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-disp-mul-choose-sq-eq-zero.lean"><code>sum-range-disp-mul-choose-sq-eq-zero</code></a></td><td><code>queued/prove/sum-range-disp-mul-choose-sq-eq-zero/reroute-d69cc6</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-even-cols-eq-two-pow.lean"><code>sum-range-even-cols-eq-two-pow</code></a></td><td><code>queued/prove/sum-range-even-cols-eq-two-pow/reroute-a9dd74</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-fall-three-mul-choose.lean"><code>sum-range-fall-three-mul-choose</code></a></td><td><code>queued/prove/sum-range-fall-three-mul-choose/reroute-ec554a</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-fib-mul-two-pow-rev-eq.lean"><code>sum-range-fib-mul-two-pow-rev-eq</code></a></td><td><code>queued/prove/sum-range-fib-mul-two-pow-rev-eq/reroute-8cecbd</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-fib-prod-shift-even-nat.lean"><code>sum-range-fib-prod-shift-even-nat</code></a></td><td><code>queued/prove/sum-range-fib-prod-shift-even-nat/reroute-d9a69a</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-fib-sq-eq-prod.lean"><code>sum-range-fib-sq-eq-prod</code></a></td><td><code>queued/prove/sum-range-fib-sq-eq-prod/reroute-6b6577</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-fib-sq-mul-two-eq.lean"><code>sum-range-fib-sq-mul-two-eq</code></a></td><td><code>queued/prove/sum-range-fib-sq-mul-two-eq/reroute-fb5657</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-fib-two-mul-succ-eq-fib-pred.lean"><code>sum-range-fib-two-mul-succ-eq-fib-pred</code></a></td><td><code>queued/prove/sum-range-fib-two-mul-succ-eq-fib-pred/reroute-cac5bf</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-four-consecutive-product.lean"><code>sum-range-four-consecutive-product</code></a></td><td><code>queued/prove/sum-range-four-consecutive-product/reroute-32521c</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-four-mul-add-one.lean"><code>sum-range-four-mul-add-one</code></a></td><td><code>queued/prove/sum-range-four-mul-add-one/reroute-c69ef6</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-half-even-row-choose-eq.lean"><code>sum-range-half-even-row-choose-eq</code></a></td><td><code>queued/prove/sum-range-half-even-row-choose-eq/reroute-55ddf9</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-id-mul-add-two.lean"><code>sum-range-id-mul-add-two</code></a></td><td><code>queued/prove/sum-range-id-mul-add-two/reroute-46caf7</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-id-mul-choose-eq-half.lean"><code>sum-range-id-mul-choose-eq-half</code></a></td><td><code>queued/prove/sum-range-id-mul-choose-eq-half/reroute-fb4965</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-k-div-succ-factorial-eq.lean"><code>sum-range-k-div-succ-factorial-eq</code></a></td><td><code>queued/prove/sum-range-k-div-succ-factorial-eq/reroute-01a71b</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-k-div-succ-factorial-telescope.lean"><code>sum-range-k-div-succ-factorial-telescope</code></a></td><td><code>queued/prove/sum-range-k-div-succ-factorial-telescope/reroute-d66a3a</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-k-mul-choose-mul-four-pow-closed.lean"><code>sum-range-k-mul-choose-mul-four-pow-closed</code></a></td><td><code>queued/prove/sum-range-k-mul-choose-mul-four-pow-closed/reroute-3caa93</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-k-mul-choose-mul-three-pow-closed.lean"><code>sum-range-k-mul-choose-mul-three-pow-closed</code></a></td><td><code>queued/prove/sum-range-k-mul-choose-mul-three-pow-closed/reroute-a41f3f</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-k-mul-choose-mul-two-pow-eq-two-n-three-pow.lean"><code>sum-range-k-mul-choose-mul-two-pow-eq-two-n-three-pow</code></a></td><td><code>queued/prove/sum-range-k-mul-choose-mul-two-pow-eq-two-n-three-pow/reroute-18abca</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-k-mul-choose-sq-eq-central.lean"><code>sum-range-k-mul-choose-sq-eq-central</code></a></td><td><code>queued/prove/sum-range-k-mul-choose-sq-eq-central/reroute-d5373a</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-k-mul-factorial-eq-factorial-succ-sub-one.lean"><code>sum-range-k-mul-factorial-eq-factorial-succ-sub-one</code></a></td><td><code>queued/prove/sum-range-k-mul-factorial-eq-factorial-succ-sub-one/reroute-e51e53</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-k-mul-factorial-succ.lean"><code>sum-range-k-mul-factorial-succ</code></a></td><td><code>queued/prove/sum-range-k-mul-factorial-succ/reroute-4e2c61</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-k-plus-one-mul-choose.lean"><code>sum-range-k-plus-one-mul-choose</code></a></td><td><code>queued/prove/sum-range-k-plus-one-mul-choose/reroute-1fc1b6</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-k-sq-mul-choose-eq.lean"><code>sum-range-k-sq-mul-choose-eq</code></a></td><td><code>queued/prove/sum-range-k-sq-mul-choose-eq/reroute-e59107</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-k-sub-one-div-factorial-telescope.lean"><code>sum-range-k-sub-one-div-factorial-telescope</code></a></td><td><code>queued/prove/sum-range-k-sub-one-div-factorial-telescope/reroute-67d399</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-lower-triangle-choose-eq-two-pow.lean"><code>sum-range-lower-triangle-choose-eq-two-pow</code></a></td><td><code>queued/prove/sum-range-lower-triangle-choose-eq-two-pow/reroute-62c993</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-lucas-shift-nat.lean"><code>sum-range-lucas-shift-nat</code></a></td><td><code>queued/prove/sum-range-lucas-shift-nat/reroute-0935f2</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-multichoose-two-eq-choose-succ-two.lean"><code>sum-range-multichoose-two-eq-choose-succ-two</code></a></td><td><code>queued/prove/sum-range-multichoose-two-eq-choose-succ-two/reroute-583db1</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-odd-cubes.lean"><code>sum-range-odd-cubes</code></a></td><td><code>queued/prove/sum-range-odd-cubes/reroute-2ab590</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-odd-div-two-pow.lean"><code>sum-range-odd-div-two-pow</code></a></td><td><code>queued/prove/sum-range-odd-div-two-pow/reroute-9bb98e</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-odd-index-choose-eq-two-pow.lean"><code>sum-range-odd-index-choose-eq-two-pow</code></a></td><td><code>queued/prove/sum-range-odd-index-choose-eq-two-pow/reroute-25c95c</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-odd-num-sq-succ-sq-telescope.lean"><code>sum-range-odd-num-sq-succ-sq-telescope</code></a></td><td><code>queued/prove/sum-range-odd-num-sq-succ-sq-telescope/reroute-5d1bae</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-pascal-diagonal-eq-choose.lean"><code>sum-range-pascal-diagonal-eq-choose</code></a></td><td><code>queued/prove/sum-range-pascal-diagonal-eq-choose/reroute-517469</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-recip-choose-two-eq-two-n-div-succ.lean"><code>sum-range-recip-choose-two-eq-two-n-div-succ</code></a></td><td><code>queued/prove/sum-range-recip-choose-two-eq-two-n-div-succ/reroute-b85e97</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-recip-consecutive.lean"><code>sum-range-recip-consecutive</code></a></td><td><code>queued/prove/sum-range-recip-consecutive/reroute-869b71</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-recip-five-step-product.lean"><code>sum-range-recip-five-step-product</code></a></td><td><code>queued/prove/sum-range-recip-five-step-product/reroute-8eec14</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-recip-five-step-residue-one.lean"><code>sum-range-recip-five-step-residue-one</code></a></td><td><code>queued/prove/sum-range-recip-five-step-residue-one/reroute-84ee15</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-recip-four-consec-product.lean"><code>sum-range-recip-four-consec-product</code></a></td><td><code>queued/prove/sum-range-recip-four-consec-product/reroute-1f43d0</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-recip-four-step-product.lean"><code>sum-range-recip-four-step-product</code></a></td><td><code>queued/prove/sum-range-recip-four-step-product/reroute-72c4e0</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-recip-four-step-residue-one.lean"><code>sum-range-recip-four-step-residue-one</code></a></td><td><code>queued/prove/sum-range-recip-four-step-residue-one/reroute-f8b0b2</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-recip-odd-consecutive.lean"><code>sum-range-recip-odd-consecutive</code></a></td><td><code>queued/prove/sum-range-recip-odd-consecutive/reroute-4c1e02</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-recip-odd-pair-consecutive.lean"><code>sum-range-recip-odd-pair-consecutive</code></a></td><td><code>queued/prove/sum-range-recip-odd-pair-consecutive/reroute-7c29da</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-recip-odd-pair-step-two-eq-n-div.lean"><code>sum-range-recip-odd-pair-step-two-eq-n-div</code></a></td><td><code>queued/prove/sum-range-recip-odd-pair-step-two-eq-n-div/reroute-c8160d</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-recip-odd-product.lean"><code>sum-range-recip-odd-product</code></a></td><td><code>queued/prove/sum-range-recip-odd-product/reroute-b27e29</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-recip-shift-two-shift-five-telescope.lean"><code>sum-range-recip-shift-two-shift-five-telescope</code></a></td><td><code>queued/prove/sum-range-recip-shift-two-shift-five-telescope/reroute-6eef93</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-recip-three-consec-odd-telescope.lean"><code>sum-range-recip-three-consec-odd-telescope</code></a></td><td><code>queued/prove/sum-range-recip-three-consec-odd-telescope/reroute-af8d30</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-recip-three-consec-shifted.lean"><code>sum-range-recip-three-consec-shifted</code></a></td><td><code>queued/prove/sum-range-recip-three-consec-shifted/reroute-80463b</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-recip-three-consecutive.lean"><code>sum-range-recip-three-consecutive</code></a></td><td><code>queued/prove/sum-range-recip-three-consecutive/reroute-098a08</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-recip-three-step-residue-one.lean"><code>sum-range-recip-three-step-residue-one</code></a></td><td><code>queued/prove/sum-range-recip-three-step-residue-one/reroute-a1fb71</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-recip-triple-consecutive.lean"><code>sum-range-recip-triple-consecutive</code></a></td><td><code>queued/prove/sum-range-recip-triple-consecutive/reroute-8bba8b</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-shifted-choose-eq-two-pow-sub-one.lean"><code>sum-range-shifted-choose-eq-two-pow-sub-one</code></a></td><td><code>queued/prove/sum-range-shifted-choose-eq-two-pow-sub-one/reroute-4a19ba</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-stirling-first-row-eq-factorial.lean"><code>sum-range-stirling-first-row-eq-factorial</code></a></td><td><code>queued/prove/sum-range-stirling-first-row-eq-factorial/reroute-4294a4</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-succ-div-factorial-add-two-telescope.lean"><code>sum-range-succ-div-factorial-add-two-telescope</code></a></td><td><code>queued/prove/sum-range-succ-div-factorial-add-two-telescope/reroute-5f78c0</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-succ-mul-choose-sq-eq.lean"><code>sum-range-succ-mul-choose-sq-eq</code></a></td><td><code>queued/prove/sum-range-succ-mul-choose-sq-eq/reroute-d1e065</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-succ-mul-factorial-eq.lean"><code>sum-range-succ-mul-factorial-eq</code></a></td><td><code>queued/prove/sum-range-succ-mul-factorial-eq/reroute-7f9380</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-succ-mul-factorial-succ.lean"><code>sum-range-succ-mul-factorial-succ</code></a></td><td><code>queued/prove/sum-range-succ-mul-factorial-succ/reroute-83f41f</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-three-mul-add-one.lean"><code>sum-range-three-mul-add-one</code></a></td><td><code>queued/prove/sum-range-three-mul-add-one/reroute-e49458</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-triangular-eq-tetrahedral.lean"><code>sum-range-triangular-eq-tetrahedral</code></a></td><td><code>queued/prove/sum-range-triangular-eq-tetrahedral/reroute-4d93d6</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-two-k-sub-n-mul-choose-sq-eq-zero.lean"><code>sum-range-two-k-sub-n-mul-choose-sq-eq-zero</code></a></td><td><code>queued/prove/sum-range-two-k-sub-n-mul-choose-sq-eq-zero/reroute-0988ab</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-two-k-succ-mul-choose-eq.lean"><code>sum-range-two-k-succ-mul-choose-eq</code></a></td><td><code>queued/prove/sum-range-two-k-succ-mul-choose-eq/reroute-b45a20</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-vandermonde-self-eq-central-choose.lean"><code>sum-range-vandermonde-self-eq-central-choose</code></a></td><td><code>queued/prove/sum-range-vandermonde-self-eq-central-choose/reroute-bfb2c0</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-window-five-fib-eq-fib-diff-nat.lean"><code>sum-range-window-five-fib-eq-fib-diff-nat</code></a></td><td><code>queued/prove/sum-range-window-five-fib-eq-fib-diff-nat/reroute-fd6ae4</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-window-four-fib-eq-fib-diff-nat.lean"><code>sum-range-window-four-fib-eq-fib-diff-nat</code></a></td><td><code>queued/prove/sum-range-window-four-fib-eq-fib-diff-nat/reroute-7e09fb</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-recip-times-sum-ge-nine.lean"><code>sum-recip-times-sum-ge-nine</code></a></td><td><code>queued/prove/sum-recip-times-sum-ge-nine/reroute-68ea60</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-rhombic-dodecahedral-eq-fourth-power.lean"><code>sum-rhombic-dodecahedral-eq-fourth-power</code></a></td><td><code>queued/prove/sum-rhombic-dodecahedral-eq-fourth-power/reroute-194417</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-square-pyramidal-eq-hyper.lean"><code>sum-square-pyramidal-eq-hyper</code></a></td><td><code>queued/prove/sum-square-pyramidal-eq-hyper/reroute-0f07b6</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-star-numbers-closed-form.lean"><code>sum-star-numbers-closed-form</code></a></td><td><code>queued/prove/sum-star-numbers-closed-form/reroute-0d81a2</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-tetrahedral-eq-pentatope.lean"><code>sum-tetrahedral-eq-pentatope</code></a></td><td><code>queued/prove/sum-tetrahedral-eq-pentatope/reroute-e37d18</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-two-cubes-zmod-nine-ne-four.lean"><code>sum-two-cubes-zmod-nine-ne-four</code></a></td><td><code>queued/prove/sum-two-cubes-zmod-nine-ne-four/reroute-5e1be6</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-two-fourth-powers-zmod-sixteen-mem.lean"><code>sum-two-fourth-powers-zmod-sixteen-mem</code></a></td><td><code>queued/prove/sum-two-fourth-powers-zmod-sixteen-mem/reroute-21daed</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-two-k-plus-one-div-sq-succ-sq-telescope.lean"><code>sum-two-k-plus-one-div-sq-succ-sq-telescope</code></a></td><td><code>queued/prove/sum-two-k-plus-one-div-sq-succ-sq-telescope/reroute-9f064f</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-vandermonde-diagonal-eq-choose.lean"><code>sum-vandermonde-diagonal-eq-choose</code></a></td><td><code>queued/prove/sum-vandermonde-diagonal-eq-choose/reroute-ec7711</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/tangent-line-cube-trick.lean"><code>tangent-line-cube-trick</code></a></td><td><code>queued/prove/tangent-line-cube-trick/reroute-284214</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/three-cubes-minus-three-prod-dvd-sum.lean"><code>three-cubes-minus-three-prod-dvd-sum</code></a></td><td><code>queued/prove/three-cubes-minus-three-prod-dvd-sum/reroute-9ff5f9</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/three-mul-fib-eq-fib-add-two-add-fib-sub-two.lean"><code>three-mul-fib-eq-fib-add-two-add-fib-sub-two</code></a></td><td><code>queued/prove/three-mul-fib-eq-fib-add-two-add-fib-sub-two/reroute-5b96f6</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/two-cubes-zmod-nine-ne-three-four-five-six.lean"><code>two-cubes-zmod-nine-ne-three-four-five-six</code></a></td><td><code>queued/prove/two-cubes-zmod-nine-ne-three-four-five-six/reroute-5de729</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/two-fib-add-int.lean"><code>two-fib-add-int</code></a></td><td><code>queued/prove/two-fib-add-int/reroute-697d64</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/two-fourth-powers-zmod-five-ne-three-four.lean"><code>two-fourth-powers-zmod-five-ne-three-four</code></a></td><td><code>queued/prove/two-fourth-powers-zmod-five-ne-three-four/reroute-ab35d4</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/two-mul-sum-icc-three-k-sub-two-eq-pentagonal.lean"><code>two-mul-sum-icc-three-k-sub-two-eq-pentagonal</code></a></td><td><code>queued/prove/two-mul-sum-icc-three-k-sub-two-eq-pentagonal/reroute-2660e5</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/two-mul-sum-range-fib-triple-eq-fib-pred.lean"><code>two-mul-sum-range-fib-triple-eq-fib-pred</code></a></td><td><code>queued/prove/two-mul-sum-range-fib-triple-eq-fib-pred/reroute-8bfddb</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/two-squares-zmod-sixteen-ne-three-seven-eleven.lean"><code>two-squares-zmod-sixteen-ne-three-seven-eleven</code></a></td><td><code>queued/prove/two-squares-zmod-sixteen-ne-three-seven-eleven/reroute-27fff4</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr></tbody></table></div></div></details>
<details class="qd mb-2 rounded-xl border border-slate-200 bg-white"><summary class="flex items-center justify-between gap-3 cursor-pointer select-none px-4 py-3 rounded-xl hover:bg-slate-50"><span class="flex items-center gap-2 min-w-0"><span class="caret text-slate-400 transition-transform" aria-hidden="true">▸</span><span class="font-semibold text-slate-800 truncate">@ohdearquant</span></span><span class="text-xs font-medium text-slate-500 whitespace-nowrap flex-shrink-0">98 queued</span></summary><div class="px-4 pb-4"><p class="text-xs text-slate-500 mb-2">44 waiting · 54 in-flight · 95 goals · <a class="lnk" href="https://github.com/ohdearquant">@ohdearquant on GitHub ↗</a></p><div class="overflow-x-auto rounded-xl border border-slate-100"><table class="q"><thead><tr><th>Goal</th><th>Branch</th><th>Model</th><th>Submitted</th><th>State</th></tr></thead><tbody><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/dvd-210-pow-fifteen-sub-pow-three.lean"><code>dvd-210-pow-fifteen-sub-pow-three</code></a></td><td><code>queued/prove/dvd-210-pow-fifteen-sub-pow-three/mac-158f-0d2f8e</code></td><td>template-zmod-crt</td><td>2026-06-16</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/dvd-210-pow-fifteen-sub-pow-three.lean"><code>dvd-210-pow-fifteen-sub-pow-three</code></a></td><td><code>queued/prove/dvd-210-pow-fifteen-sub-pow-three/mac-158f-5d67b6</code></td><td>template-zmod-crt</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gfac-d0-c1.lean"><code>gfac-d0-c1</code></a></td><td><code>queued/prove/gfac-d0-c1/mac-158f-3cf649</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gfac-d0-c3.lean"><code>gfac-d0-c3</code></a></td><td><code>queued/prove/gfac-d0-c3/mac-158f-0364f5</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gfac-d0-c4.lean"><code>gfac-d0-c4</code></a></td><td><code>queued/prove/gfac-d0-c4/mac-158f-df89e4</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gfac-d0-c5.lean"><code>gfac-d0-c5</code></a></td><td><code>queued/prove/gfac-d0-c5/mac-158f-0eb515</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gfac-d0-c6.lean"><code>gfac-d0-c6</code></a></td><td><code>queued/prove/gfac-d0-c6/mac-158f-9e0fdb</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gfac-d1-c1.lean"><code>gfac-d1-c1</code></a></td><td><code>queued/prove/gfac-d1-c1/mac-158f-7a4604</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gfac-d1-c2.lean"><code>gfac-d1-c2</code></a></td><td><code>queued/prove/gfac-d1-c2/mac-158f-2ee8ec</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gfac-d1-c4.lean"><code>gfac-d1-c4</code></a></td><td><code>queued/prove/gfac-d1-c4/mac-158f-5f8b15</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gfac-d1-c5.lean"><code>gfac-d1-c5</code></a></td><td><code>queued/prove/gfac-d1-c5/mac-158f-c813dd</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gfac-d1-c6.lean"><code>gfac-d1-c6</code></a></td><td><code>queued/prove/gfac-d1-c6/mac-158f-a16ece</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gfac-d2-c0.lean"><code>gfac-d2-c0</code></a></td><td><code>queued/prove/gfac-d2-c0/mac-158f-13cd8e</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gfac-d2-c2.lean"><code>gfac-d2-c2</code></a></td><td><code>queued/prove/gfac-d2-c2/mac-158f-54c929</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gfac-d2-c3.lean"><code>gfac-d2-c3</code></a></td><td><code>queued/prove/gfac-d2-c3/mac-158f-3de66f</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gfac-d2-c5.lean"><code>gfac-d2-c5</code></a></td><td><code>queued/prove/gfac-d2-c5/mac-158f-60741a</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gfac-d2-c6.lean"><code>gfac-d2-c6</code></a></td><td><code>queued/prove/gfac-d2-c6/mac-158f-849a21</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gfac-d3-c0.lean"><code>gfac-d3-c0</code></a></td><td><code>queued/prove/gfac-d3-c0/mac-158f-c87c29</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gfac-d3-c1.lean"><code>gfac-d3-c1</code></a></td><td><code>queued/prove/gfac-d3-c1/mac-158f-5605ba</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gfac-d3-c2.lean"><code>gfac-d3-c2</code></a></td><td><code>queued/prove/gfac-d3-c2/mac-158f-ce6295</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gfac-d3-c3.lean"><code>gfac-d3-c3</code></a></td><td><code>queued/prove/gfac-d3-c3/mac-158f-04dfa8</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gfac-d3-c4.lean"><code>gfac-d3-c4</code></a></td><td><code>queued/prove/gfac-d3-c4/mac-158f-ad4355</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/ggeom-pred-pow-eight-sub-one.lean"><code>ggeom-pred-pow-eight-sub-one</code></a></td><td><code>queued/prove/ggeom-pred-pow-eight-sub-one/mac-158f-9e93c6</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/ggeom-pred-pow-eleven-sub-one.lean"><code>ggeom-pred-pow-eleven-sub-one</code></a></td><td><code>queued/prove/ggeom-pred-pow-eleven-sub-one/mac-158f-7ccb00</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/ggeom-pred-pow-five-sub-one.lean"><code>ggeom-pred-pow-five-sub-one</code></a></td><td><code>queued/prove/ggeom-pred-pow-five-sub-one/mac-158f-e312ec</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/ggeom-pred-pow-four-sub-one.lean"><code>ggeom-pred-pow-four-sub-one</code></a></td><td><code>queued/prove/ggeom-pred-pow-four-sub-one/mac-158f-80ba93</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/ggeom-pred-pow-nine-sub-one.lean"><code>ggeom-pred-pow-nine-sub-one</code></a></td><td><code>queued/prove/ggeom-pred-pow-nine-sub-one/mac-158f-b7d212</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/ggeom-pred-pow-seven-sub-one.lean"><code>ggeom-pred-pow-seven-sub-one</code></a></td><td><code>queued/prove/ggeom-pred-pow-seven-sub-one/mac-158f-c26f06</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/ggeom-pred-pow-six-sub-one.lean"><code>ggeom-pred-pow-six-sub-one</code></a></td><td><code>queued/prove/ggeom-pred-pow-six-sub-one/mac-158f-d89980</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/ggeom-pred-pow-ten-sub-one.lean"><code>ggeom-pred-pow-ten-sub-one</code></a></td><td><code>queued/prove/ggeom-pred-pow-ten-sub-one/mac-158f-6343ed</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/ggeom-pred-pow-three-sub-one.lean"><code>ggeom-pred-pow-three-sub-one</code></a></td><td><code>queued/prove/ggeom-pred-pow-three-sub-one/mac-158f-8812d8</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/ggeom-pred-pow-twelve-sub-one.lean"><code>ggeom-pred-pow-twelve-sub-one</code></a></td><td><code>queued/prove/ggeom-pred-pow-twelve-sub-one/mac-158f-260563</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/ggeom-pred-pow-two-sub-one.lean"><code>ggeom-pred-pow-two-sub-one</code></a></td><td><code>queued/prove/ggeom-pred-pow-two-sub-one/mac-158f-2e384a</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-five-add-pow-four.lean"><code>gself-pow-five-add-pow-four</code></a></td><td><code>queued/prove/gself-pow-five-add-pow-four/mac-158f-c5d081</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-five-add-pow-one.lean"><code>gself-pow-five-add-pow-one</code></a></td><td><code>queued/prove/gself-pow-five-add-pow-one/mac-158f-3281eb</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-five-add-pow-three.lean"><code>gself-pow-five-add-pow-three</code></a></td><td><code>queued/prove/gself-pow-five-add-pow-three/mac-158f-52a6e1</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-five-add-pow-two.lean"><code>gself-pow-five-add-pow-two</code></a></td><td><code>queued/prove/gself-pow-five-add-pow-two/mac-158f-195a3f</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-four-add-pow-one.lean"><code>gself-pow-four-add-pow-one</code></a></td><td><code>queued/prove/gself-pow-four-add-pow-one/mac-158f-51bca6</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-four-add-pow-three.lean"><code>gself-pow-four-add-pow-three</code></a></td><td><code>queued/prove/gself-pow-four-add-pow-three/mac-158f-f32237</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-four-add-pow-two.lean"><code>gself-pow-four-add-pow-two</code></a></td><td><code>queued/prove/gself-pow-four-add-pow-two/mac-158f-ed0e06</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-six-add-pow-five.lean"><code>gself-pow-six-add-pow-five</code></a></td><td><code>queued/prove/gself-pow-six-add-pow-five/mac-158f-044850</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-six-add-pow-four.lean"><code>gself-pow-six-add-pow-four</code></a></td><td><code>queued/prove/gself-pow-six-add-pow-four/mac-158f-67365f</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-six-add-pow-one.lean"><code>gself-pow-six-add-pow-one</code></a></td><td><code>queued/prove/gself-pow-six-add-pow-one/mac-158f-02253a</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-six-add-pow-three.lean"><code>gself-pow-six-add-pow-three</code></a></td><td><code>queued/prove/gself-pow-six-add-pow-three/mac-158f-ec5958</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-six-add-pow-two.lean"><code>gself-pow-six-add-pow-two</code></a></td><td><code>queued/prove/gself-pow-six-add-pow-two/mac-158f-1fa270</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-three-add-pow-one.lean"><code>gself-pow-three-add-pow-one</code></a></td><td><code>queued/prove/gself-pow-three-add-pow-one/mac-158f-ebfa90</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-three-add-pow-two.lean"><code>gself-pow-three-add-pow-two</code></a></td><td><code>queued/prove/gself-pow-three-add-pow-two/mac-158f-705653</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-three-pow-five-add-pow-four.lean"><code>gself-pow-three-pow-five-add-pow-four</code></a></td><td><code>queued/prove/gself-pow-three-pow-five-add-pow-four/mac-158f-8ae5d6</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-three-pow-five-add-pow-three.lean"><code>gself-pow-three-pow-five-add-pow-three</code></a></td><td><code>queued/prove/gself-pow-three-pow-five-add-pow-three/mac-158f-5efb4e</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-three-pow-four-add-pow-three.lean"><code>gself-pow-three-pow-four-add-pow-three</code></a></td><td><code>queued/prove/gself-pow-three-pow-four-add-pow-three/mac-158f-a0a4e8</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-three-pow-six-add-pow-five.lean"><code>gself-pow-three-pow-six-add-pow-five</code></a></td><td><code>queued/prove/gself-pow-three-pow-six-add-pow-five/mac-158f-1120ed</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-three-pow-six-add-pow-four.lean"><code>gself-pow-three-pow-six-add-pow-four</code></a></td><td><code>queued/prove/gself-pow-three-pow-six-add-pow-four/mac-158f-ee450e</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-three-pow-six-add-pow-three.lean"><code>gself-pow-three-pow-six-add-pow-three</code></a></td><td><code>queued/prove/gself-pow-three-pow-six-add-pow-three/mac-158f-080946</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-two-add-pow-one.lean"><code>gself-pow-two-add-pow-one</code></a></td><td><code>queued/prove/gself-pow-two-add-pow-one/mac-158f-aaf61a</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-two-pow-five-add-pow-four.lean"><code>gself-pow-two-pow-five-add-pow-four</code></a></td><td><code>queued/prove/gself-pow-two-pow-five-add-pow-four/mac-158f-abb172</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-two-pow-five-add-pow-three.lean"><code>gself-pow-two-pow-five-add-pow-three</code></a></td><td><code>queued/prove/gself-pow-two-pow-five-add-pow-three/mac-158f-62dca1</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-two-pow-five-add-pow-two.lean"><code>gself-pow-two-pow-five-add-pow-two</code></a></td><td><code>queued/prove/gself-pow-two-pow-five-add-pow-two/mac-158f-6494c5</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-two-pow-four-add-pow-three.lean"><code>gself-pow-two-pow-four-add-pow-three</code></a></td><td><code>queued/prove/gself-pow-two-pow-four-add-pow-three/mac-158f-2fd633</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-two-pow-four-add-pow-two.lean"><code>gself-pow-two-pow-four-add-pow-two</code></a></td><td><code>queued/prove/gself-pow-two-pow-four-add-pow-two/mac-158f-a57c26</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-two-pow-six-add-pow-five.lean"><code>gself-pow-two-pow-six-add-pow-five</code></a></td><td><code>queued/prove/gself-pow-two-pow-six-add-pow-five/mac-158f-bd87e8</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-two-pow-six-add-pow-four.lean"><code>gself-pow-two-pow-six-add-pow-four</code></a></td><td><code>queued/prove/gself-pow-two-pow-six-add-pow-four/mac-158f-969f34</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-two-pow-six-add-pow-three.lean"><code>gself-pow-two-pow-six-add-pow-three</code></a></td><td><code>queued/prove/gself-pow-two-pow-six-add-pow-three/mac-158f-91a1b2</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-two-pow-six-add-pow-two.lean"><code>gself-pow-two-pow-six-add-pow-two</code></a></td><td><code>queued/prove/gself-pow-two-pow-six-add-pow-two/mac-158f-bce2cc</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gself-pow-two-pow-three-add-pow-two.lean"><code>gself-pow-two-pow-three-add-pow-two</code></a></td><td><code>queued/prove/gself-pow-two-pow-three-add-pow-two/mac-158f-4a2876</code></td><td>template-ring-cofactor</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gzmod-12-pow-four-sub-pow-two.lean"><code>gzmod-12-pow-four-sub-pow-two</code></a></td><td><code>queued/prove/gzmod-12-pow-four-sub-pow-two/mac-158f-70a1ca</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gzmod-132-pow-twelve-sub-pow-two.lean"><code>gzmod-132-pow-twelve-sub-pow-two</code></a></td><td><code>queued/prove/gzmod-132-pow-twelve-sub-pow-two/mac-158f-009da6</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gzmod-24-pow-eight-sub-pow-six.lean"><code>gzmod-24-pow-eight-sub-pow-six</code></a></td><td><code>queued/prove/gzmod-24-pow-eight-sub-pow-six/mac-158f-993269</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gzmod-24-pow-eleven-sub-pow-nine.lean"><code>gzmod-24-pow-eleven-sub-pow-nine</code></a></td><td><code>queued/prove/gzmod-24-pow-eleven-sub-pow-nine/mac-158f-f613fd</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gzmod-24-pow-fourteen-sub-pow-twelve.lean"><code>gzmod-24-pow-fourteen-sub-pow-twelve</code></a></td><td><code>queued/prove/gzmod-24-pow-fourteen-sub-pow-twelve/mac-158f-82d1b1</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gzmod-24-pow-nine-sub-pow-seven.lean"><code>gzmod-24-pow-nine-sub-pow-seven</code></a></td><td><code>queued/prove/gzmod-24-pow-nine-sub-pow-seven/mac-158f-524b48</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gzmod-24-pow-ten-sub-pow-eight.lean"><code>gzmod-24-pow-ten-sub-pow-eight</code></a></td><td><code>queued/prove/gzmod-24-pow-ten-sub-pow-eight/mac-158f-d00eed</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gzmod-24-pow-thirteen-sub-pow-eleven.lean"><code>gzmod-24-pow-thirteen-sub-pow-eleven</code></a></td><td><code>queued/prove/gzmod-24-pow-thirteen-sub-pow-eleven/mac-158f-034c35</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gzmod-24-pow-twelve-sub-pow-ten.lean"><code>gzmod-24-pow-twelve-sub-pow-ten</code></a></td><td><code>queued/prove/gzmod-24-pow-twelve-sub-pow-ten/mac-158f-963bdd</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gzmod-240-pow-eleven-sub-pow-seven.lean"><code>gzmod-240-pow-eleven-sub-pow-seven</code></a></td><td><code>queued/prove/gzmod-240-pow-eleven-sub-pow-seven/mac-158f-8f0cef</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gzmod-240-pow-fourteen-sub-pow-ten.lean"><code>gzmod-240-pow-fourteen-sub-pow-ten</code></a></td><td><code>queued/prove/gzmod-240-pow-fourteen-sub-pow-ten/mac-158f-bf990d</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gzmod-240-pow-ten-sub-pow-six.lean"><code>gzmod-240-pow-ten-sub-pow-six</code></a></td><td><code>queued/prove/gzmod-240-pow-ten-sub-pow-six/mac-158f-8ff4ea</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gzmod-240-pow-thirteen-sub-pow-nine.lean"><code>gzmod-240-pow-thirteen-sub-pow-nine</code></a></td><td><code>queued/prove/gzmod-240-pow-thirteen-sub-pow-nine/mac-158f-1a9baa</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gzmod-240-pow-twelve-sub-pow-eight.lean"><code>gzmod-240-pow-twelve-sub-pow-eight</code></a></td><td><code>queued/prove/gzmod-240-pow-twelve-sub-pow-eight/mac-158f-20b50f</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gzmod-240-pow-twelve-sub-pow-four.lean"><code>gzmod-240-pow-twelve-sub-pow-four</code></a></td><td><code>queued/prove/gzmod-240-pow-twelve-sub-pow-four/mac-158f-7cb98f</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gzmod-264-pow-fourteen-sub-pow-four.lean"><code>gzmod-264-pow-fourteen-sub-pow-four</code></a></td><td><code>queued/prove/gzmod-264-pow-fourteen-sub-pow-four/mac-158f-f90167</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gzmod-30-pow-five-sub-pow-one.lean"><code>gzmod-30-pow-five-sub-pow-one</code></a></td><td><code>queued/prove/gzmod-30-pow-five-sub-pow-one/mac-158f-3f571c</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/gzmod-42-pow-seven-sub-pow-one.lean"><code>gzmod-42-pow-seven-sub-pow-one</code></a></td><td><code>queued/prove/gzmod-42-pow-seven-sub-pow-one/mac-158f-04baea</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/n4-plus-one-factor-over-sqrt-shift.lean"><code>n4-plus-one-factor-over-sqrt-shift</code></a></td><td><code>queued/prove/n4-plus-one-factor-over-sqrt-shift/reroute-3ab8a0</code></td><td>swarm-sonnet</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/pred-dvd-square-sub-one.lean"><code>pred-dvd-square-sub-one</code></a></td><td><code>queued/prove/pred-dvd-square-sub-one/mac-158f-f1c8b6</code></td><td>template-dvd-cofactor</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/quartic-x4-plus-x2-plus-one-dvd-by-minus-factor.lean"><code>quartic-x4-plus-x2-plus-one-dvd-by-minus-factor</code></a></td><td><code>queued/prove/quartic-x4-plus-x2-plus-one-dvd-by-minus-factor/reroute-19dc76</code></td><td>swarm-sonnet</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sextic-x6-plus-x3-plus-one-composite-shift.lean"><code>sextic-x6-plus-x3-plus-one-composite-shift</code></a></td><td><code>queued/prove/sextic-x6-plus-x3-plus-one-composite-shift/reroute-e031e2</code></td><td>swarm-sonnet</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-sixth-ge-mixed-fourth-second.lean"><code>sum-sixth-ge-mixed-fourth-second</code></a></td><td><code>queued/prove/sum-sixth-ge-mixed-fourth-second/mac-158f-4aa2f5</code></td><td>template-nlinarith</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-sixth-ge-mixed-fourth-second.lean"><code>sum-sixth-ge-mixed-fourth-second</code></a></td><td><code>queued/prove/sum-sixth-ge-mixed-fourth-second/mac-158f-76571f</code></td><td>template-nlinarith</td><td>2026-06-16</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-squares-eq-square-pyramidal.lean"><code>sum-squares-eq-square-pyramidal</code></a></td><td><code>queued/prove/sum-squares-eq-square-pyramidal/mac-158f-3f4323</code></td><td>template-sum-induction</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-squares-eq-square-pyramidal.lean"><code>sum-squares-eq-square-pyramidal</code></a></td><td><code>queued/prove/sum-squares-eq-square-pyramidal/mac-158f-b37eda</code></td><td>template-sum-induction</td><td>2026-06-16</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-three-squares-zmod-eight-ne-seven.lean"><code>sum-three-squares-zmod-eight-ne-seven</code></a></td><td><code>queued/prove/sum-three-squares-zmod-eight-ne-seven/reroute-1de2ac</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-three-squares-zmod-sixteen-ne-fifteen.lean"><code>sum-three-squares-zmod-sixteen-ne-fifteen</code></a></td><td><code>queued/prove/sum-three-squares-zmod-sixteen-ne-fifteen/reroute-1e338d</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-two-cubes-zmod-seven-mem.lean"><code>sum-two-cubes-zmod-seven-mem</code></a></td><td><code>queued/prove/sum-two-cubes-zmod-seven-mem/reroute-5b2292</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-two-k-add-one-mul-two-pow.lean"><code>sum-two-k-add-one-mul-two-pow</code></a></td><td><code>queued/prove/sum-two-k-add-one-mul-two-pow/mac-158f-404f43</code></td><td>template-sum-closedform</td><td>2026-06-16</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-two-k-sub-one-mul-two-pow.lean"><code>sum-two-k-sub-one-mul-two-pow</code></a></td><td><code>queued/prove/sum-two-k-sub-one-mul-two-pow/mac-158f-e78d55</code></td><td>template-sum-closedform</td><td>2026-06-16</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-two-squares-zmod-eight-ne-six.lean"><code>sum-two-squares-zmod-eight-ne-six</code></a></td><td><code>queued/prove/sum-two-squares-zmod-eight-ne-six/reroute-edeadd</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-two-squares-zmod-four-ne-three.lean"><code>sum-two-squares-zmod-four-ne-three</code></a></td><td><code>queued/prove/sum-two-squares-zmod-four-ne-three/reroute-fb3b8c</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/three-fourth-powers-zmod-sixteen-mem.lean"><code>three-fourth-powers-zmod-sixteen-mem</code></a></td><td><code>queued/prove/three-fourth-powers-zmod-sixteen-mem/reroute-387a25</code></td><td>template-zmod-decide</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr></tbody></table></div></div></details>
<details class="qd mb-2 rounded-xl border border-slate-200 bg-white"><summary class="flex items-center justify-between gap-3 cursor-pointer select-none px-4 py-3 rounded-xl hover:bg-slate-50"><span class="flex items-center gap-2 min-w-0"><span class="caret text-slate-400 transition-transform" aria-hidden="true">▸</span><span class="font-semibold text-slate-800 truncate">@adam91holt</span></span><span class="text-xs font-medium text-slate-500 whitespace-nowrap flex-shrink-0">11 queued</span></summary><div class="px-4 pb-4"><p class="text-xs text-slate-500 mb-2">8 waiting · 3 in-flight · 11 goals · <a class="lnk" href="https://github.com/adam91holt">@adam91holt on GitHub ↗</a></p><div class="overflow-x-auto rounded-xl border border-slate-100"><table class="q"><thead><tr><th>Goal</th><th>Branch</th><th>Model</th><th>Submitted</th><th>State</th></tr></thead><tbody><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/alt-sum-range-choose-sq-eq-zero-odd.lean"><code>alt-sum-range-choose-sq-eq-zero-odd</code></a></td><td><code>queued/prove/alt-sum-range-choose-sq-eq-zero-odd/thebeast-ace7-067017</code></td><td>—</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/alternating-sum-shifted-choose-eq-one.lean"><code>alternating-sum-shifted-choose-eq-one</code></a></td><td><code>queued/prove/alternating-sum-shifted-choose-eq-one/thebeast-ace7-43bef2</code></td><td>—</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/catalan-r2-shift-nat-fib-int.lean"><code>catalan-r2-shift-nat-fib-int</code></a></td><td><code>queued/prove/catalan-r2-shift-nat-fib-int/thebeast-ace7-bc662e</code></td><td>—</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-icc-four-div-four-k-sub-one-four-k-add-three-telescope.lean"><code>sum-icc-four-div-four-k-sub-one-four-k-add-three-telescope</code></a></td><td><code>queued/prove/sum-icc-four-div-four-k-sub-one-four-k-add-three-telescope/codex-0001-f76056</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-icc-id-mul-two-pow-pred.lean"><code>sum-icc-id-mul-two-pow-pred</code></a></td><td><code>queued/prove/sum-icc-id-mul-two-pow-pred/thebeast-ace7-5aa9bd</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-icc-k-mul-three-k-sub-one-eq.lean"><code>sum-icc-k-mul-three-k-sub-one-eq</code></a></td><td><code>queued/prove/sum-icc-k-mul-three-k-sub-one-eq/thebeast-ace7-b581ef</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-icc-k-sq-add-one-mul-factorial-eq-prod.lean"><code>sum-icc-k-sq-add-one-mul-factorial-eq-prod</code></a></td><td><code>queued/prove/sum-icc-k-sq-add-one-mul-factorial-eq-prod/codex-0001-dcd008</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-icc-k-sq-add-one-mul-factorial-eq-pronic-factorial.lean"><code>sum-icc-k-sq-add-one-mul-factorial-eq-pronic-factorial</code></a></td><td><code>queued/prove/sum-icc-k-sq-add-one-mul-factorial-eq-pronic-factorial/codex-0002-0b2996</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-icc-k-sub-one-div-factorial-eq-one-sub.lean"><code>sum-icc-k-sub-one-div-factorial-eq-one-sub</code></a></td><td><code>queued/prove/sum-icc-k-sub-one-div-factorial-eq-one-sub/thebeast-ace7-39be7e</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-icc-recip-step-four-pair-eq-n-div.lean"><code>sum-icc-recip-step-four-pair-eq-n-div</code></a></td><td><code>queued/prove/sum-icc-recip-step-four-pair-eq-n-div/codex-0005-1d9317</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-icc-three-k-sub-one-mul-two-pow-pred-closed.lean"><code>sum-icc-three-k-sub-one-mul-two-pow-pred-closed</code></a></td><td><code>queued/prove/sum-icc-three-k-sub-one-mul-two-pow-pred-closed/codex-0005-848588</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr></tbody></table></div></div></details>
<details class="qd mb-2 rounded-xl border border-slate-200 bg-white"><summary class="flex items-center justify-between gap-3 cursor-pointer select-none px-4 py-3 rounded-xl hover:bg-slate-50"><span class="flex items-center gap-2 min-w-0"><span class="caret text-slate-400 transition-transform" aria-hidden="true">▸</span><span class="font-semibold text-slate-800 truncate">Claude</span></span><span class="text-xs font-medium text-slate-500 whitespace-nowrap flex-shrink-0">8 queued</span></summary><div class="px-4 pb-4"><p class="text-xs text-slate-500 mb-2">0 waiting · 8 in-flight · 8 goals</p><div class="overflow-x-auto rounded-xl border border-slate-100"><table class="q"><thead><tr><th>Goal</th><th>Branch</th><th>Model</th><th>Submitted</th><th>State</th></tr></thead><tbody><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/pairsum-sq-le-three-sum-sq-products.lean"><code>pairsum-sq-le-three-sum-sq-products</code></a></td><td><code>queued/prove/pairsum-sq-le-three-sum-sq-products/claude-web-16e384</code></td><td>—</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/quartic-four-var-ge-four-prod.lean"><code>quartic-four-var-ge-four-prod</code></a></td><td><code>queued/prove/quartic-four-var-ge-four-prod/claude-web-2ec475</code></td><td>—</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/ravi-product-le-abc.lean"><code>ravi-product-le-abc</code></a></td><td><code>queued/prove/ravi-product-le-abc/claude-web-b2bfe6</code></td><td>—</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/realization-determines-counts.lean"><code>realization-determines-counts</code></a></td><td><code>queued/prove/realization-determines-counts/claude-web-1b4a59</code></td><td>—</td><td>2026-06-18</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-icc-k-mul-three-k-sub-one-eq.lean"><code>sum-icc-k-mul-three-k-sub-one-eq</code></a></td><td><code>queued/prove/sum-icc-k-mul-three-k-sub-one-eq/claude-web-4f013f</code></td><td>—</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-sixth-ge-cyclic-quartic-sq.lean"><code>sum-sixth-ge-cyclic-quartic-sq</code></a></td><td><code>queued/prove/sum-sixth-ge-cyclic-quartic-sq/claude-web-4bfa2c</code></td><td>—</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-sq-times-pairsum-ge-three-abc-sum.lean"><code>sum-sq-times-pairsum-ge-three-abc-sum</code></a></td><td><code>queued/prove/sum-sq-times-pairsum-ge-three-abc-sum/claude-web-ea6bb2</code></td><td>—</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/three-quartic-ge-sum-times-cubes.lean"><code>three-quartic-ge-sum-times-cubes</code></a></td><td><code>queued/prove/three-quartic-ge-sum-times-cubes/claude-web-2f5a0a</code></td><td>—</td><td>2026-06-17</td><td><span class="badge in-flight">in-flight</span></td></tr></tbody></table></div></div></details>
<details class="qd mb-2 rounded-xl border border-slate-200 bg-white"><summary class="flex items-center justify-between gap-3 cursor-pointer select-none px-4 py-3 rounded-xl hover:bg-slate-50"><span class="flex items-center gap-2 min-w-0"><span class="caret text-slate-400 transition-transform" aria-hidden="true">▸</span><span class="font-semibold text-slate-800 truncate">@cgbarlow</span></span><span class="text-xs font-medium text-slate-500 whitespace-nowrap flex-shrink-0">1 queued</span></summary><div class="px-4 pb-4"><p class="text-xs text-slate-500 mb-2">1 waiting · 0 in-flight · 1 goals · <a class="lnk" href="https://github.com/cgbarlow">@cgbarlow on GitHub ↗</a></p><div class="overflow-x-auto rounded-xl border border-slate-100"><table class="q"><thead><tr><th>Goal</th><th>Branch</th><th>Model</th><th>Submitted</th><th>State</th></tr></thead><tbody><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-id-mul-triangular-closed-form.lean"><code>sum-id-mul-triangular-closed-form</code></a></td><td><code>queued/prove/sum-id-mul-triangular-closed-form/1367ab40f0b1-e413-6fd7de</code></td><td>opus</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr></tbody></table></div></div></details>
<details class="qd mb-2 rounded-xl border border-slate-200 bg-white"><summary class="flex items-center justify-between gap-3 cursor-pointer select-none px-4 py-3 rounded-xl hover:bg-slate-50"><span class="flex items-center gap-2 min-w-0"><span class="caret text-slate-400 transition-transform" aria-hidden="true">▸</span><span class="font-semibold text-slate-800 truncate">@perttu</span></span><span class="text-xs font-medium text-slate-500 whitespace-nowrap flex-shrink-0">1 queued</span></summary><div class="px-4 pb-4"><p class="text-xs text-slate-500 mb-2">1 waiting · 0 in-flight · 1 goals · <a class="lnk" href="https://github.com/perttu">@perttu on GitHub ↗</a></p><div class="overflow-x-auto rounded-xl border border-slate-100"><table class="q"><thead><tr><th>Goal</th><th>Branch</th><th>Model</th><th>Submitted</th><th>State</th></tr></thead><tbody><tr><td><a class="lnk" href="https://github.com/agenticsnz/unsorry/blob/main/goals/sum-range-succ-k-mul-choose-mul-two-pow-closed.lean"><code>sum-range-succ-k-mul-choose-mul-two-pow-closed</code></a></td><td><code>queued/prove/sum-range-succ-k-mul-choose-mul-two-pow-closed/claude-web-1e1e95</code></td><td>—</td><td>2026-06-17</td><td><span class="badge waiting">waiting</span></td></tr></tbody></table></div></div></details>
  </section>

</main>
<script type="application/json" id="queue-data">{"schema_version": 1, "source": "queued/prove/* refs + library/index provenance", "pr_status_known": true, "summary": {"queued_submissions": 258, "waiting": 189, "in_flight": 69, "distinct_goals": 254, "solvers": 6}, "solvers": [{"solver": "ruvnet", "github": "ruvnet", "display_name": "@ruvnet", "profile_url": "https://github.com/ruvnet", "submissions": 139, "waiting": 135, "in_flight": 4, "distinct_goals": 139, "queued": [{"goal": "dvd-thirtytwo-odd-pow-eight-sub-one", "branch": "queued/prove/dvd-thirtytwo-odd-pow-eight-sub-one/reroute-4aabc3", "sha": "6351e6bd", "model": null, "date": "2026-06-17", "state": "in-flight"}, {"goal": "fib-prod-cross-shift-nat-int", "branch": "queued/prove/fib-prod-cross-shift-nat-int/reroute-3af324", "sha": "8030943a", "model": null, "date": "2026-06-17", "state": "in-flight"}, {"goal": "five-var-qm-am", "branch": "queued/prove/five-var-qm-am/reroute-9ba575", "sha": "e40a1087", "model": null, "date": "2026-06-17", "state": "in-flight"}, {"goal": "fourth-power-mod-fortyone-mem", "branch": "queued/prove/fourth-power-mod-fortyone-mem/reroute-e6bbca", "sha": "c605e62a", "model": null, "date": "2026-06-17", "state": "in-flight"}, {"goal": "hexagonal-eq-triangular-odd-index", "branch": "queued/prove/hexagonal-eq-triangular-odd-index/reroute-35d094", "sha": "d95a7799", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "nat-sq-lt-two-pow-s2", "branch": "queued/prove/nat-sq-lt-two-pow-s2/reroute-106132", "sha": "ef5b6995", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "nesbitt-inequality-s1", "branch": "queued/prove/nesbitt-inequality-s1/reroute-59b0e7", "sha": "9ebc936c", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "nicomachus-sum-cubes-eq-sum-id-sq", "branch": "queued/prove/nicomachus-sum-cubes-eq-sum-id-sq/reroute-726c3f", "sha": "8fa71e2b", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "platonic-pairs-realizable", "branch": "queued/prove/platonic-pairs-realizable/ruvnet-671743", "sha": "d494b273", "model": null, "date": "2026-06-16", "state": "waiting"}, {"goal": "pow-five-add-pow-five-ge-quartic-mul", "branch": "queued/prove/pow-five-add-pow-five-ge-quartic-mul/reroute-a75344", "sha": "0fb8d96e", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "prime-pow-eight-mod-480", "branch": "queued/prove/prime-pow-eight-mod-480/reroute-0a6187", "sha": "d5ac0412", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "prime-pow-six-mod-504", "branch": "queued/prove/prime-pow-six-mod-504/reroute-0b0579", "sha": "6c82ead8", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "prod-icc-k-mul-add-two-div-succ-sq-telescope", "branch": "queued/prove/prod-icc-k-mul-add-two-div-succ-sq-telescope/reroute-ecd7c9", "sha": "67c6a39e", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "prod-icc-k-mul-add-two-div-succ-sq-telescope-half", "branch": "queued/prove/prod-icc-k-mul-add-two-div-succ-sq-telescope-half/reroute-538478", "sha": "b8dbcfce", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "prod-icc-k-sq-div-pred-mul-succ-telescope", "branch": "queued/prove/prod-icc-k-sq-div-pred-mul-succ-telescope/reroute-4319af", "sha": "7772fe60", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "prod-icc-one-add-recip-eq-succ", "branch": "queued/prove/prod-icc-one-add-recip-eq-succ/reroute-a3cb08", "sha": "987fed4f", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "prod-icc-one-add-recip-k-sq-sub-one-telescope", "branch": "queued/prove/prod-icc-one-add-recip-k-sq-sub-one-telescope/reroute-d9dc0b", "sha": "22eee12b", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "prod-icc-one-add-recip-pronic", "branch": "queued/prove/prod-icc-one-add-recip-pronic/reroute-f3c13f", "sha": "3087ab4b", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "prod-icc-one-sub-recip-sq-eq-frac", "branch": "queued/prove/prod-icc-one-sub-recip-sq-eq-frac/reroute-9210fb", "sha": "5195cdab", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "prod-icc-one-sub-two-div-pronic", "branch": "queued/prove/prod-icc-one-sub-two-div-pronic/reroute-36538c", "sha": "7d8bf7bc", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "prod-icc-succ-add-three-div-self-eq-binom-shift", "branch": "queued/prove/prod-icc-succ-add-three-div-self-eq-binom-shift/reroute-ffa5b7", "sha": "158ff34e", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "prod-icc-succ-sq-div-k-mul-add-two-telescope", "branch": "queued/prove/prod-icc-succ-sq-div-k-mul-add-two-telescope/reroute-234307", "sha": "128ecc66", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "prod-one-sub-inv-sq-telescope", "branch": "queued/prove/prod-one-sub-inv-sq-telescope/reroute-1c8a1a", "sha": "8852ce03", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "quartic-n4-plus-four-composite", "branch": "queued/prove/quartic-n4-plus-four-composite/reroute-450c38", "sha": "036095c9", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "quartic-n4-plus-four-not-prime", "branch": "queued/prove/quartic-n4-plus-four-not-prime/reroute-15e2ea", "sha": "a0b77ada", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "quartic-plus-four-not-prime", "branch": "queued/prove/quartic-plus-four-not-prime/reroute-38c60c", "sha": "534e75f0", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "realization-edge-relation", "branch": "queued/prove/realization-edge-relation/reroute-26bc58", "sha": "303b8e98", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sophie-germain-plus-factor-dvd", "branch": "queued/prove/sophie-germain-plus-factor-dvd/reroute-bfe3d3", "sha": "cc578f7e", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sq-mod-five-ne-two-three", "branch": "queued/prove/sq-mod-five-ne-two-three/ruvnet-6d2ee0", "sha": "c01cbe52", "model": null, "date": "2026-06-16", "state": "waiting"}, {"goal": "sq-mod-ten-ne-two-three-seven-eight", "branch": "queued/prove/sq-mod-ten-ne-two-three-seven-eight/ruvnet-4e2510", "sha": "a5ac822a", "model": null, "date": "2026-06-16", "state": "waiting"}, {"goal": "sum-centered-triangular-closed-form", "branch": "queued/prove/sum-centered-triangular-closed-form/reroute-2c545d", "sha": "64dc9f9b", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-decagonal-closed-form", "branch": "queued/prove/sum-decagonal-closed-form/reroute-bc3286", "sha": "7daff7f4", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-heptagonal-closed-form", "branch": "queued/prove/sum-heptagonal-closed-form/reroute-41b55c", "sha": "4d345f4a", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-heptagonal-numbers-closed-form", "branch": "queued/prove/sum-heptagonal-numbers-closed-form/reroute-ed3c95", "sha": "bdf6fbff", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-hexagonal-numbers-closed-form", "branch": "queued/prove/sum-hexagonal-numbers-closed-form/reroute-139d2e", "sha": "d47b7c66", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-icc-choose-hockey-stick-s1", "branch": "queued/prove/sum-icc-choose-hockey-stick-s1/reroute-89c4b3", "sha": "481d0276", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-icc-choose-hockey-stick-s2", "branch": "queued/prove/sum-icc-choose-hockey-stick-s2/reroute-7c350a", "sha": "3d251132", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-icc-choose-hockey-stick-s3", "branch": "queued/prove/sum-icc-choose-hockey-stick-s3/reroute-381274", "sha": "7c14f5cf", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-icc-eight-k-div-odd-sq-pair-telescope", "branch": "queued/prove/sum-icc-eight-k-div-odd-sq-pair-telescope/reroute-3dee5e", "sha": "0e3c85ec", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-octagonal-running-closed-form", "branch": "queued/prove/sum-octagonal-running-closed-form/reroute-bde4da", "sha": "eb58963c", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-octahedral-centered-squares", "branch": "queued/prove/sum-octahedral-centered-squares/reroute-e11e70", "sha": "916d95f2", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-odd-gnomon-squares-closed-form", "branch": "queued/prove/sum-odd-gnomon-squares-closed-form/reroute-699c8a", "sha": "7e3b1d26", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-odd-squares-faulhaber", "branch": "queued/prove/sum-odd-squares-faulhaber/reroute-a101f0", "sha": "0e23dcf7", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-one-div-four-k-plus-one-mul-four-k-plus-five", "branch": "queued/prove/sum-one-div-four-k-plus-one-mul-four-k-plus-five/reroute-b7a863", "sha": "8905461c", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-one-div-succ-mul-add-four-telescope", "branch": "queued/prove/sum-one-div-succ-mul-add-four-telescope/reroute-ae6e83", "sha": "1554e419", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-one-div-three-k-plus-one-mul-three-k-plus-four", "branch": "queued/prove/sum-one-div-three-k-plus-one-mul-three-k-plus-four/reroute-90aa6c", "sha": "ed508a87", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-pentagonal-running-eq-pyramidal", "branch": "queued/prove/sum-pentagonal-running-eq-pyramidal/reroute-d45afd", "sha": "df650fd5", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-product-consecutive-odds-closed-form", "branch": "queued/prove/sum-product-consecutive-odds-closed-form/reroute-03a278", "sha": "d6609c31", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-pronic-eq-thrice-tetrahedral", "branch": "queued/prove/sum-pronic-eq-thrice-tetrahedral/reroute-623cd4", "sha": "2e9b6d02", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-catalan-mul-catalan-eq-catalan-succ", "branch": "queued/prove/sum-range-catalan-mul-catalan-eq-catalan-succ/reroute-14f26f", "sha": "6bf07fc8", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-choose-mul-choose-three-eq", "branch": "queued/prove/sum-range-choose-mul-choose-three-eq/reroute-7cbadc", "sha": "6cae5629", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-choose-mul-k-mul-comp-eq", "branch": "queued/prove/sum-range-choose-mul-k-mul-comp-eq/reroute-df1616", "sha": "62c86d85", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-choose-mul-succ-choose-eq", "branch": "queued/prove/sum-range-choose-mul-succ-choose-eq/reroute-0f6c42", "sha": "df88716e", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-choose-mul-succ-choose-succ-eq-central-shift", "branch": "queued/prove/sum-range-choose-mul-succ-choose-succ-eq-central-shift/reroute-8de400", "sha": "4576d8b0", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-choose-sq-eq-central", "branch": "queued/prove/sum-range-choose-sq-eq-central/reroute-f017f8", "sha": "dd41265a", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-comp-mul-choose-sq-eq", "branch": "queued/prove/sum-range-comp-mul-choose-sq-eq/reroute-180583", "sha": "ffb7ec76", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-compositions-count-eq-two-pow", "branch": "queued/prove/sum-range-compositions-count-eq-two-pow/reroute-7a543e", "sha": "3e367e07", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-cube-sym-choose-sq-eq-zero", "branch": "queued/prove/sum-range-cube-sym-choose-sq-eq-zero/reroute-62fb75", "sha": "a8280a13", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-disp-mul-choose-eq-zero", "branch": "queued/prove/sum-range-disp-mul-choose-eq-zero/reroute-62afb0", "sha": "b1d8044a", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-disp-mul-choose-sq-eq-zero", "branch": "queued/prove/sum-range-disp-mul-choose-sq-eq-zero/reroute-d69cc6", "sha": "7f943d97", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-even-cols-eq-two-pow", "branch": "queued/prove/sum-range-even-cols-eq-two-pow/reroute-a9dd74", "sha": "e5b11196", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-fall-three-mul-choose", "branch": "queued/prove/sum-range-fall-three-mul-choose/reroute-ec554a", "sha": "e97fd935", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-fib-mul-two-pow-rev-eq", "branch": "queued/prove/sum-range-fib-mul-two-pow-rev-eq/reroute-8cecbd", "sha": "a9b6e0aa", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-fib-prod-shift-even-nat", "branch": "queued/prove/sum-range-fib-prod-shift-even-nat/reroute-d9a69a", "sha": "a3f816d3", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-fib-sq-eq-prod", "branch": "queued/prove/sum-range-fib-sq-eq-prod/reroute-6b6577", "sha": "d698f1b4", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-fib-sq-mul-two-eq", "branch": "queued/prove/sum-range-fib-sq-mul-two-eq/reroute-fb5657", "sha": "0836a365", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-fib-two-mul-succ-eq-fib-pred", "branch": "queued/prove/sum-range-fib-two-mul-succ-eq-fib-pred/reroute-cac5bf", "sha": "d8ea1d63", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-four-consecutive-product", "branch": "queued/prove/sum-range-four-consecutive-product/reroute-32521c", "sha": "a27bfbbd", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-four-mul-add-one", "branch": "queued/prove/sum-range-four-mul-add-one/reroute-c69ef6", "sha": "258656da", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-half-even-row-choose-eq", "branch": "queued/prove/sum-range-half-even-row-choose-eq/reroute-55ddf9", "sha": "c3d1ae8a", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-id-mul-add-two", "branch": "queued/prove/sum-range-id-mul-add-two/reroute-46caf7", "sha": "4d536980", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-id-mul-choose-eq-half", "branch": "queued/prove/sum-range-id-mul-choose-eq-half/reroute-fb4965", "sha": "a65dc098", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-k-div-succ-factorial-eq", "branch": "queued/prove/sum-range-k-div-succ-factorial-eq/reroute-01a71b", "sha": "c01caf48", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-k-div-succ-factorial-telescope", "branch": "queued/prove/sum-range-k-div-succ-factorial-telescope/reroute-d66a3a", "sha": "d75d824c", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-k-mul-choose-mul-four-pow-closed", "branch": "queued/prove/sum-range-k-mul-choose-mul-four-pow-closed/reroute-3caa93", "sha": "16c72236", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-k-mul-choose-mul-three-pow-closed", "branch": "queued/prove/sum-range-k-mul-choose-mul-three-pow-closed/reroute-a41f3f", "sha": "6a82bf45", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-k-mul-choose-mul-two-pow-eq-two-n-three-pow", "branch": "queued/prove/sum-range-k-mul-choose-mul-two-pow-eq-two-n-three-pow/reroute-18abca", "sha": "45c38465", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-k-mul-choose-sq-eq-central", "branch": "queued/prove/sum-range-k-mul-choose-sq-eq-central/reroute-d5373a", "sha": "487b5ced", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-k-mul-factorial-eq-factorial-succ-sub-one", "branch": "queued/prove/sum-range-k-mul-factorial-eq-factorial-succ-sub-one/reroute-e51e53", "sha": "f99fb80f", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-k-mul-factorial-succ", "branch": "queued/prove/sum-range-k-mul-factorial-succ/reroute-4e2c61", "sha": "1992ddbd", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-k-plus-one-mul-choose", "branch": "queued/prove/sum-range-k-plus-one-mul-choose/reroute-1fc1b6", "sha": "8efcadba", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-k-sq-mul-choose-eq", "branch": "queued/prove/sum-range-k-sq-mul-choose-eq/reroute-e59107", "sha": "87773f45", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-k-sub-one-div-factorial-telescope", "branch": "queued/prove/sum-range-k-sub-one-div-factorial-telescope/reroute-67d399", "sha": "caed7339", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-lower-triangle-choose-eq-two-pow", "branch": "queued/prove/sum-range-lower-triangle-choose-eq-two-pow/reroute-62c993", "sha": "ddd72e7e", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-lucas-shift-nat", "branch": "queued/prove/sum-range-lucas-shift-nat/reroute-0935f2", "sha": "df4eebb4", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-multichoose-two-eq-choose-succ-two", "branch": "queued/prove/sum-range-multichoose-two-eq-choose-succ-two/reroute-583db1", "sha": "7aa423eb", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-odd-cubes", "branch": "queued/prove/sum-range-odd-cubes/reroute-2ab590", "sha": "55e07941", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-odd-div-two-pow", "branch": "queued/prove/sum-range-odd-div-two-pow/reroute-9bb98e", "sha": "97ba2aa0", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-odd-index-choose-eq-two-pow", "branch": "queued/prove/sum-range-odd-index-choose-eq-two-pow/reroute-25c95c", "sha": "dc6369df", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-odd-num-sq-succ-sq-telescope", "branch": "queued/prove/sum-range-odd-num-sq-succ-sq-telescope/reroute-5d1bae", "sha": "cf63b48e", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-pascal-diagonal-eq-choose", "branch": "queued/prove/sum-range-pascal-diagonal-eq-choose/reroute-517469", "sha": "b0c39eb5", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-recip-choose-two-eq-two-n-div-succ", "branch": "queued/prove/sum-range-recip-choose-two-eq-two-n-div-succ/reroute-b85e97", "sha": "8beb31d4", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-recip-consecutive", "branch": "queued/prove/sum-range-recip-consecutive/reroute-869b71", "sha": "db8ba975", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-recip-five-step-product", "branch": "queued/prove/sum-range-recip-five-step-product/reroute-8eec14", "sha": "9f2fc9a7", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-recip-five-step-residue-one", "branch": "queued/prove/sum-range-recip-five-step-residue-one/reroute-84ee15", "sha": "b382f5f8", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-recip-four-consec-product", "branch": "queued/prove/sum-range-recip-four-consec-product/reroute-1f43d0", "sha": "f9a180c7", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-recip-four-step-product", "branch": "queued/prove/sum-range-recip-four-step-product/reroute-72c4e0", "sha": "cfae84b0", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-recip-four-step-residue-one", "branch": "queued/prove/sum-range-recip-four-step-residue-one/reroute-f8b0b2", "sha": "10b5c98c", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-recip-odd-consecutive", "branch": "queued/prove/sum-range-recip-odd-consecutive/reroute-4c1e02", "sha": "c38dfe92", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-recip-odd-pair-consecutive", "branch": "queued/prove/sum-range-recip-odd-pair-consecutive/reroute-7c29da", "sha": "7f447281", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-recip-odd-pair-step-two-eq-n-div", "branch": "queued/prove/sum-range-recip-odd-pair-step-two-eq-n-div/reroute-c8160d", "sha": "2853e615", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-recip-odd-product", "branch": "queued/prove/sum-range-recip-odd-product/reroute-b27e29", "sha": "da1fa6b1", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-recip-shift-two-shift-five-telescope", "branch": "queued/prove/sum-range-recip-shift-two-shift-five-telescope/reroute-6eef93", "sha": "08f14f3d", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-recip-three-consec-odd-telescope", "branch": "queued/prove/sum-range-recip-three-consec-odd-telescope/reroute-af8d30", "sha": "da90c22d", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-recip-three-consec-shifted", "branch": "queued/prove/sum-range-recip-three-consec-shifted/reroute-80463b", "sha": "64bd4744", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-recip-three-consecutive", "branch": "queued/prove/sum-range-recip-three-consecutive/reroute-098a08", "sha": "3dfa344e", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-recip-three-step-residue-one", "branch": "queued/prove/sum-range-recip-three-step-residue-one/reroute-a1fb71", "sha": "47d6d281", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-recip-triple-consecutive", "branch": "queued/prove/sum-range-recip-triple-consecutive/reroute-8bba8b", "sha": "856af19f", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-shifted-choose-eq-two-pow-sub-one", "branch": "queued/prove/sum-range-shifted-choose-eq-two-pow-sub-one/reroute-4a19ba", "sha": "524b1354", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-stirling-first-row-eq-factorial", "branch": "queued/prove/sum-range-stirling-first-row-eq-factorial/reroute-4294a4", "sha": "99219d4e", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-succ-div-factorial-add-two-telescope", "branch": "queued/prove/sum-range-succ-div-factorial-add-two-telescope/reroute-5f78c0", "sha": "31c8bd34", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-succ-mul-choose-sq-eq", "branch": "queued/prove/sum-range-succ-mul-choose-sq-eq/reroute-d1e065", "sha": "d98673a8", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-succ-mul-factorial-eq", "branch": "queued/prove/sum-range-succ-mul-factorial-eq/reroute-7f9380", "sha": "b1fbaf06", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-succ-mul-factorial-succ", "branch": "queued/prove/sum-range-succ-mul-factorial-succ/reroute-83f41f", "sha": "27caae25", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-three-mul-add-one", "branch": "queued/prove/sum-range-three-mul-add-one/reroute-e49458", "sha": "4d8243d0", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-triangular-eq-tetrahedral", "branch": "queued/prove/sum-range-triangular-eq-tetrahedral/reroute-4d93d6", "sha": "62749db2", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-two-k-sub-n-mul-choose-sq-eq-zero", "branch": "queued/prove/sum-range-two-k-sub-n-mul-choose-sq-eq-zero/reroute-0988ab", "sha": "40434f5a", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-two-k-succ-mul-choose-eq", "branch": "queued/prove/sum-range-two-k-succ-mul-choose-eq/reroute-b45a20", "sha": "f7c70f92", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-vandermonde-self-eq-central-choose", "branch": "queued/prove/sum-range-vandermonde-self-eq-central-choose/reroute-bfb2c0", "sha": "5e7cedd4", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-window-five-fib-eq-fib-diff-nat", "branch": "queued/prove/sum-range-window-five-fib-eq-fib-diff-nat/reroute-fd6ae4", "sha": "25e01937", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-range-window-four-fib-eq-fib-diff-nat", "branch": "queued/prove/sum-range-window-four-fib-eq-fib-diff-nat/reroute-7e09fb", "sha": "2d026f09", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-recip-times-sum-ge-nine", "branch": "queued/prove/sum-recip-times-sum-ge-nine/reroute-68ea60", "sha": "ed3dc6cd", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-rhombic-dodecahedral-eq-fourth-power", "branch": "queued/prove/sum-rhombic-dodecahedral-eq-fourth-power/reroute-194417", "sha": "554ee040", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-square-pyramidal-eq-hyper", "branch": "queued/prove/sum-square-pyramidal-eq-hyper/reroute-0f07b6", "sha": "0f8adee5", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-star-numbers-closed-form", "branch": "queued/prove/sum-star-numbers-closed-form/reroute-0d81a2", "sha": "33f463ac", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-tetrahedral-eq-pentatope", "branch": "queued/prove/sum-tetrahedral-eq-pentatope/reroute-e37d18", "sha": "d5eb830f", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-two-cubes-zmod-nine-ne-four", "branch": "queued/prove/sum-two-cubes-zmod-nine-ne-four/reroute-5e1be6", "sha": "439275cb", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-two-fourth-powers-zmod-sixteen-mem", "branch": "queued/prove/sum-two-fourth-powers-zmod-sixteen-mem/reroute-21daed", "sha": "6ce4947c", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-two-k-plus-one-div-sq-succ-sq-telescope", "branch": "queued/prove/sum-two-k-plus-one-div-sq-succ-sq-telescope/reroute-9f064f", "sha": "90c53ab0", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-vandermonde-diagonal-eq-choose", "branch": "queued/prove/sum-vandermonde-diagonal-eq-choose/reroute-ec7711", "sha": "bdebc140", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "tangent-line-cube-trick", "branch": "queued/prove/tangent-line-cube-trick/reroute-284214", "sha": "79eb3dd4", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "three-cubes-minus-three-prod-dvd-sum", "branch": "queued/prove/three-cubes-minus-three-prod-dvd-sum/reroute-9ff5f9", "sha": "0877c13a", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "three-mul-fib-eq-fib-add-two-add-fib-sub-two", "branch": "queued/prove/three-mul-fib-eq-fib-add-two-add-fib-sub-two/reroute-5b96f6", "sha": "47aad56d", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "two-cubes-zmod-nine-ne-three-four-five-six", "branch": "queued/prove/two-cubes-zmod-nine-ne-three-four-five-six/reroute-5de729", "sha": "a797a8e6", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "two-fib-add-int", "branch": "queued/prove/two-fib-add-int/reroute-697d64", "sha": "28fc9c82", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "two-fourth-powers-zmod-five-ne-three-four", "branch": "queued/prove/two-fourth-powers-zmod-five-ne-three-four/reroute-ab35d4", "sha": "0ef460d6", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "two-mul-sum-icc-three-k-sub-two-eq-pentagonal", "branch": "queued/prove/two-mul-sum-icc-three-k-sub-two-eq-pentagonal/reroute-2660e5", "sha": "5cb0f106", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "two-mul-sum-range-fib-triple-eq-fib-pred", "branch": "queued/prove/two-mul-sum-range-fib-triple-eq-fib-pred/reroute-8bfddb", "sha": "7ea54c46", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "two-squares-zmod-sixteen-ne-three-seven-eleven", "branch": "queued/prove/two-squares-zmod-sixteen-ne-three-seven-eleven/reroute-27fff4", "sha": "8a77d39c", "model": null, "date": "2026-06-17", "state": "waiting"}]}, {"solver": "ohdearquant", "github": "ohdearquant", "display_name": "@ohdearquant", "profile_url": "https://github.com/ohdearquant", "submissions": 98, "waiting": 44, "in_flight": 54, "distinct_goals": 95, "queued": [{"goal": "dvd-210-pow-fifteen-sub-pow-three", "branch": "queued/prove/dvd-210-pow-fifteen-sub-pow-three/mac-158f-0d2f8e", "sha": "3eaddce2", "model": "template-zmod-crt", "date": "2026-06-16", "state": "waiting"}, {"goal": "dvd-210-pow-fifteen-sub-pow-three", "branch": "queued/prove/dvd-210-pow-fifteen-sub-pow-three/mac-158f-5d67b6", "sha": "a782aeec", "model": "template-zmod-crt", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gfac-d0-c1", "branch": "queued/prove/gfac-d0-c1/mac-158f-3cf649", "sha": "990d9423", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gfac-d0-c3", "branch": "queued/prove/gfac-d0-c3/mac-158f-0364f5", "sha": "930f1386", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gfac-d0-c4", "branch": "queued/prove/gfac-d0-c4/mac-158f-df89e4", "sha": "99fdb827", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gfac-d0-c5", "branch": "queued/prove/gfac-d0-c5/mac-158f-0eb515", "sha": "6759bccc", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gfac-d0-c6", "branch": "queued/prove/gfac-d0-c6/mac-158f-9e0fdb", "sha": "599c403b", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gfac-d1-c1", "branch": "queued/prove/gfac-d1-c1/mac-158f-7a4604", "sha": "9110774b", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gfac-d1-c2", "branch": "queued/prove/gfac-d1-c2/mac-158f-2ee8ec", "sha": "e8aca2f4", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gfac-d1-c4", "branch": "queued/prove/gfac-d1-c4/mac-158f-5f8b15", "sha": "0685d8c2", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gfac-d1-c5", "branch": "queued/prove/gfac-d1-c5/mac-158f-c813dd", "sha": "5cdb2818", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gfac-d1-c6", "branch": "queued/prove/gfac-d1-c6/mac-158f-a16ece", "sha": "607d97f3", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gfac-d2-c0", "branch": "queued/prove/gfac-d2-c0/mac-158f-13cd8e", "sha": "a1afaa59", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gfac-d2-c2", "branch": "queued/prove/gfac-d2-c2/mac-158f-54c929", "sha": "cac48178", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gfac-d2-c3", "branch": "queued/prove/gfac-d2-c3/mac-158f-3de66f", "sha": "0c974998", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gfac-d2-c5", "branch": "queued/prove/gfac-d2-c5/mac-158f-60741a", "sha": "919ef118", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gfac-d2-c6", "branch": "queued/prove/gfac-d2-c6/mac-158f-849a21", "sha": "5ab4fb0d", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gfac-d3-c0", "branch": "queued/prove/gfac-d3-c0/mac-158f-c87c29", "sha": "f8338dfe", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gfac-d3-c1", "branch": "queued/prove/gfac-d3-c1/mac-158f-5605ba", "sha": "12292892", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gfac-d3-c2", "branch": "queued/prove/gfac-d3-c2/mac-158f-ce6295", "sha": "a419fda5", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gfac-d3-c3", "branch": "queued/prove/gfac-d3-c3/mac-158f-04dfa8", "sha": "3b7ac1c6", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gfac-d3-c4", "branch": "queued/prove/gfac-d3-c4/mac-158f-ad4355", "sha": "ff1fa77c", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "ggeom-pred-pow-eight-sub-one", "branch": "queued/prove/ggeom-pred-pow-eight-sub-one/mac-158f-9e93c6", "sha": "2c286a90", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "ggeom-pred-pow-eleven-sub-one", "branch": "queued/prove/ggeom-pred-pow-eleven-sub-one/mac-158f-7ccb00", "sha": "477ef561", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "ggeom-pred-pow-five-sub-one", "branch": "queued/prove/ggeom-pred-pow-five-sub-one/mac-158f-e312ec", "sha": "0406f7a3", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "ggeom-pred-pow-four-sub-one", "branch": "queued/prove/ggeom-pred-pow-four-sub-one/mac-158f-80ba93", "sha": "91fe64b8", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "ggeom-pred-pow-nine-sub-one", "branch": "queued/prove/ggeom-pred-pow-nine-sub-one/mac-158f-b7d212", "sha": "837d6e59", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "ggeom-pred-pow-seven-sub-one", "branch": "queued/prove/ggeom-pred-pow-seven-sub-one/mac-158f-c26f06", "sha": "dfe23d69", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "ggeom-pred-pow-six-sub-one", "branch": "queued/prove/ggeom-pred-pow-six-sub-one/mac-158f-d89980", "sha": "48a8ed29", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "ggeom-pred-pow-ten-sub-one", "branch": "queued/prove/ggeom-pred-pow-ten-sub-one/mac-158f-6343ed", "sha": "8d3bdfd4", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "ggeom-pred-pow-three-sub-one", "branch": "queued/prove/ggeom-pred-pow-three-sub-one/mac-158f-8812d8", "sha": "1a450f3c", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "ggeom-pred-pow-twelve-sub-one", "branch": "queued/prove/ggeom-pred-pow-twelve-sub-one/mac-158f-260563", "sha": "1a5f7a01", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "ggeom-pred-pow-two-sub-one", "branch": "queued/prove/ggeom-pred-pow-two-sub-one/mac-158f-2e384a", "sha": "0df3ef56", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gself-pow-five-add-pow-four", "branch": "queued/prove/gself-pow-five-add-pow-four/mac-158f-c5d081", "sha": "e3fc8754", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gself-pow-five-add-pow-one", "branch": "queued/prove/gself-pow-five-add-pow-one/mac-158f-3281eb", "sha": "25054ca5", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gself-pow-five-add-pow-three", "branch": "queued/prove/gself-pow-five-add-pow-three/mac-158f-52a6e1", "sha": "21034fbf", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gself-pow-five-add-pow-two", "branch": "queued/prove/gself-pow-five-add-pow-two/mac-158f-195a3f", "sha": "ebd0799b", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gself-pow-four-add-pow-one", "branch": "queued/prove/gself-pow-four-add-pow-one/mac-158f-51bca6", "sha": "80d43c2a", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gself-pow-four-add-pow-three", "branch": "queued/prove/gself-pow-four-add-pow-three/mac-158f-f32237", "sha": "b3e90619", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gself-pow-four-add-pow-two", "branch": "queued/prove/gself-pow-four-add-pow-two/mac-158f-ed0e06", "sha": "ca622f4a", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gself-pow-six-add-pow-five", "branch": "queued/prove/gself-pow-six-add-pow-five/mac-158f-044850", "sha": "646053ea", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gself-pow-six-add-pow-four", "branch": "queued/prove/gself-pow-six-add-pow-four/mac-158f-67365f", "sha": "43a1cd61", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gself-pow-six-add-pow-one", "branch": "queued/prove/gself-pow-six-add-pow-one/mac-158f-02253a", "sha": "fbdaad57", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gself-pow-six-add-pow-three", "branch": "queued/prove/gself-pow-six-add-pow-three/mac-158f-ec5958", "sha": "5011fc16", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gself-pow-six-add-pow-two", "branch": "queued/prove/gself-pow-six-add-pow-two/mac-158f-1fa270", "sha": "a8764722", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gself-pow-three-add-pow-one", "branch": "queued/prove/gself-pow-three-add-pow-one/mac-158f-ebfa90", "sha": "cd61c5c0", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gself-pow-three-add-pow-two", "branch": "queued/prove/gself-pow-three-add-pow-two/mac-158f-705653", "sha": "42f780b1", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gself-pow-three-pow-five-add-pow-four", "branch": "queued/prove/gself-pow-three-pow-five-add-pow-four/mac-158f-8ae5d6", "sha": "24f6bcf2", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gself-pow-three-pow-five-add-pow-three", "branch": "queued/prove/gself-pow-three-pow-five-add-pow-three/mac-158f-5efb4e", "sha": "b357b4d5", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gself-pow-three-pow-four-add-pow-three", "branch": "queued/prove/gself-pow-three-pow-four-add-pow-three/mac-158f-a0a4e8", "sha": "9093673e", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "gself-pow-three-pow-six-add-pow-five", "branch": "queued/prove/gself-pow-three-pow-six-add-pow-five/mac-158f-1120ed", "sha": "d4ab76e4", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "waiting"}, {"goal": "gself-pow-three-pow-six-add-pow-four", "branch": "queued/prove/gself-pow-three-pow-six-add-pow-four/mac-158f-ee450e", "sha": "107bd465", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "waiting"}, {"goal": "gself-pow-three-pow-six-add-pow-three", "branch": "queued/prove/gself-pow-three-pow-six-add-pow-three/mac-158f-080946", "sha": "dba872e5", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "waiting"}, {"goal": "gself-pow-two-add-pow-one", "branch": "queued/prove/gself-pow-two-add-pow-one/mac-158f-aaf61a", "sha": "ecde42c5", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "waiting"}, {"goal": "gself-pow-two-pow-five-add-pow-four", "branch": "queued/prove/gself-pow-two-pow-five-add-pow-four/mac-158f-abb172", "sha": "0b090521", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "waiting"}, {"goal": "gself-pow-two-pow-five-add-pow-three", "branch": "queued/prove/gself-pow-two-pow-five-add-pow-three/mac-158f-62dca1", "sha": "3fb907ab", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "waiting"}, {"goal": "gself-pow-two-pow-five-add-pow-two", "branch": "queued/prove/gself-pow-two-pow-five-add-pow-two/mac-158f-6494c5", "sha": "440741b0", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "waiting"}, {"goal": "gself-pow-two-pow-four-add-pow-three", "branch": "queued/prove/gself-pow-two-pow-four-add-pow-three/mac-158f-2fd633", "sha": "1f775a59", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "waiting"}, {"goal": "gself-pow-two-pow-four-add-pow-two", "branch": "queued/prove/gself-pow-two-pow-four-add-pow-two/mac-158f-a57c26", "sha": "b4a52ff1", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "waiting"}, {"goal": "gself-pow-two-pow-six-add-pow-five", "branch": "queued/prove/gself-pow-two-pow-six-add-pow-five/mac-158f-bd87e8", "sha": "50ed8fa6", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "waiting"}, {"goal": "gself-pow-two-pow-six-add-pow-four", "branch": "queued/prove/gself-pow-two-pow-six-add-pow-four/mac-158f-969f34", "sha": "c8e30844", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "waiting"}, {"goal": "gself-pow-two-pow-six-add-pow-three", "branch": "queued/prove/gself-pow-two-pow-six-add-pow-three/mac-158f-91a1b2", "sha": "38fc42a4", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "waiting"}, {"goal": "gself-pow-two-pow-six-add-pow-two", "branch": "queued/prove/gself-pow-two-pow-six-add-pow-two/mac-158f-bce2cc", "sha": "54d8f35d", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "waiting"}, {"goal": "gself-pow-two-pow-three-add-pow-two", "branch": "queued/prove/gself-pow-two-pow-three-add-pow-two/mac-158f-4a2876", "sha": "b90574e9", "model": "template-ring-cofactor", "date": "2026-06-17", "state": "waiting"}, {"goal": "gzmod-12-pow-four-sub-pow-two", "branch": "queued/prove/gzmod-12-pow-four-sub-pow-two/mac-158f-70a1ca", "sha": "aa27b51a", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "gzmod-132-pow-twelve-sub-pow-two", "branch": "queued/prove/gzmod-132-pow-twelve-sub-pow-two/mac-158f-009da6", "sha": "8c08e760", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "gzmod-24-pow-eight-sub-pow-six", "branch": "queued/prove/gzmod-24-pow-eight-sub-pow-six/mac-158f-993269", "sha": "745abf7b", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "gzmod-24-pow-eleven-sub-pow-nine", "branch": "queued/prove/gzmod-24-pow-eleven-sub-pow-nine/mac-158f-f613fd", "sha": "ac9f64f0", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "gzmod-24-pow-fourteen-sub-pow-twelve", "branch": "queued/prove/gzmod-24-pow-fourteen-sub-pow-twelve/mac-158f-82d1b1", "sha": "44aff44c", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "gzmod-24-pow-nine-sub-pow-seven", "branch": "queued/prove/gzmod-24-pow-nine-sub-pow-seven/mac-158f-524b48", "sha": "ac6d4d98", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "gzmod-24-pow-ten-sub-pow-eight", "branch": "queued/prove/gzmod-24-pow-ten-sub-pow-eight/mac-158f-d00eed", "sha": "6f876445", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "gzmod-24-pow-thirteen-sub-pow-eleven", "branch": "queued/prove/gzmod-24-pow-thirteen-sub-pow-eleven/mac-158f-034c35", "sha": "889051e8", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "gzmod-24-pow-twelve-sub-pow-ten", "branch": "queued/prove/gzmod-24-pow-twelve-sub-pow-ten/mac-158f-963bdd", "sha": "fd6b6327", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "gzmod-240-pow-eleven-sub-pow-seven", "branch": "queued/prove/gzmod-240-pow-eleven-sub-pow-seven/mac-158f-8f0cef", "sha": "6feaf86b", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "gzmod-240-pow-fourteen-sub-pow-ten", "branch": "queued/prove/gzmod-240-pow-fourteen-sub-pow-ten/mac-158f-bf990d", "sha": "766ddf45", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "gzmod-240-pow-ten-sub-pow-six", "branch": "queued/prove/gzmod-240-pow-ten-sub-pow-six/mac-158f-8ff4ea", "sha": "ef89cd9e", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "gzmod-240-pow-thirteen-sub-pow-nine", "branch": "queued/prove/gzmod-240-pow-thirteen-sub-pow-nine/mac-158f-1a9baa", "sha": "52900402", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "gzmod-240-pow-twelve-sub-pow-eight", "branch": "queued/prove/gzmod-240-pow-twelve-sub-pow-eight/mac-158f-20b50f", "sha": "84868635", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "gzmod-240-pow-twelve-sub-pow-four", "branch": "queued/prove/gzmod-240-pow-twelve-sub-pow-four/mac-158f-7cb98f", "sha": "9f073d45", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "gzmod-264-pow-fourteen-sub-pow-four", "branch": "queued/prove/gzmod-264-pow-fourteen-sub-pow-four/mac-158f-f90167", "sha": "058484f4", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "gzmod-30-pow-five-sub-pow-one", "branch": "queued/prove/gzmod-30-pow-five-sub-pow-one/mac-158f-3f571c", "sha": "b4071d60", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "gzmod-42-pow-seven-sub-pow-one", "branch": "queued/prove/gzmod-42-pow-seven-sub-pow-one/mac-158f-04baea", "sha": "d2bea56d", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "n4-plus-one-factor-over-sqrt-shift", "branch": "queued/prove/n4-plus-one-factor-over-sqrt-shift/reroute-3ab8a0", "sha": "b8dd1980", "model": "swarm-sonnet", "date": "2026-06-17", "state": "waiting"}, {"goal": "pred-dvd-square-sub-one", "branch": "queued/prove/pred-dvd-square-sub-one/mac-158f-f1c8b6", "sha": "cf0da5b1", "model": "template-dvd-cofactor", "date": "2026-06-17", "state": "in-flight"}, {"goal": "quartic-x4-plus-x2-plus-one-dvd-by-minus-factor", "branch": "queued/prove/quartic-x4-plus-x2-plus-one-dvd-by-minus-factor/reroute-19dc76", "sha": "bc34f4f5", "model": "swarm-sonnet", "date": "2026-06-17", "state": "waiting"}, {"goal": "sextic-x6-plus-x3-plus-one-composite-shift", "branch": "queued/prove/sextic-x6-plus-x3-plus-one-composite-shift/reroute-e031e2", "sha": "5be5a019", "model": "swarm-sonnet", "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-sixth-ge-mixed-fourth-second", "branch": "queued/prove/sum-sixth-ge-mixed-fourth-second/mac-158f-4aa2f5", "sha": "5f2e677f", "model": "template-nlinarith", "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-sixth-ge-mixed-fourth-second", "branch": "queued/prove/sum-sixth-ge-mixed-fourth-second/mac-158f-76571f", "sha": "60cc4d0b", "model": "template-nlinarith", "date": "2026-06-16", "state": "in-flight"}, {"goal": "sum-squares-eq-square-pyramidal", "branch": "queued/prove/sum-squares-eq-square-pyramidal/mac-158f-3f4323", "sha": "05cd56e0", "model": "template-sum-induction", "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-squares-eq-square-pyramidal", "branch": "queued/prove/sum-squares-eq-square-pyramidal/mac-158f-b37eda", "sha": "bd569ae5", "model": "template-sum-induction", "date": "2026-06-16", "state": "in-flight"}, {"goal": "sum-three-squares-zmod-eight-ne-seven", "branch": "queued/prove/sum-three-squares-zmod-eight-ne-seven/reroute-1de2ac", "sha": "3448e75b", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-three-squares-zmod-sixteen-ne-fifteen", "branch": "queued/prove/sum-three-squares-zmod-sixteen-ne-fifteen/reroute-1e338d", "sha": "9eae8e72", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-two-cubes-zmod-seven-mem", "branch": "queued/prove/sum-two-cubes-zmod-seven-mem/reroute-5b2292", "sha": "602306cf", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-two-k-add-one-mul-two-pow", "branch": "queued/prove/sum-two-k-add-one-mul-two-pow/mac-158f-404f43", "sha": "2a6151cb", "model": "template-sum-closedform", "date": "2026-06-16", "state": "in-flight"}, {"goal": "sum-two-k-sub-one-mul-two-pow", "branch": "queued/prove/sum-two-k-sub-one-mul-two-pow/mac-158f-e78d55", "sha": "5ed63531", "model": "template-sum-closedform", "date": "2026-06-16", "state": "in-flight"}, {"goal": "sum-two-squares-zmod-eight-ne-six", "branch": "queued/prove/sum-two-squares-zmod-eight-ne-six/reroute-edeadd", "sha": "2e89646c", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-two-squares-zmod-four-ne-three", "branch": "queued/prove/sum-two-squares-zmod-four-ne-three/reroute-fb3b8c", "sha": "a59c211c", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}, {"goal": "three-fourth-powers-zmod-sixteen-mem", "branch": "queued/prove/three-fourth-powers-zmod-sixteen-mem/reroute-387a25", "sha": "d56ae920", "model": "template-zmod-decide", "date": "2026-06-17", "state": "waiting"}]}, {"solver": "adam91holt", "github": "adam91holt", "display_name": "@adam91holt", "profile_url": "https://github.com/adam91holt", "submissions": 11, "waiting": 8, "in_flight": 3, "distinct_goals": 11, "queued": [{"goal": "alt-sum-range-choose-sq-eq-zero-odd", "branch": "queued/prove/alt-sum-range-choose-sq-eq-zero-odd/thebeast-ace7-067017", "sha": "af40947c", "model": null, "date": "2026-06-17", "state": "in-flight"}, {"goal": "alternating-sum-shifted-choose-eq-one", "branch": "queued/prove/alternating-sum-shifted-choose-eq-one/thebeast-ace7-43bef2", "sha": "b3561db3", "model": null, "date": "2026-06-17", "state": "in-flight"}, {"goal": "catalan-r2-shift-nat-fib-int", "branch": "queued/prove/catalan-r2-shift-nat-fib-int/thebeast-ace7-bc662e", "sha": "b89175b6", "model": null, "date": "2026-06-17", "state": "in-flight"}, {"goal": "sum-icc-four-div-four-k-sub-one-four-k-add-three-telescope", "branch": "queued/prove/sum-icc-four-div-four-k-sub-one-four-k-add-three-telescope/codex-0001-f76056", "sha": "b19caeac", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-icc-id-mul-two-pow-pred", "branch": "queued/prove/sum-icc-id-mul-two-pow-pred/thebeast-ace7-5aa9bd", "sha": "54aca49a", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-icc-k-mul-three-k-sub-one-eq", "branch": "queued/prove/sum-icc-k-mul-three-k-sub-one-eq/thebeast-ace7-b581ef", "sha": "0c447f1e", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-icc-k-sq-add-one-mul-factorial-eq-prod", "branch": "queued/prove/sum-icc-k-sq-add-one-mul-factorial-eq-prod/codex-0001-dcd008", "sha": "643d1b66", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-icc-k-sq-add-one-mul-factorial-eq-pronic-factorial", "branch": "queued/prove/sum-icc-k-sq-add-one-mul-factorial-eq-pronic-factorial/codex-0002-0b2996", "sha": "df06cc71", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-icc-k-sub-one-div-factorial-eq-one-sub", "branch": "queued/prove/sum-icc-k-sub-one-div-factorial-eq-one-sub/thebeast-ace7-39be7e", "sha": "e98b84e7", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-icc-recip-step-four-pair-eq-n-div", "branch": "queued/prove/sum-icc-recip-step-four-pair-eq-n-div/codex-0005-1d9317", "sha": "27a38b0e", "model": null, "date": "2026-06-17", "state": "waiting"}, {"goal": "sum-icc-three-k-sub-one-mul-two-pow-pred-closed", "branch": "queued/prove/sum-icc-three-k-sub-one-mul-two-pow-pred-closed/codex-0005-848588", "sha": "c91d82ef", "model": null, "date": "2026-06-17", "state": "waiting"}]}, {"solver": null, "github": null, "display_name": "Claude", "profile_url": null, "submissions": 8, "waiting": 0, "in_flight": 8, "distinct_goals": 8, "queued": [{"goal": "pairsum-sq-le-three-sum-sq-products", "branch": "queued/prove/pairsum-sq-le-three-sum-sq-products/claude-web-16e384", "sha": "292d6ef0", "model": null, "date": "2026-06-17", "state": "in-flight"}, {"goal": "quartic-four-var-ge-four-prod", "branch": "queued/prove/quartic-four-var-ge-four-prod/claude-web-2ec475", "sha": "d1819e4b", "model": null, "date": "2026-06-17", "state": "in-flight"}, {"goal": "ravi-product-le-abc", "branch": "queued/prove/ravi-product-le-abc/claude-web-b2bfe6", "sha": "8e6e4a63", "model": null, "date": "2026-06-17", "state": "in-flight"}, {"goal": "realization-determines-counts", "branch": "queued/prove/realization-determines-counts/claude-web-1b4a59", "sha": "73c2d70d", "model": null, "date": "2026-06-18", "state": "in-flight"}, {"goal": "sum-icc-k-mul-three-k-sub-one-eq", "branch": "queued/prove/sum-icc-k-mul-three-k-sub-one-eq/claude-web-4f013f", "sha": "33e0ee24", "model": null, "date": "2026-06-17", "state": "in-flight"}, {"goal": "sum-sixth-ge-cyclic-quartic-sq", "branch": "queued/prove/sum-sixth-ge-cyclic-quartic-sq/claude-web-4bfa2c", "sha": "bb705dc5", "model": null, "date": "2026-06-17", "state": "in-flight"}, {"goal": "sum-sq-times-pairsum-ge-three-abc-sum", "branch": "queued/prove/sum-sq-times-pairsum-ge-three-abc-sum/claude-web-ea6bb2", "sha": "37de9654", "model": null, "date": "2026-06-17", "state": "in-flight"}, {"goal": "three-quartic-ge-sum-times-cubes", "branch": "queued/prove/three-quartic-ge-sum-times-cubes/claude-web-2f5a0a", "sha": "76651d31", "model": null, "date": "2026-06-17", "state": "in-flight"}]}, {"solver": "cgbarlow", "github": "cgbarlow", "display_name": "@cgbarlow", "profile_url": "https://github.com/cgbarlow", "submissions": 1, "waiting": 1, "in_flight": 0, "distinct_goals": 1, "queued": [{"goal": "sum-id-mul-triangular-closed-form", "branch": "queued/prove/sum-id-mul-triangular-closed-form/1367ab40f0b1-e413-6fd7de", "sha": "21ed3d26", "model": "opus", "date": "2026-06-17", "state": "waiting"}]}, {"solver": "perttu", "github": "perttu", "display_name": "@perttu", "profile_url": "https://github.com/perttu", "submissions": 1, "waiting": 1, "in_flight": 0, "distinct_goals": 1, "queued": [{"goal": "sum-range-succ-k-mul-choose-mul-two-pow-closed", "branch": "queued/prove/sum-range-succ-k-mul-choose-mul-two-pow-closed/claude-web-1e1e95", "sha": "0366b798", "model": null, "date": "2026-06-17", "state": "waiting"}]}]}</script>
</body>
</html>