tantraloka-a08 — 46 claims

• tal-a08-p01 — PARTIAL — tantraloka-a08 tal-a08-p01 (8.1-8.10) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p02 — PARTIAL — tantraloka-a08 tal-a08-p02 (8.11-8.20) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p03 — PARTIAL — tantraloka-a08 tal-a08-p03 (8.21-8.30) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p04 — PARTIAL — tantraloka-a08 tal-a08-p04 (8.31-8.40) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p05 — PARTIAL — tantraloka-a08 tal-a08-p05 (8.41-8.50) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p06 — PARTIAL — tantraloka-a08 tal-a08-p06 (8.51-8.60) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p07 — PARTIAL — tantraloka-a08 tal-a08-p07 (8.61-8.70) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p08 — PARTIAL — tantraloka-a08 tal-a08-p08 (8.71-8.80) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p09 — PARTIAL — tantraloka-a08 tal-a08-p09 (8.81-8.90) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p10 — PARTIAL — tantraloka-a08 tal-a08-p10 (8.91-8.100) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p11 — PARTIAL — tantraloka-a08 tal-a08-p11 (8.101-8.110) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p12 — PARTIAL — tantraloka-a08 tal-a08-p12 (8.111-8.120) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p13 — PARTIAL — tantraloka-a08 tal-a08-p13 (8.121-8.130) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p14 — PARTIAL — tantraloka-a08 tal-a08-p14 (8.131-8.140) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p15 — PARTIAL — tantraloka-a08 tal-a08-p15 (8.141-8.150) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p16 — PARTIAL — tantraloka-a08 tal-a08-p16 (8.151-8.160) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p17 — PARTIAL — tantraloka-a08 tal-a08-p17 (8.161-8.170) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p18 — PARTIAL — tantraloka-a08 tal-a08-p18 (8.171-8.180) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p19 — PARTIAL — tantraloka-a08 tal-a08-p19 (8.181-8.190) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p20 — PARTIAL — tantraloka-a08 tal-a08-p20 (8.191-8.200) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p21 — PARTIAL — tantraloka-a08 tal-a08-p21 (8.201-8.210) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p22 — PARTIAL — tantraloka-a08 tal-a08-p22 (8.211-8.220) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p23 — PARTIAL — tantraloka-a08 tal-a08-p23 (8.221-8.230) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p24 — PARTIAL — tantraloka-a08 tal-a08-p24 (8.231-8.240) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p25 — PARTIAL — tantraloka-a08 tal-a08-p25 (8.241-8.250) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p26 — PARTIAL — tantraloka-a08 tal-a08-p26 (8.251-8.260) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p27 — PARTIAL — tantraloka-a08 tal-a08-p27 (8.261-8.270) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p28 — PARTIAL — tantraloka-a08 tal-a08-p28 (8.271-8.280) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p29 — PARTIAL — tantraloka-a08 tal-a08-p29 (8.281-8.290) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p30 — PARTIAL — tantraloka-a08 tal-a08-p30 (8.291-8.300) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p31 — PARTIAL — tantraloka-a08 tal-a08-p31 (8.301-8.310) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p32 — PARTIAL — tantraloka-a08 tal-a08-p32 (8.311-8.320) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p33 — PARTIAL — tantraloka-a08 tal-a08-p33 (8.321-8.330) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p34 — PARTIAL — tantraloka-a08 tal-a08-p34 (8.331-8.340) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p35 — PARTIAL — tantraloka-a08 tal-a08-p35 (8.341-8.350) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p36 — PARTIAL — tantraloka-a08 tal-a08-p36 (8.351-8.360) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p37 — PARTIAL — tantraloka-a08 tal-a08-p37 (8.361-8.370) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p38 — PARTIAL — tantraloka-a08 tal-a08-p38 (8.371-8.380) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p39 — PARTIAL — tantraloka-a08 tal-a08-p39 (8.381-8.390) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p40 — PARTIAL — tantraloka-a08 tal-a08-p40 (8.391-8.400) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p41 — PARTIAL — tantraloka-a08 tal-a08-p41 (8.401-8.410) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p42 — PARTIAL — tantraloka-a08 tal-a08-p42 (8.411-8.420) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p43 — PARTIAL — tantraloka-a08 tal-a08-p43 (8.421-8.430) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p44 — PARTIAL — tantraloka-a08 tal-a08-p44 (8.431-8.440) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p45 — PARTIAL — tantraloka-a08 tal-a08-p45 (8.441-8.450) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a08-p46 — PARTIAL — tantraloka-a08 tal-a08-p46 (8.451-8.452) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.