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   i{HPiNZL ]1Y7uj(<#l,ܹ{w$ W-F^Oޔw݇ R3:p;i=3 *l v }l"&qvƧPc4k~i1s|*N`5pxHJ UK[fyH<Ma!2@nKlr= ל-].L+$h" ?šBNt-{#|q1t篓Kem;t4>6v|2!d8/NM<F|RCbcJu;+߿R#W>lOSzB 9Z z![!`ӧN>A{|~䞣k:^x|{қ77ójEyon,r~OYԖ-YڢabZ>^qrE_ΥV(q"K EE}7 !3WƆ(I5H?@ ZmQ9p͝$SH>>0#?X)qы,  SIFPL  %P/n`o@2̘WzQܯy{%nOX5v>w_+@Y/ b^Ʊ& {-Jr?* Yc2$`J@ó{@har[̹R t(iăZ9}i8OgC}bjU5OY M< ?C)1[xS茟[p֦#Y/cb{*IBD星`M(^ug?>8\lgvM>hR׉Zc_LWK_eF&|7yqaa_:Y(%p_?E64' WgYZ7zXZִF! ]ŗXiɟիxWuۖ?oU^MNE{_ ʆ<h}NbF)f@㼾q1c&|Z%D,'ӊFYEx:lB'@!# m8mi g][yk"r^P'C%-|D^4 +; dP‡/ H#F7Ru9TztNıgYZ7zXZִF!  ]ŗXi%;CC#/ۤ #̈́l*VROaNZ\ =+`0y-t韋r%m#/PVgBdkn4kК,T ]ǩ!][Priڢ%zV>mpg> UOD81‡ E\}Zn얬I xftȿWTg),(8 6 8LSD$X!NcX)ϧUUq BT'g%~ zahb+%8,w<:N߯ pάh`ceدTo<*.h ƅY5ʑ=0Bsi$8nEWTP:|RwDXM_ND7U'}rad%7jF_2u1eX{/ޣ.a⍞EUG8&k޽=UKd-˞o:#r_p.[}` TkDmbK]j$eP.ЋuƩ:v`9ڮD^_IM (m>y9HS]JuQ8K< ̀r)t F ok[Mt EQĪPj1W/G,5i\9W_XQRlbfF&!LMo.vqo3+7 t} 6toɦ?kLZj~oMLH*BVFkB6H-%#⦏U\B ԇM$\E㻹Gߐ70畯cB#2Z7L I2qHY8_2Q(R9?AR^dnN{@.: 30YLDKIGb-$z\RyB* yhq/lz\EjE%@rޕ\[0 gik.]#א0c GKL 8*:K>,S ^V-jsy{gzl/W.T7>孍1l`AC :8b2Ps1  w{J|zZ~%~.(Rٝfe2#vc~%pkնOϷ)\\r*~Pwo7MK4UMya+[拻u2!C%*ū=I,?gY*La x ;-Rg"5Xh.Yw$nȭ;crNf8+@α{ŗ+ㄨ2b H@ kuCΣ4BU駌iea* We>òڷ~cwxM}V8B)e- c ~``gJ {L͖_m4{d^$l6U+s,0\dm$JHD7cdu8T2]|B;DN扚[LQ2A_n!A#=kb>ˡ l$h.2Xǃ ׏-F_ÚIzD**( jف_n Y <8}).vE^ !&0w\{"NbZh1s,5fQ(s@WL߀.Ꮜ ^g*@[Mx 0V>)c&}-7W{Hڽ+N1H_BEW~y: WÂUm m;02wE-W.}t|F{sH5D~a˪ݵ}ϕ<1F8VsAH>wzY " (kOY֓CW(@|JyD|~}Dʕ:rg$Tֿ=f$jەƶAZ ô7 !bx_fjDH-K ۻ+m8egGBVœuXѶ [/Y3C x ִ3=OAKP? ~v*ݴeV%vTtj a\nbԒ%[T=7 P0g5bw=9-N@DX8&`!D e+XӔ>[wؘqQ,襍z<[ )='{YU\7|fj膾1廱sƟ#K8ҭMD-Q ,)H_XƏ:\=;,JG338 #+~Z^AXGiPXI"l^ vY,AwZ=u3|h`Af{rZm5,Q+O&}d*4c4n)Y6Uu0MH+XƎ]|j1_C)Zu<Ϭ<Ƀ<Wyz)yS|,X7d}OLyi I/zOGצb1cuz5։Ve4$/d^F_uG-A'.qb'um9th\rK#%*|tV26@li,̔ ?q}̐uk0+% bR*烆(#AQ5m ݝ-($^XPgYZd2297966fdd666cbfcdbccb5c558d646c08af277a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39