# OCME ยท Knowledge & practice explorer 302 MKO / 1,441 families / 360 batches / 36,000 questions. 36,000 second-context math/bilingual reviewed; 0 display/symbol-checked candidates. Source questions: candidate. English: ai_candidate. No new proof, Lean, SREG or training. 25 results; page 1/1. ## Question 24776: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0001`; number: 24776 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0001/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0001/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0001.json) ## Question 24777: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0002`; number: 24777 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0002/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0002/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0002.json) ## Question 24778: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0003`; number: 24778 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0003/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0003/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0003.json) ## Question 24779: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0004`; number: 24779 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0004/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0004/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0004.json) ## Question 24780: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0005`; number: 24780 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0005/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0005/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0005.json) ## Question 24781: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0006`; number: 24781 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0006/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0006/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0006.json) ## Question 24782: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0007`; number: 24782 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0007/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0007/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0007.json) ## Question 24783: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0008`; number: 24783 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0008/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0008/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0008.json) ## Question 24784: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0009`; number: 24784 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0009/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0009/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0009.json) ## Question 24785: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0010`; number: 24785 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0010/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0010/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0010.json) ## Question 24786: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0011`; number: 24786 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0011/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0011/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0011.json) ## Question 24787: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0012`; number: 24787 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0012/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0012/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0012.json) ## Question 24788: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0013`; number: 24788 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0013/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0013/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0013.json) ## Question 24789: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0014`; number: 24789 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0014/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0014/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0014.json) ## Question 24790: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0015`; number: 24790 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0015/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0015/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0015.json) ## Question 24791: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0016`; number: 24791 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0016/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0016/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0016.json) ## Question 24792: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0017`; number: 24792 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0017/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0017/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0017.json) ## Question 24793: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0018`; number: 24793 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0018/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0018/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0018.json) ## Question 24794: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0019`; number: 24794 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0019/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0019/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0019.json) ## Question 24795: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0020`; number: 24795 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0020/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0020/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0020.json) ## Question 24796: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0021`; number: 24796 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0021/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0021/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0021.json) ## Question 24797: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0022`; number: 24797 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0022/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0022/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0022.json) ## Question 24798: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0023`; number: 24798 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0023/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0023/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0023.json) ## Question 24799: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0024`; number: 24799 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0024/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0024/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0024.json) ## Question 24800: A Qualified Deterministic Single-Tape Signature Is Not Yet a Global Decider - ID: `q-20261015-advance-20261113-r05-turing-machine-decision-model-0025`; number: 24800 - Processing: second_context_reviewed - MKO: [mko-turing-machine-decision-model](/en/mko/mko-turing-machine-decision-model/) - Family: [qf-mod44-tm-signature-qualification](/en/explore/?family=qf-mod44-tm-signature-qualification) - Batch: [batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations](/en/explore/?batch=batch-20261015-advance-20261113-r05-turing-machine-decision-model-foundations) - [Derivation](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0025/) / [Markdown](/en/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0025/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261113-r05-turing-machine-decision-model-0025.json)