[iリℸ ̣ ∷𝙹]
J⚍ᓭℸ ̣ ℸ ̣ ᔑꖎꖌ ᓭ⍑╎ℸ ̣
T⍑ᒷᒲ !¡⚍ᓭᓭ|| リ╎⊣⊣ᔑᓭ ᔑ╎リ'ℸ ̣ 'ʖ𝙹⚍ℸ ̣  ℸ ̣ ⍑ᔑℸ ̣ ᓭ⍑╎ℸ ̣ (yᒷᔑ⍑, ||ᒷᔑ⍑)
T⍑ᒷᒲ !¡⚍ᓭᓭ|| リ╎⊣⊣ᔑᓭ ᔑ╎リ'ℸ ̣ 'ʖ𝙹⚍ℸ ̣ ℸ ̣ ⍑ᔑℸ ̣
Oꖌᔑ||, 𝙹ꖌᔑ||
P⚍ᓭᓭ|| ᔑᓭᓭ リ╎⊣⊣ᔑ ⋮⚍ᓭℸ ̣  ℸ ̣ ᔑꖎꖌ ᓭ⍑╎ℸ ̣
P⚍ᓭᓭ|| ᔑᓭᓭ リ╎⊣⊣ᔑ ⋮⚍ᓭℸ ̣ ℸ ̣ ᔑꖎꖌ ᓭ⍑╎ℸ ̣ (yᒷᔑ⍑, 𝙹ꖌᔑ||)
T⍑ᒷᒲ !¡⚍ᓭᓭ|| リ╎⊣⊣ᔑᓭ ᔑ╎リ'ℸ ̣ 'ʖ𝙹⚍ℸ ̣ ℸ ̣ ⍑ᔑℸ ̣ ᓭ⍑╎ℸ ̣ (c⍑ᒷᓵꖌ ╎ℸ ̣ 𝙹⚍ℸ ̣ , ᓵ⍑ᒷᓵꖌ ╎ℸ ̣ 𝙹⚍ℸ ̣ )
T⍑ᒷᒲ !¡⚍ᓭᓭ|| リ╎⊣⊣ᔑᓭ ᔑ╎リ'ℸ ̣ 'ʖ𝙹⚍ℸ ̣ ℸ ̣ ⍑ᔑℸ ̣ ᓭ⍑╎ℸ ̣ , ||ᒷᔑ⍑ (yᒷᔑ⍑)

[vᒷ∷ᓭᒷ 1]
I ∷╎↸ᒷ ∴╎ℸ ̣ ⍑ ℸ ̣ ⍑ᒷ ᓵ⍑𝙹!¡!¡ᒷ∷, ℸ ̣ ⍑ᒷ ᓭℸ ̣ ╎ᓵꖌ, ||ᒷᔑ⍑ (c⍑𝙹!¡!¡ᒷ∷, ℸ ̣ ⍑ᒷ ᓭℸ ̣ ╎ᓵꖌ, ||ᒷᔑ⍑)
T⍑ᒷᓭᒷ ʖ╎ℸ ̣ ᓵ⍑ᒷᓭ ∷ᒷᔑ↸|| ℸ ̣ 𝙹 ꖌ╎ꖎꖎ, ||ᒷᔑ⍑ (yᒷᔑ⍑)
M|| リ╎⊣⊣ᔑᓭ, ℸ ̣ ⍑ᒷ|| ∷ᒷᔑ↸|| ℸ ̣ 𝙹 ↸∷╎ꖎꖎ, ||ᒷᔑ⍑ (oꖌᔑ||)
I ⊣𝙹ℸ ̣ リ╎⊣⊣ᔑᓭ ╎リ r╎⍊ᒷ∷↸ᔑꖎᒷ (oꖌᔑ||)
M|| ||𝙹⚍リ⊣ リ╎⊣⊣ᔑᓭ, ℸ ̣ ⍑ᒷ|| ᓵᔑᒲᒷ ⎓∷𝙹ᒲ ⍑ᒷꖎꖎ, ⍑𝙹ꖎ↸ ⚍!¡, ||ᒷᔑ⍑ (yᒷᔑ⍑)
T⍑ᒷ ᓵ⍑𝙹!¡!¡ᒷ∷ ⊣𝙹 '∷𝙹⚍リ↸ ꖎ╎ꖌᒷ ᔑ fᒷ∷∷╎ᓭ ∴⍑ᒷᒷꖎ (c⍑𝙹!¡!¡ᒷ∷, ||ᒷᔑ⍑)
T⍑ᒷᓭᒷ ᒲ𝙹ᒲᓭ ᔑ∷ᒷ ᓵ∷||╎リ', 𝙹⍑ ∴ᒷꖎꖎ
I ↸𝙹リ'ℸ ̣ ⊣╎⍊ᒷ ᔑ ⎓⚍ᓵꖌ, ||𝙹⚍ ᓵᔑリ ℸ ̣ ᒷꖎꖎ
I'ᒲ ∷ᒷᔑꖎꖎ|| 'ʖ𝙹⚍ℸ ̣ ℸ ̣ ⍑ᔑℸ ̣ ᓭ⍑╎ℸ ̣ , ∴ᒷ ᒷᔑℸ ̣ ᔑℸ ̣ ℸ ̣ ⍑ᒷ !¡𝙹ꖎ╎ᓵᒷ (p𝙹!¡ 𝙹⚍ℸ ̣ , ||ᒷᔑ⍑)
I'ᒲ ∷ᒷᔑꖎꖎ|| 'ʖ𝙹⚍ℸ ̣ ℸ ̣ ⍑╎ᓭ ᓭ⍑╎ℸ ̣ , ∴ᒷ ᒷᔑℸ ̣ ᔑℸ ̣ ℸ ̣ ⍑ᒷ !¡𝙹ꖎ╎ᓵᒷ (yᒷᔑ⍑, !¡𝙹!¡ 𝙹⚍ℸ ̣ , ||ᒷᔑ⍑)
P⚍ᓭᓭ|| ᔑᓭᓭ リ╎⊣⊣ᔑ, ||ᒷᔑ⍑, ⍑ᒷ ↸𝙹リ'ℸ ̣ ꖌリ𝙹∴ ᒲᒷ (p⚍ᓭᓭ|| ᔑᓭᓭ リ╎⊣⊣ᔑ, ⍑𝙹ꖎ↸ ⚍!¡, ||ᒷᔑ⍑)
I ᓭ⍑𝙹𝙹ℸ ̣ ᔑ ʖ╎ℸ ̣ ᓵ⍑ ᔑᓭᓭ リ╎⊣⊣ᔑ, ||ᒷᔑ⍑, ⍑ᒷ ᓵᔑリ'ℸ ̣ ⍑𝙹ꖎ↸ ᒲᒷ, ||ᒷᔑ⍑
I ᔑꖎ∷ᒷᔑ↸|| ꖌリ𝙹∴ ||𝙹⚍ !¡⚍ᓭᓭ||, ||𝙹⚍∷ ʖ╎ℸ ̣ ᓵ⍑ ↸𝙹リᒷ ℸ ̣ 𝙹ꖎ↸ ᒲᒷ
I ᔑꖎ∷ᒷᔑ↸|| ꖌリ𝙹∴ ⍑ᒷ ᓭ∴ᒷᒷℸ ̣ , i ᔑꖎ∷ᒷᔑ↸|| ꖌリ𝙹∴ ⍑ᒷ ᓭ∴ᒷᒷℸ ̣ (yᒷᔑ⍑, ||ᒷᔑ⍑)