Referenced by:

• 02515669414632623465r
• 05013761137148893070r
• 92726003181213107500r
• minimum-distance-decoding