Core.round_constants: def of bend-collections-laws-crypto@1.0.0.0
Import: import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core.bend as Core
Lines 184-224 of bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core.bend&start_line=184&end_line=224

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/types.bend as T

def round_constants() -> List<&2, T.Lane>:
  [T.W{1116352408, 3609767458}, T.W{1899447441, 602891725},
   T.W{3049323471, 3964484399}, T.W{3921009573, 2173295548},
   T.W{961987163, 4081628472}, T.W{1508970993, 3053834265},
   T.W{2453635748, 2937671579}, T.W{2870763221, 3664609560},
   T.W{3624381080, 2734883394}, T.W{310598401, 1164996542},
   T.W{607225278, 1323610764}, T.W{1426881987, 3590304994},
   T.W{1925078388, 4068182383}, T.W{2162078206, 991336113},
   T.W{2614888103, 633803317}, T.W{3248222580, 3479774868},
   T.W{3835390401, 2666613458}, T.W{4022224774, 944711139},
   T.W{264347078, 2341262773}, T.W{604807628, 2007800933},
   T.W{770255983, 1495990901}, T.W{1249150122, 1856431235},
   T.W{1555081692, 3175218132}, T.W{1996064986, 2198950837},
   T.W{2554220882, 3999719339}, T.W{2821834349, 766784016},
   T.W{2952996808, 2566594879}, T.W{3210313671, 3203337956},
   T.W{3336571891, 1034457026}, T.W{3584528711, 2466948901},
   T.W{113926993, 3758326383}, T.W{338241895, 168717936},
   T.W{666307205, 1188179964}, T.W{773529912, 1546045734},
   T.W{1294757372, 1522805485}, T.W{1396182291, 2643833823},
   T.W{1695183700, 2343527390}, T.W{1986661051, 1014477480},
   T.W{2177026350, 1206759142}, T.W{2456956037, 344077627},
   T.W{2730485921, 1290863460}, T.W{2820302411, 3158454273},
   T.W{3259730800, 3505952657}, T.W{3345764771, 106217008},
   T.W{3516065817, 3606008344}, T.W{3600352804, 1432725776},
   T.W{4094571909, 1467031594}, T.W{275423344, 851169720},
   T.W{430227734, 3100823752}, T.W{506948616, 1363258195},
   T.W{659060556, 3750685593}, T.W{883997877, 3785050280},
   T.W{958139571, 3318307427}, T.W{1322822218, 3812723403},
   T.W{1537002063, 2003034995}, T.W{1747873779, 3602036899},
   T.W{1955562222, 1575990012}, T.W{2024104815, 1125592928},
   T.W{2227730452, 2716904306}, T.W{2361852424, 442776044},
   T.W{2428436474, 593698344}, T.W{2756734187, 3733110249},
   T.W{3204031479, 2999351573}, T.W{3329325298, 3815920427},
   T.W{3391569614, 3928383900}, T.W{3515267271, 566280711},
   T.W{3940187606, 3454069534}, T.W{4118630271, 4000239992},
   T.W{116418474, 1914138554}, T.W{174292421, 2731055270},
   T.W{289380356, 3203993006}, T.W{460393269, 320620315},
   T.W{685471733, 587496836}, T.W{852142971, 1086792851},
   T.W{1017036298, 365543100}, T.W{1126000580, 2618297676},
   T.W{1288033470, 3409855158}, T.W{1501505948, 4234509866},
   T.W{1607167915, 987167468}, T.W{1816402316, 1246189591}]

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/types.bend&name=Lane