SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 i 4td ]%]CAVA_Base:threads=2elapsed=9.183cpu=17.752gc=0.964factor=1.937zXZִF! S]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=|غ6BCFgF Éԩ'X-`l  $/ n}{nlq"|i㛊3w=O3{T+C\Fx hD @g!$/u> Jij`3!zTZ݈ZMx2C,ݴT_rFs[&t-4׈,sAjMoEbJkXq00xR88ڮCڃLqc@6w=8&Y(6vX@5W2#a^?JmKQa%.#"WL>C‡c{,AaN.fNG`MRK#vSpo{sz9P t J>?tYaT~T-?3և 05)NIRy>QkHj< MtEv_X .bX[fmgYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2e6Q*ZZt9GH) Ufz0JȍvWcvUssăܢkOH8 bs~DY<ҦA k^-rxxLis̉s!oy̪au,Om!>Q(^; n~6YawQg. @Y|""(k# xmV:*B|Hbl?הU2ta4_#]9 j4P 7P89u< 2?HJ(ROw~( 5b!G>U:=.BE[|r[ҞyWaGd]iw^4VO*IΓ|OpHΠ'aҚ bTQhlq@4q䯟/ ஶ gYZ7zXZִF! -]ŗXi%>gI5jH'FcŚjW3bABA 4=F)+%;#ݵ + t4Zn<EcgÕ4/)jGH>~NŨIbT-FKR-}WYx3N.$0MXZDt[q ۄH7G|(,~pOTjJ5:("scL}UɏT{e~>6Mf8Rvj8Z@ŭU2CEz<\~)Kޭ &yzaJJaκ)Híf<b[x'BٟN>ewQh)#[s J8L "3Dp 6ۼӅ+~ɘP-fSCo/A'*zecq"[|_UU{#(3ׄ.f rԳ|TZA0gH=]oޗJ>[C[|d7NP*"sNvÚ,C]8hpxq2-eL"ּq&<pQ:<el# kp7y\ 1Gl)|AC4! `ű{f9\I_9\ճg^Y쾝q]@pqHz'MWڲ kGQ& Vdeh) )iZvUEg6wP:FO[^gYZdf9e11d0333ce8a2456ec77d33428c204cb65c9b767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 9bb744655530c7dac052b5a52b1435eefa0fe0a3 2091c877e07d76f0f3d31839cb52e618b255fe62 39ffbac790bb4e8e88d027df98cd6cfb5dfb48e3ccdfe22bbaac89d69fb1525ae1303f9a635fc48c   CAVA_Base