I: pbuilder: network access will be disabled during build I: Current time: Mon Mar 25 13:41:49 +14 2024 I: pbuilder-time-stamp: 1711323709 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/trixie-reproducible-base.tgz] I: copying local configuration W: --override-config is not set; not updating apt.conf Read the manpage for details. I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: Copying source file I: copying [libset-scalar-perl_1.29-3.dsc] I: copying [./libset-scalar-perl_1.29.orig.tar.gz] I: copying [./libset-scalar-perl_1.29-3.debian.tar.xz] I: Extracting source gpgv: Signature made Fri Jun 17 09:17:18 2022 gpgv: using RSA key B23862C415D6565A4E86CBD7579C160D4C9E23E8 gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./libset-scalar-perl_1.29-3.dsc: no acceptable signature found dpkg-source: info: extracting libset-scalar-perl in libset-scalar-perl-1.29 dpkg-source: info: unpacking libset-scalar-perl_1.29.orig.tar.gz dpkg-source: info: unpacking libset-scalar-perl_1.29-3.debian.tar.xz I: using fakeroot in build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/1138/tmp/hooks/D01_modify_environment starting debug: Running on ff64a. I: Changing host+domainname to test build reproducibility I: Adding a custom variable just for the fun of it... I: Changing /bin/sh to bash '/bin/sh' -> '/bin/bash' lrwxrwxrwx 1 root root 9 Mar 24 23:42 /bin/sh -> /bin/bash I: Setting pbuilder2's login shell to /bin/bash I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other I: user script /srv/workspace/pbuilder/1138/tmp/hooks/D01_modify_environment finished I: user script /srv/workspace/pbuilder/1138/tmp/hooks/D02_print_environment starting I: set BASH=/bin/sh BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath BASH_ALIASES=() BASH_ARGC=() BASH_ARGV=() BASH_CMDS=() BASH_LINENO=([0]="12" [1]="0") BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:. BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") BASH_VERSINFO=([0]="5" [1]="2" [2]="21" [3]="1" [4]="release" [5]="arm-unknown-linux-gnueabihf") BASH_VERSION='5.2.21(1)-release' BUILDDIR=/build/reproducible-path BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' BUILDUSERNAME=pbuilder2 BUILD_ARCH=armhf DEBIAN_FRONTEND=noninteractive DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=6 ' DIRSTACK=() DISTRIBUTION=trixie EUID=0 FUNCNAME=([0]="Echo" [1]="main") GROUPS=() HOME=/root HOSTNAME=i-capture-the-hostname HOSTTYPE=arm HOST_ARCH=armhf IFS=' ' INVOCATION_ID=ed2aaefae1e04d838593e87d79995ab3 LANG=C LANGUAGE=it_CH:it LC_ALL=C MACHTYPE=arm-unknown-linux-gnueabihf MAIL=/var/mail/root OPTERR=1 OPTIND=1 OSTYPE=linux-gnueabihf PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path PBCURRENTCOMMANDLINEOPERATION=build PBUILDER_OPERATION=build PBUILDER_PKGDATADIR=/usr/share/pbuilder PBUILDER_PKGLIBDIR=/usr/lib/pbuilder PBUILDER_SYSCONFDIR=/etc PIPESTATUS=([0]="0") POSIXLY_CORRECT=y PPID=1138 PS4='+ ' PWD=/ SHELL=/bin/bash SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix SHLVL=3 SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.Es7B5X96/pbuilderrc_GNIu --distribution trixie --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.Es7B5X96/b2 --logfile b2/build.log libset-scalar-perl_1.29-3.dsc' SUDO_GID=114 SUDO_UID=109 SUDO_USER=jenkins TERM=unknown TZ=/usr/share/zoneinfo/Etc/GMT-14 UID=0 USER=root _='I: set' http_proxy=http://10.0.0.15:3142/ I: uname -a Linux i-capture-the-hostname 6.1.0-18-arm64 #1 SMP Debian 6.1.76-1 (2024-02-01) aarch64 GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Mar 24 11:26 /bin -> usr/bin I: user script /srv/workspace/pbuilder/1138/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: armhf Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: debhelper-compat (= 13), perl dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19577 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on debhelper-compat (= 13); however: Package debhelper-compat is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} debhelper{a} dh-autoreconf{a} dh-strip-nondeterminism{a} dwz{a} file{a} gettext{a} gettext-base{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libdebhelper-perl{a} libelf1{a} libfile-stripnondeterminism-perl{a} libicu72{a} libmagic-mgc{a} libmagic1{a} libpipeline1{a} libsub-override-perl{a} libtool{a} libuchardet0{a} libxml2{a} m4{a} man-db{a} po-debconf{a} sensible-utils{a} The following packages are RECOMMENDED but will NOT be installed: curl libarchive-cpio-perl libltdl-dev libmail-sendmail-perl lynx wget 0 packages upgraded, 30 newly installed, 0 to remove and 0 not upgraded. Need to get 18.3 MB of archives. After unpacking 68.5 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian trixie/main armhf sensible-utils all 0.0.22 [22.4 kB] Get: 2 http://deb.debian.org/debian trixie/main armhf libmagic-mgc armhf 1:5.45-2+b1 [314 kB] Get: 3 http://deb.debian.org/debian trixie/main armhf libmagic1 armhf 1:5.45-2+b1 [97.9 kB] Get: 4 http://deb.debian.org/debian trixie/main armhf file armhf 1:5.45-2+b1 [42.2 kB] Get: 5 http://deb.debian.org/debian trixie/main armhf gettext-base armhf 0.21-14+b1 [157 kB] Get: 6 http://deb.debian.org/debian trixie/main armhf libuchardet0 armhf 0.0.8-1+b1 [65.7 kB] Get: 7 http://deb.debian.org/debian trixie/main armhf groff-base armhf 1.23.0-3 [1088 kB] Get: 8 http://deb.debian.org/debian trixie/main armhf bsdextrautils armhf 2.39.3-6 [81.2 kB] Get: 9 http://deb.debian.org/debian trixie/main armhf libpipeline1 armhf 1.5.7-1+b2 [33.4 kB] Get: 10 http://deb.debian.org/debian trixie/main armhf man-db armhf 2.12.0-3 [1367 kB] Get: 11 http://deb.debian.org/debian trixie/main armhf m4 armhf 1.4.19-4 [264 kB] Get: 12 http://deb.debian.org/debian trixie/main armhf autoconf all 2.71-3 [332 kB] Get: 13 http://deb.debian.org/debian trixie/main armhf autotools-dev all 20220109.1 [51.6 kB] Get: 14 http://deb.debian.org/debian trixie/main armhf automake all 1:1.16.5-1.3 [823 kB] Get: 15 http://deb.debian.org/debian trixie/main armhf autopoint all 0.21-14 [496 kB] Get: 16 http://deb.debian.org/debian trixie/main armhf libdebhelper-perl all 13.14.1 [85.6 kB] Get: 17 http://deb.debian.org/debian trixie/main armhf libtool all 2.4.7-7 [517 kB] Get: 18 http://deb.debian.org/debian trixie/main armhf dh-autoreconf all 20 [17.1 kB] Get: 19 http://deb.debian.org/debian trixie/main armhf libarchive-zip-perl all 1.68-1 [104 kB] Get: 20 http://deb.debian.org/debian trixie/main armhf libsub-override-perl all 0.10-1 [10.6 kB] Get: 21 http://deb.debian.org/debian trixie/main armhf libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB] Get: 22 http://deb.debian.org/debian trixie/main armhf dh-strip-nondeterminism all 1.13.1-1 [8620 B] Get: 23 http://deb.debian.org/debian trixie/main armhf libelf1 armhf 0.190-1+b1 [171 kB] Get: 24 http://deb.debian.org/debian trixie/main armhf dwz armhf 0.15-1 [101 kB] Get: 25 http://deb.debian.org/debian trixie/main armhf libicu72 armhf 72.1-4+b1 [9070 kB] Get: 26 http://deb.debian.org/debian trixie/main armhf libxml2 armhf 2.9.14+dfsg-1.3+b2 [599 kB] Get: 27 http://deb.debian.org/debian trixie/main armhf gettext armhf 0.21-14+b1 [1230 kB] Get: 28 http://deb.debian.org/debian trixie/main armhf intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 29 http://deb.debian.org/debian trixie/main armhf po-debconf all 1.0.21+nmu1 [248 kB] Get: 30 http://deb.debian.org/debian trixie/main armhf debhelper all 13.14.1 [890 kB] Fetched 18.3 MB in 1s (33.7 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package sensible-utils. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19577 files and directories currently installed.) Preparing to unpack .../00-sensible-utils_0.0.22_all.deb ... Unpacking sensible-utils (0.0.22) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../01-libmagic-mgc_1%3a5.45-2+b1_armhf.deb ... Unpacking libmagic-mgc (1:5.45-2+b1) ... Selecting previously unselected package libmagic1:armhf. Preparing to unpack .../02-libmagic1_1%3a5.45-2+b1_armhf.deb ... Unpacking libmagic1:armhf (1:5.45-2+b1) ... Selecting previously unselected package file. Preparing to unpack .../03-file_1%3a5.45-2+b1_armhf.deb ... Unpacking file (1:5.45-2+b1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../04-gettext-base_0.21-14+b1_armhf.deb ... Unpacking gettext-base (0.21-14+b1) ... Selecting previously unselected package libuchardet0:armhf. Preparing to unpack .../05-libuchardet0_0.0.8-1+b1_armhf.deb ... Unpacking libuchardet0:armhf (0.0.8-1+b1) ... Selecting previously unselected package groff-base. Preparing to unpack .../06-groff-base_1.23.0-3_armhf.deb ... Unpacking groff-base (1.23.0-3) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../07-bsdextrautils_2.39.3-6_armhf.deb ... Unpacking bsdextrautils (2.39.3-6) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../08-libpipeline1_1.5.7-1+b2_armhf.deb ... Unpacking libpipeline1:armhf (1.5.7-1+b2) ... Selecting previously unselected package man-db. Preparing to unpack .../09-man-db_2.12.0-3_armhf.deb ... Unpacking man-db (2.12.0-3) ... Selecting previously unselected package m4. Preparing to unpack .../10-m4_1.4.19-4_armhf.deb ... Unpacking m4 (1.4.19-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../11-autoconf_2.71-3_all.deb ... Unpacking autoconf (2.71-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../12-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../13-automake_1%3a1.16.5-1.3_all.deb ... Unpacking automake (1:1.16.5-1.3) ... Selecting previously unselected package autopoint. Preparing to unpack .../14-autopoint_0.21-14_all.deb ... Unpacking autopoint (0.21-14) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../15-libdebhelper-perl_13.14.1_all.deb ... Unpacking libdebhelper-perl (13.14.1) ... Selecting previously unselected package libtool. Preparing to unpack .../16-libtool_2.4.7-7_all.deb ... Unpacking libtool (2.4.7-7) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../17-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../18-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../19-libsub-override-perl_0.10-1_all.deb ... Unpacking libsub-override-perl (0.10-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../20-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../21-dh-strip-nondeterminism_1.13.1-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.1-1) ... Selecting previously unselected package libelf1:armhf. Preparing to unpack .../22-libelf1_0.190-1+b1_armhf.deb ... Unpacking libelf1:armhf (0.190-1+b1) ... Selecting previously unselected package dwz. Preparing to unpack .../23-dwz_0.15-1_armhf.deb ... Unpacking dwz (0.15-1) ... Selecting previously unselected package libicu72:armhf. Preparing to unpack .../24-libicu72_72.1-4+b1_armhf.deb ... Unpacking libicu72:armhf (72.1-4+b1) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../25-libxml2_2.9.14+dfsg-1.3+b2_armhf.deb ... Unpacking libxml2:armhf (2.9.14+dfsg-1.3+b2) ... Selecting previously unselected package gettext. Preparing to unpack .../26-gettext_0.21-14+b1_armhf.deb ... Unpacking gettext (0.21-14+b1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../27-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../28-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../29-debhelper_13.14.1_all.deb ... Unpacking debhelper (13.14.1) ... Setting up libpipeline1:armhf (1.5.7-1+b2) ... Setting up libicu72:armhf (72.1-4+b1) ... Setting up bsdextrautils (2.39.3-6) ... Setting up libmagic-mgc (1:5.45-2+b1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.14.1) ... Setting up libmagic1:armhf (1:5.45-2+b1) ... Setting up gettext-base (0.21-14+b1) ... Setting up m4 (1.4.19-4) ... Setting up file (1:5.45-2+b1) ... Setting up autotools-dev (20220109.1) ... Setting up autopoint (0.21-14) ... Setting up autoconf (2.71-3) ... Setting up sensible-utils (0.0.22) ... Setting up libuchardet0:armhf (0.0.8-1+b1) ... Setting up libsub-override-perl (0.10-1) ... Setting up libelf1:armhf (0.190-1+b1) ... Setting up libxml2:armhf (2.9.14+dfsg-1.3+b2) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.13.1-1) ... Setting up gettext (0.21-14+b1) ... Setting up libtool (2.4.7-7) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (20) ... Setting up dh-strip-nondeterminism (1.13.1-1) ... Setting up dwz (0.15-1) ... Setting up groff-base (1.23.0-3) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up man-db (2.12.0-3) ... Not building database; man-db/auto-update is not 'true'. Setting up debhelper (13.14.1) ... Processing triggers for libc-bin (2.37-15) ... Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps Reading package lists... Building dependency tree... Reading state information... fakeroot is already the newest version (1.33-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package I: user script /srv/workspace/pbuilder/1138/tmp/hooks/A99_set_merged_usr starting Not re-configuring usrmerge for trixie I: user script /srv/workspace/pbuilder/1138/tmp/hooks/A99_set_merged_usr finished hostname: Name or service not known I: Running cd /build/reproducible-path/libset-scalar-perl-1.29/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S > ../libset-scalar-perl_1.29-3_source.changes dpkg-buildpackage: info: source package libset-scalar-perl dpkg-buildpackage: info: source version 1.29-3 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Jelmer Vernooij dpkg-source --before-build . dpkg-buildpackage: info: host architecture armhf fakeroot debian/rules clean dh clean dh_clean debian/rules build dh build dh_update_autotools_config dh_autoreconf dh_auto_configure /usr/bin/perl Makefile.PL INSTALLDIRS=vendor "OPTIMIZE=-g -O2 -ffile-prefix-map=/build/reproducible-path/libset-scalar-perl-1.29=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2" "LD=arm-linux-gnueabihf-gcc -g -O2 -ffile-prefix-map=/build/reproducible-path/libset-scalar-perl-1.29=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -Wl,-z,relro" Welcome to Set::Scalar! Checking if your kit is complete... Looks good Generating a Unix-style Makefile Writing Makefile for Set::Scalar Writing MYMETA.yml and MYMETA.json Now issue 'make' and then 'make test', and if all looks good, 'make install'. dh_auto_build make -j6 make[1]: Entering directory '/build/reproducible-path/libset-scalar-perl-1.29' cp lib/Set/Scalar/ValuedUniverse.pm blib/lib/Set/Scalar/ValuedUniverse.pm cp lib/Set/Scalar/Virtual.pm blib/lib/Set/Scalar/Virtual.pm cp lib/Set/Scalar/Real.pm blib/lib/Set/Scalar/Real.pm cp lib/Set/Scalar/Base.pm blib/lib/Set/Scalar/Base.pm cp lib/Set/Scalar/Valued.pm blib/lib/Set/Scalar/Valued.pm cp lib/Set/Scalar.pm blib/lib/Set/Scalar.pm cp lib/Set/Scalar/Universe.pm blib/lib/Set/Scalar/Universe.pm cp lib/Set/Scalar/Null.pm blib/lib/Set/Scalar/Null.pm Manifying 8 pod documents make[1]: Leaving directory '/build/reproducible-path/libset-scalar-perl-1.29' dh_auto_test make -j6 test TEST_VERBOSE=1 make[1]: Entering directory '/build/reproducible-path/libset-scalar-perl-1.29' PERL_DL_NONLAZY=1 "/usr/bin/perl" "-MExtUtils::Command::MM" "-MTest::Harness" "-e" "undef *Test::Harness::Switches; test_harness(1, 'blib/lib', 'blib/arch')" t/*.t t/basic.t ........... 1..49 ok 1 ok 2 ok 3 ok 4 ok 5 ok 6 ok 7 ok 8 ok 9 ok 10 ok 11 ok 12 ok 13 ok 14 ok 15 ok 16 ok 17 ok 18 ok 19 ok 20 ok 21 ok 22 ok 23 ok 24 ok 25 ok 26 ok 27 ok 28 ok 29 ok 30 ok 31 ok 32 ok 33 ok 34 ok 35 ok 36 ok 37 ok 38 ok 39 ok 40 ok 41 ok 42 ok 43 ok 44 ok 45 ok 46 ok 47 ok 48 ok 49 ok t/basic_overload.t .. 1..40 ok 1 ok 2 ok 3 ok 4 ok 5 ok 6 ok 7 ok 8 ok 9 ok 10 ok 11 ok 12 ok 13 ok 14 ok 15 ok 16 ok 17 ok 18 ok 19 ok 20 ok 21 ok 22 ok 23 ok 24 ok 25 ok 26 ok 27 ok 28 ok 29 ok 30 ok 31 ok 32 ok 33 ok 34 ok 35 ok 36 ok 37 ok 38 ok 39 ok 40 ok t/boolean.t ......... 1..2 ok 1 ok 2 ok t/cartesian.t ....... 1..9 ok 1 ok 2 ok 3 ok 4 ok 5 ok 6 ok 7 ok 8 ok 9 ok t/clear.t ........... 1..2 ok 1 ok 2 ok t/compare.t ......... 1..23 ok 1 ok 2 ok 3 ok 4 ok 5 ok 6 ok 7 ok 8 ok 9 ok 10 ok 11 ok 12 ok 13 ok 14 ok 15 ok 16 ok 17 ok 18 ok 19 ok 20 ok 21 ok 22 ok 23 ok t/custom_display.t .. 1..7 ok 1 # (a b c d e) ok 2 # a,b,c,d,e ok 3 # a-b-c-d-e ok 4 # a,b,c,d,e ok 5 # (a b c d e) ok 6 # a-b-c-d-e ok 7 # (a b c d e) ok t/difference.t ...... 1..28 ok 1 ok 2 ok 3 ok 4 ok 5 ok 6 ok 7 ok 8 ok 9 ok 10 ok 11 ok 12 ok 13 ok 14 ok 15 ok 16 ok 17 ok 18 ok 19 ok 20 ok 21 ok 22 ok 23 ok 24 ok 25 ok 26 ok 27 ok 28 ok t/each.t ............ 1..2 # e = 0 # e = b # e = d # e = a # e = c # e = e ok 1 ok 2 ok t/has.t ............. 1..3 ok 1 ok 2 ok 3 ok t/intersection.t .... 1..24 ok 1 ok 2 ok 3 ok 4 ok 5 ok 6 ok 7 ok 8 ok 9 ok 10 ok 11 ok 12 ok 13 ok 14 ok 15 ok 16 ok 17 ok 18 ok 19 ok 20 ok 21 ok 22 ok 23 ok 24 ok # (WARNING: this can take awhile)... t/laws.t ............ 1..2375 # Double Complement ok 1 # DeMorgan -+ ok 2 # DeMorgan -* ok 3 # Commutative + ok 4 # Commutative * ok 5 # Associative + ok 6 # Associative * ok 7 # Distributive +* ok 8 # Distributive *+ ok 9 # Idempotency + ok 10 # Idempotency * ok 11 # Identity +N ok 12 # Identity *U ok 13 # Inverse +- ok 14 # Inverse *- ok 15 # Domination +U ok 16 # Domination *N ok 17 # Absorption +* ok 18 # Absorption *+ ok 19 # Double Complement ok 20 # DeMorgan -+ ok 21 # DeMorgan -* ok 22 # Commutative + ok 23 # Commutative * ok 24 # Associative + ok 25 # Associative * ok 26 # Distributive +* ok 27 # Distributive *+ ok 28 # Idempotency + ok 29 # Idempotency * ok 30 # Identity +N ok 31 # Identity *U ok 32 # Inverse +- ok 33 # Inverse *- ok 34 # Domination +U ok 35 # Domination *N ok 36 # Absorption +* ok 37 # Absorption *+ ok 38 # Double Complement ok 39 # DeMorgan -+ ok 40 # DeMorgan -* ok 41 # Commutative + ok 42 # Commutative * ok 43 # Associative + ok 44 # Associative * ok 45 # Distributive +* ok 46 # Distributive *+ ok 47 # Idempotency + ok 48 # Idempotency * ok 49 # Identity +N ok 50 # Identity *U ok 51 # Inverse +- ok 52 # Inverse *- ok 53 # Domination +U ok 54 # Domination *N ok 55 # Absorption +* ok 56 # Absorption *+ ok 57 # Double Complement ok 58 # DeMorgan -+ ok 59 # DeMorgan -* ok 60 # Commutative + ok 61 # Commutative * ok 62 # Associative + ok 63 # Associative * ok 64 # Distributive +* ok 65 # Distributive *+ ok 66 # Idempotency + ok 67 # Idempotency * ok 68 # Identity +N ok 69 # Identity *U ok 70 # Inverse +- ok 71 # Inverse *- ok 72 # Domination +U ok 73 # Domination *N ok 74 # Absorption +* ok 75 # Absorption *+ ok 76 # Double Complement ok 77 # DeMorgan -+ ok 78 # DeMorgan -* ok 79 # Commutative + ok 80 # Commutative * ok 81 # Associative + ok 82 # Associative * ok 83 # Distributive +* ok 84 # Distributive *+ ok 85 # Idempotency + ok 86 # Idempotency * ok 87 # Identity +N ok 88 # Identity *U ok 89 # Inverse +- ok 90 # Inverse *- ok 91 # Domination +U ok 92 # Domination *N ok 93 # Absorption +* ok 94 # Absorption *+ ok 95 # Double Complement ok 96 # DeMorgan -+ ok 97 # DeMorgan -* ok 98 # Commutative + ok 99 # Commutative * ok 100 # Associative + ok 101 # Associative * ok 102 # Distributive +* ok 103 # Distributive *+ ok 104 # Idempotency + ok 105 # Idempotency * ok 106 # Identity +N ok 107 # Identity *U ok 108 # Inverse +- ok 109 # Inverse *- ok 110 # Domination +U ok 111 # Domination *N ok 112 # Absorption +* ok 113 # Absorption *+ ok 114 # Double Complement ok 115 # DeMorgan -+ ok 116 # DeMorgan -* ok 117 # Commutative + ok 118 # Commutative * ok 119 # Associative + ok 120 # Associative * ok 121 # Distributive +* ok 122 # Distributive *+ ok 123 # Idempotency + ok 124 # Idempotency * ok 125 # Identity +N ok 126 # Identity *U ok 127 # Inverse +- ok 128 # Inverse *- ok 129 # Domination +U ok 130 # Domination *N ok 131 # Absorption +* ok 132 # Absorption *+ ok 133 # Double Complement ok 134 # DeMorgan -+ ok 135 # DeMorgan -* ok 136 # Commutative + ok 137 # Commutative * ok 138 # Associative + ok 139 # Associative * ok 140 # Distributive +* ok 141 # Distributive *+ ok 142 # Idempotency + ok 143 # Idempotency * ok 144 # Identity +N ok 145 # Identity *U ok 146 # Inverse +- ok 147 # Inverse *- ok 148 # Domination +U ok 149 # Domination *N ok 150 # Absorption +* ok 151 # Absorption *+ ok 152 # Double Complement ok 153 # DeMorgan -+ ok 154 # DeMorgan -* ok 155 # Commutative + ok 156 # Commutative * ok 157 # Associative + ok 158 # Associative * ok 159 # Distributive +* ok 160 # Distributive *+ ok 161 # Idempotency + ok 162 # Idempotency * ok 163 # Identity +N ok 164 # Identity *U ok 165 # Inverse +- ok 166 # Inverse *- ok 167 # Domination +U ok 168 # Domination *N ok 169 # Absorption +* ok 170 # Absorption *+ ok 171 # Double Complement ok 172 # DeMorgan -+ ok 173 # DeMorgan -* ok 174 # Commutative + ok 175 # Commutative * ok 176 # Associative + ok 177 # Associative * ok 178 # Distributive +* ok 179 # Distributive *+ ok 180 # Idempotency + ok 181 # Idempotency * ok 182 # Identity +N ok 183 # Identity *U ok 184 # Inverse +- ok 185 # Inverse *- ok 186 # Domination +U ok 187 # Domination *N ok 188 # Absorption +* ok 189 # Absorption *+ ok 190 # Double Complement ok 191 # DeMorgan -+ ok 192 # DeMorgan -* ok 193 # Commutative + ok 194 # Commutative * ok 195 # Associative + ok 196 # Associative * ok 197 # Distributive +* ok 198 # Distributive *+ ok 199 # Idempotency + ok 200 # Idempotency * ok 201 # Identity +N ok 202 # Identity *U ok 203 # Inverse +- ok 204 # Inverse *- ok 205 # Domination +U ok 206 # Domination *N ok 207 # Absorption +* ok 208 # Absorption *+ ok 209 # Double Complement ok 210 # DeMorgan -+ ok 211 # DeMorgan -* ok 212 # Commutative + ok 213 # Commutative * ok 214 # Associative + ok 215 # Associative * ok 216 # Distributive +* ok 217 # Distributive *+ ok 218 # Idempotency + ok 219 # Idempotency * ok 220 # Identity +N ok 221 # Identity *U ok 222 # Inverse +- ok 223 # Inverse *- ok 224 # Domination +U ok 225 # Domination *N ok 226 # Absorption +* ok 227 # Absorption *+ ok 228 # Double Complement ok 229 # DeMorgan -+ ok 230 # DeMorgan -* ok 231 # Commutative + ok 232 # Commutative * ok 233 # Associative + ok 234 # Associative * ok 235 # Distributive +* ok 236 # Distributive *+ ok 237 # Idempotency + ok 238 # Idempotency * ok 239 # Identity +N ok 240 # Identity *U ok 241 # Inverse +- ok 242 # Inverse *- ok 243 # Domination +U ok 244 # Domination *N ok 245 # Absorption +* ok 246 # Absorption *+ ok 247 # Double Complement ok 248 # DeMorgan -+ ok 249 # DeMorgan -* ok 250 # Commutative + ok 251 # Commutative * ok 252 # Associative + ok 253 # Associative * ok 254 # Distributive +* ok 255 # Distributive *+ ok 256 # Idempotency + ok 257 # Idempotency * ok 258 # Identity +N ok 259 # Identity *U ok 260 # Inverse +- ok 261 # Inverse *- ok 262 # Domination +U ok 263 # Domination *N ok 264 # Absorption +* ok 265 # Absorption *+ ok 266 # Double Complement ok 267 # DeMorgan -+ ok 268 # DeMorgan -* ok 269 # Commutative + ok 270 # Commutative * ok 271 # Associative + ok 272 # Associative * ok 273 # Distributive +* ok 274 # Distributive *+ ok 275 # Idempotency + ok 276 # Idempotency * ok 277 # Identity +N ok 278 # Identity *U ok 279 # Inverse +- ok 280 # Inverse *- ok 281 # Domination +U ok 282 # Domination *N ok 283 # Absorption +* ok 284 # Absorption *+ ok 285 # Double Complement ok 286 # DeMorgan -+ ok 287 # DeMorgan -* ok 288 # Commutative + ok 289 # Commutative * ok 290 # Associative + ok 291 # Associative * ok 292 # Distributive +* ok 293 # Distributive *+ ok 294 # Idempotency + ok 295 # Idempotency * ok 296 # Identity +N ok 297 # Identity *U ok 298 # Inverse +- ok 299 # Inverse *- ok 300 # Domination +U ok 301 # Domination *N ok 302 # Absorption +* ok 303 # Absorption *+ ok 304 # Double Complement ok 305 # DeMorgan -+ ok 306 # DeMorgan -* ok 307 # Commutative + ok 308 # Commutative * ok 309 # Associative + ok 310 # Associative * ok 311 # Distributive +* ok 312 # Distributive *+ ok 313 # Idempotency + ok 314 # Idempotency * ok 315 # Identity +N ok 316 # Identity *U ok 317 # Inverse +- ok 318 # Inverse *- ok 319 # Domination +U ok 320 # Domination *N ok 321 # Absorption +* ok 322 # Absorption *+ ok 323 # Double Complement ok 324 # DeMorgan -+ ok 325 # DeMorgan -* ok 326 # Commutative + ok 327 # Commutative * ok 328 # Associative + ok 329 # Associative * ok 330 # Distributive +* ok 331 # Distributive *+ ok 332 # Idempotency + ok 333 # Idempotency * ok 334 # Identity +N ok 335 # Identity *U ok 336 # Inverse +- ok 337 # Inverse *- ok 338 # Domination +U ok 339 # Domination *N ok 340 # Absorption +* ok 341 # Absorption *+ ok 342 # Double Complement ok 343 # DeMorgan -+ ok 344 # DeMorgan -* ok 345 # Commutative + ok 346 # Commutative * ok 347 # Associative + ok 348 # Associative * ok 349 # Distributive +* ok 350 # Distributive *+ ok 351 # Idempotency + ok 352 # Idempotency * ok 353 # Identity +N ok 354 # Identity *U ok 355 # Inverse +- ok 356 # Inverse *- ok 357 # Domination +U ok 358 # Domination *N ok 359 # Absorption +* ok 360 # Absorption *+ ok 361 # Double Complement ok 362 # DeMorgan -+ ok 363 # DeMorgan -* ok 364 # Commutative + ok 365 # Commutative * ok 366 # Associative + ok 367 # Associative * ok 368 # Distributive +* ok 369 # Distributive *+ ok 370 # Idempotency + ok 371 # Idempotency * ok 372 # Identity +N ok 373 # Identity *U ok 374 # Inverse +- ok 375 # Inverse *- ok 376 # Domination +U ok 377 # Domination *N ok 378 # Absorption +* ok 379 # Absorption *+ ok 380 # Double Complement ok 381 # DeMorgan -+ ok 382 # DeMorgan -* ok 383 # Commutative + ok 384 # Commutative * ok 385 # Associative + ok 386 # Associative * ok 387 # Distributive +* ok 388 # Distributive *+ ok 389 # Idempotency + ok 390 # Idempotency * ok 391 # Identity +N ok 392 # Identity *U ok 393 # Inverse +- ok 394 # Inverse *- ok 395 # Domination +U ok 396 # Domination *N ok 397 # Absorption +* ok 398 # Absorption *+ ok 399 # Double Complement ok 400 # DeMorgan -+ ok 401 # DeMorgan -* ok 402 # Commutative + ok 403 # Commutative * ok 404 # Associative + ok 405 # Associative * ok 406 # Distributive +* ok 407 # Distributive *+ ok 408 # Idempotency + ok 409 # Idempotency * ok 410 # Identity +N ok 411 # Identity *U ok 412 # Inverse +- ok 413 # Inverse *- ok 414 # Domination +U ok 415 # Domination *N ok 416 # Absorption +* ok 417 # Absorption *+ ok 418 # Double Complement ok 419 # DeMorgan -+ ok 420 # DeMorgan -* ok 421 # Commutative + ok 422 # Commutative * ok 423 # Associative + ok 424 # Associative * ok 425 # Distributive +* ok 426 # Distributive *+ ok 427 # Idempotency + ok 428 # Idempotency * ok 429 # Identity +N ok 430 # Identity *U ok 431 # Inverse +- ok 432 # Inverse *- ok 433 # Domination +U ok 434 # Domination *N ok 435 # Absorption +* ok 436 # Absorption *+ ok 437 # Double Complement ok 438 # DeMorgan -+ ok 439 # DeMorgan -* ok 440 # Commutative + ok 441 # Commutative * ok 442 # Associative + ok 443 # Associative * ok 444 # Distributive +* ok 445 # Distributive *+ ok 446 # Idempotency + ok 447 # Idempotency * ok 448 # Identity +N ok 449 # Identity *U ok 450 # Inverse +- ok 451 # Inverse *- ok 452 # Domination +U ok 453 # Domination *N ok 454 # Absorption +* ok 455 # Absorption *+ ok 456 # Double Complement ok 457 # DeMorgan -+ ok 458 # DeMorgan -* ok 459 # Commutative + ok 460 # Commutative * ok 461 # Associative + ok 462 # Associative * ok 463 # Distributive +* ok 464 # Distributive *+ ok 465 # Idempotency + ok 466 # Idempotency * ok 467 # Identity +N ok 468 # Identity *U ok 469 # Inverse +- ok 470 # Inverse *- ok 471 # Domination +U ok 472 # Domination *N ok 473 # Absorption +* ok 474 # Absorption *+ ok 475 # Double Complement ok 476 # DeMorgan -+ ok 477 # DeMorgan -* ok 478 # Commutative + ok 479 # Commutative * ok 480 # Associative + ok 481 # Associative * ok 482 # Distributive +* ok 483 # Distributive *+ ok 484 # Idempotency + ok 485 # Idempotency * ok 486 # Identity +N ok 487 # Identity *U ok 488 # Inverse +- ok 489 # Inverse *- ok 490 # Domination +U ok 491 # Domination *N ok 492 # Absorption +* ok 493 # Absorption *+ ok 494 # Double Complement ok 495 # DeMorgan -+ ok 496 # DeMorgan -* ok 497 # Commutative + ok 498 # Commutative * ok 499 # Associative + ok 500 # Associative * ok 501 # Distributive +* ok 502 # Distributive *+ ok 503 # Idempotency + ok 504 # Idempotency * ok 505 # Identity +N ok 506 # Identity *U ok 507 # Inverse +- ok 508 # Inverse *- ok 509 # Domination +U ok 510 # Domination *N ok 511 # Absorption +* ok 512 # Absorption *+ ok 513 # Double Complement ok 514 # DeMorgan -+ ok 515 # DeMorgan -* ok 516 # Commutative + ok 517 # Commutative * ok 518 # Associative + ok 519 # Associative * ok 520 # Distributive +* ok 521 # Distributive *+ ok 522 # Idempotency + ok 523 # Idempotency * ok 524 # Identity +N ok 525 # Identity *U ok 526 # Inverse +- ok 527 # Inverse *- ok 528 # Domination +U ok 529 # Domination *N ok 530 # Absorption +* ok 531 # Absorption *+ ok 532 # Double Complement ok 533 # DeMorgan -+ ok 534 # DeMorgan -* ok 535 # Commutative + ok 536 # Commutative * ok 537 # Associative + ok 538 # Associative * ok 539 # Distributive +* ok 540 # Distributive *+ ok 541 # Idempotency + ok 542 # Idempotency * ok 543 # Identity +N ok 544 # Identity *U ok 545 # Inverse +- ok 546 # Inverse *- ok 547 # Domination +U ok 548 # Domination *N ok 549 # Absorption +* ok 550 # Absorption *+ ok 551 # Double Complement ok 552 # DeMorgan -+ ok 553 # DeMorgan -* ok 554 # Commutative + ok 555 # Commutative * ok 556 # Associative + ok 557 # Associative * ok 558 # Distributive +* ok 559 # Distributive *+ ok 560 # Idempotency + ok 561 # Idempotency * ok 562 # Identity +N ok 563 # Identity *U ok 564 # Inverse +- ok 565 # Inverse *- ok 566 # Domination +U ok 567 # Domination *N ok 568 # Absorption +* ok 569 # Absorption *+ ok 570 # Double Complement ok 571 # DeMorgan -+ ok 572 # DeMorgan -* ok 573 # Commutative + ok 574 # Commutative * ok 575 # Associative + ok 576 # Associative * ok 577 # Distributive +* ok 578 # Distributive *+ ok 579 # Idempotency + ok 580 # Idempotency * ok 581 # Identity +N ok 582 # Identity *U ok 583 # Inverse +- ok 584 # Inverse *- ok 585 # Domination +U ok 586 # Domination *N ok 587 # Absorption +* ok 588 # Absorption *+ ok 589 # Double Complement ok 590 # DeMorgan -+ ok 591 # DeMorgan -* ok 592 # Commutative + ok 593 # Commutative * ok 594 # Associative + ok 595 # Associative * ok 596 # Distributive +* ok 597 # Distributive *+ ok 598 # Idempotency + ok 599 # Idempotency * ok 600 # Identity +N ok 601 # Identity *U ok 602 # Inverse +- ok 603 # Inverse *- ok 604 # Domination +U ok 605 # Domination *N ok 606 # Absorption +* ok 607 # Absorption *+ ok 608 # Double Complement ok 609 # DeMorgan -+ ok 610 # DeMorgan -* ok 611 # Commutative + ok 612 # Commutative * ok 613 # Associative + ok 614 # Associative * ok 615 # Distributive +* ok 616 # Distributive *+ ok 617 # Idempotency + ok 618 # Idempotency * ok 619 # Identity +N ok 620 # Identity *U ok 621 # Inverse +- ok 622 # Inverse *- ok 623 # Domination +U ok 624 # Domination *N ok 625 # Absorption +* ok 626 # Absorption *+ ok 627 # Double Complement ok 628 # DeMorgan -+ ok 629 # DeMorgan -* ok 630 # Commutative + ok 631 # Commutative * ok 632 # Associative + ok 633 # Associative * ok 634 # Distributive +* ok 635 # Distributive *+ ok 636 # Idempotency + ok 637 # Idempotency * ok 638 # Identity +N ok 639 # Identity *U ok 640 # Inverse +- ok 641 # Inverse *- ok 642 # Domination +U ok 643 # Domination *N ok 644 # Absorption +* ok 645 # Absorption *+ ok 646 # Double Complement ok 647 # DeMorgan -+ ok 648 # DeMorgan -* ok 649 # Commutative + ok 650 # Commutative * ok 651 # Associative + ok 652 # Associative * ok 653 # Distributive +* ok 654 # Distributive *+ ok 655 # Idempotency + ok 656 # Idempotency * ok 657 # Identity +N ok 658 # Identity *U ok 659 # Inverse +- ok 660 # Inverse *- ok 661 # Domination +U ok 662 # Domination *N ok 663 # Absorption +* ok 664 # Absorption *+ ok 665 # Double Complement ok 666 # DeMorgan -+ ok 667 # DeMorgan -* ok 668 # Commutative + ok 669 # Commutative * ok 670 # Associative + ok 671 # Associative * ok 672 # Distributive +* ok 673 # Distributive *+ ok 674 # Idempotency + ok 675 # Idempotency * ok 676 # Identity +N ok 677 # Identity *U ok 678 # Inverse +- ok 679 # Inverse *- ok 680 # Domination +U ok 681 # Domination *N ok 682 # Absorption +* ok 683 # Absorption *+ ok 684 # Double Complement ok 685 # DeMorgan -+ ok 686 # DeMorgan -* ok 687 # Commutative + ok 688 # Commutative * ok 689 # Associative + ok 690 # Associative * ok 691 # Distributive +* ok 692 # Distributive *+ ok 693 # Idempotency + ok 694 # Idempotency * ok 695 # Identity +N ok 696 # Identity *U ok 697 # Inverse +- ok 698 # Inverse *- ok 699 # Domination +U ok 700 # Domination *N ok 701 # Absorption +* ok 702 # Absorption *+ ok 703 # Double Complement ok 704 # DeMorgan -+ ok 705 # DeMorgan -* ok 706 # Commutative + ok 707 # Commutative * ok 708 # Associative + ok 709 # Associative * ok 710 # Distributive +* ok 711 # Distributive *+ ok 712 # Idempotency + ok 713 # Idempotency * ok 714 # Identity +N ok 715 # Identity *U ok 716 # Inverse +- ok 717 # Inverse *- ok 718 # Domination +U ok 719 # Domination *N ok 720 # Absorption +* ok 721 # Absorption *+ ok 722 # Double Complement ok 723 # DeMorgan -+ ok 724 # DeMorgan -* ok 725 # Commutative + ok 726 # Commutative * ok 727 # Associative + ok 728 # Associative * ok 729 # Distributive +* ok 730 # Distributive *+ ok 731 # Idempotency + ok 732 # Idempotency * ok 733 # Identity +N ok 734 # Identity *U ok 735 # Inverse +- ok 736 # Inverse *- ok 737 # Domination +U ok 738 # Domination *N ok 739 # Absorption +* ok 740 # Absorption *+ ok 741 # Double Complement ok 742 # DeMorgan -+ ok 743 # DeMorgan -* ok 744 # Commutative + ok 745 # Commutative * ok 746 # Associative + ok 747 # Associative * ok 748 # Distributive +* ok 749 # Distributive *+ ok 750 # Idempotency + ok 751 # Idempotency * ok 752 # Identity +N ok 753 # Identity *U ok 754 # Inverse +- ok 755 # Inverse *- ok 756 # Domination +U ok 757 # Domination *N ok 758 # Absorption +* ok 759 # Absorption *+ ok 760 # Double Complement ok 761 # DeMorgan -+ ok 762 # DeMorgan -* ok 763 # Commutative + ok 764 # Commutative * ok 765 # Associative + ok 766 # Associative * ok 767 # Distributive +* ok 768 # Distributive *+ ok 769 # Idempotency + ok 770 # Idempotency * ok 771 # Identity +N ok 772 # Identity *U ok 773 # Inverse +- ok 774 # Inverse *- ok 775 # Domination +U ok 776 # Domination *N ok 777 # Absorption +* ok 778 # Absorption *+ ok 779 # Double Complement ok 780 # DeMorgan -+ ok 781 # DeMorgan -* ok 782 # Commutative + ok 783 # Commutative * ok 784 # Associative + ok 785 # Associative * ok 786 # Distributive +* ok 787 # Distributive *+ ok 788 # Idempotency + ok 789 # Idempotency * ok 790 # Identity +N ok 791 # Identity *U ok 792 # Inverse +- ok 793 # Inverse *- ok 794 # Domination +U ok 795 # Domination *N ok 796 # Absorption +* ok 797 # Absorption *+ ok 798 # Double Complement ok 799 # DeMorgan -+ ok 800 # DeMorgan -* ok 801 # Commutative + ok 802 # Commutative * ok 803 # Associative + ok 804 # Associative * ok 805 # Distributive +* ok 806 # Distributive *+ ok 807 # Idempotency + ok 808 # Idempotency * ok 809 # Identity +N ok 810 # Identity *U ok 811 # Inverse +- ok 812 # Inverse *- ok 813 # Domination +U ok 814 # Domination *N ok 815 # Absorption +* ok 816 # Absorption *+ ok 817 # Double Complement ok 818 # DeMorgan -+ ok 819 # DeMorgan -* ok 820 # Commutative + ok 821 # Commutative * ok 822 # Associative + ok 823 # Associative * ok 824 # Distributive +* ok 825 # Distributive *+ ok 826 # Idempotency + ok 827 # Idempotency * ok 828 # Identity +N ok 829 # Identity *U ok 830 # Inverse +- ok 831 # Inverse *- ok 832 # Domination +U ok 833 # Domination *N ok 834 # Absorption +* ok 835 # Absorption *+ ok 836 # Double Complement ok 837 # DeMorgan -+ ok 838 # DeMorgan -* ok 839 # Commutative + ok 840 # Commutative * ok 841 # Associative + ok 842 # Associative * ok 843 # Distributive +* ok 844 # Distributive *+ ok 845 # Idempotency + ok 846 # Idempotency * ok 847 # Identity +N ok 848 # Identity *U ok 849 # Inverse +- ok 850 # Inverse *- ok 851 # Domination +U ok 852 # Domination *N ok 853 # Absorption +* ok 854 # Absorption *+ ok 855 # Double Complement ok 856 # DeMorgan -+ ok 857 # DeMorgan -* ok 858 # Commutative + ok 859 # Commutative * ok 860 # Associative + ok 861 # Associative * ok 862 # Distributive +* ok 863 # Distributive *+ ok 864 # Idempotency + ok 865 # Idempotency * ok 866 # Identity +N ok 867 # Identity *U ok 868 # Inverse +- ok 869 # Inverse *- ok 870 # Domination +U ok 871 # Domination *N ok 872 # Absorption +* ok 873 # Absorption *+ ok 874 # Double Complement ok 875 # DeMorgan -+ ok 876 # DeMorgan -* ok 877 # Commutative + ok 878 # Commutative * ok 879 # Associative + ok 880 # Associative * ok 881 # Distributive +* ok 882 # Distributive *+ ok 883 # Idempotency + ok 884 # Idempotency * ok 885 # Identity +N ok 886 # Identity *U ok 887 # Inverse +- ok 888 # Inverse *- ok 889 # Domination +U ok 890 # Domination *N ok 891 # Absorption +* ok 892 # Absorption *+ ok 893 # Double Complement ok 894 # DeMorgan -+ ok 895 # DeMorgan -* ok 896 # Commutative + ok 897 # Commutative * ok 898 # Associative + ok 899 # Associative * ok 900 # Distributive +* ok 901 # Distributive *+ ok 902 # Idempotency + ok 903 # Idempotency * ok 904 # Identity +N ok 905 # Identity *U ok 906 # Inverse +- ok 907 # Inverse *- ok 908 # Domination +U ok 909 # Domination *N ok 910 # Absorption +* ok 911 # Absorption *+ ok 912 # Double Complement ok 913 # DeMorgan -+ ok 914 # DeMorgan -* ok 915 # Commutative + ok 916 # Commutative * ok 917 # Associative + ok 918 # Associative * ok 919 # Distributive +* ok 920 # Distributive *+ ok 921 # Idempotency + ok 922 # Idempotency * ok 923 # Identity +N ok 924 # Identity *U ok 925 # Inverse +- ok 926 # Inverse *- ok 927 # Domination +U ok 928 # Domination *N ok 929 # Absorption +* ok 930 # Absorption *+ ok 931 # Double Complement ok 932 # DeMorgan -+ ok 933 # DeMorgan -* ok 934 # Commutative + ok 935 # Commutative * ok 936 # Associative + ok 937 # Associative * ok 938 # Distributive +* ok 939 # Distributive *+ ok 940 # Idempotency + ok 941 # Idempotency * ok 942 # Identity +N ok 943 # Identity *U ok 944 # Inverse +- ok 945 # Inverse *- ok 946 # Domination +U ok 947 # Domination *N ok 948 # Absorption +* ok 949 # Absorption *+ ok 950 # Double Complement ok 951 # DeMorgan -+ ok 952 # DeMorgan -* ok 953 # Commutative + ok 954 # Commutative * ok 955 # Associative + ok 956 # Associative * ok 957 # Distributive +* ok 958 # Distributive *+ ok 959 # Idempotency + ok 960 # Idempotency * ok 961 # Identity +N ok 962 # Identity *U ok 963 # Inverse +- ok 964 # Inverse *- ok 965 # Domination +U ok 966 # Domination *N ok 967 # Absorption +* ok 968 # Absorption *+ ok 969 # Double Complement ok 970 # DeMorgan -+ ok 971 # DeMorgan -* ok 972 # Commutative + ok 973 # Commutative * ok 974 # Associative + ok 975 # Associative * ok 976 # Distributive +* ok 977 # Distributive *+ ok 978 # Idempotency + ok 979 # Idempotency * ok 980 # Identity +N ok 981 # Identity *U ok 982 # Inverse +- ok 983 # Inverse *- ok 984 # Domination +U ok 985 # Domination *N ok 986 # Absorption +* ok 987 # Absorption *+ ok 988 # Double Complement ok 989 # DeMorgan -+ ok 990 # DeMorgan -* ok 991 # Commutative + ok 992 # Commutative * ok 993 # Associative + ok 994 # Associative * ok 995 # Distributive +* ok 996 # Distributive *+ ok 997 # Idempotency + ok 998 # Idempotency * ok 999 # Identity +N ok 1000 # Identity *U ok 1001 # Inverse +- ok 1002 # Inverse *- ok 1003 # Domination +U ok 1004 # Domination *N ok 1005 # Absorption +* ok 1006 # Absorption *+ ok 1007 # Double Complement ok 1008 # DeMorgan -+ ok 1009 # DeMorgan -* ok 1010 # Commutative + ok 1011 # Commutative * ok 1012 # Associative + ok 1013 # Associative * ok 1014 # Distributive +* ok 1015 # Distributive *+ ok 1016 # Idempotency + ok 1017 # Idempotency * ok 1018 # Identity +N ok 1019 # Identity *U ok 1020 # Inverse +- ok 1021 # Inverse *- ok 1022 # Domination +U ok 1023 # Domination *N ok 1024 # Absorption +* ok 1025 # Absorption *+ ok 1026 # Double Complement ok 1027 # DeMorgan -+ ok 1028 # DeMorgan -* ok 1029 # Commutative + ok 1030 # Commutative * ok 1031 # Associative + ok 1032 # Associative * ok 1033 # Distributive +* ok 1034 # Distributive *+ ok 1035 # Idempotency + ok 1036 # Idempotency * ok 1037 # Identity +N ok 1038 # Identity *U ok 1039 # Inverse +- ok 1040 # Inverse *- ok 1041 # Domination +U ok 1042 # Domination *N ok 1043 # Absorption +* ok 1044 # Absorption *+ ok 1045 # Double Complement ok 1046 # DeMorgan -+ ok 1047 # DeMorgan -* ok 1048 # Commutative + ok 1049 # Commutative * ok 1050 # Associative + ok 1051 # Associative * ok 1052 # Distributive +* ok 1053 # Distributive *+ ok 1054 # Idempotency + ok 1055 # Idempotency * ok 1056 # Identity +N ok 1057 # Identity *U ok 1058 # Inverse +- ok 1059 # Inverse *- ok 1060 # Domination +U ok 1061 # Domination *N ok 1062 # Absorption +* ok 1063 # Absorption *+ ok 1064 # Double Complement ok 1065 # DeMorgan -+ ok 1066 # DeMorgan -* ok 1067 # Commutative + ok 1068 # Commutative * ok 1069 # Associative + ok 1070 # Associative * ok 1071 # Distributive +* ok 1072 # Distributive *+ ok 1073 # Idempotency + ok 1074 # Idempotency * ok 1075 # Identity +N ok 1076 # Identity *U ok 1077 # Inverse +- ok 1078 # Inverse *- ok 1079 # Domination +U ok 1080 # Domination *N ok 1081 # Absorption +* ok 1082 # Absorption *+ ok 1083 # Double Complement ok 1084 # DeMorgan -+ ok 1085 # DeMorgan -* ok 1086 # Commutative + ok 1087 # Commutative * ok 1088 # Associative + ok 1089 # Associative * ok 1090 # Distributive +* ok 1091 # Distributive *+ ok 1092 # Idempotency + ok 1093 # Idempotency * ok 1094 # Identity +N ok 1095 # Identity *U ok 1096 # Inverse +- ok 1097 # Inverse *- ok 1098 # Domination +U ok 1099 # Domination *N ok 1100 # Absorption +* ok 1101 # Absorption *+ ok 1102 # Double Complement ok 1103 # DeMorgan -+ ok 1104 # DeMorgan -* ok 1105 # Commutative + ok 1106 # Commutative * ok 1107 # Associative + ok 1108 # Associative * ok 1109 # Distributive +* ok 1110 # Distributive *+ ok 1111 # Idempotency + ok 1112 # Idempotency * ok 1113 # Identity +N ok 1114 # Identity *U ok 1115 # Inverse +- ok 1116 # Inverse *- ok 1117 # Domination +U ok 1118 # Domination *N ok 1119 # Absorption +* ok 1120 # Absorption *+ ok 1121 # Double Complement ok 1122 # DeMorgan -+ ok 1123 # DeMorgan -* ok 1124 # Commutative + ok 1125 # Commutative * ok 1126 # Associative + ok 1127 # Associative * ok 1128 # Distributive +* ok 1129 # Distributive *+ ok 1130 # Idempotency + ok 1131 # Idempotency * ok 1132 # Identity +N ok 1133 # Identity *U ok 1134 # Inverse +- ok 1135 # Inverse *- ok 1136 # Domination +U ok 1137 # Domination *N ok 1138 # Absorption +* ok 1139 # Absorption *+ ok 1140 # Double Complement ok 1141 # DeMorgan -+ ok 1142 # DeMorgan -* ok 1143 # Commutative + ok 1144 # Commutative * ok 1145 # Associative + ok 1146 # Associative * ok 1147 # Distributive +* ok 1148 # Distributive *+ ok 1149 # Idempotency + ok 1150 # Idempotency * ok 1151 # Identity +N ok 1152 # Identity *U ok 1153 # Inverse +- ok 1154 # Inverse *- ok 1155 # Domination +U ok 1156 # Domination *N ok 1157 # Absorption +* ok 1158 # Absorption *+ ok 1159 # Double Complement ok 1160 # DeMorgan -+ ok 1161 # DeMorgan -* ok 1162 # Commutative + ok 1163 # Commutative * ok 1164 # Associative + ok 1165 # Associative * ok 1166 # Distributive +* ok 1167 # Distributive *+ ok 1168 # Idempotency + ok 1169 # Idempotency * ok 1170 # Identity +N ok 1171 # Identity *U ok 1172 # Inverse +- ok 1173 # Inverse *- ok 1174 # Domination +U ok 1175 # Domination *N ok 1176 # Absorption +* ok 1177 # Absorption *+ ok 1178 # Double Complement ok 1179 # DeMorgan -+ ok 1180 # DeMorgan -* ok 1181 # Commutative + ok 1182 # Commutative * ok 1183 # Associative + ok 1184 # Associative * ok 1185 # Distributive +* ok 1186 # Distributive *+ ok 1187 # Idempotency + ok 1188 # Idempotency * ok 1189 # Identity +N ok 1190 # Identity *U ok 1191 # Inverse +- ok 1192 # Inverse *- ok 1193 # Domination +U ok 1194 # Domination *N ok 1195 # Absorption +* ok 1196 # Absorption *+ ok 1197 # Double Complement ok 1198 # DeMorgan -+ ok 1199 # DeMorgan -* ok 1200 # Commutative + ok 1201 # Commutative * ok 1202 # Associative + ok 1203 # Associative * ok 1204 # Distributive +* ok 1205 # Distributive *+ ok 1206 # Idempotency + ok 1207 # Idempotency * ok 1208 # Identity +N ok 1209 # Identity *U ok 1210 # Inverse +- ok 1211 # Inverse *- ok 1212 # Domination +U ok 1213 # Domination *N ok 1214 # Absorption +* ok 1215 # Absorption *+ ok 1216 # Double Complement ok 1217 # DeMorgan -+ ok 1218 # DeMorgan -* ok 1219 # Commutative + ok 1220 # Commutative * ok 1221 # Associative + ok 1222 # Associative * ok 1223 # Distributive +* ok 1224 # Distributive *+ ok 1225 # Idempotency + ok 1226 # Idempotency * ok 1227 # Identity +N ok 1228 # Identity *U ok 1229 # Inverse +- ok 1230 # Inverse *- ok 1231 # Domination +U ok 1232 # Domination *N ok 1233 # Absorption +* ok 1234 # Absorption *+ ok 1235 # Double Complement ok 1236 # DeMorgan -+ ok 1237 # DeMorgan -* ok 1238 # Commutative + ok 1239 # Commutative * ok 1240 # Associative + ok 1241 # Associative * ok 1242 # Distributive +* ok 1243 # Distributive *+ ok 1244 # Idempotency + ok 1245 # Idempotency * ok 1246 # Identity +N ok 1247 # Identity *U ok 1248 # Inverse +- ok 1249 # Inverse *- ok 1250 # Domination +U ok 1251 # Domination *N ok 1252 # Absorption +* ok 1253 # Absorption *+ ok 1254 # Double Complement ok 1255 # DeMorgan -+ ok 1256 # DeMorgan -* ok 1257 # Commutative + ok 1258 # Commutative * ok 1259 # Associative + ok 1260 # Associative * ok 1261 # Distributive +* ok 1262 # Distributive *+ ok 1263 # Idempotency + ok 1264 # Idempotency * ok 1265 # Identity +N ok 1266 # Identity *U ok 1267 # Inverse +- ok 1268 # Inverse *- ok 1269 # Domination +U ok 1270 # Domination *N ok 1271 # Absorption +* ok 1272 # Absorption *+ ok 1273 # Double Complement ok 1274 # DeMorgan -+ ok 1275 # DeMorgan -* ok 1276 # Commutative + ok 1277 # Commutative * ok 1278 # Associative + ok 1279 # Associative * ok 1280 # Distributive +* ok 1281 # Distributive *+ ok 1282 # Idempotency + ok 1283 # Idempotency * ok 1284 # Identity +N ok 1285 # Identity *U ok 1286 # Inverse +- ok 1287 # Inverse *- ok 1288 # Domination +U ok 1289 # Domination *N ok 1290 # Absorption +* ok 1291 # Absorption *+ ok 1292 # Double Complement ok 1293 # DeMorgan -+ ok 1294 # DeMorgan -* ok 1295 # Commutative + ok 1296 # Commutative * ok 1297 # Associative + ok 1298 # Associative * ok 1299 # Distributive +* ok 1300 # Distributive *+ ok 1301 # Idempotency + ok 1302 # Idempotency * ok 1303 # Identity +N ok 1304 # Identity *U ok 1305 # Inverse +- ok 1306 # Inverse *- ok 1307 # Domination +U ok 1308 # Domination *N ok 1309 # Absorption +* ok 1310 # Absorption *+ ok 1311 # Double Complement ok 1312 # DeMorgan -+ ok 1313 # DeMorgan -* ok 1314 # Commutative + ok 1315 # Commutative * ok 1316 # Associative + ok 1317 # Associative * ok 1318 # Distributive +* ok 1319 # Distributive *+ ok 1320 # Idempotency + ok 1321 # Idempotency * ok 1322 # Identity +N ok 1323 # Identity *U ok 1324 # Inverse +- ok 1325 # Inverse *- ok 1326 # Domination +U ok 1327 # Domination *N ok 1328 # Absorption +* ok 1329 # Absorption *+ ok 1330 # Double Complement ok 1331 # DeMorgan -+ ok 1332 # DeMorgan -* ok 1333 # Commutative + ok 1334 # Commutative * ok 1335 # Associative + ok 1336 # Associative * ok 1337 # Distributive +* ok 1338 # Distributive *+ ok 1339 # Idempotency + ok 1340 # Idempotency * ok 1341 # Identity +N ok 1342 # Identity *U ok 1343 # Inverse +- ok 1344 # Inverse *- ok 1345 # Domination +U ok 1346 # Domination *N ok 1347 # Absorption +* ok 1348 # Absorption *+ ok 1349 # Double Complement ok 1350 # DeMorgan -+ ok 1351 # DeMorgan -* ok 1352 # Commutative + ok 1353 # Commutative * ok 1354 # Associative + ok 1355 # Associative * ok 1356 # Distributive +* ok 1357 # Distributive *+ ok 1358 # Idempotency + ok 1359 # Idempotency * ok 1360 # Identity +N ok 1361 # Identity *U ok 1362 # Inverse +- ok 1363 # Inverse *- ok 1364 # Domination +U ok 1365 # Domination *N ok 1366 # Absorption +* ok 1367 # Absorption *+ ok 1368 # Double Complement ok 1369 # DeMorgan -+ ok 1370 # DeMorgan -* ok 1371 # Commutative + ok 1372 # Commutative * ok 1373 # Associative + ok 1374 # Associative * ok 1375 # Distributive +* ok 1376 # Distributive *+ ok 1377 # Idempotency + ok 1378 # Idempotency * ok 1379 # Identity +N ok 1380 # Identity *U ok 1381 # Inverse +- ok 1382 # Inverse *- ok 1383 # Domination +U ok 1384 # Domination *N ok 1385 # Absorption +* ok 1386 # Absorption *+ ok 1387 # Double Complement ok 1388 # DeMorgan -+ ok 1389 # DeMorgan -* ok 1390 # Commutative + ok 1391 # Commutative * ok 1392 # Associative + ok 1393 # Associative * ok 1394 # Distributive +* ok 1395 # Distributive *+ ok 1396 # Idempotency + ok 1397 # Idempotency * ok 1398 # Identity +N ok 1399 # Identity *U ok 1400 # Inverse +- ok 1401 # Inverse *- ok 1402 # Domination +U ok 1403 # Domination *N ok 1404 # Absorption +* ok 1405 # Absorption *+ ok 1406 # Double Complement ok 1407 # DeMorgan -+ ok 1408 # DeMorgan -* ok 1409 # Commutative + ok 1410 # Commutative * ok 1411 # Associative + ok 1412 # Associative * ok 1413 # Distributive +* ok 1414 # Distributive *+ ok 1415 # Idempotency + ok 1416 # Idempotency * ok 1417 # Identity +N ok 1418 # Identity *U ok 1419 # Inverse +- ok 1420 # Inverse *- ok 1421 # Domination +U ok 1422 # Domination *N ok 1423 # Absorption +* ok 1424 # Absorption *+ ok 1425 # Double Complement ok 1426 # DeMorgan -+ ok 1427 # DeMorgan -* ok 1428 # Commutative + ok 1429 # Commutative * ok 1430 # Associative + ok 1431 # Associative * ok 1432 # Distributive +* ok 1433 # Distributive *+ ok 1434 # Idempotency + ok 1435 # Idempotency * ok 1436 # Identity +N ok 1437 # Identity *U ok 1438 # Inverse +- ok 1439 # Inverse *- ok 1440 # Domination +U ok 1441 # Domination *N ok 1442 # Absorption +* ok 1443 # Absorption *+ ok 1444 # Double Complement ok 1445 # DeMorgan -+ ok 1446 # DeMorgan -* ok 1447 # Commutative + ok 1448 # Commutative * ok 1449 # Associative + ok 1450 # Associative * ok 1451 # Distributive +* ok 1452 # Distributive *+ ok 1453 # Idempotency + ok 1454 # Idempotency * ok 1455 # Identity +N ok 1456 # Identity *U ok 1457 # Inverse +- ok 1458 # Inverse *- ok 1459 # Domination +U ok 1460 # Domination *N ok 1461 # Absorption +* ok 1462 # Absorption *+ ok 1463 # Double Complement ok 1464 # DeMorgan -+ ok 1465 # DeMorgan -* ok 1466 # Commutative + ok 1467 # Commutative * ok 1468 # Associative + ok 1469 # Associative * ok 1470 # Distributive +* ok 1471 # Distributive *+ ok 1472 # Idempotency + ok 1473 # Idempotency * ok 1474 # Identity +N ok 1475 # Identity *U ok 1476 # Inverse +- ok 1477 # Inverse *- ok 1478 # Domination +U ok 1479 # Domination *N ok 1480 # Absorption +* ok 1481 # Absorption *+ ok 1482 # Double Complement ok 1483 # DeMorgan -+ ok 1484 # DeMorgan -* ok 1485 # Commutative + ok 1486 # Commutative * ok 1487 # Associative + ok 1488 # Associative * ok 1489 # Distributive +* ok 1490 # Distributive *+ ok 1491 # Idempotency + ok 1492 # Idempotency * ok 1493 # Identity +N ok 1494 # Identity *U ok 1495 # Inverse +- ok 1496 # Inverse *- ok 1497 # Domination +U ok 1498 # Domination *N ok 1499 # Absorption +* ok 1500 # Absorption *+ ok 1501 # Double Complement ok 1502 # DeMorgan -+ ok 1503 # DeMorgan -* ok 1504 # Commutative + ok 1505 # Commutative * ok 1506 # Associative + ok 1507 # Associative * ok 1508 # Distributive +* ok 1509 # Distributive *+ ok 1510 # Idempotency + ok 1511 # Idempotency * ok 1512 # Identity +N ok 1513 # Identity *U ok 1514 # Inverse +- ok 1515 # Inverse *- ok 1516 # Domination +U ok 1517 # Domination *N ok 1518 # Absorption +* ok 1519 # Absorption *+ ok 1520 # Double Complement ok 1521 # DeMorgan -+ ok 1522 # DeMorgan -* ok 1523 # Commutative + ok 1524 # Commutative * ok 1525 # Associative + ok 1526 # Associative * ok 1527 # Distributive +* ok 1528 # Distributive *+ ok 1529 # Idempotency + ok 1530 # Idempotency * ok 1531 # Identity +N ok 1532 # Identity *U ok 1533 # Inverse +- ok 1534 # Inverse *- ok 1535 # Domination +U ok 1536 # Domination *N ok 1537 # Absorption +* ok 1538 # Absorption *+ ok 1539 # Double Complement ok 1540 # DeMorgan -+ ok 1541 # DeMorgan -* ok 1542 # Commutative + ok 1543 # Commutative * ok 1544 # Associative + ok 1545 # Associative * ok 1546 # Distributive +* ok 1547 # Distributive *+ ok 1548 # Idempotency + ok 1549 # Idempotency * ok 1550 # Identity +N ok 1551 # Identity *U ok 1552 # Inverse +- ok 1553 # Inverse *- ok 1554 # Domination +U ok 1555 # Domination *N ok 1556 # Absorption +* ok 1557 # Absorption *+ ok 1558 # Double Complement ok 1559 # DeMorgan -+ ok 1560 # DeMorgan -* ok 1561 # Commutative + ok 1562 # Commutative * ok 1563 # Associative + ok 1564 # Associative * ok 1565 # Distributive +* ok 1566 # Distributive *+ ok 1567 # Idempotency + ok 1568 # Idempotency * ok 1569 # Identity +N ok 1570 # Identity *U ok 1571 # Inverse +- ok 1572 # Inverse *- ok 1573 # Domination +U ok 1574 # Domination *N ok 1575 # Absorption +* ok 1576 # Absorption *+ ok 1577 # Double Complement ok 1578 # DeMorgan -+ ok 1579 # DeMorgan -* ok 1580 # Commutative + ok 1581 # Commutative * ok 1582 # Associative + ok 1583 # Associative * ok 1584 # Distributive +* ok 1585 # Distributive *+ ok 1586 # Idempotency + ok 1587 # Idempotency * ok 1588 # Identity +N ok 1589 # Identity *U ok 1590 # Inverse +- ok 1591 # Inverse *- ok 1592 # Domination +U ok 1593 # Domination *N ok 1594 # Absorption +* ok 1595 # Absorption *+ ok 1596 # Double Complement ok 1597 # DeMorgan -+ ok 1598 # DeMorgan -* ok 1599 # Commutative + ok 1600 # Commutative * ok 1601 # Associative + ok 1602 # Associative * ok 1603 # Distributive +* ok 1604 # Distributive *+ ok 1605 # Idempotency + ok 1606 # Idempotency * ok 1607 # Identity +N ok 1608 # Identity *U ok 1609 # Inverse +- ok 1610 # Inverse *- ok 1611 # Domination +U ok 1612 # Domination *N ok 1613 # Absorption +* ok 1614 # Absorption *+ ok 1615 # Double Complement ok 1616 # DeMorgan -+ ok 1617 # DeMorgan -* ok 1618 # Commutative + ok 1619 # Commutative * ok 1620 # Associative + ok 1621 # Associative * ok 1622 # Distributive +* ok 1623 # Distributive *+ ok 1624 # Idempotency + ok 1625 # Idempotency * ok 1626 # Identity +N ok 1627 # Identity *U ok 1628 # Inverse +- ok 1629 # Inverse *- ok 1630 # Domination +U ok 1631 # Domination *N ok 1632 # Absorption +* ok 1633 # Absorption *+ ok 1634 # Double Complement ok 1635 # DeMorgan -+ ok 1636 # DeMorgan -* ok 1637 # Commutative + ok 1638 # Commutative * ok 1639 # Associative + ok 1640 # Associative * ok 1641 # Distributive +* ok 1642 # Distributive *+ ok 1643 # Idempotency + ok 1644 # Idempotency * ok 1645 # Identity +N ok 1646 # Identity *U ok 1647 # Inverse +- ok 1648 # Inverse *- ok 1649 # Domination +U ok 1650 # Domination *N ok 1651 # Absorption +* ok 1652 # Absorption *+ ok 1653 # Double Complement ok 1654 # DeMorgan -+ ok 1655 # DeMorgan -* ok 1656 # Commutative + ok 1657 # Commutative * ok 1658 # Associative + ok 1659 # Associative * ok 1660 # Distributive +* ok 1661 # Distributive *+ ok 1662 # Idempotency + ok 1663 # Idempotency * ok 1664 # Identity +N ok 1665 # Identity *U ok 1666 # Inverse +- ok 1667 # Inverse *- ok 1668 # Domination +U ok 1669 # Domination *N ok 1670 # Absorption +* ok 1671 # Absorption *+ ok 1672 # Double Complement ok 1673 # DeMorgan -+ ok 1674 # DeMorgan -* ok 1675 # Commutative + ok 1676 # Commutative * ok 1677 # Associative + ok 1678 # Associative * ok 1679 # Distributive +* ok 1680 # Distributive *+ ok 1681 # Idempotency + ok 1682 # Idempotency * ok 1683 # Identity +N ok 1684 # Identity *U ok 1685 # Inverse +- ok 1686 # Inverse *- ok 1687 # Domination +U ok 1688 # Domination *N ok 1689 # Absorption +* ok 1690 # Absorption *+ ok 1691 # Double Complement ok 1692 # DeMorgan -+ ok 1693 # DeMorgan -* ok 1694 # Commutative + ok 1695 # Commutative * ok 1696 # Associative + ok 1697 # Associative * ok 1698 # Distributive +* ok 1699 # Distributive *+ ok 1700 # Idempotency + ok 1701 # Idempotency * ok 1702 # Identity +N ok 1703 # Identity *U ok 1704 # Inverse +- ok 1705 # Inverse *- ok 1706 # Domination +U ok 1707 # Domination *N ok 1708 # Absorption +* ok 1709 # Absorption *+ ok 1710 # Double Complement ok 1711 # DeMorgan -+ ok 1712 # DeMorgan -* ok 1713 # Commutative + ok 1714 # Commutative * ok 1715 # Associative + ok 1716 # Associative * ok 1717 # Distributive +* ok 1718 # Distributive *+ ok 1719 # Idempotency + ok 1720 # Idempotency * ok 1721 # Identity +N ok 1722 # Identity *U ok 1723 # Inverse +- ok 1724 # Inverse *- ok 1725 # Domination +U ok 1726 # Domination *N ok 1727 # Absorption +* ok 1728 # Absorption *+ ok 1729 # Double Complement ok 1730 # DeMorgan -+ ok 1731 # DeMorgan -* ok 1732 # Commutative + ok 1733 # Commutative * ok 1734 # Associative + ok 1735 # Associative * ok 1736 # Distributive +* ok 1737 # Distributive *+ ok 1738 # Idempotency + ok 1739 # Idempotency * ok 1740 # Identity +N ok 1741 # Identity *U ok 1742 # Inverse +- ok 1743 # Inverse *- ok 1744 # Domination +U ok 1745 # Domination *N ok 1746 # Absorption +* ok 1747 # Absorption *+ ok 1748 # Double Complement ok 1749 # DeMorgan -+ ok 1750 # DeMorgan -* ok 1751 # Commutative + ok 1752 # Commutative * ok 1753 # Associative + ok 1754 # Associative * ok 1755 # Distributive +* ok 1756 # Distributive *+ ok 1757 # Idempotency + ok 1758 # Idempotency * ok 1759 # Identity +N ok 1760 # Identity *U ok 1761 # Inverse +- ok 1762 # Inverse *- ok 1763 # Domination +U ok 1764 # Domination *N ok 1765 # Absorption +* ok 1766 # Absorption *+ ok 1767 # Double Complement ok 1768 # DeMorgan -+ ok 1769 # DeMorgan -* ok 1770 # Commutative + ok 1771 # Commutative * ok 1772 # Associative + ok 1773 # Associative * ok 1774 # Distributive +* ok 1775 # Distributive *+ ok 1776 # Idempotency + ok 1777 # Idempotency * ok 1778 # Identity +N ok 1779 # Identity *U ok 1780 # Inverse +- ok 1781 # Inverse *- ok 1782 # Domination +U ok 1783 # Domination *N ok 1784 # Absorption +* ok 1785 # Absorption *+ ok 1786 # Double Complement ok 1787 # DeMorgan -+ ok 1788 # DeMorgan -* ok 1789 # Commutative + ok 1790 # Commutative * ok 1791 # Associative + ok 1792 # Associative * ok 1793 # Distributive +* ok 1794 # Distributive *+ ok 1795 # Idempotency + ok 1796 # Idempotency * ok 1797 # Identity +N ok 1798 # Identity *U ok 1799 # Inverse +- ok 1800 # Inverse *- ok 1801 # Domination +U ok 1802 # Domination *N ok 1803 # Absorption +* ok 1804 # Absorption *+ ok 1805 # Double Complement ok 1806 # DeMorgan -+ ok 1807 # DeMorgan -* ok 1808 # Commutative + ok 1809 # Commutative * ok 1810 # Associative + ok 1811 # Associative * ok 1812 # Distributive +* ok 1813 # Distributive *+ ok 1814 # Idempotency + ok 1815 # Idempotency * ok 1816 # Identity +N ok 1817 # Identity *U ok 1818 # Inverse +- ok 1819 # Inverse *- ok 1820 # Domination +U ok 1821 # Domination *N ok 1822 # Absorption +* ok 1823 # Absorption *+ ok 1824 # Double Complement ok 1825 # DeMorgan -+ ok 1826 # DeMorgan -* ok 1827 # Commutative + ok 1828 # Commutative * ok 1829 # Associative + ok 1830 # Associative * ok 1831 # Distributive +* ok 1832 # Distributive *+ ok 1833 # Idempotency + ok 1834 # Idempotency * ok 1835 # Identity +N ok 1836 # Identity *U ok 1837 # Inverse +- ok 1838 # Inverse *- ok 1839 # Domination +U ok 1840 # Domination *N ok 1841 # Absorption +* ok 1842 # Absorption *+ ok 1843 # Double Complement ok 1844 # DeMorgan -+ ok 1845 # DeMorgan -* ok 1846 # Commutative + ok 1847 # Commutative * ok 1848 # Associative + ok 1849 # Associative * ok 1850 # Distributive +* ok 1851 # Distributive *+ ok 1852 # Idempotency + ok 1853 # Idempotency * ok 1854 # Identity +N ok 1855 # Identity *U ok 1856 # Inverse +- ok 1857 # Inverse *- ok 1858 # Domination +U ok 1859 # Domination *N ok 1860 # Absorption +* ok 1861 # Absorption *+ ok 1862 # Double Complement ok 1863 # DeMorgan -+ ok 1864 # DeMorgan -* ok 1865 # Commutative + ok 1866 # Commutative * ok 1867 # Associative + ok 1868 # Associative * ok 1869 # Distributive +* ok 1870 # Distributive *+ ok 1871 # Idempotency + ok 1872 # Idempotency * ok 1873 # Identity +N ok 1874 # Identity *U ok 1875 # Inverse +- ok 1876 # Inverse *- ok 1877 # Domination +U ok 1878 # Domination *N ok 1879 # Absorption +* ok 1880 # Absorption *+ ok 1881 # Double Complement ok 1882 # DeMorgan -+ ok 1883 # DeMorgan -* ok 1884 # Commutative + ok 1885 # Commutative * ok 1886 # Associative + ok 1887 # Associative * ok 1888 # Distributive +* ok 1889 # Distributive *+ ok 1890 # Idempotency + ok 1891 # Idempotency * ok 1892 # Identity +N ok 1893 # Identity *U ok 1894 # Inverse +- ok 1895 # Inverse *- ok 1896 # Domination +U ok 1897 # Domination *N ok 1898 # Absorption +* ok 1899 # Absorption *+ ok 1900 # Double Complement ok 1901 # DeMorgan -+ ok 1902 # DeMorgan -* ok 1903 # Commutative + ok 1904 # Commutative * ok 1905 # Associative + ok 1906 # Associative * ok 1907 # Distributive +* ok 1908 # Distributive *+ ok 1909 # Idempotency + ok 1910 # Idempotency * ok 1911 # Identity +N ok 1912 # Identity *U ok 1913 # Inverse +- ok 1914 # Inverse *- ok 1915 # Domination +U ok 1916 # Domination *N ok 1917 # Absorption +* ok 1918 # Absorption *+ ok 1919 # Double Complement ok 1920 # DeMorgan -+ ok 1921 # DeMorgan -* ok 1922 # Commutative + ok 1923 # Commutative * ok 1924 # Associative + ok 1925 # Associative * ok 1926 # Distributive +* ok 1927 # Distributive *+ ok 1928 # Idempotency + ok 1929 # Idempotency * ok 1930 # Identity +N ok 1931 # Identity *U ok 1932 # Inverse +- ok 1933 # Inverse *- ok 1934 # Domination +U ok 1935 # Domination *N ok 1936 # Absorption +* ok 1937 # Absorption *+ ok 1938 # Double Complement ok 1939 # DeMorgan -+ ok 1940 # DeMorgan -* ok 1941 # Commutative + ok 1942 # Commutative * ok 1943 # Associative + ok 1944 # Associative * ok 1945 # Distributive +* ok 1946 # Distributive *+ ok 1947 # Idempotency + ok 1948 # Idempotency * ok 1949 # Identity +N ok 1950 # Identity *U ok 1951 # Inverse +- ok 1952 # Inverse *- ok 1953 # Domination +U ok 1954 # Domination *N ok 1955 # Absorption +* ok 1956 # Absorption *+ ok 1957 # Double Complement ok 1958 # DeMorgan -+ ok 1959 # DeMorgan -* ok 1960 # Commutative + ok 1961 # Commutative * ok 1962 # Associative + ok 1963 # Associative * ok 1964 # Distributive +* ok 1965 # Distributive *+ ok 1966 # Idempotency + ok 1967 # Idempotency * ok 1968 # Identity +N ok 1969 # Identity *U ok 1970 # Inverse +- ok 1971 # Inverse *- ok 1972 # Domination +U ok 1973 # Domination *N ok 1974 # Absorption +* ok 1975 # Absorption *+ ok 1976 # Double Complement ok 1977 # DeMorgan -+ ok 1978 # DeMorgan -* ok 1979 # Commutative + ok 1980 # Commutative * ok 1981 # Associative + ok 1982 # Associative * ok 1983 # Distributive +* ok 1984 # Distributive *+ ok 1985 # Idempotency + ok 1986 # Idempotency * ok 1987 # Identity +N ok 1988 # Identity *U ok 1989 # Inverse +- ok 1990 # Inverse *- ok 1991 # Domination +U ok 1992 # Domination *N ok 1993 # Absorption +* ok 1994 # Absorption *+ ok 1995 # Double Complement ok 1996 # DeMorgan -+ ok 1997 # DeMorgan -* ok 1998 # Commutative + ok 1999 # Commutative * ok 2000 # Associative + ok 2001 # Associative * ok 2002 # Distributive +* ok 2003 # Distributive *+ ok 2004 # Idempotency + ok 2005 # Idempotency * ok 2006 # Identity +N ok 2007 # Identity *U ok 2008 # Inverse +- ok 2009 # Inverse *- ok 2010 # Domination +U ok 2011 # Domination *N ok 2012 # Absorption +* ok 2013 # Absorption *+ ok 2014 # Double Complement ok 2015 # DeMorgan -+ ok 2016 # DeMorgan -* ok 2017 # Commutative + ok 2018 # Commutative * ok 2019 # Associative + ok 2020 # Associative * ok 2021 # Distributive +* ok 2022 # Distributive *+ ok 2023 # Idempotency + ok 2024 # Idempotency * ok 2025 # Identity +N ok 2026 # Identity *U ok 2027 # Inverse +- ok 2028 # Inverse *- ok 2029 # Domination +U ok 2030 # Domination *N ok 2031 # Absorption +* ok 2032 # Absorption *+ ok 2033 # Double Complement ok 2034 # DeMorgan -+ ok 2035 # DeMorgan -* ok 2036 # Commutative + ok 2037 # Commutative * ok 2038 # Associative + ok 2039 # Associative * ok 2040 # Distributive +* ok 2041 # Distributive *+ ok 2042 # Idempotency + ok 2043 # Idempotency * ok 2044 # Identity +N ok 2045 # Identity *U ok 2046 # Inverse +- ok 2047 # Inverse *- ok 2048 # Domination +U ok 2049 # Domination *N ok 2050 # Absorption +* ok 2051 # Absorption *+ ok 2052 # Double Complement ok 2053 # DeMorgan -+ ok 2054 # DeMorgan -* ok 2055 # Commutative + ok 2056 # Commutative * ok 2057 # Associative + ok 2058 # Associative * ok 2059 # Distributive +* ok 2060 # Distributive *+ ok 2061 # Idempotency + ok 2062 # Idempotency * ok 2063 # Identity +N ok 2064 # Identity *U ok 2065 # Inverse +- ok 2066 # Inverse *- ok 2067 # Domination +U ok 2068 # Domination *N ok 2069 # Absorption +* ok 2070 # Absorption *+ ok 2071 # Double Complement ok 2072 # DeMorgan -+ ok 2073 # DeMorgan -* ok 2074 # Commutative + ok 2075 # Commutative * ok 2076 # Associative + ok 2077 # Associative * ok 2078 # Distributive +* ok 2079 # Distributive *+ ok 2080 # Idempotency + ok 2081 # Idempotency * ok 2082 # Identity +N ok 2083 # Identity *U ok 2084 # Inverse +- ok 2085 # Inverse *- ok 2086 # Domination +U ok 2087 # Domination *N ok 2088 # Absorption +* ok 2089 # Absorption *+ ok 2090 # Double Complement ok 2091 # DeMorgan -+ ok 2092 # DeMorgan -* ok 2093 # Commutative + ok 2094 # Commutative * ok 2095 # Associative + ok 2096 # Associative * ok 2097 # Distributive +* ok 2098 # Distributive *+ ok 2099 # Idempotency + ok 2100 # Idempotency * ok 2101 # Identity +N ok 2102 # Identity *U ok 2103 # Inverse +- ok 2104 # Inverse *- ok 2105 # Domination +U ok 2106 # Domination *N ok 2107 # Absorption +* ok 2108 # Absorption *+ ok 2109 # Double Complement ok 2110 # DeMorgan -+ ok 2111 # DeMorgan -* ok 2112 # Commutative + ok 2113 # Commutative * ok 2114 # Associative + ok 2115 # Associative * ok 2116 # Distributive +* ok 2117 # Distributive *+ ok 2118 # Idempotency + ok 2119 # Idempotency * ok 2120 # Identity +N ok 2121 # Identity *U ok 2122 # Inverse +- ok 2123 # Inverse *- ok 2124 # Domination +U ok 2125 # Domination *N ok 2126 # Absorption +* ok 2127 # Absorption *+ ok 2128 # Double Complement ok 2129 # DeMorgan -+ ok 2130 # DeMorgan -* ok 2131 # Commutative + ok 2132 # Commutative * ok 2133 # Associative + ok 2134 # Associative * ok 2135 # Distributive +* ok 2136 # Distributive *+ ok 2137 # Idempotency + ok 2138 # Idempotency * ok 2139 # Identity +N ok 2140 # Identity *U ok 2141 # Inverse +- ok 2142 # Inverse *- ok 2143 # Domination +U ok 2144 # Domination *N ok 2145 # Absorption +* ok 2146 # Absorption *+ ok 2147 # Double Complement ok 2148 # DeMorgan -+ ok 2149 # DeMorgan -* ok 2150 # Commutative + ok 2151 # Commutative * ok 2152 # Associative + ok 2153 # Associative * ok 2154 # Distributive +* ok 2155 # Distributive *+ ok 2156 # Idempotency + ok 2157 # Idempotency * ok 2158 # Identity +N ok 2159 # Identity *U ok 2160 # Inverse +- ok 2161 # Inverse *- ok 2162 # Domination +U ok 2163 # Domination *N ok 2164 # Absorption +* ok 2165 # Absorption *+ ok 2166 # Double Complement ok 2167 # DeMorgan -+ ok 2168 # DeMorgan -* ok 2169 # Commutative + ok 2170 # Commutative * ok 2171 # Associative + ok 2172 # Associative * ok 2173 # Distributive +* ok 2174 # Distributive *+ ok 2175 # Idempotency + ok 2176 # Idempotency * ok 2177 # Identity +N ok 2178 # Identity *U ok 2179 # Inverse +- ok 2180 # Inverse *- ok 2181 # Domination +U ok 2182 # Domination *N ok 2183 # Absorption +* ok 2184 # Absorption *+ ok 2185 # Double Complement ok 2186 # DeMorgan -+ ok 2187 # DeMorgan -* ok 2188 # Commutative + ok 2189 # Commutative * ok 2190 # Associative + ok 2191 # Associative * ok 2192 # Distributive +* ok 2193 # Distributive *+ ok 2194 # Idempotency + ok 2195 # Idempotency * ok 2196 # Identity +N ok 2197 # Identity *U ok 2198 # Inverse +- ok 2199 # Inverse *- ok 2200 # Domination +U ok 2201 # Domination *N ok 2202 # Absorption +* ok 2203 # Absorption *+ ok 2204 # Double Complement ok 2205 # DeMorgan -+ ok 2206 # DeMorgan -* ok 2207 # Commutative + ok 2208 # Commutative * ok 2209 # Associative + ok 2210 # Associative * ok 2211 # Distributive +* ok 2212 # Distributive *+ ok 2213 # Idempotency + ok 2214 # Idempotency * ok 2215 # Identity +N ok 2216 # Identity *U ok 2217 # Inverse +- ok 2218 # Inverse *- ok 2219 # Domination +U ok 2220 # Domination *N ok 2221 # Absorption +* ok 2222 # Absorption *+ ok 2223 # Double Complement ok 2224 # DeMorgan -+ ok 2225 # DeMorgan -* ok 2226 # Commutative + ok 2227 # Commutative * ok 2228 # Associative + ok 2229 # Associative * ok 2230 # Distributive +* ok 2231 # Distributive *+ ok 2232 # Idempotency + ok 2233 # Idempotency * ok 2234 # Identity +N ok 2235 # Identity *U ok 2236 # Inverse +- ok 2237 # Inverse *- ok 2238 # Domination +U ok 2239 # Domination *N ok 2240 # Absorption +* ok 2241 # Absorption *+ ok 2242 # Double Complement ok 2243 # DeMorgan -+ ok 2244 # DeMorgan -* ok 2245 # Commutative + ok 2246 # Commutative * ok 2247 # Associative + ok 2248 # Associative * ok 2249 # Distributive +* ok 2250 # Distributive *+ ok 2251 # Idempotency + ok 2252 # Idempotency * ok 2253 # Identity +N ok 2254 # Identity *U ok 2255 # Inverse +- ok 2256 # Inverse *- ok 2257 # Domination +U ok 2258 # Domination *N ok 2259 # Absorption +* ok 2260 # Absorption *+ ok 2261 # Double Complement ok 2262 # DeMorgan -+ ok 2263 # DeMorgan -* ok 2264 # Commutative + ok 2265 # Commutative * ok 2266 # Associative + ok 2267 # Associative * ok 2268 # Distributive +* ok 2269 # Distributive *+ ok 2270 # Idempotency + ok 2271 # Idempotency * ok 2272 # Identity +N ok 2273 # Identity *U ok 2274 # Inverse +- ok 2275 # Inverse *- ok 2276 # Domination +U ok 2277 # Domination *N ok 2278 # Absorption +* ok 2279 # Absorption *+ ok 2280 # Double Complement ok 2281 # DeMorgan -+ ok 2282 # DeMorgan -* ok 2283 # Commutative + ok 2284 # Commutative * ok 2285 # Associative + ok 2286 # Associative * ok 2287 # Distributive +* ok 2288 # Distributive *+ ok 2289 # Idempotency + ok 2290 # Idempotency * ok 2291 # Identity +N ok 2292 # Identity *U ok 2293 # Inverse +- ok 2294 # Inverse *- ok 2295 # Domination +U ok 2296 # Domination *N ok 2297 # Absorption +* ok 2298 # Absorption *+ ok 2299 # Double Complement ok 2300 # DeMorgan -+ ok 2301 # DeMorgan -* ok 2302 # Commutative + ok 2303 # Commutative * ok 2304 # Associative + ok 2305 # Associative * ok 2306 # Distributive +* ok 2307 # Distributive *+ ok 2308 # Idempotency + ok 2309 # Idempotency * ok 2310 # Identity +N ok 2311 # Identity *U ok 2312 # Inverse +- ok 2313 # Inverse *- ok 2314 # Domination +U ok 2315 # Domination *N ok 2316 # Absorption +* ok 2317 # Absorption *+ ok 2318 # Double Complement ok 2319 # DeMorgan -+ ok 2320 # DeMorgan -* ok 2321 # Commutative + ok 2322 # Commutative * ok 2323 # Associative + ok 2324 # Associative * ok 2325 # Distributive +* ok 2326 # Distributive *+ ok 2327 # Idempotency + ok 2328 # Idempotency * ok 2329 # Identity +N ok 2330 # Identity *U ok 2331 # Inverse +- ok 2332 # Inverse *- ok 2333 # Domination +U ok 2334 # Domination *N ok 2335 # Absorption +* ok 2336 # Absorption *+ ok 2337 # Double Complement ok 2338 # DeMorgan -+ ok 2339 # DeMorgan -* ok 2340 # Commutative + ok 2341 # Commutative * ok 2342 # Associative + ok 2343 # Associative * ok 2344 # Distributive +* ok 2345 # Distributive *+ ok 2346 # Idempotency + ok 2347 # Idempotency * ok 2348 # Identity +N ok 2349 # Identity *U ok 2350 # Inverse +- ok 2351 # Inverse *- ok 2352 # Domination +U ok 2353 # Domination *N ok 2354 # Absorption +* ok 2355 # Absorption *+ ok 2356 # Double Complement ok 2357 # DeMorgan -+ ok 2358 # DeMorgan -* ok 2359 # Commutative + ok 2360 # Commutative * ok 2361 # Associative + ok 2362 # Associative * ok 2363 # Distributive +* ok 2364 # Distributive *+ ok 2365 # Idempotency + ok 2366 # Idempotency * ok 2367 # Identity +N ok 2368 # Identity *U ok 2369 # Inverse +- ok 2370 # Inverse *- ok 2371 # Domination +U ok 2372 # Domination *N ok 2373 # Absorption +* ok 2374 # Absorption *+ ok 2375 ok t/member.t .......... 1..3 ok 1 ok 2 ok 3 ok t/misc.t ............ 1..3 ok 1 ok 2 ok 3 ok t/null.t ............ 1..8 ok 1 ok 2 ok 3 ok 4 ok 5 ok 6 ok 7 ok 8 ok t/power_set.t ....... 1..6 ok 1 ok 2 ok 3 ok 4 ok 5 ok 6 ok t/set_set.t ......... 1..8 ok 1 ok 2 ok 3 ok 4 ok 5 ok 6 ok 7 ok 8 ok t/symmdiff.t ........ 1..21 ok 1 ok 2 ok 3 ok 4 ok 5 ok 6 ok 7 ok 8 ok 9 ok 10 ok 11 ok 12 ok 13 ok 14 ok 15 ok 16 ok 17 ok 18 ok 19 ok 20 ok 21 ok t/union.t ........... 1..19 ok 1 ok 2 ok 3 ok 4 ok 5 ok 6 ok 7 ok 8 ok 9 ok 10 ok 11 ok 12 ok 13 ok 14 ok 15 ok 16 ok 17 ok 18 ok 19 ok t/unique.t .......... 1..4 ok 1 ok 2 ok 3 ok 4 # () ok t/universe.t ........ 1..7 ok 1 ok 2 ok 3 ok 4 ok 5 ok 6 ok 7 ok t/valued.t .......... 1..9 ok 1 ok 2 ok 3 ok 4 ok 5 ok 6 ok 7 ok 8 ok 9 ok All tests successful. Files=22, Tests=2652, 6 wallclock secs ( 2.50 usr 0.16 sys + 4.46 cusr 0.42 csys = 7.54 CPU) Result: PASS make[1]: Leaving directory '/build/reproducible-path/libset-scalar-perl-1.29' create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary dh binary dh_testroot dh_prep dh_auto_install --destdir=debian/libset-scalar-perl/ make -j6 install DESTDIR=/build/reproducible-path/libset-scalar-perl-1.29/debian/libset-scalar-perl AM_UPDATE_INFO_DIR=no PREFIX=/usr make[1]: Entering directory '/build/reproducible-path/libset-scalar-perl-1.29' Manifying 8 pod documents Installing /build/reproducible-path/libset-scalar-perl-1.29/debian/libset-scalar-perl/usr/share/perl5/Set/Scalar.pm Installing /build/reproducible-path/libset-scalar-perl-1.29/debian/libset-scalar-perl/usr/share/perl5/Set/Scalar/Virtual.pm Installing /build/reproducible-path/libset-scalar-perl-1.29/debian/libset-scalar-perl/usr/share/perl5/Set/Scalar/Real.pm Installing /build/reproducible-path/libset-scalar-perl-1.29/debian/libset-scalar-perl/usr/share/perl5/Set/Scalar/Valued.pm Installing /build/reproducible-path/libset-scalar-perl-1.29/debian/libset-scalar-perl/usr/share/perl5/Set/Scalar/Null.pm Installing /build/reproducible-path/libset-scalar-perl-1.29/debian/libset-scalar-perl/usr/share/perl5/Set/Scalar/Base.pm Installing /build/reproducible-path/libset-scalar-perl-1.29/debian/libset-scalar-perl/usr/share/perl5/Set/Scalar/Universe.pm Installing /build/reproducible-path/libset-scalar-perl-1.29/debian/libset-scalar-perl/usr/share/perl5/Set/Scalar/ValuedUniverse.pm Installing /build/reproducible-path/libset-scalar-perl-1.29/debian/libset-scalar-perl/usr/share/man/man3/Set::Scalar::ValuedUniverse.3pm Installing /build/reproducible-path/libset-scalar-perl-1.29/debian/libset-scalar-perl/usr/share/man/man3/Set::Scalar::Valued.3pm Installing /build/reproducible-path/libset-scalar-perl-1.29/debian/libset-scalar-perl/usr/share/man/man3/Set::Scalar::Virtual.3pm Installing /build/reproducible-path/libset-scalar-perl-1.29/debian/libset-scalar-perl/usr/share/man/man3/Set::Scalar::Real.3pm Installing /build/reproducible-path/libset-scalar-perl-1.29/debian/libset-scalar-perl/usr/share/man/man3/Set::Scalar::Universe.3pm Installing /build/reproducible-path/libset-scalar-perl-1.29/debian/libset-scalar-perl/usr/share/man/man3/Set::Scalar::Base.3pm Installing /build/reproducible-path/libset-scalar-perl-1.29/debian/libset-scalar-perl/usr/share/man/man3/Set::Scalar::Null.3pm Installing /build/reproducible-path/libset-scalar-perl-1.29/debian/libset-scalar-perl/usr/share/man/man3/Set::Scalar.3pm make[1]: Leaving directory '/build/reproducible-path/libset-scalar-perl-1.29' dh_installdocs dh_installchangelogs dh_installman dh_perl dh_link dh_strip_nondeterminism dh_compress dh_fixperms dh_missing dh_installdeb dh_gencontrol dh_md5sums dh_builddeb dpkg-deb: building package 'libset-scalar-perl' in '../libset-scalar-perl_1.29-3_all.deb'. dpkg-genbuildinfo --build=binary -O../libset-scalar-perl_1.29-3_armhf.buildinfo dpkg-genchanges --build=binary -O../libset-scalar-perl_1.29-3_armhf.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: not including original source code in upload I: copying local configuration I: user script /srv/workspace/pbuilder/1138/tmp/hooks/B01_cleanup starting I: user script /srv/workspace/pbuilder/1138/tmp/hooks/B01_cleanup finished I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/1138 and its subdirectories I: Current time: Mon Mar 25 13:43:54 +14 2024 I: pbuilder-time-stamp: 1711323834