Twin directories of symbolic:

[DIR]  ftp://ftp.eutelia.it/pub/Sunsite_Mirror/apps/math/symbolic/
[DIR]  ftp://ftp.kreonet.re.kr/gnu/ibiblio/www/www.gnu.org/directory/Science/math/symbolic/
[DIR]  ftp://ftp.kreonet.re.kr/gnu/ibiblio/www/www.gnu.org/directory/science/Mathematics/symbolic/
[DIR]  ftp://ftp.kreonet.re.kr/gnu/ibiblio/www/www.gnu.org/directory/science/math/symbolic/
[DIR]  ftp://ftp.kreonet.re.kr/gnu/ibiblio/www/directory/Science/math/symbolic/
[DIR]  ftp://ftp.kreonet.re.kr/gnu/ibiblio/www/directory/science/Mathematics/symbolic/
[DIR]  ftp://ftp.kreonet.re.kr/gnu/ibiblio/www/directory/science/math/symbolic/
[DIR]  ftp://gnjilux.cc.fer.hr/pub/hp_handheld/hpcalc_mirror/hp48/math/symbolic/
[DIR]  ftp://gnjilux.cc.fer.hr/pub/hp_handheld/hpcalc_mirror/hp49/math/symbolic/
[DIR]  ftp://ftp.mao.kiev.ua/pub/software/Linux/apps/math/symbolic/
pkg://acl2-books-certs_3.1-1_all.deb:4958070/usr/share/acl2-3.0/books/  info  downloads[DIR]3  acl2-books-certs_3.1-1_all.deb/usr/share/acl2-3.0/books/symbolic/
pkg://acl2-books-certs_3.1-1_all.deb:4966096/usr/share/acl2-3.1/books/  info  downloads[DIR]3  acl2-books-certs_3.1-1_all.deb/usr/share/acl2-3.1/books/symbolic/
pkg://acl2-books-certs_3.3-1.1_all.deb:1242904/usr/share/acl2-3.2/books/  info  downloads[DIR]3  acl2-books-certs_3.3-1.1_all.deb/usr/share/acl2-3.2/books/symbolic/
pkg://acl2-books-certs_3.3-1.1_all.deb:1249156/usr/share/acl2-3.3/books/  info  downloads[DIR]3  acl2-books-certs_3.3-1.1_all.deb/usr/share/acl2-3.3/books/symbolic/
pkg://acl2-books-certs_3.4-1_all.deb:1297394/usr/share/acl2-3.3/books/  info  downloads[DIR]3  acl2-books-certs_3.4-1_all.deb/usr/share/acl2-3.3/books/symbolic/
pkg://acl2-books-source_2.9-2_all.deb:1235748/usr/share/acl2-3.4/books/  info  downloads[DIR]3  acl2-books-source_2.9-2_all.deb/usr/share/acl2-3.4/books/symbolic/
pkg://acl2-books-source_3.1-1_all.deb:2245286/usr/share/acl2-3.0/books/  info  downloads[DIR]3  acl2-books-source_3.1-1_all.deb/usr/share/acl2-3.0/books/symbolic/
pkg://acl2-books-source_3.3-1.1_all.deb:2441560/usr/share/acl2-3.2/books/  info  downloads[DIR]3  acl2-books-source_3.3-1.1_all.deb/usr/share/acl2-3.2/books/symbolic/
pkg://acl2-books-source_3.3-1.1_all.deb:2558702/usr/share/acl2-3.3/books/  info  downloads[DIR]3  acl2-books-source_3.3-1.1_all.deb/usr/share/acl2-3.3/books/symbolic/
pkg://acl2-books-source_3.4-1_all.deb:2970558/usr/share/acl2-3.3/books/  info  downloads[DIR]3  acl2-books-source_3.4-1_all.deb/usr/share/acl2-3.3/books/symbolic/
pkg://acl2-books_3.0-1_i386.deb:1191570/usr/share/acl2-3.0/books/  info  downloads[DIR]3  acl2-books_3.0-1_i386.deb/usr/share/acl2-3.0/books/symbolic/
pkg://acl2-books_3.0-1_i386.deb:1191570/usr/lib/acl2-3.0/books/  info  downloads[DIR]3  acl2-books_3.0-1_i386.deb/usr/lib/acl2-3.0/books/symbolic/
pkg://acl2-books_3.1-1_alpha.deb:2843598/usr/share/acl2-3.0/books/  info  downloads[DIR]3  acl2-books_3.1-1_alpha.deb/usr/share/acl2-3.0/books/symbolic/
pkg://acl2-books_3.1-1_alpha.deb:2843598/usr/lib/acl2-3.0/books/  info  downloads[DIR]3  acl2-books_3.1-1_alpha.deb/usr/lib/acl2-3.0/books/symbolic/
pkg://acl2-books_3.1-1_amd64.deb:2106322/usr/share/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_amd64.deb/usr/share/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_amd64.deb:2106322/usr/lib/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_amd64.deb/usr/lib/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_amd64.deb:2267156/usr/share/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_amd64.deb/usr/share/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_amd64.deb:2267156/usr/lib/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_amd64.deb/usr/lib/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_arm.deb:1686088/usr/share/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_arm.deb/usr/share/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_arm.deb:1686088/usr/lib/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_arm.deb/usr/lib/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_hppa.deb:7772122/usr/share/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_hppa.deb/usr/share/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_hppa.deb:7772122/usr/lib/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_hppa.deb/usr/lib/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_i386.deb:1587336/usr/share/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_i386.deb/usr/share/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_i386.deb:1587336/usr/lib/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_i386.deb/usr/lib/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_i386.deb:1615674/usr/share/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_i386.deb/usr/share/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_i386.deb:1615674/usr/lib/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_i386.deb/usr/lib/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_ia64.deb:2983344/usr/share/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_ia64.deb/usr/share/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_ia64.deb:2983344/usr/lib/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_ia64.deb/usr/lib/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_m68k.deb:1628580/usr/share/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_m68k.deb/usr/share/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_m68k.deb:1628580/usr/lib/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_m68k.deb/usr/lib/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_mips.deb:2057940/usr/share/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_mips.deb/usr/share/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_mips.deb:2057940/usr/lib/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_mips.deb/usr/lib/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_mipsel.deb:2033862/usr/share/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_mipsel.deb/usr/share/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_mipsel.deb:2033862/usr/lib/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_mipsel.deb/usr/lib/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_powerpc.deb:2323872/usr/share/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_powerpc.deb/usr/share/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_powerpc.deb:2323872/usr/lib/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_powerpc.deb/usr/lib/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_powerpc.deb:2325310/usr/share/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_powerpc.deb/usr/share/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_powerpc.deb:2325310/usr/lib/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_powerpc.deb/usr/lib/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_s390.deb:1785888/usr/share/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_s390.deb/usr/share/acl2-3.1/books/symbolic/
pkg://acl2-books_3.1-1_s390.deb:1785888/usr/lib/acl2-3.1/books/  info  downloads[DIR]3  acl2-books_3.1-1_s390.deb/usr/lib/acl2-3.1/books/symbolic/