# 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 8276: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0001`; number: 8276
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0001/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0001/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0001.json)

## Question 8277: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0002`; number: 8277
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0002/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0002/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0002.json)

## Question 8278: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0003`; number: 8278
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0003/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0003/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0003.json)

## Question 8279: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0004`; number: 8279
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0004/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0004/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0004.json)

## Question 8280: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0005`; number: 8280
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0005/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0005/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0005.json)

## Question 8281: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0006`; number: 8281
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0006/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0006/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0006.json)

## Question 8282: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0007`; number: 8282
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0007/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0007/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0007.json)

## Question 8283: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0008`; number: 8283
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0008/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0008/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0008.json)

## Question 8284: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0009`; number: 8284
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0009/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0009/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0009.json)

## Question 8285: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0010`; number: 8285
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0010/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0010/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0010.json)

## Question 8286: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0011`; number: 8286
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0011/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0011/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0011.json)

## Question 8287: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0012`; number: 8287
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0012/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0012/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0012.json)

## Question 8288: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0013`; number: 8288
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0013/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0013/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0013.json)

## Question 8289: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0014`; number: 8289
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0014/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0014/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0014.json)

## Question 8290: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0015`; number: 8290
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0015/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0015/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0015.json)

## Question 8291: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0016`; number: 8291
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0016/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0016/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0016.json)

## Question 8292: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0017`; number: 8292
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0017/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0017/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0017.json)

## Question 8293: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0018`; number: 8293
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0018/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0018/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0018.json)

## Question 8294: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0019`; number: 8294
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0019/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0019/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0019.json)

## Question 8295: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0020`; number: 8295
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0020/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0020/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0020.json)

## Question 8296: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0021`; number: 8296
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0021/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0021/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0021.json)

## Question 8297: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0022`; number: 8297
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0022/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0022/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0022.json)

## Question 8298: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0023`; number: 8298
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0023/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0023/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0023.json)

## Question 8299: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0024`; number: 8299
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0024/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0024/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0024.json)

## Question 8300: Stable Rational Sort with Original Index Witnesses

- ID: `q-20261012-advance-20261017-r04-order-relation-0025`; number: 8300
- Processing: second_context_reviewed
- MKO: [mko-order-relation](/en/mko/mko-order-relation/)
- Family: [qf-density17-order-three-rational-sort](/en/explore/?family=qf-density17-order-three-rational-sort)
- Batch: [batch-20261012-advance-20261017-r04-order-relation-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r04-order-relation-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261017-r04-order-relation-0025/) / [Markdown](/en/questions/q-20261012-advance-20261017-r04-order-relation-0025/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r04-order-relation-0025.json)

