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 +T4 ] BDD:threads=2elapsed=77.268cpu=137.352gc=2.848factor=1.787zXZִF! A]ŗXf1-/6vRZj3ZX7f\{4= l딳@-0:%>ĤxHZFPUG[W%"y[sh_ɧj$Č͜R Yf'ݷ'vt7|c#"]]W2qXn.?n-xR&kqҤ_\d I?XB' #H.ߏo)Grp̖U\OpљK|4]h$# s>޽5s]_Fޔ t,xp< 3'*;!P$i_EҸ7F{,8b_Ղ;u C.˹+`1"M{;*w>rpCܑa3&i *Jyqkx4!I&Fj/.Ҍrh]~ \LΥCڪZz y5"޹GM>ux Dzb?]P O_) =veym~3vWw4vȆ>!\<5eAT++=υl*hr*X?r!gYZ7zXZִF! \]ŗXi%>gI:x,6Xn6y& ܜ4CΫd"v#KBXRjWT=6I _xRv@5;ps!e؞o BKiĿ(`q hda1%jgUdh_Pmtd$/r ?/֌*lutj7F/RE0au_Muɦ{ |Ko*)*Nsm6Ǵ֜sGfcBDa29`׭6˧ ~w1q)%-v W"`mM-iOq(/B}j@OYgq"~L5 '[G]ܯ&IE貐xŘ>/UǛM!Ϸ ?k˰=j}ٮC--HUIm[EYw/)\,%@iRX\+)Eek\xeRX%\D>k8tڦI KzBUg9- >ZgPC.g3t^_oY*dOV\fh'2YsSE^*`ɢݦ gՇ`%;.UI|dkF Ft3C!dԘnE;>T.˨]I%>-x)ē \zf QQ5)vZp9i-cč'^wam+5i7iWuZl6˶Jv#T0Un)/i$#[͸Ta:SG6%ijZު!%8NJB M#1@Тuc#anB`XD !=B'W9!ܡT?vr^["V!(~.3TS̽!M0qk$o(8T2 5D,gP.C=^3Z fntrS $FۡY fŕ1XóHlMKδJ`1c$T홪,Z)(FPSpHP*%aغ%޺zb[,C^LR3pyb}9.FnO6NWz+av-1)EXfb6jn'2@`j  $ 2?H Bnt! ͜yfKc׍t_ {2^93lAґߔ KiE#JaRщմ*5;h\>DcɬQ[1{ΆW2ϲqHX+#fRgl+qq= NLXOu|c]'w'*_>㷹Kp# z'GɎbj~?ɅhwZ<aM1:i#(Fli1ABuA<=& ^08VkX(3qx SrF@H2a xl@[} n;yQ}Z#%CH'HZyU"K/"ߵ X5 8cP?OhgXH<0 2&A bQTW:(R]|EȥJבy`v~emg~rl2w5`Sn&MuKJ?Sz;GNlj;~[_­6k*> O֣ -'1Mv="ϦE*YjR{V]+/??lXf#&M A{XP Z,~-V:с $O ;$b&#OT3_plABحG sMA'r&7}|ҋ~n6n{t1lS7l&bv/f#?ayh~1K@!hz>u3ss/c[ Tb/S۰  ~DKzm?$տ8 nU>E!(ai@G}J>O|LmlPxpĩ =vB 9 0-IQK 'OP@w_.0O0p‚c3yP'>`Wj϶FZq `ÇP訂 4%=!;ʖuDSyo,Ć*9wdI/6\9] W+n2ecЏŽ\򄇷w"O'LO/JN\[48}r@,6K8@5*j$(Kf)'+AwX::^ _,j 0GKJ'&<;OєtLԷcSWB~ׁ@LaSM)H{kK)L˝a6mt%Q mʸ(8! ~qI˓ B>1y`Dsn@ wSٳ&ʣrB uIc1 HxzlYU% 9 r5'845KBE;#ݖ$gYZc7d2723a996add9e0e67236d7147c5c6af0ce17a665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 0e0e0f2b57cda783cab8121168cdc21246c0deef