Goedel 4.2
Type ;h. for help.
[] <- Reading file "GL/Fl.exp" ...
Reading file "GL/Fl.loc" ...
Parsing module "Fl" ...
[] <- Reading file "GL/Fl.exp" ...
Reading file "GL/Fl.loc" ...
Parsing module "Fl" ...
Compiling module "Fl" ...
Module "Fl" compiled.
[] <- Loading module "Fl" ...
[Fl] <- 
z = 5.0E+05 ? Yes
[Fl] <- 
z = 1500.0 ? Yes
[Fl] <- 
z = -500.0 ? Yes
[Fl] <- 
z = 0.5 ? Yes
[Fl] <- 
a9 = 5.0 ? Yes
[Fl] <- 
a10 = 7.0 ? Yes
[Fl] <- 
a11 = -1 ? Yes
[Fl] <- 
a12 = 1 ? Yes
[Fl] <- 
a13 = 11.0 ? Yes
[Fl] <- 
a14 = -4.0 ? Yes
[Fl] <-