SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info hh <$ ]%]CAVA_Base:threads=4elapsed=6.128cpu=21.500gc=1.028factor=3.517zXZִF! ]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5I=Ik6jU7Iwc߶0q"ȭIzԿbMW+aN44h:󫳯 Zk}y?kq2>-MsB g.|>3떱4xVA~o3~q\}nŤ;/be[GtuyMGTTX%ͳ!/ s{q{_O[Q.VgOB4Y|✘Sj#o/?h/ǽy XY.k_aPm_W_ 7vw}ٟͮfw32dX(z71 r'op/ï/OvFCeO캲H,㉠bh®DžmyK˓Q'P7 Rӄ\^;]09b'xgd&Kϛ ͖MbU+ot>BK?nkzTNP Pr*X5}CN (ѶldY8 Og,;\OWT@ rz,w]OL81qQɉA0`|F/z!O\Fjx_!n,xn7$9gYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2?2Z٬|Uޅ NMwmN3I^"eᬪM^DLYųo?HDGOAzU HZ]g6?"C8|83Ia6FG B )^vkP+PXmXĝޏV0AİJZȸmյ{pB^9L;FƊDgחE9*5C7s(2CV˃OS ܔu(7 $֢0K!T1/M8.c 0 %Q)JgTXڣIE0}:{IX ldY(O9lM hu^h BcOGX v{yK/q#P+;K0#Kƅ^)yRbT2"7P6'ܺW'.X we Y%i56R:bꄛA]"0{'g>C7Sf d4R֓jܟĀ\aTiIܜRNgҁ;ދvw3i)>/pUV{Rc !7א?Mv %Y$k1>@lyCTp.?_]̕$^"plt٤ڕ^[n\U\FkFO֩?f#|%h st2Lb})uQ+6k b0ⷍѪSiz (~74*.ԑa3ƴbj2?`msFPuAqu;mu_ʨp0eֲz Xh{i'\M~җ.aC9a+CFB7A2`?#,T-u, SMmrz{ϊ~Ez7Hk&gYZ5b3b638c6e4f2823c502fc2833a6b0cb74a2ee111795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b b15095bc975f1db30190f9987ecdc07992115d11 2573ec8a11e13efc9effdb7faf84c87b54d36a0e e75e4b6f2f0354fddd10bf7070028f51b150c3a20498270a40dd6caa17ca931072ca82d84a1fc224   CAVA_Base