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 D4T ]/ SIFPL:threads=4elapsed=37.791cpu=112.104gc=3.820factor=2.977zXZִF! -.]ŗXf[&N} wI>>|VLڿu@jq\\_q:U0p#q="KȥڑKWxv!'L2kFc[7}V 7z}V+̠S$?ڛJ`r#sU4m 4 [PltfaI"+L'SzhFrNrLbk0v`Sj}) eYFC&pm?tD('ķ,iNqS(fnt'T`QxG<^60q #v,r6?׺CKGr 1nM{Av"XW4%@uB8i|P{ާMl=DIn^'>Pn:.ʠ44^؟X43( iޛ-J/ "g<:e>Jn+ê+E8:a3ݛTT\ʑ;4Pu}fҚSef; vӆ"}4=y{%ƣcۚyLsj45ĴȓOv <%CܣVi*P"M)úp/s?vo}M|?Qc hȕە2.| 鷔y{R~Ygj:uoUVԒ ]J0s`dɬq¯Pki풯o>U&i׽^׆6>_-l#[ A&]^h0^ ZgYZ7zXZִF! ]ŗXiɟիxWuۖ?oU^MNEݳEAł L | c(A*=X6e$n;3lTFHX{"ret#fV *LFSt+yk0gপov@ ۲dB7.)){HFCMXQjl~q8euB%x%?SH88r旺txN7,MfFc@cV0(;/ŅΩ̪q+[r?֋30NH- K7ASH& =NbUH!W=W6GFy=E#U2l`2|LRRm7!$i.urjni! @C9%DÊ.zOMߚ nC½[{쏳3{v*oA䐓`ҵRJc~1'ͳ~=C-j4n#ž{ |@x,'&frw$dI| ۚײ]PABƴl4ět\X[Q$f9"Yaĥ^;@%~c)۴4YAZ>1Vr+*A8Gu"#kY-c4ɦ }qRFW<3mуxo39 TK6Q5qCyW>@G"+#Q2M"D\$"33 >An%4uii&©Cԑa+tE^VCZxTkHaQ ܣס gH&њj&~ o3m=CSş7ʣ@yO;d|o5le7]N15]'ޅHi; EES5xSr+!9xM9Gi7!]` '<ƺ[́`ym|Xs!-^&WSn`a@" VZX,b1a" k>nnʞξ 0\߄h7#ZXѲ9U?M-ws-7y>yn*cB\䱵|Đ.S]iOcv @ikH8ch \V0-J;i1` gOu_RL7 d% >^g&MZ'?U+0 w`-\`#ˢlC>VTC/erW! VW!µy~KC\ί}L8&aXYi9 i+;U ,n(j_n{}$7^z[YJAx.oV06A5z,t[_Μ:IY9ɗ:t}<y{U`Ix8r%b.lW}g$O+3| [G)2A ;ي3W9PK6~HRt/5 h y<7b|(a9LAx@{RTeJ2F/P+/QVrtPkRd%' % c!TLu9S1Q|ľc{cU1mm'OkC4Ϝ`mgYZ9cc2a8dba42f2544f6fd0279506d8949c2bc35079cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d