with DC_ANNs; use DC_ANNs;
with Text_IO; use Text_IO;

procedure CNS124 is
---------------------------------------------------------------------------
  package Float_IO is new Float_IO ( float );
  use Float_IO;
  N : positive;
begin
  for N_Exp in 0..6 loop
    N := 2 ** N_Exp;
    for M in 0..( 4 * N ) loop
      Put ( positive'image ( N ) & "  " & natural'image ( M ) & "  " );
      Put ( Lin_Sep_Prob ( M, N ), 0, 3, 0 );
      Put ( "  " );
      Put ( float ( M ) / float ( N ), 0, 3, 0 );
      Put_Line ( "" );
    end loop;
  end loop;
end CNS124;