Jukebox.Sat3

data Lit3

false3

bottom3

true3

neg3

newLit3

newLit2

modelValue3

value3

val3