#if (defined(__cplusplus) || defined(z000)) && !defined(__STDC__)
#define __STDC__ 1
#endif
#if defined(d000)||defined(WIN32)||defined(_WIN32)||defined(__WIN32)||defined (_WIN32_)||defined(__WIN32__)
#define t000 1
#define c000 0
#define t001 0
#else
#if defined(__MACH__) || defined(i000) || defined(c001)
#define t000 0
#define c000 1
#define t001 1
#else
#if defined(__unix__) || defined(__linux__)
#define t000 0
#define c000 1
#define t001 0
#endif
#endif
#endif
#if defined(c001)
#if !defined(l000)
#define l000
#endif
#endif
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <setjmp.h>
#ifdef t002
#if t000 && !defined(d000)
#define unlink _unlink
#else 
int unlink(char *); 
#endif 
#else
#include <unistd.h>
#endif
#define l001 '\377'
#define d001 '\376'
#define k000 '\375'
#define m000 '\373'
#define e000 '\372'
#define n000 '\371'
#define f000 '\370'
#define n001 '\367'
#define s000 '\366'
#define x000 '\365'
#define c002 '\364'
#define b000 '\363'
#if j000 >= 10
#ifdef k001
#define v000 '\362'
#endif 
#define c003 '\361'
#endif 
#define h000 '\360'
#define u000 '\357'
#ifdef FILE
#undef FILE
#endif
#ifdef __STDC__
extern void u001 (int d002, int f001, int r000); extern int c004 (int k002);
extern void l002 (int k002, int g000); extern int d003 (int d002, int *w000);
extern int k003 (int r001, int o000, int y000); extern int w001 (int r001,
int o000, int y000, int z001); extern int l003 (int r001, int o000, int
y000); extern void a000 (int r001, int o000); extern void n002 (char r002,
int r003, char h001, int q000, int *t003, short *k004); extern void z002
(int r001, int o000); extern void f002 (int r001, int o000); extern void
f003 (int r001, int o000); extern void d004 (int r001, int o000); extern
int o001 (int r001, int *o000, short *y000); extern int b001 (int r001);
extern short *z003 (int s001); extern void g001 (int r004, char s001, int
x001, int t004, int *c005, short *d005); extern void y001 (char s001, int
x001, int t004); extern int b002 (int s001, int x001, int *t004, short *c005);
extern int o002 (int s001, int x001); extern void o003 (char q001); 
#ifdef READLINE
extern char *m001 (char *k005, int s002, int y002, int n003, int f004);
#else 
extern char *m001 (char *k005, int s002, int y002, int n003); 
#endif 
extern void r005 (void); extern int e001 (int o004); extern int g002 (int
r001, int o000, int y000); extern void z004 (void); extern void z005 (int
k002); extern void h002 (int d002, int g003, int type); extern void g004
(int l004, int f001, int v001, int i001); extern int m002 (int m003, ...);
extern int r006 (int m003, ...); extern void d006 (int s001, int x001, ...);
extern void j001 (int i001, int k006); extern int i002 (int q002); extern
void k007 (void); extern void j002 (int); extern int e002 (int); extern
int v001 (char *); extern void a001 (void); extern void b003 (void); extern
void t005 (void); extern int m004 (void); extern int t006 (void); extern
void u002 (void); extern int (*a002[])(void); extern void a003 (int); extern
int k008 (char *); extern void g005 (int, int *); extern void o005 (char
*); extern int u003 (char *, int); extern void f005 (char *, int); extern
char *q003 (char *); extern void b004 (void); extern void n004 (void); 
#ifdef __WIN32
extern void x002 (int); 
#endif 
#else 
extern void u001 (); extern int c004 (); extern void l002 (); extern int
d003 (); extern int k003 (); extern int w001 (); extern int l003 (); extern
void a000 (); extern void n002 (); extern void z002 (); extern void f002
(); extern void f003 (); extern void d004 (); extern int b001 (); extern
short *z003 (); extern void y001 (); extern int o002 (); extern void o003
(); extern char *m001 (); extern void r005 (); extern int e001 (); extern
int g002 (); extern void z004 (); extern void z005 (); extern void h002
(); extern void g004 (); extern int m002 (); extern int r006 (); extern
void d006 (); extern void j001 (); extern int i002 (); extern void k007
(); extern void j002 (); extern int e002 (); extern int v001(); extern void
a001(); extern void b003(); extern void t005(); extern int m004 (); extern
int t006 (); extern void u002 (); extern int (*a002[]) (); extern void a003
(); extern int k008 (); extern void g005 (); extern void o005 (); extern
int u003 (); extern void f005 (); extern char *q003 (); extern void b004
(); extern void n004 (); 
#ifdef __WIN32
extern void x002 (); 
#endif 
#endif 
extern jmp_buf m005; extern int *i003; extern int *f006; extern short *a004;
extern short *y003; extern short *w002; 
#define f007 "and"
#define j003 "then"
#include "adv1.h"
#ifdef i004
extern int q004; 
#endif 
extern int z006;