$ od -c -N 50000 [Indigo]<AlgebraStructures>Reals.bcd!3
0000000 005 \0 303 250 020 262 216 230 \f \f \0 004 360 001 \0 \0
0000020 % , 242 f \0 002 200 001 \0 \0 \0 001 \0 \0 \0 \0
0000040 204 005 \0 \0 \0 U \0 032 \0 \0 \0 \0 \0 9 \0 \f
0000060 \0 E \0 \0 \0 E \0 \0 \0 E \0 \0 \0 3 \0 006
0000100 \0 E \0 020 \0 \0 \0 \0 \0 E \0 \0 \0 E \0 \0
0000120 \0 E \0 \0 \0 \0 \0 \0 \0 E \0 \0 \0 E \0 \0
0000140 \0 E \0 \0 \0 001 ? 377 \0 \0 \0 \0 177 376 \0 002
0000160 \b \0 \0 \r ? 376 277 377 \0 001 \0 \0 \0 \0 \0 016
0000200 340 \0 \0 001 \0 001 377 374 177 377 \0 023 330 371 246 363
0000220 221 % \0 030 366 226 340 K 317 | \0 037 330 244 > 204
0000240 ? 350 \0 " 310 023 & 037 T } \0 0 \0 0 \0 \n
0000260 R e a l s . m e s a 005 R e a l s
0000300 004 R o p e 006 B a s i c s 002 I O 016
0000320 A l g e b r a C l a s s e s \0 \0
0000340 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
*
0001000 037 314 303 250 020 262 216 230 \f \f \0 004 360 001 \0 \0
0001020 % , 242 f 300 020 \0 \0 \0 022 \0 / \0 G \0 v
0001040 \0 354 001 b 001 230 002 372 \0 \0 002 372 \0 \0 002 372
0001060 \0 \0 002 372 003 367 006 361 \0 z \a k \0 0 \a 233
0001100 \0 \v \a 267 \0 016 \a 246 \0 \b \a 256 \0 \t \a 267
0001120 \0 \0 \a 246 \0 \0 \a 246 \0 \0 \0 \0 \0 \0 \0 ]
0001140 \0 0 \0 7 \0 c \0 020 \0 l \0 m \0 027 \0 K
0001160 \0 B \0 f \0 024 \0 _ \0 030 \0 \0 \0 \0 \0 3
0001200 \0 F \0 k \0 a \0 t \0 Z \0 \0 \0 \0 \0 R
0001220 \0 g \0 \0 \0 ( \0 u \0 006 \0 \0 \0 \0 \0 S
0001240 \0 \ \0 L \0 M \0 q \0 \0 \0 C \0 p \0 G
0001260 \0 o \0 \0 \0 s \0 \0 \0 \0 \0 ; \0 \0 \0 031
0001300 \0 Q \0 033 \0 9 \0 \0 \0 U \0 n \0 \0 \0 i
0001320 \0 \0 \0 \0 \0 W \0 \0 \0 026 \0 ^ \0 \0 j
0001340 \0 023 \0 \0 \0 , \0 002 \0 b \0 e \0 \0 \0 \0
0001360 200 \0 \0 \v 200 \0 \0 022 200 \0 \0 033 200 \0 \0
0001400 200 \0 \0 $ 200 \0 \0 + 200 \0 \0 3 200 \0 \0 7
0001420 200 \0 \0 ; 200 \0 \0 > 200 \0 \0 D 200 \0 \0 M
0001440 200 001 \0 Q 200 \r \0 U 200 \f \0 ^ 200 \0 \0 h
0001460 200 \0 \0 n 200 003 \0 y 200 \0 \0 200 200 \0 \0 211
0001500 200 \0 \0 220 200 \0 \0 224 200 022 \0 225 200 \b \0 233
0001520 200 \0 \0 242 200 \0 \0 247 200 \0 \0 253 200 \v \0 257
0001540 200 \0 \0 263 200 \0 \0 266 200 \0 \0 272 200 \0 \0 277
0001560 200 \0 \0 304 200 \0 \0 312 200 016 \0 320 200 \0 \0 325
0001600 200 036 \0 334 200 \0 \0 337 200 & \0 343 200 \a \0 347
0001620 200 \0 \0 355 200 % \0 361 200 \0 \0 367 200 \0 \0 371
0001640 200 # 001 \a 300 ' 001 \f \0 \0 001 016 300 \t 001 022
0001660 \0 \0 001 030 300 \0 001 300 \n 001 ) \0 \0 001 1
0001700 300 \0 001 ? 300 * 001 M \0 \0 001 \ 300 \0 001 c
0001720 \0 005 001 q 300 \0 001 w \0 037 001 177 300 \0 001 210
0001740 \0 032 001 227 300 6 001 235 \0 4 001 245 300 8 001 263
0001760 \0 \0 001 303 300 004 001 307 \0 \0 001 315 300 \0 001 325
0002000 \0 ) 001 337 300 \0 001 345 300 017 001 352 \0 \0 001 361
0002020 300 \0 001 371 300 > 001 374 300 " 002 002 300 021 002 006
0002040 \0 D 002 017 300 \0 002 022 300 ! 002 025 300 A 002 033
0002060 \0 ? 002 " 300 \0 002 * 300 P 002 2 300 025 002 7
0002100 300 034 002 = 300 . 002 C 300 O 002 G \0 035 002 V
0002120 300 : 002 Y 300 < 002 ` \0 2 002 o 300 \0 002 t
0002140 \0 @ 002 t \0 V 002 } \0 = 002 205 \0 Y 002 217
0002160 \0 H 002 225 \0 I 002 247 \0 + 002 260 \0 $ 002 262
0002200 \0 d 002 265 \0 J 002 271 \0 [ 002 300 \0 - 002 311
0002220 \0 \0 002 314 \0 N 002 324 \0 T 002 335 \0 ` 002 343
0002240 \0 5 002 347 \0 1 002 363 \0 / 002 373 \0 \0 003 006
0002260 \0 X 003 \n \0 h 003 020 \0 \0 003 034 \0 r 003 "
0002300 \0 E 003 , 003 , 003 , U N S P E C I F
0002320 I E D I N T E G E R C H A R A C
0002340 T E R F A L S E T R U E B O O L
0002360 E A N C A R D I N A L W O R D R
0002400 E A L N A T l e n g t h m a x L
0002420 e n g t h t e x t T E X T m a x
0002440 l e n g t h S t r i n g B o d y
0002460 S T R I N G M O N I T O R L O C
0002500 K t i m e o u t C O N D I T I O
0002520 N M D S Z o n e A T O M ? U N W
0002540 I N D A B O R T E D f i r s t r
0002560 e s t B O O L C H A R I N T C A
0002600 R D I N T 1 6 I N T 3 2 C A R D
0002620 1 6 C A R D 3 2 N A T 1 5 N A T
0002640 U R A L B I T B Y T E U N I T R
0002660 E A L 3 2 R o p e B a s i c s I
0002700 O A l g e b r a C l a s s e s R
0002720 e a l s A C R e a l O b j e c t
0002740 R e a l D a t a P r i n t N a m
0002760 e T o R o p e O p S h o r t P r
0003000 i n t N a m e C h a r a c t e r
0003020 i s t i c S t r u c t u r e R a
0003040 n k O p I s R e a l s U n a r y
0003060 P r e d i c a t e R e c a s t B
0003100 i n a r y O p C a n R e c a s t
0003120 B i n a r y P r e d i c a t e T
0003140 o E x p r T o E x p r O p L e g
0003160 a l F i r s t C h a r L e g a l
0003200 F i r s t C h a r O p R e a d R
0003220 e a d O p F r o m R o p e F r o
0003240 m R o p e O p T o R o p e W r i
0003260 t e W r i t e O p F r o m R E A
0003300 L i n t T o R E A L Z e r o N u
0003320 l l a r y O p O n e A d d N e g
0003340 a t e U n a r y O p S u b t r a
0003360 c t M u l t i p l y P o w e r I
0003400 n v e r t D i v i d e S i g n C
0003420 o m p a r e T o Z e r o O p A b
0003440 s C o m p a r e B i n a r y C o
0003460 m p a r e O p E q u a l R e a l
0003500 s . b c d R o p e . b c d B a s
0003520 i c s . b c d I O . b c d A l g
0003540 e b r a C l a s s e s . b c d O
0003560 b j e c t R e c i n o u t R O P
0003600 E R o p e R e p s t r u c t u r
0003620 e a r g f i r s t A r g s e c o
0003640 n d A r g r e s u l t E X P R M
0003660 a t h E x p r . b c d M a t h E
0003700 x p r M a t h E x p r R e p c h
0003720 a r S T R E A M S T R E A M R e
0003740 c o r d s t r e a m C o m p a r
0003760 i s o n 2 \0 340 \0 341 200 \0 020 300 002 300 001
0004000 \0 002 \0 \0 \0 \t 300 002 300 001 \0 h \0 \0 \0 021
0004020 300 002 300 001 \0 j \0 \0 \0 031 300 002 300 001 \0 l
0004040 \0 \0 \0 1 300 002 300 001 \0 y \0 \0 \0 9 300 002
0004060 300 001 \0 y \0 \0 \0 A 300 002 300 001 \0 } \0 \0
0004100 \0 I 300 002 300 001 \0 177 \0 \0 \0 Q 300 002 300 001
0004120 \0 203 \0 \0 \0 q 300 002 300 001 \0 261 \0 \0 \0 211
0004140 300 002 300 001 \0 230 \0 \0 \0 201 300 002 300 001 \0 263
0004160 \0 \0 \0 221 300 002 300 001 \0 273 \0 \0 \0 241 300 002
0004200 300 001 \0 310 \0 \0 \0 251 300 002 300 001 \0 316 \0 \0
0004220 \0 261 300 002 \0 002 \0 020 \0 \0 \0 271 300 002 300 023
0004240 \0 \0 \0 001 \0 ) 300 002 300 023 \0 \0 \0 \0 \0 !
0004260 300 002 300 320 ? 377 \0 003 \0 301 300 002 300 320 ? 377
0004300 \0 005 \0 310 341 201 \0 020 341 202 \0 \b 342 300 \0 004
0004320 \0 002 300 004 300 023 \0 \0 \0 \0 \0 ! 300 004 300 023
0004340 \0 \0 \0 001 \0 ( 354 200 \0 \t \0 \0 377 377 356 \0
0004360 \0 \t 354 200 \0 \t \0 \0 177 377 343 022 \0 0 \f
0004400 320 006 \0 ' \0 020 \0 \0 \0 Y 300 006 \0 225 \0 020
0004420 \0 020 \0 h 300 \0 200 ' \0 020 \0 020 \0 ` 352 301
0004440 \0 220 \0 016 343 C \0 0 020 320 \b \0 030 \0 020
0004460 \0 \0 \0 Y 300 \b 200 030 \0 020 \0 020 \0 y 300 \b
0004500 \0 252 \0 \0 \0 \0 h 345 001 \0 255 \0 016 354 201
0004520 \0 \t \0 \0 \0 \0 344 \0 \0 6 343 002 \0 020 0 024
0004540 320 \n \0 004 \0 020 \0 \0 \0 \0 343 002 \0 0 030
0004560 320 \f \0 030 \0 020 \0 020 \0 231 320 \f \0 004 \0 020
0004600 \0 \0 \0 \0 360 001 357 \0 \0 \0 \0 O 344 200 \0 311
0004620 355 \0 \0 314 347 003 \0 \0 \0 \0 361 \0 344 200 \0 323
0004640 355 \0 \0 324 343 306 \0 @ 034 344 220 \0 330 355 \0
0004660 \0 333 300 016 \0 326 \0 \0 \0 \0 321 300 016 \0 335
0004700 \0 \0 \0 330 300 002 300 001 \0 023 \0 \0 \0 341
0004720 300 002 300 001 \0 016 \0 \0 \0 351 300 002 300 001 001 0
0004740 \0 \0 \0 361 300 002 300 001 001 2 \0 \0 \0 371 300 002
0004760 300 001 \0 h \0 \0 001 001 300 002 300 001 001 0 \0 \0
0005000 001 \t 300 002 300 001 \0 y \0 \0 001 021 300 002 300 001
0005020 001 2 \0 \0 001 031 300 002 300 001 \0 177 \0 \0 001 !
0005040 300 002 300 001 \0 177 \0 \0 001 ) 300 002 300 001 001 4
0005060 \0 \0 001 1 300 002 300 001 001 8 \0 \0 001 9 300 002
0005100 300 001 \0 y \0 \0 001 A 300 002 300 001 \0 } \0 \0
0005120 001 J \0 004 355 \0 \0 \t 355 \0 \0 030 354 200 \0 \t
0005140 \0 \0 \0 001 354 200 \0 \t \0 \0 \0 377 300 020 302 033
0005160 \0 \0 \0 A 001 Q 300 020 302 035 \0 \0 \0 A 001 Y
0005200 300 020 302 037 \0 \0 \0 A 001 a 300 020 302 ! \0 \0
0005220 \0 A 001 i 310 020 301 U \0 \0 \0 A 001 p 350 \0
0005240 \0 022 310 022 300 001 002 # 001 W 001 201 310 022 300 001
0005260 001 361 001 \ 001 221 310 022 002 # \0 \0 \0 001 u
0005300 310 022 202 6 \0 020 \0 001 001 235 310 022 202 6 \0 020
0005320 \0 002 001 255 310 022 202 b \0 020 \0 003 001 265 310 022
0005340 202 { \0 020 \0 004 001 305 310 022 202 224 \0 020 \0 005
0005360 001 325 310 022 202 262 \0 020 \0 006 001 345 310 022 202 320
0005400 \0 020 \0 \a 001 365 310 022 203 002 \0 020 \0 \b 002 005
0005420 310 022 203 \0 020 \0 \t 002 025 310 022 203 Q \0 020
0005440 \0 \n 002 % 310 022 202 6 \0 020 \0 \v 002 5 310 022
0005460 203 o \0 020 \0 \f 002 = 310 022 201 365 \0 020 \0 \r
0005500 002 M 310 022 202 \b \0 020 \0 016 002 ] 310 022 203 205
0005520 \0 020 \0 017 002 e 310 022 203 205 \0 020 \0 020 002 u
0005540 310 022 202 224 \0 020 \0 021 002 } 310 022 203 236 \0 020
0005560 \0 022 002 205 310 022 202 224 \0 020 \0 023 002 225 310 022
0005600 202 224 \0 020 \0 024 002 235 310 022 202 224 \0 020 \0 025
0005620 002 245 310 022 203 236 \0 020 \0 026 002 255 310 022 202 224
0005640 \0 020 \0 027 002 265 310 022 203 267 \0 020 \0 030 002 275
0005660 310 022 203 236 \0 020 \0 031 002 315 310 022 203 331 \0 020
0005700 \0 032 002 325 310 022 202 262 \0 020 \0 033 002 346 \0 \0
0005720 343 \f 002 020 020 $ 355 \0 001 363 344 200 \0 " 347 200
0005740 001 370 002 \0 c 341 \0 200 ( 310 024 \0 " \0
0005760 \0 @ 002 P c 346 \0 200 , 310 026 001 W \0
0006000 \0 ` \0 \0 347 200 002 \v 002 023 c 346 \0 200 0
0006020 310 030 001 W \0 \0 @ 002 P c 341 \0 200 4
0006040 310 032 \0 " \0 \0 ` \0 \0 350 @ \0 034 350 @
0006060 \0 350 200 \0 $ 350 @ \0 ( 310 ( 300 001 002 )
0006100 001 z 001 212 002 - 355 \0 002 + 344 200 002 - 310 (
0006120 300 001 002 3 001 177 003 032 002 6 343 306 \0 p 020 X
0006140 310 ( 300 001 002 < 003 \n 001 242 002 b 347 200 002 ?
0006160 002 G 343 346 \0 200 ` 310 0 002 # \0 \0 @
0006200 003 343 346 \0 200 d 310 2 002 O \0 \0 `
0006220 003 ( 310 034 300 001 002 U 001 M 003 2 002 Y 355 \0
0006240 002 W 344 200 002 Y 300 034 300 001 002 _ 002 G 003 :
0006260 \0 \0 343 034 \0 360 020 h 310 ( 300 001 002 h 002 241
0006300 001 272 002 { 347 200 002 k 002 s 343 346 \0 200 p
0006320 310 8 002 # \0 \0 @ 003 @ 343 341 \0 020 200 t
0006340 310 : \0 030 \0 020 \0 ` \0 \0 310 ( 300 001 002 201
0006360 002 8 001 312 002 224 347 200 002 204 002 214 343 346 \0
0006400 200 x 310 < 002 # \0 \0 @ 003 H 343 341 \0 020
0006420 200 | 310 > \0 351 \0 020 \0 ` \0 \0 310 ( 300 001
0006440 002 232 002 G 001 332 002 262 347 200 002 235 002 252 343 306
0006460 \0 @ 200 200 310 @ 002 # \0 \0 @ 003 Q 310 @
0006500 002 # \0 \0 ` 003 X 343 346 \0 200 204 310 B
0006520 002 # \0 \0 200 003 ` 310 ( 300 001 002 270 002 L
0006540 001 352 002 320 347 200 002 273 002 310 343 306 \0 @ 200 210
0006560 310 D 002 # \0 \0 @ 003 Q 310 D 002 # \0
0006600 \0 ` 003 X 343 341 \0 020 200 214 310 F \0 351 \0 020
0006620 \0 200 \0 \0 310 ( 300 001 002 326 003 031 001 372 002 351
0006640 347 200 002 331 002 341 343 346 \0 200 220 310 H 002 #
0006660 \0 \0 @ 003 343 346 \0 200 224 310 J 002 351
0006700 \0 \0 ` 003 ( 310 ( 300 001 002 357 001 p 003 j
0006720 003 002 310 L 300 001 002 365 001 305 003 j 002 371 355 \0
0006740 002 367 344 200 002 371 310 L 300 001 002 377 001 312 003 202
0006760 \0 \0 343 T \0 220 020 240 310 ( 300 001 003 \b 002 373
0007000 002 \n 003 347 200 003 \v 003 030 343 306 \0 0 200 250
0007020 310 T \0 356 \0 020 \0 @ 003 211 310 T 002 # \0
0007040 \0 P 003 @ 343 341 \0 020 200 254 310 V \0 351 \0 020
0007060 \0 p \0 \0 310 ( 300 001 003 & 003 \0 002 032 003 Q
0007100 347 200 003 ) 003 I 343 306 \0 @ 200 260 310 X 003 6
0007120 \0 \0 @ 003 ! 330 X 002 # \0 \0 ` 003 @
0007140 310 $ 300 001 003 < 001 l 003 222 003 @ 355 \0 003 >
0007160 344 200 003 @ 310 $ 300 001 003 F 003 j 003 232 \0 \0
0007200 343 306 \0 200 020 264 343 346 \0 200 274 310 ^ 002 #
0007220 \0 \0 200 003 ( 310 ( 300 001 003 W 003 005 002 *
0007240 003 o 347 200 003 Z 003 g 343 306 \0 @ 200 300 310 `
0007260 002 O \0 \0 @ 003 ! 330 ` 002 # \0 \0 `
0007300 003 @ 343 346 \0 200 304 310 b 002 # \0 \0 200
0007320 003 ( 310 ( 300 001 003 u 003 017 002 B 003 205 347 200
0007340 003 x \0 \0 343 306 \0 @ 200 310 310 d 003 6 \0
0007360 \0 @ 003 241 310 d 002 # \0 \0 ` 003 310 (
0007400 300 001 003 213 003 ( 002 j 003 236 347 200 003 216 003 226
0007420 343 346 \0 200 314 310 f 002 # \0 \0 @ 003 @
0007440 343 346 \0 200 320 310 h 002 # \0 \0 ` 003 `
0007460 310 ( 300 001 003 244 002 3 002 212 003 267 347 200 003 247
0007500 003 257 343 346 \0 200 324 310 j 002 # \0 \0 @
0007520 003 H 343 346 \0 200 330 310 l 002 # \0 \0 `
0007540 003 ` 310 ( 300 001 003 275 003 - 002 302 003 331 347 200
0007560 003 300 003 310 343 346 \0 200 334 310 n 002 # \0
0007600 \0 @ 003 H 343 341 \0 020 200 340 310 p 003 320 \0 020
0007620 \0 ` \0 \0 310 300 001 003 326 001 223 003 252 \0 \0
0007640 342 300 \0 r \0 003 310 ( 300 001 003 337 003 2 002 332
0007660 \0 \0 347 200 003 342 003 357 343 306 \0 @ 200 354 310 v
0007700 002 # \0 \0 @ 003 Q 310 v 002 # \0 \0 `
0007720 003 X 343 341 \0 020 200 360 310 x 003 320 \0 020 \0 200
0007740 \0 \0 \0 \0 030 \0 \0 351 \0 001 \0 o \0 001 \0 206
0007760 \0 001 \0 233 \0 001 \0 266 \0 001 \0 276 \0 001 \0 337
0010000 \0 001 001 < \0 001 001 W 002 001 373 \0 001 002 003
0010020 \0 001 002 016 \0 001 002 026 \0 001 002 O ( 4 \0 \b
0010040 002 Q 003 320 ( r \0 020 002 Q 003 6 ( Z \0 030
0010060 002 221 002 # ( , \0 002 Q \0 \0 \b \0 \0
0010100 002 321 002 B \0 001 002 J \0 001 \0 \0 \b \0 \0 \b
0010120 032 Q 002 n \0 001 002 v \0 001 002 207 \0 001 002 217
0010140 \0 001 002 240 \0 001 002 255 \0 001 002 276 \0 001 002 313
0010160 \0 001 002 334 \0 001 002 344 \0 001 002 357 ( P \0 (
0010200 002 Q \0 \0 \b \0 \0 ( 005 021 003 016 \0 001 003 033
0010220 \0 001 003 , \0 001 \0 \0 \b \0 \0 030 - 221 003 L
0010240 \0 001 003 ] \0 001 003 j \0 001 003 { \0 001 003 221
0010260 \0 001 003 231 \0 001 003 252 \0 001 003 262 \0 001 003 303
0010300 \0 001 003 313 \0 001 \0 \0 \b \0 \0 020 \a 021 003 345
0010320 \0 001 003 362 \0 001 303 250 020 262 216 230 \0 . 002 360
0010340 \0 \0 \0 \0 177 377 330 371 246 363 221 % \0 * 002 370
0010360 \0 034 \0 \0 \0 \0 366 226 340 K 317 | \0 + 003 \0
0010400 \0 \0 \0 \0 001 330 244 > 204 ? 350 \0 , 003 \b
0010420 \0 $ \0 \0 \0 002 310 023 & 037 T } \0 - 003 020
0010440 \0 ( \0 \0 \0 003 215 ] % . 374 177 \0 o 003 p
0010460 \0 L \0 \0 177 377 177 377 ? 377 001 356 002 B \0 /
0010500 \0 004 002 < 037 377 001 P 005 U \0 , [ \0 \0 \0
0010520 T 201 002 ) 300 004 T 201 002 ) 300 004 377 370 \0 \0
0010540 377 370 200 \0 \0 Y \0 \0 \0 002 \0 \0 \0 \0 200 206
0010560 300 \0 200 233 300 \0 200 266 300 002 200 276 300 \0 200 303
0010600 300 \0 203 1 \0 002 203 b \0 005
0010612