mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-29 07:10:32 -04:00
Code Issues Packages Projects Releases Wiki Activity

feat(phase-29): ov_SC06_018 crack-wave — func_801365B8 x138 (fresh-exemplar sweep CONFIRMED), thesis is family-specific

Browse Source 
- binary-aware crack wave (new tools/workflows/wave_binary.js): 8-target calibration
  over ov_SC06_018 substantial stubs, 7/8 match_one MATCH
- func_801365B8 (155, reach 133): cracked FRESH in ov_SC06_018, swept 132/132 siblings
  via family_sweep --hseq --source ov_SC06_018 --allow-pins -- SESSION-10 refused this
  family 0/133 from an ov077 exemplar. THESIS CONFIRMED (fresh exemplar unlocks it).
- func_80133AB0 (137, reach 137): cracked fresh + banked x1 (+ a byte-neutral s17a-1
  cast reconcile of banked caller func_801343C4), but the family sweep FAILED 0/136 even
  from the fresh exemplar (reverted clean) -- THESIS REFUTED for this family.
- FINDING (R14/R31 -> decision-log): the fresh-exemplar sweep is FAMILY-SPECIFIC, not a
  blanket mechanical x137. A fresh crack is necessary but not sufficient; the byte-gate
  arbitrates each family (~50% on this 2-family sample -> discount the ~1.5pp estimate).
- tooling (R33): family_sweep --source override now searches matched_members (a fresh
  member leaves 'members' after a sig-regen); cdecl._depth0_spans consumes backslash
  line-continuations so a raw-draft #define macro no longer trips audit-cdecl.
- R22 clean-fleet 140/140 byte-identical; tools-health green (dedup 1849/0, C1 234615);
  0 NON_MATCHING. fleet 78.4->78.5% instr / 67.1->67.5% distinct / 88.14->88.18% fn-count.
