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 t7l\ ]/ HOL-Proofs-Extraction:threads=6elapsed=80.899cpu=175.920gc=8.524factor=2.177zXZִF! )]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm? Zz1[O<0|QjH, r_a6a 6토(P=V&⨢ϝ졐]uw /nDbmZtx'7wj]zTAG,mv$,ǎ܊A8GVt̀QƂtu?Ծ.B+f 7e $?LV{#A,duR푬+#6ʏ[NGsp7"$|pˣIB$MJsJ} :.5ȥYf(@nucQN[dx}6w0T]T;r`h\v;F(|#B=3+}^S`J <sW8=A|.'@%ލ8]Ocf  xk.0܈T_- si5QI9QiQ^?첺4+פG1X0 u$ʀ 3qj[qW(WCx# w>NH@P V'յ>1B ;Hm/Rx `GK.5w^Ѥ"sbE ~3 G5|t!4b|0r('&*u@Xڼ3CF~Ϊ;_}F%P&d6)iPchAٗZkm%`ꮍviVXXiA;[[r4Ǥk&0@Vm SgYZ7zXZִF! ]ŗXiɟ1˦r#l*1#>Q 4tT5dZJ>i yC^r*Hw+:m)pj!(a4 ޔP~ƄU\KB)ę bYi^ ϕ]o$ߠӐ^ 6]ll|څ8,Mvf2e47gZ`pdh؟|ȃZ41I❅Vljfe  -8>0o%W:pߊC%9+'CX:4|>Q55~~ FhRTM~<=%Z.zhb`R򘇃Ip)Ѓ x9ŰӋ "$RmvN-`[|h-!72[ֿLj-wu!2(WNlT?z*yQASݪV'a+/__[gbRGZ<) R7kR-Qk-y4i JIXRgYZ7zXZִF! y@]ŗXi%94ʠ] C5MۅV}A09"Ozw㛢;_z&}vм|qdʶz`a07_* MlBFl"WwruC["Bk^N ?Ln`m@ٔ-/`+BpNjcZ>i.NˏJ%䆠p;wj0:;6 #J`Mj#ƛ605%7qf%T!B͚wt`Δ\r4slqQQBЃd٤pl~f U[#!ø͇E- g7B;X/:QEkoG&M\6ҚXPڶ,]ʙ$[| l(bZM:A%3)k1Vn:̀q IrJ4eD㑖{`$2 Hk~|پG~߶mUB<1NZmWѰ~C)QOɉ `9TE6h2'1腶ȣ/*+(נ\1ba WQG| `oe*gǮ Q%wMP@&x#UV1#\cMPJ,Ti,)NhxH `Fvzʶ,j@dL 5yϰZ{P& _s[Fs Sc?7Ys34ٴƨ8˕;J`rRu[JADѬΏ@ +%_FN|.2H5B+YbAs!'SbAs|>Lc#=q"NTwT9Jdow>IB %x>-L6` ydZXT0 :~MeQA^M~J$zv㐳9 A3Ү,į;WFe65I^ m3iv^s R1D_{\a ? Lݥ>ȚCI̻5\ԝb-c cDxr&SMkѩY4|Jy8?%cd#i}`xxh+~ WwE7k9 M-0o ޿\ɏKqw'B]=b9( zʲi46ڐ Ѻ5n4 FZh:WlbO6gR?O0@SQB8i>߅O #2 ^(Jsy pOHBr-9l0T'T M|0Q k1[T(mK~{U`ޱ TMNA!·q1x No5L+p(E:(YW_b]&r`\_+։io?r~D_U8@VB"(\ ϫGaK5 $0lK4h.{K|xXF6Q0;/p7c'Vx&_#:ΕafαA W=js=ajpi"So Ti)5x ,D=hKT\ދc +&Dr7$t qY·`αr[p9b?Pjm]>;0G{o1`@0$2<zqfB~ qYJsUnIu#pI KIA$Կ x8`d*ZI8Zg\9e%<7Mع$)$BWRqHgFo%U8=\4Xh8&bf3`7 Ow8µ)ePi\v]3 {Vh/Tvu7 n(){!˝V?Bv=M ұ1B* Tb&QdLˋ3]H.  aH ?5RcC1[hJWp38`LEckUZu4Z;u0ܿ%џVljq{yAKZ</J=h.͜د9uY`&<N7ZTmҦTRXOJȠ`E fXJbfdwε3IǨc_9  a`8$xn/O 5.*ϞbO,",%G7J(.s-Y`e(\dӢ,Q#B+ !:.rr"󫣬Gh⃎eS:@?i~Qg:0VMsiru LHJXKO?$ HѓgL] xgH%Pț!ņgYZ1defd2f016d6f16d8009e8466f0226e39caa228cc68b30ad566b49580fe13839f7a432f3076bf46c 8bd0a43ff5c5ea1a1d91c45a3ebf22d5815c1580