ELF    Ȍ4 6 4  (    4 44          2 2    2 ( `    d3 dd         /usr/libexec/ld-elf.so.1    FreeBSD + % =  .  :     9 +  & , ; 2 1 % 5 0 * 7  4 -  8 3 <              "  $ ' )  # / ( 6 !     { 1      d  %   , (=  4 8  ; HL  A X}  G h  N x  S   Z   a ̉   g ]  m   r    z Ȋ*  ؊  ,       &      (m  8  Hp  Xf  h  xr      -          r     % ȋV     , ؋  3 L  9   A    C  H (  ( 8  O X  U HL     \ $     r Xk  W h[  y x         B    :  libc.so.4 tmpfile strerror _DYNAMIC getenv __srget getpid fgets execl perror dup2 malloc fflush _init alarm pipe environ fprintf kill ctime strcat __deregister_frame_info wait umask __progname strstr __error signal ___runetype strncmp realloc _CurrentRuneLocale strtok __sF fork sscanf fread strdup memset ftell __swbuf fclose strcmp _fini atexit _GLOBAL_OFFSET_TABLE_ rewind strlen strchr fputs __register_frame_info strpbrk _edata __bss_start _end ! # 0 4 8 < @ D H L P T X \ ` d h l p t x |       " $ % & ' ) * + , - . / 1 5 6 7 8 9 ; <  R 5(%, %0h %4h %8h %<h %@h %Dh( %Hh0 %Lh8 p%Ph@ `%ThH P%XhP @%\hX 0%`h` %dhh %hhp %lhx %ph %th %xh %|h %h %h %h %h p%h `%h P%h @%h 0%h %h %h %h %h  %h %h %h %h  %h( %h0 %h8 p%h@ `%hH P%hP @%hX 0%h` %hh U WVSҍu^|=~)} t#E8 t8/u H @8 udt R&hXWVS PU= u@v @С8 u t h`or Ív UU thh`7rÐUUEEE }t"hEPE} uzEUU EE PEPaEE<t2E Ph;EE Ph"EEE_v E8 tE PEPEUÉU= t"jPEP"juÉU ShEhEhEhEhEhƦEE EԠE E E E EE E E E E [j6*} uEզ} uEզ} uEզ} uEզ} uEզEPh֦EPa}~)hڦE Ru  hjhjhjhj hjxhjfẼ} C hEPu9} t3E8 t+EPE܃} uav  hEP }  }  E@P‰ЉE܅u:RUPh h jE@Pj EPhjEPEPE܉Eh.EPkE} u j=EPJEE@EE }  E EE8 u E8+uE E8% E@xEttst |Ph1xPtsE|xЋt xtt8 uv Ή7v v v ME8 u/v h @ ERt u v E Đv E8 t h @ ER< u Eύv h4EPcu$hڦEPIu  h=EP%uELhAEPuEPhEEPuEThIEP hQEPuXhYEPuYh`EP_uZhiEP>u[hqEPu\hxEP= tPEPqh EP]hIEPI= t զv RPh`EP= t RզPhEPh EPh"EPh,EPhIEPh@EP= th`EPoh"EP[hEPG= tզPhEP= t զPh EP= t զPhEP= t զPhEP= t զPh@EPl= t զPhEP@= t զPh EPh EP = t ڦIPh`EPh = tPEP=P u P =T u T =L tL8 u!v h EPW v hHhP `PL =uOhPlP`PdP =  j tjxE hP3dP!jlPuh[j `Puh[lP`Phh `P+u$h``Pt뺉=P  PPhphHj hh `PuDht`Pdu%h  `P t뚉j =T  TPhphHgj jv hh `PuDht`Pu%h  `P; t뚉j =X u*=Y u!=Z u=[ u=\ u =\ twզP=[ t ~զP=Z t զP=Y t զP=X t զPh hHj hh `Pj LPh,hHj hh `PCu8h`PuEP`PU뤃j VhƭhH&j )jPP E =P  hh `P{u jh٭`Pvu} t E ZE `PVEEPPP<P`PPPQj :hݭzhH j jTT E =T  hh `P_u jh٭`PZu} t E ZE `P:EEPTP T`PTPQj h^hHj PujPj tPjxPztPxP|P lPQ`P?j hPuh[jdPuh[hPdPj hh^ja&hPlPwh hEP~= t=PEPY= t YQP=X t RզPhEP= tYP=Y t RզPhEP= t`P=Z t RզPh@EP= t~iP=[ t RզPhEPX= tݯqP=\ t RզPh EP= t <NPEPL=L uզPh`EPhEPhEP= t v PEPyPPh@EP_= twPEP9TPhEPh,EP hEPEPEPEEPUh= t v Ph EPhEhPhY hXPhbXDžt v t;E|cv EHx }EPP ŰxthHxPs  t됃EPj /RPhhbjHUVS]u N~ }F;F| uЈڈVS2‰e[^ÐUVSu] | V[‰! 4# e[^US=tv Ѓ;u[ÐU <> < > HOME REQUEST_METHOD QUERY_STRING REMOTE_HOST REMOTE_ADDR CONTENT_LENGTH %lu koi8r QUERY POST No memory to process request: %s; exiting... &? %x language CMD TBF DBF THTRACE THEOREM THGOAL THASSERT THERASE THBKPT

-

Micro-Planner on the WEB

CHECKED English Russian (KOI8R)
[ Manual ] [ Article ]

Demo: -- r 1 -- 2 -- 3 -- 4 -- 5 -- 6 -- 7 --

english

-:

%s
                         
Micro-Planner Responce:
%s
 (thdata)
nil          MICRO-PLANNER 180/Franz/WWW
>>> TOP LEVEL
LISTENING THVAL
 dup2 listening thval %s
 t
 thbkpt therase thassert thgoal theorem (thtrace %s %s %s %s %s)
 %s '---
 ---
 (thstate theorem)
 nil (thstate thassertion)
 (exit)
 mp /home/yury/bin/mp.gz 
%s

 
  : 
 
 THTRACE options: 
                                  %s                                 %s                           %s                            %s .                         %s 
:
 
Command:
  
 
                                      
 :
 
Theorem Base:
                
 
 
 
Assertion Data Base:
                   
  KOI8-R US-ASCII                  Content-Type: text/html; charset=%s
 Content-Length: %d
 Date: %s Expires: %s

                 Can't open temporary file: %s; exiting
                         `                                                         ------------------------------------------------------------------------                                     ̉
   X   (      
                     $   p           \   L                                                                    d        .>N^n~Ίފ.>N^n~΋ދ.>N^n~ GCC: (GNU) c 2.95.4 20020320 [FreeBSD]  GCC: (GNU) c 2.95.4 20020320 [FreeBSD]  GCC: (GNU) c 2.95.4 20020320 [FreeBSD]  GCC: (GNU) c 2.95.4 20020320 [FreeBSD]           01.01             01.01             01.01             01.01    .symtab .strtab .shstrtab .interp .note.ABI-tag .hash .dynsym .dynstr .rel.bss .rel.plt .init .text .fini .rodata .data .eh_frame .dynamic .ctors .dtors .got .comment .note                                                                         #                             1         ((                 7                         ?                            G   	      LL                 P   	      \\  p     	         Y         ̉	                    T         ؉	                  _         Ȍ                   e         XX&                    k         ``&  `                  s         2                     y         ``3                             dd3                           4                             4                             $$4                   K         4  8                               4                                  5  P                                5                                  p:        2         	              pB  5                                                         (                              L          \          ̉          ؉     	     Ȍ     
     X          `               
     `          d                              $                                                                                                     L      
         
          -        
 9   L     
 O   `      b        
 m        w        
    ̍     
         
                         (      
    (     
             P     
    `     
              `                     ԍ      
    إP    
    W    
        	         1              !  d     *  ԍ    
 1        8  (=      @  8       G  HL     M       Q      
 Y  X}      _  h      f  x       k  \    
 o       v       |  P    
           [    
   ̉        ]                 Y    
          Ȋ*        ؊         ,                                       &                     
   Ȍ    
   (m        8      
  Hp        Xf        h       %  xr     -       @  -      G      L         Q  r      X  L    
 \        b  ȋV      i       u  ؋       |     
   L                
       C        X    
   (          I    
   8         Z    
   X        HL              $               Xk        h[        B    
   x             
                   
              #         )  T    
 -  :       crtstuff.c gcc2_compiled. p.3 __DTOR_LIST__ completed.4 __do_global_dtors_aux __EH_FRAME_BEGIN__ fini_dummy object.11 frame_dummy init_dummy force_to_data __CTOR_LIST__ __do_global_ctors_aux __CTOR_END__ __DTOR_END__ __FRAME_END__ wwwmp.c __maskrune __sputc TIMER tmpfile printf strerror _DYNAMIC fputs2 getenv __srget getpid fgets PID verbose execl perror dup2 trb malloc iipid TBF fflush tre _init alarm pipe trg environ fprintf kill ctime strcat __deregister_frame_info end wait umask __progname _start strstr __error signal ___runetype strncmp realloc _CurrentRuneLocale strtok __sF fork sscanf CMD fread strdup __bss_start memset main ftell __swbuf fclose time trt strcmp dash dup tra _fini atexit _edata _GLOBAL_OFFSET_TABLE_ _end rewind exit hndlr strlen lang strchr fputs __register_frame_info close DBF strpbrk