--- Showing last 200 of 3204 lines ---
[04:30:24.425] [DealFinder]   Expression (1040 chars): ((TP >= 6 & HCP < 10 & H >= 3) OR (HCP >= 5 & HCP < 10 & H >= 4)) & HCP >= 6 & NOT (HCP >= 10 & HCP <= 14 & S <= 1 & H >= 4) & NOT (HCP >= 10 & HCP <= 14 & C <= 1 & H >= 4) & NOT (HCP >= 10 & HCP <= 14 & D <= 1 & H >= 4) & NOT (HCP >= 16 & (Solid(S) OR S >= 7) & Single Suited & Controls >= 4 & H <= 2) & NOT (S >= 5 & H >= 4 & HCP > 17 & Controls >= 4) & NOT (S >= 6 & balish & HCP >= 17 & Controls >= 4 & H <= 2) & NOT (H >= 3 & MonsterSlam(H)) & NOT (H >= 3 & MonsterGrandSlam(H)) & NOT (H >= 3 & IsHeartSlamViable & CombinedHeartPointsMin >= HeartGrandSlamPointTarget Subtract 1 & CombinedHeartPointsMin < HeartGrandSlamPointTarget & CombinedHcpMin >= 28 & TP >= 13 & 1 of Top 3 Honors in H & NOT 2 of Top 3 Honors in H) & NOT (HCP >= 10 & HCP < 12 & C >= 6 & S <= 3 & H <= 2) & NOT (HCP >= 10 & HCP < 12 & D >= 6 & S <= 3 & H <= 2) & NOT (HCP >= 9 & HCP < 12 & H >= 4) & NOT (HCP >= 12 & HCP <= 15 & H = 3 & Balanced) & NOT (HCP <= 8 & H >= 5) & NOT (HCP <= 10 & S >= 7 & HCP >= 6) & NOT (HeartPoints >= 12 & HCP >= 12 & H >= 4) & True
[04:30:24.425] [Timing] E precompute: 2ms mem d=96KB (total=1409MB)
[04:30:24.435] [DealFinder] S HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from N's own cards, not advertised by the auction).
[04:30:24.435] [DealFinder] S constraints: HCP[0-11], Suits=(none), Trivial=False
[04:30:24.435] [DealFinder]   Expression (4455 chars): HCP < 12 & RuleOf < 21 & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (D >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & S <= 4) & NOT (H >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(H) & LoserLevel >= 3 & S <= 4 & RuleOf < 21) & NOT (S >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4) & NOT (S >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3 & H <= 4 & RuleOf < 21) & NOT (C >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (H >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (S >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (S >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (C >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (D >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (H >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & S <= 4) & NOT (S >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4) & NOT (C >= 9 & TP >= 32) & NOT (D >= 9 & TP >= 32) & NOT (H >= 9 & TP >= 32) & NOT (S >= 9 & TP >= 32) & NOT (Balanced & HCP >= 33 & HCP <= 34) & NOT (C >= 9 & HCP >= 31 & TP >= 35) & NOT (D >= 9 & HCP >= 31 & TP >= 35) & NOT (H >= 9 & HCP >= 31 & TP >= 35) & NOT (S >= 9 & HCP >= 31 & TP >= 35) & NOT (Balanced & HCP >= 36 & TP >= 35) & NOT (HCP >= 12 & HCP <= 21 &...
[04:30:24.435] [Timing] S precompute: 9ms mem d=216KB (total=1409MB)
[04:30:24.441] [DealFinder] W constraints: HCP[12-21], Suits=H[5-13], Trivial=False
[04:30:24.441] [DealFinder]   Expression (2657 chars): ((HCP >= 12 & HCP <= 21 & H >= 5 & H > S & HeartLongest) OR (RuleOf >= 21 & HCP <= 21 & H >= 5 & H > S & HeartLongest)) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (D >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & S <= 4) & NOT (H >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(H) & LoserLevel >= 3 & S <= 4 & RuleOf < 21) & NOT (S >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4) & NOT (S >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3 & H <= 4 & RuleOf < 21) & NOT (C >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (H >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (S >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (S >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (C >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (D >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (H >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & S <= 4) & NOT (S >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4) & NOT (HCP >= 12 & HCP <= 21 & S >= 5 & SpadeLongest) & NOT (Balanced & HCP >= 15 & HCP <= 16 & H = 5) & NOT (Balanced & HCP >= 15 & HCP <= 16 & S = 5) & NOT ((Balanced OR SemiBalanced) & HCP >= 15 & HCP <= 17 & S <= 4 & H <= 4) & NOT (HCP >= 18 & (NOT Two Suited OR HCP...
[04:30:24.441] [Timing] W precompute: 5ms mem d=168KB (total=1409MB)
[04:30:24.441] ENDGAME_WORLD: #1 (w=1.00) N:J9..87. 3..T6.9 ..A.KT4 .5.KJ5.
[04:30:24.441] ENDGAME_WORLD: #2 (w=1.00) N:J9..A7. 3..T6.9 ..8.KT4 .5.KJ5.
[04:30:24.441] ENDGAME_WORLD: #3 (w=1.00) N:J9..7.4 3..T6.9 ..A8.KT .5.KJ5.
[04:30:24.441] ENDGAME_WORLD: #4 (w=1.00) N:J9..7.T 3..T6.9 ..A8.K4 .5.KJ5.
[04:30:24.441] ENDGAME_WORLD: #5 (w=1.00) N:J9..7.K 3..T6.9 ..A8.T4 .5.KJ5.
[04:30:24.441] ENDGAME_WORLD: #6 (w=1.00) N:J9..A8. 3..T6.9 ..7.KT4 .5.KJ5.
[04:30:24.441] ENDGAME_WORLD: #7 (w=1.00) N:J9..8.4 3..T6.9 ..A7.KT .5.KJ5.
[04:30:24.441] ENDGAME_WORLD: #8 (w=1.00) N:J9..8.T 3..T6.9 ..A7.K4 .5.KJ5.
[04:30:24.441] ENDGAME_WORLD: #9 (w=1.00) N:J9..8.K 3..T6.9 ..A7.T4 .5.KJ5.
[04:30:24.442] ENDGAME_WORLD: #10 (w=1.00) N:J9..A.4 3..T6.9 ..87.KT .5.KJ5.
[04:30:24.442] ENDGAME_WORLD: #11 (w=1.00) N:J9..A.T 3..T6.9 ..87.K4 .5.KJ5.
[04:30:24.442] ENDGAME_WORLD: #12 (w=1.00) N:J9..A.K 3..T6.9 ..87.T4 .5.KJ5.
[04:30:24.442] ENDGAME_WORLD: #13 (w=1.00) N:J9...T4 3..T6.9 ..A87.K .5.KJ5.
[04:30:24.442] ENDGAME_WORLD: #14 (w=1.00) N:J9...K4 3..T6.9 ..A87.T .5.KJ5.
[04:30:24.442] ENDGAME_WORLD: #15 (w=1.00) N:J9...KT 3..T6.9 ..A87.4 .5.KJ5.
[04:30:24.442] ENDGAME_WORLD: #16 (w=1.00) N:9..A87. 3..T6.9 J...KT4 .5.KJ5.
[04:30:24.442] ENDGAME_WORLD: #17 (w=1.00) N:9..87.4 3..T6.9 J..A.KT .5.KJ5.
[04:30:24.442] ENDGAME_WORLD: #18 (w=1.00) N:9..87.T 3..T6.9 J..A.K4 .5.KJ5.
[04:30:24.442] ENDGAME_WORLD: #19 (w=1.00) N:9..87.K 3..T6.9 J..A.T4 .5.KJ5.
[04:30:24.442] ENDGAME_WORLD: #20 (w=1.00) N:9..A7.4 3..T6.9 J..8.KT .5.KJ5.
[04:30:24.442] ENDGAME_WORLD: ... and 50 more
[04:30:24.442] ENDGAME: Evaluating 4 candidates across 70 worlds (totalWeight=70.00, rankByScore=True):
[04:30:24.447]   H5: defeat 0 % (0.0/70.0), makes 0 % (0.0/70.0), avgDeclTricks=8.1, dist=8:66.0 9:4.0
[04:30:24.449]   D5: defeat 100 % (70.0/70.0), makes 100 % (70.0/70.0), avgDeclTricks=10.0, dist=[10:70.0]
[04:30:24.451]   DJ: defeat 86 % (60.0/70.0), makes 86 % (60.0/70.0), avgDeclTricks=9.9, dist=9:10.0 [10:60.0]
[04:30:24.453]   DK: defeat 86 % (60.0/70.0), makes 86 % (60.0/70.0), avgDeclTricks=9.9, dist=9:10.0 [10:60.0]
[04:30:24.454]   IMP H5: -11.91
[04:30:24.454]   IMP D5: 5.46
[04:30:24.454]   IMP DJ: 3.23
[04:30:24.454]   IMP DK: 3.23
[04:30:24.454] ENDGAME: Selected D5 (100 %)
[04:30:24.653] Activated: 4 tricks remaining, threshold=5
[04:30:24.653] ENDGAME: Hidden cards=7 between N and S, need 3+4, declarer tricks=7, defense tricks=2
[04:30:24.653] ENDGAME: Contract=4H, Declarer=W, ToPlay=E, Trump=H
[04:30:24.653] ENDGAME: E [S3 - DT6 C9]
[04:30:24.653] ENDGAME: W [- H5 DKJ -]
[04:30:24.653] ENDGAME: Hidden [SJ9 - DA8 CKT4]
[04:30:24.653] ENDGAME: Current trick (2 cards, led by W): D5 D7
[04:30:24.654] ENDGAME: 35 valid worlds (after void filtering)
[04:30:24.654] [DealFinder] Explained bid S P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none)
[04:30:24.654] [DealFinder] Explained bid W 1H: "Opening Bid, RuleOf >= 21, HCP <= 21, H >= 5, H > S, HeartLongest, HCP >= 12" -> require: (none)
[04:30:24.655] [DealFinder] Explained bid N P: "Overcalling 1Ma, Responses to 1Ma, H >= 6, True" -> require: (none)
[04:30:24.655] [DealFinder] Explained bid E 2H: "Responses to 1Ma-P, (TP >= 6, HCP < 10, H >= 3) OR (HCP >= 5, H >= 4)" -> require: (none)
[04:30:24.656] [DealFinder] Explained bid S P: "Responses to 1Ma-P-2Ma, Defensive bidding after two bids from opponents, True" -> require: (none)
[04:30:24.656] [DealFinder] Explained bid W 4H: "Responses to 1Ma-P-2Ma-P, HeartCompGame, HeartPoints >= 18" -> require: (none)
[04:30:24.657] [DealFinder] Explained bid N P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[04:30:24.657] [DealFinder] Explained bid E P: "Passable situations - 1Ma, True" -> require: (none)
[04:30:24.657] [DealFinder] Explained bid S P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[04:30:24.662] [DealFinder] N HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from S's own cards, not advertised by the auction).
[04:30:24.662] [DealFinder] N HCP max: tightened from 37 to 29 using HandUnderstanding
[04:30:24.662] [DealFinder] N constraints: HCP[0-29], Suits=(none), Trivial=False
[04:30:24.662] [DealFinder]   Expression (2340 chars): (H >= 6 OR True) & NOT (S >= 5 & HCP >= 8 & HCP <= 17) & NOT (HCP >= 6 & HCP <= 11 & S >= 6 & 2 of Top 5 Honors in S & LoserLevel <= 3) & NOT (C >= 5 & HCP >= 10 & HCP <= 17 & LoserLevel >= 2 & 2 of Top 4 Honors in C) & NOT (C >= 6 & HCP >= 12 & HCP <= 17 & LoserLevel >= 2 & 1 of Top 3 Honors in C) & NOT Overcall(C) & NOT (D >= 5 & HCP >= 10 & HCP <= 17 & LoserLevel >= 2 & 2 of Top 4 Honors in D) & NOT (D >= 6 & HCP >= 12 & HCP <= 17 & LoserLevel >= 2 & 1 of Top 3 Honors in D) & NOT Overcall(D) & NOT (C >= 6 & HCP > 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C) & NOT (C >= 7 & HCP >= 3 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3) & NOT (StrongRebiddable(C) & C >= 7 & HCP >= 3 & HCP <= 10 & LoserLevel >= 2) & NOT (C >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C & HCP >= 5 & S <= 4) & NOT (D >= 6 & HCP > 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D) & NOT (D >= 7 & HCP >= 3 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3) & NOT (StrongRebiddable(D) & D >= 7 & HCP >= 3 & HCP <= 10 & LoserLevel >= 2) & NOT (D >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D & HCP >= 5 & S <= 4) & NOT (S >= 6 & HCP > 7 & HCP < 12 & LoserLevel >= 3) & NOT (S >= 7 & HCP >= 3 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3) & NOT (S >= 6 & HCP <= 12 & LoserLevel >= 3 & 2 of Top 4 Honors in S & HCP >= 5) & NOT (C >= 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C & S < 5 & HCP >= 5) & NOT (D >= 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D & S < 5 & HCP >= 5) & NOT (S >= 7 & HCP < 14 & LoserLevel >= 4 & HCP >= 5) & NOT (C >= 8 & HCP < 14 & LoserLevel >= 5 & S < 5 & HCP >= 5) & NOT (D >= 8 & HCP < 14 & LoserLevel >= 5 & S < 5 & HCP >= 5) & NOT (RealSolid(C) & Losers = 1) & NOT (RealSolid(D) & Losers = 1) & NOT (RealSolid(C) & Losers <= 0) & NOT (RealSolid(D) & Losers <= 0) & NOT (RealSolid(S) & Losers = 1) & NOT (RealSolid(S) & Losers <= 0) & NOT (S >= 5 & S <= 6 & (D >= 5 OR C >= 5) & LoserLevel >= 2 & TP >= 10) & NO...
[04:30:24.662] [Timing] N precompute: 4ms mem d=147KB (total=1420MB)
[04:30:24.664] [DealFinder] E constraints: HCP[6-9], Suits=H[3-13], Trivial=False
[04:30:24.665] [DealFinder]   Expression (1040 chars): ((TP >= 6 & HCP < 10 & H >= 3) OR (HCP >= 5 & HCP < 10 & H >= 4)) & HCP >= 6 & NOT (HCP >= 10 & HCP <= 14 & S <= 1 & H >= 4) & NOT (HCP >= 10 & HCP <= 14 & C <= 1 & H >= 4) & NOT (HCP >= 10 & HCP <= 14 & D <= 1 & H >= 4) & NOT (HCP >= 16 & (Solid(S) OR S >= 7) & Single Suited & Controls >= 4 & H <= 2) & NOT (S >= 5 & H >= 4 & HCP > 17 & Controls >= 4) & NOT (S >= 6 & balish & HCP >= 17 & Controls >= 4 & H <= 2) & NOT (H >= 3 & MonsterSlam(H)) & NOT (H >= 3 & MonsterGrandSlam(H)) & NOT (H >= 3 & IsHeartSlamViable & CombinedHeartPointsMin >= HeartGrandSlamPointTarget Subtract 1 & CombinedHeartPointsMin < HeartGrandSlamPointTarget & CombinedHcpMin >= 28 & TP >= 13 & 1 of Top 3 Honors in H & NOT 2 of Top 3 Honors in H) & NOT (HCP >= 10 & HCP < 12 & C >= 6 & S <= 3 & H <= 2) & NOT (HCP >= 10 & HCP < 12 & D >= 6 & S <= 3 & H <= 2) & NOT (HCP >= 9 & HCP < 12 & H >= 4) & NOT (HCP >= 12 & HCP <= 15 & H = 3 & Balanced) & NOT (HCP <= 8 & H >= 5) & NOT (HCP <= 10 & S >= 7 & HCP >= 6) & NOT (HeartPoints >= 12 & HCP >= 12 & H >= 4) & True
[04:30:24.665] [Timing] E precompute: 2ms mem d=96KB (total=1420MB)
[04:30:24.674] [DealFinder] S HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from N's own cards, not advertised by the auction).
[04:30:24.674] [DealFinder] S constraints: HCP[0-11], Suits=(none), Trivial=False
[04:30:24.674] [DealFinder]   Expression (4455 chars): HCP < 12 & RuleOf < 21 & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (D >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & S <= 4) & NOT (H >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(H) & LoserLevel >= 3 & S <= 4 & RuleOf < 21) & NOT (S >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4) & NOT (S >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3 & H <= 4 & RuleOf < 21) & NOT (C >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (H >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (S >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (S >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (C >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (D >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (H >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & S <= 4) & NOT (S >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4) & NOT (C >= 9 & TP >= 32) & NOT (D >= 9 & TP >= 32) & NOT (H >= 9 & TP >= 32) & NOT (S >= 9 & TP >= 32) & NOT (Balanced & HCP >= 33 & HCP <= 34) & NOT (C >= 9 & HCP >= 31 & TP >= 35) & NOT (D >= 9 & HCP >= 31 & TP >= 35) & NOT (H >= 9 & HCP >= 31 & TP >= 35) & NOT (S >= 9 & HCP >= 31 & TP >= 35) & NOT (Balanced & HCP >= 36 & TP >= 35) & NOT (HCP >= 12 & HCP <= 21 &...
[04:30:24.675] [Timing] S precompute: 9ms mem d=224KB (total=1420MB)
[04:30:24.680] [DealFinder] W constraints: HCP[12-21], Suits=H[5-13], Trivial=False
[04:30:24.680] [DealFinder]   Expression (2657 chars): ((HCP >= 12 & HCP <= 21 & H >= 5 & H > S & HeartLongest) OR (RuleOf >= 21 & HCP <= 21 & H >= 5 & H > S & HeartLongest)) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (D >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & S <= 4) & NOT (H >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(H) & LoserLevel >= 3 & S <= 4 & RuleOf < 21) & NOT (S >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4) & NOT (S >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3 & H <= 4 & RuleOf < 21) & NOT (C >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (H >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (S >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (S >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (C >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (D >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (H >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & S <= 4) & NOT (S >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4) & NOT (HCP >= 12 & HCP <= 21 & S >= 5 & SpadeLongest) & NOT (Balanced & HCP >= 15 & HCP <= 16 & H = 5) & NOT (Balanced & HCP >= 15 & HCP <= 16 & S = 5) & NOT ((Balanced OR SemiBalanced) & HCP >= 15 & HCP <= 17 & S <= 4 & H <= 4) & NOT (HCP >= 18 & (NOT Two Suited OR HCP...
[04:30:24.680] [Timing] W precompute: 5ms mem d=162KB (total=1421MB)
[04:30:24.680] ENDGAME_WORLD: #1 (w=1.00) N:J9..8. 3..T6.9 ..A.KT4 .5.KJ.
[04:30:24.680] ENDGAME_WORLD: #2 (w=1.00) N:J9..A. 3..T6.9 ..8.KT4 .5.KJ.
[04:30:24.681] ENDGAME_WORLD: #3 (w=1.00) N:J9...4 3..T6.9 ..A8.KT .5.KJ.
[04:30:24.681] ENDGAME_WORLD: #4 (w=1.00) N:J9...T 3..T6.9 ..A8.K4 .5.KJ.
[04:30:24.681] ENDGAME_WORLD: #5 (w=1.00) N:J9...K 3..T6.9 ..A8.T4 .5.KJ.
[04:30:24.681] ENDGAME_WORLD: #6 (w=1.00) N:9..A8. 3..T6.9 J...KT4 .5.KJ.
[04:30:24.681] ENDGAME_WORLD: #7 (w=1.00) N:9..8.4 3..T6.9 J..A.KT .5.KJ.
[04:30:24.681] ENDGAME_WORLD: #8 (w=1.00) N:9..8.T 3..T6.9 J..A.K4 .5.KJ.
[04:30:24.681] ENDGAME_WORLD: #9 (w=1.00) N:9..8.K 3..T6.9 J..A.T4 .5.KJ.
[04:30:24.681] ENDGAME_WORLD: #10 (w=1.00) N:9..A.4 3..T6.9 J..8.KT .5.KJ.
[04:30:24.681] ENDGAME_WORLD: #11 (w=1.00) N:9..A.T 3..T6.9 J..8.K4 .5.KJ.
[04:30:24.681] ENDGAME_WORLD: #12 (w=1.00) N:9..A.K 3..T6.9 J..8.T4 .5.KJ.
[04:30:24.681] ENDGAME_WORLD: #13 (w=1.00) N:9...T4 3..T6.9 J..A8.K .5.KJ.
[04:30:24.681] ENDGAME_WORLD: #14 (w=1.00) N:9...K4 3..T6.9 J..A8.T .5.KJ.
[04:30:24.681] ENDGAME_WORLD: #15 (w=1.00) N:9...KT 3..T6.9 J..A8.4 .5.KJ.
[04:30:24.681] ENDGAME_WORLD: #16 (w=1.00) N:J..A8. 3..T6.9 9...KT4 .5.KJ.
[04:30:24.682] ENDGAME_WORLD: #17 (w=1.00) N:J..8.4 3..T6.9 9..A.KT .5.KJ.
[04:30:24.682] ENDGAME_WORLD: #18 (w=1.00) N:J..8.T 3..T6.9 9..A.K4 .5.KJ.
[04:30:24.682] ENDGAME_WORLD: #19 (w=1.00) N:J..8.K 3..T6.9 9..A.T4 .5.KJ.
[04:30:24.682] ENDGAME_WORLD: #20 (w=1.00) N:J..A.4 3..T6.9 9..8.KT .5.KJ.
[04:30:24.682] ENDGAME_WORLD: ... and 15 more
[04:30:24.682] ENDGAME: Evaluating 2 candidates across 35 worlds (totalWeight=35.00, rankByScore=True):
[04:30:24.683]   D6: defeat 29 % (10.0/35.0), makes 29 % (10.0/35.0), avgDeclTricks=8.7, dist=8:20.0 9:5.0 [10:10.0]
[04:30:24.683]   DT: defeat 100 % (35.0/35.0), makes 100 % (35.0/35.0), avgDeclTricks=10.0, dist=[10:35.0]
[04:30:24.683]   IMP D6: -9.14
[04:30:24.684]   IMP DT: 9.14
[04:30:24.684] ENDGAME: Selected DT (100 %)
[04:30:24.964] Activated: 3 tricks remaining, threshold=5
[04:30:24.964] ENDGAME: Hidden cards=5 between N and S, need 3+2, declarer tricks=7, defense tricks=3
[04:30:24.964] ENDGAME: Contract=4H, Declarer=W, ToPlay=W, Trump=H
[04:30:24.964] ENDGAME: W [- H5 DKJ -]
[04:30:24.965] ENDGAME: E [S3 - D6 C9]
[04:30:24.965] ENDGAME: Hidden [SJ - D8 CKT4]
[04:30:24.965] ENDGAME: Current trick (1 cards, led by S): S9
[04:30:24.965] ENDGAME: 10 valid worlds (after void filtering)
[04:30:24.965] [DealFinder] Explained bid S P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none)
[04:30:24.966] [DealFinder] Explained bid W 1H: "Opening Bid, RuleOf >= 21, HCP <= 21, H >= 5, H > S, HeartLongest, HCP >= 12" -> require: (none)
[04:30:24.966] [DealFinder] Explained bid N P: "Overcalling 1Ma, Responses to 1Ma, H >= 6, True" -> require: (none)
[04:30:24.967] [DealFinder] Explained bid E 2H: "Responses to 1Ma-P, (TP >= 6, HCP < 10, H >= 3) OR (HCP >= 5, H >= 4)" -> require: (none)
[04:30:24.967] [DealFinder] Explained bid S P: "Responses to 1Ma-P-2Ma, Defensive bidding after two bids from opponents, True" -> require: (none)
[04:30:24.967] [DealFinder] Explained bid W 4H: "Responses to 1Ma-P-2Ma-P, HeartCompGame, HeartPoints >= 18" -> require: (none)
[04:30:24.968] [DealFinder] Explained bid N P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[04:30:24.968] [DealFinder] Explained bid E P: "Passable situations - 1Ma, True" -> require: (none)
[04:30:24.969] [DealFinder] Explained bid S P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[04:30:24.973] [DealFinder] N HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from S's own cards, not advertised by the auction).
[04:30:24.973] [DealFinder] N HCP max: tightened from 37 to 29 using HandUnderstanding
[04:30:24.973] [DealFinder] N constraints: HCP[0-29], Suits=(none), Trivial=False
[04:30:24.973] [DealFinder]   Expression (2340 chars): (H >= 6 OR True) & NOT (S >= 5 & HCP >= 8 & HCP <= 17) & NOT (HCP >= 6 & HCP <= 11 & S >= 6 & 2 of Top 5 Honors in S & LoserLevel <= 3) & NOT (C >= 5 & HCP >= 10 & HCP <= 17 & LoserLevel >= 2 & 2 of Top 4 Honors in C) & NOT (C >= 6 & HCP >= 12 & HCP <= 17 & LoserLevel >= 2 & 1 of Top 3 Honors in C) & NOT Overcall(C) & NOT (D >= 5 & HCP >= 10 & HCP <= 17 & LoserLevel >= 2 & 2 of Top 4 Honors in D) & NOT (D >= 6 & HCP >= 12 & HCP <= 17 & LoserLevel >= 2 & 1 of Top 3 Honors in D) & NOT Overcall(D) & NOT (C >= 6 & HCP > 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C) & NOT (C >= 7 & HCP >= 3 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3) & NOT (StrongRebiddable(C) & C >= 7 & HCP >= 3 & HCP <= 10 & LoserLevel >= 2) & NOT (C >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C & HCP >= 5 & S <= 4) & NOT (D >= 6 & HCP > 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D) & NOT (D >= 7 & HCP >= 3 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3) & NOT (StrongRebiddable(D) & D >= 7 & HCP >= 3 & HCP <= 10 & LoserLevel >= 2) & NOT (D >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D & HCP >= 5 & S <= 4) & NOT (S >= 6 & HCP > 7 & HCP < 12 & LoserLevel >= 3) & NOT (S >= 7 & HCP >= 3 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3) & NOT (S >= 6 & HCP <= 12 & LoserLevel >= 3 & 2 of Top 4 Honors in S & HCP >= 5) & NOT (C >= 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C & S < 5 & HCP >= 5) & NOT (D >= 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D & S < 5 & HCP >= 5) & NOT (S >= 7 & HCP < 14 & LoserLevel >= 4 & HCP >= 5) & NOT (C >= 8 & HCP < 14 & LoserLevel >= 5 & S < 5 & HCP >= 5) & NOT (D >= 8 & HCP < 14 & LoserLevel >= 5 & S < 5 & HCP >= 5) & NOT (RealSolid(C) & Losers = 1) & NOT (RealSolid(D) & Losers = 1) & NOT (RealSolid(C) & Losers <= 0) & NOT (RealSolid(D) & Losers <= 0) & NOT (RealSolid(S) & Losers = 1) & NOT (RealSolid(S) & Losers <= 0) & NOT (S >= 5 & S <= 6 & (D >= 5 OR C >= 5) & LoserLevel >= 2 & TP >= 10) & NO...
[04:30:24.973] [Timing] N precompute: 4ms mem d=145KB (total=1410MB)
[04:30:24.976] [DealFinder] E constraints: HCP[6-9], Suits=H[3-13], Trivial=False
[04:30:24.976] [DealFinder]   Expression (1040 chars): ((TP >= 6 & HCP < 10 & H >= 3) OR (HCP >= 5 & HCP < 10 & H >= 4)) & HCP >= 6 & NOT (HCP >= 10 & HCP <= 14 & S <= 1 & H >= 4) & NOT (HCP >= 10 & HCP <= 14 & C <= 1 & H >= 4) & NOT (HCP >= 10 & HCP <= 14 & D <= 1 & H >= 4) & NOT (HCP >= 16 & (Solid(S) OR S >= 7) & Single Suited & Controls >= 4 & H <= 2) & NOT (S >= 5 & H >= 4 & HCP > 17 & Controls >= 4) & NOT (S >= 6 & balish & HCP >= 17 & Controls >= 4 & H <= 2) & NOT (H >= 3 & MonsterSlam(H)) & NOT (H >= 3 & MonsterGrandSlam(H)) & NOT (H >= 3 & IsHeartSlamViable & CombinedHeartPointsMin >= HeartGrandSlamPointTarget Subtract 1 & CombinedHeartPointsMin < HeartGrandSlamPointTarget & CombinedHcpMin >= 28 & TP >= 13 & 1 of Top 3 Honors in H & NOT 2 of Top 3 Honors in H) & NOT (HCP >= 10 & HCP < 12 & C >= 6 & S <= 3 & H <= 2) & NOT (HCP >= 10 & HCP < 12 & D >= 6 & S <= 3 & H <= 2) & NOT (HCP >= 9 & HCP < 12 & H >= 4) & NOT (HCP >= 12 & HCP <= 15 & H = 3 & Balanced) & NOT (HCP <= 8 & H >= 5) & NOT (HCP <= 10 & S >= 7 & HCP >= 6) & NOT (HeartPoints >= 12 & HCP >= 12 & H >= 4) & True
[04:30:24.976] [Timing] E precompute: 2ms mem d=104KB (total=1411MB)
[04:30:24.985] [DealFinder] S HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from N's own cards, not advertised by the auction).
[04:30:24.985] [DealFinder] S constraints: HCP[0-11], Suits=(none), Trivial=False
[04:30:24.986] [DealFinder]   Expression (4455 chars): HCP < 12 & RuleOf < 21 & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (D >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & S <= 4) & NOT (H >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(H) & LoserLevel >= 3 & S <= 4 & RuleOf < 21) & NOT (S >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4) & NOT (S >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3 & H <= 4 & RuleOf < 21) & NOT (C >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (H >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (S >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (S >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (C >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (D >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (H >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & S <= 4) & NOT (S >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4) & NOT (C >= 9 & TP >= 32) & NOT (D >= 9 & TP >= 32) & NOT (H >= 9 & TP >= 32) & NOT (S >= 9 & TP >= 32) & NOT (Balanced & HCP >= 33 & HCP <= 34) & NOT (C >= 9 & HCP >= 31 & TP >= 35) & NOT (D >= 9 & HCP >= 31 & TP >= 35) & NOT (H >= 9 & HCP >= 31 & TP >= 35) & NOT (S >= 9 & HCP >= 31 & TP >= 35) & NOT (Balanced & HCP >= 36 & TP >= 35) & NOT (HCP >= 12 & HCP <= 21 &...
[04:30:24.986] [Timing] S precompute: 9ms mem d=224KB (total=1411MB)
[04:30:24.991] [DealFinder] W constraints: HCP[12-21], Suits=H[5-13], Trivial=False
[04:30:24.991] [DealFinder]   Expression (2657 chars): ((HCP >= 12 & HCP <= 21 & H >= 5 & H > S & HeartLongest) OR (RuleOf >= 21 & HCP <= 21 & H >= 5 & H > S & HeartLongest)) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (D >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & S <= 4) & NOT (H >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(H) & LoserLevel >= 3 & S <= 4 & RuleOf < 21) & NOT (S >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4) & NOT (S >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3 & H <= 4 & RuleOf < 21) & NOT (C >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (H >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (S >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (S >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (C >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (D >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (H >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & S <= 4) & NOT (S >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4) & NOT (HCP >= 12 & HCP <= 21 & S >= 5 & SpadeLongest) & NOT (Balanced & HCP >= 15 & HCP <= 16 & H = 5) & NOT (Balanced & HCP >= 15 & HCP <= 16 & S = 5) & NOT ((Balanced OR SemiBalanced) & HCP >= 15 & HCP <= 17 & S <= 4 & H <= 4) & NOT (HCP >= 18 & (NOT Two Suited OR HCP...
[04:30:24.991] [Timing] W precompute: 5ms mem d=157KB (total=1411MB)
[04:30:24.992] ENDGAME_WORLD: #1 (w=1.00) N:J..8.4 3..6.9 ...KT .5.KJ.
[04:30:24.992] ENDGAME_WORLD: #2 (w=1.00) N:J..8.T 3..6.9 ...K4 .5.KJ.
[04:30:24.992] ENDGAME_WORLD: #3 (w=1.00) N:J..8.K 3..6.9 ...T4 .5.KJ.
[04:30:24.992] ENDGAME_WORLD: #4 (w=1.00) N:J...T4 3..6.9 ..8.K .5.KJ.
[04:30:24.992] ENDGAME_WORLD: #5 (w=1.00) N:J...K4 3..6.9 ..8.T .5.KJ.
[04:30:24.992] ENDGAME_WORLD: #6 (w=1.00) N:J...KT 3..6.9 ..8.4 .5.KJ.
[04:30:24.992] ENDGAME_WORLD: #7 (w=1.00) N:..8.T4 3..6.9 J...K .5.KJ.
[04:30:24.992] ENDGAME_WORLD: #8 (w=1.00) N:..8.K4 3..6.9 J...T .5.KJ.
[04:30:24.992] ENDGAME_WORLD: #9 (w=1.00) N:..8.KT 3..6.9 J...4 .5.KJ.
[04:30:24.992] ENDGAME_WORLD: #10 (w=1.00) N:...KT4 3..6.9 J..8. .5.KJ.
[04:30:24.992] ENDGAME: Evaluating 3 candidates across 10 worlds (totalWeight=10.00, rankByScore=True):
[04:30:24.992]   H5: defeat 100 % (10.0/10.0), makes 100 % (10.0/10.0), avgDeclTricks=10.0, dist=[10:10.0]
[04:30:24.992]   DJ: defeat 0 % (0.0/10.0), makes 0 % (0.0/10.0), avgDeclTricks=9.0, dist=9:10.0
[04:30:24.993]   DK: defeat 0 % (0.0/10.0), makes 0 % (0.0/10.0), avgDeclTricks=9.0, dist=9:10.0
[04:30:24.993]   IMP H5: 12.00
[04:30:24.993]   IMP DJ: -6.00
[04:30:24.993]   IMP DK: -6.00
[04:30:24.993] ENDGAME: Selected H5 (100 %)
=== Board DailyIMP2026-08-30_b3_t2 (API) - DDS Engine (W) - 2026-08-30 04:30:25 ===
=== Board DailyIMP2026-08-30_b3_t2 (API) - Neural Network Engine (W) - 2026-08-30 04:30:25 ===
[04:30:25.228] Activated: 2 tricks remaining, threshold=5
[04:30:25.228] ENDGAME: Hidden cards=4 between N and S, need 2+2, declarer tricks=8, defense tricks=3
[04:30:25.228] ENDGAME: Contract=4H, Declarer=W, ToPlay=W, Trump=H
[04:30:25.228] ENDGAME: W [- - DKJ -]
[04:30:25.228] ENDGAME: E [- - D6 C9]
[04:30:25.229] ENDGAME: Hidden [SJ - D8 CKT]
[04:30:25.229] ENDGAME: 3 valid worlds (after void filtering)
[04:30:25.229] [DealFinder] Explained bid S P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none)
[04:30:25.230] [DealFinder] Explained bid W 1H: "Opening Bid, RuleOf >= 21, HCP <= 21, H >= 5, H > S, HeartLongest, HCP >= 12" -> require: (none)
[04:30:25.230] [DealFinder] Explained bid N P: "Overcalling 1Ma, Responses to 1Ma, H >= 6, True" -> require: (none)
[04:30:25.230] [DealFinder] Explained bid E 2H: "Responses to 1Ma-P, (TP >= 6, HCP < 10, H >= 3) OR (HCP >= 5, H >= 4)" -> require: (none)
[04:30:25.231] [DealFinder] Explained bid S P: "Responses to 1Ma-P-2Ma, Defensive bidding after two bids from opponents, True" -> require: (none)
[04:30:25.231] [DealFinder] Explained bid W 4H: "Responses to 1Ma-P-2Ma-P, HeartCompGame, HeartPoints >= 18" -> require: (none)
[04:30:25.232] [DealFinder] Explained bid N P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[04:30:25.232] [DealFinder] Explained bid E P: "Passable situations - 1Ma, True" -> require: (none)
[04:30:25.232] [DealFinder] Explained bid S P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[04:30:25.237] [DealFinder] N HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from S's own cards, not advertised by the auction).
[04:30:25.237] [DealFinder] N HCP max: tightened from 37 to 29 using HandUnderstanding
[04:30:25.237] [DealFinder] N constraints: HCP[0-29], Suits=(none), Trivial=False
[04:30:25.237] [DealFinder]   Expression (2340 chars): (H >= 6 OR True) & NOT (S >= 5 & HCP >= 8 & HCP <= 17) & NOT (HCP >= 6 & HCP <= 11 & S >= 6 & 2 of Top 5 Honors in S & LoserLevel <= 3) & NOT (C >= 5 & HCP >= 10 & HCP <= 17 & LoserLevel >= 2 & 2 of Top 4 Honors in C) & NOT (C >= 6 & HCP >= 12 & HCP <= 17 & LoserLevel >= 2 & 1 of Top 3 Honors in C) & NOT Overcall(C) & NOT (D >= 5 & HCP >= 10 & HCP <= 17 & LoserLevel >= 2 & 2 of Top 4 Honors in D) & NOT (D >= 6 & HCP >= 12 & HCP <= 17 & LoserLevel >= 2 & 1 of Top 3 Honors in D) & NOT Overcall(D) & NOT (C >= 6 & HCP > 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C) & NOT (C >= 7 & HCP >= 3 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3) & NOT (StrongRebiddable(C) & C >= 7 & HCP >= 3 & HCP <= 10 & LoserLevel >= 2) & NOT (C >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C & HCP >= 5 & S <= 4) & NOT (D >= 6 & HCP > 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D) & NOT (D >= 7 & HCP >= 3 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3) & NOT (StrongRebiddable(D) & D >= 7 & HCP >= 3 & HCP <= 10 & LoserLevel >= 2) & NOT (D >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D & HCP >= 5 & S <= 4) & NOT (S >= 6 & HCP > 7 & HCP < 12 & LoserLevel >= 3) & NOT (S >= 7 & HCP >= 3 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3) & NOT (S >= 6 & HCP <= 12 & LoserLevel >= 3 & 2 of Top 4 Honors in S & HCP >= 5) & NOT (C >= 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C & S < 5 & HCP >= 5) & NOT (D >= 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D & S < 5 & HCP >= 5) & NOT (S >= 7 & HCP < 14 & LoserLevel >= 4 & HCP >= 5) & NOT (C >= 8 & HCP < 14 & LoserLevel >= 5 & S < 5 & HCP >= 5) & NOT (D >= 8 & HCP < 14 & LoserLevel >= 5 & S < 5 & HCP >= 5) & NOT (RealSolid(C) & Losers = 1) & NOT (RealSolid(D) & Losers = 1) & NOT (RealSolid(C) & Losers <= 0) & NOT (RealSolid(D) & Losers <= 0) & NOT (RealSolid(S) & Losers = 1) & NOT (RealSolid(S) & Losers <= 0) & NOT (S >= 5 & S <= 6 & (D >= 5 OR C >= 5) & LoserLevel >= 2 & TP >= 10) & NO...
[04:30:25.237] [Timing] N precompute: 4ms mem d=141KB (total=1425MB)
[04:30:25.239] [DealFinder] E constraints: HCP[6-9], Suits=H[3-13], Trivial=False
[04:30:25.239] [DealFinder]   Expression (1040 chars): ((TP >= 6 & HCP < 10 & H >= 3) OR (HCP >= 5 & HCP < 10 & H >= 4)) & HCP >= 6 & NOT (HCP >= 10 & HCP <= 14 & S <= 1 & H >= 4) & NOT (HCP >= 10 & HCP <= 14 & C <= 1 & H >= 4) & NOT (HCP >= 10 & HCP <= 14 & D <= 1 & H >= 4) & NOT (HCP >= 16 & (Solid(S) OR S >= 7) & Single Suited & Controls >= 4 & H <= 2) & NOT (S >= 5 & H >= 4 & HCP > 17 & Controls >= 4) & NOT (S >= 6 & balish & HCP >= 17 & Controls >= 4 & H <= 2) & NOT (H >= 3 & MonsterSlam(H)) & NOT (H >= 3 & MonsterGrandSlam(H)) & NOT (H >= 3 & IsHeartSlamViable & CombinedHeartPointsMin >= HeartGrandSlamPointTarget Subtract 1 & CombinedHeartPointsMin < HeartGrandSlamPointTarget & CombinedHcpMin >= 28 & TP >= 13 & 1 of Top 3 Honors in H & NOT 2 of Top 3 Honors in H) & NOT (HCP >= 10 & HCP < 12 & C >= 6 & S <= 3 & H <= 2) & NOT (HCP >= 10 & HCP < 12 & D >= 6 & S <= 3 & H <= 2) & NOT (HCP >= 9 & HCP < 12 & H >= 4) & NOT (HCP >= 12 & HCP <= 15 & H = 3 & Balanced) & NOT (HCP <= 8 & H >= 5) & NOT (HCP <= 10 & S >= 7 & HCP >= 6) & NOT (HeartPoints >= 12 & HCP >= 12 & H >= 4) & True
[04:30:25.239] [Timing] E precompute: 2ms mem d=104KB (total=1425MB)
[04:30:25.249] [DealFinder] S HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from N's own cards, not advertised by the auction).
[04:30:25.249] [DealFinder] S constraints: HCP[0-11], Suits=(none), Trivial=False
[04:30:25.250] [DealFinder]   Expression (4455 chars): HCP < 12 & RuleOf < 21 & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (D >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & S <= 4) & NOT (H >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(H) & LoserLevel >= 3 & S <= 4 & RuleOf < 21) & NOT (S >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4) & NOT (S >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3 & H <= 4 & RuleOf < 21) & NOT (C >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (H >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (S >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (S >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (C >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (D >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (H >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & S <= 4) & NOT (S >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4) & NOT (C >= 9 & TP >= 32) & NOT (D >= 9 & TP >= 32) & NOT (H >= 9 & TP >= 32) & NOT (S >= 9 & TP >= 32) & NOT (Balanced & HCP >= 33 & HCP <= 34) & NOT (C >= 9 & HCP >= 31 & TP >= 35) & NOT (D >= 9 & HCP >= 31 & TP >= 35) & NOT (H >= 9 & HCP >= 31 & TP >= 35) & NOT (S >= 9 & HCP >= 31 & TP >= 35) & NOT (Balanced & HCP >= 36 & TP >= 35) & NOT (HCP >= 12 & HCP <= 21 &...
[04:30:25.250] [Timing] S precompute: 10ms mem d=222KB (total=1426MB)
[04:30:25.255] [DealFinder] W constraints: HCP[12-21], Suits=H[5-13], Trivial=False
[04:30:25.255] [DealFinder]   Expression (2657 chars): ((HCP >= 12 & HCP <= 21 & H >= 5 & H > S & HeartLongest) OR (RuleOf >= 21 & HCP <= 21 & H >= 5 & H > S & HeartLongest)) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (D >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & S <= 4) & NOT (H >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(H) & LoserLevel >= 3 & S <= 4 & RuleOf < 21) & NOT (S >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4) & NOT (S >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3 & H <= 4 & RuleOf < 21) & NOT (C >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (H >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (S >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (S >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (C >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (D >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (H >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & S <= 4) & NOT (S >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4) & NOT (HCP >= 12 & HCP <= 21 & S >= 5 & SpadeLongest) & NOT (Balanced & HCP >= 15 & HCP <= 16 & H = 5) & NOT (Balanced & HCP >= 15 & HCP <= 16 & S = 5) & NOT ((Balanced OR SemiBalanced) & HCP >= 15 & HCP <= 17 & S <= 4 & H <= 4) & NOT (HCP >= 18 & (NOT Two Suited OR HCP...
[04:30:25.255] [Timing] W precompute: 5ms mem d=162KB (total=1426MB)
[04:30:25.255] ENDGAME_WORLD: #1 (w=1.00) N:..8.T ..6.9 J...K ..KJ.
[04:30:25.255] ENDGAME_WORLD: #2 (w=1.00) N:..8.K ..6.9 J...T ..KJ.
[04:30:25.255] ENDGAME_WORLD: #3 (w=1.00) N:...KT ..6.9 J..8. ..KJ.
[04:30:25.256] ENDGAME: Evaluating 2 candidates across 3 worlds (totalWeight=3.00, rankByScore=True):
[04:30:25.256]   DJ: defeat 100 % (3.0/3.0), makes 100 % (3.0/3.0), avgDeclTricks=10.0, dist=[10:3.0]
[04:30:25.256]   DK: defeat 100 % (3.0/3.0), makes 100 % (3.0/3.0), avgDeclTricks=10.0, dist=[10:3.0]
[04:30:25.256]   IMP DJ: 0.00
[04:30:25.256]   IMP DK: 0.00
[04:30:25.256] ENDGAME: Selected DK (100 %)
[04:30:25.256] ENDGAME: CLAIM -- best line wins all 2 remaining tricks in every world
[04:30:25.256] Tied cards: DK,DJ -- invoking NN directly on tied set
[04:30:25.256] === FindBestCardAsync: Position=W, CardsPlayed=44 ===
[04:30:25.256] Finding card to play for W: 8.AKJ753.KJ95.A6
[04:30:25.256] Relative position: Declarer, Contract type: Suit
[04:30:25.257] Cards in hand mask: 2
[04:30:25.257]   Candidate: KD = 83.6 %
[04:30:25.258]   Candidate: JD = 16.4 %
[04:30:25.258] Selected: DK (83.6 %)