/*
-- ANSI C code generated by :
-- SmallEiffel The GNU Eiffel Compiler -- Release (- 0.82)      --
-- Copyright (C), 1994-98 - LORIA - UHP - CRIN - INRIA - FRANCE --
-- Dominique COLNET and Suzanne COLLIN -    colnet@loria.fr     --
--                 http://www.loria.fr/SmallEiffel              --
*/
#include "pretty.h"
T376 M376={376,NULL,NULL,NULL,NULL};
T343 M343={NULL,NULL,NULL,NULL,0};
T121 M121={121,NULL,NULL,NULL,NULL,NULL,NULL};
T134 M134={134,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,0};
T868 M868={868,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,0,NULL,NULL};
T916 M916=NULL;
T380 M380={380,NULL,NULL,NULL,NULL,NULL,NULL};
T588 M588={588,NULL,NULL,NULL,NULL,NULL,NULL};
T590 M590={0};
T431 M431={NULL,NULL};
T873 M873={873,NULL,NULL,NULL,0,NULL};
T292 M292={292,NULL,NULL};
T890 M890={890,NULL,NULL,NULL,NULL,NULL,NULL};
T414 M414={414,NULL,NULL,NULL,NULL,NULL,NULL};
T830 M830=NULL;
T390 M390={390,NULL,NULL,NULL,NULL,NULL};
T699 M699={NULL,NULL,NULL,NULL};
T906 M906={906,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,0,NULL};
T28 M28={28,NULL,0,0,0};
T235 M235={NULL,0,0,0};
T604 M604={0,0,0,0,0};
T349 M349={349,NULL,NULL,0};
T933 M933={933,NULL,NULL,NULL,NULL};
T886 M886={886,NULL,NULL,NULL,0,NULL};
T446 M446={446,0,NULL,NULL,NULL,NULL};
T398 M398={398,NULL,NULL,NULL,NULL,NULL,NULL};
T46 M46={46,NULL,NULL,NULL};
T679 M679={679,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL};
T145 M145={145,NULL,NULL,NULL};
T147 M147={NULL,0,0,0};
T477 M477={NULL,0,0,0};
T892 M892={892,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,0,NULL};
T796 M796={796,NULL,NULL,NULL};
T404 M404={404,NULL,NULL,NULL,NULL,NULL,NULL};
T453 M453={453,NULL,NULL,NULL,NULL,NULL,NULL};
T348 M348={NULL,NULL,NULL,NULL};
T372 M372={372,NULL,NULL,NULL,0,0};
T41 M41={NULL,0,0};
T153 M153={NULL,NULL,NULL};
T226 M226={NULL,0,0};
T460 M460={460,NULL,NULL,NULL,NULL,NULL,NULL};
T180 M180={180,NULL,NULL,NULL,NULL,NULL};
T902 M902=NULL;
T158 M158={158,NULL,NULL,NULL,NULL};
T904 M904={904,NULL,NULL,NULL,NULL,NULL,NULL,0,NULL};
T953 M953={NULL};
T809 M809={NULL,NULL,NULL};
T794 M794={NULL,NULL,NULL,NULL,0,0,0,0,0};
T689 M689={689,NULL,NULL,NULL,NULL,NULL,NULL};
T605 M605={0,NULL,NULL,NULL,0,0,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL};
T958 M958={958,NULL,NULL,NULL};
T956 M956={NULL,0,0,0};
T306 M306={0};
T368 M368={NULL,0,0,NULL,NULL,0,NULL,NULL};
T636 M636={NULL,NULL};
T429 M429={NULL,0,0,0};
T358 M358={358,NULL,NULL,0,NULL};
T592 M592={NULL,NULL,NULL};
T529 M529={529,NULL,NULL,NULL};
T436 M436={436,NULL,NULL,NULL,NULL};
T764 M764={NULL,0,0,0};
T644 M644={NULL};
T388 M388={388,NULL};
T900 M900={900,NULL};
T843 M843={NULL,NULL,NULL,NULL,NULL,NULL};
T673 M673={NULL,NULL,NULL,NULL};
T406 M406={406,NULL,NULL,0,NULL};
T338 M338={NULL,NULL,NULL,NULL,0,0,0,0,0};
T7 M7={NULL,0,0};
T675 M675={0,NULL,0,0};
T347 M347={347,NULL,NULL,NULL,NULL};
T932 M932={932,NULL,NULL,NULL,NULL,NULL,NULL};
T676 M676={NULL,0};
T629 M629={629,NULL,NULL,NULL};
T239 M239={239,NULL,NULL,NULL,NULL};
T936 M936={936,NULL,NULL,NULL};
T377 M377={NULL,NULL};
T683 M683={0,0,0};
T733 M733={733,NULL,0,0,0};
T990 M990={990,NULL,NULL,NULL,NULL,NULL};
T247 M247={247,NULL,0,0,0};
T849 M849={849,NULL,NULL};
T410 M410={NULL,NULL,0};
T696 M696={696,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,0};
T948 M948={NULL,0,0,0};
T657 M657={657,NULL};
T300 M300={300};
T940 M940={940,NULL,NULL,NULL,NULL};
T367 M367={367,NULL,NULL};
T671 M671={NULL,NULL};
T65 M65={65,NULL,0,0,0};
T627 M627={NULL,0};
T260 M260={260,NULL,NULL,0,0};
T213 M213={NULL,NULL,NULL,NULL};
T252 M252={252,NULL};
T495 M495={NULL,0,0,0};
T263 M263={263,NULL,0,0,0};
T633 M633={NULL,NULL,NULL,NULL,0};
T283 M283={283,NULL,0,NULL};
T320 M320={320};
T59 M59={NULL,NULL};
T253 M253={253,NULL,NULL,NULL,NULL,NULL,NULL};
T877 M877={NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL};
T278 M278={278,NULL,NULL,NULL,NULL,NULL,NULL};
T670 M670=0;
T767 M767={767,NULL,NULL,NULL,NULL,NULL};
T880 M880={880,NULL,NULL,NULL,NULL,NULL,NULL,NULL};
T393 M393={NULL,NULL};
T723 M723={723,NULL};
T688 M688={NULL};
T31 M31={31,NULL,NULL,NULL,NULL};
T701 M701={NULL,0,0,0};
T33 M33={NULL};
T522 M522={NULL,0,0,0};
T963 M963={963,NULL,NULL,NULL};
T707 M707={707,NULL};
T417 M417={0};
T712 M712={NULL,NULL};
T760 M760={760,NULL,NULL,NULL,NULL,NULL,NULL};
T552 M552={NULL,0,0,0};
T669 M669={669,NULL};
T534 M534={534,NULL,NULL,NULL,NULL,NULL,NULL};
T915 M915={915,NULL,NULL,NULL,NULL,NULL,NULL};
T999 M999={999,NULL,NULL,NULL,NULL,NULL};
T352 M352={NULL,0,0};
T720 M720={720,NULL,NULL,NULL,NULL};
T680 M680={680};
T441 M441=NULL;
T64 M64={64,NULL};
T420 M420={420,NULL};
T517 M517={517,NULL,NULL,NULL,NULL,NULL};
T848 M848={NULL,0,0,0};
T199 M199={NULL,NULL,NULL,NULL,0,0,0,0,0};
T520 M520={520,NULL,NULL,NULL,NULL,NULL,NULL};
T451 M451={NULL,NULL};
T340 M340=NULL;
T708 M708={708,NULL,NULL,NULL};
T709 M709={709,NULL,NULL,NULL,NULL};
T454 M454={454,NULL,NULL,0,NULL};
T38 M38={NULL,0,0,0};
T919 M919=0;
T479 M479={0};
T664 M664={664,NULL,NULL,0};
T554 M554={554,NULL,NULL,NULL,NULL,NULL,NULL};
T557 M557={557,NULL,NULL,NULL,NULL,NULL,NULL};
T72 M72={72,NULL,NULL,NULL,NULL,NULL};
T854 M854={NULL,0,0};
T209 M209={209,NULL};
T26 M26={NULL,0,0,0};
T491 M491={491,NULL};
T587 M587={NULL,0,0,0};
T505 M505={NULL,NULL,NULL,NULL,NULL,NULL,NULL};
T381 M381={381,NULL,0,0,0};
T544 M544={NULL,0};
T498 M498={NULL,NULL};
T523 M523={523,NULL,NULL,NULL,NULL,NULL};
T805 M805={805,NULL,NULL,NULL,NULL,NULL,NULL,NULL};
T85 M85={85};
T574 M574={574,NULL,NULL,NULL,NULL,NULL,NULL};
T718 M718={NULL,NULL,NULL,NULL,0,0,0,0,0};
T855 M855={NULL,0,0,0};
T943 M943={0,NULL};
T576 M576=0;
T185 M185={NULL,0,0};
T90 M90={90,NULL,NULL,NULL,NULL,NULL,NULL};
T715 M715={715,NULL,NULL,NULL,NULL};
T96 M96={96,NULL,0,0,0};
T681 M681={NULL,0,0,0};
T378 M378={NULL};
T541 M541={NULL};
T52 M52={NULL,0,0,0};
T56 M56={NULL};
T313 M313={313,NULL,NULL,NULL,NULL,NULL,NULL};
T57 M57={57,NULL,NULL,NULL,NULL,NULL,NULL};
T106 M106={106,NULL,NULL,NULL,NULL,NULL};
T268 M268={268,NULL,NULL,NULL,NULL};
T39 M39={39,NULL,NULL,NULL,0,NULL,0};
T853 M853={853,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL};
T342 M342={342,NULL,NULL,0};
T782 M782={NULL,NULL};
T808 M808={808,NULL,NULL,NULL,NULL,NULL,NULL,0,NULL,NULL};
T893 M893={893};
T222 M222={NULL,0,0};
T881 M881={NULL,NULL};
T907 M907={NULL,0,0};
T580 M580={580,NULL,NULL,NULL,NULL,NULL,NULL};
T788 M788={788,NULL};
T250 M250={NULL,NULL,NULL,NULL,0,0,0,0,0,0,0};
T237 M237={NULL,NULL,NULL,NULL,0,0,0,0,0};
T317 M317={317,NULL,NULL,NULL,NULL,NULL};
T23 M23={23,NULL,NULL,NULL,0,NULL};
T487 M487={487,NULL,NULL,NULL,NULL,NULL};
T583 M583={NULL,NULL,NULL,NULL};
T863 M863={NULL,0,0,0};
T608 M608={NULL,0,0,0};
T490 M490={NULL,NULL};
T818 M818={0,0,0,0,0,NULL,0,NULL,NULL,NULL,0,0,NULL,NULL,0,0,0,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,0,0};
T820 M820={820,NULL,NULL,NULL,NULL,NULL,NULL,0,NULL};
T492 M492={492,NULL,NULL,NULL,NULL,NULL,NULL};
T126 M126={126,NULL,NULL,NULL};
T382 M382={NULL,0,0,0};
T542 M542={NULL,NULL};
T353 M353={NULL,0,0,0};
T270 M270={270,NULL,NULL,NULL,NULL,NULL,NULL};
T844 M844={844,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,0};
T256 M256={NULL,0,0};
T845 M845={845,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,0,NULL,NULL};
T530 M530={530,NULL,NULL,NULL,NULL};
T187 M187={NULL,0,0};
T883 M883={883,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL};
T655 M655={655,NULL,NULL,NULL,NULL,NULL,NULL};
T511 M511={NULL,0,0};
T240 M240={240};
T913 M913={NULL};
T857 M857={857,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,0,NULL,NULL};
T284 M284={284,NULL};
T297 M297={297,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,0};
T835 M835={835,NULL,NULL,NULL,NULL,NULL,NULL};
T419 M419={NULL,0,0,0};
T238 M238={NULL,0,0,0,0,0,0,0};
T568 M568={568,NULL,NULL,NULL,NULL,NULL};
T362 M362={362,NULL,NULL,NULL};
T970 M970={970};
T620 M620={620,NULL,NULL,NULL,NULL};
T901 M901={NULL,0,0,0};
T549 M549={549,NULL,NULL,NULL,NULL};
T526 M526={526,NULL,NULL};
T927 M927={NULL,0,0};
T623 M623={NULL,NULL,NULL,NULL};
T869 M869={869,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,0,NULL,NULL};
T112 M112={112,NULL,NULL,NULL,NULL,NULL,NULL};
T648 M648={648,NULL,NULL,NULL,NULL};
T649 M649={649,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL,NULL};
T396 M396={NULL,0,0,0};
T118 M118={118,NULL,NULL,NULL,NULL,NULL,NULL};
T558 M558={558,NULL,NULL,NULL,NULL,0};
int r6_px_and(int C,int a1){
int R=0;
R=(C)&&(a1);
return R;
}
int r6_ix_not(int C){
int R=0;
/*IF*/if (C) {
}
else {
R=1;
}
/*FI*/return R;
}
T0* r2to_string(int C){
T0* R=NULL;
{T7*n=malloc(sizeof(*n));
*n=M7;
r7make(n,0);
R=(T0*)n;
}
r2append_in(C,R);
return R;
}
void r2append_in(int C,T0* a1){
int _i=0;
int _val=0;
/*IF*/if ((C)==(0)) {
r7extend(((T7*)a1),'0');
}
else {
/*IF*/if ((C)>(0)) {
_i=((((T7*)((T7*)a1)))->_count/*4*/)+(1);
_val=C;
while (!((_val)==(0))) {
r7extend(((T7*)a1),r2digit((_val)%(10)));
_val=(_val)/(10);
}
}
else {
r7extend(((T7*)a1),'\55');
_i=((((T7*)((T7*)a1)))->_count/*4*/)+(1);
_val=C;
while (!((_val)==(0))) {
r7extend(((T7*)a1),r2digit(-((_val)%(10))));
_val=(_val)/(10);
}
}
/*FI*/_val=(((T7*)((T7*)a1)))->_count/*4*/;
while (!((_i)>=(_val))) {
r7swap(((T7*)a1),_i,_val);
_val=(_val)-(1);
_i=(_i)+(1);
}
}
/*FI*/}
int r2min(int C,int a1){
int R=0;
/*IF*/if ((C)<(a1)) {
R=C;
}
else {
R=a1;
}
/*FI*/return R;
}
char r2digit(int C){
char R=0;
R=((char)((C)+(((unsigned char)'0'))));
return R;
}
int r2max(int C,int a1){
int R=0;
/*IF*/if ((a1)<(C)) {
R=C;
}
else {
R=a1;
}
/*FI*/return R;
}
int r3is_separator(char C){
int R=0;
{int z1=C;

if((0==z1)||((9<=z1)&&(z1<=10))||(13==z1)||(32==z1)){
R=1;
}
}
return R;
}
char r3to_lower(char C){
char R=0;
/*IF*/if ((((unsigned char)C))<(65)) {
R=C;
}
 else if ((((unsigned char)C))>(90)) {
R=C;
}
else {
R=((char)((((unsigned char)C))+(32)));
}
/*FI*/return R;
}
int r3value(char C){
int R=0;
R=(((unsigned char)C))-(48);
return R;
}
int r3same_as(char C,char a1){
int R=0;
/*IF*/if ((C)==(a1)) {
R=1;
}
else {
{int z1=((unsigned char)C);

if(((65<=z1)&&(z1<=90))){
R=(((unsigned char)C))==((((unsigned char)a1))-(32));
}
 else 
if(((97<=z1)&&(z1<=122))){
R=(((unsigned char)C))==((((unsigned char)a1))+(32));
}
}
}
/*FI*/return R;
}
int r3_px_6261(char C,char a1){
int R=0;
R=(((unsigned char)C))>=(((unsigned char)a1));
return R;
}
int r3is_digit(char C){
int R=0;
{int z1=C;

if(((48<=z1)&&(z1<=57))){
R=1;
}
}
return R;
}
char r3to_upper(char C){
char R=0;
/*IF*/if ((((unsigned char)C))<(97)) {
R=C;
}
 else if ((((unsigned char)C))>(122)) {
R=C;
}
else {
R=((char)((((unsigned char)C))-(32)));
}
/*FI*/return R;
}
int r3is_letter(char C){
int R=0;
{int z1=C;

if(((65<=z1)&&(z1<=90))||((97<=z1)&&(z1<=122))){
R=1;
}
}
return R;
}
void r497copy_from(T497 C,T497 a1,int a2){
int _i=0;
_i=a2;
while (!((_i)<(0))) {
(C)[_i]=((a1)[_i]);
_i=(_i)-(1);
}
}
T497 r497realloc(T497 C,int a1,int a2){
T497 R=NULL;
R=calloc(a2,sizeof(T0*));
r497copy_from(R,C,(a1)-(1));
return R;
}
void r731set_all_with(T731 C,T0* a1,int a2){
int _i=0;
_i=a2;
while (!((_i)<(0))) {
(C)[_i]=(a1);
_i=(_i)-(1);
}
}
void r731copy_from(T731 C,T731 a1,int a2){
int _i=0;
_i=a2;
while (!((_i)<(0))) {
(C)[_i]=((a1)[_i]);
_i=(_i)-(1);
}
}
T731 r731realloc(T731 C,int a1,int a2){
T731 R=NULL;
R=calloc(a2,sizeof(T0*));
r731copy_from(R,C,(a1)-(1));
return R;
}
void r500copy_from(T500 C,T500 a1,int a2){
int _i=0;
_i=a2;
while (!((_i)<(0))) {
(C)[_i]=((a1)[_i]);
_i=(_i)-(1);
}
}
T500 r500realloc(T500 C,int a1,int a2){
T500 R=NULL;
R=calloc(a2,sizeof(T0*));
r500copy_from(R,C,(a1)-(1));
return R;
}
void r539copy_from(T539 C,T539 a1,int a2){
int _i=0;
_i=a2;
while (!((_i)<(0))) {
(C)[_i]=((a1)[_i]);
_i=(_i)-(1);
}
}
T539 r539realloc(T539 C,int a1,int a2){
T539 R=NULL;
R=calloc(a2,sizeof(T0*));
r539copy_from(R,C,(a1)-(1));
return R;
}
void r42copy_from(T42 C,T42 a1,int a2){
int _i=0;
_i=a2;
while (!((_i)<(0))) {
(C)[_i]=((a1)[_i]);
_i=(_i)-(1);
}
}
T42 r42realloc(T42 C,int a1,int a2){
T42 R=NULL;
R=calloc(a2,sizeof(T0*));
r42copy_from(R,C,(a1)-(1));
return R;
}