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 z $OjxiKGnC)p?y'E;lx@6%+NSXLsQg@ZMt![q/S(r?2x n=UYB!੿O]C!NaDw u$#=Y"{0׍iy|TOֲ(*Dhݷzv?~ {`:sCIҁmeJnL+ ,7'p1$~LKK. ӽoզmT8IJ=]&t"WDM"u+\oe.x)(gYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.ATT3$q: :H(lɀhԅ{>g+O*:wHʰeHtGY.Be5..kDž郄:,Ru0|&dDcZ*_=jb2uz//-L-,HzF"1lenlV#ݏ4UoyL!mWwN񘭫ns~8U}%#:Y*#e_rip[Cl)* 3r?!nܤ}@؋m=t5/}~%q i[q!N RB^  G4\>7IS .gYZ7zXZִF! 2[]ŗXi%@`lJ( Kd hts-+b-]h J,|=R]^)NmS^o!F# bCϒ(l+& {ڷ+E?퍴HUvTCJ4)$˳g r{@!G:baN鋽]$8dӻ&ѱJz b'%PĮ)ufx]O,^أ7t1;a}OMj#!{rd{N/+Ʀ%G n$7)0LX CS%!)4>x#@w[ћƂ+S,:Qy2R:E-WUҪC*|z7am i<= 6])dcl6-nȈ9MOnmMx-ݘI .*8NXo"/iDni;4;x+ k& SP_?1h#bM+ƂȸJ=~ITP Ĥ }vZGuWL3kBj7= w3tt+P򕿓"{լL~I"g_lNE1 q"zsȷaX]s}Yu>vT?RyxZovM'\~˩%.`:-cƝByGr|BK?U; Y4ؐd F;#mEy`ݖ\i8-٪򈹕%xu f% ?VnZڬ4Vrx-!`iWXK ~,ķ`?i&@>~ K5ҹuV]EcK$3