From e56efc19f71898d798c44b5955fe74451ee0fc6f Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sun, 12 Jul 2026 10:07:23 -0300
Subject: lexicographic order proven well founded, checker extracted and
 verifying admission

---
 theories/.lia.cache | Bin 268 -> 514 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

(limited to 'theories/.lia.cache')

diff --git a/theories/.lia.cache b/theories/.lia.cache
index 03484cb..239133a 100644
Binary files a/theories/.lia.cache and b/theories/.lia.cache differ
-- 
cgit v1.2.3