Wed May 21 17:54 2008 Time and Allocation Profiling Report (Final) test +RTS -prof -RTS total time = 10.52 secs (526 ticks @ 20 ms) total alloc = 10,059,083,404 bytes (excludes profiling overheads) COST CENTRE MODULE %time %alloc $f36 Base 18.8 23.6 $f3 Rewriting 14.4 17.7 match Rewriting 13.7 17.5 $f19 Base 12.5 8.7 $f35 Base 8.9 10.4 one Rewriting 5.1 3.8 $f21 Base 4.8 1.9 <|> Logic.Strategies 2.7 1.7 once Rewriting 2.3 1.5 apply Rewriting 2.3 2.6 fzipM' Base 2.1 2.4 $f42 Base 1.7 1.7 $f30 Base 1.5 0.0 $f18 Base 1.5 1.5 viewPat Rewriting 1.3 0.9 $f29 Base 1.1 1.1 individual inherited COST CENTRE MODULE no. entries %time %alloc %time %alloc MAIN MAIN 1 0 0.0 0.0 100.0 100.0 CAF Main 210 4 0.0 0.0 0.0 0.0 killer3 Main 274 1 0.0 0.0 0.0 0.0 main Main 216 1 0.0 0.0 0.0 0.0 propSound Logic.Strategies 217 1 0.0 0.0 0.0 0.0 CAF GHC.Show 205 1 0.0 0.0 0.0 0.0 CAF GHC.Handle 162 4 0.0 0.0 0.0 0.0 CAF Logic.Rules 131 50 0.0 0.0 0.0 0.0 ruleAndOverOr Logic.Rules 961 1 0.0 0.0 0.0 0.0 makeRuleList Logic.Rules 962 1 0.0 0.0 0.0 0.0 ruleNotNot Logic.Rules 781 1 0.0 0.0 0.0 0.0 |- Logic.Rules 783 1 0.0 0.0 0.0 0.0 makeRule Logic.Rules 782 1 0.0 0.0 0.0 0.0 ruleDeMorganOr Logic.Rules 753 1 0.0 0.0 0.0 0.0 |- Logic.Rules 755 1 0.0 0.0 0.0 0.0 makeRule Logic.Rules 754 1 0.0 0.0 0.0 0.0 ruleDeMorganAnd Logic.Rules 729 1 0.0 0.0 0.0 0.0 |- Logic.Rules 731 1 0.0 0.0 0.0 0.0 makeRule Logic.Rules 730 1 0.0 0.0 0.0 0.0 $f37 Base 655 1 0.0 0.0 0.0 0.0 ruleDefEquiv Logic.Rules 622 1 0.0 0.0 0.0 0.0 |- Logic.Rules 624 1 0.0 0.0 0.0 0.0 makeRule Logic.Rules 623 1 0.0 0.0 0.0 0.0 ruleDefImpl Logic.Rules 585 1 0.0 0.0 0.0 0.0 |- Logic.Rules 587 1 0.0 0.0 0.0 0.0 makeRule Logic.Rules 586 1 0.0 0.0 0.0 0.0 $f18 Base 406 1 0.0 0.0 0.0 0.0 $f21 Base 416 1 0.0 0.0 0.0 0.0 somewhere Logic.Strategies 417 0 0.0 0.0 0.0 0.0 once Rewriting 418 0 0.0 0.0 0.0 0.0 one Rewriting 419 0 0.0 0.0 0.0 0.0 $f3 Rewriting 420 0 0.0 0.0 0.0 0.0 somewhere Logic.Strategies 407 0 0.0 0.0 0.0 0.0 once Rewriting 408 0 0.0 0.0 0.0 0.0 one Rewriting 409 0 0.0 0.0 0.0 0.0 $f3 Rewriting 410 0 0.0 0.0 0.0 0.0 $f19 Base 401 6 0.0 0.0 0.0 0.0 $f21 Base 690 1 0.0 0.0 0.0 0.0 eliminateImplEquiv Logic.Strategies 695 0 0.0 0.0 0.0 0.0 repeat Logic.Strategies 696 0 0.0 0.0 0.0 0.0 <*> Logic.Strategies 697 0 0.0 0.0 0.0 0.0 notS Logic.Strategies 698 0 0.0 0.0 0.0 0.0 somewhere Logic.Strategies 699 0 0.0 0.0 0.0 0.0 once Rewriting 700 0 0.0 0.0 0.0 0.0 one Rewriting 701 0 0.0 0.0 0.0 0.0 somewhere Logic.Strategies 691 0 0.0 0.0 0.0 0.0 once Rewriting 692 0 0.0 0.0 0.0 0.0 one Rewriting 693 0 0.0 0.0 0.0 0.0 $f3 Rewriting 694 0 0.0 0.0 0.0 0.0 $f20 Base 509 1 0.0 0.0 0.0 0.0 somewhere Logic.Strategies 510 0 0.0 0.0 0.0 0.0 once Rewriting 511 0 0.0 0.0 0.0 0.0 one Rewriting 512 0 0.0 0.0 0.0 0.0 $f3 Rewriting 513 0 0.0 0.0 0.0 0.0 $f18 Base 468 2 0.0 0.0 0.0 0.0 $f21 Base 473 4 0.0 0.0 0.0 0.0 somewhere Logic.Strategies 474 0 0.0 0.0 0.0 0.0 once Rewriting 475 0 0.0 0.0 0.0 0.0 alternatives Logic.Strategies 478 0 0.0 0.0 0.0 0.0 <|> Logic.Strategies 479 27 0.0 0.0 0.0 0.0 lift0l Logic.Strategies 499 0 0.0 0.0 0.0 0.0 lift0 Logic.Strategies 500 0 0.0 0.0 0.0 0.0 rewrite0 Rewriting 501 0 0.0 0.0 0.0 0.0 rewriteF Rewriting 502 0 0.0 0.0 0.0 0.0 match Rewriting 503 0 0.0 0.0 0.0 0.0 fzipM' Base 505 2 0.0 0.0 0.0 0.0 $f4 Rewriting 506 0 0.0 0.0 0.0 0.0 $f36 Base 507 0 0.0 0.0 0.0 0.0 viewPat Rewriting 504 2 0.0 0.0 0.0 0.0 eliminateConstants Logic.Strategies 489 0 0.0 0.0 0.0 0.0 lift1l Logic.Strategies 490 0 0.0 0.0 0.0 0.0 lift1 Logic.Strategies 491 0 0.0 0.0 0.0 0.0 rewrite1 Rewriting 492 0 0.0 0.0 0.0 0.0 rewriteF Rewriting 493 0 0.0 0.0 0.0 0.0 match Rewriting 494 0 0.0 0.0 0.0 0.0 fzipM' Base 496 14 0.0 0.0 0.0 0.0 $f4 Rewriting 497 0 0.0 0.0 0.0 0.0 $f36 Base 498 0 0.0 0.0 0.0 0.0 viewPat Rewriting 495 14 0.0 0.0 0.0 0.0 lift1l Logic.Strategies 480 0 0.0 0.0 0.0 0.0 lift1 Logic.Strategies 481 0 0.0 0.0 0.0 0.0 rewrite1 Rewriting 482 0 0.0 0.0 0.0 0.0 rewriteF Rewriting 483 0 0.0 0.0 0.0 0.0 match Rewriting 484 0 0.0 0.0 0.0 0.0 fzipM' Base 486 2 0.0 0.0 0.0 0.0 $f4 Rewriting 487 0 0.0 0.0 0.0 0.0 $f36 Base 488 0 0.0 0.0 0.0 0.0 viewPat Rewriting 485 2 0.0 0.0 0.0 0.0 one Rewriting 476 0 0.0 0.0 0.0 0.0 $f4 Rewriting 508 0 0.0 0.0 0.0 0.0 $f3 Rewriting 477 0 0.0 0.0 0.0 0.0 somewhere Logic.Strategies 469 0 0.0 0.0 0.0 0.0 once Rewriting 470 0 0.0 0.0 0.0 0.0 one Rewriting 471 0 0.0 0.0 0.0 0.0 $f3 Rewriting 472 0 0.0 0.0 0.0 0.0 somewhere Logic.Strategies 402 0 0.0 0.0 0.0 0.0 once Rewriting 403 0 0.0 0.0 0.0 0.0 one Rewriting 404 0 0.0 0.0 0.0 0.0 $f3 Rewriting 405 0 0.0 0.0 0.0 0.0 ruleTrueInImpl Logic.Rules 390 1 0.0 0.0 0.0 0.0 makeRuleList Logic.Rules 391 1 0.0 0.0 0.0 0.0 ruleFalseInImpl Logic.Rules 386 1 0.0 0.0 0.0 0.0 makeRuleList Logic.Rules 387 1 0.0 0.0 0.0 0.0 ruleTrueInEquiv Logic.Rules 380 1 0.0 0.0 0.0 0.0 makeRuleList Logic.Rules 381 1 0.0 0.0 0.0 0.0 $f8 Base 375 1 0.0 0.0 0.0 0.0 $f12 Base 373 1 0.0 0.0 0.0 0.0 $f11 Base 370 1 0.0 0.0 0.0 0.0 $f16 Base 371 1 0.0 0.0 0.0 0.0 $f10 Base 365 1 0.0 0.0 0.0 0.0 $f29 Base 346 1 0.0 0.0 0.0 0.0 $f32 Base 348 1 0.0 0.0 0.0 0.0 $f30 Base 345 5 0.0 0.0 0.0 0.0 $f32 Base 817 1 0.0 0.0 0.0 0.0 $f29 Base 466 1 0.0 0.0 0.0 0.0 $f32 Base 467 2 0.0 0.0 0.0 0.0 ruleFalseInEquiv Logic.Rules 339 1 0.0 0.0 0.0 0.0 makeRuleList Logic.Rules 340 1 0.0 0.0 0.0 0.0 ruleNotBoolConst Logic.Rules 318 1 0.0 0.0 0.0 0.0 makeRuleList Logic.Rules 320 1 0.0 0.0 0.0 0.0 |- Logic.Rules 319 2 0.0 0.0 0.0 0.0 ruleFalseZeroAnd Logic.Rules 312 1 0.0 0.0 0.0 0.0 makeRuleList Logic.Rules 313 1 0.0 0.0 0.0 0.0 ruleTrueZeroAnd Logic.Rules 308 1 0.0 0.0 0.0 0.0 makeRuleList Logic.Rules 309 1 0.0 0.0 0.0 0.0 ruleTrueZeroOr Logic.Rules 281 1 0.0 0.0 0.0 0.0 makeRuleList Logic.Rules 282 1 0.0 0.0 0.0 0.0 $f41 Base 264 1 0.0 0.0 0.0 0.0 $f45 Base 269 1 0.0 0.0 0.0 0.0 $f35 Base 262 1 0.0 0.0 0.0 0.0 $f42 Base 261 6 0.0 0.0 0.0 0.0 $f36 Base 260 6 0.0 0.0 0.0 0.0 $f2 Logic.Rules 254 1 0.0 0.0 0.0 0.0 $f4 Rewriting 247 1 0.0 0.0 0.0 0.0 $f19 Base 395 1 0.0 0.0 0.0 0.0 somewhere Logic.Strategies 397 0 0.0 0.0 0.0 0.0 once Rewriting 398 0 0.0 0.0 0.0 0.0 one Rewriting 399 0 0.0 0.0 0.0 0.0 $f3 Rewriting 400 0 0.0 0.0 0.0 0.0 $f14 Base 369 1 0.0 0.0 0.0 0.0 $f13 Base 368 1 0.0 0.0 0.0 0.0 $f16 Base 363 1 0.0 0.0 0.0 0.0 $f15 Base 362 1 0.0 0.0 0.0 0.0 $f30 Base 344 1 0.0 0.0 0.0 0.0 $f42 Base 253 1 0.0 0.0 0.0 0.0 $f36 Base 248 1 0.0 0.0 0.0 0.0 $f3 Logic.Rules 246 1 0.0 0.0 0.0 0.0 ruleFalseZeroOr Logic.Rules 234 1 0.0 0.0 0.0 0.0 makeRuleList Logic.Rules 235 1 0.0 0.0 0.0 0.0 CAF Logic.Formula 130 1 0.0 0.0 0.0 0.0 isDNF Logic.Formula 1112 1 0.0 0.0 0.0 0.0 isAtomic Logic.Formula 1115 1628 0.0 0.0 0.0 0.0 conjunctions Logic.Formula 1114 3004 0.0 0.0 0.0 0.0 disjunctions Logic.Formula 1113 503 0.0 0.0 0.0 0.0 CAF Rewriting 117 2 0.0 0.0 0.0 0.0 var Rewriting 376 1 0.0 0.0 0.0 0.0 pat Rewriting 270 1 0.0 0.0 0.0 0.0 CAF Base 116 9 0.0 0.0 0.0 0.0 $f3 Base 658 1 0.0 0.0 0.0 0.0 $f47 Base 599 1 0.0 0.0 0.0 0.0 $f21 Base 411 7 0.0 0.0 0.0 0.0 somewhere Logic.Strategies 412 0 0.0 0.0 0.0 0.0 once Rewriting 413 0 0.0 0.0 0.0 0.0 alternatives Logic.Strategies 514 0 0.0 0.0 0.0 0.0 <|> Logic.Strategies 515 189 0.0 0.0 0.0 0.0 lift0l Logic.Strategies 535 0 0.0 0.0 0.0 0.0 lift0 Logic.Strategies 536 0 0.0 0.0 0.0 0.0 rewrite0 Rewriting 537 0 0.0 0.0 0.0 0.0 rewriteF Rewriting 538 0 0.0 0.0 0.0 0.0 match Rewriting 539 0 0.0 0.0 0.0 0.0 fzipM' Base 541 14 0.0 0.0 0.0 0.0 $f4 Rewriting 542 0 0.0 0.0 0.0 0.0 $f36 Base 543 0 0.0 0.0 0.0 0.0 viewPat Rewriting 540 14 0.0 0.0 0.0 0.0 eliminateConstants Logic.Strategies 525 0 0.0 0.0 0.0 0.0 lift1l Logic.Strategies 526 0 0.0 0.0 0.0 0.0 lift1 Logic.Strategies 527 0 0.0 0.0 0.0 0.0 rewrite1 Rewriting 528 0 0.0 0.0 0.0 0.0 rewriteF Rewriting 529 0 0.0 0.0 0.0 0.0 match Rewriting 530 12 0.0 0.0 0.0 0.0 apply Rewriting 549 12 0.0 0.0 0.0 0.0 var Rewriting 553 0 0.0 0.0 0.0 0.0 $f4 Rewriting 551 0 0.0 0.0 0.0 0.0 $f42 Base 552 16 0.0 0.0 0.0 0.0 viewPat Rewriting 550 18 0.0 0.0 0.0 0.0 $f4 Rewriting 545 0 0.0 0.0 0.0 0.0 $f30 Base 546 24 0.0 0.0 0.0 0.0 $f29 Base 547 12 0.0 0.0 0.0 0.0 $f32 Base 548 24 0.0 0.0 0.0 0.0 fzipM' Base 532 110 0.0 0.0 0.0 0.0 $f4 Rewriting 533 0 0.0 0.0 0.0 0.0 $f36 Base 534 0 0.0 0.0 0.0 0.0 $f35 Base 544 0 0.0 0.0 0.0 0.0 viewPat Rewriting 531 116 0.0 0.0 0.0 0.0 lift1l Logic.Strategies 516 0 0.0 0.0 0.0 0.0 lift1 Logic.Strategies 517 0 0.0 0.0 0.0 0.0 rewrite1 Rewriting 518 0 0.0 0.0 0.0 0.0 rewriteF Rewriting 519 0 0.0 0.0 0.0 0.0 match Rewriting 520 0 0.0 0.0 0.0 0.0 fzipM' Base 522 14 0.0 0.0 0.0 0.0 $f4 Rewriting 523 0 0.0 0.0 0.0 0.0 $f36 Base 524 0 0.0 0.0 0.0 0.0 viewPat Rewriting 521 14 0.0 0.0 0.0 0.0 one Rewriting 414 0 0.0 0.0 0.0 0.0 $f4 Rewriting 554 0 0.0 0.0 0.0 0.0 $f19 Base 555 10 0.0 0.0 0.0 0.0 $f20 Base 557 4 0.0 0.0 0.0 0.0 $f18 Base 556 3 0.0 0.0 0.0 0.0 $f3 Rewriting 415 0 0.0 0.0 0.0 0.0 $f46 Base 352 1 0.0 0.0 0.0 0.0 $f40 Base 351 1 0.0 0.0 0.0 0.0 $f32 Base 347 1 0.0 0.0 0.0 0.0 $f45 Base 267 1 0.0 0.0 0.0 0.0 $f38 Base 266 1 0.0 0.0 0.0 0.0 CAF Logic.Strategies 111 17 0.0 0.0 100.0 100.0 lift3l Logic.Strategies 959 1 0.0 0.0 0.0 0.0 rewrite3 Rewriting 964 1 0.0 0.0 0.0 0.0 liftRule3 Rewriting 966 1 0.0 0.0 0.0 0.0 rhsR Rewriting 1091 12 0.0 0.0 0.0 0.0 ruleAndOverOr Logic.Rules 980 0 0.0 0.0 0.0 0.0 |- Logic.Rules 981 24 0.0 0.0 0.0 0.0 lhsR Rewriting 979 12 0.0 0.0 0.0 0.0 $f42 Base 978 4 0.0 0.0 0.0 0.0 $f41 Base 984 1 0.0 0.0 0.0 0.0 $f45 Base 986 2 0.0 0.0 0.0 0.0 liftArrow3 Rewriting 976 1 0.0 0.0 0.0 0.0 deepTo Representations 1013 48 0.0 0.0 0.0 0.0 $f42 Base 1014 60 0.0 0.0 0.0 0.0 $f41 Base 1016 12 0.0 0.0 0.0 0.0 $f45 Base 1017 24 0.0 0.0 0.0 0.0 $f43 Base 1015 36 0.0 0.0 0.0 0.0 deepFrom Representations 977 24 0.0 0.0 0.0 0.0 $f42 Base 982 316 0.0 0.0 0.0 0.0 $f43 Base 1027 28 0.0 0.0 0.0 0.0 $f41 Base 985 59 0.0 0.0 0.0 0.0 $f45 Base 987 118 0.0 0.0 0.0 0.0 liftTerm3 Rewriting 969 1 0.0 0.0 0.0 0.0 diff Rewriting 972 1 0.0 0.0 0.0 0.0 var Rewriting 1018 0 0.0 0.0 0.0 0.0 pat Rewriting 988 0 0.0 0.0 0.0 0.0 fzipM' Base 973 58 0.0 0.0 0.0 0.0 $f4 Rewriting 974 0 0.0 0.0 0.0 0.0 $f36 Base 975 0 0.0 0.0 0.0 0.0 $f37 Base 1026 0 0.0 0.0 0.0 0.0 $f35 Base 983 0 0.0 0.0 0.0 0.0 merge Rewriting 970 1 0.0 0.0 0.0 0.0 $f36 Base 989 1 0.0 0.0 0.0 0.0 $f37 Base 1028 0 0.0 0.0 0.0 0.0 $f35 Base 992 0 0.0 0.0 0.0 0.0 $f4 Rewriting 991 0 0.0 0.0 0.0 0.0 $dmfzip Base 990 25 0.0 0.0 0.0 0.0 viewPat Rewriting 971 82 0.0 0.0 0.0 0.0 rewriteF Rewriting 965 1 0.0 0.0 0.0 0.0 $f4 Rewriting 1092 0 0.0 0.0 0.0 0.0 $f42 Base 1093 5 0.0 0.0 0.0 0.0 $f41 Base 1094 1 0.0 0.0 0.0 0.0 $f45 Base 1095 2 0.0 0.0 0.0 0.0 inst Rewriting 1089 1 0.0 0.0 0.0 0.0 $f4 Rewriting 1104 0 0.0 0.0 0.0 0.0 $f42 Base 1105 8 0.0 0.0 0.0 0.0 $f41 Base 1106 2 0.0 0.0 0.0 0.0 $f45 Base 1107 4 0.0 0.0 0.0 0.0 viewPat Rewriting 1090 7 0.0 0.0 0.0 0.0 match Rewriting 967 1 0.0 0.0 0.0 0.0 $f4 Rewriting 1020 0 0.0 0.0 0.0 0.0 $f42 Base 1021 4 0.0 0.0 0.0 0.0 fzipM' Base 993 2 0.0 0.0 0.0 0.0 $f4 Rewriting 994 0 0.0 0.0 0.0 0.0 $f36 Base 995 0 0.0 0.0 0.0 0.0 viewPat Rewriting 968 2 0.0 0.0 0.0 0.0 alternatives Logic.Strategies 960 0 0.0 0.0 0.0 0.0 <|> Logic.Strategies 963 2 0.0 0.0 0.0 0.0 orToTop Logic.Strategies 952 1 0.0 0.0 99.8 99.8 repeat Logic.Strategies 953 1 0.0 0.0 99.8 99.8 many Logic.Strategies 955 0 0.0 0.0 47.7 49.9 <|> Logic.Strategies 956 2648593 1.0 0.8 47.7 49.9 lift3l Logic.Strategies 1033 0 0.0 0.0 27.0 31.5 alternatives Logic.Strategies 1041 0 0.2 0.0 0.2 0.0 rewrite3 Rewriting 1034 0 0.4 0.5 26.8 31.5 rewriteF Rewriting 1035 0 0.4 0.5 26.4 31.0 inst Rewriting 1098 0 0.0 0.0 0.0 0.0 $f4 Rewriting 1100 0 0.0 0.0 0.0 0.0 $f42 Base 1101 8905 0.0 0.0 0.0 0.0 $f41 Base 1102 2055 0.0 0.0 0.0 0.0 $f45 Base 1103 4110 0.0 0.0 0.0 0.0 viewPat Rewriting 1099 4795 0.0 0.0 0.0 0.0 match Rewriting 1036 897892 6.5 8.7 26.0 30.6 apply Rewriting 1054 897892 0.8 1.3 2.7 2.5 $f4 Rewriting 1057 0 0.2 0.0 1.3 0.8 $f42 Base 1058 3023436 1.1 0.8 1.1 0.8 $f41 Base 1059 686 0.0 0.0 0.0 0.0 $f45 Base 1060 1372 0.0 0.0 0.0 0.0 var Rewriting 1056 0 0.2 0.2 0.2 0.2 viewPat Rewriting 1055 1349188 0.4 0.1 0.4 0.1 $f4 Rewriting 1050 0 0.0 0.0 2.1 0.9 $f30 Base 1051 3592254 0.8 0.0 2.1 0.9 $f29 Base 1052 897892 1.0 0.5 1.3 0.9 $f32 Base 1053 1795784 0.4 0.4 0.4 0.4 fzipM' Base 1038 3545108 1.1 1.2 14.4 18.2 $f4 Rewriting 1039 0 0.0 0.0 13.3 17.0 $f36 Base 1040 0 9.1 11.8 13.3 17.0 $f35 Base 1049 0 4.2 5.2 4.2 5.2 viewPat Rewriting 1037 3995718 0.4 0.3 0.4 0.3 <*> Logic.Strategies 957 686 0.0 0.1 19.8 17.5 somewhere Logic.Strategies 1029 0 0.0 0.0 19.8 17.5 once Rewriting 1030 0 0.8 0.7 19.8 17.5 one Rewriting 1043 0 1.9 1.9 19.0 16.7 $f3 Rewriting 1046 0 7.0 8.8 7.0 8.8 $f4 Rewriting 1044 0 0.2 0.0 10.1 6.0 $f19 Base 1045 4299034 5.7 4.3 9.9 6.0 $f21 Base 1111 257382 0.6 0.2 0.6 0.2 $f20 Base 1110 531740 0.6 0.0 0.6 0.0 $f18 Base 1047 534194 0.8 0.7 3.0 1.5 $f21 Base 1048 1068388 2.3 0.8 2.3 0.8 lift3l Logic.Strategies 1031 0 0.0 0.0 0.0 0.0 alternatives Logic.Strategies 1032 0 0.0 0.0 0.0 0.0 <*> Logic.Strategies 954 1 0.0 0.0 52.1 50.0 notS Logic.Strategies 958 687 0.0 0.0 52.1 50.0 somewhere Logic.Strategies 1061 0 0.0 0.0 52.1 50.0 once Rewriting 1062 0 1.5 0.7 52.1 50.0 one Rewriting 1073 0 3.2 1.9 20.5 16.8 $f3 Rewriting 1076 0 7.4 8.8 7.4 8.8 $f4 Rewriting 1074 0 0.2 0.0 9.9 6.0 $f19 Base 1075 4312068 6.8 4.3 9.7 6.0 $f21 Base 1109 258158 0.4 0.2 0.4 0.2 $f20 Base 1108 533368 0.2 0.0 0.2 0.0 $f18 Base 1077 535819 0.8 0.7 2.3 1.5 $f21 Base 1078 1071638 1.5 0.8 1.5 0.8 lift3l Logic.Strategies 1063 0 0.0 0.0 30.0 32.5 rewrite3 Rewriting 1066 0 0.4 0.5 27.6 31.6 rewriteF Rewriting 1067 0 0.6 0.5 27.2 31.1 match Rewriting 1068 900640 7.2 8.7 26.6 30.7 apply Rewriting 1084 900640 1.5 1.3 2.5 2.5 $f4 Rewriting 1087 0 0.0 0.0 0.6 0.8 $f42 Base 1088 3032651 0.6 0.8 0.6 0.8 $f41 Base 1096 685 0.0 0.0 0.0 0.0 $f45 Base 1097 1370 0.0 0.0 0.0 0.0 var Rewriting 1086 0 0.2 0.2 0.2 0.2 viewPat Rewriting 1085 1353307 0.2 0.1 0.2 0.1 $f4 Rewriting 1080 0 0.0 0.0 1.3 0.9 $f30 Base 1081 3603245 0.8 0.0 1.3 0.9 $f29 Base 1082 900640 0.2 0.5 0.6 0.9 $f32 Base 1083 1801280 0.4 0.4 0.4 0.4 fzipM' Base 1070 3555914 1.0 1.2 15.2 18.2 $f4 Rewriting 1071 0 0.0 0.0 14.3 17.0 $f36 Base 1072 0 9.5 11.8 14.3 17.0 $f35 Base 1079 0 4.8 5.2 4.8 5.2 viewPat Rewriting 1069 4007896 0.4 0.3 0.4 0.3 alternatives Logic.Strategies 1064 0 0.8 0.0 2.5 0.8 <|> Logic.Strategies 1065 2655959 1.7 0.8 1.7 0.8 lift1 Logic.Strategies 766 1 0.0 0.0 0.0 0.0 rewrite1 Rewriting 767 1 0.0 0.0 0.0 0.0 liftRule1 Rewriting 769 1 0.0 0.0 0.0 0.0 rhsR Rewriting 938 2 0.0 0.0 0.0 0.0 ruleNotNot Logic.Rules 784 0 0.0 0.0 0.0 0.0 |- Logic.Rules 785 3 0.0 0.0 0.0 0.0 lhsR Rewriting 780 2 0.0 0.0 0.0 0.0 $f42 Base 779 12 0.0 0.0 0.0 0.0 $f45 Base 786 2 0.0 0.0 0.0 0.0 liftArrow1 Rewriting 777 1 0.0 0.0 0.0 0.0 deepTo Representations 929 2 0.0 0.0 0.0 0.0 $f42 Base 930 6 0.0 0.0 0.0 0.0 $f41 Base 932 2 0.0 0.0 0.0 0.0 $f45 Base 933 4 0.0 0.0 0.0 0.0 $f43 Base 931 2 0.0 0.0 0.0 0.0 deepFrom Representations 778 2 0.0 0.0 0.0 0.0 $f42 Base 924 16 0.0 0.0 0.0 0.0 $f45 Base 925 2 0.0 0.0 0.0 0.0 liftTerm1 Rewriting 772 1 0.0 0.0 0.0 0.0 diff Rewriting 773 1 0.0 0.0 0.0 0.0 var Rewriting 934 0 0.0 0.0 0.0 0.0 pat Rewriting 787 0 0.0 0.0 0.0 0.0 fzipM' Base 774 4 0.0 0.0 0.0 0.0 $f4 Rewriting 775 0 0.0 0.0 0.0 0.0 $f36 Base 776 0 0.0 0.0 0.0 0.0 rewriteF Rewriting 768 1 0.0 0.0 0.0 0.0 inst Rewriting 936 1 0.0 0.0 0.0 0.0 viewPat Rewriting 937 1 0.0 0.0 0.0 0.0 match Rewriting 770 1 0.0 0.0 0.0 0.0 fzipM' Base 788 1 0.0 0.0 0.0 0.0 $f4 Rewriting 789 0 0.0 0.0 0.0 0.0 $f36 Base 790 0 0.0 0.0 0.0 0.0 viewPat Rewriting 771 1 0.0 0.0 0.0 0.0 eliminateNots Logic.Strategies 719 1 0.0 0.0 0.2 0.1 lift2 Logic.Strategies 736 0 0.0 0.0 0.0 0.0 rewrite2 Rewriting 737 0 0.0 0.0 0.0 0.0 rewriteF Rewriting 739 0 0.0 0.0 0.0 0.0 inst Rewriting 945 0 0.0 0.0 0.0 0.0 $f4 Rewriting 947 0 0.0 0.0 0.0 0.0 $f42 Base 948 80 0.0 0.0 0.0 0.0 $f45 Base 951 10 0.0 0.0 0.0 0.0 $f41 Base 949 5 0.0 0.0 0.0 0.0 $f45 Base 950 10 0.0 0.0 0.0 0.0 viewPat Rewriting 946 25 0.0 0.0 0.0 0.0 match Rewriting 740 596 0.0 0.0 0.0 0.0 apply Rewriting 881 596 0.0 0.0 0.0 0.0 var Rewriting 890 0 0.0 0.0 0.0 0.0 $f4 Rewriting 883 0 0.0 0.0 0.0 0.0 $f42 Base 884 725 0.0 0.0 0.0 0.0 $f41 Base 886 11 0.0 0.0 0.0 0.0 $f45 Base 887 22 0.0 0.0 0.0 0.0 viewPat Rewriting 882 629 0.0 0.0 0.0 0.0 $f4 Rewriting 878 0 0.0 0.0 0.0 0.0 $f30 Base 879 3565 0.0 0.0 0.0 0.0 $f29 Base 888 11 0.0 0.0 0.0 0.0 $f32 Base 889 22 0.0 0.0 0.0 0.0 $f32 Base 880 585 0.0 0.0 0.0 0.0 fzipM' Base 763 3582 0.0 0.0 0.0 0.0 $f4 Rewriting 764 0 0.0 0.0 0.0 0.0 $f36 Base 765 0 0.0 0.0 0.0 0.0 $f35 Base 885 0 0.0 0.0 0.0 0.0 viewPat Rewriting 741 3604 0.0 0.0 0.0 0.0 liftRule2 Rewriting 738 0 0.0 0.0 0.0 0.0 rhsR Rewriting 899 4 0.0 0.0 0.0 0.0 ruleDeMorganOr Logic.Rules 756 0 0.0 0.0 0.0 0.0 |- Logic.Rules 757 7 0.0 0.0 0.0 0.0 lhsR Rewriting 752 4 0.0 0.0 0.0 0.0 liftArrow2 Rewriting 749 0 0.0 0.0 0.0 0.0 deepTo Representations 838 11 0.0 0.0 0.0 0.0 $f42 Base 839 15 0.0 0.0 0.0 0.0 $f43 Base 844 7 0.0 0.0 0.0 0.0 $f41 Base 840 4 0.0 0.0 0.0 0.0 $f45 Base 841 8 0.0 0.0 0.0 0.0 deepFrom Representations 750 8 0.0 0.0 0.0 0.0 $f42 Base 751 120 0.0 0.0 0.0 0.0 $f43 Base 846 4 0.0 0.0 0.0 0.0 $f41 Base 828 8 0.0 0.0 0.0 0.0 $f45 Base 829 16 0.0 0.0 0.0 0.0 $f45 Base 758 12 0.0 0.0 0.0 0.0 liftTerm2 Rewriting 742 0 0.0 0.0 0.0 0.0 diff Rewriting 745 0 0.0 0.0 0.0 0.0 var Rewriting 842 0 0.0 0.0 0.0 0.0 pat Rewriting 759 0 0.0 0.0 0.0 0.0 fzipM' Base 746 16 0.0 0.0 0.0 0.0 $f4 Rewriting 747 0 0.0 0.0 0.0 0.0 $f36 Base 748 0 0.0 0.0 0.0 0.0 $f37 Base 845 0 0.0 0.0 0.0 0.0 $f35 Base 827 0 0.0 0.0 0.0 0.0 merge Rewriting 743 0 0.0 0.0 0.0 0.0 $f36 Base 760 0 0.0 0.0 0.0 0.0 $f35 Base 830 0 0.0 0.0 0.0 0.0 $f4 Rewriting 762 0 0.0 0.0 0.0 0.0 $dmfzip Base 761 5 0.0 0.0 0.0 0.0 viewPat Rewriting 744 16 0.0 0.0 0.0 0.0 <|> Logic.Strategies 726 6094 0.0 0.0 0.2 0.0 lift1 Logic.Strategies 857 0 0.0 0.0 0.2 0.0 rewrite1 Rewriting 858 0 0.0 0.0 0.2 0.0 rewriteF Rewriting 859 0 0.0 0.0 0.2 0.0 inst Rewriting 941 0 0.0 0.0 0.0 0.0 viewPat Rewriting 942 11 0.0 0.0 0.0 0.0 match Rewriting 860 598 0.0 0.0 0.2 0.0 apply Rewriting 922 598 0.0 0.0 0.0 0.0 var Rewriting 935 0 0.0 0.0 0.0 0.0 $f4 Rewriting 926 0 0.0 0.0 0.0 0.0 $f42 Base 927 694 0.0 0.0 0.0 0.0 $f45 Base 928 24 0.0 0.0 0.0 0.0 viewPat Rewriting 923 622 0.0 0.0 0.0 0.0 $f4 Rewriting 919 0 0.0 0.0 0.0 0.0 $f30 Base 920 3588 0.0 0.0 0.0 0.0 $f32 Base 921 598 0.0 0.0 0.0 0.0 fzipM' Base 862 3559 0.0 0.0 0.2 0.0 $f4 Rewriting 863 0 0.0 0.0 0.2 0.0 $f36 Base 864 0 0.2 0.0 0.2 0.0 viewPat Rewriting 861 3583 0.0 0.0 0.0 0.0 lift2 Logic.Strategies 849 0 0.0 0.0 0.0 0.0 rewrite2 Rewriting 850 0 0.0 0.0 0.0 0.0 rewriteF Rewriting 851 0 0.0 0.0 0.0 0.0 inst Rewriting 911 0 0.0 0.0 0.0 0.0 $f4 Rewriting 914 0 0.0 0.0 0.0 0.0 $f42 Base 915 238 0.0 0.0 0.0 0.0 $f45 Base 918 28 0.0 0.0 0.0 0.0 $f41 Base 916 14 0.0 0.0 0.0 0.0 $f45 Base 917 28 0.0 0.0 0.0 0.0 viewPat Rewriting 912 70 0.0 0.0 0.0 0.0 match Rewriting 852 641 0.0 0.0 0.0 0.0 apply Rewriting 874 641 0.0 0.0 0.0 0.0 var Rewriting 908 0 0.0 0.0 0.0 0.0 $f4 Rewriting 876 0 0.0 0.0 0.0 0.0 $f42 Base 877 802 0.0 0.0 0.0 0.0 $f41 Base 901 28 0.0 0.0 0.0 0.0 $f45 Base 902 56 0.0 0.0 0.0 0.0 viewPat Rewriting 875 725 0.0 0.0 0.0 0.0 $f4 Rewriting 871 0 0.0 0.0 0.0 0.0 $f30 Base 872 3790 0.0 0.0 0.0 0.0 $f29 Base 903 28 0.0 0.0 0.0 0.0 $f32 Base 904 56 0.0 0.0 0.0 0.0 $f32 Base 873 613 0.0 0.0 0.0 0.0 fzipM' Base 854 3637 0.0 0.0 0.0 0.0 $f4 Rewriting 855 0 0.0 0.0 0.0 0.0 $f36 Base 856 0 0.0 0.0 0.0 0.0 $f35 Base 900 0 0.0 0.0 0.0 0.0 viewPat Rewriting 853 3693 0.0 0.0 0.0 0.0 repeat Logic.Strategies 720 1 0.0 0.0 0.0 0.0 many Logic.Strategies 722 0 0.0 0.0 0.0 0.0 <|> Logic.Strategies 723 33 0.0 0.0 0.0 0.0 <*> Logic.Strategies 724 32 0.0 0.0 0.0 0.0 somewhere Logic.Strategies 847 0 0.0 0.0 0.0 0.0 once Rewriting 848 0 0.0 0.0 0.0 0.0 one Rewriting 865 0 0.0 0.0 0.0 0.0 $f3 Rewriting 868 0 0.0 0.0 0.0 0.0 $f4 Rewriting 866 0 0.0 0.0 0.0 0.0 $f19 Base 867 4913 0.0 0.0 0.0 0.0 $f21 Base 944 264 0.0 0.0 0.0 0.0 $f20 Base 940 545 0.0 0.0 0.0 0.0 $f18 Base 869 618 0.0 0.0 0.0 0.0 $f21 Base 870 1236 0.0 0.0 0.0 0.0 <*> Logic.Strategies 721 1 0.0 0.0 0.0 0.0 notS Logic.Strategies 725 33 0.0 0.0 0.0 0.0 somewhere Logic.Strategies 891 0 0.0 0.0 0.0 0.0 once Rewriting 892 0 0.0 0.0 0.0 0.0 one Rewriting 893 0 0.0 0.0 0.0 0.0 $f3 Rewriting 896 0 0.0 0.0 0.0 0.0 $f4 Rewriting 894 0 0.0 0.0 0.0 0.0 $f19 Base 895 5273 0.0 0.0 0.0 0.0 $f21 Base 943 286 0.0 0.0 0.0 0.0 $f20 Base 939 589 0.0 0.0 0.0 0.0 $f18 Base 897 659 0.0 0.0 0.0 0.0 $f21 Base 898 1318 0.0 0.0 0.0 0.0 lift2 Logic.Strategies 568 2 0.0 0.0 0.0 0.0 rewrite2 Rewriting 569 2 0.0 0.0 0.0 0.0 liftRule2 Rewriting 571 2 0.0 0.0 0.0 0.0 rhsR Rewriting 913 4 0.0 0.0 0.0 0.0 ruleDeMorganAnd Logic.Rules 732 0 0.0 0.0 0.0 0.0 |- Logic.Rules 733 7 0.0 0.0 0.0 0.0 ruleDefImpl Logic.Rules 589 0 0.0 0.0 0.0 0.0 |- Logic.Rules 590 3 0.0 0.0 0.0 0.0 lhsR Rewriting 584 8 0.0 0.0 0.0 0.0 $f42 Base 583 9 0.0 0.0 0.0 0.0 $f45 Base 734 1 0.0 0.0 0.0 0.0 $f41 Base 592 1 0.0 0.0 0.0 0.0 $f45 Base 594 2 0.0 0.0 0.0 0.0 liftArrow2 Rewriting 581 2 0.0 0.0 0.0 0.0 deepTo Representations 645 14 0.0 0.0 0.0 0.0 $f42 Base 646 18 0.0 0.0 0.0 0.0 $f41 Base 905 4 0.0 0.0 0.0 0.0 $f45 Base 906 8 0.0 0.0 0.0 0.0 $f43 Base 647 10 0.0 0.0 0.0 0.0 deepFrom Representations 582 12 0.0 0.0 0.0 0.0 $f42 Base 588 123 0.0 0.0 0.0 0.0 $f43 Base 910 4 0.0 0.0 0.0 0.0 $f45 Base 735 11 0.0 0.0 0.0 0.0 $f41 Base 593 11 0.0 0.0 0.0 0.0 $f45 Base 595 22 0.0 0.0 0.0 0.0 liftTerm2 Rewriting 574 2 0.0 0.0 0.0 0.0 diff Rewriting 577 2 0.0 0.0 0.0 0.0 var Rewriting 907 0 0.0 0.0 0.0 0.0 pat Rewriting 596 0 0.0 0.0 0.0 0.0 fzipM' Base 578 18 0.0 0.0 0.0 0.0 $f4 Rewriting 579 0 0.0 0.0 0.0 0.0 $f36 Base 580 0 0.0 0.0 0.0 0.0 $f37 Base 909 0 0.0 0.0 0.0 0.0 $f35 Base 591 0 0.0 0.0 0.0 0.0 merge Rewriting 575 2 0.0 0.0 0.0 0.0 $f36 Base 597 2 0.0 0.0 0.0 0.0 $f35 Base 601 0 0.0 0.0 0.0 0.0 $f4 Rewriting 600 0 0.0 0.0 0.0 0.0 $dmfzip Base 598 6 0.0 0.0 0.0 0.0 viewPat Rewriting 576 18 0.0 0.0 0.0 0.0 rewriteF Rewriting 570 2 0.0 0.0 0.0 0.0 $f4 Rewriting 674 0 0.0 0.0 0.0 0.0 $f42 Base 675 9 0.0 0.0 0.0 0.0 $f41 Base 676 2 0.0 0.0 0.0 0.0 $f45 Base 677 4 0.0 0.0 0.0 0.0 inst Rewriting 671 2 0.0 0.0 0.0 0.0 $f4 Rewriting 678 0 0.0 0.0 0.0 0.0 $f42 Base 679 32 0.0 0.0 0.0 0.0 $f45 Base 689 4 0.0 0.0 0.0 0.0 $f41 Base 680 2 0.0 0.0 0.0 0.0 $f45 Base 681 4 0.0 0.0 0.0 0.0 viewPat Rewriting 672 14 0.0 0.0 0.0 0.0 match Rewriting 572 2 0.0 0.0 0.0 0.0 $f4 Rewriting 820 0 0.0 0.0 0.0 0.0 $f42 Base 821 4 0.0 0.0 0.0 0.0 fzipM' Base 602 2 0.0 0.0 0.0 0.0 $f4 Rewriting 603 0 0.0 0.0 0.0 0.0 $f36 Base 604 0 0.0 0.0 0.0 0.0 viewPat Rewriting 573 2 0.0 0.0 0.0 0.0 eliminateImplEquiv Logic.Strategies 558 1 0.0 0.0 0.0 0.0 lift2 Logic.Strategies 605 0 0.0 0.0 0.0 0.0 rewrite2 Rewriting 606 0 0.0 0.0 0.0 0.0 rewriteF Rewriting 608 0 0.0 0.0 0.0 0.0 inst Rewriting 710 0 0.0 0.0 0.0 0.0 $f4 Rewriting 712 0 0.0 0.0 0.0 0.0 $f42 Base 713 300 0.0 0.0 0.0 0.0 $f45 Base 716 24 0.0 0.0 0.0 0.0 $f41 Base 714 36 0.0 0.0 0.0 0.0 $f45 Base 715 72 0.0 0.0 0.0 0.0 viewPat Rewriting 711 108 0.0 0.0 0.0 0.0 match Rewriting 609 26 0.0 0.0 0.0 0.0 apply Rewriting 643 26 0.0 0.0 0.0 0.0 var Rewriting 653 0 0.0 0.0 0.0 0.0 viewPat Rewriting 644 52 0.0 0.0 0.0 0.0 $f4 Rewriting 639 0 0.0 0.0 0.0 0.0 $f30 Base 640 52 0.0 0.0 0.0 0.0 $f29 Base 641 26 0.0 0.0 0.0 0.0 $f32 Base 642 52 0.0 0.0 0.0 0.0 fzipM' Base 635 1437 0.0 0.0 0.0 0.0 $f4 Rewriting 636 0 0.0 0.0 0.0 0.0 $f36 Base 637 0 0.0 0.0 0.0 0.0 $f35 Base 638 0 0.0 0.0 0.0 0.0 viewPat Rewriting 610 1489 0.0 0.0 0.0 0.0 liftRule2 Rewriting 607 0 0.0 0.0 0.0 0.0 rhsR Rewriting 673 4 0.0 0.0 0.0 0.0 ruleDefEquiv Logic.Rules 625 0 0.0 0.0 0.0 0.0 |- Logic.Rules 626 7 0.0 0.0 0.0 0.0 lhsR Rewriting 621 4 0.0 0.0 0.0 0.0 liftArrow2 Rewriting 618 0 0.0 0.0 0.0 0.0 deepTo Representations 648 11 0.0 0.0 0.0 0.0 $f42 Base 649 15 0.0 0.0 0.0 0.0 $f43 Base 654 7 0.0 0.0 0.0 0.0 $f41 Base 650 4 0.0 0.0 0.0 0.0 $f45 Base 651 8 0.0 0.0 0.0 0.0 deepFrom Representations 619 8 0.0 0.0 0.0 0.0 $f42 Base 620 126 0.0 0.0 0.0 0.0 $f45 Base 688 8 0.0 0.0 0.0 0.0 $f43 Base 657 6 0.0 0.0 0.0 0.0 $f41 Base 628 16 0.0 0.0 0.0 0.0 $f45 Base 629 32 0.0 0.0 0.0 0.0 liftTerm2 Rewriting 611 0 0.0 0.0 0.0 0.0 diff Rewriting 614 0 0.0 0.0 0.0 0.0 var Rewriting 652 0 0.0 0.0 0.0 0.0 pat Rewriting 630 0 0.0 0.0 0.0 0.0 fzipM' Base 615 21 0.0 0.0 0.0 0.0 $f4 Rewriting 616 0 0.0 0.0 0.0 0.0 $f36 Base 617 0 0.0 0.0 0.0 0.0 $f37 Base 656 0 0.0 0.0 0.0 0.0 $f35 Base 627 0 0.0 0.0 0.0 0.0 merge Rewriting 612 0 0.0 0.0 0.0 0.0 $f36 Base 631 0 0.0 0.0 0.0 0.0 $f35 Base 634 0 0.0 0.0 0.0 0.0 $f4 Rewriting 633 0 0.0 0.0 0.0 0.0 $dmfzip Base 632 6 0.0 0.0 0.0 0.0 viewPat Rewriting 613 21 0.0 0.0 0.0 0.0 <|> Logic.Strategies 565 1445 0.0 0.0 0.0 0.0 lift2 Logic.Strategies 661 0 0.0 0.0 0.0 0.0 rewrite2 Rewriting 662 0 0.0 0.0 0.0 0.0 rewriteF Rewriting 663 0 0.0 0.0 0.0 0.0 match Rewriting 664 0 0.0 0.0 0.0 0.0 fzipM' Base 666 1436 0.0 0.0 0.0 0.0 $f4 Rewriting 667 0 0.0 0.0 0.0 0.0 $f36 Base 668 0 0.0 0.0 0.0 0.0 viewPat Rewriting 665 1436 0.0 0.0 0.0 0.0 repeat Logic.Strategies 559 1 0.0 0.0 0.0 0.0 many Logic.Strategies 561 0 0.0 0.0 0.0 0.0 <|> Logic.Strategies 562 14 0.0 0.0 0.0 0.0 <*> Logic.Strategies 563 13 0.0 0.0 0.0 0.0 somewhere Logic.Strategies 659 0 0.0 0.0 0.0 0.0 once Rewriting 660 0 0.0 0.0 0.0 0.0 one Rewriting 702 0 0.0 0.0 0.0 0.0 $f3 Rewriting 705 0 0.0 0.0 0.0 0.0 $f4 Rewriting 703 0 0.0 0.0 0.0 0.0 $f19 Base 704 2260 0.0 0.0 0.0 0.0 $f20 Base 718 240 0.0 0.0 0.0 0.0 $f21 Base 708 153 0.0 0.0 0.0 0.0 $f18 Base 706 256 0.0 0.0 0.0 0.0 $f21 Base 707 512 0.0 0.0 0.0 0.0 <*> Logic.Strategies 560 1 0.0 0.0 0.0 0.0 notS Logic.Strategies 564 14 0.0 0.0 0.0 0.0 somewhere Logic.Strategies 669 0 0.0 0.0 0.0 0.0 once Rewriting 670 0 0.0 0.0 0.0 0.0 one Rewriting 682 0 0.0 0.0 0.0 0.0 $f3 Rewriting 685 0 0.0 0.0 0.0 0.0 $f4 Rewriting 683 0 0.0 0.0 0.0 0.0 $f19 Base 684 2639 0.0 0.0 0.0 0.0 $f20 Base 717 284 0.0 0.0 0.0 0.0 $f21 Base 709 178 0.0 0.0 0.0 0.0 $f18 Base 686 298 0.0 0.0 0.0 0.0 $f21 Base 687 596 0.0 0.0 0.0 0.0 lift0l Logic.Strategies 316 1 0.0 0.0 0.0 0.0 lift0 Logic.Strategies 322 1 0.0 0.0 0.0 0.0 rewrite0 Rewriting 323 1 0.0 0.0 0.0 0.0 liftRule0 Rewriting 325 1 0.0 0.0 0.0 0.0 $f42 Base 338 8 0.0 0.0 0.0 0.0 liftArrow0 Rewriting 336 1 0.0 0.0 0.0 0.0 deepFrom Representations 337 1 0.0 0.0 0.0 0.0 lhsR Rewriting 335 0 0.0 0.0 0.0 0.0 liftTerm0 Rewriting 326 0 0.0 0.0 0.0 0.0 toPat Rewriting 327 1 0.0 0.0 0.0 0.0 $f42 Base 334 8 0.0 0.0 0.0 0.0 pat Rewriting 330 0 0.0 0.0 0.0 0.0 rewriteF Rewriting 324 1 0.0 0.0 0.0 0.0 match Rewriting 328 1 0.0 0.0 0.0 0.0 fzipM' Base 331 2 0.0 0.0 0.0 0.0 $f4 Rewriting 332 0 0.0 0.0 0.0 0.0 $f36 Base 333 0 0.0 0.0 0.0 0.0 viewPat Rewriting 329 2 0.0 0.0 0.0 0.0 alternatives Logic.Strategies 317 0 0.0 0.0 0.0 0.0 <|> Logic.Strategies 321 2 0.0 0.0 0.0 0.0 lift1l Logic.Strategies 232 1 0.0 0.0 0.0 0.0 lift1 Logic.Strategies 237 1 0.0 0.0 0.0 0.0 rewrite1 Rewriting 238 1 0.0 0.0 0.0 0.0 liftRule1 Rewriting 240 1 0.0 0.0 0.0 0.0 ruleFalseZeroOr Logic.Rules 256 0 0.0 0.0 0.0 0.0 |- Logic.Rules 257 4 0.0 0.0 0.0 0.0 lhsR Rewriting 255 4 0.0 0.0 0.0 0.0 liftArrow1 Rewriting 251 1 0.0 0.0 0.0 0.0 deepTo Representations 360 1 0.0 0.0 0.0 0.0 $f42 Base 361 1 0.0 0.0 0.0 0.0 $f43 Base 364 1 0.0 0.0 0.0 0.0 deepFrom Representations 252 2 0.0 0.0 0.0 0.0 $f42 Base 275 10 0.0 0.0 0.0 0.0 $f41 Base 276 2 0.0 0.0 0.0 0.0 $f45 Base 277 4 0.0 0.0 0.0 0.0 $f4 Rewriting 258 0 0.0 0.0 0.0 0.0 $f42 Base 259 5 0.0 0.0 0.0 0.0 $f41 Base 265 1 0.0 0.0 0.0 0.0 $f45 Base 268 2 0.0 0.0 0.0 0.0 liftTerm1 Rewriting 243 1 0.0 0.0 0.0 0.0 diff Rewriting 244 1 0.0 0.0 0.0 0.0 pat Rewriting 278 0 0.0 0.0 0.0 0.0 fzipM' Base 245 2 0.0 0.0 0.0 0.0 $f4 Rewriting 249 0 0.0 0.0 0.0 0.0 $f36 Base 250 0 0.0 0.0 0.0 0.0 $f35 Base 263 0 0.0 0.0 0.0 0.0 rewriteF Rewriting 239 1 0.0 0.0 0.0 0.0 match Rewriting 241 1 0.0 0.0 0.0 0.0 $f4 Rewriting 354 0 0.0 0.0 0.0 0.0 $f42 Base 355 2 0.0 0.0 0.0 0.0 fzipM' Base 271 2 0.0 0.0 0.0 0.0 $f4 Rewriting 272 0 0.0 0.0 0.0 0.0 $f36 Base 273 0 0.0 0.0 0.0 0.0 viewPat Rewriting 242 2 0.0 0.0 0.0 0.0 alternatives Logic.Strategies 233 0 0.0 0.0 0.0 0.0 <|> Logic.Strategies 236 2 0.0 0.0 0.0 0.0 alternatives Logic.Strategies 230 1 0.0 0.0 0.0 0.0 <|> Logic.Strategies 231 9 0.0 0.0 0.0 0.0 somewhere Logic.Strategies 228 4 0.0 0.0 0.0 0.0 once Rewriting 229 4 0.0 0.0 0.0 0.0 lift3l Logic.Strategies 996 0 0.0 0.0 0.0 0.0 rewrite3 Rewriting 999 0 0.0 0.0 0.0 0.0 rewriteF Rewriting 1000 0 0.0 0.0 0.0 0.0 match Rewriting 1001 4 0.0 0.0 0.0 0.0 apply Rewriting 1011 4 0.0 0.0 0.0 0.0 $f4 Rewriting 1022 0 0.0 0.0 0.0 0.0 $f42 Base 1023 9 0.0 0.0 0.0 0.0 $f41 Base 1024 1 0.0 0.0 0.0 0.0 $f45 Base 1025 2 0.0 0.0 0.0 0.0 var Rewriting 1019 0 0.0 0.0 0.0 0.0 viewPat Rewriting 1012 9 0.0 0.0 0.0 0.0 $f4 Rewriting 1007 0 0.0 0.0 0.0 0.0 $f30 Base 1008 17 0.0 0.0 0.0 0.0 $f29 Base 1009 4 0.0 0.0 0.0 0.0 $f32 Base 1010 8 0.0 0.0 0.0 0.0 fzipM' Base 1003 6 0.0 0.0 0.0 0.0 $f4 Rewriting 1004 0 0.0 0.0 0.0 0.0 $f36 Base 1005 0 0.0 0.0 0.0 0.0 $f35 Base 1006 0 0.0 0.0 0.0 0.0 viewPat Rewriting 1002 10 0.0 0.0 0.0 0.0 alternatives Logic.Strategies 997 0 0.0 0.0 0.0 0.0 <|> Logic.Strategies 998 3 0.0 0.0 0.0 0.0 eliminateNots Logic.Strategies 727 0 0.0 0.0 0.0 0.0 lift2 Logic.Strategies 799 0 0.0 0.0 0.0 0.0 rewrite2 Rewriting 800 0 0.0 0.0 0.0 0.0 rewriteF Rewriting 801 0 0.0 0.0 0.0 0.0 match Rewriting 802 2 0.0 0.0 0.0 0.0 apply Rewriting 825 2 0.0 0.0 0.0 0.0 var Rewriting 843 0 0.0 0.0 0.0 0.0 $f4 Rewriting 831 0 0.0 0.0 0.0 0.0 $f42 Base 832 5 0.0 0.0 0.0 0.0 $f41 Base 834 1 0.0 0.0 0.0 0.0 $f45 Base 835 2 0.0 0.0 0.0 0.0 viewPat Rewriting 826 5 0.0 0.0 0.0 0.0 $f4 Rewriting 822 0 0.0 0.0 0.0 0.0 $f30 Base 823 11 0.0 0.0 0.0 0.0 $f29 Base 836 1 0.0 0.0 0.0 0.0 $f32 Base 837 2 0.0 0.0 0.0 0.0 $f32 Base 824 1 0.0 0.0 0.0 0.0 fzipM' Base 804 3 0.0 0.0 0.0 0.0 $f4 Rewriting 805 0 0.0 0.0 0.0 0.0 $f36 Base 806 0 0.0 0.0 0.0 0.0 $f35 Base 833 0 0.0 0.0 0.0 0.0 viewPat Rewriting 803 5 0.0 0.0 0.0 0.0 <|> Logic.Strategies 728 6 0.0 0.0 0.0 0.0 lift1 Logic.Strategies 807 0 0.0 0.0 0.0 0.0 rewrite1 Rewriting 808 0 0.0 0.0 0.0 0.0 rewriteF Rewriting 809 0 0.0 0.0 0.0 0.0 match Rewriting 810 0 0.0 0.0 0.0 0.0 fzipM' Base 812 1 0.0 0.0 0.0 0.0 $f4 Rewriting 813 0 0.0 0.0 0.0 0.0 $f36 Base 814 0 0.0 0.0 0.0 0.0 viewPat Rewriting 811 1 0.0 0.0 0.0 0.0 lift2 Logic.Strategies 791 0 0.0 0.0 0.0 0.0 rewrite2 Rewriting 792 0 0.0 0.0 0.0 0.0 rewriteF Rewriting 793 0 0.0 0.0 0.0 0.0 match Rewriting 794 1 0.0 0.0 0.0 0.0 apply Rewriting 818 1 0.0 0.0 0.0 0.0 viewPat Rewriting 819 1 0.0 0.0 0.0 0.0 $f4 Rewriting 815 0 0.0 0.0 0.0 0.0 $f30 Base 816 4 0.0 0.0 0.0 0.0 fzipM' Base 796 3 0.0 0.0 0.0 0.0 $f4 Rewriting 797 0 0.0 0.0 0.0 0.0 $f36 Base 798 0 0.0 0.0 0.0 0.0 viewPat Rewriting 795 3 0.0 0.0 0.0 0.0 eliminateImplEquiv Logic.Strategies 566 0 0.0 0.0 0.0 0.0 <|> Logic.Strategies 567 1 0.0 0.0 0.0 0.0 alternatives Logic.Strategies 421 0 0.0 0.0 0.0 0.0 <|> Logic.Strategies 422 108 0.0 0.0 0.0 0.0 lift0l Logic.Strategies 442 0 0.0 0.0 0.0 0.0 lift0 Logic.Strategies 443 0 0.0 0.0 0.0 0.0 rewrite0 Rewriting 444 0 0.0 0.0 0.0 0.0 rewriteF Rewriting 445 0 0.0 0.0 0.0 0.0 match Rewriting 446 0 0.0 0.0 0.0 0.0 fzipM' Base 448 8 0.0 0.0 0.0 0.0 $f4 Rewriting 449 0 0.0 0.0 0.0 0.0 $f36 Base 450 0 0.0 0.0 0.0 0.0 viewPat Rewriting 447 8 0.0 0.0 0.0 0.0 eliminateConstants Logic.Strategies 432 0 0.0 0.0 0.0 0.0 lift1l Logic.Strategies 433 0 0.0 0.0 0.0 0.0 lift1 Logic.Strategies 434 0 0.0 0.0 0.0 0.0 rewrite1 Rewriting 435 0 0.0 0.0 0.0 0.0 rewriteF Rewriting 436 0 0.0 0.0 0.0 0.0 match Rewriting 437 8 0.0 0.0 0.0 0.0 apply Rewriting 456 8 0.0 0.0 0.0 0.0 var Rewriting 460 0 0.0 0.0 0.0 0.0 $f4 Rewriting 458 0 0.0 0.0 0.0 0.0 $f42 Base 459 14 0.0 0.0 0.0 0.0 viewPat Rewriting 457 12 0.0 0.0 0.0 0.0 $f4 Rewriting 452 0 0.0 0.0 0.0 0.0 $f30 Base 453 22 0.0 0.0 0.0 0.0 $f29 Base 454 7 0.0 0.0 0.0 0.0 $f32 Base 455 14 0.0 0.0 0.0 0.0 fzipM' Base 439 64 0.0 0.0 0.0 0.0 $f4 Rewriting 440 0 0.0 0.0 0.0 0.0 $f36 Base 441 0 0.0 0.0 0.0 0.0 $f35 Base 451 0 0.0 0.0 0.0 0.0 viewPat Rewriting 438 68 0.0 0.0 0.0 0.0 lift1l Logic.Strategies 423 0 0.0 0.0 0.0 0.0 lift1 Logic.Strategies 424 0 0.0 0.0 0.0 0.0 rewrite1 Rewriting 425 0 0.0 0.0 0.0 0.0 rewriteF Rewriting 426 0 0.0 0.0 0.0 0.0 match Rewriting 427 0 0.0 0.0 0.0 0.0 fzipM' Base 429 8 0.0 0.0 0.0 0.0 $f4 Rewriting 430 0 0.0 0.0 0.0 0.0 $f36 Base 431 0 0.0 0.0 0.0 0.0 viewPat Rewriting 428 8 0.0 0.0 0.0 0.0 one Rewriting 394 4 0.0 0.0 0.0 0.0 $f4 Rewriting 461 0 0.0 0.0 0.0 0.0 $f19 Base 462 28 0.0 0.0 0.0 0.0 $f20 Base 465 2 0.0 0.0 0.0 0.0 $f18 Base 463 5 0.0 0.0 0.0 0.0 $f21 Base 464 10 0.0 0.0 0.0 0.0 $f3 Rewriting 396 4 0.0 0.0 0.0 0.0 many Logic.Strategies 224 1 0.0 0.0 0.0 0.0 <|> Logic.Strategies 225 1 0.0 0.0 0.0 0.0 <*> Logic.Strategies 226 0 0.0 0.0 0.0 0.0 eliminateConstants Logic.Strategies 221 1 0.0 0.0 0.0 0.0 lift1l Logic.Strategies 279 0 0.0 0.0 0.0 0.0 lift1 Logic.Strategies 284 0 0.0 0.0 0.0 0.0 rewrite1 Rewriting 285 0 0.0 0.0 0.0 0.0 rewriteF Rewriting 287 0 0.0 0.0 0.0 0.0 match Rewriting 288 4 0.0 0.0 0.0 0.0 $f4 Rewriting 356 0 0.0 0.0 0.0 0.0 $f30 Base 357 6 0.0 0.0 0.0 0.0 $f29 Base 358 3 0.0 0.0 0.0 0.0 $f32 Base 359 6 0.0 0.0 0.0 0.0 apply Rewriting 349 4 0.0 0.0 0.0 0.0 $f4 Rewriting 378 0 0.0 0.0 0.0 0.0 $f42 Base 379 6 0.0 0.0 0.0 0.0 var Rewriting 377 0 0.0 0.0 0.0 0.0 viewPat Rewriting 350 6 0.0 0.0 0.0 0.0 fzipM' Base 305 18 0.0 0.0 0.0 0.0 $f4 Rewriting 306 0 0.0 0.0 0.0 0.0 $f36 Base 307 0 0.0 0.0 0.0 0.0 $f35 Base 343 0 0.0 0.0 0.0 0.0 viewPat Rewriting 289 20 0.0 0.0 0.0 0.0 liftRule1 Rewriting 286 0 0.0 0.0 0.0 0.0 ruleTrueInImpl Logic.Rules 392 0 0.0 0.0 0.0 0.0 |- Logic.Rules 393 4 0.0 0.0 0.0 0.0 ruleFalseInImpl Logic.Rules 388 0 0.0 0.0 0.0 0.0 |- Logic.Rules 389 4 0.0 0.0 0.0 0.0 ruleTrueInEquiv Logic.Rules 382 0 0.0 0.0 0.0 0.0 |- Logic.Rules 383 4 0.0 0.0 0.0 0.0 ruleFalseInEquiv Logic.Rules 341 0 0.0 0.0 0.0 0.0 |- Logic.Rules 342 4 0.0 0.0 0.0 0.0 ruleFalseZeroAnd Logic.Rules 314 0 0.0 0.0 0.0 0.0 |- Logic.Rules 315 4 0.0 0.0 0.0 0.0 ruleTrueZeroAnd Logic.Rules 310 0 0.0 0.0 0.0 0.0 |- Logic.Rules 311 4 0.0 0.0 0.0 0.0 ruleTrueZeroOr Logic.Rules 299 0 0.0 0.0 0.0 0.0 |- Logic.Rules 300 4 0.0 0.0 0.0 0.0 lhsR Rewriting 298 28 0.0 0.0 0.0 0.0 liftArrow1 Rewriting 295 0 0.0 0.0 0.0 0.0 deepTo Representations 366 3 0.0 0.0 0.0 0.0 $f42 Base 367 11 0.0 0.0 0.0 0.0 $f43 Base 384 3 0.0 0.0 0.0 0.0 $f41 Base 372 4 0.0 0.0 0.0 0.0 $f45 Base 374 8 0.0 0.0 0.0 0.0 deepFrom Representations 296 14 0.0 0.0 0.0 0.0 $f42 Base 297 210 0.0 0.0 0.0 0.0 $f46 Base 353 15 0.0 0.0 0.0 0.0 $f41 Base 302 28 0.0 0.0 0.0 0.0 $f45 Base 303 56 0.0 0.0 0.0 0.0 liftTerm1 Rewriting 290 0 0.0 0.0 0.0 0.0 diff Rewriting 291 0 0.0 0.0 0.0 0.0 var Rewriting 385 0 0.0 0.0 0.0 0.0 pat Rewriting 304 0 0.0 0.0 0.0 0.0 fzipM' Base 292 26 0.0 0.0 0.0 0.0 $f4 Rewriting 293 0 0.0 0.0 0.0 0.0 $f36 Base 294 0 0.0 0.0 0.0 0.0 $f35 Base 301 0 0.0 0.0 0.0 0.0 alternatives Logic.Strategies 280 0 0.0 0.0 0.0 0.0 <|> Logic.Strategies 283 14 0.0 0.0 0.0 0.0 repeat Logic.Strategies 222 1 0.0 0.0 0.0 0.0 <*> Logic.Strategies 223 1 0.0 0.0 0.0 0.0 notS Logic.Strategies 227 1 0.0 0.0 0.0 0.0 toDNF Logic.Strategies 218 1 0.0 0.0 0.0 0.0 label Logic.Strategies 220 5 0.0 0.0 0.0 0.0 <*> Logic.Strategies 219 3 0.0 0.0 0.0 0.0