module top;
    initial begin
        // generated by running a commercial simulator
        $display("m_def 0 00000000000000000000000000000001           1");
        $display("m_def 00 00000000000000000000000000000001           2");
        $display("m_def 00 00000000000000000000000000000001           2");
        $display("m_nodef 00 00000000000000000000000000000001           2");
        $display("m_nodef 00 00000000000000000000000000000001           2");
        $display("n_nodef 00 00000000000000000000000000000001           2");
        $display("n_nodef 001 00000000000000000000000000000010           3");
        $display("n_nodef 00 00000000000000000000000000000001           2");
        $display("n_nodef 1 00000000000000000000000000000010           1");
        $display("n_nodef 00 00000000000000000000000000000001           2");
        $display("n_nodef 1 00000000000000000000000000000010           1");
        $display("n_def 00 00000000000000000000000000000001           2");
        $display("n_def 001 00000000000000000000000000000010           3");
        $display("n_def 00 00000000000000000000000000000001           2");
        $display("n_def 1 00000000000000000000000000000010           1");
        $display("n_def 0 00000000000000000000000000000001           1");
        $display("n_def 01 00000000000000000000000000000010           2");
        $display("n_def 00 00000000000000000000000000000001           2");
        $display("n_def 1 00000000000000000000000000000010           1");
        $display("n_def 0 00000000000000000000000000000001           1");
        $display("n_def 1 00000000000000000000000000000010           1");
        $display("n_tdef 00 00000000000000000000000000000001           2");
        $display("n_tdef 001 00000000000000000000000000000010           3");
        $display("n_tdef 00 00000000000000000000000000000001           2");
        $display("n_tdef 1 00000000000000000000000000000010           1");
        $display("n_tdef 00 00000000000000000000000000000001           2");
        $display("n_tdef 1 00000000000000000000000000000010           1");
        $display("n_nodef a=          1 01 00000000000000000000000000000010           2");
        $display("n_nodef b=          0 000 00000000000000000000000000000001           3");
        $display("n_nodef a=          0 00 00000000000000000000000000000001           2");
        $display("n_nodef b=          1 1 00000000000000000000000000000010           1");
        $display("n_nodef a=          0 00 00000000000000000000000000000001           2");
        $display("n_nodef b=          1 001 00000000000000000000000000000010           3");
        $display("n_nodef a=          1 01 00000000000000000000000000000010           2");
        $display("n_nodef b=          0 0 00000000000000000000000000000001           1");
        $display("p 00 00000000000000000000000000000001 2");
        $display("p 001 00000000000000000000000000000010 3");
        $display("p 0 00000000000000000000000000000001 1");
        $display("p 1 00000000000000000000000000000010 1");
        $display("p 000 00000000000000000000000000000001 3");
        $display("p 001 00000000000000000000000000000010 3");
        $display("p 00 00000000000000000000000000000001 2");
        $display("p 01 00000000000000000000000000000010 2");
        $display("p 000 00000000000000000000000000000001 3");
        $display("p 001 00000000000000000000000000000010 3");
        $display("p 000 00000000000000000000000000000001 3");
        $display("p 001 00000000000000000000000000000010 3");
        $display("p 00000 00000000000000000000000000000001 5");
        $display("p 00001 00000000000000000000000000000010 5");
        $display("p 0000000000 00000000000000000000000000000001 10");
        $display("p 1 00000000000000000000000000000010 1");
        $display("p 0000000000 00000000000000000000000000000001 10");
        $display("p 0000000001 00000000000000000000000000000010 10");
    end
endmodule