෿__@VERSION@__῿Exteor 4.7.10.1200 - 05/28/2019ۿСудокуۿСудокуÿ*˿X1ÿÿࣿ{1..16} ࣿ{1..16} ۿЯчейкиۿЯчейкиÿÿÿÿÿÿÿÿÿÿÿÿ˿X2ÿÿ೿{a, b, c, d}೿{a, b, c, d}߿Маркеры߿Маркерыÿ߿маркера߿маркеруۿмаркерࣿмаркером߿маркере߿маркерыÿÿ߿маркерыÿÿ˿S1ÿ௿ℬ(ℬ(ℬ(X1)))ÿÿ೿Группы линий೿Группы линийÿÿÿÿÿÿÿÿÿÿÿÿ˿S2ÿ௿ℬ(ℬ(ℬ(X1)))ÿÿ෿Группы блоков෿Группы блоковÿÿÿÿÿÿÿÿÿÿÿÿ ˿S3ÿࣿℬ(X1×X2)ÿÿ᳿Ячейки, отмеченные маркерами᳿Ячейки, отмеченные маркерамиÿÿÿÿÿÿÿÿÿÿÿÿ2˿F2ÿ䃿[γ∈ℬℬ(X2)]{α∈ X2| ∀β∈γ (α∈β &( γ\bool(β)=∅ ∨ α∈red(γ\bool(β))))}⯿Множество пересечений множества подмножеств⯿Множество пересечений множества подмножествÿÿÿÿÿÿÿÿÿÿÿÿÿÿ$˿D1ÿ߿red(S1)ÿÿ׿Линии׿ЛинииÿÿÿÿÿÿÿÿÿÿÿÿDϿD21ÿ߿red(D1)ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿEϿD22ÿ᧿((X1×X1)×X2)∪((X1×X1)×X2)ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿFϿD23ÿ᛿D{((α,β),γ)∈D22 | α=β}ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿGϿD24ÿ⧿{ξ∈X1 | ∀((α,β),γ)∈D22 (α=ξ & γ=γ & β=β)}ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ(˿D2ÿ߿red(S2)ÿÿ׿Блоки׿Блокиÿÿÿÿÿÿÿÿÿÿÿÿ)˿D4ÿ߿Pr1(S3)ÿÿ⇿Отмаркированные @{X1|NOMN|PLUR|0}᛿Отмаркированные ячейкиÿÿÿÿÿÿÿÿÿÿÿÿ=ϿD15ÿ߿Pr2(S3)ÿÿ䋿@{X2|NOMN|PLUR|0}, использованные для маркировки @{X1|GENT|PLUR|0}⳿маркеры, использованные для маркировки ячеекÿÿÿÿÿÿÿÿÿÿÿÿ7˿D9ÿ᧿{α∈D1 | card(α)≠card(X2)}ÿÿ擿@{D1|NOMN|PLUR|0}, количество @{X1|GENT|PLUR|0} которых не совпадает с количеством @{X2|GENT|PLUR|0}䏿линии, количество ячеек которых не совпадает с количеством маркеровÿÿÿÿÿÿÿÿÿÿÿÿ8ϿD10ÿ᧿{α∈D1 | card(α)≠card(X2)}ÿÿ擿@{D2|NOMN|PLUR|0}, количество @{X1|GENT|PLUR|0} которых не совпадает с количеством @{X2|GENT|PLUR|0}䏿блоки, количество ячеек которых не совпадает с количеством маркеровÿÿÿÿÿÿÿÿÿÿÿÿ9ϿD11ÿ᯿{α∈X1 | ∃β∈S1 α∈red(β)\{α}}ÿÿ寿@{X1|NOMN|PLUR|0}, содержащиеся более чем в одной @{D1|LOCT|SING|0} одной @{S1|ACCS|PLUR|0}㿿ячейки, содержащиеся более чем в одной линии одной группы линийÿÿÿÿÿÿÿÿÿÿÿÿ:ϿD12ÿ᯿{α∈X1 | ∃β∈S2 α∈red(β)\{α}}ÿÿ寿@{X1|NOMN|PLUR|0}, содержащиеся более чем в одном @{D2|LOCT|SING|0} одной @{S2|GENT|SING|0}䃿ячейки, содержащиеся более чем в одном блоке одной группы блоковÿÿÿÿÿÿÿÿÿÿÿÿ;ϿD13ÿ䫿{α∈D1×D1 | ∃ σ∈S1 ∃δ∈S1\{σ} (pr1(α)∈σ & pr2(α)∈δ & card(pr1(α)∩pr2(α))≠1)}᯿ (больше одной или ни одну)᯿ (больше одной или ни одну)寿Пары @{D1|GENT|PLUR|0} из разных @{S1|GENT|PLUR|0}, имеющих общей не одну @{X1|ACCS|SING|0}㻿Пары линий из разных групп линий, имеющих общей не одну ячейкуÿÿÿÿÿÿÿÿÿÿÿÿ<ϿD14ÿ⋿{α∈D4 | card(Pr2(({α}×D15)∩S3))>1}ÿÿ㳿@{D4|NOMN|PLUR|0}, содержащие более одного @{X2|GENT|SING|0}㟿отмаркированные ячейки, содержащие более одного маркераÿÿÿÿÿÿÿÿÿÿÿÿ>ϿD16ÿヿ{α∈D1 | card(Pr2((α×D15)∩S3))