∇ counts ← StudySolvability upTo
⎕← 'Starting the study.'
(reprs values) ← Unpack Combine∘⊂¨ ({∧/2</⍵}¨inps)/inps←,1+⍳4⍴9
⍝(reprs values) ← Unpack Combine∘⊂¨ inps←({∧/2≤/⍵}¨inps)/inps←,1+⍳4⍴9
flat ← ∊values
⎕← 'Maximum attainable value is ', ⌈/flat
counts ← 1⊥⍉ (⍳upTo+1) ∘.= flat
'InitCauseway' 'View' ⎕CY 'sharpplot'
InitCauseway ⍬
sp ← ⎕new Causeway.SharpPlot
sp.LineGraphStyle ← Causeway.LineGraphStyles.GridLines
sp.YAxisStyle ← Causeway.YAxisStyles.GridLines