== N=3
N=3: 3-subsets=1, total choices 3^1=3
choices without constrained K_3: 3
choices with a constrained K_3 (pruned, counted arithmetically): 0
accounting check: leaves + pruned = 3 (should equal 3^1 = 3)
real 0.49
user 0.00
sys 0.00
== N=4
N=4: 3-subsets=4, total choices 3^4=81
choices without constrained K_3: 69
choices with a constrained K_3 (pruned, counted arithmetically): 12
accounting check: leaves + pruned = 81 (should equal 3^4 = 81)
real 0.00
user 0.00
sys 0.00
== N=5
N=5: 3-subsets=10, total choices 3^10=59049
choices without constrained K_3: 2124
choices with a constrained K_3 (pruned, counted arithmetically): 56925
accounting check: leaves + pruned = 59049 (should equal 3^10 = 59049)
real 0.00
user 0.00
sys 0.00
== N=6
N=6: 3-subsets=20, total choices 3^20=3486784401
choices without constrained K_3: 0
choices with a constrained K_3 (pruned, counted arithmetically): 3486784401
accounting check: leaves + pruned = 3486784401 (should equal 3^20 = 3486784401)
real 0.02
user 0.01
sys 0.00
