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 #/  ]/ Dict_Construction:threads=2elapsed=51.609cpu=69.080gc=5.220factor=1.347zXZִF! ]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=Ԣ@"5cG<+(FPOĻ]\dd`p`(OqqUu'm#Wb9m曅]z\)qbdi^JCp?lxL*iRAB!YUbYpdkM&Gҹ9EyIp,Toq5󈾸-|$GQѽ! YAE̷ٲ[/kR"(Z2997RQ(.B!{f~M$T-!J$fN}4vX#OمHBj[Vr/N#IaD-8xwpv+MBm=gYZ7zXZִF! ]ŗXiɟ*#; )zhWfLpDl VqlږY_qYs4SƗN Pc BH;&:?dg \tmC^;ʜ,$v't+<ăN'ݲwFLq蔯ڢ>~N떛Lש%aǴn}5i$ܪjU),߻bᵭ7{Ek a̦ 3TKTӂPP۾fm}$RZr3 3qre.'@GVPeOõ"ܼ&e~ ֏Lk}E55EI6s.I[{*d1b k:A1:Fao  !ygYZ7zXZִF! 9]ŗXi%;Er13ὌZl%cbJ/CNvvm76HORL(];WQA +Ig`bw'JE[^/Ϣ]zU+ ֢&Z=! }gBü^UY&3TcNgDM,v;q<@oq I,pޛ}$*v'q"@ :uTlѷ 5F+/M XMH﫶)RZQG_ԋ=pyYqql`C-p7M6L OY4jij(JL:% +B3eorcǛjX?(H=Lj YޚoU {gl(c<,P[5Bu!*U7I1p>6<9j]L='| +ӹ, P4 *Ɠ`]ˆ~Sj; c]8Imth`f1shx9b[9*RƸ]QXnf+v\'_+r>qL0)ݕ'#6`Pn|(0H ܿ PƇr4"NTs;`G;9R^+"4mz=XU6X]ULp6ü&Xw  nlW*_![w O:|͂|U@ܗE(9RnTW L noqڄ6~| q؛=Ԍ)T'[1 v? lAx{Oz̤ǂPT# Wk=P^Ts(ЀU꜑3  Hhs$p#|Fj*njăo ݌FepUa?F,t#(tv=]M@r6)`_2JQ}u8췝/[)s |ˎ,X\zލKA!K[x:[^ WzkN4LE\G.1poT)(v2x8͢` mm`A> ,q1M!o .vLӎnG8zKDwN-~w"# ˨+ ҽ|gi0mX1hj4W$rtKIֆJyZ 9O/[+%E3ck$f>]΋ͬ$hc K!F`޳)\'C #.4 0.fᶌIIf hT$ 50ˡ҃z[APDJb{*֕P2vq2':SyRcyP4 &L>)IvK?Gx<3??<6 `N\J-^1ؠT 8uc9Uu; ٶ3@!P.Y u!L˥6WAlh gO+3 HM3^0D.P d2(nm M w7u~($K&5 OXL1'üNרs:T|9?- BApN>fY?o҉X]iBzz@ a~wYD F tgh lKdk;$X A,Z{&V8yIQU9y SAne܃7Qi DMw<!d&=aqyQ]ݚe HRz3^L1e Wf۫U|}Dp&u!?muiIgU'6=i2 v+6SV~N~e NEs+ pO^i;]]V)Hw֖)sS0u92-)u/;J &, `ڜ6, fw^` HXMwprg? #L8[!UO+xȿ?CMxCr4R'?!݆#n.`h]PXخ%e5ތ0a`0ZuL1f= R>O /Tm8 ٛ BO 2䫌eനJdmy۶}+a0nV8 HJNcϾAS\< rkO0Z.B:fCq+_imLKm < j U"E>j:6_A(u>/_$-f==r <'a[ bix+2w'뽭öm !AkɤygcWPo65"4$ƨocilBhRh};y SUn`@3/7UxIAZ\PYiSDkG(s2(Y lWӫ&[!zkcc4P!odhdPHj7Q4)pJ 3:5{w3(iV˶1uvA:R=jqHI(Dř-]ߤ抏r|۰@.k xᙟܤmmıgYZ1572b6a15c82e7da5b5544995e257e28b30e4dbea70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39