(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 15 (SDEFUN CADU;squareFreeBasis;2L;1 (# #) ...)-1|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|CADU;squareFreeBasis;2L;1| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|CADU;squareFreeBasis;2L;1|
       #93Y(00 00 00 00 02 00 00 00 26 03 01 02 AF C5 5F 14 94 00 B2 63 95 03
            36 03 16 01 1C 3B 92 04 3B 2E 01 F8 AF C7 5F 14 94 00 B1 C8 5F 14
            94 00 B0 95 02 36 02 F8 95 02 36 02 16 01 F9 AF C9 5F 14 94 00 AF
            B2 CA 5F 14 94 00 95 09 95 02 36 02 16 01 7A 95 02 36 02 19 06 00
            19 05 5B 1B 44)
       (10. |BOOT|::|FIRST-ERROR| 12. 11. 14. 13.)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|lpols| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|17 60 (SDEFUN CADU;gcdBasisAdd (# # #) ...)-2|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|CADU;gcdBasisAdd| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|CADU;gcdBasisAdd|
       #220Y(00 00 00 00 03 00 00 00 26 04 01 04 B1 C5 5F 14 94 00 B5 95 02 36
             02 F8 24 01 80 9E 93 06 80 9D 92 06 80 A9 2E 03 FA B1 C9 5F 14 94
             00 B5 B1 95 03 36 03 16 01 F8 B1 C5 5F 14 94 00 AE 95 02 36 02 F8
             24 01 80 8B B1 CA 5F 14 94 00 B5 AF 95 03 36 03 16 01 F9 79 94 02
             DB 8E 13 11 AE B3 CB 5F 14 B4 CB 5F 14 E1 70 08 6E 03 09 2F 0A 6A
             07 B1 CA 5F 14 94 00 B0 AF 95 03 36 03 16 01 F9 79 94 02 DB 8E 13
             11 AE B3 CB 5F 14 B4 CB 5F 14 E1 70 08 6E 03 09 2F 0A 6A 02 B3 95
             07 B3 28 FF 6B FB B1 C5 5F 14 94 00 B0 95 02 36 02 F8 8F AD 03 AE
             84 03 AC B0 B3 29 03 0B FF 50 A3 19 08 B1 C7 5F 14 94 00 B5 95 02
             36 02 F8 61 01 19 08 5B 1B FF 55 AE B4 95 08 B4 28 FF 31 5D 19 08)
       (16. 0. 12. |BOOT|::|FIRST-ERROR| 18. 20. 7. "failed" |BOOT|::|Union|
        |BOOT|::|check_union_failure_msg| |BOOT|::|error|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|p| |BOOT|::|lpols| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|62 71 (SDEFUN CADU;gcdBasis;2L;3 (# #) ...)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|CADU;gcdBasis;2L;3| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|CADU;gcdBasis;2L;3|
       #53Y(00 00 00 00 02 00 00 00 26 03 63 AF 72 62 DA 90 01 33 1C AE C6 5F
            14 94 00 95 05 95 02 36 02 16 01 F8 92 03 0D 2E 02 14 AD B0 2D 03
            03 19 04 A0 19 04 5B 1B 72)
       (1. 14. |BOOT|::|FIRST-ERROR| |BOOT|::|CADU;gcdBasisAdd|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|lpols| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|73 73 (DECLAIM (NOTINLINE CylindricalAlgebraicDecompositionUtilities;))-4|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE|
     |BOOT|::|CylindricalAlgebraicDecompositionUtilities;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|75 97 (DEFUN CylindricalAlgebraicDecompositionUtilities (&REST G721) ...)-5|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|CylindricalAlgebraicDecompositionUtilities|
    |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|CylindricalAlgebraicDecompositionUtilities|
       #66Y(03 00 01 00 00 00 00 00 21 16 63 AE 6F 00 DB 6B 02 38 01 71 6E DD
            2D 03 04 F8 1C 13 53 16 99 06 A2 77 00 7E 03 15 54 05 00 00 00 1D
            0D 1B 10 14 2F 05 19 03 05 00 00 00 1C 05 DB 6B 02 31 70 55 19 03)
       (|BOOT|::|devaluateList|
        |BOOT|::|CylindricalAlgebraicDecompositionUtilities|
        |BOOT|::|$ConstructorCache| |BOOT|::|domainEqualList|
        |BOOT|::|lassocShiftWithFunction| |BOOT|::|CDRwithIncrement|
        |BOOT|::|CylindricalAlgebraicDecompositionUtilities;|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|99 116 (DEFUN CylindricalAlgebraicDecompositionUtilities; (#1 #2) ...)-6|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|CylindricalAlgebraicDecompositionUtilities;|
    |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|CylindricalAlgebraicDecompositionUtilities;|
       #70Y(00 00 00 00 02 00 00 00 26 03 01 04 B2 2F 00 F8 B1 2F 00 F9 DB AD
            AF 61 03 FA DC 2F 03 FB AE B0 C9 60 DE DE 63 6E 03 05 B0 CB 60 6B
            07 DB AE B0 7B 02 E2 A4 7A 2D 04 09 AF 2F 0A B2 B0 D0 60 B1 B0 D1
            60 A0 19 07)
       (|BOOT|::|devaluate|
        |BOOT|::|CylindricalAlgebraicDecompositionUtilities| 22.
        |BOOT|::|GETREFV| 0. |BOOT|::|buildPredVector| 3.
        |BOOT|::|$ConstructorCache| 1. |BOOT|::|haddProp|
        |BOOT|::|stuffDomainSlots| 6. 7.)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|#1| |BOOT|::|#2|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|118 142 (MAKEPROP 'CylindricalAlgebraicDecompositionUtilities 'infovec ...)-7|
   #36Y(00 00 00 00 00 00 00 00 20 01 DA DB DC DD 63 DE DF 70 06 E1 E2 E3 E4 30
        06 5D 5D 7A E5 7B 05 2D 03 0C 19 01)
   (|BOOT|::|CylindricalAlgebraicDecompositionUtilities| |BOOT|::|infovec|
    #(|COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      (|BOOT|::|local| |BOOT|::|#1|) (|BOOT|::|local| |BOOT|::|#2|)
      (|BOOT|::|Boolean|) (|BOOT|::|List| 7.) (0. . |COMMON-LISP|::|=|)
      (6. . |BOOT|::|squareFreePart|) (11. . |BOOT|::|unitCanonical|)
      |BOOT|::|CADU;squareFreeBasis;2L;1| |BOOT|::|CADU;gcdBasis;2L;3|
      (|BOOT|::|NonNegativeInteger|) (16. . |BOOT|::|degree|)
      (21. . |BOOT|::|Zero|) (25. . |BOOT|::|gcd|)
      (|BOOT|::|Union| |BOOT|::|$| '"failed") (31. . |BOOT|::|exquo|)
      (37. . |BOOT|::|One|))
    #(|BOOT|::|squareFreeBasis| 41. |BOOT|::|gcdBasis| 46.) 1. (0.)
    |BOOT|::|makeByteWordVec2| #(|COMMON-LISP|::|NIL|)
    #((|BOOT|::|Join|
       (|BOOT|::|mkCategory|
        (|COMMON-LISP|::|LIST|
         '((|BOOT|::|squareFreeBasis|
            ((|BOOT|::|List| |BOOT|::|#2|) (|BOOT|::|List| |BOOT|::|#2|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|gcdBasis|
            ((|BOOT|::|List| |BOOT|::|#2|) (|BOOT|::|List| |BOOT|::|#2|)))
           |COMMON-LISP|::|T|))
        (|COMMON-LISP|::|LIST|) |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|)))
    21.
    (2. 9. 8. 0. 0. 10. 1. 7. 0. 0. 11. 1. 7. 0. 0. 12. 1. 7. 15. 0. 16. 0. 6.
     0. 17. 2. 7. 0. 0. 0. 18. 2. 7. 19. 0. 0. 20. 0. 6. 0. 21. 1. 0. 9. 9. 13.
     1. 0. 9. 9. 14.)
    |BOOT|::|lookupComplete| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
