{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0001","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"b7cfd1c6565768b38e9a4096be29322f8cdd07fca5ef8283e067f6a406c96020","family_id":"qf-finite-set-union","seed":20260915,"semantic_template":"qf-finite-set-union/{\"A\":[1,3,5],\"B\":[3,4,6]}"},"fields":{"title":"Finite Set Union","stem":"Let A={1, 3, 5} and B={3, 4, 6}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{1, 3, 4, 5, 6}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {1, 3, 4, 5, 6}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0002","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"16ee98fb950271049ff4ed0ff02f5c634ea6dc8b7de596980f532669d12adf5d","family_id":"qf-finite-set-union","seed":20260916,"semantic_template":"qf-finite-set-union/{\"A\":[11,13,15],\"B\":[13,14,16]}"},"fields":{"title":"Finite Set Union","stem":"Let A={11, 13, 15} and B={13, 14, 16}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{11, 13, 14, 15, 16}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {11, 13, 14, 15, 16}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0003","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"8d21d0aa32f9e3bd4801a7557dfe59c7c1c919bbaa81935e0b04586b95d5f533","family_id":"qf-finite-set-union","seed":20260917,"semantic_template":"qf-finite-set-union/{\"A\":[21,23,25],\"B\":[23,24,26]}"},"fields":{"title":"Finite Set Union","stem":"Let A={21, 23, 25} and B={23, 24, 26}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{21, 23, 24, 25, 26}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {21, 23, 24, 25, 26}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0004","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"18476e74a5513680bdb25655bdee6a3274008a5013b65674ad1d5b6ad24b71b7","family_id":"qf-finite-set-union","seed":20260918,"semantic_template":"qf-finite-set-union/{\"A\":[31,33,35],\"B\":[33,34,36]}"},"fields":{"title":"Finite Set Union","stem":"Let A={31, 33, 35} and B={33, 34, 36}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{31, 33, 34, 35, 36}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {31, 33, 34, 35, 36}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0005","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"36e15cb202f2852e5609a3cfa18fdf59eeb8070bc907d3366669a13a81f741f3","family_id":"qf-finite-set-union","seed":20260919,"semantic_template":"qf-finite-set-union/{\"A\":[41,43,45],\"B\":[43,44,46]}"},"fields":{"title":"Finite Set Union","stem":"Let A={41, 43, 45} and B={43, 44, 46}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{41, 43, 44, 45, 46}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {41, 43, 44, 45, 46}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0006","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"e50121fa8626c34853f39a215ca1c9bbd89d61b43a498edcec2665390afb0ecd","family_id":"qf-finite-set-union","seed":20260920,"semantic_template":"qf-finite-set-union/{\"A\":[51,53,55],\"B\":[53,54,56]}"},"fields":{"title":"Finite Set Union","stem":"Let A={51, 53, 55} and B={53, 54, 56}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{51, 53, 54, 55, 56}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {51, 53, 54, 55, 56}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0007","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"17c73904a9007a7ff543818c593196e3c1d27e4646173527c40939960163ddc0","family_id":"qf-finite-set-union","seed":20260921,"semantic_template":"qf-finite-set-union/{\"A\":[61,63,65],\"B\":[63,64,66]}"},"fields":{"title":"Finite Set Union","stem":"Let A={61, 63, 65} and B={63, 64, 66}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{61, 63, 64, 65, 66}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {61, 63, 64, 65, 66}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0008","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"ef4e9d5a294aee68063892e23a6793b85e1d1ef115b9ec0ded2e03dda1989802","family_id":"qf-finite-set-union","seed":20260922,"semantic_template":"qf-finite-set-union/{\"A\":[71,73,75],\"B\":[73,74,76]}"},"fields":{"title":"Finite Set Union","stem":"Let A={71, 73, 75} and B={73, 74, 76}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{71, 73, 74, 75, 76}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {71, 73, 74, 75, 76}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0009","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"a74f41c476356a45fc2722e2eca27f1148cfabb27a3c396fe5d3236a267b655b","family_id":"qf-finite-set-union","seed":20260923,"semantic_template":"qf-finite-set-union/{\"A\":[81,83,85],\"B\":[83,84,86]}"},"fields":{"title":"Finite Set Union","stem":"Let A={81, 83, 85} and B={83, 84, 86}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{81, 83, 84, 85, 86}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {81, 83, 84, 85, 86}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0010","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"0331269bf923b6df8b509cd9e5c89fc923a8b4531944034ba49f6317d49bee94","family_id":"qf-finite-set-union","seed":20260924,"semantic_template":"qf-finite-set-union/{\"A\":[91,93,95],\"B\":[93,94,96]}"},"fields":{"title":"Finite Set Union","stem":"Let A={91, 93, 95} and B={93, 94, 96}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{91, 93, 94, 95, 96}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {91, 93, 94, 95, 96}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0011","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"255d12277b6c15469a550e4ce8cd5b964e17153ed869b23ba319b889e046c24a","family_id":"qf-finite-set-union","seed":20260925,"semantic_template":"qf-finite-set-union/{\"A\":[101,103,105],\"B\":[103,104,106]}"},"fields":{"title":"Finite Set Union","stem":"Let A={101, 103, 105} and B={103, 104, 106}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{101, 103, 104, 105, 106}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {101, 103, 104, 105, 106}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0012","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"4e20995c82336ea6b3517311adfcdd4db5e8055c93074e87b78b8e4b522a5d15","family_id":"qf-finite-set-union","seed":20260926,"semantic_template":"qf-finite-set-union/{\"A\":[111,113,115],\"B\":[113,114,116]}"},"fields":{"title":"Finite Set Union","stem":"Let A={111, 113, 115} and B={113, 114, 116}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{111, 113, 114, 115, 116}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {111, 113, 114, 115, 116}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0013","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"bda0282e431fcb88c747ae1491a4d5519a7e11a6e40c7c93c0aa3c4780fe634f","family_id":"qf-finite-set-union","seed":20260927,"semantic_template":"qf-finite-set-union/{\"A\":[121,123,125],\"B\":[123,124,126]}"},"fields":{"title":"Finite Set Union","stem":"Let A={121, 123, 125} and B={123, 124, 126}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{121, 123, 124, 125, 126}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {121, 123, 124, 125, 126}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0014","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"1310b8449ceb192ac350a1819f53f4695eefa5a68037c2968cb2ec6c43ed716c","family_id":"qf-finite-set-union","seed":20260928,"semantic_template":"qf-finite-set-union/{\"A\":[131,133,135],\"B\":[133,134,136]}"},"fields":{"title":"Finite Set Union","stem":"Let A={131, 133, 135} and B={133, 134, 136}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{131, 133, 134, 135, 136}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {131, 133, 134, 135, 136}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0015","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"b8c4775c8c517c5c01d6d715877618ba57d984cd169a58fb941218bb10740950","family_id":"qf-finite-set-union","seed":20260929,"semantic_template":"qf-finite-set-union/{\"A\":[141,143,145],\"B\":[143,144,146]}"},"fields":{"title":"Finite Set Union","stem":"Let A={141, 143, 145} and B={143, 144, 146}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{141, 143, 144, 145, 146}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {141, 143, 144, 145, 146}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0016","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"4aee89f89d49cb0e2711c0d54ed165d20abb64ee760f71a2d7f744614a2c8126","family_id":"qf-finite-set-union","seed":20260930,"semantic_template":"qf-finite-set-union/{\"A\":[151,153,155],\"B\":[153,154,156]}"},"fields":{"title":"Finite Set Union","stem":"Let A={151, 153, 155} and B={153, 154, 156}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{151, 153, 154, 155, 156}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {151, 153, 154, 155, 156}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0017","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"437e8d015b0966cba016a48311386483e5c0114149b3b6c5a1fe6aa2eddd16b6","family_id":"qf-finite-set-union","seed":20260931,"semantic_template":"qf-finite-set-union/{\"A\":[161,163,165],\"B\":[163,164,166]}"},"fields":{"title":"Finite Set Union","stem":"Let A={161, 163, 165} and B={163, 164, 166}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{161, 163, 164, 165, 166}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {161, 163, 164, 165, 166}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0018","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"e8eb5537e56e0930598a3e9eb536059bc25f92e0b197423a891b4ee33319f524","family_id":"qf-finite-set-union","seed":20260932,"semantic_template":"qf-finite-set-union/{\"A\":[171,173,175],\"B\":[173,174,176]}"},"fields":{"title":"Finite Set Union","stem":"Let A={171, 173, 175} and B={173, 174, 176}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{171, 173, 174, 175, 176}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {171, 173, 174, 175, 176}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0019","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"481a4a48c378eeb2b3d4d0d674b16178cce29ec97d6392e2af173fbaff6d8808","family_id":"qf-finite-set-union","seed":20260933,"semantic_template":"qf-finite-set-union/{\"A\":[181,183,185],\"B\":[183,184,186]}"},"fields":{"title":"Finite Set Union","stem":"Let A={181, 183, 185} and B={183, 184, 186}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{181, 183, 184, 185, 186}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {181, 183, 184, 185, 186}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0020","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"665c256434ccd702ad728bc9db907f27c5e1c8baf0d902edffaa3b80fc1cbdbf","family_id":"qf-finite-set-union","seed":20260934,"semantic_template":"qf-finite-set-union/{\"A\":[191,193,195],\"B\":[193,194,196]}"},"fields":{"title":"Finite Set Union","stem":"Let A={191, 193, 195} and B={193, 194, 196}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{191, 193, 194, 195, 196}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {191, 193, 194, 195, 196}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0021","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"ab200290fd59cce3810ca97c5103eed4477e9a4ea461b3a6686e7362ba3ce26c","family_id":"qf-finite-set-union","seed":20260935,"semantic_template":"qf-finite-set-union/{\"A\":[201,203,205],\"B\":[203,204,206]}"},"fields":{"title":"Finite Set Union","stem":"Let A={201, 203, 205} and B={203, 204, 206}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{201, 203, 204, 205, 206}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {201, 203, 204, 205, 206}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0022","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"b80e3684b38ba84313ee1541edce6a5f60770a8101730dd6f80578e757d6c439","family_id":"qf-finite-set-union","seed":20260936,"semantic_template":"qf-finite-set-union/{\"A\":[211,213,215],\"B\":[213,214,216]}"},"fields":{"title":"Finite Set Union","stem":"Let A={211, 213, 215} and B={213, 214, 216}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{211, 213, 214, 215, 216}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {211, 213, 214, 215, 216}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0023","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"b86745e9fd533016645d8247f7c744faec9ece81d7f6dedb6ad495479350e280","family_id":"qf-finite-set-union","seed":20260937,"semantic_template":"qf-finite-set-union/{\"A\":[221,223,225],\"B\":[223,224,226]}"},"fields":{"title":"Finite Set Union","stem":"Let A={221, 223, 225} and B={223, 224, 226}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{221, 223, 224, 225, 226}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {221, 223, 224, 225, 226}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0024","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"fceb6dc237a3d4a249e40a87815a7c79cca415126f4f23bf2af8f4d7a369736b","family_id":"qf-finite-set-union","seed":20260938,"semantic_template":"qf-finite-set-union/{\"A\":[231,233,235],\"B\":[233,234,236]}"},"fields":{"title":"Finite Set Union","stem":"Let A={231, 233, 235} and B={233, 234, 236}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{231, 233, 234, 235, 236}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {231, 233, 234, 235, 236}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-union-0025","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"66891aa0fc9da9e9034608798e069bba1642cf1cb1885ec254f12933f1224aec","family_id":"qf-finite-set-union","seed":20260939,"semantic_template":"qf-finite-set-union/{\"A\":[241,243,245],\"B\":[243,244,246]}"},"fields":{"title":"Finite Set Union","stem":"Let A={241, 243, 245} and B={243, 244, 246}. Find A∪B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{241, 243, 244, 245, 246}","explanation":"The union retains every element in A or B and lists duplicates only once, giving {241, 243, 244, 245, 246}."},"skills":["set union","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0001","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"c617e88bd5188592ba420a90553d6a757e8fb28e62b39d3d6ead806bae2f70b8","family_id":"qf-finite-set-intersection","seed":20260940,"semantic_template":"qf-finite-set-intersection/{\"A\":[301,302,304],\"B\":[302,304,306]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={301, 302, 304} and B={302, 304, 306}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{302, 304}","explanation":"The intersection retains exactly the elements common to A and B, giving {302, 304}."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0002","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"a8f31c73762ede183626739f9b0cac6f6f47136d3298cda5791b4e2b79734a83","family_id":"qf-finite-set-intersection","seed":20260941,"semantic_template":"qf-finite-set-intersection/{\"A\":[311,312,314],\"B\":[313,315,316]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={311, 312, 314} and B={313, 315, 316}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"∅","explanation":"The intersection retains exactly the elements common to A and B, giving ∅."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0003","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"e2b95b52708fbb899ae10c5e06f47ea6b2d2628c2c94ea641d79613efd75f244","family_id":"qf-finite-set-intersection","seed":20260942,"semantic_template":"qf-finite-set-intersection/{\"A\":[321,322,324],\"B\":[322,324,326]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={321, 322, 324} and B={322, 324, 326}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{322, 324}","explanation":"The intersection retains exactly the elements common to A and B, giving {322, 324}."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0004","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"f2301b40fa12fb67179f947a0de7efa78fcf29eb3df75068a78820680836c65d","family_id":"qf-finite-set-intersection","seed":20260943,"semantic_template":"qf-finite-set-intersection/{\"A\":[331,332,334],\"B\":[333,335,336]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={331, 332, 334} and B={333, 335, 336}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"∅","explanation":"The intersection retains exactly the elements common to A and B, giving ∅."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0005","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"d7df02f6df813592ff3bd6996562e5b9a99bb00614dd3b90dbb60c13ad031459","family_id":"qf-finite-set-intersection","seed":20260944,"semantic_template":"qf-finite-set-intersection/{\"A\":[341,342,344],\"B\":[342,344,346]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={341, 342, 344} and B={342, 344, 346}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{342, 344}","explanation":"The intersection retains exactly the elements common to A and B, giving {342, 344}."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0006","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"48600eab1abef4c565808266bf91d17761c228520891361579593fa6f57ddb9a","family_id":"qf-finite-set-intersection","seed":20260945,"semantic_template":"qf-finite-set-intersection/{\"A\":[351,352,354],\"B\":[353,355,356]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={351, 352, 354} and B={353, 355, 356}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"∅","explanation":"The intersection retains exactly the elements common to A and B, giving ∅."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0007","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"fc874c8bf9f64e152d2709cfdf789ab912cdf62c9de047543b0d836c2f7202a5","family_id":"qf-finite-set-intersection","seed":20260946,"semantic_template":"qf-finite-set-intersection/{\"A\":[361,362,364],\"B\":[362,364,366]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={361, 362, 364} and B={362, 364, 366}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{362, 364}","explanation":"The intersection retains exactly the elements common to A and B, giving {362, 364}."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0008","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"40c148830ccd275b30c442b99ba3ab0de8a12f30e9fae25249734e6ae89d9f11","family_id":"qf-finite-set-intersection","seed":20260947,"semantic_template":"qf-finite-set-intersection/{\"A\":[371,372,374],\"B\":[373,375,376]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={371, 372, 374} and B={373, 375, 376}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"∅","explanation":"The intersection retains exactly the elements common to A and B, giving ∅."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0009","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"4ed28eb53a6208274d6d160aa5655ca92cb028acfb07c7d88f4b5cf3e029b57c","family_id":"qf-finite-set-intersection","seed":20260948,"semantic_template":"qf-finite-set-intersection/{\"A\":[381,382,384],\"B\":[382,384,386]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={381, 382, 384} and B={382, 384, 386}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{382, 384}","explanation":"The intersection retains exactly the elements common to A and B, giving {382, 384}."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0010","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"68557c927903b03a9488e23f3c15df0882548ebdca53a7605a153c97311a44b6","family_id":"qf-finite-set-intersection","seed":20260949,"semantic_template":"qf-finite-set-intersection/{\"A\":[391,392,394],\"B\":[393,395,396]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={391, 392, 394} and B={393, 395, 396}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"∅","explanation":"The intersection retains exactly the elements common to A and B, giving ∅."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0011","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"9ac136b276cde544e4b6cbae0b59d913b49704bb34b9cdb3b6f25d45db54daf5","family_id":"qf-finite-set-intersection","seed":20260950,"semantic_template":"qf-finite-set-intersection/{\"A\":[401,402,404],\"B\":[402,404,406]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={401, 402, 404} and B={402, 404, 406}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{402, 404}","explanation":"The intersection retains exactly the elements common to A and B, giving {402, 404}."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0012","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"0e2e987da759a69230fcbd97c61b563e256e144fb7f62d5f5ba03e5d2fb884fb","family_id":"qf-finite-set-intersection","seed":20260951,"semantic_template":"qf-finite-set-intersection/{\"A\":[411,412,414],\"B\":[413,415,416]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={411, 412, 414} and B={413, 415, 416}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"∅","explanation":"The intersection retains exactly the elements common to A and B, giving ∅."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0013","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"2d305d79ceeda45c815fb3d004a1a7aa5e9f5c2be893a7469bece0342f73fdb9","family_id":"qf-finite-set-intersection","seed":20260952,"semantic_template":"qf-finite-set-intersection/{\"A\":[421,422,424],\"B\":[422,424,426]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={421, 422, 424} and B={422, 424, 426}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{422, 424}","explanation":"The intersection retains exactly the elements common to A and B, giving {422, 424}."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0014","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"0523c1949c9d1a5013fc4e4fc1b50eba28aa769dc4a7869c87688304afa1a349","family_id":"qf-finite-set-intersection","seed":20260953,"semantic_template":"qf-finite-set-intersection/{\"A\":[431,432,434],\"B\":[433,435,436]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={431, 432, 434} and B={433, 435, 436}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"∅","explanation":"The intersection retains exactly the elements common to A and B, giving ∅."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0015","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"030127ea0a84b28476444a9c291efb6af4506f84fa987932b09690db1568760b","family_id":"qf-finite-set-intersection","seed":20260954,"semantic_template":"qf-finite-set-intersection/{\"A\":[441,442,444],\"B\":[442,444,446]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={441, 442, 444} and B={442, 444, 446}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{442, 444}","explanation":"The intersection retains exactly the elements common to A and B, giving {442, 444}."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0016","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"6ac70c8f9dadd637b14f0c887c50cdd73c4c107f3197ac7e462307c6e88c9c02","family_id":"qf-finite-set-intersection","seed":20260955,"semantic_template":"qf-finite-set-intersection/{\"A\":[451,452,454],\"B\":[453,455,456]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={451, 452, 454} and B={453, 455, 456}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"∅","explanation":"The intersection retains exactly the elements common to A and B, giving ∅."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0017","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"3b9eeea3569a8307a252fd8871315db9d002c5594f04f6c0101316d31f8306b1","family_id":"qf-finite-set-intersection","seed":20260956,"semantic_template":"qf-finite-set-intersection/{\"A\":[461,462,464],\"B\":[462,464,466]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={461, 462, 464} and B={462, 464, 466}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{462, 464}","explanation":"The intersection retains exactly the elements common to A and B, giving {462, 464}."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0018","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"77ae6a2561233897b09ed4031d1bade655c20f20a2d39d31cd92f912839f9536","family_id":"qf-finite-set-intersection","seed":20260957,"semantic_template":"qf-finite-set-intersection/{\"A\":[471,472,474],\"B\":[473,475,476]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={471, 472, 474} and B={473, 475, 476}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"∅","explanation":"The intersection retains exactly the elements common to A and B, giving ∅."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0019","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"6e9560dea907190889da1888c2c29caa7add783beb5bb1ab1d6f2bc74df3021e","family_id":"qf-finite-set-intersection","seed":20260958,"semantic_template":"qf-finite-set-intersection/{\"A\":[481,482,484],\"B\":[482,484,486]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={481, 482, 484} and B={482, 484, 486}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{482, 484}","explanation":"The intersection retains exactly the elements common to A and B, giving {482, 484}."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0020","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"afbfb090db94c1f5ba8e2e4f9f6a981e149b023ee64f579c182d7f188cb0a190","family_id":"qf-finite-set-intersection","seed":20260959,"semantic_template":"qf-finite-set-intersection/{\"A\":[491,492,494],\"B\":[493,495,496]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={491, 492, 494} and B={493, 495, 496}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"∅","explanation":"The intersection retains exactly the elements common to A and B, giving ∅."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0021","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"90eeaa8b32dda32b7c547290444cfa18d417800940acce2877ad8eb6393920ef","family_id":"qf-finite-set-intersection","seed":20260960,"semantic_template":"qf-finite-set-intersection/{\"A\":[501,502,504],\"B\":[502,504,506]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={501, 502, 504} and B={502, 504, 506}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{502, 504}","explanation":"The intersection retains exactly the elements common to A and B, giving {502, 504}."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0022","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"722e21ddf02062938770fd79566f25d2ae5846337f79f8fbf7822cf0e3cb3f6c","family_id":"qf-finite-set-intersection","seed":20260961,"semantic_template":"qf-finite-set-intersection/{\"A\":[511,512,514],\"B\":[513,515,516]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={511, 512, 514} and B={513, 515, 516}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"∅","explanation":"The intersection retains exactly the elements common to A and B, giving ∅."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0023","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"794580e7b3db3c6ce6ed7819f04a859c70edfae901a91a35c54173d8056fe599","family_id":"qf-finite-set-intersection","seed":20260962,"semantic_template":"qf-finite-set-intersection/{\"A\":[521,522,524],\"B\":[522,524,526]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={521, 522, 524} and B={522, 524, 526}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{522, 524}","explanation":"The intersection retains exactly the elements common to A and B, giving {522, 524}."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0024","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"44c7c8bb76260f51c3ef0a2a7e575fc5c401fdaa8b15be6840bad89817394e57","family_id":"qf-finite-set-intersection","seed":20260963,"semantic_template":"qf-finite-set-intersection/{\"A\":[531,532,534],\"B\":[533,535,536]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={531, 532, 534} and B={533, 535, 536}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"∅","explanation":"The intersection retains exactly the elements common to A and B, giving ∅."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-intersection-0025","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"0d6b5036b464d46f08f4d21a8e59ad2b8dd67f9affe9d8399db11d7381ec5fd3","family_id":"qf-finite-set-intersection","seed":20260964,"semantic_template":"qf-finite-set-intersection/{\"A\":[541,542,544],\"B\":[542,544,546]}"},"fields":{"title":"Finite Set Intersection","stem":"Let A={541, 542, 544} and B={542, 544, 546}. Find A∩B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{542, 544}","explanation":"The intersection retains exactly the elements common to A and B, giving {542, 544}."},"skills":["set intersection","extensional equality"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0001","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"d5e497ca241192288641fa42d3c9b41ae80bb2e3b2611d4ada6f968794ff16fd","family_id":"qf-finite-set-difference","seed":20260965,"semantic_template":"qf-finite-set-difference/{\"A\":[601,602,604,606],\"B\":[602,605,606]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={601, 602, 604, 606} and B={602, 605, 606}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{601, 604}","explanation":"A\\B retains elements in A that are not in B, giving {601, 604}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0002","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"f7f55da47ce738c298f83c2147ce99735d4b7e7ac74bcfe5dd2c7dd54b2466d9","family_id":"qf-finite-set-difference","seed":20260966,"semantic_template":"qf-finite-set-difference/{\"A\":[611,612,614,616],\"B\":[612,615,616]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={611, 612, 614, 616} and B={612, 615, 616}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{611, 614}","explanation":"A\\B retains elements in A that are not in B, giving {611, 614}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0003","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"a69e2fc151a6de799da4930dadc5bbef3a42aea913028e157d792edd3b03e735","family_id":"qf-finite-set-difference","seed":20260967,"semantic_template":"qf-finite-set-difference/{\"A\":[621,622,624,626],\"B\":[622,625,626]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={621, 622, 624, 626} and B={622, 625, 626}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{621, 624}","explanation":"A\\B retains elements in A that are not in B, giving {621, 624}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0004","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"50c8cc4d90a66925fc652a6a1d1579bb59289de6d0ffec59376f1e7262237dc5","family_id":"qf-finite-set-difference","seed":20260968,"semantic_template":"qf-finite-set-difference/{\"A\":[631,632,634,636],\"B\":[632,635,636]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={631, 632, 634, 636} and B={632, 635, 636}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{631, 634}","explanation":"A\\B retains elements in A that are not in B, giving {631, 634}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0005","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"ec6cd67d9fd689966025af206552054d5acff2d4dba118fad8b0d779eb4ab8f9","family_id":"qf-finite-set-difference","seed":20260969,"semantic_template":"qf-finite-set-difference/{\"A\":[641,642,644,646],\"B\":[642,645,646]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={641, 642, 644, 646} and B={642, 645, 646}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{641, 644}","explanation":"A\\B retains elements in A that are not in B, giving {641, 644}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0006","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"24cbe303a0f8c8f5e81b2845a04d296ec728949200cdef1864d6915bf8d4204e","family_id":"qf-finite-set-difference","seed":20260970,"semantic_template":"qf-finite-set-difference/{\"A\":[651,652,654,656],\"B\":[652,655,656]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={651, 652, 654, 656} and B={652, 655, 656}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{651, 654}","explanation":"A\\B retains elements in A that are not in B, giving {651, 654}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0007","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"35a02faae3e47bda6ffeb23e48bfe9ed0e465a1637c7fa56bd9a67bd20175292","family_id":"qf-finite-set-difference","seed":20260971,"semantic_template":"qf-finite-set-difference/{\"A\":[661,662,664,666],\"B\":[662,665,666]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={661, 662, 664, 666} and B={662, 665, 666}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{661, 664}","explanation":"A\\B retains elements in A that are not in B, giving {661, 664}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0008","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"51a3ff5a8bcd2e245c616aeee1441484407ebc98ba54f68b0ef5739335f755a0","family_id":"qf-finite-set-difference","seed":20260972,"semantic_template":"qf-finite-set-difference/{\"A\":[671,672,674,676],\"B\":[672,675,676]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={671, 672, 674, 676} and B={672, 675, 676}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{671, 674}","explanation":"A\\B retains elements in A that are not in B, giving {671, 674}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0009","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"b5fdc5f590eb39bad59b6681c55f8f8f864bccd965c58aca906237c99d7cbf89","family_id":"qf-finite-set-difference","seed":20260973,"semantic_template":"qf-finite-set-difference/{\"A\":[681,682,684,686],\"B\":[682,685,686]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={681, 682, 684, 686} and B={682, 685, 686}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{681, 684}","explanation":"A\\B retains elements in A that are not in B, giving {681, 684}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0010","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"8a2b7341b07cd07940cd17292482aa438a6026ae5bf36a6edc87b173167420c1","family_id":"qf-finite-set-difference","seed":20260974,"semantic_template":"qf-finite-set-difference/{\"A\":[691,692,694,696],\"B\":[692,695,696]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={691, 692, 694, 696} and B={692, 695, 696}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{691, 694}","explanation":"A\\B retains elements in A that are not in B, giving {691, 694}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0011","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"d9f218150a02bfb38667cca774f36980985f1da5ac48b4a338ac8a43f65ffa29","family_id":"qf-finite-set-difference","seed":20260975,"semantic_template":"qf-finite-set-difference/{\"A\":[701,702,704,706],\"B\":[702,705,706]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={701, 702, 704, 706} and B={702, 705, 706}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{701, 704}","explanation":"A\\B retains elements in A that are not in B, giving {701, 704}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0012","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"3cc43f8f9db6acdc786bcb39adcba0b1fee1a11d0b66927ccd992617997c4b3b","family_id":"qf-finite-set-difference","seed":20260976,"semantic_template":"qf-finite-set-difference/{\"A\":[711,712,714,716],\"B\":[712,715,716]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={711, 712, 714, 716} and B={712, 715, 716}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{711, 714}","explanation":"A\\B retains elements in A that are not in B, giving {711, 714}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0013","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"be19f4bc4f038f59510b39f18341e701599be504883a8a2bbd1adcf93e9762af","family_id":"qf-finite-set-difference","seed":20260977,"semantic_template":"qf-finite-set-difference/{\"A\":[721,722,724,726],\"B\":[722,725,726]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={721, 722, 724, 726} and B={722, 725, 726}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{721, 724}","explanation":"A\\B retains elements in A that are not in B, giving {721, 724}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0014","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"18ca43a87d6c7933fab6aba94808f3085c9e085245ffe8711d3c10088017833d","family_id":"qf-finite-set-difference","seed":20260978,"semantic_template":"qf-finite-set-difference/{\"A\":[731,732,734,736],\"B\":[732,735,736]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={731, 732, 734, 736} and B={732, 735, 736}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{731, 734}","explanation":"A\\B retains elements in A that are not in B, giving {731, 734}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0015","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"da3e148610adc6dc1ad6a0374889dfbffca2f11c0d84e5303c28684329f24701","family_id":"qf-finite-set-difference","seed":20260979,"semantic_template":"qf-finite-set-difference/{\"A\":[741,742,744,746],\"B\":[742,745,746]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={741, 742, 744, 746} and B={742, 745, 746}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{741, 744}","explanation":"A\\B retains elements in A that are not in B, giving {741, 744}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0016","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"155e5ba99f34a91dfb3445bad0add7ae67ecc1bdc382d8324b3bd72ebbb28e9e","family_id":"qf-finite-set-difference","seed":20260980,"semantic_template":"qf-finite-set-difference/{\"A\":[751,752,754,756],\"B\":[752,755,756]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={751, 752, 754, 756} and B={752, 755, 756}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{751, 754}","explanation":"A\\B retains elements in A that are not in B, giving {751, 754}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0017","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"7cda2cc5075c9524c9a361a67d10d1ff5b00c8e5433e49e9bb8fe7720b5448d7","family_id":"qf-finite-set-difference","seed":20260981,"semantic_template":"qf-finite-set-difference/{\"A\":[761,762,764,766],\"B\":[762,765,766]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={761, 762, 764, 766} and B={762, 765, 766}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{761, 764}","explanation":"A\\B retains elements in A that are not in B, giving {761, 764}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0018","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"fd7b5a17a92bf87f25ba17058d25435e19658f61ac1eee54f8757453ae33c863","family_id":"qf-finite-set-difference","seed":20260982,"semantic_template":"qf-finite-set-difference/{\"A\":[771,772,774,776],\"B\":[772,775,776]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={771, 772, 774, 776} and B={772, 775, 776}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{771, 774}","explanation":"A\\B retains elements in A that are not in B, giving {771, 774}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0019","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"4ba41c50267050d123bc39bd273b1690ba4d2872e3a3811840c08061ce4b41ce","family_id":"qf-finite-set-difference","seed":20260983,"semantic_template":"qf-finite-set-difference/{\"A\":[781,782,784,786],\"B\":[782,785,786]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={781, 782, 784, 786} and B={782, 785, 786}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{781, 784}","explanation":"A\\B retains elements in A that are not in B, giving {781, 784}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0020","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"20ae475a3e51879105fd2c9b371d251d0406a8f5a7bff026696309497a27d11b","family_id":"qf-finite-set-difference","seed":20260984,"semantic_template":"qf-finite-set-difference/{\"A\":[791,792,794,796],\"B\":[792,795,796]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={791, 792, 794, 796} and B={792, 795, 796}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{791, 794}","explanation":"A\\B retains elements in A that are not in B, giving {791, 794}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0021","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"7286d49dba250ffce223583843e4700d3bdb376db5698bd6a885306bd68f1010","family_id":"qf-finite-set-difference","seed":20260985,"semantic_template":"qf-finite-set-difference/{\"A\":[801,802,804,806],\"B\":[802,805,806]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={801, 802, 804, 806} and B={802, 805, 806}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{801, 804}","explanation":"A\\B retains elements in A that are not in B, giving {801, 804}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0022","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"391ddbd2aad7ea8cf6065876e45939551e8436fa11453c0c0b7584b76daf26e1","family_id":"qf-finite-set-difference","seed":20260986,"semantic_template":"qf-finite-set-difference/{\"A\":[811,812,814,816],\"B\":[812,815,816]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={811, 812, 814, 816} and B={812, 815, 816}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{811, 814}","explanation":"A\\B retains elements in A that are not in B, giving {811, 814}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0023","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"f011fe7a9fe432ee5ca9455ca438fd2511428aa57a2b490b081590300890bfcf","family_id":"qf-finite-set-difference","seed":20260987,"semantic_template":"qf-finite-set-difference/{\"A\":[821,822,824,826],\"B\":[822,825,826]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={821, 822, 824, 826} and B={822, 825, 826}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{821, 824}","explanation":"A\\B retains elements in A that are not in B, giving {821, 824}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0024","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"fd82dd852bead3e1b04825a320b4cf1b37a3246b7cbf87995616629032ad788a","family_id":"qf-finite-set-difference","seed":20260988,"semantic_template":"qf-finite-set-difference/{\"A\":[831,832,834,836],\"B\":[832,835,836]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={831, 832, 834, 836} and B={832, 835, 836}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{831, 834}","explanation":"A\\B retains elements in A that are not in B, giving {831, 834}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-set-difference-0025","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"895ddf86486b585a3f8dc472dcd85f3595a1cea7bba5482aa5498116dedd7fc2","family_id":"qf-finite-set-difference","seed":20260989,"semantic_template":"qf-finite-set-difference/{\"A\":[841,842,844,846],\"B\":[842,845,846]}"},"fields":{"title":"Directional Finite Set Difference","stem":"Let A={841, 842, 844, 846} and B={842, 845, 846}. Find the directional difference A\\B, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{841, 844}","explanation":"A\\B retains elements in A that are not in B, giving {841, 844}. Reversing the operands is a different operation."},"skills":["set difference","operation direction"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0001","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"e1b94e537fe3b8369cfdc7e9c791a4c7f3c9c621b7ecfecec60ab2833d605ee3","family_id":"qf-finite-relative-complement","seed":20260990,"semantic_template":"qf-finite-relative-complement/{\"A\":[901,903],\"U\":[901,902,903,904,905]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={901, 902, 903, 904, 905} and A={901, 903}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{902, 904, 905}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {902, 904, 905}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0002","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"d481b498d29d0266d3604ebcc7262df13e4eb71cf8c205e20258f3df0f35c3a7","family_id":"qf-finite-relative-complement","seed":20260991,"semantic_template":"qf-finite-relative-complement/{\"A\":[912,914,915],\"U\":[911,912,913,914,915]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={911, 912, 913, 914, 915} and A={912, 914, 915}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{911, 913}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {911, 913}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0003","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"1fbe422bcbafbef45e372586a10ff4bd3eb7daa320df0800cf255c43fe499810","family_id":"qf-finite-relative-complement","seed":20260992,"semantic_template":"qf-finite-relative-complement/{\"A\":[921,923],\"U\":[921,922,923,924,925]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={921, 922, 923, 924, 925} and A={921, 923}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{922, 924, 925}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {922, 924, 925}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0004","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"befa7a430919a082d426c47ea01d95fd92e4dee70ebee244101160580e97b47c","family_id":"qf-finite-relative-complement","seed":20260993,"semantic_template":"qf-finite-relative-complement/{\"A\":[932,934,935],\"U\":[931,932,933,934,935]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={931, 932, 933, 934, 935} and A={932, 934, 935}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{931, 933}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {931, 933}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0005","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"8068dcf75f417d7e745358c95d03a47c601136414293f66c41fb939898482d24","family_id":"qf-finite-relative-complement","seed":20260994,"semantic_template":"qf-finite-relative-complement/{\"A\":[941,943],\"U\":[941,942,943,944,945]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={941, 942, 943, 944, 945} and A={941, 943}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{942, 944, 945}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {942, 944, 945}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0006","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"0786ef80abbbbe89133fc4d6c03bd19e65f7bbc6c29836e24f8c204d6ae01c6b","family_id":"qf-finite-relative-complement","seed":20260995,"semantic_template":"qf-finite-relative-complement/{\"A\":[952,954,955],\"U\":[951,952,953,954,955]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={951, 952, 953, 954, 955} and A={952, 954, 955}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{951, 953}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {951, 953}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0007","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"f38b90434d50b9452d39f22590e853da191530c59d6b03c0dc7d0173582acd28","family_id":"qf-finite-relative-complement","seed":20260996,"semantic_template":"qf-finite-relative-complement/{\"A\":[961,963],\"U\":[961,962,963,964,965]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={961, 962, 963, 964, 965} and A={961, 963}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{962, 964, 965}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {962, 964, 965}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0008","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"c5c93adcad9927ff66ced9e475c80608431406d5cd9212e8e1e6c00ee2a33148","family_id":"qf-finite-relative-complement","seed":20260997,"semantic_template":"qf-finite-relative-complement/{\"A\":[972,974,975],\"U\":[971,972,973,974,975]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={971, 972, 973, 974, 975} and A={972, 974, 975}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{971, 973}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {971, 973}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0009","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"e75511029c24e8491172de2653664157977748b2369be6af44dd397218947e85","family_id":"qf-finite-relative-complement","seed":20260998,"semantic_template":"qf-finite-relative-complement/{\"A\":[981,983],\"U\":[981,982,983,984,985]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={981, 982, 983, 984, 985} and A={981, 983}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{982, 984, 985}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {982, 984, 985}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0010","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"577533d3b394f5e86b7dcbf45a584ab0698114e0c655ff2755249c26941acdb1","family_id":"qf-finite-relative-complement","seed":20260999,"semantic_template":"qf-finite-relative-complement/{\"A\":[992,994,995],\"U\":[991,992,993,994,995]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={991, 992, 993, 994, 995} and A={992, 994, 995}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{991, 993}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {991, 993}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0011","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"e9b575bffcc4d38cdf34bda05d6ed8aab4f07f5536b9dcf324016b0f9aebdf7b","family_id":"qf-finite-relative-complement","seed":20261000,"semantic_template":"qf-finite-relative-complement/{\"A\":[1001,1003],\"U\":[1001,1002,1003,1004,1005]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={1001, 1002, 1003, 1004, 1005} and A={1001, 1003}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{1002, 1004, 1005}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {1002, 1004, 1005}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0012","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"303948fb7acaaaa151a7a2d9aacde522c372d284186c4077b56268db8a0f282c","family_id":"qf-finite-relative-complement","seed":20261001,"semantic_template":"qf-finite-relative-complement/{\"A\":[1012,1014,1015],\"U\":[1011,1012,1013,1014,1015]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={1011, 1012, 1013, 1014, 1015} and A={1012, 1014, 1015}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{1011, 1013}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {1011, 1013}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0013","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"3f57ffa81d16182d36fcba3fe83fe2553765d89f524310f1a66e8d1eef9bd56a","family_id":"qf-finite-relative-complement","seed":20261002,"semantic_template":"qf-finite-relative-complement/{\"A\":[1021,1023],\"U\":[1021,1022,1023,1024,1025]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={1021, 1022, 1023, 1024, 1025} and A={1021, 1023}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{1022, 1024, 1025}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {1022, 1024, 1025}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0014","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"7954cf2341e0f0965edbeed384ac52fce7bfeeabb9a6835ab89b760df43a964a","family_id":"qf-finite-relative-complement","seed":20261003,"semantic_template":"qf-finite-relative-complement/{\"A\":[1032,1034,1035],\"U\":[1031,1032,1033,1034,1035]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={1031, 1032, 1033, 1034, 1035} and A={1032, 1034, 1035}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{1031, 1033}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {1031, 1033}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0015","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"179f55e95864929b29465e7145e56797ce4f1cbbc52431bac3bd2c40a954a733","family_id":"qf-finite-relative-complement","seed":20261004,"semantic_template":"qf-finite-relative-complement/{\"A\":[1041,1043],\"U\":[1041,1042,1043,1044,1045]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={1041, 1042, 1043, 1044, 1045} and A={1041, 1043}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{1042, 1044, 1045}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {1042, 1044, 1045}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0016","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"0541c02d06d07a24a508c62cf5e1775ad804936426ccc236aa42bf93d1c259b1","family_id":"qf-finite-relative-complement","seed":20261005,"semantic_template":"qf-finite-relative-complement/{\"A\":[1052,1054,1055],\"U\":[1051,1052,1053,1054,1055]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={1051, 1052, 1053, 1054, 1055} and A={1052, 1054, 1055}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{1051, 1053}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {1051, 1053}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0017","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"24a59edef73a0b0a05b73067c0cc760da5ae8807082ddaffd4e0e1ddd847a6f7","family_id":"qf-finite-relative-complement","seed":20261006,"semantic_template":"qf-finite-relative-complement/{\"A\":[1061,1063],\"U\":[1061,1062,1063,1064,1065]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={1061, 1062, 1063, 1064, 1065} and A={1061, 1063}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{1062, 1064, 1065}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {1062, 1064, 1065}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0018","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"4dd0640e985df568da7e5e0d9b5b5f41a513ebddc7590cb806d2c1b220e7db31","family_id":"qf-finite-relative-complement","seed":20261007,"semantic_template":"qf-finite-relative-complement/{\"A\":[1072,1074,1075],\"U\":[1071,1072,1073,1074,1075]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={1071, 1072, 1073, 1074, 1075} and A={1072, 1074, 1075}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{1071, 1073}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {1071, 1073}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0019","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"1e10424052e9e62cc7e1e4c26d5524cb14085a2fe1f5878b062ca907ec242b49","family_id":"qf-finite-relative-complement","seed":20261008,"semantic_template":"qf-finite-relative-complement/{\"A\":[1081,1083],\"U\":[1081,1082,1083,1084,1085]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={1081, 1082, 1083, 1084, 1085} and A={1081, 1083}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{1082, 1084, 1085}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {1082, 1084, 1085}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0020","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"6fda89b7e081cf9f862ad1b9628dd688ad872034ea28407e3daf4919c99ca24e","family_id":"qf-finite-relative-complement","seed":20261009,"semantic_template":"qf-finite-relative-complement/{\"A\":[1092,1094,1095],\"U\":[1091,1092,1093,1094,1095]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={1091, 1092, 1093, 1094, 1095} and A={1092, 1094, 1095}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{1091, 1093}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {1091, 1093}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0021","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"ff7123fe962e827a66043ea14cbb599255e57c078740d7d1bc99b76612afbadc","family_id":"qf-finite-relative-complement","seed":20261010,"semantic_template":"qf-finite-relative-complement/{\"A\":[1101,1103],\"U\":[1101,1102,1103,1104,1105]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={1101, 1102, 1103, 1104, 1105} and A={1101, 1103}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{1102, 1104, 1105}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {1102, 1104, 1105}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0022","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"f8b07f5385a08c628940859e4a796b5193056bc08b7080d2304477d7432c0ec5","family_id":"qf-finite-relative-complement","seed":20261011,"semantic_template":"qf-finite-relative-complement/{\"A\":[1112,1114,1115],\"U\":[1111,1112,1113,1114,1115]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={1111, 1112, 1113, 1114, 1115} and A={1112, 1114, 1115}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{1111, 1113}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {1111, 1113}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0023","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"8538b43d3b25512c34f0e6dd16804ffd1fe09f39e436057bc5d99481c7eea33e","family_id":"qf-finite-relative-complement","seed":20261012,"semantic_template":"qf-finite-relative-complement/{\"A\":[1121,1123],\"U\":[1121,1122,1123,1124,1125]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={1121, 1122, 1123, 1124, 1125} and A={1121, 1123}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{1122, 1124, 1125}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {1122, 1124, 1125}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0024","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"50190375248a3e79b4b9cd3ed0059695ef92caae3a04383aad52747cdbfcaf8e","family_id":"qf-finite-relative-complement","seed":20261013,"semantic_template":"qf-finite-relative-complement/{\"A\":[1132,1134,1135],\"U\":[1131,1132,1133,1134,1135]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={1131, 1132, 1133, 1134, 1135} and A={1132, 1134, 1135}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{1131, 1133}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {1131, 1133}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}
{"schema_version":"ocme-question-localization-v0.1","question_id":"q-20260915-finite-relative-complement-0025","batch_id":"batch-20260915-finite-set-operations","locale":"en","translation_state":"ai_candidate","source":{"question_sha256":"967b9007d12558441f367bb13e47ba3879c13548fd120a6cec1e6c03ba55cbf8","family_id":"qf-finite-relative-complement","seed":20261014,"semantic_template":"qf-finite-relative-complement/{\"A\":[1141,1143],\"U\":[1141,1142,1143,1144,1145]}"},"fields":{"title":"Relative Complement in an Explicit Universe","stem":"Let the explicit universe be U={1141, 1142, 1143, 1144, 1145} and A={1141, 1143}⊆U. Find the relative complement U\\A, listing each element once in increasing order.","answer":{"kind":"short_text","value":"{1142, 1144, 1145}","explanation":"The universe is explicit and A⊆U. Removing A from U gives {1142, 1144, 1145}."},"skills":["relative complement","universal set"],"verification_warning":"This is a candidate exercise. Mechanical recomputation checks only the stated conditions and this instance; it is neither a formal proof nor human review."}}