(*****************************************************************************)
(*                                                                           *)
(* Copyright (c) 2021 Danny Willems <be.danny.willems@gmail.com>             *)
(* Copyright (c) 2023 Nomadic Labs, <contact@nomadic-labs.com>               *)
(*                                                                           *)
(* Permission is hereby granted, free of charge, to any person obtaining a   *)
(* copy of this software and associated documentation files (the "Software"),*)
(* to deal in the Software without restriction, including without limitation *)
(* the rights to use, copy, modify, merge, publish, distribute, sublicense,  *)
(* and/or sell copies of the Software, and to permit persons to whom the     *)
(* Software is furnished to do so, subject to the following conditions:      *)
(*                                                                           *)
(* The above copyright notice and this permission notice shall be included   *)
(* in all copies or substantial portions of the Software.                    *)
(*                                                                           *)
(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*)
(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,  *)
(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL   *)
(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*)
(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING   *)
(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER       *)
(* DEALINGS IN THE SOFTWARE.                                                 *)
(*                                                                           *)
(*****************************************************************************)

(* Generated with the command below from commit cd13dd0e984a4eeadd82e0ac4ce792c275bd3b18
   [sage generate_mds.sage 3 NomadicLabs 52435875175126190479447740508185965837690552500527637822603658699938581184513] *)

let v =
  [|
    [|
      "48527463322097587091854420767453816291840635874249958396342138881138912067190";
      "11996084473350366483175782359948025962778681837397784970341328014763133439499";
      "5762620760470856886668821516275719951899130793312002468640314451189655462163";
    |];
    [|
      "43372445583202124108992832749257195116898314930070456682841601188523728879167";
      "22957843818027924237635625446720638788994914691706001027915412076310000455035";
      "45912682675908730967574769352367944608550602185952960151299062991058447525440";
    |];
    [|
      "31497265986585083362120862432803344331731948296021705208949638957481968624918";
      "51685553404028716702307457799190688643603961331524463449216360083627404197200";
      "46564571507606908377998846740442910952080430324196357605862207064906809134438";
    |];
  |]