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  ,%d ] MSO_Examples:threads=2elapsed=76.674cpu=143.748gc=4.788factor=1.877zXZִF! ,]ŗXf1-/6vR[UWdT-]!"Cu"0Lm% QWp37JDLqqyX]z?~`æUCXM&8xUhN:sB"kq*g`-wέjB{=Y8ƽ]y߼v ^DP)PTRko+`Ai#MLP(6gPcC_ϸXЪ+6 Ԋf*j^Eߧ:?Kioius%=`iTiF<̰z$igYZ7zXZִF! }]ŗXiɟ1˦r*E$<Ћ *Έ'&`CqOwG % MSO_Examples  mDUgz3R2Դ:KgOqmsg0Џkm_>+>gYZ7zXZִF! g}]ŗXi%;BU8=8XDap,6C ^d3wYxP{О(q(* qdvfa?b %.~鼨׼ZYu=P}뤝*\.F4N=(TMo@ R9O}Նe* _Nzƹ/G񯾺cѶA0I]4lwK]Ñ9 23hP,b=vҪh b#mK3;{φ0,KZ^kddv׋Ėb.¶5x&:81Ozai4%+ LAli?v V r.'m7CRuF$By @qQ4`ؘW$EӱDd6{6s ;H\GJ (pU 7+_fD2": B<Ğ\Sm[aM)OsB$;農3%S?j7g <(R[Z6)+pi$53x?|PI/z]:("/S墛{qɽ`]#6dCd ?x{:6`E~GO:^P>e΃﨣).I0,ې,hI+H(+t[[Ј21c9ywhUYO{^ϒ\xC.Ed Q )Yx|UX$HIArd'fn1[ 0kt-zI P{J/\}c޾U͎S2,aiP/$m2Fj̮2 .ՠj~𕢂g4$9Ɋc"8@Y6旝8(vnd{n tZnGulАN0vc&"B򣻰m1/~e^(ִ(`,bƦ"tǵa8|%o ޕ-\AN6<^*ؠßsula3&QH~g{/VVOXhduS~<:BZ%iTQq4Bj;[͉Ap0wtFQ\04+ %}b@>m{wqp4֓iv&pLq1e&30Zf71l1.Ϸe)n_&49AA:+rH%ޱQb"Iۤ|;(TÀիR +ӓ'=ھS-*s`X+va{8>֥[y9r~Qoczp,9( kKz4X$u0y5:]@Pqy-q J`v}[rCK,7~DeI%[_' X^7R@-jh2ۅv9ֵH":\4lM^ghp=ݏ;`^uyAo.gJ$Ap>SIF],;49ytXK&_p!y96aAE<=B>1@~e r5ݨ˻qoHCq|3h2k9k\ptjG9/"Y|FPޔ:}oc\F ȇViۿ a N_C]?Am"DtKu8s2'ۦfdg/>lIaHDP/+82 gR['AT奖 GRa$tUI="WI+JH9q+52_/QPRPEba#{g/V8 !VFZnQ)\F9m{!pȉnl؛\澮 )F`ȅq 旫gRe :\7X*nɳwѧ1P7xYf"}Ag}zZ;B2BZ vK2-c02}L7*D(3דbΤN f KzC3!BbC?QYgRhKk'bD0*L ]dUā<4 WCb໎*|M{_* Gy< p-8C=">#>u Ǵ8ծ; D>rƢ^,y]BzϠ;f~溰QmQWoǷe RﺩQR흚,@N`Pڏ4̫89 Tժ*ϬL5uJq>G'v ,mU/\9qiޑtcꛅ'.ौ;m@g,})1w _ie@[J.0anwdbI|]qfmcHT Y$Y$9p <hgYZ58632fdc9f6da674c2dcfa48bd4153d6524252aaa70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 5a185bfa7ba59be3dd33901ea0fe4af5623a1965