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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info h'T\| ]w]CAVA_Automata:threads=2elapsed=75.360cpu=110.400gc=6.740factor=1.467zXZ ִF ! *a] ŗXf1-/6vRZxY{"QhEA m=S>kM&`x:@P\0YDܞ\a@kQr:ǀ& ehhzے}][@Ah%PcDxayf~`Sh7cgQ-=&*xEh\Jf614n3'lB"'Ò,dU2Ԧf?kmrºc0*c/1{*PΕ['1؞z{-6~^%QT @lDl]ab_ǽ!x'En%Cy|BzJ%W7M{IҌkTԨ"-}f+ `,f4o^7$e[D/9/\nImL:jbaKlBxob8'8]Hq1/ZHnV UohO}%]xQu䡿!06@`{G*t2u\_0)aT2y#\2&(zc!ȹT,]pPfE6Vz @a761( ܴ_cukGa]{g0Ls:qtб ۜ 6e§}Ng7
|YKr'Hchu} tR_ k8[f\h(V\4Zv&ϕkTyI ,y3 Nu,y%gu~'n7IŞf_E-0ThQH5.M}H8CA d_>@x^;W+s~:vknYD}BϮo 3?Cd^zsxCP-KQ߅f%ț2dMGs&)كAh^w7Yvu\ l0ci5e:ı;&-]5p=@fݺ$2tE~~N]sDŽ'CB2m]nP8{-JAzZ%wox@{)O .&&