$ od -c -N 50000 [Indigo]<Juno>new>RealSolver.bcd!15
0000000 005 \0 217 027 274 r K m c c \0 \f \0 \a \0 \0
0000020 345 5 233 { \0 002 200 001 \0 \0 \0 001 \0 \0 \0 \0
0000040 204 005 \0 \0 \0 Q \0 037 \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 \f \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 005 \0 \0 022 ? 376 277 377 \0 001 \0 \0 \0 \0 \0 016
0000200 300 \0 \0 001 \0 001 377 374 177 377 \0 035 c e U 316
0000220 264 \v \0 " ^ \a 310 300 347 257 \0 - * / j 340
0000240 034 F \0 9 \0 9 \0 017 R e a l S o l v
0000260 e r . m e s a \n R e a l S o l v
0000300 e r 004 L i s p \n J u n o S o l v
0000320 e r \f S o l v e r C o m m o n \0
0000340 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0 \0
*
0001000 037 314 217 027 274 r K m c c \0 \f \0 \a \0 \0
0001020 345 5 233 { 300 020 \0 \0 \0 022 \0 / \0 G \0 v
0001040 \0 ~ \0 364 \0 277 001 263 \0 \0 001 263 \0 \0 001 263
0001060 \0 \0 001 263 002 $ 003 327 \0 8 004 017 \0 004 /
0001100 \0 \v 004 @ \0 \n 004 : \0 002 004 < \0 004 004 @
0001120 \0 \0 004 : \0 \0 004 : \0 \0 \0 \0 \0 \0 \0 9
0001140 \0 \t \0 % \0 \0 \0 020 \0 \0 \0 6 \0 8 \0 \0
0001160 \0 004 \0 / \0 024 \0 032 \0 030 \0 ( \0 ; \0 \n
0001200 \0 \0 \0 025 \0 \0 \0 016 \0 $ \0 > \0 \0 \0 \0
0001220 \0 1 \0 < \0 \a \0 - \0 006 \0 \0 \0 \0 \0 5
0001240 \0 7 \0 # \0 \0 \0 035 \0 \0 \0 \0 \0 \0 \0 017
0001260 \0 \0 \0 2 \0 \0 \0 ' \0 \0 = \0 . \0 :
0001300 \0 \0 \0 033 \0 005 \0 + \0 ) \0 \0 \0 \0 \0 &
0001320 \0 037 \0 \0 \0 \0 \0 \0 \0 , \0 \0 \0 \0 \0 \0
0001340 \0 023 \0 0 \0 " \0 002 \0 \0 \0 \0 \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 304
0001560 200 034 \0 320 300 \0 \0 332 300 021 \0 341 300 \0 \0 353
0001600 300 \0 \0 355 300 \0 \0 357 300 \0 \0 361 300 \0 \0 362
0001620 \0 ! \0 367 300 \0 001 001 300 \0 001 006 300 026 001 \a
0001640 \0 \0 001 \r 300 \0 001 016 300 036 001 022 300 \0 001 026
0001660 300 \0 001 033 300 \0 001 035 \0 * 001 ' 300 \0 001 *
0001700 300 \0 001 + 300 4 001 2 300 \0 001 3 300 027 001 =
0001720 \0 \0 001 = \0 031 001 K \0 \0 001 S \0 \0 001 a
0001740 \0 3 001 q \0 \0 001 z 001 z 001 z U N S P
0001760 E C I F I E D I N T E G E R C H
0002000 A R A C T E R F A L S E T R U E
0002020 B O O L E A N C A R D I N A L W
0002040 O R D R E A L N A T l e n g t h
0002060 m a x L e n g t h t e x t T E X
0002100 T m a x l e n g t h S t r i n g
0002120 B o d y S T R I N G M O N I T O
0002140 R L O C K t i m e o u t C O N D
0002160 I T I O N M D S Z o n e A T O M
0002200 ? U N W I N D A B O R T E D f i
0002220 r s t r e s t B O O L C H A R I
0002240 N T L i s p J u n o S o l v e r
0002260 S o l v e r C o m m o n R e a l
0002300 S o l v e r C o n t e x t C o n
0002320 t e x t R e c s u p o p r b V a
0002340 l u e N e w C o n t e x t M e r
0002360 g e x S o l v e e y e q i n r c
0002400 o n e q o u t r c R e s u l t C
0002420 o d e F i x u I s S u m O f z I
0002440 s P o s i t i v e R e a l S o l
0002460 v e r . b c d L i s p . b c d J
0002500 u n o S o l v e r . b c d S o l
0002520 v e r C o m m o n . b c d S o l
0002540 v e e R e c 2 \0 340 \0 341 200 \0 020 300 002
0002560 300 001 \0 002 \0 \0 \0 \t 300 002 300 001 \0 h \0 \0
0002600 \0 021 300 002 300 001 \0 j \0 \0 \0 031 300 002 300 001
0002620 \0 l \0 \0 \0 1 300 002 300 001 \0 y \0 \0 \0 9
0002640 300 002 300 001 \0 y \0 \0 \0 A 300 002 300 001 \0 }
0002660 \0 \0 \0 I 300 002 300 001 \0 177 \0 \0 \0 Q 300 002
0002700 300 001 \0 203 \0 \0 \0 q 300 002 300 001 \0 261 \0 \0
0002720 \0 211 300 002 300 001 \0 230 \0 \0 \0 201 300 002 300 001
0002740 \0 263 \0 \0 \0 221 300 002 300 001 \0 273 \0 \0 \0 241
0002760 300 002 300 001 \0 310 \0 \0 \0 251 300 002 300 001 \0 316
0003000 \0 \0 \0 261 300 002 \0 002 \0 020 \0 \0 \0 271 300 002
0003020 300 023 \0 \0 \0 001 \0 ) 300 002 300 023 \0 \0 \0 \0
0003040 \0 ! 300 002 300 320 ? 377 \0 003 \0 301 300 002 300 320
0003060 ? 377 \0 005 \0 310 341 201 \0 020 341 202 \0 \b 342 300
0003100 \0 004 \0 002 300 004 300 023 \0 \0 \0 \0 \0 ! 300 004
0003120 300 023 \0 \0 \0 001 \0 ( 354 200 \0 \t \0 \0 377 377
0003140 356 \0 \0 \t 354 200 \0 \t \0 \0 177 377 343 022 \0
0003160 0 \f 320 006 \0 ' \0 020 \0 \0 \0 Y 300 006 \0 225
0003200 \0 020 \0 020 \0 h 300 \0 200 ' \0 020 \0 020 \0 `
0003220 352 301 \0 220 \0 016 343 C \0 0 020 320 \b \0 030
0003240 \0 020 \0 \0 \0 Y 300 \b 200 030 \0 020 \0 020 \0 y
0003260 300 \b \0 252 \0 \0 \0 \0 h 345 001 \0 255 \0 016
0003300 354 201 \0 \t \0 \0 \0 \0 344 \0 \0 6 343 002 \0 020
0003320 0 024 320 \n \0 004 \0 020 \0 \0 \0 \0 343 002 \0
0003340 0 030 320 \f \0 030 \0 020 \0 020 \0 231 320 \f \0 004
0003360 \0 020 \0 \0 \0 \0 360 001 357 \0 \0 \0 \0 O 344 200
0003400 \0 311 355 \0 \0 314 347 003 \0 \0 \0 \0 361 \0 344 200
0003420 \0 323 355 \0 \0 324 343 306 \0 @ 034 344 220 \0 330
0003440 355 \0 \0 333 300 016 \0 326 \0 \0 \0 \0 321 300 016
0003460 \0 335 \0 \0 \0 330 300 002 300 001 \0 023 \0 \0
0003500 \0 341 300 002 300 001 \0 016 \0 \0 \0 351 300 002 300 001
0003520 \0 371 \0 \0 \0 362 \0 004 355 \0 \0 \t 300 020 301 372
0003540 \0 \0 \0 A \0 371 300 020 301 374 \0 \0 \0 A 001 001
0003560 300 020 301 376 \0 \0 \0 A 001 \t 310 020 301 017 \0 \0
0003600 \0 A 001 020 350 \0 \0 022 310 022 300 001 001 8 001 021
0003620 001 031 310 022 300 001 001 < 001 026 001 ! 310 022 201 S
0003640 \0 020 \0 \0 001 U 310 022 201 ^ \0 020 \0 001 001 ]
0003660 310 022 201 205 \0 020 \0 002 001 245 310 022 201 254 \0 020
0003700 \0 003 001 265 310 022 201 330 \0 020 \0 004 001 306 \0 \0
0003720 343 \b \0 200 020 $ 355 \0 001 : 344 200 001 026 343 306
0003740 \0 200 020 ( 310 024 002 \0 \0 \0 \0 001 ) 310 024
0003760 002 \0 \0 \0 001 1 310 024 002 \0 \0 \0 @
0004000 001 9 310 024 002 \0 \0 \0 ` 001 @ 347 \0 \0 \0
0004020 001 V c 346 \0 200 , 310 026 001 021 \0 \0 @
0004040 \0 \0 347 \0 001 a 001 x c 306 \0 200 200 0 310 030
0004060 002 \v \0 \0 @ 001 a 310 030 002 \v \0 \0 `
0004100 001 q 310 030 002 \0 \0 \0 200 001 y 310 030 001 021
0004120 \0 \0 240 001 200 c 306 \0 @ 200 4 310 032 002 \0
0004140 \0 \0 300 001 211 310 032 002 036 \0 \0 340 001 220
0004160 347 \0 001 210 001 237 c 306 \0 200 200 8 310 034 002 \0
0004200 \0 \0 @ 001 251 310 034 002 \v \0 \0 ` 001 a
0004220 310 034 002 \0 \0 \0 200 001 y 310 034 001 021 \0
0004240 \0 240 001 200 c 306 \0 @ 200 < 310 036 002 \0 \0
0004260 \0 300 001 211 310 036 002 036 \0 \0 340 001 220 347 \0
0004300 001 257 001 313 c 306 \0 240 200 @ 310 002 \v \0
0004320 \0 @ 001 a 310 002 \v \0 \0 ` 001 q 310
0004340 002 \v \0 \0 200 001 271 310 002 \0 \0 \0 240
0004360 001 y 310 001 021 \0 \0 300 001 200 c 306 \0 @
0004400 200 D 310 " 002 \0 \0 \0 340 001 211 310 " 002 036
0004420 \0 001 \0 001 220 347 \0 001 333 001 355 c 306 \0 `
0004440 200 H 310 $ 002 \v \0 \0 @ 001 a 310 $ 001 021
0004460 \0 \0 ` 001 201 310 $ 002 \0 \0 \0 200 001 x
0004500 c 306 \0 @ 200 L 310 & 002 \0 \0 \0 240 001 211
0004520 310 & 002 036 \0 \0 300 001 220 350 \0 \0 ( 350 \0
0004540 \0 , 350 \0 \0 0 310 ( 300 001 002 006 001 002 001 J
0004560 \0 \0 355 \0 002 \b 344 200 002 \n 361 \0 310 0 300 001
0004600 002 021 001 \a 001 j 002 025 355 \0 002 023 344 200 002 025
0004620 310 0 300 001 002 033 001 \f 001 362 002 036 343 306 \0 @
0004640 020 h 310 0 300 001 \0 J 001 026 001 232 \0 \0 \0 \0
0004660 030 \0 \0 351 \0 \0 \0 o \0 \0 \0 206 \0 \0 \0 233
0004700 \0 \0 \0 266 \0 \0 \0 276 \0 \0 \0 337 \0 \0 \0 373
0004720 \0 \0 001 021 \0 001 ? \0 \0 001 Y \0 \0 001 d
0004740 \0 \0 001 { \0 \0 001 213 \0 \0 001 242 \0 \0 001 262
0004760 \0 \0 001 316 \0 \0 001 336 \0 \0 001 360 \0 \0 002 \0
0005000 ( \0 \0 \b 002 Q \0 \0 ( \0 \0 020 002 Q 002 \v
0005020 ( 4 \0 030 002 Q \0 \0 \b \0 \0 030 002 221 217 027
0005040 274 r K m \0 " 001 320 \0 \0 \0 \0 177 377 c e
0005060 U 316 264 \v \0 037 001 330 \0 ( \0 \0 \0 \0 ^ \a
0005100 310 300 347 257 \0 001 340 \0 , \0 \0 \0 001 * /
0005120 j 340 034 F \0 ! 001 350 \0 0 \0 \0 \0 002 177 377
0005140 ? 377 001 5 002 B \0 Z 001 8 037 377 \0 004 001 \n
0005160 004 = \0 , [ \0 \0 \0 377 370 \0 \0 377 370 200 \0
0005200 200 206 300 \0 200 233 300 \0 200 266 300 002 200 276 300 \0
0005220 200 303 300 \0
0005224