This commit is contained in:
Drew T
2026-07-22 18:12:09 -06:00
parent d53a33eb06
commit f142a6858f
143 changed files with 14010 additions and 1633 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/backlog.md
+1351 -1351
View File
File diff suppressed because it is too large Load Diff
docs/decision-log.md
+43
View File
@@ -1523,3 +1523,46 @@ a null oracle for "was the right question asked". Concretely: a gate must ASSERT
against belongs to the binary it just built (R32-style — assert the premise, not just the result). That
assertion would have failed loudly on the first non-077 CLI run in June. This is the fourth wall in one
session, and the fifth this phase, to resolve to our own tooling rather than gcc-2.7.2.
---
## 2026-07-22 (Phase 29, SESSION-11) — the fresh-exemplar sweep is FAMILY-SPECIFIC, not a blanket mechanical ×137
**Context + belief.** SESSION-10 closed on a strong claim: "sweeps only pay when they RIDE a fresh ×1 crack;
the discriminator is the exemplar's PROVENANCE — every success templated from a core freshly banked ×1 today,
every refusal from an ov_SC01_077 exemplar." The plan was to crack ov_SC06_018 exemplars fresh and sweep their
h_seq families (Task-5 measured ~1.59pp of fresh families for this one overlay).
**The experiment.** Two families SESSION-10 had swept 0/137 from an ov077 exemplar — `func_801365B8` (0/133)
and `func_80133AB0` (0/137) — were cracked FRESH in ov_SC06_018 (agent drafts, whole-binary byte-gated ×1),
then swept via `family_sweep --hseq --source ov_SC06_018 --allow-pins` from the fresh exemplar.
**The result (byte-gated, R22 140/140).** SPLIT: `func_801365B8` → **132/132 siblings banked** (thesis
confirmed — a fresh non-ov077 exemplar unlocked the whole family ov077 could not). `func_80133AB0` → **0/136,
reverted clean** (thesis refuted for this family — the members diverge in more than reloc symbols; no fresh
exemplar remaps into them).
**The refined finding.** A fresh ×1 crack is **necessary but not sufficient**. The fresh-exemplar sweep is
**family-specific** — the whole-binary byte-gate arbitrates each family, and on this 2-family thesis sample
the sweep rate was ~50%. The SESSION-10 provenance claim holds DIRECTIONALLY (func_801365B8 swept where ov077
refused) but overstated it as a mechanical ×137. **Consequence:** the ~1.5pp "fresh families" campaign
estimate must be discounted — cracking generates sweep fuel for SOME families, not all, and only the gate
says which. The honest yield model is (families that crack) × (per-family sweep probability), not
(families) × (reach).
**Why the difference (hypothesis, not yet exhaustively byte-proven).** func_801365B8's members differ only in
per-overlay reloc symbols over a uniform pinned regalloc → the fresh pinned exemplar templates cleanly.
func_80133AB0's members carry per-location immediate/codegen divergence the single exemplar does not share.
**Tooling caught in the act (R33 — fix the instrument).** The `family_sweep --source` override only searched
`members`, but a freshly-banked source member moves to `matched_members` after a sig-regen, so the override
silently missed it and would have templated from ov077 (a false refutation). Fixed to search both lists —
without it the thesis test would have "confirmed" SESSION-10's refusal for the wrong reason. Second fix:
`cdecl._depth0_spans` now consumes `\`-continuations, so a raw-draft `#define` macro no longer trips
audit-cdecl (the committed, cpp-expanded source was never affected — the gate was reading scratch).
**Hindsight better-path.** Test the sweep-from-fresh mechanism on ONE family before scoping a 95-target
campaign around it. The calibration cost ~1 wave and delivered a load-bearing correction to the yield model —
exactly the probe-before-scaling discipline (Phase-15/R35). Carry it forward: every fresh core crack this
phase must be followed by a gate-arbitrated sweep attempt, and the sweep's 0/N is data (per-member wall),
not a tooling artifact — provided the tools (`--source`, cdecl) are themselves verified first.
docs/family-hseq.md
+5 -5
View File
@@ -2,11 +2,11 @@
> Generated by `tools/family_hseq.py` from the 134 overlay sigs + per-overlay src stubs. Ranked by TEMPLATABLE byte-weight (PURE+IMM members × nins × 4). The byte-gate is the arbiter.
**Fleet (overlays):** 88.4% fn / 78.7% instr / 67.9% distinct-code matched. Unmatched: 40,898 instances / 2,780,867 ins (22,812 distinct classes).
**Fleet (overlays):** 88.4% fn / 78.7% instr / 67.9% distinct-code matched. Unmatched: 40,896 instances / 2,780,575 ins (22,810 distinct classes).
**Tail cross-check (Phase-25 close):** 27,621 tail fns / 1,106,172 ins → 577 h_seq families ≥2, **161 substantial (nins≥80) / 619,509 ins**.
**Full frontier (all unmatched by h_seq):** 2731 target families (≥2 members or a matched sibling) + 3780 singletons (Step-D residue). Substantial: **568 families / 1,486,476 templatable ins**, 70 with a matched sibling (zero-crack). Substantial member classes: 9,388 PURE · 40 IMM · 6 STRUCT-excluded.
**Full frontier (all unmatched by h_seq):** 2731 target families (≥2 members or a matched sibling) + 3780 singletons (Step-D residue). Substantial: **568 families / 1,486,184 templatable ins**, 70 with a matched sibling (zero-crack). Substantial member classes: 9,386 PURE · 40 IMM · 6 STRUCT-excluded.
## Top substantial families (by templatable byte-weight)
@@ -30,10 +30,10 @@
| 15 | 165 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x80178004 draft-ov077 | 22,770 |
| 16 | 154 | 137 (137/0/0) | 1/137 | per-location | PURE | 1 | Y | 0x8013c0f8 matched-ov077 | 21,098 |
| 17 | 154 | 136 (136/0/0) | 1/136 | per-location | PURE | 2 | · | 0x80144090 matched-ov077 | 20,944 |
| 18 | 155 | 133 (133/0/0) | 1/133 | per-location | PURE | 5 | · | 0x801365b8 matched-ov077 | 20,615 |
| 18 | 155 | 132 (132/0/0) | 1/132 | per-location | PURE | 6 | · | 0x801365b8 matched-ov077 | 20,460 |
| 19 | 147 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x80177b5c draft-ov077 | 20,286 |
| 20 | 137 | 137 (137/0/0) | 1/137 | per-location | PURE | 1 | · | 0x80133ab0 matched-ov077 | 18,769 |
| 21 | 136 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | Y | 0x80135260 draft-ov077 | 18,768 |
| 20 | 136 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | Y | 0x80135260 draft-ov077 | 18,768 |
| 21 | 137 | 136 (136/0/0) | 1/136 | per-location | PURE | 2 | · | 0x80133ab0 matched-ov077 | 18,632 |
| 22 | 125 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | Y | 0x8012aaac draft-ov077 | 17,250 |
| 23 | 123 | 138 (138/0/0) | 1/138 | per-location | PURE | 0 | · | 0x80174cb0 draft-ov077 | 16,974 |
| 24 | 3338 | 5 (5/0/0) | 3/5 | cross-address | PURE | 0 | · | 0x8017d960 modal | 16,690 |
docs/progress.fleet.md
+139 -139
View File
@@ -4,157 +4,157 @@
# cross-binary collapsible-byte leverage: docs/duplicates.cross.md.
# THREE progress metrics (all matter — see the labels):
FLEET fn-count byte-ident: 311769 / 353722 = 88.14% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted : 10299493 / 13141652 = 78.4% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number)
FLEET distinct-code(uniq): 3782990 / 5634875 = 67.1% (64633/87459 unique fns; the DISTINCT-RE number)
FLEET fn-count byte-ident: 311903 / 353722 = 88.18% (REAL+LINKED+empties; FUNCTION-count, ×134-inflated — one crack counts per overlay)
FLEET instr-weighted : 10320245 / 13141652 = 78.5% (shipped .text across main + resident + 138 overlays; the decomp.dev-DISPLAY number)
FLEET distinct-code(uniq): 3802502 / 5634875 = 67.5% (64759/87459 unique fns; the DISTINCT-RE number)
MAIN game-code weighted : 436 / 60201 = 0.7% (INCLUDED in the fleet numbers above since 2026-07-22 — roadmap §1 metrics contract; LINKED-excluding Ghidra sig dated 2026-06-14; caveat is R34: no independent second oracle for a PS-X EXE, NOT drift)
(fleet EXCLUDING main, for continuity with pre-2026-07-22 readings: 10299057 / 13081451 = 78.7%)
(fleet EXCLUDING main, for continuity with pre-2026-07-22 readings: 10319809 / 13081451 = 78.9%)
FLEET REAL substantive : 309914 (of which dedup-shared 234571 via 1849 groups / 234615 instances)
FLEET REAL substantive : 310048 (of which dedup-shared 234571 via 1849 groups / 234615 instances)
FLEET LINKED PsyQ objs : 959
FLEET NON_MATCHING : 7 (0 in any default build — G4)
FLEET INCLUDE_ASM stubs : 41946
FLEET INCLUDE_ASM stubs : 41812
FLEET matchable : 353722
| binary | REAL | shared | LINKED | byte-ident | matchable | byte-ident % |
|---|---:|---:|---:|---:|---:|---:|
| main | 54 | 2 | 959 | 1055 | 2096 | 50.3% |
| resident | 129 | 0 | 0 | 131 | 145 | 90.3% |
| ov_SC01_000 | 2225 | 1707 | 0 | 2225 | 2403 | 92.6% |
| ov_SC01_001 | 2225 | 1707 | 0 | 2227 | 2466 | 90.3% |
| ov_SC01_004 | 2217 | 1698 | 0 | 2218 | 2414 | 91.9% |
| ov_SC01_005 | 2246 | 1720 | 0 | 2246 | 2503 | 89.7% |
| ov_SC01_006 | 2246 | 1720 | 0 | 2246 | 2503 | 89.7% |
| ov_SC01_008 | 2217 | 1698 | 0 | 2219 | 2426 | 91.5% |
| ov_SC01_009 | 2242 | 1699 | 0 | 2243 | 2507 | 89.5% |
| ov_SC01_074 | 2220 | 1699 | 0 | 2222 | 2425 | 91.6% |
| ov_SC01_000 | 2226 | 1707 | 0 | 2226 | 2403 | 92.6% |
| ov_SC01_001 | 2226 | 1707 | 0 | 2228 | 2466 | 90.3% |
| ov_SC01_004 | 2218 | 1698 | 0 | 2219 | 2414 | 91.9% |
| ov_SC01_005 | 2247 | 1720 | 0 | 2247 | 2503 | 89.8% |
| ov_SC01_006 | 2247 | 1720 | 0 | 2247 | 2503 | 89.8% |
| ov_SC01_008 | 2218 | 1698 | 0 | 2220 | 2426 | 91.5% |
| ov_SC01_009 | 2243 | 1699 | 0 | 2244 | 2507 | 89.5% |
| ov_SC01_074 | 2221 | 1699 | 0 | 2223 | 2425 | 91.7% |
| ov_SC01_077 | 2411 | 1667 | 0 | 2413 | 2585 | 93.3% |
| ov_SC01_080 | 2259 | 1702 | 0 | 2259 | 2512 | 89.9% |
| ov_SC01_084 | 2266 | 1702 | 0 | 2271 | 2579 | 88.1% |
| ov_SC02_000 | 2319 | 1737 | 0 | 2319 | 2683 | 86.4% |
| ov_SC02_003 | 2319 | 1737 | 0 | 2319 | 2683 | 86.4% |
| ov_SC02_004 | 2225 | 1702 | 0 | 2225 | 2401 | 92.7% |
| ov_SC02_005 | 2332 | 1698 | 0 | 2342 | 2927 | 80.0% |
| ov_SC02_011 | 2343 | 1705 | 0 | 2354 | 2893 | 81.4% |
| ov_SC02_015 | 2226 | 1704 | 0 | 2226 | 2414 | 92.2% |
| ov_SC02_016 | 2257 | 1704 | 0 | 2260 | 2545 | 88.8% |
| ov_SC02_017 | 2303 | 1704 | 0 | 2311 | 2732 | 84.6% |
| ov_SC02_021 | 2232 | 1704 | 0 | 2232 | 2437 | 91.6% |
| ov_SC02_026 | 2247 | 1702 | 0 | 2253 | 2572 | 87.6% |
| ov_SC02_027 | 2270 | 1702 | 0 | 2279 | 2692 | 84.7% |
| ov_SC02_028 | 2271 | 1702 | 0 | 2281 | 2701 | 84.5% |
| ov_SC02_031 | 2257 | 1703 | 0 | 2262 | 2562 | 88.3% |
| ov_SC02_035 | 2233 | 1702 | 0 | 2236 | 2520 | 88.7% |
| ov_SC02_039 | 2218 | 1702 | 0 | 2218 | 2416 | 91.8% |
| ov_SC02_041 | 2253 | 1702 | 0 | 2256 | 2561 | 88.1% |
| ov_SC03_001 | 2354 | 1703 | 0 | 2371 | 2869 | 82.6% |
| ov_SC03_002 | 2280 | 1707 | 0 | 2295 | 2631 | 87.2% |
| ov_SC03_003 | 2228 | 1702 | 0 | 2229 | 2423 | 92.0% |
| ov_SC03_006 | 2293 | 1708 | 0 | 2302 | 2767 | 83.2% |
| ov_SC03_007 | 2273 | 1702 | 0 | 2277 | 2623 | 86.8% |
| ov_SC03_010 | 2234 | 1702 | 0 | 2234 | 2470 | 90.4% |
| ov_SC03_011 | 2242 | 1702 | 0 | 2248 | 2527 | 89.0% |
| ov_SC03_012 | 2220 | 1702 | 0 | 2221 | 2406 | 92.3% |
| ov_SC03_013 | 2239 | 1702 | 0 | 2239 | 2492 | 89.8% |
| ov_SC03_014 | 2298 | 1727 | 0 | 2298 | 2685 | 85.6% |
| ov_SC03_015 | 2298 | 1727 | 0 | 2298 | 2685 | 85.6% |
| ov_SC03_023 | 2226 | 1702 | 0 | 2227 | 2435 | 91.5% |
| ov_SC03_024 | 2285 | 1707 | 0 | 2292 | 2641 | 86.8% |
| ov_SC03_028 | 2266 | 1702 | 0 | 2270 | 2664 | 85.2% |
| ov_SC03_029 | 2268 | 1704 | 0 | 2278 | 2644 | 86.2% |
| ov_SC03_030 | 2241 | 1707 | 0 | 2243 | 2495 | 89.9% |
| ov_SC03_031 | 2238 | 1702 | 0 | 2241 | 2514 | 89.1% |
| ov_SC03_089 | 2252 | 1702 | 0 | 2259 | 2581 | 87.5% |
| ov_SC03_090 | 2254 | 1702 | 0 | 2262 | 2625 | 86.2% |
| ov_SC03_091 | 2257 | 1702 | 0 | 2265 | 2640 | 85.8% |
| ov_SC03_092 | 2268 | 1702 | 0 | 2280 | 2587 | 88.1% |
| ov_SC03_093 | 2244 | 1702 | 0 | 2248 | 2563 | 87.7% |
| ov_SC03_094 | 2239 | 1702 | 0 | 2245 | 2577 | 87.1% |
| ov_SC03_095 | 2229 | 1702 | 0 | 2232 | 2474 | 90.2% |
| ov_SC03_096 | 2229 | 1702 | 0 | 2232 | 2465 | 90.5% |
| ov_SC03_097 | 2258 | 1702 | 0 | 2265 | 2603 | 87.0% |
| ov_SC03_098 | 2237 | 1702 | 0 | 2240 | 2541 | 88.2% |
| ov_SC03_099 | 2230 | 1702 | 0 | 2233 | 2504 | 89.2% |
| ov_SC03_100 | 2240 | 1702 | 0 | 2244 | 2539 | 88.4% |
| ov_SC03_101 | 2240 | 1702 | 0 | 2244 | 2528 | 88.8% |
| ov_SC03_102 | 2232 | 1702 | 0 | 2235 | 2492 | 89.7% |
| ov_SC03_103 | 2235 | 1704 | 0 | 2238 | 2510 | 89.2% |
| ov_SC03_104 | 2260 | 1702 | 0 | 2267 | 2616 | 86.7% |
| ov_SC03_105 | 2254 | 1702 | 0 | 2261 | 2597 | 87.1% |
| ov_SC03_108 | 2222 | 1702 | 0 | 2222 | 2443 | 91.0% |
| ov_SC03_109 | 2223 | 1702 | 0 | 2225 | 2424 | 91.8% |
| ov_SC03_110 | 2228 | 1702 | 0 | 2228 | 2468 | 90.3% |
| ov_SC03_111 | 2240 | 1702 | 0 | 2243 | 2510 | 89.4% |
| ov_SC03_112 | 2233 | 1704 | 0 | 2235 | 2526 | 88.5% |
| ov_SC03_113 | 2226 | 1704 | 0 | 2229 | 2468 | 90.3% |
| ov_SC03_114 | 2216 | 1702 | 0 | 2218 | 2415 | 91.8% |
| ov_SC03_115 | 2233 | 1702 | 0 | 2235 | 2472 | 90.4% |
| ov_SC03_116 | 2223 | 1702 | 0 | 2226 | 2438 | 91.3% |
| ov_SC03_117 | 2251 | 1702 | 0 | 2257 | 2557 | 88.3% |
| ov_SC03_118 | 2298 | 1726 | 0 | 2299 | 2685 | 85.6% |
| ov_SC03_119 | 2297 | 1726 | 0 | 2298 | 2685 | 85.6% |
| ov_SC03_121 | 2230 | 1702 | 0 | 2233 | 2459 | 90.8% |
| ov_SC03_124 | 2310 | 1698 | 0 | 2330 | 2741 | 85.0% |
| ov_SC03_125 | 2267 | 1702 | 0 | 2279 | 2588 | 88.1% |
| ov_SC03_126 | 2229 | 1704 | 0 | 2229 | 2423 | 92.0% |
| ov_SC04_000 | 2245 | 1706 | 0 | 2254 | 2546 | 88.5% |
| ov_SC04_002 | 2261 | 1702 | 0 | 2265 | 2636 | 85.9% |
| ov_SC04_003 | 2239 | 1702 | 0 | 2243 | 2502 | 89.6% |
| ov_SC04_004 | 2248 | 1702 | 0 | 2250 | 2558 | 88.0% |
| ov_SC04_005 | 2256 | 1702 | 0 | 2262 | 2612 | 86.6% |
| ov_SC04_006 | 2229 | 1702 | 0 | 2231 | 2454 | 90.9% |
| ov_SC04_007 | 2249 | 1702 | 0 | 2253 | 2569 | 87.7% |
| ov_SC04_008 | 2219 | 1702 | 0 | 2219 | 2415 | 91.9% |
| ov_SC04_009 | 2235 | 1702 | 0 | 2238 | 2441 | 91.7% |
| ov_SC04_010 | 2226 | 1702 | 0 | 2227 | 2419 | 92.1% |
| ov_SC04_011 | 2282 | 1702 | 0 | 2288 | 2803 | 81.6% |
| ov_SC04_012 | 2222 | 1702 | 0 | 2223 | 2420 | 91.9% |
| ov_SC04_015 | 2287 | 1703 | 0 | 2298 | 2611 | 88.0% |
| ov_SC04_016 | 2225 | 1702 | 0 | 2227 | 2440 | 91.3% |
| ov_SC04_018 | 2337 | 1737 | 0 | 2337 | 2857 | 81.8% |
| ov_SC04_019 | 2343 | 1737 | 0 | 2343 | 2857 | 82.0% |
| ov_SC04_020 | 2254 | 1702 | 0 | 2266 | 2567 | 88.3% |
| ov_SC04_021 | 2230 | 1704 | 0 | 2230 | 2423 | 92.0% |
| ov_SC05_000 | 2226 | 1706 | 0 | 2229 | 2422 | 92.0% |
| ov_SC05_001 | 2249 | 1702 | 0 | 2254 | 2574 | 87.6% |
| ov_SC05_002 | 2231 | 1702 | 0 | 2234 | 2442 | 91.5% |
| ov_SC05_003 | 2228 | 1702 | 0 | 2229 | 2481 | 89.8% |
| ov_SC05_004 | 2223 | 1702 | 0 | 2225 | 2464 | 90.3% |
| ov_SC05_005 | 2230 | 1702 | 0 | 2231 | 2491 | 89.6% |
| ov_SC05_006 | 2222 | 1702 | 0 | 2222 | 2430 | 91.4% |
| ov_SC05_007 | 2232 | 1702 | 0 | 2237 | 2482 | 90.1% |
| ov_SC05_008 | 2249 | 1702 | 0 | 2251 | 2543 | 88.5% |
| ov_SC05_009 | 2227 | 1702 | 0 | 2231 | 2438 | 91.5% |
| ov_SC05_010 | 2253 | 1702 | 0 | 2257 | 2588 | 87.2% |
| ov_SC05_011 | 2225 | 1702 | 0 | 2226 | 2409 | 92.4% |
| ov_SC05_017 | 2333 | 1699 | 0 | 2344 | 2842 | 82.5% |
| ov_SC05_018 | 2280 | 1702 | 0 | 2293 | 2673 | 85.8% |
| ov_SC05_019 | 2230 | 1704 | 0 | 2230 | 2423 | 92.0% |
| ov_SC06_000 | 2292 | 1711 | 0 | 2295 | 2691 | 85.3% |
| ov_SC06_006 | 2245 | 1702 | 0 | 2246 | 2511 | 89.4% |
| ov_SC06_008 | 2255 | 1704 | 0 | 2261 | 2542 | 88.9% |
| ov_SC06_010 | 2238 | 1702 | 0 | 2243 | 2517 | 89.1% |
| ov_SC06_011 | 2234 | 1702 | 0 | 2238 | 2468 | 90.7% |
| ov_SC06_013 | 2227 | 1702 | 0 | 2228 | 2425 | 91.9% |
| ov_SC06_014 | 2233 | 1702 | 0 | 2235 | 2453 | 91.1% |
| ov_SC06_015 | 2230 | 1702 | 0 | 2230 | 2421 | 92.1% |
| ov_SC06_016 | 2248 | 1702 | 0 | 2250 | 2549 | 88.3% |
| ov_SC06_018 | 2247 | 1705 | 0 | 2254 | 2665 | 84.6% |
| ov_SC06_020 | 2237 | 1704 | 0 | 2238 | 2518 | 88.9% |
| ov_SC06_022 | 2251 | 1702 | 0 | 2259 | 2642 | 85.5% |
| ov_SC06_024 | 2257 | 1702 | 0 | 2263 | 2667 | 84.9% |
| ov_SC06_025 | 2248 | 1702 | 0 | 2253 | 2572 | 87.6% |
| ov_SC06_027 | 2216 | 1702 | 0 | 2217 | 2408 | 92.1% |
| ov_SC06_029 | 2274 | 1702 | 0 | 2286 | 2662 | 85.9% |
| ov_SC06_030 | 2229 | 1702 | 0 | 2229 | 2456 | 90.8% |
| ov_SC06_032 | 2241 | 1703 | 0 | 2248 | 2658 | 84.6% |
| ov_SC06_033 | 2244 | 1703 | 0 | 2251 | 2631 | 85.6% |
| ov_SC07_000 | 2244 | 1706 | 0 | 2246 | 2521 | 89.1% |
| ov_SC07_001 | 2229 | 1702 | 0 | 2231 | 2454 | 90.9% |
| ov_SC07_002 | 2256 | 1702 | 0 | 2260 | 2579 | 87.6% |
| ov_SC01_080 | 2260 | 1702 | 0 | 2260 | 2512 | 90.0% |
| ov_SC01_084 | 2267 | 1702 | 0 | 2272 | 2579 | 88.1% |
| ov_SC02_000 | 2320 | 1737 | 0 | 2320 | 2683 | 86.5% |
| ov_SC02_003 | 2320 | 1737 | 0 | 2320 | 2683 | 86.5% |
| ov_SC02_004 | 2226 | 1702 | 0 | 2226 | 2401 | 92.7% |
| ov_SC02_005 | 2333 | 1698 | 0 | 2343 | 2927 | 80.0% |
| ov_SC02_011 | 2344 | 1705 | 0 | 2355 | 2893 | 81.4% |
| ov_SC02_015 | 2227 | 1704 | 0 | 2227 | 2414 | 92.3% |
| ov_SC02_016 | 2258 | 1704 | 0 | 2261 | 2545 | 88.8% |
| ov_SC02_017 | 2304 | 1704 | 0 | 2312 | 2732 | 84.6% |
| ov_SC02_021 | 2233 | 1704 | 0 | 2233 | 2437 | 91.6% |
| ov_SC02_026 | 2248 | 1702 | 0 | 2254 | 2572 | 87.6% |
| ov_SC02_027 | 2271 | 1702 | 0 | 2280 | 2692 | 84.7% |
| ov_SC02_028 | 2272 | 1702 | 0 | 2282 | 2701 | 84.5% |
| ov_SC02_031 | 2258 | 1703 | 0 | 2263 | 2562 | 88.3% |
| ov_SC02_035 | 2234 | 1702 | 0 | 2237 | 2520 | 88.8% |
| ov_SC02_039 | 2219 | 1702 | 0 | 2219 | 2416 | 91.8% |
| ov_SC02_041 | 2254 | 1702 | 0 | 2257 | 2561 | 88.1% |
| ov_SC03_001 | 2355 | 1703 | 0 | 2372 | 2869 | 82.7% |
| ov_SC03_002 | 2281 | 1707 | 0 | 2296 | 2631 | 87.3% |
| ov_SC03_003 | 2229 | 1702 | 0 | 2230 | 2423 | 92.0% |
| ov_SC03_006 | 2294 | 1708 | 0 | 2303 | 2767 | 83.2% |
| ov_SC03_007 | 2274 | 1702 | 0 | 2278 | 2623 | 86.8% |
| ov_SC03_010 | 2235 | 1702 | 0 | 2235 | 2470 | 90.5% |
| ov_SC03_011 | 2243 | 1702 | 0 | 2249 | 2527 | 89.0% |
| ov_SC03_012 | 2221 | 1702 | 0 | 2222 | 2406 | 92.4% |
| ov_SC03_013 | 2240 | 1702 | 0 | 2240 | 2492 | 89.9% |
| ov_SC03_014 | 2299 | 1727 | 0 | 2299 | 2685 | 85.6% |
| ov_SC03_015 | 2299 | 1727 | 0 | 2299 | 2685 | 85.6% |
| ov_SC03_023 | 2227 | 1702 | 0 | 2228 | 2435 | 91.5% |
| ov_SC03_024 | 2286 | 1707 | 0 | 2293 | 2641 | 86.8% |
| ov_SC03_028 | 2267 | 1702 | 0 | 2271 | 2664 | 85.2% |
| ov_SC03_029 | 2269 | 1704 | 0 | 2279 | 2644 | 86.2% |
| ov_SC03_030 | 2242 | 1707 | 0 | 2244 | 2495 | 89.9% |
| ov_SC03_031 | 2239 | 1702 | 0 | 2242 | 2514 | 89.2% |
| ov_SC03_089 | 2253 | 1702 | 0 | 2260 | 2581 | 87.6% |
| ov_SC03_090 | 2255 | 1702 | 0 | 2263 | 2625 | 86.2% |
| ov_SC03_091 | 2258 | 1702 | 0 | 2266 | 2640 | 85.8% |
| ov_SC03_092 | 2269 | 1702 | 0 | 2281 | 2587 | 88.2% |
| ov_SC03_093 | 2245 | 1702 | 0 | 2249 | 2563 | 87.7% |
| ov_SC03_094 | 2240 | 1702 | 0 | 2246 | 2577 | 87.2% |
| ov_SC03_095 | 2230 | 1702 | 0 | 2233 | 2474 | 90.3% |
| ov_SC03_096 | 2230 | 1702 | 0 | 2233 | 2465 | 90.6% |
| ov_SC03_097 | 2259 | 1702 | 0 | 2266 | 2603 | 87.1% |
| ov_SC03_098 | 2238 | 1702 | 0 | 2241 | 2541 | 88.2% |
| ov_SC03_099 | 2231 | 1702 | 0 | 2234 | 2504 | 89.2% |
| ov_SC03_100 | 2241 | 1702 | 0 | 2245 | 2539 | 88.4% |
| ov_SC03_101 | 2241 | 1702 | 0 | 2245 | 2528 | 88.8% |
| ov_SC03_102 | 2233 | 1702 | 0 | 2236 | 2492 | 89.7% |
| ov_SC03_103 | 2236 | 1704 | 0 | 2239 | 2510 | 89.2% |
| ov_SC03_104 | 2261 | 1702 | 0 | 2268 | 2616 | 86.7% |
| ov_SC03_105 | 2255 | 1702 | 0 | 2262 | 2597 | 87.1% |
| ov_SC03_108 | 2223 | 1702 | 0 | 2223 | 2443 | 91.0% |
| ov_SC03_109 | 2224 | 1702 | 0 | 2226 | 2424 | 91.8% |
| ov_SC03_110 | 2229 | 1702 | 0 | 2229 | 2468 | 90.3% |
| ov_SC03_111 | 2241 | 1702 | 0 | 2244 | 2510 | 89.4% |
| ov_SC03_112 | 2234 | 1704 | 0 | 2236 | 2526 | 88.5% |
| ov_SC03_113 | 2227 | 1704 | 0 | 2230 | 2468 | 90.4% |
| ov_SC03_114 | 2217 | 1702 | 0 | 2219 | 2415 | 91.9% |
| ov_SC03_115 | 2234 | 1702 | 0 | 2236 | 2472 | 90.5% |
| ov_SC03_116 | 2224 | 1702 | 0 | 2227 | 2438 | 91.3% |
| ov_SC03_117 | 2252 | 1702 | 0 | 2258 | 2557 | 88.3% |
| ov_SC03_118 | 2299 | 1726 | 0 | 2300 | 2685 | 85.7% |
| ov_SC03_119 | 2298 | 1726 | 0 | 2299 | 2685 | 85.6% |
| ov_SC03_121 | 2231 | 1702 | 0 | 2234 | 2459 | 90.8% |
| ov_SC03_124 | 2311 | 1698 | 0 | 2331 | 2741 | 85.0% |
| ov_SC03_125 | 2268 | 1702 | 0 | 2280 | 2588 | 88.1% |
| ov_SC03_126 | 2230 | 1704 | 0 | 2230 | 2423 | 92.0% |
| ov_SC04_000 | 2246 | 1706 | 0 | 2255 | 2546 | 88.6% |
| ov_SC04_002 | 2262 | 1702 | 0 | 2266 | 2636 | 86.0% |
| ov_SC04_003 | 2240 | 1702 | 0 | 2244 | 2502 | 89.7% |
| ov_SC04_004 | 2249 | 1702 | 0 | 2251 | 2558 | 88.0% |
| ov_SC04_005 | 2257 | 1702 | 0 | 2263 | 2612 | 86.6% |
| ov_SC04_006 | 2230 | 1702 | 0 | 2232 | 2454 | 91.0% |
| ov_SC04_007 | 2250 | 1702 | 0 | 2254 | 2569 | 87.7% |
| ov_SC04_008 | 2220 | 1702 | 0 | 2220 | 2415 | 91.9% |
| ov_SC04_009 | 2236 | 1702 | 0 | 2239 | 2441 | 91.7% |
| ov_SC04_010 | 2227 | 1702 | 0 | 2228 | 2419 | 92.1% |
| ov_SC04_011 | 2283 | 1702 | 0 | 2289 | 2803 | 81.7% |
| ov_SC04_012 | 2223 | 1702 | 0 | 2224 | 2420 | 91.9% |
| ov_SC04_015 | 2288 | 1703 | 0 | 2299 | 2611 | 88.1% |
| ov_SC04_016 | 2226 | 1702 | 0 | 2228 | 2440 | 91.3% |
| ov_SC04_018 | 2338 | 1737 | 0 | 2338 | 2857 | 81.8% |
| ov_SC04_019 | 2344 | 1737 | 0 | 2344 | 2857 | 82.0% |
| ov_SC04_020 | 2255 | 1702 | 0 | 2267 | 2567 | 88.3% |
| ov_SC04_021 | 2231 | 1704 | 0 | 2231 | 2423 | 92.1% |
| ov_SC05_000 | 2227 | 1706 | 0 | 2230 | 2422 | 92.1% |
| ov_SC05_001 | 2250 | 1702 | 0 | 2255 | 2574 | 87.6% |
| ov_SC05_002 | 2232 | 1702 | 0 | 2235 | 2442 | 91.5% |
| ov_SC05_003 | 2229 | 1702 | 0 | 2230 | 2481 | 89.9% |
| ov_SC05_004 | 2224 | 1702 | 0 | 2226 | 2464 | 90.3% |
| ov_SC05_005 | 2231 | 1702 | 0 | 2232 | 2491 | 89.6% |
| ov_SC05_006 | 2223 | 1702 | 0 | 2223 | 2430 | 91.5% |
| ov_SC05_007 | 2233 | 1702 | 0 | 2238 | 2482 | 90.2% |
| ov_SC05_008 | 2250 | 1702 | 0 | 2252 | 2543 | 88.6% |
| ov_SC05_009 | 2228 | 1702 | 0 | 2232 | 2438 | 91.6% |
| ov_SC05_010 | 2254 | 1702 | 0 | 2258 | 2588 | 87.2% |
| ov_SC05_011 | 2226 | 1702 | 0 | 2227 | 2409 | 92.4% |
| ov_SC05_017 | 2334 | 1699 | 0 | 2345 | 2842 | 82.5% |
| ov_SC05_018 | 2281 | 1702 | 0 | 2294 | 2673 | 85.8% |
| ov_SC05_019 | 2231 | 1704 | 0 | 2231 | 2423 | 92.1% |
| ov_SC06_000 | 2293 | 1711 | 0 | 2296 | 2691 | 85.3% |
| ov_SC06_006 | 2246 | 1702 | 0 | 2247 | 2511 | 89.5% |
| ov_SC06_008 | 2256 | 1704 | 0 | 2262 | 2542 | 89.0% |
| ov_SC06_010 | 2239 | 1702 | 0 | 2244 | 2517 | 89.2% |
| ov_SC06_011 | 2235 | 1702 | 0 | 2239 | 2468 | 90.7% |
| ov_SC06_013 | 2228 | 1702 | 0 | 2229 | 2425 | 91.9% |
| ov_SC06_014 | 2234 | 1702 | 0 | 2236 | 2453 | 91.2% |
| ov_SC06_015 | 2231 | 1702 | 0 | 2231 | 2421 | 92.2% |
| ov_SC06_016 | 2249 | 1702 | 0 | 2251 | 2549 | 88.3% |
| ov_SC06_018 | 2249 | 1705 | 0 | 2256 | 2665 | 84.7% |
| ov_SC06_020 | 2238 | 1704 | 0 | 2239 | 2518 | 88.9% |
| ov_SC06_022 | 2252 | 1702 | 0 | 2260 | 2642 | 85.5% |
| ov_SC06_024 | 2258 | 1702 | 0 | 2264 | 2667 | 84.9% |
| ov_SC06_025 | 2249 | 1702 | 0 | 2254 | 2572 | 87.6% |
| ov_SC06_027 | 2217 | 1702 | 0 | 2218 | 2408 | 92.1% |
| ov_SC06_029 | 2275 | 1702 | 0 | 2287 | 2662 | 85.9% |
| ov_SC06_030 | 2230 | 1702 | 0 | 2230 | 2456 | 90.8% |
| ov_SC06_032 | 2242 | 1703 | 0 | 2249 | 2658 | 84.6% |
| ov_SC06_033 | 2245 | 1703 | 0 | 2252 | 2631 | 85.6% |
| ov_SC07_000 | 2245 | 1706 | 0 | 2247 | 2521 | 89.1% |
| ov_SC07_001 | 2230 | 1702 | 0 | 2232 | 2454 | 91.0% |
| ov_SC07_002 | 2257 | 1702 | 0 | 2261 | 2579 | 87.7% |
| ov_SC07_006 | 1997 | 1549 | 0 | 2077 | 2456 | 84.6% |
| ov_SC07_007 | 2014 | 1550 | 0 | 2098 | 2614 | 80.3% |
| ov_SC07_008 | 2213 | 1702 | 0 | 2213 | 2386 | 92.7% |
| ov_SC07_009 | 2223 | 1702 | 0 | 2225 | 2430 | 91.6% |
| ov_SC07_008 | 2214 | 1702 | 0 | 2214 | 2386 | 92.8% |
| ov_SC07_009 | 2224 | 1702 | 0 | 2226 | 2430 | 91.6% |
| ov_SC07_010 | 2025 | 1550 | 0 | 2108 | 2526 | 83.5% |
| ov_SC07_011 | 2013 | 1549 | 0 | 2093 | 2450 | 85.4% |