102 \ 6Öt>
\86¤
\15\fÅ
\f\8cß
\19\ 4\16ó2°
\b20<ùÅÚ°ÉÒ]ã
\12ó
\82\e<
\13&ú±;n
\90TTúÁ×Ì ¦Ì<Ó
\80\ 1\r0Ö20ð¨
\83ýÁ 7
\rH;006|
\ 3\8a\e10¤
\9c\aÒE
\f\8cO
\8f\ 2Å
\99\80Ø
\ f À
\0Â
\90ya
\rendstream
\rendobj
\r472 0 obj
\r375
\rendobj
\r380 0 obj
\r<<
\r/Type /Page
\r/Parent 374 0 R
\r/Resources 449 0 R
\r/Contents [ 453 0 R 456 0 R 458 0 R 460 0 R 462 0 R 465 0 R 467 0 R 470 0 R ]
\r/CropBox [ 0 0 611 791 ]
\r/Annots [ 424 0 R 425 0 R 426 0 R 427 0 R 428 0 R 429 0 R 430 0 R 431 0 R 432 0 R
\r433 0 R 434 0 R 435 0 R 436 0 R 437 0 R 438 0 R 439 0 R 440 0 R
\r]
\r/B [ 441 0 R ]
\r/MediaBox [ 0 0 612 792 ]
\r/Rotate 0
\r>>
\rendobj
\r381 0 obj
\r<<
\r/Count 10
\r/First 382 0 R
\r/Last 383 0 R
\r>>
\rendobj
\r382 0 obj
\r<<
\r/Title (Encoding Global Unobservability for Efficient Translation to SAT)
\r/Dest (G1103874)
\r/Parent 381 0 R
\r/Next 383 0 R
\r/First 413 0 R
\r/Last 414 0 R
\r/Count 7
\r>>
\rendobj
\r383 0 obj
\r<<
\r/Title (Table 1. Results from unsatisfiable formulas. Speedup is the ratio betwe\
\ren the SAT time with the ...)
\r/Dest (G1150803)
\r/Parent 381 0 R
\r/Prev 382 0 R
\r/First 384 0 R
\r/Last 384 0 R
\r/Count 1
\r>>
\rendobj
\r384 0 obj
\r<<
\r/Title (8 Conclusions)
\r/Dest (G1142451)
\r/Parent 383 0 R
\r/First 385 0 R
\r/Last 386 0 R
\r/Count -28
\r>>
\rendobj
\r385 0 obj
\r<<
\r/Title ([1] M. Abramovici, M.A. Breuer, and A.D. Friedman, Digital Systems Testi\
\rng and Testable Design, I...)
\r/Dest (G1152322)
\r/Parent 384 0 R
\r/Next 412 0 R
\r>>
\rendobj
\r386 0 obj
\r<<
\r/Title ([28] L. Zhang, and S. Malik, \215Cache Performance of SAT Solvers: A Cas\
\re Study for Efficient Implem...)
\r/Dest (G1142629)
\r/Parent 384 0 R
\r/Prev 387 0 R
\r>>
\rendobj
\r387 0 obj
\r<<
\r/Title ([27] M.N. Velev, submitted for publication.)
\r/Dest (G1142651)
\r/Parent 384 0 R
\r/Prev 388 0 R
\r/Next 386 0 R
\r>>
\rendobj
\r388 0 obj
\r<<
\r/Title ([26] M.N. Velev, \215Exploiting Signal Unobservability for Efficient Tra\
\rnslation to CNF in Formal Ve...)
\r/Dest (G1142649)
\r/Parent 384 0 R
\r/Prev 389 0 R
\r/Next 387 0 R
\r>>
\rendobj
\r389 0 obj
\r<<
\r/Title ([25] M.N. Velev, \215Efficient Translation of Boolean Formulas to CNF in\
\r Formal Verification of Micr...)
\r/Dest (G1142647)
\r/Parent 384 0 R
\r/Prev 390 0 R
\r/Next 388 0 R
\r>>
\rendobj
\r390 0 obj
\r<<
\r/Title ([24] M.N. Velev, and R.E. Bryant, \215Effective Use of Boolean Satisfiab\
\rility Procedures in the Form...)
\r/Dest (G1142625)
\r/Parent 384 0 R
\r/Prev 391 0 R
\r/Next 389 0 R
\r>>
\rendobj
\r391 0 obj
\r<<
\r/Title ([23] M.N. Velev, and R.E. Bryant, \215EVC: A Validity Checker for the Lo\
\rgic of Equality with Uninter...)
\r/Dest (G1142623)
\r/Parent 384 0 R
\r/Prev 392 0 R
\r/Next 390 0 R
\r>>
\rendobj
\r392 0 obj
\r<<
\r/Title ([22] M.N. Velev, \215Formal Verification of VLIW Microprocessors with Sp\
\reculative Execution,\216 Comput...)
\r/Dest (G1142621)
\r/Parent 384 0 R
\r/Prev 393 0 R
\r/Next 391 0 R
\r>>
\rendobj
\r393 0 obj
\r<<
\r/Title ([21] M.N. Velev, and R.E. Bryant, \215Formal Verification of Superscalar\
\r Microprocessors with Multic...)
\r/Dest (G1142619)
\r/Parent 384 0 R
\r/Prev 394 0 R
\r/Next 392 0 R
\r>>
\rendobj
\r394 0 obj
\r<<
\r/Title ([20] M.N. Velev, and R.E. Bryant, \215Superscalar Processor Verification\
\r Using Efficient Reductions ...)
\r/Dest (G1142617)
\r/Parent 384 0 R
\r/Prev 395 0 R
\r/Next 393 0 R
\r>>
\rendobj
\r395 0 obj
\r<<
\r/Title ([19] G.S. Tseitin, \215On the Complexity of Derivation in Propositional \
\rCalculus,\216 in Studies in Con...)
\r/Dest (G1142613)
\r/Parent 384 0 R
\r/Prev 396 0 R
\r/Next 394 0 R
\r>>
\rendobj
\r396 0 obj
\r<<
\r/Title ([18] H. Savoj, and R.K. Brayton, \215The Use of Abservability and Extern\
\ral Don\220t Cares for the Simpl...)
\r/Dest (G1142609)
\r/Parent 384 0 R
\r/Prev 397 0 R
\r/Next 395 0 R
\r>>
\rendobj
\r397 0 obj
\r<<
\r/Title ([17] S. Safarpour, A. Veneris, R. Drechsler, and J. Lee, \215Managing Do\
\rn't Cares in Boolean Satisfi...)
\r/Dest (G1142607)
\r/Parent 384 0 R
\r/Prev 398 0 R
\r/Next 396 0 R
\r>>
\rendobj
\r398 0 obj
\r<<
\r/Title ([16] L. Ryan, Siege SAT Solver v.4. http://www.cs.sfu.ca/~loryan/persona\
\rl/)
\r/Dest (G1142605)
\r/Parent 384 0 R
\r/Prev 399 0 R
\r/Next 397 0 R
\r>>
\rendobj
\r399 0 obj
\r<<
\r/Title ([15] D.A. Plaisted, and S. Greenbaum, \215A Structure Preserving Clause \
\rForm Translation,\216 Journal o...)
\r/Dest (G1142599)
\r/Parent 384 0 R
\r/Prev 400 0 R
\r/Next 398 0 R
\r>>
\rendobj
\r400 0 obj
\r<<
\r/Title ([14] R. Ostrowski, E. Gr\351goire, B. Mazure, and L. Sa\357s, \215Recove\
\rring and Exploiting Structural Kno...)
\r/Dest (G1152784)
\r/Parent 384 0 R
\r/Prev 401 0 R
\r/Next 399 0 R
\r>>
\rendobj
\r401 0 obj
\r<<
\r/Title ([13] M.W. Moskewicz, C.F. Madigan, Y. Zhao, L. Zhang, and S. Malik, \215\
\rChaff: Engineering an Effici...)
\r/Dest (G1142595)
\r/Parent 384 0 R
\r/Prev 402 0 R
\r/Next 400 0 R
\r>>
\rendobj
\r402 0 obj
\r<<
\r/Title ([12] S. Malik, A.R. Wang, R.K. Brayton, and A. Sangiovani-Vincentelli, \215\
\rLogic Verification Using ...)
\r/Dest (G1142591)
\r/Parent 384 0 R
\r/Prev 403 0 R
\r/Next 401 0 R
\r>>
\rendobj
\r403 0 obj
\r<<
\r/Title ([11] F. Lu, L.-C. Wang, K.-T. Cheng, J. Moondanos, and Z. Hanna, \215A S\
\rignal Correlation Guided ATP...)
\r/Dest (G1142587)
\r/Parent 384 0 R
\r/Prev 404 0 R
\r/Next 402 0 R
\r>>
\rendobj
\r404 0 obj
\r<<
\r/Title ([10] D. Le Berre, and L. Simon, \215Results from the SAT\22003 Solver Co\
\rmpetition,\216 6th International C...)
\r/Dest (G1142583)
\r/Parent 384 0 R
\r/Prev 405 0 R
\r/Next 403 0 R
\r>>
\rendobj
\r405 0 obj
\r<<
\r/Title ([9] S. Lahiri, C. Pixley, and K. Albin, \215Experience with Term Level M\
\rodeling and Verification of ...)
\r/Dest (G1142577)
\r/Parent 384 0 R
\r/Prev 406 0 R
\r/Next 404 0 R
\r>>
\rendobj
\r406 0 obj
\r<<
\r/Title ([8] A. Kuehlmann, M.K. Ganai, and V. Paruthi, \215Circuit-Based Boolean \
\rReasoning,\216 38th Design Auto...)
\r/Dest (G1142573)
\r/Parent 384 0 R
\r/Prev 407 0 R
\r/Next 405 0 R
\r>>
\rendobj
\r407 0 obj
\r<<
\r/Title ([7] D.S. Johnson, and M.A. Trick, eds., The Second DIMACS Implementation\
\r Challenge, DIMACS Series...)
\r/Dest (G1142569)
\r/Parent 384 0 R
\r/Prev 408 0 R
\r/Next 406 0 R
\r>>
\rendobj
\r408 0 obj
\r<<
\r/Title ([6] J.L. Hennessy, and D.A. Patterson, Computer Architecture: A Quantita\
\rtive Approach, 3rd ed., M...)
\r/Dest (G1142567)
\r/Parent 384 0 R
\r/Prev 409 0 R
\r/Next 407 0 R
\r>>
\rendobj
\r409 0 obj
\r<<
\r/Title ([5] A. Gupta, A. Gupta, Z. Yang, and P. Ashar, \215Dynamic Detection and\
\r Removal of Inactive Clauses...)
\r/Dest (G1142565)
\r/Parent 384 0 R
\r/Prev 410 0 R
\r/Next 408 0 R
\r>>
\rendobj
\r410 0 obj
\r<<
\r/Title ([4] E. Goldberg, and Y. Novikov, \215BerkMin: A Fast and Robust Sat-Solv\
\rer,\216 Design, Automation, and...)
\r/Dest (G1142561)
\r/Parent 384 0 R
\r/Prev 411 0 R
\r/Next 409 0 R
\r>>
\rendobj
\r411 0 obj
\r<<
\r/Title ([3] M.K. Ganai, L. Zhang, P. Ashar, A. Gupta, S. Malik, \215Combining St\
\rrengths of Circuit-Based and...)
\r/Dest (G1142559)
\r/Parent 384 0 R
\r/Prev 412 0 R
\r/Next 410 0 R
\r>>
\rendobj
\r412 0 obj
\r<<
\r/Title ([2] M. Damiani, and G. De Micheli, \215Observability Don\220t Care Sets \
\rand Boolean Relations,\216 Interna...)
\r/Dest (G1142550)
\r/Parent 384 0 R
\r/Prev 385 0 R
\r/Next 411 0 R
\r>>
\rendobj
\r413 0 obj
\r<<
\r/Title (1 Introduction)
\r/Dest (G1102580)
\r/Parent 382 0 R
\r/Next 419 0 R
\r>>
\rendobj
\r414 0 obj
\r<<
\r/Title (7 Results)
\r/Dest (G1150199)
\r/Parent 382 0 R
\r/Prev 415 0 R
\r>>
\rendobj
\r415 0 obj
\r<<
\r/Title (6 Discussion)
\r/Dest (G1154853)
\r/Parent 382 0 R
\r/Prev 416 0 R
\r/Next 414 0 R
\r>>
\rendobj
\r416 0 obj
\r<<
\r/Title (5 Correctness Proof of the New Translation to CNF)
\r/Dest (G1154084)
\r/Parent 382 0 R
\r/Prev 417 0 R
\r/Next 415 0 R
\r>>
\rendobj
\r417 0 obj
\r<<
\r/Title (4 Global Unobservability Constraints for All Logic Blocks)
\r/Dest (G1154138)
\r/Parent 382 0 R
\r/Prev 418 0 R
\r/Next 416 0 R
\r>>
\rendobj
\r418 0 obj
\r<<
\r/Title (3 Constraints for Global Unobservability of Logic Blocks)
\r/Dest (G1152716)
\r/Parent 382 0 R
\r/Prev 419 0 R
\r/Next 417 0 R
\r>>
\rendobj
\r419 0 obj
\r<<
\r/Title (2 Previous Translations to CNF)
\r/Dest (G1141922)
\r/Parent 382 0 R
\r/Prev 413 0 R
\r/Next 418 0 R
\r/First 420 0 R
\r/Last 421 0 R
\r/Count -4
\r>>
\rendobj
\r420 0 obj
\r<<
\r/Title (2.1 Conventional Translation from Propositional Logic to CNF)
\r/Dest (G1141926)
\r/Parent 419 0 R
\r/Next 423 0 R
\r>>
\rendobj
\r421 0 obj
\r<<
\r/Title (2.4 CNF Unobservability Variables and Constraints for Local Unobservabil\
\rity)
\r/Dest (G1152372)
\r/Parent 419 0 R
\r/Prev 422 0 R
\r>>
\rendobj
\r422 0 obj
\r<<
\r/Title (2.3 Reflecting the Local Unobservability of ITE-Trees)
\r/Dest (G1141968)
\r/Parent 419 0 R
\r/Prev 423 0 R
\r/Next 421 0 R
\r>>
\rendobj
\r423 0 obj
\r<<
\r/Title (2.2 Translation to CNF by Merging ITE-Trees and Other Gate Groups)
\r/Dest (G1141948)
\r/Parent 419 0 R
\r/Prev 420 0 R
\r/Next 422 0 R
\r>>
\rendobj
\r424 0 obj
\r<<
\r/Dest (G1142595)
\r/Type /Annot
\r/Subtype /Link
\r/Rect [ 435 440 445 450 ]
\r/Border [ 0 0 0 ]
\r>>
\rendobj
\r425 0 obj
\r<<
\r/Dest (G1142567)
\r/Type /Annot
\r/Subtype /Link
\r/Rect [ 415 404 420 414 ]
\r/Border [ 0 0 0 ]
\r>>
\rendobj
\r426 0 obj
\r<<
\r/Dest (G1142629)
\r/Type /Annot
\r/Subtype /Link
\r/Rect [ 234 392 244 402 ]
\r/Border [ 0 0 0 ]
\r>>
\rendobj
\r427 0 obj
\r<<
\r/Dest (G1142567)
\r/Type /Annot
\r/Subtype /Link
\r/Rect [ 384 380 389 390 ]
\r/Border [ 0 0 0 ]
\r>>
\rendobj
\r428 0 obj
\r<<
\r/Dest (G1142613)
\r/Type /Annot
\r/Subtype /Link
\r/Rect [ 256 368 266 378 ]
\r/Border [ 0 0 0 ]
\r>>
\rendobj
\r429 0 obj
\r<<
\r/Dest (G1142623)
\r/Type /Annot
\r/Subtype /Link
\r/Rect [ 253 128 263 138 ]
\r/Border [ 0 0 0 ]
\r>>
\rendobj
\r430 0 obj
\r<<
\r/Dest (G1142617)
\r/Type /Annot
\r/Subtype /Link
\r/Rect [ 350 116 360 126 ]
\r/Border [ 0 0 0 ]
\r>>
\rendobj
\r431 0 obj
\r<<
\r/Dest (G1142550)
\r/Type /Annot
\r/Subtype /Link
\r/Rect [ 329 356 334 366 ]
\r/Border [ 0 0 0 ]
\r>>
\rendobj
\r432 0 obj
\r<<
\r/Dest (G1142609)
\r/Type /Annot
\r/Subtype /Link
\r/Rect [ 341 356 351 366 ]
\r/Border [ 0 0 0 ]
\r>>
\rendobj
\r433 0 obj
\r<<
\r/Dest (G1152322)
\r/Type /Annot
\r/Subtype /Link
\r/Rect [ 152 344 157 354 ]
\r/Border [ 0 0 0 ]
\r>>
\rendobj
\r434 0 obj
\r<<
\r/Dest (G1142565)
\r/Type /Annot
\r/Subtype /Link
\r/Rect [ 170 308 175 318 ]
\r/Border [ 0 0 0 ]
\r>>
\rendobj
\r435 0 obj
\r<<
\r/Dest (G1142607)
\r/Type /Annot
\r/Subtype /Link
\r/Rect [ 293 284 303 294 ]
\r/Border [ 0 0 0 ]
\r>>
\rendobj
\r436 0 obj
\r<<
\r/Dest (G1142573)
\r/Type /Annot
\r/Subtype /Link
\r/Rect [ 398 272 403 282 ]
\r/Border [ 0 0 0 ]
\r>>
\rendobj
\r437 0 obj
\r<<
\r/Dest (G1142587)
\r/Type /Annot
\r/Subtype /Link
\r/Rect [ 410 272 420 282 ]
\r/Border [ 0 0 0 ]
\r>>
\rendobj
\r438 0 obj
\r<<
\r/Dest (G1152784)
\r/Type /Annot
\r/Subtype /Link
\r/Rect [ 426 272 436 282 ]
\r/Border [ 0 0 0 ]
\r>>
\rendobj
\r439 0 obj
\r<<
\r/Dest (G1142559)
\r/Type /Annot
\r/Subtype /Link
\r/Rect [ 251 260 256 270 ]
\r/Border [ 0 0 0 ]
\r>>
\rendobj
\r440 0 obj
\r<<
\r/Dest (G1152784)
\r/Type /Annot
\r/Subtype /Link
\r/Rect [ 263 260 272 270 ]
\r/Border [ 0 0 0 ]
\r>>
\rendobj
\r441 0 obj
\r<<
\r/T 378 0 R
\r/P 380 0 R
\r/R [ 99 63 513 693 ]
\r/V 442 0 R
\r/N 443 0 R
\r>>
\rendobj
\r442 0 obj
\r<<
\r/P 40 0 R
\r/R [ 99 63 513 693 ]
\r/V 448 0 R
\r/N 441 0 R
\r/T 378 0 R
\r>>
\rendobj
\r443 0 obj
\r<<
\r/P 1 0 R
\r/R [ 99 63 513 693 ]
\r/V 441 0 R
\r/N 444 0 R
\r/T 378 0 R
\r>>
\rendobj
\r444 0 obj
\r<<
\r/P 11 0 R
\r/R [ 99 63 513 693 ]
\r/V 443 0 R
\r/N 445 0 R
\r/T 378 0 R
\r>>
\rendobj
\r445 0 obj
\r<<
\r/P 15 0 R
\r/R [ 99 63 513 693 ]
\r/V 444 0 R
\r/N 446 0 R
\r/T 378 0 R
\r>>
\rendobj
\r446 0 obj
\r<<
\r/P 18 0 R
\r/R [ 99 63 513 693 ]
\r/V 445 0 R
\r/N 447 0 R
\r/T 378 0 R
\r>>
\rendobj
\r447 0 obj
\r<<
\r/P 21 0 R
\r/R [ 99 63 513 693 ]
\r/V 446 0 R
\r/N 448 0 R
\r/T 378 0 R
\r>>
\rendobj
\r448 0 obj
\r<<
\r/P 37 0 R
\r/R [ 99 63 513 693 ]
\r/V 447 0 R
\r/N 442 0 R
\r/T 378 0 R
\r>>
\rendobj
\r449 0 obj
\r<<
\r/ProcSet [ /PDF /Text ]
\r/Font << /F1 451 0 R /F2 450 0 R /F3 455 0 R /F4 464 0 R >>
\r/ExtGState << /GS1 469 0 R >>
\r>>
\rendobj
\r450 0 obj
\r<<
\r/Type /Font
\r/Subtype /Type1
\r/Encoding /WinAnsiEncoding
\r/BaseFont /Times-Roman
\r>>
\rendobj
\r451 0 obj
\r<<
\r/Type /Font
\r/Subtype /Type1
\r/Encoding /WinAnsiEncoding
\r/BaseFont /Times-Bold
\r>>
\rendobj
\r452 0 obj
\r880
\rendobj
\r453 0 obj
\r<< /Filter /FlateDecode /Length 452 0 R >>
\rstream
\r
447 endstream
\rendobj
\r64 0 obj
\r<<
\r/D [ 380 0 R /XYZ null null null ]
\r>>
\rendobj
\r65 0 obj
\r<<
\r/D [ 380 0 R /XYZ null null null ]
\r>>
\rendobj
\r66 0 obj
\r<<
\r/D [ 380 0 R /XYZ 70 759 null ]
\r>>
\rendobj
\r67 0 obj
\r<<
\r/D [ 380 0 R /XYZ 70 46 null ]
\r>>
\rendobj
\r68 0 obj
\r<<
\r/D [ 380 0 R /XYZ 106 688 null ]
\r>>
\rendobj
\r69 0 obj
\r<<
\r/D [ 380 0 R /XYZ 106 612 null ]
\r>>
\rendobj
\r70 0 obj
\r<<
\r/D [ 380 0 R /XYZ 106 483 null ]
\r>>
\rendobj
\r71 0 obj
\r<<
\r/D [ 380 0 R /XYZ 106 464 null ]
\r>>
\rendobj
\r72 0 obj
\r<<
\r/D [ 380 0 R /XYZ 106 380 null ]
\r>>
\rendobj
\r73 0 obj
\r<<
\r/D [ 380 0 R /XYZ 106 320 null ]
\r>>
\rendobj
\r74 0 obj
\r<<
\r/D [ 380 0 R /XYZ 106 248 null ]
\r>>
\rendobj
\r75 0 obj
\r<<
\r/D [ 380 0 R /XYZ 106 158 null ]
\r>>
\rendobj
\r76 0 obj
\r<<
\r/D [ 380 0 R /XYZ 106 140 null ]
\r>>
\rendobj
\r77 0 obj
\r<<
\r/D [ 380 0 R /XYZ 106 661 null ]
\r>>
\rendobj
\r78 0 obj
\r<<
\r/D [ 380 0 R /XYZ 106 648 null ]
\r>>
\rendobj
\r79 0 obj
\r<<
\r/D [ 380 0 R /XYZ 106 638 null ]
\r>>
\rendobj
\r80 0 obj
\r<<
\r/D [ 1 0 R /XYZ null null null ]
\r>>
\rendobj
\r81 0 obj
\r<<
\r/D [ 1 0 R /XYZ 124 694 null ]
\r>>
\rendobj
\r82 0 obj
\r<<
\r/D [ 1 0 R /XYZ 124 694 null ]
\r>>
\rendobj
\r83 0 obj
\r<<
\r/D [ 1 0 R /XYZ 124 595 null ]
\r>>
\rendobj
\r84 0 obj
\r<<
\r/D [ 1 0 R /XYZ 124 595 null ]
\r>>
\rendobj
\r85 0 obj
\r<<
\r/D [ 1 0 R /XYZ 70 759 null ]
\r>>
\rendobj
\r86 0 obj
\r<<
\r/D [ 1 0 R /XYZ 70 40 null ]
\r>>
\rendobj
\r87 0 obj
\r<<
\r/D [ 1 0 R /XYZ 106 687 null ]
\r>>
\rendobj
\r88 0 obj
\r<<
\r/D [ 1 0 R /XYZ 106 670 null ]
\r>>
\rendobj
\r89 0 obj
\r<<
\r/D [ 1 0 R /XYZ 106 588 null ]
\r>>
\rendobj
\r90 0 obj
\r<<
\r/D [ 1 0 R /XYZ 106 571 null ]
\r>>
\rendobj
\r91 0 obj
\r<<
\r/D [ 1 0 R /XYZ 106 241 null ]
\r>>
\rendobj
\r92 0 obj
\r<<
\r/D [ 1 0 R /XYZ 106 206 null ]
\r>>
\rendobj
\r93 0 obj
\r<<
\r/D [ 1 0 R /XYZ 106 194 null ]
\r>>
\rendobj
\r94 0 obj
\r<<
\r/D [ 1 0 R /XYZ 106 182 null ]
\r>>
\rendobj
\r95 0 obj
\r<<
\r/D [ 11 0 R /XYZ null null null ]
\r>>
\rendobj
\r96 0 obj
\r<<
\r/D [ 11 0 R /XYZ 124 611 null ]
\r>>
\rendobj
\r97 0 obj
\r<<
\r/D [ 11 0 R /XYZ 124 611 null ]
\r>>
\rendobj
\r98 0 obj
\r<<
\r/D [ 11 0 R /XYZ 106 687 null ]
\r>>
\rendobj
\r99 0 obj
\r<<
\r/D [ 11 0 R /XYZ 106 605 null ]
\r>>
\rendobj
\r100 0 obj
\r<<
\r/D [ 11 0 R /XYZ 106 588 null ]
\r>>
\rendobj
\r101 0 obj
\r<<
\r/D [ 11 0 R /XYZ 106 506 null ]
\r>>
\rendobj
\r102 0 obj
\r<<
\r/D [ 11 0 R /XYZ 106 489 null ]
\r>>
\rendobj
\r103 0 obj
\r<<
\r/D [ 11 0 R /XYZ 106 333 null ]
\r>>
\rendobj
\r104 0 obj
\r<<
\r/D [ 11 0 R /XYZ 106 139 null ]
\r>>
\rendobj
\r105 0 obj
\r<<
\r/D [ 15 0 R /XYZ null null null ]
\r>>
\rendobj
\r106 0 obj
\r<<
\r/D [ 15 0 R /XYZ 106 688 null ]
\r>>
\rendobj
\r107 0 obj
\r<<
\r/D [ 15 0 R /XYZ 106 669 null ]
\r>>
\rendobj
\r108 0 obj
\r<<
\r/D [ 15 0 R /XYZ 106 585 null ]
\r>>
\rendobj
\r109 0 obj
\r<<
\r/D [ 15 0 R /XYZ 106 501 null ]
\r>>
\rendobj
\r110 0 obj
\r<<
\r/D [ 15 0 R /XYZ 106 405 null ]
\r>>
\rendobj
\r111 0 obj
\r<<
\r/D [ 15 0 R /XYZ 106 175 null ]
\r>>
\rendobj
\r112 0 obj
\r<<
\r/D [ 15 0 R /XYZ 106 118 null ]
\r>>
\rendobj
\r113 0 obj
\r<<
\r/D [ 15 0 R /XYZ 106 100 null ]
\r>>
\rendobj
\r114 0 obj
\r<<
\r/D [ 18 0 R /XYZ null null null ]
\r>>
\rendobj
\r115 0 obj
\r<<
\r/D [ 18 0 R /XYZ 106 651 null ]
\r>>
\rendobj
\r116 0 obj
\r<<
\r/D [ 18 0 R /XYZ 106 550 null ]
\r>>
\rendobj
\r117 0 obj
\r<<
\r/D [ 18 0 R /XYZ 106 531 null ]
\r>>
\rendobj
\r118 0 obj
\r<<
\r/D [ 18 0 R /XYZ 106 491 null ]
\r>>
\rendobj
\r119 0 obj
\r<<
\r/D [ 18 0 R /XYZ 106 370 null ]
\r>>
\rendobj
\r120 0 obj
\r<<
\r/D [ 18 0 R /XYZ 106 107 null ]
\r>>
\rendobj
\r121 0 obj
\r<<
\r/D [ 21 0 R /XYZ null null null ]
\r>>
\rendobj
\r122 0 obj
\r<<
\r/D [ 21 0 R /XYZ 106 688 null ]
\r>>
\rendobj
\r123 0 obj
\r<<
\r/D [ 21 0 R /XYZ 106 669 null ]
\r>>
\rendobj
\r124 0 obj
\r<<
\r/D [ 21 0 R /XYZ 106 513 null ]
\r>>
\rendobj
\r125 0 obj
\r<<
\r/D [ 21 0 R /XYZ 106 453 null ]
\r>>
\rendobj
\r126 0 obj
\r<<
\r/D [ 21 0 R /XYZ 106 340 null ]
\r>>
\rendobj
\r127 0 obj
\r<<
\r/D [ 21 0 R /XYZ 106 321 null ]
\r>>
\rendobj
\r128 0 obj
\r<<
\r/D [ 21 0 R /XYZ 106 201 null ]
\r>>
\rendobj
\r129 0 obj
\r<<
\r/D [ 37 0 R /XYZ null null null ]
\r>>
\rendobj
\r130 0 obj
\r<<
\r/D [ 37 0 R /XYZ 115 181 null ]
\r>>
\rendobj
\r131 0 obj
\r<<
\r/D [ 37 0 R /XYZ 115 181 null ]
\r>>
\rendobj
\r132 0 obj
\r<<
\r/D [ 37 0 R /XYZ 115 164 null ]
\r>>
\rendobj
\r133 0 obj
\r<<
\r/D [ 37 0 R /XYZ 115 164 null ]
\r>>
\rendobj
\r134 0 obj
\r<<
\r/D [ 37 0 R /XYZ 115 148 null ]
\r>>
\rendobj
\r135 0 obj
\r<<
\r/D [ 37 0 R /XYZ 115 148 null ]
\r>>
\rendobj
\r136 0 obj
\r<<
\r/D [ 37 0 R /XYZ 115 133 null ]
\r>>
\rendobj
\r137 0 obj
\r<<
\r/D [ 37 0 R /XYZ 115 133 null ]
\r>>
\rendobj
\r138 0 obj
\r<<
\r/D [ 37 0 R /XYZ 115 116 null ]
\r>>
\rendobj
\r139 0 obj
\r<<
\r/D [ 37 0 R /XYZ 115 116 null ]
\r>>
\rendobj
\r140 0 obj
\r<<
\r/D [ 37 0 R /XYZ 115 100 null ]
\r>>
\rendobj
\r141 0 obj
\r<<
\r/D [ 37 0 R /XYZ 115 100 null ]
\r>>
\rendobj
\r142 0 obj
\r<<
\r/D [ 37 0 R /XYZ 106 440 null ]
\r>>
\rendobj
\r143 0 obj
\r<<
\r/D [ 37 0 R /XYZ 106 375 null ]
\r>>
\rendobj
\r144 0 obj
\r<<
\r/D [ 37 0 R /XYZ 106 356 null ]
\r>>
\rendobj
\r145 0 obj
\r<<
\r/D [ 37 0 R /XYZ 106 194 null ]
\r>>
\rendobj
\r146 0 obj
\r<<
\r/D [ 37 0 R /XYZ 106 175 null ]
\r>>
\rendobj
\r147 0 obj
\r<<
\r/D [ 37 0 R /XYZ 106 159 null ]
\r>>
\rendobj
\r148 0 obj
\r<<
\r/D [ 37 0 R /XYZ 106 143 null ]
\r>>
\rendobj
\r149 0 obj
\r<<
\r/D [ 37 0 R /XYZ 106 127 null ]
\r>>
\rendobj
\r150 0 obj
\r<<
\r/D [ 37 0 R /XYZ 106 111 null ]
\r>>
\rendobj
\r151 0 obj
\r<<
\r/D [ 37 0 R /XYZ 106 95 null ]
\r>>
\rendobj
\r152 0 obj
\r<<
\r/D [ 37 0 R /XYZ 106 661 null ]
\r>>
\rendobj
\r153 0 obj
\r<<
\r/D [ 37 0 R /XYZ 178 632 null ]
\r>>
\rendobj
\r154 0 obj
\r<<
\r/D [ 37 0 R /XYZ 178 619 null ]
\r>>
\rendobj
\r155 0 obj
\r<<
\r/D [ 37 0 R /XYZ 211 622 null ]
\r>>
\rendobj
\r156 0 obj
\r<<
\r/D [ 37 0 R /XYZ 292 633 null ]
\r>>
\rendobj
\r157 0 obj
\r<<
\r/D [ 37 0 R /XYZ 341 633 null ]
\r>>
\rendobj
\r158 0 obj
\r<<
\r/D [ 37 0 R /XYZ 408 622 null ]
\r>>
\rendobj
\r159 0 obj
\r<<
\r/D [ 37 0 R /XYZ 292 616 null ]
\r>>
\rendobj
\r160 0 obj
\r<<
\r/D [ 37 0 R /XYZ 309 620 null ]
\r>>
\rendobj
\r161 0 obj
\r<<
\r/D [ 37 0 R /XYZ 324 620 null ]
\r>>
\rendobj
\r162 0 obj
\r<<
\r/D [ 37 0 R /XYZ 324 613 null ]
\r>>
\rendobj
\r163 0 obj
\r<<
\r/D [ 37 0 R /XYZ 341 621 null ]
\r>>
\rendobj
\r164 0 obj
\r<<
\r/D [ 37 0 R /XYZ 341 615 null ]
\r>>
\rendobj
\r165 0 obj
\r<<
\r/D [ 37 0 R /XYZ 364 621 null ]
\r>>
\rendobj
\r166 0 obj
\r<<
\r/D [ 37 0 R /XYZ 364 615 null ]
\r>>
\rendobj
\r167 0 obj
\r<<
\r/D [ 37 0 R /XYZ 386 621 null ]
\r>>
\rendobj
\r168 0 obj
\r<<
\r/D [ 37 0 R /XYZ 178 600 null ]
\r>>
\rendobj
\r169 0 obj
\r<<
\r/D [ 37 0 R /XYZ 178 593 null ]
\r>>
\rendobj
\r170 0 obj
\r<<
\r/D [ 37 0 R /XYZ 211 600 null ]
\r>>
\rendobj
\r171 0 obj
\r<<
\r/D [ 37 0 R /XYZ 292 601 null ]
\r>>
\rendobj
\r172 0 obj
\r<<
\r/D [ 37 0 R /XYZ 309 601 null ]
\r>>
\rendobj
\r173 0 obj
\r<<
\r/D [ 37 0 R /XYZ 324 601 null ]
\r>>
\rendobj
\r174 0 obj
\r<<
\r/D [ 37 0 R /XYZ 341 601 null ]
\r>>
\rendobj
\r175 0 obj
\r<<
\r/D [ 37 0 R /XYZ 364 601 null ]
\r>>
\rendobj
\r176 0 obj
\r<<
\r/D [ 37 0 R /XYZ 386 601 null ]
\r>>
\rendobj
\r177 0 obj
\r<<
\r/D [ 37 0 R /XYZ 408 600 null ]
\r>>
\rendobj
\r178 0 obj
\r<<
\r/D [ 37 0 R /XYZ 211 590 null ]
\r>>
\rendobj
\r179 0 obj
\r<<
\r/D [ 37 0 R /XYZ 292 590 null ]
\r>>
\rendobj
\r180 0 obj
\r<<
\r/D [ 37 0 R /XYZ 309 590 null ]
\r>>
\rendobj
\r181 0 obj
\r<<
\r/D [ 37 0 R /XYZ 324 590 null ]
\r>>
\rendobj
\r182 0 obj
\r<<
\r/D [ 37 0 R /XYZ 341 590 null ]
\r>>
\rendobj
\r183 0 obj
\r<<
\r/D [ 37 0 R /XYZ 364 590 null ]
\r>>
\rendobj
\r184 0 obj
\r<<
\r/D [ 37 0 R /XYZ 386 590 null ]
\r>>
\rendobj
\r185 0 obj
\r<<
\r/D [ 37 0 R /XYZ 408 590 null ]
\r>>
\rendobj
\r186 0 obj
\r<<
\r/D [ 37 0 R /XYZ 211 581 null ]
\r>>
\rendobj
\r187 0 obj
\r<<
\r/D [ 37 0 R /XYZ 292 581 null ]
\r>>
\rendobj
\r188 0 obj
\r<<
\r/D [ 37 0 R /XYZ 309 581 null ]
\r>>
\rendobj
\r189 0 obj
\r<<
\r/D [ 37 0 R /XYZ 324 581 null ]
\r>>
\rendobj
\r190 0 obj
\r<<
\r/D [ 37 0 R /XYZ 341 581 null ]
\r>>
\rendobj
\r191 0 obj
\r<<
\r/D [ 37 0 R /XYZ 364 581 null ]
\r>>
\rendobj
\r192 0 obj
\r<<
\r/D [ 37 0 R /XYZ 386 581 null ]
\r>>
\rendobj
\r193 0 obj
\r<<
\r/D [ 37 0 R /XYZ 408 581 null ]
\r>>
\rendobj
\r194 0 obj
\r<<
\r/D [ 37 0 R /XYZ 211 570 null ]
\r>>
\rendobj
\r195 0 obj
\r<<
\r/D [ 37 0 R /XYZ 292 570 null ]
\r>>
\rendobj
\r196 0 obj
\r<<
\r/D [ 37 0 R /XYZ 309 570 null ]
\r>>
\rendobj
\r197 0 obj
\r<<
\r/D [ 37 0 R /XYZ 324 570 null ]
\r>>
\rendobj
\r198 0 obj
\r<<
\r/D [ 37 0 R /XYZ 341 570 null ]
\r>>
\rendobj
\r199 0 obj
\r<<
\r/D [ 37 0 R /XYZ 364 570 null ]
\r>>
\rendobj
\r200 0 obj
\r<<
\r/D [ 37 0 R /XYZ 386 570 null ]
\r>>
\rendobj
\r201 0 obj
\r<<
\r/D [ 37 0 R /XYZ 408 570 null ]
\r>>
\rendobj
\r202 0 obj
\r<<
\r/D [ 37 0 R /XYZ 211 561 null ]
\r>>
\rendobj
\r203 0 obj
\r<<
\r/D [ 37 0 R /XYZ 292 561 null ]
\r>>
\rendobj
\r204 0 obj
\r<<
\r/D [ 37 0 R /XYZ 309 561 null ]
\r>>
\rendobj
\r205 0 obj
\r<<
\r/D [ 37 0 R /XYZ 324 561 null ]
\r>>
\rendobj
\r206 0 obj
\r<<
\r/D [ 37 0 R /XYZ 341 561 null ]
\r>>
\rendobj
\r207 0 obj
\r<<
\r/D [ 37 0 R /XYZ 364 561 null ]
\r>>
\rendobj
\r208 0 obj
\r<<
\r/D [ 37 0 R /XYZ 386 561 null ]
\r>>
\rendobj
\r209 0 obj
\r<<
\r/D [ 37 0 R /XYZ 408 561 null ]
\r>>
\rendobj
\r210 0 obj
\r<<
\r/D [ 37 0 R /XYZ 178 549 null ]
\r>>
\rendobj
\r211 0 obj
\r<<
\r/D [ 37 0 R /XYZ 178 543 null ]
\r>>
\rendobj
\r212 0 obj
\r<<
\r/D [ 37 0 R /XYZ 211 549 null ]
\r>>
\rendobj
\r213 0 obj
\r<<
\r/D [ 37 0 R /XYZ 292 550 null ]
\r>>
\rendobj
\r214 0 obj
\r<<
\r/D [ 37 0 R /XYZ 309 550 null ]
\r>>
\rendobj
\r215 0 obj
\r<<
\r/D [ 37 0 R /XYZ 324 550 null ]
\r>>
\rendobj
\r216 0 obj
\r<<
\r/D [ 37 0 R /XYZ 341 550 null ]
\r>>
\rendobj
\r217 0 obj
\r<<
\r/D [ 37 0 R /XYZ 364 550 null ]
\r>>
\rendobj
\r218 0 obj
\r<<
\r/D [ 37 0 R /XYZ 386 550 null ]
\r>>
\rendobj
\r219 0 obj
\r<<
\r/D [ 37 0 R /XYZ 408 549 null ]
\r>>
\rendobj
\r220 0 obj
\r<<
\r/D [ 37 0 R /XYZ 211 540 null ]
\r>>
\rendobj
\r221 0 obj
\r<<
\r/D [ 37 0 R /XYZ 292 540 null ]
\r>>
\rendobj
\r222 0 obj
\r<<
\r/D [ 37 0 R /XYZ 309 540 null ]
\r>>
\rendobj
\r223 0 obj
\r<<
\r/D [ 37 0 R /XYZ 324 540 null ]
\r>>
\rendobj
\r224 0 obj
\r<<
\r/D [ 37 0 R /XYZ 341 540 null ]
\r>>
\rendobj
\r225 0 obj
\r<<
\r/D [ 37 0 R /XYZ 364 540 null ]
\r>>
\rendobj
\r226 0 obj
\r<<
\r/D [ 37 0 R /XYZ 386 540 null ]
\r>>
\rendobj
\r227 0 obj
\r<<
\r/D [ 37 0 R /XYZ 408 540 null ]
\r>>
\rendobj
\r228 0 obj
\r<<
\r/D [ 37 0 R /XYZ 211 530 null ]
\r>>
\rendobj
\r229 0 obj
\r<<
\r/D [ 37 0 R /XYZ 292 530 null ]
\r>>
\rendobj
\r230 0 obj
\r<<
\r/D [ 37 0 R /XYZ 309 530 null ]
\r>>
\rendobj
\r231 0 obj
\r<<
\r/D [ 37 0 R /XYZ 324 530 null ]
\r>>
\rendobj
\r232 0 obj
\r<<
\r/D [ 37 0 R /XYZ 341 530 null ]
\r>>
\rendobj
\r233 0 obj
\r<<
\r/D [ 37 0 R /XYZ 364 530 null ]
\r>>
\rendobj
\r234 0 obj
\r<<
\r/D [ 37 0 R /XYZ 386 530 null ]
\r>>
\rendobj
\r235 0 obj
\r<<
\r/D [ 37 0 R /XYZ 408 530 null ]
\r>>
\rendobj
\r236 0 obj
\r<<
\r/D [ 37 0 R /XYZ 211 520 null ]
\r>>
\rendobj
\r237 0 obj
\r<<
\r/D [ 37 0 R /XYZ 292 520 null ]
\r>>
\rendobj
\r238 0 obj
\r<<
\r/D [ 37 0 R /XYZ 309 520 null ]
\r>>
\rendobj
\r239 0 obj
\r<<
\r/D [ 37 0 R /XYZ 324 520 null ]
\r>>
\rendobj
\r240 0 obj
\r<<
\r/D [ 37 0 R /XYZ 341 520 null ]
\r>>
\rendobj
\r241 0 obj
\r<<
\r/D [ 37 0 R /XYZ 364 520 null ]
\r>>
\rendobj
\r242 0 obj
\r<<
\r/D [ 37 0 R /XYZ 386 520 null ]
\r>>
\rendobj
\r243 0 obj
\r<<
\r/D [ 37 0 R /XYZ 408 520 null ]
\r>>
\rendobj
\r244 0 obj
\r<<
\r/D [ 37 0 R /XYZ 211 510 null ]
\r>>
\rendobj
\r245 0 obj
\r<<
\r/D [ 37 0 R /XYZ 292 510 null ]
\r>>
\rendobj
\r246 0 obj
\r<<
\r/D [ 37 0 R /XYZ 309 510 null ]
\r>>
\rendobj
\r247 0 obj
\r<<
\r/D [ 37 0 R /XYZ 324 510 null ]
\r>>
\rendobj
\r248 0 obj
\r<<
\r/D [ 37 0 R /XYZ 341 510 null ]
\r>>
\rendobj
\r249 0 obj
\r<<
\r/D [ 37 0 R /XYZ 364 510 null ]
\r>>
\rendobj
\r250 0 obj
\r<<
\r/D [ 37 0 R /XYZ 386 510 null ]
\r>>
\rendobj
\r251 0 obj
\r<<
\r/D [ 37 0 R /XYZ 408 510 null ]
\r>>
\rendobj
\r252 0 obj
\r<<
\r/D [ 37 0 R /XYZ 178 499 null ]
\r>>
\rendobj
\r253 0 obj
\r<<
\r/D [ 37 0 R /XYZ 178 492 null ]
\r>>
\rendobj
\r254 0 obj
\r<<
\r/D [ 37 0 R /XYZ 211 499 null ]
\r>>
\rendobj
\r255 0 obj
\r<<
\r/D [ 37 0 R /XYZ 292 500 null ]
\r>>
\rendobj
\r256 0 obj
\r<<
\r/D [ 37 0 R /XYZ 309 500 null ]
\r>>
\rendobj
\r257 0 obj
\r<<
\r/D [ 37 0 R /XYZ 324 500 null ]
\r>>
\rendobj
\r258 0 obj
\r<<
\r/D [ 37 0 R /XYZ 341 500 null ]
\r>>
\rendobj
\r259 0 obj
\r<<
\r/D [ 37 0 R /XYZ 364 500 null ]
\r>>
\rendobj
\r260 0 obj
\r<<
\r/D [ 37 0 R /XYZ 386 500 null ]
\r>>
\rendobj
\r261 0 obj
\r<<
\r/D [ 37 0 R /XYZ 408 499 null ]
\r>>
\rendobj
\r262 0 obj
\r<<
\r/D [ 37 0 R /XYZ 211 489 null ]
\r>>
\rendobj
\r263 0 obj
\r<<
\r/D [ 37 0 R /XYZ 292 489 null ]
\r>>
\rendobj
\r264 0 obj
\r<<
\r/D [ 37 0 R /XYZ 309 489 null ]
\r>>
\rendobj
\r265 0 obj
\r<<
\r/D [ 37 0 R /XYZ 324 489 null ]
\r>>
\rendobj
\r266 0 obj
\r<<
\r/D [ 37 0 R /XYZ 341 489 null ]
\r>>
\rendobj
\r267 0 obj
\r<<
\r/D [ 37 0 R /XYZ 364 489 null ]
\r>>
\rendobj
\r268 0 obj
\r<<
\r/D [ 37 0 R /XYZ 386 489 null ]
\r>>
\rendobj
\r269 0 obj
\r<<
\r/D [ 37 0 R /XYZ 408 489 null ]
\r>>
\rendobj
\r270 0 obj
\r<<
\r/D [ 37 0 R /XYZ 211 480 null ]
\r>>
\rendobj
\r271 0 obj
\r<<
\r/D [ 37 0 R /XYZ 292 480 null ]
\r>>
\rendobj
\r272 0 obj
\r<<
\r/D [ 37 0 R /XYZ 309 480 null ]
\r>>
\rendobj
\r273 0 obj
\r<<
\r/D [ 37 0 R /XYZ 324 480 null ]
\r>>
\rendobj
\r274 0 obj
\r<<
\r/D [ 37 0 R /XYZ 341 480 null ]
\r>>
\rendobj
\r275 0 obj
\r<<
\r/D [ 37 0 R /XYZ 364 480 null ]
\r>>
\rendobj
\r276 0 obj
\r<<
\r/D [ 37 0 R /XYZ 386 480 null ]
\r>>
\rendobj
\r277 0 obj
\r<<
\r/D [ 37 0 R /XYZ 408 480 null ]
\r>>
\rendobj
\r278 0 obj
\r<<
\r/D [ 37 0 R /XYZ 211 470 null ]
\r>>
\rendobj
\r279 0 obj
\r<<
\r/D [ 37 0 R /XYZ 292 470 null ]
\r>>
\rendobj
\r280 0 obj
\r<<
\r/D [ 37 0 R /XYZ 309 470 null ]
\r>>
\rendobj
\r281 0 obj
\r<<
\r/D [ 37 0 R /XYZ 324 470 null ]
\r>>
\rendobj
\r282 0 obj
\r<<
\r/D [ 37 0 R /XYZ 341 470 null ]
\r>>
\rendobj
\r283 0 obj
\r<<
\r/D [ 37 0 R /XYZ 364 470 null ]
\r>>
\rendobj
\r284 0 obj
\r<<
\r/D [ 37 0 R /XYZ 386 470 null ]
\r>>
\rendobj
\r285 0 obj
\r<<
\r/D [ 37 0 R /XYZ 408 470 null ]
\r>>
\rendobj
\r286 0 obj
\r<<
\r/D [ 37 0 R /XYZ 211 461 null ]
\r>>
\rendobj
\r287 0 obj
\r<<
\r/D [ 37 0 R /XYZ 292 461 null ]
\r>>
\rendobj
\r288 0 obj
\r<<
\r/D [ 37 0 R /XYZ 309 461 null ]
\r>>
\rendobj
\r289 0 obj
\r<<
\r/D [ 37 0 R /XYZ 324 461 null ]
\r>>
\rendobj
\r290 0 obj
\r<<
\r/D [ 37 0 R /XYZ 341 461 null ]
\r>>
\rendobj
\r291 0 obj
\r<<
\r/D [ 37 0 R /XYZ 364 461 null ]
\r>>
\rendobj
\r292 0 obj
\r<<
\r/D [ 37 0 R /XYZ 386 461 null ]
\r>>
\rendobj
\r293 0 obj
\r<<
\r/D [ 37 0 R /XYZ 408 461 null ]
\r>>
\rendobj
\r294 0 obj
\r<<
\r/D [ 40 0 R /XYZ null null null ]
\r>>
\rendobj
\r295 0 obj
\r<<
\r/D [ 40 0 R /XYZ null null null ]
\r>>
\rendobj
\r296 0 obj
\r<<
\r/D [ 40 0 R /XYZ 124 571 null ]
\r>>
\rendobj
\r297 0 obj
\r<<
\r/D [ 40 0 R /XYZ 124 571 null ]
\r>>
\rendobj
\r298 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 372 null ]
\r>>
\rendobj
\r299 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 372 null ]
\r>>
\rendobj
\r300 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 355 null ]
\r>>
\rendobj
\r301 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 355 null ]
\r>>
\rendobj
\r302 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 339 null ]
\r>>
\rendobj
\r303 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 339 null ]
\r>>
\rendobj
\r304 0 obj
\r<<
\r/D [ 40 0 R /XYZ 124 691 null ]
\r>>
\rendobj
\r305 0 obj
\r<<
\r/D [ 40 0 R /XYZ 124 691 null ]
\r>>
\rendobj
\r306 0 obj
\r<<
\r/D [ 40 0 R /XYZ 115 675 null ]
\r>>
\rendobj
\r307 0 obj
\r<<
\r/D [ 40 0 R /XYZ 115 675 null ]
\r>>
\rendobj
\r308 0 obj
\r<<
\r/D [ 40 0 R /XYZ 115 660 null ]
\r>>
\rendobj
\r309 0 obj
\r<<
\r/D [ 40 0 R /XYZ 115 660 null ]
\r>>
\rendobj
\r310 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 643 null ]
\r>>
\rendobj
\r311 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 643 null ]
\r>>
\rendobj
\r312 0 obj
\r<<
\r/D [ 40 0 R /XYZ 119 627 null ]
\r>>
\rendobj
\r313 0 obj
\r<<
\r/D [ 40 0 R /XYZ 119 627 null ]
\r>>
\rendobj
\r314 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 612 null ]
\r>>
\rendobj
\r315 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 612 null ]
\r>>
\rendobj
\r316 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 588 null ]
\r>>
\rendobj
\r317 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 588 null ]
\r>>
\rendobj
\r318 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 547 null ]
\r>>
\rendobj
\r319 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 547 null ]
\r>>
\rendobj
\r320 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 531 null ]
\r>>
\rendobj
\r321 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 531 null ]
\r>>
\rendobj
\r322 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 523 null ]
\r>>
\rendobj
\r323 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 523 null ]
\r>>
\rendobj
\r324 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 507 null ]
\r>>
\rendobj
\r325 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 507 null ]
\r>>
\rendobj
\r326 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 492 null ]
\r>>
\rendobj
\r327 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 492 null ]
\r>>
\rendobj
\r328 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 475 null ]
\r>>
\rendobj
\r329 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 475 null ]
\r>>
\rendobj
\r330 0 obj
\r<<
\r/D [ 40 0 R /XYZ 124 451 null ]
\r>>
\rendobj
\r331 0 obj
\r<<
\r/D [ 40 0 R /XYZ 124 451 null ]
\r>>
\rendobj
\r332 0 obj
\r<<
\r/D [ 40 0 R /XYZ 124 435 null ]
\r>>
\rendobj
\r333 0 obj
\r<<
\r/D [ 40 0 R /XYZ 124 435 null ]
\r>>
\rendobj
\r334 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 420 null ]
\r>>
\rendobj
\r335 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 420 null ]
\r>>
\rendobj
\r336 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 396 null ]
\r>>
\rendobj
\r337 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 396 null ]
\r>>
\rendobj
\r338 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 331 null ]
\r>>
\rendobj
\r339 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 331 null ]
\r>>
\rendobj
\r340 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 331 null ]
\r>>
\rendobj
\r341 0 obj
\r<<
\r/D [ 40 0 R /XYZ 120 331 null ]
\r>>
\rendobj
\r342 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 686 null ]
\r>>
\rendobj
\r343 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 670 null ]
\r>>
\rendobj
\r344 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 654 null ]
\r>>
\rendobj
\r345 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 638 null ]
\r>>
\rendobj
\r346 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 622 null ]
\r>>
\rendobj
\r347 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 606 null ]
\r>>
\rendobj
\r348 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 582 null ]
\r>>
\rendobj
\r349 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 566 null ]
\r>>
\rendobj
\r350 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 542 null ]
\r>>
\rendobj
\r351 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 526 null ]
\r>>
\rendobj
\r352 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 518 null ]
\r>>
\rendobj
\r353 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 502 null ]
\r>>
\rendobj
\r354 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 486 null ]
\r>>
\rendobj
\r355 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 470 null ]
\r>>
\rendobj
\r356 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 446 null ]
\r>>
\rendobj
\r357 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 430 null ]
\r>>
\rendobj
\r358 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 414 null ]
\r>>
\rendobj
\r359 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 390 null ]
\r>>
\rendobj
\r360 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 366 null ]
\r>>
\rendobj
\r361 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 350 null ]
\r>>
\rendobj
\r362 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 334 null ]
\r>>
\rendobj
\r363 0 obj
\r<<
\r/D [ 40 0 R /XYZ 106 326 null ]
\r>>
\rendobj
\r364 0 obj
\r<<
\r/Limits [ (F)(G1150844)]
\r/Names [ (F)65 0 R (G105685)86 0 R (G105687)85 0 R (G1065374)66 0 R (G1102580)
\r70 0 R (G1103874)68 0 R (G1103879)69 0 R (G1138282)78 0 R (G1138295)
\r77 0 R (G1141826)72 0 R (G1141831)73 0 R (G1141922)75 0 R (G1141923)
\r76 0 R (G1141926)87 0 R (G1141927)88 0 R (G1141948)89 0 R (G1141949)
\r90 0 R (G1141968)99 0 R (G1141969)100 0 R (G1141998)117 0 R (G1141999)
\r118 0 R (G1142000)119 0 R (G1142002)120 0 R (G1142003)123 0 R (G1142004)
\r124 0 R (G1142451)143 0 R (G1142550)147 0 R (G1142559)148 0 R (G1142561)
\r149 0 R (G1142565)150 0 R (G1142567)151 0 R (G1142569)342 0 R (G1142573)
\r343 0 R (G1142577)344 0 R (G1142583)345 0 R (G1142587)346 0 R (G1142591)
\r347 0 R (G1142595)348 0 R (G1142599)350 0 R (G1142605)351 0 R (G1142607)
\r352 0 R (G1142609)353 0 R (G1142613)354 0 R (G1142617)355 0 R (G1142619)
\r356 0 R (G1142621)357 0 R (G1142623)358 0 R (G1142625)359 0 R (G1142629)
\r363 0 R (G1142647)360 0 R (G1142649)361 0 R (G1142651)362 0 R (G1147551)
\r144 0 R (G1147820)102 0 R (G1150198)125 0 R (G1150199)126 0 R (G1150803)
\r152 0 R (G1150821)153 0 R (G1150822)154 0 R (G1150824)155 0 R (G1150826)
\r156 0 R (G1150832)157 0 R (G1150838)158 0 R (G1150844)159 0 R ]
\r>>
\rendobj
\r365 0 obj
\r<<
\r/Limits [ (G1150846)(G1151117)]
\r/Names [ (G1150846)160 0 R (G1150848)161 0 R (G1150849)162 0 R (G1150851)163 0 R
\r(G1150852)164 0 R (G1150854)165 0 R (G1150855)166 0 R (G1150857)
\r167 0 R (G1150952)168 0 R (G1150953)169 0 R (G1150955)170 0 R (G1150957)
\r171 0 R (G1150959)172 0 R (G1150961)173 0 R (G1150963)174 0 R (G1150965)
\r175 0 R (G1150967)176 0 R (G1150969)177 0 R (G1150973)178 0 R (G1150975)
\r179 0 R (G1150977)180 0 R (G1150979)181 0 R (G1150991)186 0 R (G1150993)
\r187 0 R (G1150995)188 0 R (G1150997)189 0 R (G1151009)194 0 R (G1151011)
\r195 0 R (G1151013)196 0 R (G1151015)197 0 R (G1151017)198 0 R (G1151019)
\r199 0 R (G1151021)200 0 R (G1151023)201 0 R (G1151027)202 0 R (G1151029)
\r203 0 R (G1151031)204 0 R (G1151033)205 0 R (G1151035)206 0 R (G1151037)
\r207 0 R (G1151039)208 0 R (G1151041)209 0 R (G1151043)210 0 R (G1151044)
\r211 0 R (G1151046)212 0 R (G1151048)213 0 R (G1151050)214 0 R (G1151052)
\r215 0 R (G1151054)216 0 R (G1151056)217 0 R (G1151058)218 0 R (G1151060)
\r219 0 R (G1151064)220 0 R (G1151082)228 0 R (G1151100)244 0 R (G1151102)
\r245 0 R (G1151104)246 0 R (G1151106)247 0 R (G1151108)248 0 R (G1151110)
\r249 0 R (G1151112)250 0 R (G1151114)251 0 R (G1151116)252 0 R (G1151117)
\r253 0 R ]
\r>>
\rendobj
\r366 0 obj
\r<<
\r/Limits [ (G1151119)(G1154139)]
\r/Names [ (G1151119)254 0 R (G1151121)255 0 R (G1151123)256 0 R (G1151125)257 0 R
\r(G1151127)258 0 R (G1151129)259 0 R (G1151131)260 0 R (G1151133)
\r261 0 R (G1151137)262 0 R (G1151139)263 0 R (G1151141)264 0 R (G1151143)
\r265 0 R (G1151155)270 0 R (G1151157)271 0 R (G1151159)272 0 R (G1151161)
\r273 0 R (G1151511)128 0 R (G1151613)236 0 R (G1151631)229 0 R (G1151633)
\r230 0 R (G1151635)231 0 R (G1151645)237 0 R (G1151647)238 0 R (G1151649)
\r239 0 R (G1151651)240 0 R (G1151653)241 0 R (G1151655)242 0 R (G1151657)
\r243 0 R (G1151659)221 0 R (G1151661)222 0 R (G1151663)223 0 R (G1151876)
\r278 0 R (G1151878)279 0 R (G1151880)280 0 R (G1151882)281 0 R (G1151884)
\r282 0 R (G1151886)283 0 R (G1151888)284 0 R (G1151890)285 0 R (G1151892)
\r286 0 R (G1151894)287 0 R (G1151896)288 0 R (G1151898)289 0 R (G1151900)
\r290 0 R (G1151902)291 0 R (G1151904)292 0 R (G1151906)293 0 R (G1152099)
\r98 0 R (G1152320)145 0 R (G1152322)146 0 R (G1152372)101 0 R (G1152422)
\r71 0 R (G1152486)127 0 R (G1152518)74 0 R (G1152573)104 0 R (G1152711)
\r107 0 R (G1152716)106 0 R (G1152739)111 0 R (G1152784)349 0 R (G1153895)
\r108 0 R (G1153934)109 0 R (G1154084)116 0 R (G1154138)112 0 R (G1154139)
\r113 0 R ]
\r>>
\rendobj
\r367 0 obj
\r<<
\r/Limits [ (G1154159)(I1.1142648)]
\r/Names [ (G1154159)115 0 R (G1154291)182 0 R (G1154293)183 0 R (G1154295)184 0 R
\r(G1154297)185 0 R (G1154299)190 0 R (G1154301)191 0 R (G1154303)
\r192 0 R (G1154305)193 0 R (G1154307)224 0 R (G1154309)225 0 R (G1154311)
\r226 0 R (G1154313)227 0 R (G1154315)232 0 R (G1154317)233 0 R (G1154319)
\r234 0 R (G1154321)235 0 R (G1154323)266 0 R (G1154325)267 0 R (G1154327)
\r268 0 R (G1154329)269 0 R (G1154331)274 0 R (G1154333)275 0 R (G1154335)
\r276 0 R (G1154337)277 0 R (G1154461)110 0 R (G1154467)103 0 R (G1154500)
\r79 0 R (G1154651)92 0 R (G1154684)91 0 R (G1154825)93 0 R (G1154828)
\r94 0 R (G1154853)122 0 R (G1154871)142 0 R (G138825)67 0 R (I1.1141925)
\r82 0 R (I1.1141947)84 0 R (I1.1141967)97 0 R (I1.1142549)133 0 R
\r(I1.1142558)135 0 R (I1.1142560)137 0 R (I1.1142564)139 0 R (I1.1142566)
\r141 0 R (I1.1142568)305 0 R (I1.1142572)307 0 R (I1.1142576)309 0 R
\r(I1.1142582)311 0 R (I1.1142586)313 0 R (I1.1142590)315 0 R (I1.1142594)
\r317 0 R (I1.1142598)319 0 R (I1.1142604)321 0 R (I1.1142606)323 0 R
\r(I1.1142608)325 0 R (I1.1142612)327 0 R (I1.1142616)329 0 R (I1.1142618)
\r331 0 R (I1.1142620)333 0 R (I1.1142622)335 0 R (I1.1142624)337 0 R
\r(I1.1142626)339 0 R (I1.1142628)341 0 R (I1.1142646)299 0 R (I1.1142648)
\r301 0 R ]
\r>>
\rendobj
\r368 0 obj
\r<<
\r/Limits [ (I1.1142650)(P.8)]
\r/Names [ (I1.1142650)303 0 R (I1.1152321)131 0 R (I1.1152773)297 0 R (L)295 0 R
\r(M9.13350.reference.76.MN.Velev.Efficient.Translation.of.Boolean.Formulas\
\r.to.CNF.in.Formal.Verificati)
\r298 0 R (M9.13677.reference.29.DA.Plaisted.and.S.Greenbaum.A.Structure.Preserving\
\r.Clause.Form.Trans)
\r318 0 R (M9.14669.reference.48.H.Savoj.and.RK.Brayton.The.Use.of.Abservability.an\
\rd.External.Dont.Cares.for.th)
\r324 0 R (M9.14952.reference.28.S.Malik.AR.Wang.RK.Brayton.and.A.SangiovaniVincent\
\relli.Logic)
\r314 0 R (M9.16212.reference.57.MN.Velev.and.RE.Bryant.Superscalar.Processor.Verif\
\rication.Using.Efficient.Redu)
\r328 0 R (M9.17697.reference.6.Anonymous.details.withheld.for.blind.review.)
\r302 0 R (M9.18670.reference.35.G.Tseitin.On.the.Complexity.of.Derivation.in.Propo\
\rsitional.Calculus.in)
\r326 0 R (M9.32022.reference.25.D.Le.Berre.and.L.Simon.Results.from.the.SAT03.Solv\
\rer.Competition)
\r310 0 R (M9.33783.reference.29.MW.Moskewicz.CF.Madigan.Y.Zhao.L.Zhang.and.S.Malik\
\r.Chaff)
\r316 0 R (M9.34846.Numbered1.23.Translation.from.Propositional.Logic.to.CNF.by.Mer\
\rging.Gates)
\r83 0 R (M9.36667.reference.39.D.Wang.E.Clarke.Y.Zhu.and.J.Kukula.Using.Cutwidth.\
\rto.Improve.Sym)
\r338 0 R (M9.37789.reference.38.MN.Velev.and.RE.Bryant.Effective.Use.of.Boolean.Sa\
\rtisfiability.Proce)
\r336 0 R (M9.38624.reference.15.A.Gupta.A.Gupta.Z.Yang.and.P.Ashar.Dynamic.Detecti\
\ron.and.Removal)
\r138 0 R (M9.42707.reference.37.MN.Velev.Formal.Verification.of.VLIW.Microprocesso\
\rrs.with.Speculative)
\r332 0 R (M9.43066.reference.41.L.Zhang.and.S.Malik.Cache.Performance.of.SAT.Solve\
\rrs.A.Case.Study)
\r340 0 R (M9.50983.reference.61.S.Safarpour.A.Veneris.R.Drechsler.and.J.Lee.Managi\
\rng.Dont.Cares.in.Boolean.Sat)
\r322 0 R (M9.51035.Numbered1.22.Conventional.Translation.from.Propositional.Logic.\
\rto.CNF)
\r81 0 R (M9.52012.reference.30.L.Ryan.Siege.SAT.Solver.v3.httpwwwcssfucaloryanper\
\rsonal)
\r320 0 R (M9.53380.reference.16.JL.Hennessy.and.DA.Patterson.Computer.Architecture\
\r.A.Quantitative)
\r140 0 R (M9.54659.reference.25.F.Lu.LC.Wang.KT.Cheng.J.Moondanos.and.Z.Hanna.A.Si\
\rgnal.Cor)
\r312 0 R (M9.56476.reference.17.M.Damiani.and.G.De.Micheli.Observability.Dont.Care\
\r.Sets.and.Boolean.Relations)
\r132 0 R (M9.59508.reference.14.E.Goldberg.and.Y.Novikov.BerkMin.A.Fast.and.Robust\
\r.SatSolver)
\r136 0 R (M9.59721.reference.36.MN.Velev.and.RE.Bryant.Formal.Verification.of.Supe\
\rrscalar.Micropro)
\r330 0 R (M9.65913.reference.13.MK.Ganai.L.Zhang.P.Ashar.A.Gupta.S.Malik.Combining\
\r.Strengths.of)
\r134 0 R (M9.66078.Numbered.6.Using.Local.Unobservability.for.ITETrees)
\r96 0 R (M9.80827.reference.17.DS.Johnson.and.MA.Trick.eds.The.Second.DIMACS.Impl\
\rementation)
\r304 0 R (M9.81386.reference.51.R.Ostrowski.E.Grgoire.B.Mazure.and.L.Sas.Recoverin\
\rg.and.Exploiting.Structural)
\r296 0 R (M9.83638.reference.1.W.Ackermann.Solvable.Cases.of.the.Decision.Problem.\
\rNorthHolland)
\r130 0 R (M9.85623.reference.19.A.Kuehlmann.MK.Ganai.and.V.Paruthi.CircuitBased.Bo\
\rolean.Reason)
\r306 0 R (M9.92318.reference.38.MN.Velev.and.RE.Bryant.EVC.A.Validity.Checker.for.\
\rthe.Logic.of)
\r334 0 R (M9.94440.reference.21.S.Lahiri.C.Pixley.and.K.Albin.Experience.with.Term\
\r.Level.Modeling.and)
\r308 0 R (M9.96019.reference.5.Anonymous.detailed.removed.for.blind.review.)
\r300 0 R (P.1)64 0 R (P.2)80 0 R (P.3)95 0 R (P.4)105 0 R (P.5)114 0 R
\r(P.6)121 0 R (P.7)129 0 R (P.8)294 0 R ]
\r>>
\rendobj
\r369 0 obj
\r<<
\r/Kids [ 364 0 R 365 0 R 366 0 R 367 0 R 368 0 R ]
\r>>
\rendobj
\r370 0 obj
\r<<
\r/S /D
\r>>
\rendobj
\r371 0 obj
\r<<
\r/Nums [ 0 370 0 R ]
\r>>
\rendobj
\r372 0 obj
\r<<
\r/Producer (Acrobat Distiller 5.0.5 \(Windows\))
\r/Author (Miroslav N. Velev)
\r/Title (SAT04.fm)
\r/ModDate (D:20040420085905Z00'00')
\r/CreationDate (D:19980910201332Z00'00')
\r/Creator (FrameMaker 6.0)
\r>>
\rendobj
\r373 0 obj
\r<< /Type /Metadata /Subtype /XML /Length 1030 >>
\rstream
\r