ᵂᴬᵀᔆᶠᴼᴿᴰ ᶠᵃᵐⁱˡʸ ᴺᵃᵐᵉ⠘ ᴳʳᵃᶜᵉ ᴴᵒˡˡᵒʷᵃʸ ᵂᴬᵀᔆᶠᴼᴿᴰ ᴮⁱʳᵗʰ⠘ ³ ᴺᵒᵛ ¹⁸⁸³ ᴹᵉˡᵇᵒᵘʳⁿᵉ⸴ ⱽⁱᶜᵗᵒʳⁱᵃ⸴ ᴬᵘˢᵗʳᵃˡⁱᵃ ᴰᵉᵃᵗʰ⠘ ¹⁷ ᶠᵉᵇ ¹⁹⁷⁴ ᶜᵃⁿᵗᵉʳᵇᵘʳʸ⸴ ⱽⁱᶜᵗᵒʳⁱᵃ ᶠᵃᵗʰᵉʳ⠘ ᴶᵃᵐᵉˢ ᴶᵒⁿᵉˢ ᵂᵃᵗˢᶠᵒʳᵈ ᴹᵒᵗʰᵉʳ⠘ ᴬⁿⁿ ᴴᵒˡˡᵒʷᵃʸ ᴺᵃᵐᵉ⠘ ᴶᵃⁿᵉ ᶜʰᵃʳˡᵒᵗᵗᵉ ᵂᵃᵗˢᶠᵒʳᵈ ᴮⁱʳᵗʰ⠘ ¹⁸⁴⁸ ⱽⁱˡᵃ⸴ ᶠⁱʲⁱ ᴰᵉᵃᵗʰ⠘ ²⁸ ᴹᵃʸ ¹⁹³⁰ ᔆᵃⁿᵈʳⁱⁿᵍʰᵃᵐ⸴ ⱽⁱᶜᵗᵒʳⁱᵃ⸴ ᴬᵘˢᵗʳᵃˡⁱᵃ ᶠᵃᵗʰᵉʳ⠘ ᴶᵒʰⁿ ᵂᵃᵗˢᶠᵒʳᵈ ᴹᵒᵗʰᵉʳ⠘ ᴱˡⁱᶻᵃᵇᵉᵗʰ ᴶᵒⁿᵉˢ ᴺᵃᵐᵉ⠘ ᶜʰᵃʳˡᵒᵗᵗᵉ ᴱᵐⁱˡʸ ᵂᵃᵗˢᶠᵒʳᵈ ᴮⁱʳᵗʰ⠘ ≤ ² ᔆᵉᵖ ¹⁸⁵⁷ ᴾᵃʳʳᵃᵐᵃᵗᵗᵃ⸴ ᴺᵉʷ ᔆᵒᵘᵗʰ ᵂᵃˡᵉˢ⸴ ᴬᵘˢᵗʳᵃˡⁱᵃ ᴰᵉᵃᵗʰ⠘ ³ ᴺᵒᵛ ¹⁸⁷⁸ ᴾᵃʳʳᵃᵐᵃᵗᵗᵃ⸴ ᴺᵉʷ ᔆᵒᵘᵗʰ ᵂᵃˡᵉˢ⸴ ᴬᵘˢᵗʳᵃˡⁱᵃ ᶠᵃᵗʰᵉʳ⠘ ᴴᵉⁿʳʸ ᵂᵃᵗˢᶠᵒʳᵈ ᴹᵒᵗʰᵉʳ⠘ ᔆᵃʳᵃʰ ᴴᵃʳᵖᵉʳ ᴺᵃᵐᵉ⠘ ᶠˡᵒʳᵉⁿᶜᵉ ᶜʰᵃʳˡᵒᵗᵗᵉ ᵂᵃᵗˢᶠᵒʳᵈ ᴮⁱʳᵗʰ⠘ ¹⁸⁷⁵ ᔆʸᵈⁿᵉʸ⸴ ᴺᵉʷ ᔆᵒᵘᵗʰ ᵂᵃˡᵉˢ⸴ ᴬᵘˢᵗʳᵃˡⁱᵃ ᴰᵉᵃᵗʰ⠘ ¹⁰ ᔆᵉᵖᵗᵉᵐᵇᵉʳ ¹⁹⁷² ᔆᵃⁱⁿᵗ ᴸᵉᵒⁿᵃʳᵈˢ⸴ ᵂⁱˡˡᵒᵘᵍʰᵇʸ⸴ ᴺᵉʷ ᔆᵒᵘᵗʰ ᵂᵃˡᵉˢ⸴ ᴬᵘˢᵗʳᵃˡⁱᵃ ᶠᵃᵗʰᵉʳ⠘ ᴴᵉⁿʳʸ ᵂᵃᵗˢᶠᵒʳᵈ ᴹᵒᵗʰᵉʳ⠘ ᴸᵒᵘⁱˢᵃ ᔆᵒᵖʰⁱᵃ ᴾᵉᵖᵖᵉʳ ᴺᵃᵐᵉ⠘ ᴹʸʳᵃ ᶜʰᵃʳˡᵒᵗᵗᵉ ᴹᵃʳʸ ᵂᵃᵗˢᶠᵒʳᵈ ᴮⁱʳᵗʰ⠘ ¹⁹¹³ ᴾᵃʳʳᵃᵐᵃᵗᵗᵃ ᴺᔆᵂ ᴬᵘˢᵗʳᵃˡⁱᵃ ᴰᵉᵃᵗʰ⠘ ¹⁹⁸⁴ ᵂᵃʰʳᵒᵒⁿᵍᵃ ᴺᔆᵂ ᴬᵘˢᵗʳᵃˡⁱᵃ ᶠᵃᵗʰᵉʳ⠘ ᴶᵃᵐᵉˢ ᴸᵃⁿᶜᵉˡᵒᵗ ᵂᵃᵗˢᶠᵒʳᵈ ᴹᵒᵗʰᵉʳ⠘ ᴼˡⁱᵛᵉ ᴵ ᴹ ᴰᵒᵘᵍˡᵃˢˢ ᴺᵃᵐᵉ⠘ ᶜʰᵃʳˡᵒᵗᵗᵉ ᴱ ᵂᵃᵗˢᶠᵒʳᵈ ᴮⁱʳᵗʰ⠘ <¹⁸⁸³ ᴺᔆᵂ⸴ ᴬᵁᔆ ᴰᵉᵃᵗʰ⠘ ¹⁹⁰⁷ ᴺᔆᵂ⸴ ᴬᵁᔆ ᶠᵃᵗʰᵉʳ⠘ ᴶᵃᵐᵉˢ ᵂᵃᵗˢᶠᵒʳᵈ ᴹᵒᵗʰᵉʳ⠘ ᴹᵃʳʸ ᴹᵒˡᵒⁿᵉʸ ᴺᵃᵐᵉ⠘ ᴰᵒʳᵉᵉⁿ ᴶᵘⁿᵉ ᵂᵃᵗˢᶠᵒʳᵈ ᴮⁱʳᵗʰ⠘ ¹³ ᴶᵘⁿ ¹⁹³¹ ᴰᵉᵃᵗʰ⠘ ²⁹ ᴶᵘⁿ ¹⁹⁴³ ᴴᵒʳⁿˢᵇʸ⸴ ᴺᵉʷ ᔆᵒᵘᵗʰ ᵂᵃˡᵉˢ⸴ ᴬᵘˢᵗʳᵃˡⁱᵃ ᵃᶠᵗᵉʳ ᶠᵃˡˡⁱⁿᵍ ᵈᵒʷⁿ ᵗᵒ ʰᵉʳ ᵈᵉᵃᵗʰ ⁿᵒᵗ ᵉᵛᵉⁿ ᵗʰⁱʳᵗᵉᵉⁿ ʸᵉᵃʳˢ ᵒˡᵈ ᶠᵃᵗʰᵉʳ⠘ ᴳᵉᵒʳᵍᵉ ᶠʳᵃⁿᶜⁱˢ ᴺᵒᵉ̈ˡ ᵂᵃᵗˢᶠᵒʳᵈ ᴹᵒᵗʰᵉʳ⠘ ᴰᵒʳᵒᵗʰʸ ᴹᵉˡᵛⁱˡˡᵉ ᴶᵒʰⁿ ᴰᵒᵘᵍˡᵃˢ ᵂᵃᵗˢᶠᵒʳᵈ ⁽²⁷ ᶠᵉᵇʳᵘᵃʳʸ ¹⁸⁷⁶ – ⁴ ᴰᵉᶜᵉᵐᵇᵉʳ ¹⁹¹⁵⁾ ᴬᵘˢᵗʳᵃˡⁱᵃⁿ ʳᵘˡᵉˢ ᶠᵒᵒᵗᵇᵃˡˡᵉʳ ʷʰᵒ ᵖˡᵃʸᵉᵈ ʷⁱᵗʰ ᶜᵒˡˡⁱⁿᵍʷᵒᵒᵈ ⁱⁿ ᵗʰᵉ ⱽⁱᶜᵗᵒʳⁱᵃⁿ ᶠᵒᵒᵗᵇᵃˡˡ ᴸᵉᵃᵍᵘᵉ ⁽ⱽᶠᴸ⁾‧