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 {{z!`;Gؽ8nt*q* .#lw gh,jnCGQҪ(|LXh3vkTfXvNZS#4o$Ag4ʓ؇f4?b^_I܂{P:tprH BbnvESq+ \oZM ;)ԝ<{h!XF|KơhE+ Nя&xf( I#[sqi,ZrRܷ}i8`&b [n-hCƠdrrb Õ8#otFjԲ2|[ #ᲙM !^:"@|E:8bjf[.QB@cꆁ-CV`{ᎢU):m}b-kiRk1h\DO iAO/=xy͑jSx o1VN+2X/7a;ponhtM1}S\xGU6vA|)ՅU*U?+5j_o`> M*GS:U!NvV-,ۋƗ+:ߜTZ쪡]H4o욤=-ȐPy'Bۆ*y< X(%|hg(A 1 -;=`L*ExOv:h)H7[^Q cxs77YR"FKTp??vVh34?9]3fmLmWራ5~GѠ#F& $~%٤#O`p8@ ҽэ牺q]޶DXJLr9[]| 2n-_.jca=-'nM![\T,ۥe,mF2Y $r,Ya &O_hĥ Lu/G%Mg*2y:t)|j> 䖥%mmH٨917y=Ht U; JٙBpXF޺ߣSOt MzZc1 XZ6zLZ LjG `uӵcZg(Քk<%FS`H[(;ϢVx;+kN̓Қf=ҫ(uꂪ#bl41? Q|'jD!V̿sS'#_)n@dUp2B$?uT5 َݣ$I[>K&)jb{P}T}kC!l2ݰ8RxL׸ۊt!쇬pVʫe&!cW)W\04oap6! A ޯTRD!͕l.l;LDHy<)eTB0/HL۝, N˟ȓڭNgZJ\Obcb#E9 oQuo]CApG+wiHlW6DLc3Wqfe+0q8\`•@|rq&L:u)b+Y"AKN>] *(.;nh l<Ϸk̈ğ g(:3(EfcD9f9m!ݮӨW.:3jy*24 ?;ؤj̰Hň*BM1k ުxDlikG]"Ow$pP~ )Aڞ='7CgYZ7zXZִF! ]ŗXiɟ1˦r1`ZWw+9w`a1J|>͞ǯ~kϯNKh{n4!qZ҂v/8p#kX֙ Qx==Hz-[36@E;H?(*O[ޠsRoYˉ(@ Sc/#ޝsϲʀ4%L{ 4{:CJ{d$߉@C=ԪRܐ̷0KP8dO.us2wM?,fV7x&Jn1QM 7C&\YXÎZ>Zt{0E Q'9BFf/i ?;52Nn#*&I ГLv3Rqdbc#bՎ`,4 "L'oJ n1h"6wP~Y>7gX0O|~8E 㓦Oj7]5%|Лor7\O<ȱ ^—ҖǕӯ +N C_B#.Gԗ@;unSkm=љ"0˶<# yu$ϔ$#],Ƕ3ܨ l9b'@Bra HͶܸeߖM[A0ktNm2$?i'i2fV`^ZgfsQ;]X_|ëm4i6 Җ>LŒà]~t1a_R0z }XI6;[$͔aRΔ|kJ-]eb`:Z2RHLNB> 8,{ adZdkM4<&M.~3$N A>,V3j) dXF}Y/X`5 ;Ll%XckҪ:Nn8mJUsJIy>լՌ~H 8xȭGw(i&zhnC&l0gF(GM%"/3ڦ;˥~NM\RIꝖXG8k#9_c+&,3?ǢC%WeirPVKoy0Z_,>$ubDCEzN_XE{s.^ZB^(r50DBKTW^Ќ'1g[&ar5p7oW.M /4C|?Rd IHͻ^Y9t_s_V do_ӃN_05`3=-L ))ܞ!Ooo 8&9Kp2wYf{RZdP1[RvVk=+KV-Eo.|:rɿ:;Ēs_Y +aƢE2Ƥ.l~$.5f<VI Szh^di2w+)ca_]\<*s- '>nݴR49ִWTW{dؾhR\?0ڐqMFw@Ċ3[BFO^;(44=蕔wvZ0^f]SZ==N1':Gb_tq5@D("b)icwFkBA+ٔ˅c]GJ&J{iCPވޢ,%TB~J}@WFݯ]%$9#O2 bYeq%[ġKE5qpCsirTQ a%aEc=򅘜':Πq_q*7`lW hA.@/M6/֡{^ Iz]Vf_l1k?> "XIjZ0E*;̠V' R /1籊OCt]v1G?JthX#ۜ,*HBO*ǺLy(}C1ݩfallE=_ KuݼB, +Wp!bލ?Ɛn&Te""9- tMXqIE nמa8i9HҨ(4s@6psZmꖽHQg~j|&jkX(?{[ry0aFF3JPºhy~rۿڣ᯼7屝S~Vӧ=idкj-$ Q;?yғ,O+ى2cM+՚"yB+b.d~O6|᷎9$$F{%jͦ_[|F .urkS*t٢ \TI|$idAƝ{4BjNV CWzQ$)+jouď˪3C/?d/`Lj>^{u mѕ+qPIWG禍( *;|4MH]&#o5 @mHS(1 .d<Bx yۢ׈X$R f YL{9YcB)a.OS0&&gWck\ތDl$D;O.BUi1ٴ dRWvΝV]BCv"^"%؇|VTČBhT#]5<. K+0 \g`s|ch.ue-9+dr`>y JH)q~DEJL`O^uq0Pǀ!;8J6ysRxsNVt ø