SQLite format 3@ .;  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 wQ $ ]/ CryptoBasedCompositionalProperties:threads=4elapsed=9.578cpu=21.672gc=0.672factor=2.267zXZִF! ]ŗXf[&BPXߟMwS^iUf$%~1*k`H G , 1r*5soFvꔌzPlʃ=D#m'.ƵGǹ$>!Dh7: d H*].M:qC ,yu.Ei'oDK)v k*HLh ("AԮ}`gYZ7zXZִF! V]ŗXiɟ}LȒ$o2CakT-|s_?K]O )~lƝ̄,CF\f h X>؜$c;|C;&Jxa-<3ߨ6犁dCIĒI. [h)mَHfH^u _C'gYZ7zXZִF! J]ŗXi%I o7?R58ɀ?pa0Jg@}a&"WʉԐ?{Gil]r G9W[ȓ,.2ELafN ԄϛS$;`\<I#'YEb %A3͎Ƃ{َd:M OPVcfeSKFG8Јɀ zw&eHvApm9Vrѷ;!gvMS 3iBOJ3~N*Lz^@Qo|/썥O: H$?{㌼wB^jl`F BQq4-n]l5z5⼁OkhdN{`S,glEbig!/c km17bےQH(~`3mEқ>(_b3ޠfW D-0JSMk /Ô[6 = g`CIκIo$wd:-_k;!+/:fl}zN%\QS;67`l:V5I"Dd툣!tVm,-lShlѢe֗?6s9Wo 51xuON ]q|4'L)2Vn/*ܹt?P>$ ]ߋxbnIrLWg86(8&+,M^sRK~g)mLX{QoA.Fβ#|>,{: Uks+[eU?*<יߊxE.LE< %Kcw,uaAs*ylKѕ0z$RL"