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