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 u l, ]%]CAVA_Base:threads=2elapsed=8.027cpu=15.632gc=0.864factor=1.957zXZִF! @]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=?r ¦նq+!}Yi2eF+&R_a?@Wzy|%%4\JW,sNdl~TWQ!wŴ.1goU9p -=Մ*"y@;NQo u "hF 4l\P%px,x$Ukլ/0 I*r &>,C^HmjC89JR^˅ñ8w ͷ?moE2r \.,T|٭y\}_!.f\9Ebu U#~OԅpFc{fZl|0ٱgYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2b\.lҷ{?;uKM)Mlм]A/Tnȅfē@J`Ԍ_2rcpٓ  "Ucgf7L;︬әRoP p{t(Q4Yxz,i79+{oȰ,.╜ax!y. s|F$3L,WJ'׫ sp Ѭ~!(?@?G1)T5N*HohF(w7iFPsxb&:gaG CFrF;qsW?_F\;Z,7v-Xd ]wY2: pl|˞5蔂"0_C p E}±gYZ7zXZִF! &{M]ŗXi%;*.,'^ĵ?q2VNQs&NG)G$]d=,-[-0910\ o3J.Ez0EJ} AfBKciYV_* 1D!QtV"&)EƽbBm[?Р6Z< <6Ո]e@@[kEiTOʓdpZ Qغ@BΦe>"˭k1H_a)@S_ڂfTa,!%Ciιs&=Vq;nΡLnȱgYZc02b4d95e552784b1e0ddf89cf4b3f1601437aa9d14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad 41bf617aa4d7e32a77bca29378e2936da391443b b396f7675d9566ea4d5ff175d1ffc57e45f1b226 4a8146120a7e41fa52541764a37587b39c158c7ed4083f2e5182b8bb0524b9e0f62ba37e6c161b41   CAVA_Base