#if (defined(__cplusplus) || defined(z000)) && !defined(__STDC__)
#define __STDC__ 1
#endif
#ifdef d000
#define l000 e000
#endif
#define k000 '\377'
#define r000 '\376'
#define u000 '\375'
#define h000 '\373'
#define q000 '\372'
#define b000 '\371'
#define i000 '\370'
#define f000 '\367'
#define e001 '\366'
#define w000 '\365'
#define w001 '\364'
#define x000 '\363'
#if y000 >= 10
#ifdef w002
#define w003 '\362'
#endif 
#define z001 '\361'
#endif 
#define d001 '\360'
#define t000 '\357'
#ifdef FILE
#undef FILE
#endif
#include <stdio.h>
#include <setjmp.h>
#ifdef __STDC__
extern void t001 (int t002, int z002, int u001); extern int c000 (int g000);
extern void g001 (int g000, int q001); extern int i001 (int t002, int *f001);
extern int t003 (int w004, int k001, int f002); extern int o000 (int w004,
int k001, int f002, int e002); extern int n000 (int w004, int k001, int
f002); extern void e003 (int w004, int k001); extern void h001 (char y001,
int l001, char l002, int v000, int *h002, short *l003); extern void t004
(int w004, int k001); extern void d002 (int w004, int k001); extern void
h003 (int w004, int k001); extern void t005 (int w004, int k001); extern
int h004 (int w004, int *k001, short *f002); extern int a000 (int w004);
extern short *n001 (int c001); extern void b001 (int h005, char c001, int
e004, int h006, int *n002, short *w005); extern void r001 (char c001, int
e004, int h006); extern int t006 (int c001, int e004, int *h006, short *n002);
extern int s000 (int c001, int e004); extern void o001 (char f003); 
#ifdef READLINE
extern char *x001 (char *e005, int l004, int m000, int k002, int t007);
#else 
extern char *x001 (char *e005, int l004, int m000, int k002); 
#endif 
extern void l005 (void); extern int x002 (int h007); extern int g002 (int
w004, int k001, int f002); extern void e006 (void); extern void t008 (int
g000); extern void z003 (int t002, int i002, int type); extern void c002
(int u002, int z002, int s001, int e007); extern int h008 (int u003, ...);
extern int f004 (int u003, ...); extern void l000 (int c001, int e004, ...);
extern void r002 (int e007, int a001); extern int m001 (int e008); extern
void z004 (void); extern void f005 (int); extern int a002 (int); extern
int s001 (char *); extern void r003 (void); extern void x003 (void); extern
void f006 (void); extern int q002 (void); extern int b002 (void); extern
void s002 (void); extern int (*d003[])(void); extern void l006 (int); extern
int m002 (char *); extern void o002 (int, int *); extern void i003 (char
*); extern int u004 (char *, int); extern void x004 (char *, int); extern
char *n003 (char *); extern void o003 (void); extern void w006 (void); 
#ifdef __WIN32
extern void y002 (int); 
#endif 
#else 
extern void t001 (); extern int c000 (); extern void g001 (); extern int
i001 (); extern int t003 (); extern int o000 (); extern int n000 (); extern
void e003 (); extern void h001 (); extern void t004 (); extern void d002
(); extern void h003 (); extern void t005 (); extern int a000 (); extern
short *n001 (); extern void r001 (); extern int s000 (); extern void o001
(); extern char *x001 (); extern void l005 (); extern int x002 (); extern
int g002 (); extern void e006 (); extern void t008 (); extern void z003
(); extern void c002 (); extern int h008 (); extern int f004 (); extern
void l000 (); extern void r002 (); extern int m001 (); extern void z004
(); extern void f005 (); extern int a002 (); extern int s001(); extern void
r003(); extern void x003(); extern void f006(); extern int q002 (); extern
int b002 (); extern void s002 (); extern int (*d003[]) (); extern void l006
(); extern int m002 (); extern void o002 (); extern void i003 (); extern
int u004 (); extern void x004 (); extern char *n003 (); extern void o003
(); extern void w006 (); 
#ifdef __WIN32
extern void y002 (); 
#endif 
#endif 
extern jmp_buf r004; extern int *t009; extern int *q003; extern short *v001;
extern short *c003; extern short *l007; 
#define a003 "and"
#define u005 "then"
#include "adv1.h"
#ifdef l008
extern int q004; 
#endif 
extern int a004;