"MAIN for CHECKPOINT Copyright (C) 1985 Infocom, Inc. All rights reserved." > > "> > >" > ) (T )> > ; ; >)> ; )>> 0> ;"")> )> ;> ) (T )> ; ; ;" " > ) (T ) (T )> ) (T )> > )> )> >)> > ) (WD4 <>) (WD5 <>) "AUX" N L) "> > )> > > )> >> > )> > ) ( ) ( ) ( ) ( )> )> > > ;"> > )> ) ( >)>) (>>> > ) ( ) ( ) ( ) (T )>)>)> > " <+ 2 ,RSEED>> 10000>> ; ,RSEED>> %> ' ) (T )>) (T )>) (T ')>)> <+ 1 >>" ,MAX-VAR>>> .L) (T .N)>> > >)> <> <>> >>> > > > ; > ;" >" > ;"") (T ; ;"" ;> > ) (>>> )>> >>> > )> ; >>> > > > > > ,GOAL-ENABLE 1> )> ;" > > > >> "> > > > > > )> > ;<+ 1 .L>> ;> > >> )>)> >> ) (STA-ONLY? <>) (PEOPLE? T) "AUX" P OBJ N L M X) > > > )> > )> ;"ticket not punched" >> > )> T) ( > ) ( > >>) (<==? .N ,CAR-HERE> ,LOCKED>) (T ,LOCKED>)>)> > ) (> )> )> > >>)> > )>)> )>>> ) ( )> ,STATION-ROOMS>> )>> <==? .N ,GAS-CAR>> ) (> >)> > >>> > > )) > ;"not ZIP" )> )> > 10> 2>> ) (T )> ;"to ensure USL" > > ) (T )>>> > )) > ;"not ZIP" )> > > >> )> ,CLOCK-WAIT>> )> > > .LEN>>)> ; 1> 1> ; > )> T) ( ) (T )> ) (> )> > > ,ON-TRAIN> ) ( ,ON-TRAIN> ) (T )>) ;(> ) (T >)>)> >