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 09 $ ]/ PSemigroupsConvolution:threads=2elapsed=20.926cpu=40.132gc=1.936factor=1.927zXZִF! $DA]ŗXf1-/6vR[2| Mꖯ)KqPfڪűJ:7gaȊ^YJ39sbZS#b2[z(Xy+^|? 7w`:Az-T|37nO;8^0@oE A  $`V-7j1]l#xqaxYyfv|BeRPQCir5 NR=(S:}b]CM D6c>BTڊrR ""ǐ)gyV~l7^a2(0&yeFGIOb]X^P,'m nÌ AgO5#KU~ ",F3 W.#b2&}l7rT]- g%9E1_ؚ_0xV_ 4o&ŝ~?7BR6\I F^2*0XhV+UyF)l{hS"eO))3a}B!&r\hL">WS̉Wt8o"\U/ډ_>;wXFUu;*swxݮK/xW 5%kb6j3XGM]Rc٫s+bsggYZ7zXZִF! v<]ŗXi%;C{:r;룕3]d;shɊ5v`(^6lS0ru~6_hLH'->v],xK, HYϻeȺ.F9X[L֍iQ+DQ){;kV-WQ:D$/CkO jd ~vvT+mD_6?ߖ;0?NfN 8l#m#MRdL|~J{Y%(l0<%}Ds8X hVZEJ! FVޜSEEv{y-fϦDGK?Q`,(sśE%h{mAB oZKhiq܏yx[v~^gzaQ K|@ޝi2(Ci1-gSrrh|im=gHRT=4UoûyQílƤ4w#2_koq:Ǒ #;X% >qRR9cY27F5HE.0}zhJ+۲`k:"?1d}sVh+&YI.7nΣp9G~ ynBྶHKh:}*i} `K{$qmjAbmpЀT8cU;n'%~LXOL W&Co.\$*5XꜾ"5iF*[2ri ^LlԁSG*1v=wL+YK6 qB'j JI`W<a ΨH_Aʯj;}gYKa8 #zQP Eh 24dsV^LI/Y3pw iR,ّVJ(^ O(`bwR^>> {ݮ>JEh{>KѺ"F0,gsZ,5-U8NjJ ڲ5/qc~_5cqHerʚ@-!(n3,un/q&>?W&D}HM R]e'Es&,+P( 1`C 4G8#k߹IP6̏ה SZUh@iݒKPBqo%`f Zr<ˏn(`17j_`Ik&4B;q*M"=[Up$hm6DPɄCur,':aF:ڤ%< (:rd/i+ ZZR9~kVPLFEndmJ442*?FMaׁf*q L|xXKC//C9'zOIBoP J] r2\N n<^h!QƳ~-4SS'sI ~}