SQLite format 3@ . BBh77otableisabelle_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  U/6I}Zρqڌ%)&m66]qr7?JEᬻ:${St)Nf_ٕu LәVJhy04>:tNNG~j"(a'UX.Ղ%p1{ITO`:Ui-~ꬼ)1QBYE@wY@=K]RsXr5x/ų ٍ7{OeuJ-Sl#k6 SLy_3y(?@ AA<ʧ>p#I͘9Qma{%Z׫ba_J}RjӬo)Ipc$?RNkݬ1rmfU{X U(:/~tthgYZ7zXZִF! iW]ŗXiɟ11bu)]>_ws[Ɋ br/S dI)lM5>Ҿ bJs.(i= Ê"YS(}ihIǩÑUԻK۾Ʌ8T~;MGb-w;XfǏ{"I R;ίl4m+ue@WGD-.%R=zp,OlܢC-g?RqER,#M{i6GkX \^BgYZ7zXZִF! G"]ŗXi%;;bfa2(*Vr(-{\g O,+q8CŽibLuSaC̗a~bȚvY\fp_!r[̌!cYKmYjSL䫛u9"X-k,YIGt02GT_pv҂J{SNsRQXC3SĄw{Tm4v^>ok_LJ`r3"(R{w?H%n?ݞ\FƇjlw D#xnoL5E Yg0>z($SD>U)M$O3P˦%-bJu\|<HVK|DX\R&1ZHqU6R6͹$ns=I[0YژzdS9^5bčٮiz+$nlqD6ܱ 7.zf;,U8״uHjpUg8pN1N@&T vF{\mj(kkYq;}K ƈ\Z| 'M)sa[ UԪGH= ep)} 8%C|p%T O'fΛ / HOL-Proofs-Lambda9>x }8ڥ)|zWӷYJќ܉ɪ_)*|~\Q],o&Yys'lHb/FnMinωY0+R&@LuKOU7c.KPP;tŜr ?6_朖T"%M>:&i0<"{koÅ'Ls)&8H#e;T<[2Y>)R5\ }4[?m6I6/0BcWT=Rjܲ,wm03H|޺ -m#58MBC~DO|քZ)?Y*mmVI0F6=‰p}=s!`30X?1aϫ3x9S+M?"~G iܧOgοߪڅ …2cͤS,ss4M7 SCYz"ؾa8vӬ'Tz8)SZ_xJ?KuVUVqiꯘ!}Wѷ5U),s{ȿȯ9x{xwyjG6K16N?d6!eǹknEoMh4y{6R8Q՜? ) PXA/ȓ9IrEK d(oah`u:]1r1ʇЏA&@f!}-vH*̷|oD7-Z=GZ @߲<.s6\ls?3WRuPH>?2h& P۝aW(94 r|i{De,F9a'gUAFF F1\X9iWmQ=>:dXi8Un8܌bbT[ >4qTfa8XL(;c(U`9Mh[%Ç`!ө㻪k KV!pv#V P'2;oʁb#.q-kƟ4OE:߮p7uvV0::ְWAHLS+Ww+|k q5PyC@&52횽ZR<7oX^==gȌ&AR?NKykWU"MRtLQYn(LlI (ZJ>`#aR\S3xI$q(w806!>Ku7i[0rCYƃE8꿞U[?ϒF -U]"343ޗPRŚ۬"@KF,cɩ&o4< ^:APwH-87ʽ8*i@F A^]wNU "w)Db(M󻋃~9b+#嶡 j濕e 9P14pNPEK_ ԑ9E!K1c#7S$&fvpelL&5z[G4P03?ݩ/CY6XmZ Y)mx 9!/ADͧݫPuMKYl'Z)Q1*oV4-?OCGT_NB]x{+1vQi{?d>'nf1IuvFٷntsj|qV K/!+ٓt:b|X9kݨvzBvU*I9J4vSzjHTSZY\6;1b7d^0"yˢ | Ʀ>zKr-SC`Lƃv xDF?Z54 Au沜ޤ $,]asYF8OJYvU*M<޹RNsC?ʹ # 4 wz@͊ͫuN#7Ոdvdgm"׶ 7b%v05|@/ ]ם3cv^YB|w!Zn#LG&* TNSIbZBa'j 3ـ#E̐ϧb1l-in&+]\Vԛ9Q.ֻ"Ҕzz(੏Z ݕ|ܺ.W_'* R*a _BdujʚjbkJ8„>6 R:6 j`8H#[xiD=/Z.(Ev/JAx(@b/n|r`֍!H3CV0} ȄtC ȠLbNX@M [eǂ27{bިw˕ +i1^#m n39+8Pc9R{TnL.Dd?{L@nhvcϛ}Jr nU?$Ș_gYZ07ac27fe061b4b69626f62aff2a89281d864a6e210764ddc346d5177be378b761316527db367ec3e 048f4d7d7cf8964a448ca46bf8a684578c7d73f7