Script started on Thu Oct 25 11:19:14 1990
troon% njml
Standard ML of New Jersey, Version 0.44a, 13 December 1989
val it = () : unit
- use "bt";
[opening bt]
val neq = fn : ''a * ''a -> bool
val it = true : bool
val nq = fn : int * int -> int * int -> bool
val it = true : bool
val check = fn : ('a * 'b -> 'c * 'd -> bool) -> 'a * 'b -> ('c * 'd) list -> bool
val it = false : bool
val bt0 = fn : int -> int -> int -> (int * int) list -> (int * int) list
val nq8 = [(8,4),(7,2),(6,7),(5,3),(4,6),(3,8),(2,5),(1,1)] : (int * int) list
val fm = fn : int * int * 'a * (int * int) list -> int * int * 'a * (int * int) list
val it = (3,1,4,[(2,3),(1,1)]) : int * int * int * (int * int) list
val bm = fn : 'a * 'b * 'c * ('d * int) list -> 'd * int * 'c * ('d * int) list
val it = (2,4,4,[(1,1)]) : int * int * int * (int * int) list
val bt1 = fn : int * int * int * (int * int) list -> (int * int) list
val s = (1,1,8,[]) : int * int * int * 'a list
val s = (2,1,8,[(1,1)]) : int * int * int * (int * int) list
val s = (2,2,8,[(1,1)]) : int * int * int * (int * int) list
val s = (2,3,8,[(1,1)]) : int * int * int * (int * int) list
val s = (3,1,8,[(2,3),(1,1)]) : int * int * int * (int * int) list
val s = (2,4,8,[(1,1)]) : int * int * int * (int * int) list
val s = (1,2,8,[]) : int * int * int * (int * int) list
val s = (1,1,10,[]) : int * int * int * 'a list
val it = [(10,7),(9,4),(8,2),(7,9),(6,5),(5,10),(4,8),(3,6),(2,3),(1,1)] : (int * int) list
val it = [(10,7),(9,4),(8,2),(7,9),(6,5),(5,10),(4,8),(3,6),(2,3),(1,1)] : (int * int) list
val it = [] : (int * int) list
val it = [] : (int * int) list
[closing bt]
val it = () : unit
- ^Dtroon% exit
troon% 
script done on Thu Oct 25 11:20:02 1990