--- Showing last 200 of 3137 lines ---
[04:22:07.539] ENDGAME: N [S86 H8 - -]
[04:22:07.539] ENDGAME: S [ST - - CQ8]
[04:22:07.539] ENDGAME: Hidden [SJ H5 DJT96 -]
[04:22:07.539] ENDGAME: 10 valid worlds (after void filtering)
[04:22:07.540] [DealFinder] Explained bid W P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none)
[04:22:07.540] [DealFinder] Explained bid N 1C: "Opening Bid, RuleOf >= 21, HCP <= 21, (ClubLongest OR ExplicitShape = 4=3=3=3 OR ExplicitShape = 3=4=3=3 OR ExplicitShape = 4=4=2=3), HCP >= 12" -> require: (none)
[04:22:07.540] [DealFinder] Explained bid E X: "Responses to 1Mi, HCP >= 18, HCP >= 12, S >= 3, H >= 3, D >= 3, D <= 5, C <= 3, S Add H >= 7, HCP >= 10, S >= 4, H >= 4, C <= 1, DoubleThenOvercall(H) OR DoubleThenOvercall(D), DoubleThenOvercall(S) OR DoubleThenOvercall(D)" -> require: (none)
[04:22:07.541] [DealFinder] Explained bid S 2C: "Responses to 1Mi-X, C >= 4, TP >= 7, TP <= 10" -> require: (none)
[04:22:07.541] [DealFinder] Explained bid W P: "Responses to 1C-X-2C, Responses to 1Mi-X-2Mi, True" -> require: (none)
[04:22:07.542] [DealFinder] Explained bid N P: "Responses to 1Mi-X-2Mi-P, NOT (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame)" -> require: (none)
[04:22:07.542] [DealFinder] Explained bid E P: "Responses to 1Mi-X-2Mi-P-P, HCP <= 16" -> require: (none)
[04:22:07.550] [DealFinder] N Clubs: tightened from [0-13] to [3-13] using HandUnderstanding
[04:22:07.550] [DealFinder] N HCP max: tightened from 21 to 16 using HandUnderstanding
[04:22:07.550] [DealFinder] N constraints: HCP[12-16], Suits=C[3-13], Trivial=False
[04:22:07.550] [DealFinder]   Expression (3271 chars): ((HCP >= 12 & HCP <= 21 & (ClubLongest OR ExplicitShape = 4=3=3=3 OR ExplicitShape = 3=4=3=3 OR ExplicitShape = 4=4=2=3)) OR (RuleOf >= 21 & HCP <= 21 & (ClubLongest OR ExplicitShape = 4=3=3=3 OR ExplicitShape = 3=4=3=3 OR ExplicitShape = 4=4=2=3))) & 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 & (DiamondLongest OR ExplicitShape = 4=4=3=2)) & NOT (HCP >= 12 & HCP <= 21 & H >= 5 & H > S & HeartLongest) & ...
[04:22:07.551] [Timing] N precompute: 8ms mem d=186KB (total=1509MB)
[04:22:07.554] [DealFinder] E HCP min: tightened from 0 to 10 using HandUnderstanding
[04:22:07.554] [DealFinder] E constraints: HCP[10-16], Suits=(none), Trivial=False
[04:22:07.555] [DealFinder]   Expression (1903 chars): (DoubleThenOvercall(H) OR DoubleThenOvercall(D) OR DoubleThenOvercall(S) OR DoubleThenOvercall(D) OR (HCP >= 12 & S >= 3 & H >= 3 & D >= 3 & D <= 5 & C <= 3 & S Add H >= 7) OR (HCP >= 10 & S >= 4 & H >= 4 & D >= 3 & C <= 1) OR HCP >= 18) & NOT (HCP >= 6 & HCP <= 11 & H >= 6 & 2 of Top 5 Honors in H & LoserLevel <= 3) & NOT (HCP >= 6 & HCP <= 11 & S >= 6 & 2 of Top 5 Honors in S & LoserLevel <= 3) & NOT (H >= 7 & LoserLevel >= 3 & HCP <= 13) & NOT (S >= 7 & LoserLevel >= 3 & HCP <= 13) & NOT (H >= 7 & HCP <= 10 & Single Suited & LoserLevel >= 4) & NOT (H >= 8 & HCP <= 10 & 1 of Top 5 Honors in H) & NOT (H >= 8 & LoserLevel >= 4 & HCP <= 13) & NOT (H >= 7 & LoserLevel >= 4 & HCP <= 13 & 2 of Top 4 Honors in H) & NOT (H >= 7 & HCP < 14 & LoserLevel >= 4 & S < 5) & NOT (S >= 7 & HCP <= 10 & Single Suited & LoserLevel >= 4) & NOT (S >= 8 & HCP <= 10 & 1 of Top 5 Honors in S) & NOT (S >= 8 & LoserLevel >= 4 & HCP <= 13) & NOT (S >= 7 & LoserLevel >= 4 & HCP <= 13 & 2 of Top 4 Honors in S) & NOT (S >= 7 & HCP < 14 & LoserLevel >= 4 & H < 5) & NOT (D >= 8 & LoserLevel >= 5) & NOT (D >= 8 & HCP < 14 & LoserLevel >= 5 & H < 5 & S < 5) & NOT (RealSolid(D) & Losers = 1) & NOT (RealSolid(D) & Losers <= 0) & NOT (RealSolid(H) & Losers = 1) & NOT (RealSolid(S) & Losers = 1) & NOT (RealSolid(H) & Losers <= 0) & NOT (RealSolid(S) & Losers <= 0) & NOT (S >= 5 & H >= 5 & S <= 6 & H <= 6 & LoserLevel >= 2 & TP >= 8) & NOT (H >= 5 & D >= 5 & LoserLevel >= 3 & TP >= 10) & NOT (D >= 7 & HCP < 12 & LoserLevel >= 4 & 2 of Top 4 Honors in D & H < 5 & S < 5) & HCP <= 16 & NOT DoubleThenOvercall(D) & NOT DoubleThenOvercall(H) & NOT DoubleThenOvercall(S) & NOT (HCP >= 18 & HCP <= 21 & Stopper in C) & NOT (DoubleThenOvercall(H) & Safety3Level) & NOT (DoubleThenOvercall(S) & Safety3Level) & NOT (HCP >= 22 & HCP <= 27 & Stopper in C) & NOT DoubleThenGame(H) & NOT DoubleThenGame(S) & NOT ExtraTakeout(C)
[04:22:07.555] [Timing] E precompute: 3ms mem d=144KB (total=1509MB)
[04:22:07.556] [DealFinder] S HCP max: tightened from 37 to 10 using HandUnderstanding
[04:22:07.557] [DealFinder] S constraints: HCP[8-10], Suits=C[4-13], Trivial=False
[04:22:07.557] [DealFinder]   Expression (817 chars): C >= 4 & TP >= 7 & TP <= 10 & HCP >= 8 & NOT (HCP >= 6 & DiamondLongest & NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame))) & NOT (BestMajor(H) & H >= 4 & TP >= 6 & NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame))) & NOT (BestMajor(H) & H >= 5 & HCP >= 10) & NOT (BestMajor(S) & S >= 4 & TP >= 6 & NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame))) & NOT (BestMajor(S) & S >= 5 & HCP >= 10) & NOT (TP >= 6 & HCP < 10 & H >= 6) & NOT (TP >= 6 & HCP < 10 & S >= 6) & NOT (HCP >= 7 & HCP <= 10 & C >= 5) & NOT (TP >= 6 & HCP < 10 & H >= 7) & NOT (TP >= 6 & HCP < 10 & S >= 7) & NOT (HCP >= 3 & HCP <= 6 & C >= 7) & NOT (TP >= 6 & HCP < 10 & H >= 8) & NOT (TP >= 6 & HCP < 10 & S >= 8) & NOT (SuitPoints(C) > 12 & HCP >= 9 & C >= 5 & H <= 4 & S <= 4) & NOT (HCP >= 12 & D >= 5)
[04:22:07.557] [Timing] S precompute: 2ms mem d=80KB (total=1509MB)
[04:22:07.567] [DealFinder] W HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from E's own cards, not advertised by the auction).
[04:22:07.567] [DealFinder] W constraints: HCP[0-11], Suits=(none), Trivial=False
[04:22:07.567] [DealFinder]   Expression (4136 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:22:07.567] [Timing] W precompute: 10ms mem d=213KB (total=1509MB)
[04:22:07.567] ENDGAME_WORLD: #1 (w=1.00) N:86.8.. J.5.6. T...Q8 ..JT9.
[04:22:07.567] ENDGAME_WORLD: #2 (w=1.00) N:86.8.. J.5.9. T...Q8 ..JT6.
[04:22:07.567] ENDGAME_WORLD: #3 (w=1.00) N:86.8.. J.5.T. T...Q8 ..J96.
[04:22:07.567] ENDGAME_WORLD: #4 (w=1.00) N:86.8.. J.5.J. T...Q8 ..T96.
[04:22:07.567] ENDGAME_WORLD: #5 (w=1.00) N:86.8.. .5.96. T...Q8 J..JT.
[04:22:07.567] ENDGAME_WORLD: #6 (w=1.00) N:86.8.. .5.T6. T...Q8 J..J9.
[04:22:07.567] ENDGAME_WORLD: #7 (w=1.00) N:86.8.. .5.J6. T...Q8 J..T9.
[04:22:07.568] ENDGAME_WORLD: #8 (w=1.00) N:86.8.. .5.T9. T...Q8 J..J6.
[04:22:07.568] ENDGAME_WORLD: #9 (w=1.00) N:86.8.. .5.J9. T...Q8 J..T6.
[04:22:07.568] ENDGAME_WORLD: #10 (w=1.00) N:86.8.. .5.JT. T...Q8 J..96.
[04:22:07.568] ENDGAME: Evaluating 3 candidates across 10 worlds (totalWeight=10.00, rankByScore=True):
[04:22:07.568]   S6: defeat 0 % (0.0/10.0), makes 0 % (0.0/10.0), avgDeclTricks=7.0, dist=7:10.0
[04:22:07.568]   S8: defeat 0 % (0.0/10.0), makes 0 % (0.0/10.0), avgDeclTricks=7.0, dist=7:10.0
[04:22:07.568]   H8: defeat 100 % (10.0/10.0), makes 100 % (10.0/10.0), avgDeclTricks=8.0, dist=[8:10.0]
[04:22:07.568]   IMP S6: -2.00
[04:22:07.568]   IMP S8: -2.00
[04:22:07.568]   IMP H8: 4.00
[04:22:07.568] ENDGAME: Selected H8 (100 %)
[04:22:07.569] ENDGAME: CLAIM -- best line wins all 3 remaining tricks in every world
[04:22:07.677] Activated: 3 tricks remaining, threshold=5
[04:22:07.677] ENDGAME: Hidden cards=5 between E and W, need 2+3, declarer tricks=5, defense tricks=5
[04:22:07.677] ENDGAME: Contract=2C, Declarer=N, ToPlay=S, Trump=C
[04:22:07.677] ENDGAME: S [ST - - CQ8]
[04:22:07.677] ENDGAME: N [S86 - - -]
[04:22:07.677] ENDGAME: Hidden [SJ - DJT96 -]
[04:22:07.677] ENDGAME: Current trick (2 cards, led by N): H8 H5
[04:22:07.677] ENDGAME: 10 valid worlds (after void filtering)
[04:22:07.678] [DealFinder] Explained bid W P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none)
[04:22:07.678] [DealFinder] Explained bid N 1C: "Opening Bid, RuleOf >= 21, HCP <= 21, (ClubLongest OR ExplicitShape = 4=3=3=3 OR ExplicitShape = 3=4=3=3 OR ExplicitShape = 4=4=2=3), HCP >= 12" -> require: (none)
[04:22:07.679] [DealFinder] Explained bid E X: "Responses to 1Mi, HCP >= 18, HCP >= 12, S >= 3, H >= 3, D >= 3, D <= 5, C <= 3, S Add H >= 7, HCP >= 10, S >= 4, H >= 4, C <= 1, DoubleThenOvercall(H) OR DoubleThenOvercall(D), DoubleThenOvercall(S) OR DoubleThenOvercall(D)" -> require: (none)
[04:22:07.679] [DealFinder] Explained bid S 2C: "Responses to 1Mi-X, C >= 4, TP >= 7, TP <= 10" -> require: (none)
[04:22:07.680] [DealFinder] Explained bid W P: "Responses to 1C-X-2C, Responses to 1Mi-X-2Mi, True" -> require: (none)
[04:22:07.680] [DealFinder] Explained bid N P: "Responses to 1Mi-X-2Mi-P, NOT (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame)" -> require: (none)
[04:22:07.680] [DealFinder] Explained bid E P: "Responses to 1Mi-X-2Mi-P-P, HCP <= 16" -> require: (none)
[04:22:07.687] [DealFinder] N Clubs: tightened from [0-13] to [3-13] using HandUnderstanding
[04:22:07.688] [DealFinder] N HCP max: tightened from 21 to 16 using HandUnderstanding
[04:22:07.688] [DealFinder] N constraints: HCP[12-16], Suits=C[3-13], Trivial=False
[04:22:07.688] [DealFinder]   Expression (3271 chars): ((HCP >= 12 & HCP <= 21 & (ClubLongest OR ExplicitShape = 4=3=3=3 OR ExplicitShape = 3=4=3=3 OR ExplicitShape = 4=4=2=3)) OR (RuleOf >= 21 & HCP <= 21 & (ClubLongest OR ExplicitShape = 4=3=3=3 OR ExplicitShape = 3=4=3=3 OR ExplicitShape = 4=4=2=3))) & 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 & (DiamondLongest OR ExplicitShape = 4=4=3=2)) & NOT (HCP >= 12 & HCP <= 21 & H >= 5 & H > S & HeartLongest) & ...
[04:22:07.688] [Timing] N precompute: 7ms mem d=178KB (total=1480MB)
[04:22:07.691] [DealFinder] E HCP min: tightened from 0 to 10 using HandUnderstanding
[04:22:07.692] [DealFinder] E constraints: HCP[10-16], Suits=(none), Trivial=False
[04:22:07.692] [DealFinder]   Expression (1903 chars): (DoubleThenOvercall(H) OR DoubleThenOvercall(D) OR DoubleThenOvercall(S) OR DoubleThenOvercall(D) OR (HCP >= 12 & S >= 3 & H >= 3 & D >= 3 & D <= 5 & C <= 3 & S Add H >= 7) OR (HCP >= 10 & S >= 4 & H >= 4 & D >= 3 & C <= 1) OR HCP >= 18) & NOT (HCP >= 6 & HCP <= 11 & H >= 6 & 2 of Top 5 Honors in H & LoserLevel <= 3) & NOT (HCP >= 6 & HCP <= 11 & S >= 6 & 2 of Top 5 Honors in S & LoserLevel <= 3) & NOT (H >= 7 & LoserLevel >= 3 & HCP <= 13) & NOT (S >= 7 & LoserLevel >= 3 & HCP <= 13) & NOT (H >= 7 & HCP <= 10 & Single Suited & LoserLevel >= 4) & NOT (H >= 8 & HCP <= 10 & 1 of Top 5 Honors in H) & NOT (H >= 8 & LoserLevel >= 4 & HCP <= 13) & NOT (H >= 7 & LoserLevel >= 4 & HCP <= 13 & 2 of Top 4 Honors in H) & NOT (H >= 7 & HCP < 14 & LoserLevel >= 4 & S < 5) & NOT (S >= 7 & HCP <= 10 & Single Suited & LoserLevel >= 4) & NOT (S >= 8 & HCP <= 10 & 1 of Top 5 Honors in S) & NOT (S >= 8 & LoserLevel >= 4 & HCP <= 13) & NOT (S >= 7 & LoserLevel >= 4 & HCP <= 13 & 2 of Top 4 Honors in S) & NOT (S >= 7 & HCP < 14 & LoserLevel >= 4 & H < 5) & NOT (D >= 8 & LoserLevel >= 5) & NOT (D >= 8 & HCP < 14 & LoserLevel >= 5 & H < 5 & S < 5) & NOT (RealSolid(D) & Losers = 1) & NOT (RealSolid(D) & Losers <= 0) & NOT (RealSolid(H) & Losers = 1) & NOT (RealSolid(S) & Losers = 1) & NOT (RealSolid(H) & Losers <= 0) & NOT (RealSolid(S) & Losers <= 0) & NOT (S >= 5 & H >= 5 & S <= 6 & H <= 6 & LoserLevel >= 2 & TP >= 8) & NOT (H >= 5 & D >= 5 & LoserLevel >= 3 & TP >= 10) & NOT (D >= 7 & HCP < 12 & LoserLevel >= 4 & 2 of Top 4 Honors in D & H < 5 & S < 5) & HCP <= 16 & NOT DoubleThenOvercall(D) & NOT DoubleThenOvercall(H) & NOT DoubleThenOvercall(S) & NOT (HCP >= 18 & HCP <= 21 & Stopper in C) & NOT (DoubleThenOvercall(H) & Safety3Level) & NOT (DoubleThenOvercall(S) & Safety3Level) & NOT (HCP >= 22 & HCP <= 27 & Stopper in C) & NOT DoubleThenGame(H) & NOT DoubleThenGame(S) & NOT ExtraTakeout(C)
[04:22:07.692] [Timing] E precompute: 3ms mem d=145KB (total=1480MB)
[04:22:07.694] [DealFinder] S HCP max: tightened from 37 to 10 using HandUnderstanding
[04:22:07.694] [DealFinder] S constraints: HCP[8-10], Suits=C[4-13], Trivial=False
[04:22:07.694] [DealFinder]   Expression (817 chars): C >= 4 & TP >= 7 & TP <= 10 & HCP >= 8 & NOT (HCP >= 6 & DiamondLongest & NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame))) & NOT (BestMajor(H) & H >= 4 & TP >= 6 & NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame))) & NOT (BestMajor(H) & H >= 5 & HCP >= 10) & NOT (BestMajor(S) & S >= 4 & TP >= 6 & NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame))) & NOT (BestMajor(S) & S >= 5 & HCP >= 10) & NOT (TP >= 6 & HCP < 10 & H >= 6) & NOT (TP >= 6 & HCP < 10 & S >= 6) & NOT (HCP >= 7 & HCP <= 10 & C >= 5) & NOT (TP >= 6 & HCP < 10 & H >= 7) & NOT (TP >= 6 & HCP < 10 & S >= 7) & NOT (HCP >= 3 & HCP <= 6 & C >= 7) & NOT (TP >= 6 & HCP < 10 & H >= 8) & NOT (TP >= 6 & HCP < 10 & S >= 8) & NOT (SuitPoints(C) > 12 & HCP >= 9 & C >= 5 & H <= 4 & S <= 4) & NOT (HCP >= 12 & D >= 5)
[04:22:07.694] [Timing] S precompute: 2ms mem d=80KB (total=1480MB)
[04:22:07.704] [DealFinder] W HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from E's own cards, not advertised by the auction).
[04:22:07.704] [DealFinder] W constraints: HCP[0-11], Suits=(none), Trivial=False
[04:22:07.704] [DealFinder]   Expression (4136 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:22:07.704] [Timing] W precompute: 10ms mem d=209KB (total=1480MB)
[04:22:07.704] ENDGAME_WORLD: #1 (w=1.00) N:86... J..6. T...Q8 ..JT9.
[04:22:07.704] ENDGAME_WORLD: #2 (w=1.00) N:86... J..9. T...Q8 ..JT6.
[04:22:07.704] ENDGAME_WORLD: #3 (w=1.00) N:86... J..T. T...Q8 ..J96.
[04:22:07.705] ENDGAME_WORLD: #4 (w=1.00) N:86... J..J. T...Q8 ..T96.
[04:22:07.705] ENDGAME_WORLD: #5 (w=1.00) N:86... ..96. T...Q8 J..JT.
[04:22:07.705] ENDGAME_WORLD: #6 (w=1.00) N:86... ..T6. T...Q8 J..J9.
[04:22:07.705] ENDGAME_WORLD: #7 (w=1.00) N:86... ..J6. T...Q8 J..T9.
[04:22:07.705] ENDGAME_WORLD: #8 (w=1.00) N:86... ..T9. T...Q8 J..J6.
[04:22:07.705] ENDGAME_WORLD: #9 (w=1.00) N:86... ..J9. T...Q8 J..T6.
[04:22:07.705] ENDGAME_WORLD: #10 (w=1.00) N:86... ..JT. T...Q8 J..96.
[04:22:07.705] ENDGAME: Evaluating 3 candidates across 10 worlds (totalWeight=10.00, rankByScore=True):
[04:22:07.705]   ST: defeat 100 % (10.0/10.0), makes 100 % (10.0/10.0), avgDeclTricks=8.0, dist=[8:10.0]
[04:22:07.705]   C8: defeat 0 % (0.0/10.0), makes 0 % (0.0/10.0), avgDeclTricks=7.0, dist=7:10.0
[04:22:07.706]   CQ: defeat 0 % (0.0/10.0), makes 0 % (0.0/10.0), avgDeclTricks=7.0, dist=7:10.0
[04:22:07.706]   IMP ST: 4.00
[04:22:07.706]   IMP C8: -2.00
[04:22:07.706]   IMP CQ: -2.00
[04:22:07.706] ENDGAME: Selected ST (100 %)
[04:22:07.918] Activated: 2 tricks remaining, threshold=5
[04:22:07.918] ENDGAME: Hidden cards=4 between E and W, need 2+2, declarer tricks=6, defense tricks=5
[04:22:07.918] ENDGAME: Contract=2C, Declarer=N, ToPlay=N, Trump=C
[04:22:07.918] ENDGAME: N [S86 - - -]
[04:22:07.918] ENDGAME: S [- - - CQ8]
[04:22:07.918] ENDGAME: Hidden [SJ - DJ96 -]
[04:22:07.918] ENDGAME: 6 valid worlds (after void filtering)
[04:22:07.919] [DealFinder] Explained bid W P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none)
[04:22:07.919] [DealFinder] Explained bid N 1C: "Opening Bid, RuleOf >= 21, HCP <= 21, (ClubLongest OR ExplicitShape = 4=3=3=3 OR ExplicitShape = 3=4=3=3 OR ExplicitShape = 4=4=2=3), HCP >= 12" -> require: (none)
[04:22:07.920] [DealFinder] Explained bid E X: "Responses to 1Mi, HCP >= 18, HCP >= 12, S >= 3, H >= 3, D >= 3, D <= 5, C <= 3, S Add H >= 7, HCP >= 10, S >= 4, H >= 4, C <= 1, DoubleThenOvercall(H) OR DoubleThenOvercall(D), DoubleThenOvercall(S) OR DoubleThenOvercall(D)" -> require: (none)
[04:22:07.920] [DealFinder] Explained bid S 2C: "Responses to 1Mi-X, C >= 4, TP >= 7, TP <= 10" -> require: (none)
[04:22:07.920] [DealFinder] Explained bid W P: "Responses to 1C-X-2C, Responses to 1Mi-X-2Mi, True" -> require: (none)
[04:22:07.921] [DealFinder] Explained bid N P: "Responses to 1Mi-X-2Mi-P, NOT (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame)" -> require: (none)
[04:22:07.921] [DealFinder] Explained bid E P: "Responses to 1Mi-X-2Mi-P-P, HCP <= 16" -> require: (none)
[04:22:07.928] [DealFinder] N Clubs: tightened from [0-13] to [3-13] using HandUnderstanding
[04:22:07.928] [DealFinder] N HCP max: tightened from 21 to 16 using HandUnderstanding
[04:22:07.928] [DealFinder] N constraints: HCP[12-16], Suits=C[3-13], Trivial=False
[04:22:07.929] [DealFinder]   Expression (3271 chars): ((HCP >= 12 & HCP <= 21 & (ClubLongest OR ExplicitShape = 4=3=3=3 OR ExplicitShape = 3=4=3=3 OR ExplicitShape = 4=4=2=3)) OR (RuleOf >= 21 & HCP <= 21 & (ClubLongest OR ExplicitShape = 4=3=3=3 OR ExplicitShape = 3=4=3=3 OR ExplicitShape = 4=4=2=3))) & 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 & (DiamondLongest OR ExplicitShape = 4=4=3=2)) & NOT (HCP >= 12 & HCP <= 21 & H >= 5 & H > S & HeartLongest) & ...
[04:22:07.929] [Timing] N precompute: 7ms mem d=177KB (total=1496MB)
[04:22:07.932] [DealFinder] E HCP min: tightened from 0 to 10 using HandUnderstanding
[04:22:07.932] [DealFinder] E constraints: HCP[10-16], Suits=(none), Trivial=False
[04:22:07.932] [DealFinder]   Expression (1903 chars): (DoubleThenOvercall(H) OR DoubleThenOvercall(D) OR DoubleThenOvercall(S) OR DoubleThenOvercall(D) OR (HCP >= 12 & S >= 3 & H >= 3 & D >= 3 & D <= 5 & C <= 3 & S Add H >= 7) OR (HCP >= 10 & S >= 4 & H >= 4 & D >= 3 & C <= 1) OR HCP >= 18) & NOT (HCP >= 6 & HCP <= 11 & H >= 6 & 2 of Top 5 Honors in H & LoserLevel <= 3) & NOT (HCP >= 6 & HCP <= 11 & S >= 6 & 2 of Top 5 Honors in S & LoserLevel <= 3) & NOT (H >= 7 & LoserLevel >= 3 & HCP <= 13) & NOT (S >= 7 & LoserLevel >= 3 & HCP <= 13) & NOT (H >= 7 & HCP <= 10 & Single Suited & LoserLevel >= 4) & NOT (H >= 8 & HCP <= 10 & 1 of Top 5 Honors in H) & NOT (H >= 8 & LoserLevel >= 4 & HCP <= 13) & NOT (H >= 7 & LoserLevel >= 4 & HCP <= 13 & 2 of Top 4 Honors in H) & NOT (H >= 7 & HCP < 14 & LoserLevel >= 4 & S < 5) & NOT (S >= 7 & HCP <= 10 & Single Suited & LoserLevel >= 4) & NOT (S >= 8 & HCP <= 10 & 1 of Top 5 Honors in S) & NOT (S >= 8 & LoserLevel >= 4 & HCP <= 13) & NOT (S >= 7 & LoserLevel >= 4 & HCP <= 13 & 2 of Top 4 Honors in S) & NOT (S >= 7 & HCP < 14 & LoserLevel >= 4 & H < 5) & NOT (D >= 8 & LoserLevel >= 5) & NOT (D >= 8 & HCP < 14 & LoserLevel >= 5 & H < 5 & S < 5) & NOT (RealSolid(D) & Losers = 1) & NOT (RealSolid(D) & Losers <= 0) & NOT (RealSolid(H) & Losers = 1) & NOT (RealSolid(S) & Losers = 1) & NOT (RealSolid(H) & Losers <= 0) & NOT (RealSolid(S) & Losers <= 0) & NOT (S >= 5 & H >= 5 & S <= 6 & H <= 6 & LoserLevel >= 2 & TP >= 8) & NOT (H >= 5 & D >= 5 & LoserLevel >= 3 & TP >= 10) & NOT (D >= 7 & HCP < 12 & LoserLevel >= 4 & 2 of Top 4 Honors in D & H < 5 & S < 5) & HCP <= 16 & NOT DoubleThenOvercall(D) & NOT DoubleThenOvercall(H) & NOT DoubleThenOvercall(S) & NOT (HCP >= 18 & HCP <= 21 & Stopper in C) & NOT (DoubleThenOvercall(H) & Safety3Level) & NOT (DoubleThenOvercall(S) & Safety3Level) & NOT (HCP >= 22 & HCP <= 27 & Stopper in C) & NOT DoubleThenGame(H) & NOT DoubleThenGame(S) & NOT ExtraTakeout(C)
[04:22:07.932] [Timing] E precompute: 3ms mem d=144KB (total=1496MB)
[04:22:07.934] [DealFinder] S HCP max: tightened from 37 to 10 using HandUnderstanding
[04:22:07.934] [DealFinder] S constraints: HCP[8-10], Suits=C[4-13], Trivial=False
[04:22:07.934] [DealFinder]   Expression (817 chars): C >= 4 & TP >= 7 & TP <= 10 & HCP >= 8 & NOT (HCP >= 6 & DiamondLongest & NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame))) & NOT (BestMajor(H) & H >= 4 & TP >= 6 & NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame))) & NOT (BestMajor(H) & H >= 5 & HCP >= 10) & NOT (BestMajor(S) & S >= 4 & TP >= 6 & NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame))) & NOT (BestMajor(S) & S >= 5 & HCP >= 10) & NOT (TP >= 6 & HCP < 10 & H >= 6) & NOT (TP >= 6 & HCP < 10 & S >= 6) & NOT (HCP >= 7 & HCP <= 10 & C >= 5) & NOT (TP >= 6 & HCP < 10 & H >= 7) & NOT (TP >= 6 & HCP < 10 & S >= 7) & NOT (HCP >= 3 & HCP <= 6 & C >= 7) & NOT (TP >= 6 & HCP < 10 & H >= 8) & NOT (TP >= 6 & HCP < 10 & S >= 8) & NOT (SuitPoints(C) > 12 & HCP >= 9 & C >= 5 & H <= 4 & S <= 4) & NOT (HCP >= 12 & D >= 5)
[04:22:07.934] [Timing] S precompute: 1ms mem d=88KB (total=1496MB)
[04:22:07.943] [DealFinder] W HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from E's own cards, not advertised by the auction).
[04:22:07.943] [DealFinder] W constraints: HCP[0-11], Suits=(none), Trivial=False
[04:22:07.943] [DealFinder]   Expression (4136 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:22:07.943] [Timing] W precompute: 8ms mem d=211KB (total=1497MB)
[04:22:07.943] ENDGAME_WORLD: #1 (w=1.00) N:86... J..6. ...Q8 ..J9.
[04:22:07.943] ENDGAME_WORLD: #2 (w=1.00) N:86... J..9. ...Q8 ..J6.
[04:22:07.943] ENDGAME_WORLD: #3 (w=1.00) N:86... J..J. ...Q8 ..96.
[04:22:07.943] ENDGAME_WORLD: #4 (w=1.00) N:86... ..96. ...Q8 J..J.
[04:22:07.943] ENDGAME_WORLD: #5 (w=1.00) N:86... ..J6. ...Q8 J..9.
[04:22:07.943] ENDGAME_WORLD: #6 (w=1.00) N:86... ..J9. ...Q8 J..6.
[04:22:07.943] ENDGAME: Evaluating 2 candidates across 6 worlds (totalWeight=6.00, rankByScore=True):
[04:22:07.943]   S6: defeat 100 % (6.0/6.0), makes 100 % (6.0/6.0), avgDeclTricks=8.0, dist=[8:6.0]
[04:22:07.943]   S8: defeat 100 % (6.0/6.0), makes 100 % (6.0/6.0), avgDeclTricks=8.0, dist=[8:6.0]
[04:22:07.944]   IMP S6: 0.00
[04:22:07.944]   IMP S8: 0.00
[04:22:07.944] ENDGAME: Selected S8 (100 %)
[04:22:07.944] ENDGAME: CLAIM -- best line wins all 2 remaining tricks in every world
[04:22:07.944] Tied cards: S8,S6 -- invoking NN directly on tied set
[04:22:07.944] === FindBestCardAsync: Position=N, CardsPlayed=44 ===
[04:22:07.944] Finding card to play for N: AK86.KQ87.Q3.743
[04:22:07.944] Relative position: Declarer, Contract type: Suit
[04:22:07.944] Cards in hand mask: 2
[04:22:07.945]   Candidate: xS = 64.2 %
[04:22:07.945]   Candidate: 8S = 35.8 %
[04:22:07.945] Selected: S6 (64.2 %)
=== Board DailyMP2026-08-30_b8_t2 (API) - DDS Engine (N) - 2026-08-30 04:22:08 ===
=== Board DailyMP2026-08-30_b8_t2 (API) - Neural Network Engine (N) - 2026-08-30 04:22:08 ===
[04:22:08.064] Activated: 2 tricks remaining, threshold=5
[04:22:08.064] ENDGAME: Hidden cards=3 between E and W, need 1+2, declarer tricks=6, defense tricks=5
[04:22:08.065] ENDGAME: Contract=2C, Declarer=N, ToPlay=S, Trump=C
[04:22:08.065] ENDGAME: S [- - - CQ8]
[04:22:08.065] ENDGAME: N [S8 - - -]
[04:22:08.065] ENDGAME: Hidden [- - DJ96 -]
[04:22:08.065] ENDGAME: Current trick (2 cards, led by N): S6 SJ
[04:22:08.065] ENDGAME: 3 valid worlds (after void filtering)
[04:22:08.065] [DealFinder] Explained bid W P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none)
[04:22:08.066] [DealFinder] Explained bid N 1C: "Opening Bid, RuleOf >= 21, HCP <= 21, (ClubLongest OR ExplicitShape = 4=3=3=3 OR ExplicitShape = 3=4=3=3 OR ExplicitShape = 4=4=2=3), HCP >= 12" -> require: (none)
[04:22:08.066] [DealFinder] Explained bid E X: "Responses to 1Mi, HCP >= 18, HCP >= 12, S >= 3, H >= 3, D >= 3, D <= 5, C <= 3, S Add H >= 7, HCP >= 10, S >= 4, H >= 4, C <= 1, DoubleThenOvercall(H) OR DoubleThenOvercall(D), DoubleThenOvercall(S) OR DoubleThenOvercall(D)" -> require: (none)
[04:22:08.067] [DealFinder] Explained bid S 2C: "Responses to 1Mi-X, C >= 4, TP >= 7, TP <= 10" -> require: (none)
[04:22:08.067] [DealFinder] Explained bid W P: "Responses to 1C-X-2C, Responses to 1Mi-X-2Mi, True" -> require: (none)
[04:22:08.068] [DealFinder] Explained bid N P: "Responses to 1Mi-X-2Mi-P, NOT (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame)" -> require: (none)
[04:22:08.068] [DealFinder] Explained bid E P: "Responses to 1Mi-X-2Mi-P-P, HCP <= 16" -> require: (none)
[04:22:08.075] [DealFinder] N Clubs: tightened from [0-13] to [3-13] using HandUnderstanding
[04:22:08.075] [DealFinder] N HCP max: tightened from 21 to 16 using HandUnderstanding
[04:22:08.075] [DealFinder] N constraints: HCP[12-16], Suits=C[3-13], Trivial=False
[04:22:08.075] [DealFinder]   Expression (3271 chars): ((HCP >= 12 & HCP <= 21 & (ClubLongest OR ExplicitShape = 4=3=3=3 OR ExplicitShape = 3=4=3=3 OR ExplicitShape = 4=4=2=3)) OR (RuleOf >= 21 & HCP <= 21 & (ClubLongest OR ExplicitShape = 4=3=3=3 OR ExplicitShape = 3=4=3=3 OR ExplicitShape = 4=4=2=3))) & 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 & (DiamondLongest OR ExplicitShape = 4=4=3=2)) & NOT (HCP >= 12 & HCP <= 21 & H >= 5 & H > S & HeartLongest) & ...
[04:22:08.076] [Timing] N precompute: 7ms mem d=185KB (total=1505MB)
[04:22:08.079] [DealFinder] E HCP min: tightened from 0 to 10 using HandUnderstanding
[04:22:08.079] [DealFinder] E constraints: HCP[10-16], Suits=(none), Trivial=False
[04:22:08.079] [DealFinder]   Expression (1903 chars): (DoubleThenOvercall(H) OR DoubleThenOvercall(D) OR DoubleThenOvercall(S) OR DoubleThenOvercall(D) OR (HCP >= 12 & S >= 3 & H >= 3 & D >= 3 & D <= 5 & C <= 3 & S Add H >= 7) OR (HCP >= 10 & S >= 4 & H >= 4 & D >= 3 & C <= 1) OR HCP >= 18) & NOT (HCP >= 6 & HCP <= 11 & H >= 6 & 2 of Top 5 Honors in H & LoserLevel <= 3) & NOT (HCP >= 6 & HCP <= 11 & S >= 6 & 2 of Top 5 Honors in S & LoserLevel <= 3) & NOT (H >= 7 & LoserLevel >= 3 & HCP <= 13) & NOT (S >= 7 & LoserLevel >= 3 & HCP <= 13) & NOT (H >= 7 & HCP <= 10 & Single Suited & LoserLevel >= 4) & NOT (H >= 8 & HCP <= 10 & 1 of Top 5 Honors in H) & NOT (H >= 8 & LoserLevel >= 4 & HCP <= 13) & NOT (H >= 7 & LoserLevel >= 4 & HCP <= 13 & 2 of Top 4 Honors in H) & NOT (H >= 7 & HCP < 14 & LoserLevel >= 4 & S < 5) & NOT (S >= 7 & HCP <= 10 & Single Suited & LoserLevel >= 4) & NOT (S >= 8 & HCP <= 10 & 1 of Top 5 Honors in S) & NOT (S >= 8 & LoserLevel >= 4 & HCP <= 13) & NOT (S >= 7 & LoserLevel >= 4 & HCP <= 13 & 2 of Top 4 Honors in S) & NOT (S >= 7 & HCP < 14 & LoserLevel >= 4 & H < 5) & NOT (D >= 8 & LoserLevel >= 5) & NOT (D >= 8 & HCP < 14 & LoserLevel >= 5 & H < 5 & S < 5) & NOT (RealSolid(D) & Losers = 1) & NOT (RealSolid(D) & Losers <= 0) & NOT (RealSolid(H) & Losers = 1) & NOT (RealSolid(S) & Losers = 1) & NOT (RealSolid(H) & Losers <= 0) & NOT (RealSolid(S) & Losers <= 0) & NOT (S >= 5 & H >= 5 & S <= 6 & H <= 6 & LoserLevel >= 2 & TP >= 8) & NOT (H >= 5 & D >= 5 & LoserLevel >= 3 & TP >= 10) & NOT (D >= 7 & HCP < 12 & LoserLevel >= 4 & 2 of Top 4 Honors in D & H < 5 & S < 5) & HCP <= 16 & NOT DoubleThenOvercall(D) & NOT DoubleThenOvercall(H) & NOT DoubleThenOvercall(S) & NOT (HCP >= 18 & HCP <= 21 & Stopper in C) & NOT (DoubleThenOvercall(H) & Safety3Level) & NOT (DoubleThenOvercall(S) & Safety3Level) & NOT (HCP >= 22 & HCP <= 27 & Stopper in C) & NOT DoubleThenGame(H) & NOT DoubleThenGame(S) & NOT ExtraTakeout(C)
[04:22:08.079] [Timing] E precompute: 3ms mem d=152KB (total=1505MB)
[04:22:08.081] [DealFinder] S HCP max: tightened from 37 to 10 using HandUnderstanding
[04:22:08.081] [DealFinder] S constraints: HCP[8-10], Suits=C[4-13], Trivial=False
[04:22:08.081] [DealFinder]   Expression (817 chars): C >= 4 & TP >= 7 & TP <= 10 & HCP >= 8 & NOT (HCP >= 6 & DiamondLongest & NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame))) & NOT (BestMajor(H) & H >= 4 & TP >= 6 & NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame))) & NOT (BestMajor(H) & H >= 5 & HCP >= 10) & NOT (BestMajor(S) & S >= 4 & TP >= 6 & NOT ((CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame))) & NOT (BestMajor(S) & S >= 5 & HCP >= 10) & NOT (TP >= 6 & HCP < 10 & H >= 6) & NOT (TP >= 6 & HCP < 10 & S >= 6) & NOT (HCP >= 7 & HCP <= 10 & C >= 5) & NOT (TP >= 6 & HCP < 10 & H >= 7) & NOT (TP >= 6 & HCP < 10 & S >= 7) & NOT (HCP >= 3 & HCP <= 6 & C >= 7) & NOT (TP >= 6 & HCP < 10 & H >= 8) & NOT (TP >= 6 & HCP < 10 & S >= 8) & NOT (SuitPoints(C) > 12 & HCP >= 9 & C >= 5 & H <= 4 & S <= 4) & NOT (HCP >= 12 & D >= 5)
[04:22:08.081] [Timing] S precompute: 1ms mem d=72KB (total=1505MB)
[04:22:08.090] [DealFinder] W HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from E's own cards, not advertised by the auction).
[04:22:08.090] [DealFinder] W constraints: HCP[0-11], Suits=(none), Trivial=False
[04:22:08.090] [DealFinder]   Expression (4136 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:22:08.090] [Timing] W precompute: 9ms mem d=213KB (total=1505MB)
[04:22:08.090] ENDGAME_WORLD: #1 (w=1.00) N:8... ..6. ...Q8 ..J9.
[04:22:08.090] ENDGAME_WORLD: #2 (w=1.00) N:8... ..9. ...Q8 ..J6.
[04:22:08.090] ENDGAME_WORLD: #3 (w=1.00) N:8... ..J. ...Q8 ..96.
[04:22:08.090] ENDGAME: Evaluating 2 candidates across 3 worlds (totalWeight=3.00, rankByScore=True):
[04:22:08.090]   C8: defeat 100 % (3.0/3.0), makes 100 % (3.0/3.0), avgDeclTricks=8.0, dist=[8:3.0]
[04:22:08.091]   CQ: defeat 100 % (3.0/3.0), makes 100 % (3.0/3.0), avgDeclTricks=8.0, dist=[8:3.0]
[04:22:08.091]   IMP C8: 0.00
[04:22:08.091]   IMP CQ: 0.00
[04:22:08.091] ENDGAME: Selected CQ (100 %)
[04:22:08.091] Tied cards: CQ,C8 -- invoking NN directly on tied set
[04:22:08.091] === FindBestCardAsync: Position=S, CardsPlayed=46 ===
[04:22:08.091] Finding card to play for S: T73.432.72.AQJT8
[04:22:08.091] Relative position: Dummy, Contract type: Suit
[04:22:08.091] Cards in hand mask: 2
[04:22:08.092]   Candidate: 8C = 76.0 %
[04:22:08.092]   Candidate: QC = 24.0 %
[04:22:08.092] Selected: C8 (76.0 %)