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 ~t4\ ]/ AWN:threads=2elapsed=92.845cpu=163.796gc=7.788factor=1.767zXZִF! 9r]ŗXf1-/6vRZ\fVHA"\sd` q2;wB*Ki^4'EVs` ^aY%SV4s:&̼VhLݡAKhpk4IZ!forEz=d<|M#`yS ۢi`ٺfFm18X/炤԰[T1B1鳊)+uEa)v\,-Cfz75IǙrQ(:Fnލ..5U#g'}rza$<~:GUfwtYY%W]ɄZg7O`"%]XR?TO4{ hӄDmo lm鏹H@ Ơ,~xRA %)OJu$rO 4JSnTzI zm@>-DiTR2(Y7 qZߓ=pŐBy=b?87ͅg#U^$xJwL#[Ohz.T "Fh]'s*Gai*~BΚx#7OJHbAܯ=#K_ܧFOm$(\Y"0+N1%[5S_ "1 ;,aoŷU}e‘|,/PK̖`8 ]ds$@vN9{ftEI9nI+٤.D-ax Aڐ mmEj 4h{e.8 }{X&#]%K P2׳&d Nxj18PC]!8 mO_A'#5gYZ7zXZִF! ᾋ']ŗXi%;9#'[x~r2cZ\icJSzW-;vK| J]lbVG!7sBTauR4PnMTuE*S޻A %2GY!UMLmKe;CxDžXQd|mCEyjP:$vV sۈm٫BGJP2a߮kQ o4<H_lvY!)V8M4B{N*oHelC#P*;$}wvҲp -~VX̣V{ۇ= /BBʳ ( DEQ+T^]m9uWT&? /o9jYȅ2DLAi 2’nyUb5U3; x;o!7ԩ)rl'snjEE&yNz*d(O,*k{ƍ9`';|5k6,`)2[TtM5cJ$[_ bެ\R}q|)YHy$[:/1 G㋰^ܥw?6X?>3/ʴ]iC$p^v8i%d##Om9ZKѦ{N/ P~lkh4B.}TۛuTʶ4|p擤KPy+2e4*;CD K<i`.LAUw(Ӭdz+M+#T'I9 SݐЎٓ>Cߍ4Yd>*"7R{DCY[$e^Q,rԇ6ΘU|QhR3!Q2ۆ9Y3qxr00|t9`gRe1 b '6["Q\Ar=ӘB[Ke^gQ!7PNeV3Or-?o;D/;qz;*]:vώNa8( TU<*4~4:8QѯK#iH/Ki7qE-Г=/?7  AWNt*"ΣEŭZ{,$;RV{KB-BtE'3w)orbȌpBW^A]''G 0xFlȗiEIz# UQLv֓MhVq=?{p|I抶A59QeOӽDwC/+zU+J7(ښSnO? i`%ri~y ̍>k!6 Ѕ yl}pyn;^(!uʜWqh&h!hDeNRn!59:=me[G -x'`lYufFB[fQu`x <*s,*~saU7ќm`9/u 9vM|8EѶlu74~DdPQo*խRG.L?‹B/T*Ly{.q$R䶼ܨ޷-e/KCe@ $V\GKUƷxR~0fd\۞"/k'8*h©؏S[cm`wP( / omNJ4eq- .&pNk[ᓽh0uʹYkK&qѸQV+PhCNW"sׂܘX%IBYxn- i590Y.v.f腋Vu 7qOmI8ĶkR@aK [k?ź21axG; GGY{@{b^*MNq˩[BX`g!jJr'lB($s~`އXi,e6?Z:^,_᪊X.+JFZ?̋_eB1>;PE!{JȤaQ]qvt C+FT/27KV[Oqw2Po$.Ó5;$6"8i&c viP,Sp)ulLo%嚜vbXSs Q8gT-hj;Zf4 Iѯ3NSgIj#&"#֦FiQ(sF78`ƃδ@W*'!%`ZW9ZRSp*ZaŝjrӵIO)ۀxG.hx̀||ͦ"T3WOZ؇vLӂ3q}hD(gTyjm}4ـ; 3zHjyQAHT/7VOO b />{ +~0TO=!\4U#9kW/0{lś)DdB"^Jy76H)iZᬪ|譮uy_䚦v;U$=cfiB]t9odoq`_8zyS# ;gP*GM0$(EBXy&KH׬Kn-gvU&Ɓ+Cw`>4,Šc"(SQ7lù4(~ǽw?>d&gi6&_1@ͻDx&hFuQ qouK"yx٫NUeSRb7Ƕ}`zO5?r-]u yS_[$F^ghu<;^Q?C+vObm? fB,_V9l$JP4\kԚ~΂a*N(rx]`3W Rxʮk?Z2|CܥX+83JueP boio©< 9=tL`3WmuJDlD&SOqrt3bB^lpS\]:Ym..5v^k{DYjQN٫ 2KV"U7t_t2™d:l삁Z2^WTO_(+F%x;}V(f1DɽҦ*0x9U.v Xnpd#dl)fFS\wv Z~bM:jde.v$jP'Av)0=}鸟`mOF;1 [gͭ [3D[dS{ }R& !PO @~C֑L/-v&An7#Jقj$>U:ە?hv> Joa"$yib= Y VS.,↴iv`[wV<^o/|JKz(06Q\!->Ő/_l>Ap,*8i. 5.ZN#|f؟#}w)u,%s0jd\L%8;PD ޔ86X?ײ|OT%| zVi%CqZ"C IOwgт[Clº~ `d'qK c.a,qUx/;D)k&Y{T <#rpE7 mZ@c @))g.g\w|Nkf\8N%-%?=;Ir|7u\*f/yĊI -SmL9T)vSN7e<Fm}fh(?!ǀə˙aa$ly@f>%Zq8:} CJi͈5|VT& E WkaCMuǨb;<6)~3|L\ly A-ضk J]XYhhrS2*/t#d6 3dHޫ(ap,L}gg{g@M87S_6d}M%r5{UFhbze ر)!(ɘR0ȢSDvKT[G8X V]RE]`6r ue]@z{3Qg» {Drbb- R"Or