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 = \|\ ] IOA:threads=6elapsed=7.630cpu=33.096gc=1.400factor=4.347zXZִF! %]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K kg(^Ho\*)DSHH]@<9)_S81Q,쁏[ mgew#`pe=>M+Ɲ7$tCԨ)`\ o(:M.c%VAR4uo4tN,8ݜePX/ t'J!.0uł#rPWD^~ !d4ϑ+מ.5S_@.=~_b1]_w!\Ly^t˭)ˡ7o4.'仙M1aN2o YrZ*Lyzac?,o>|-)t?pQR\Ԕf87|xD:!= ńhc4.V4+9JbZiCdm;9kvg6X9"ZMԫw97uj;g!бgYZ7zXZִF! `u]ŗXiɟdN'LvH۹$vYkn17>)=%\zS&IKz岪~%IJ{Pm?##W M7O =⪁YerKV9pAw8c7E]ocq b#u M-V7DvI{ `ț1gYZ7zXZִF! /]]ŗXi%B J[WS:A |7+"aoi s4sՏ!+X aYϘ._ L*U%i9Quu"ch=IxVeG[&Z7c`tA^ t{DK,㐛:E4W+)M`vT%˒a"wgm(H KեylCul F ( yya*Mo Iy3qh>=K,S6g}f󃳌u"_^PQXWը;R뻪הP@"υuY[K(H/mMeBBxzTLt\ ["H#P)`|dg u!6ATۃ\r:җY7 .4UjԚEm7HCR`+?.֢y<>э0`vňBQ(CF7qgQKV2f+_K "5ǟ]'=80t}逽H8LdY66"hnN!aL^bzFqV%'Xĸ@Xr^+U43dn`MB#&Z"YׯV-v2ˎ  ^ƠgYZ9156c400b78c308894aeb0dddba3e36ca1ebdb83854150d242a026a9a55d66c1a84d9e6fcd361b2f 4058a9d1c4ae0ea2523ff722e5dba8fe58289abf 738ac06bce9802613f2c6da45dd13bcb90b312c7  IOA