Start 2010-01-25T02:05:29 ActivePerl-1003 CPAN-1.9402 LIB=C:\PROGRA~1\MICROS~4\VC98\Lib\PSDK;C:\PROGRA~1\MICROS~2\Lib;C:\PROGRA~1\MICROS~4\VC98\Lib;C:\PROGRA~1\MICROS~4\VC98\MFC\Lib INCLUDE=C:\PROGRA~1\MICROS~2\Include;C:\PROGRA~1\MICROS~4\VC98\ATL\Include;C:\PROGRA~1\MICROS~4\VC98\Include;C:\PROGRA~1\MICROS~4\VC98\MFC\Include PATH=C:/cpanfly/var/libs/bin;C:\PROGRA~1\MICROS~2\Bin;C:\PROGRA~1\MICROS~2\Bin\WinNT;C:\PROGRA~1\MICROS~4\VC98\Bin;C:\PROGRA~1\MICROS~4\Common\MSDev98\Bin;C:\Perl\site\bin;C:\Perl\bin;C:\cygwin\bin;C:\WINDOWS\system32;C:\WINDOWS;C:\WINDOWS\System32\Wbem;C:\WINDOWS\system32\WINDOW~2\v1.0;C:\PROGRA~1\Perforce Going to read 'C:\cpanfly\var\cpan\Metadata' Database was generated on Sun, 24 Jan 2010 22:36:54 GMT Running make for S/ST/STEFFENW/Bundle-DBD-PO-2.10.tar.gz Fetching with LWP: http://cpan.nas.activestate.com/authors/id/S/ST/STEFFENW/Bundle-DBD-PO-2.10.tar.gz Fetching with LWP: http://cpan.nas.activestate.com/authors/id/S/ST/STEFFENW/CHECKSUMS Checksum for C:\cpanfly\var\cpan\sources\authors\id\S\ST\STEFFENW\Bundle-DBD-PO-2.10.tar.gz ok Will not use Archive::Tar, need 1.00 Bundle-DBD-PO-2.10 Bundle-DBD-PO-2.10/META.yml Bundle-DBD-PO-2.10/Changes Bundle-DBD-PO-2.10/MANIFEST Bundle-DBD-PO-2.10/Makefile.PL Bundle-DBD-PO-2.10/Build.PL Bundle-DBD-PO-2.10/README Bundle-DBD-PO-2.10/t Bundle-DBD-PO-2.10/t/pod_coverage.t Bundle-DBD-PO-2.10/t/chars.t Bundle-DBD-PO-2.10/t/prereq_build.t Bundle-DBD-PO-2.10/t/perl_critic.t Bundle-DBD-PO-2.10/t/pod.t Bundle-DBD-PO-2.10/lib Bundle-DBD-PO-2.10/lib/Bundle Bundle-DBD-PO-2.10/lib/Bundle/DBD Bundle-DBD-PO-2.10/lib/Bundle/DBD/PO.pm CPAN.pm: Going to build S/ST/STEFFENW/Bundle-DBD-PO-2.10.tar.gz >>> C:\Perl\bin\perl.exe Makefile.PL WARNING: TESTS is not a known parameter. Warning: prerequisite DBD::PO 2.10 not found. We have 0.02. Checking if your kit is complete... Looks good 'TESTS' is not a known MakeMaker parameter name. Writing Makefile for Bundle::DBD::PO ---- Unsatisfied dependencies detected during ---- ---- STEFFENW/Bundle-DBD-PO-2.10.tar.gz ---- DBD::PO [requires] Running make test Delayed until after prerequisites Running test for module 'DBD::PO' Running make for S/ST/STEFFENW/DBD-PO-2.10.tar.gz Fetching with LWP: http://cpan.nas.activestate.com/authors/id/S/ST/STEFFENW/DBD-PO-2.10.tar.gz Checksum for C:\cpanfly\var\cpan\sources\authors\id\S\ST\STEFFENW\DBD-PO-2.10.tar.gz ok Will not use Archive::Tar, need 1.00 DBD-PO-2.10 DBD-PO-2.10/Changes DBD-PO-2.10/MANIFEST DBD-PO-2.10/META.yml DBD-PO-2.10/Makefile.PL DBD-PO-2.10/Build.PL DBD-PO-2.10/README DBD-PO-2.10/t DBD-PO-2.10/t/pod_coverage.t DBD-PO-2.10/t/chars.t DBD-PO-2.10/t/prereq_build.t DBD-PO-2.10/t/pod.t DBD-PO-2.10/t/perl_critic.t DBD-PO-2.10/t/03_DBD-PO DBD-PO-2.10/t/03_DBD-PO/20_31_example_join.t DBD-PO-2.10/t/03_DBD-PO/11_crash.t DBD-PO-2.10/t/03_DBD-PO/16_maketext_to_gettext.t DBD-PO-2.10/t/03_DBD-PO/20_11_example_read_using_Locale-Maketext.t DBD-PO-2.10/t/03_DBD-PO/20_12_example_read_using_Locale-TextDomain.t DBD-PO-2.10/t/03_DBD-PO/20_03_example_write_plural_mo.t DBD-PO-2.10/t/03_DBD-PO/08_previous.t DBD-PO-2.10/t/03_DBD-PO/09_drop_table.t DBD-PO-2.10/t/03_DBD-PO/15_header_msgstr_hash.t DBD-PO-2.10/t/03_DBD-PO/05_change_flags.t DBD-PO-2.10/t/03_DBD-PO/06_obsolete.t DBD-PO-2.10/t/03_DBD-PO/01_create_table.t DBD-PO-2.10/t/03_DBD-PO/02_fill_table.t DBD-PO-2.10/t/03_DBD-PO/03_check_table.t DBD-PO-2.10/t/03_DBD-PO/07_split_header_msgstr.t DBD-PO-2.10/t/03_DBD-PO/20_01_example_write.t DBD-PO-2.10/t/03_DBD-PO/13_charsets.t DBD-PO-2.10/t/03_DBD-PO/20_22_example_read_plural.t DBD-PO-2.10/t/03_DBD-PO/14_quote.t DBD-PO-2.10/t/03_DBD-PO/20_21_example_read.t DBD-PO-2.10/t/03_DBD-PO/31_allow_lost_blank_lines.t DBD-PO-2.10/t/03_DBD-PO/12_more_tables.t DBD-PO-2.10/t/03_DBD-PO/20_02_example_write_plural_po.t DBD-PO-2.10/t/03_DBD-PO/04_change_table.t DBD-PO-2.10/t/02_Text-PO DBD-PO-2.10/t/02_Text-PO/01_quote.t DBD-PO-2.10/t/01_Locale-PO DBD-PO-2.10/t/01_Locale-PO/02_without_emty_lines.t DBD-PO-2.10/t/01_Locale-PO/01_quote.t DBD-PO-2.10/lib DBD-PO-2.10/lib/DBD DBD-PO-2.10/lib/DBD/PO.pm DBD-PO-2.10/lib/DBD/PO DBD-PO-2.10/lib/DBD/PO/db.pm DBD-PO-2.10/lib/DBD/PO/st.pm DBD-PO-2.10/lib/DBD/PO/dr.pm DBD-PO-2.10/lib/DBD/PO/Table.pm DBD-PO-2.10/lib/DBD/PO/Statement.pm DBD-PO-2.10/lib/DBD/PO/Locale DBD-PO-2.10/lib/DBD/PO/Locale/PO.pm DBD-PO-2.10/lib/DBD/PO/Text DBD-PO-2.10/lib/DBD/PO/Text/PO.pm DBD-PO-2.10/lib/Test DBD-PO-2.10/lib/Test/DBD DBD-PO-2.10/lib/Test/DBD/PO DBD-PO-2.10/lib/Test/DBD/PO/Defaults.pm DBD-PO-2.10/example DBD-PO-2.10/example/01_write.pl DBD-PO-2.10/example/02_write_plural_po.pl DBD-PO-2.10/example/21_read.pl DBD-PO-2.10/example/12_read_using_Locale-TextDomain.pl DBD-PO-2.10/example/11_read_using_Locale-Maketext.pl DBD-PO-2.10/example/31_join.pl DBD-PO-2.10/example/22_read_plural.pl DBD-PO-2.10/example/03_write_plural_mo.pl DBD-PO-2.10/example/LocaleData DBD-PO-2.10/example/LocaleData/de DBD-PO-2.10/example/LocaleData/de/LC_MESSAGES DBD-PO-2.10/example/LocaleData/de/LC_MESSAGES/table_plural.mo CPAN.pm: Going to build S/ST/STEFFENW/DBD-PO-2.10.tar.gz >>> C:\Perl\bin\perl.exe Makefile.PL WARNING: TESTS is not a known parameter. Warning: prerequisite Set::Scalar 1.25 not found. We have 1.24. Checking if your kit is complete... Looks good 'TESTS' is not a known MakeMaker parameter name. Writing Makefile for DBD::PO ---- Unsatisfied dependencies detected during ---- ---- STEFFENW/DBD-PO-2.10.tar.gz ---- Set::Scalar [requires] Running make test Delayed until after prerequisites Running test for module 'Set::Scalar' Running make for J/JH/JHI/Set-Scalar-1.25.tar.gz Checksum for C:\cpanfly\var\cpan\sources\authors\id\J\JH\JHI\Set-Scalar-1.25.tar.gz ok Will not use Archive::Tar, need 1.00 Set-Scalar-1.25/ Set-Scalar-1.25/ChangeLog Set-Scalar-1.25/lib/ Set-Scalar-1.25/Makefile.PL Set-Scalar-1.25/MANIFEST Set-Scalar-1.25/META.yml Set-Scalar-1.25/README Set-Scalar-1.25/README.old Set-Scalar-1.25/t/ Set-Scalar-1.25/t/basic.t Set-Scalar-1.25/t/basic_overload.t Set-Scalar-1.25/t/boolean.t Set-Scalar-1.25/t/cartesian.t Set-Scalar-1.25/t/clear.t Set-Scalar-1.25/t/compare.t Set-Scalar-1.25/t/custom_display.t Set-Scalar-1.25/t/difference.t Set-Scalar-1.25/t/each.t Set-Scalar-1.25/t/has.t Set-Scalar-1.25/t/intersection.t Set-Scalar-1.25/t/laws.t Set-Scalar-1.25/t/member.t Set-Scalar-1.25/t/misc.t Set-Scalar-1.25/t/null.t Set-Scalar-1.25/t/power_set.t Set-Scalar-1.25/t/set_set.t Set-Scalar-1.25/t/symmdiff.t Set-Scalar-1.25/t/union.t Set-Scalar-1.25/t/unique.t Set-Scalar-1.25/t/universe.t Set-Scalar-1.25/lib/Set/ Set-Scalar-1.25/lib/Set/Scalar/ Set-Scalar-1.25/lib/Set/Scalar.pm Set-Scalar-1.25/lib/Set/Scalar/Base.pm Set-Scalar-1.25/lib/Set/Scalar/Null.pm Set-Scalar-1.25/lib/Set/Scalar/Real.pm Set-Scalar-1.25/lib/Set/Scalar/Universe.pm Set-Scalar-1.25/lib/Set/Scalar/Valued.pm Set-Scalar-1.25/lib/Set/Scalar/ValuedUniverse.pm Set-Scalar-1.25/lib/Set/Scalar/Virtual.pm CPAN.pm: Going to build J/JH/JHI/Set-Scalar-1.25.tar.gz >>> C:\Perl\bin\perl.exe Makefile.PL Welcome to Set::Scalar! Checking if your kit is complete... Looks good Writing Makefile for Set::Scalar Now issue 'make' and then 'make test', and if all looks good, 'make install'. >>> nmake Microsoft (R) Program Maintenance Utility Version 7.00.8882 Copyright (C) Microsoft Corp 1988-2000. All rights reserved. cp lib/Set/Scalar/Virtual.pm blib\lib\Set\Scalar\Virtual.pm cp lib/Set/Scalar/Base.pm blib\lib\Set\Scalar\Base.pm cp lib/Set/Scalar/Null.pm blib\lib\Set\Scalar\Null.pm cp lib/Set/Scalar/ValuedUniverse.pm blib\lib\Set\Scalar\ValuedUniverse.pm cp lib/Set/Scalar.pm blib\lib\Set\Scalar.pm cp lib/Set/Scalar/Real.pm blib\lib\Set\Scalar\Real.pm cp lib/Set/Scalar/Valued.pm blib\lib\Set\Scalar\Valued.pm cp lib/Set/Scalar/Universe.pm blib\lib\Set\Scalar\Universe.pm JHI/Set-Scalar-1.25.tar.gz nmake -- OK Running make test >>> nmake test TEST_VERBOSE=1 Microsoft (R) Program Maintenance Utility Version 7.00.8882 Copyright (C) Microsoft Corp 1988-2000. All rights reserved. C:\Perl\bin\perl.exe "-MExtUtils::Command::MM" "-e" "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 = e # e = c # e = a # e = b # e = 0 # e = d 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 a while)...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 All tests successful. Files=21, Tests=2643, 2 wallclock secs ( 0.05 usr + 0.91 sys = 0.95 CPU) Result: PASS JHI/Set-Scalar-1.25.tar.gz nmake test TEST_VERBOSE=1 -- OK PPD for Set-Scalar-1.25 already made Running make for S/ST/STEFFENW/DBD-PO-2.10.tar.gz Prepending C:\cpanfly\var\cpan\build\Set-Scalar-1.25-VFVNl2/blib/arch C:\cpanfly\var\cpan\build\Set-Scalar-1.25-VFVNl2/blib/lib to PERL5LIB for 'get' Has already been unwrapped into directory C:\cpanfly\var\cpan\build\DBD-PO-2.10-ata6x3 Prepending C:\cpanfly\var\cpan\build\Set-Scalar-1.25-VFVNl2/blib/arch C:\cpanfly\var\cpan\build\Set-Scalar-1.25-VFVNl2/blib/lib to PERL5LIB for 'make' CPAN.pm: Going to build S/ST/STEFFENW/DBD-PO-2.10.tar.gz >>> nmake Microsoft (R) Program Maintenance Utility Version 7.00.8882 Copyright (C) Microsoft Corp 1988-2000. All rights reserved. cp lib/DBD/PO/db.pm blib\lib\DBD\PO\db.pm cp lib/DBD/PO/Locale/PO.pm blib\lib\DBD\PO\Locale\PO.pm cp lib/DBD/PO/Text/PO.pm blib\lib\DBD\PO\Text\PO.pm cp lib/DBD/PO/dr.pm blib\lib\DBD\PO\dr.pm cp lib/DBD/PO.pm blib\lib\DBD\PO.pm cp lib/Test/DBD/PO/Defaults.pm blib\lib\Test\DBD\PO\Defaults.pm cp lib/DBD/PO/Statement.pm blib\lib\DBD\PO\Statement.pm cp lib/DBD/PO/st.pm blib\lib\DBD\PO\st.pm cp lib/DBD/PO/Table.pm blib\lib\DBD\PO\Table.pm STEFFENW/DBD-PO-2.10.tar.gz nmake -- OK Prepending C:\cpanfly\var\cpan\build\Set-Scalar-1.25-VFVNl2/blib/arch C:\cpanfly\var\cpan\build\Set-Scalar-1.25-VFVNl2/blib/lib to PERL5LIB for 'test' Running make test >>> nmake test TEST_VERBOSE=1 Microsoft (R) Program Maintenance Utility Version 7.00.8882 Copyright (C) Microsoft Corp 1988-2000. All rights reserved. C:\Perl\bin\perl.exe "-MExtUtils::Command::MM" "-e" "test_harness(1, 'blib\lib', 'blib\arch')" t/*.t t/chars.t ......... skipped: Author test. Set $ENV{TEST_AUTHOR} to a true value to run. t/perl_critic.t ... skipped: Author test. Set $ENV{TEST_AUTHOR} to a true value to run. t/pod.t ........... 1..9 ok 1 - blib\lib\DBD\PO.pm ok 2 - blib\lib\DBD\PO\db.pm ok 3 - blib\lib\DBD\PO\dr.pm ok 4 - blib\lib\DBD\PO\st.pm ok 5 - blib\lib\DBD\PO\Statement.pm ok 6 - blib\lib\DBD\PO\Table.pm ok 7 - blib\lib\DBD\PO\Locale\PO.pm ok 8 - blib\lib\DBD\PO\Text\PO.pm ok 9 - blib\lib\Test\DBD\PO\Defaults.pm ok t/pod_coverage.t .. 1..9 ok 1 - Pod coverage on DBD::PO ok 2 - Pod coverage on DBD::PO::db ok 3 - Pod coverage on DBD::PO::dr ok 4 - Pod coverage on DBD::PO::st ok 5 - Pod coverage on DBD::PO::Statement ok 6 - Pod coverage on DBD::PO::Table ok 7 - Pod coverage on DBD::PO::Locale::PO ok 8 - Pod coverage on DBD::PO::Text::PO ok 9 - Pod coverage on Test::DBD::PO::Defaults ok t/prereq_build.t .. skipped: Author test. Set $ENV{TEST_RELEASE} to a true value to run. All tests successful. Files=5, Tests=18, 4 wallclock secs ( 0.02 usr + 0.06 sys = 0.08 CPU) Result: PASS STEFFENW/DBD-PO-2.10.tar.gz nmake test TEST_VERBOSE=1 -- OK Steffen Winkler <cpan@steffen-winkler.de> DBD::PO - DBI driver for PO files >>> (cd C:\cpanfly\var\cpan\build\DBD-PO-2.10-ata6x3 && tar cvf - DBD-PO-2.10.ppd blib) | gzip -c >C:/cpanfly/var/REPO/S/ST/STEFFENW/DBD-PO-2.10.tar.gz DBD-PO-2.10.ppd blib/ blib/lib/ blib/lib/DBD/ blib/lib/DBD/PO/ blib/lib/DBD/PO/db.pm blib/lib/DBD/PO/dr.pm blib/lib/DBD/PO/Locale/ blib/lib/DBD/PO/Locale/PO.pm blib/lib/DBD/PO/st.pm blib/lib/DBD/PO/Statement.pm blib/lib/DBD/PO/Table.pm blib/lib/DBD/PO/Text/ blib/lib/DBD/PO/Text/PO.pm blib/lib/DBD/PO.pm blib/lib/Test/ blib/lib/Test/DBD/ blib/lib/Test/DBD/PO/ blib/lib/Test/DBD/PO/Defaults.pm >>> mv C:\cpanfly\var\cpan\build\DBD-PO-2.10-ata6x3/DBD-PO-2.10.ppd C:/cpanfly/var/REPO/S/ST/STEFFENW Megalib: No ordering between package DBD-PO-0.02 and DBD-PO-2.10 at C:\cpanfly\lib/Fly/Megalib.pm line 53 Running make for S/ST/STEFFENW/Bundle-DBD-PO-2.10.tar.gz Prepending C:\cpanfly\var\cpan\build\DBD-PO-2.10-ata6x3/blib/arch C:\cpanfly\var\cpan\build\DBD-PO-2.10-ata6x3/blib/lib C:\cpanfly\var\cpan\build\Set-Scalar-1.25-VFVNl2/blib/arch C:\cpanfly\var\cpan\build\Set-Scalar-1.25-VFVNl2/blib/lib to PERL5LIB for 'get' Has already been unwrapped into directory C:\cpanfly\var\cpan\build\Bundle-DBD-PO-2.10-CFbaFU Prepending C:\cpanfly\var\cpan\build\DBD-PO-2.10-ata6x3/blib/arch C:\cpanfly\var\cpan\build\DBD-PO-2.10-ata6x3/blib/lib C:\cpanfly\var\cpan\build\Set-Scalar-1.25-VFVNl2/blib/arch C:\cpanfly\var\cpan\build\Set-Scalar-1.25-VFVNl2/blib/lib to PERL5LIB for 'make' CPAN.pm: Going to build S/ST/STEFFENW/Bundle-DBD-PO-2.10.tar.gz >>> nmake Microsoft (R) Program Maintenance Utility Version 7.00.8882 Copyright (C) Microsoft Corp 1988-2000. All rights reserved. cp lib/Bundle/DBD/PO.pm blib\lib\Bundle\DBD\PO.pm STEFFENW/Bundle-DBD-PO-2.10.tar.gz nmake -- OK Prepending C:\cpanfly\var\cpan\build\DBD-PO-2.10-ata6x3/blib/arch C:\cpanfly\var\cpan\build\DBD-PO-2.10-ata6x3/blib/lib C:\cpanfly\var\cpan\build\Set-Scalar-1.25-VFVNl2/blib/arch C:\cpanfly\var\cpan\build\Set-Scalar-1.25-VFVNl2/blib/lib to PERL5LIB for 'test' Running make test >>> nmake test TEST_VERBOSE=1 Microsoft (R) Program Maintenance Utility Version 7.00.8882 Copyright (C) Microsoft Corp 1988-2000. All rights reserved. C:\Perl\bin\perl.exe "-MExtUtils::Command::MM" "-e" "test_harness(1, 'blib\lib', 'blib\arch')" t/*.t t/chars.t ......... skipped: Author test. Set $ENV{TEST_AUTHOR} to a true value to run. t/perl_critic.t ... skipped: Author test. Set $ENV{TEST_AUTHOR} to a true value to run. t/pod.t ........... 1..1 ok 1 - blib\lib\Bundle\DBD\PO.pm ok t/pod_coverage.t .. 1..1 ok 1 - Pod coverage on Bundle::DBD::PO ok t/prereq_build.t .. skipped: Author test. Set $ENV{TEST_RELEASE} to a true value to run. All tests successful. Files=5, Tests=2, 2 wallclock secs ( 0.01 usr + 0.06 sys = 0.08 CPU) Result: PASS STEFFENW/Bundle-DBD-PO-2.10.tar.gz nmake test TEST_VERBOSE=1 -- OK Steffen Winkler <cpan@steffen-winkler.de> Bundle::DBD::PO - A bundle to install all DBD::PO related modules >>> (cd C:\cpanfly\var\cpan\build\Bundle-DBD-PO-2.10-CFbaFU && tar cvf - Bundle-DBD-PO-2.10.ppd blib) | gzip -c >C:/cpanfly/var/REPO/S/ST/STEFFENW/Bundle-DBD-PO-2.10.tar.gz Bundle-DBD-PO-2.10.ppd blib/ blib/lib/ blib/lib/Bundle/ blib/lib/Bundle/DBD/ blib/lib/Bundle/DBD/PO.pm >>> mv C:\cpanfly\var\cpan\build\Bundle-DBD-PO-2.10-CFbaFU/Bundle-DBD-PO-2.10.ppd C:/cpanfly/var/REPO/S/ST/STEFFENW Finished 2010-01-25T02:05:51