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  R R+ ؽΒ$%`?D+l6 \಺pR5J^o+*k7)#"[jY߮uPhnCL4 :l~+hkh{ztbu׋*iP5#ͻl Q{ŜO >cǓkY'()w,'c{WH™/і4r@Z ;sNd`rYSSa *\R A٪iyc;>WMy/oBt8_OMl)?XHWKhG#Vq!=/˭6,6EbͼJz@'bv><\鰢9+Ν3=jP=Ĕ&K4W&9!K%[> a([χj´`/8ƒ4u/ۣVJo:ns<)Z`,tyD'7cn:|ZĖ8 + HOL-ProbabilityOis1\ᚨdk/(=,Jq)䒲}(BE!y>?&3d+I̤b8UrBS}`U79@!V8D)c]7Z+1׳31P\ ^̋KXr".bqPԙ.[졻|]G廷dˢ!.Vr?mN0R& DU¿9ؙ.m|!3R4hI`(,kX- z@q~Vl&0_h PAt02oTI6Gvvxzm60֪|!n0 MԒQ'jA:yڟ>0 Y݇s뿌NBynDoOo-tǍ>.nGϲaX@5R" 3fVv,-Z7^c7Qbcgm.UĉqXm k(?lf S 3݄^ ]0N$/h ;Xʒ`>!Ul:Sg},$3pTcIoW/y"72k7]/(t|_ a~d0N;sRcqFb:ײAo: /;obܱoUs7SrIUʶg+s^C zƚGR"H>Gotm*XpbR"nƮg_buZEɜ!61/N#ͨ@"s2We2g8zQ -}L n;T/۫M fdJ2  cϹqʪΡV_1JNTI,WOwvd&XՑ7̯ E#NN  MHl-D΁l֑{Izl5e}|6s-Owѽ#4pI66/)j{ eo da<9M,Je^bTX9-ѵO֞OV-x`ˤ{4SVuY=r#eΆcK CmLz*e `P)dًTgf(P*tU`r"u.:)rzuYulFB}*#f!&ȬblBx$q~Wl034jUvzc@\ŕuOĄ:#-Fu2t% Tt:o1ix‹Z?70P'nji[x)_jD o"Jo!ט0s|)蠸7bıTĄ FUHQXpׄ[dq,[-o^wSJw`gСS}fqa}]aH4u̖ b@!hoF"Xn+V95ThB<:"؎w)w%pT9'\IG>AQrH֯g.8Wu@F`pYLU D2bEVlڒ>Q ; QJP.^>Y`_'TolɨbLj} gYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu Mb02QE+--z5mЖI=- ns{3}{'{j1 4$9AŠu5qeo-xYviU: fdX_&W5cRÂ02xX6JRgϐDJ(Ľ$3Xkn̚ n*^OIk^=pWC7mW'φɗ= zފj\gF^*MMXU#tH=ԇNQ7+LIвx1%HJesһ*ꪫ_?'J>z?b9p`W5 ~ƫ|v3<\W)ܞij)vSGg9ֽd]ȡ _Q oa eoR|\}31̒G"o#{/"Z]1h-߸LΣ!DM$Ϣ>Do=`an_.NȉwMN$1%<|O6enKrS&{~}Vm]<_1N)] i.\=)Da);1}*{"rJ [J4JގeaW7IUx=KnĂrys+sFfDp6Jq_.9gFWemD 4PytA1ƅ;=o 5Vfl"A3ȗ/" P>C_G(27 g=76ƧM$9,#K _M`Gc])w7NH4heetx%CuKysv}*Y$3=ĺĄJ'g"RnJ1αgYZ7zXZִF! X]ŗXi%9*a1$lWD)a291G_})ta+ٟQ;t^$s b1{ /gK6w:KVP7G#B,ǗBԎG PliImaw#׀dq*gtc/HJCP!EWVKv3i~@=a[Dذ >5،7v# Rn#!Ǣdz&=%iE "<q ALgH84:"n ܴ4kaGs U^2<6`[@Ep{/J Xq2֧WA (a4|s_xsS]JkM8XhCSvnV3F4A2tCptu* .AkW}vW=*8KKF{YbU t1@O FXmC/KsbYTBtqHkZfGΈ2aݫ/l J+fXgx|:t^n.)U@2[qY|sȍB /}rJO}/UVZ~ $>a'"E/*E WҚK]AS 4`x莊o~XB[JG6<$4̡O؇E-X1߷:]Pf2߬\3:ьuyJT*BGGCLJlńQU#Z"f:d>^.#{>"0Z?D>@DJ36hA%ڊуmqz~Neo& w*{.+]a)8% H *o3 }&+CZ˜}Ҋ(&롎hz>:082[s.L| s@5Nq`nЬ=֯+OY /s}S,Y@|)Cu |7n1◂a3U {,ʍA#BBu ehEj54L]Uc3|xУ.,֣RM܎~D{{ki<3gNnpM騘} =f+9դ$X0R7Ye.ef)\9F=H>BcbPt~e4Dcɂ hf,EҖл A??Dh1AFS#6VR-i+Ӳ,0PlC,|5lF;:.F0~}p&3 hJy$PosS5Z!P\us(L:$n̼z)nE^)sԇCC,B$HSv^c~FbR}G(%+^NuQkh OtO N ȠBn׭lR tYA<30j#)2yyAbXBA/pm,s4b޹9 9Z5#1LqV7V=o߶uXBlۅ18A+M3_[fyj C1 _pM)lW$yڦyS~? yǙV&h+11DiXǫCq`!Ү~1 u]ȩ0FUǻ,ء!btp=T'|q^8me.kZ|]KePRG%<OA~㶟'#nk|W,KT(Zhҍ`bfҾ mf84,.(jQgp>7CaѪ$ڠWl_kmGեwCa*X꯴i,vuA N>{c&8~Ղjh H/%9)b\wY\={Ds>98fRTndU@K8P9kqvHDs.{Rľ)2E-(q1yi|Fl2ÕI͋W7uME@]Y&$Ahۉ'_ J4u]3%LdtFp!+]m+HW7QEx̸cmk$8㧛D`. :-K?FwՍ0~Sa#W1w>t% Kw]e~n`9*qƥ u|*Au;N{řY*tb\kd^QM:cfR4QQ!A 3EH ) *6'L;zgiASAԃ4"h_ܮZ%o֔uҩSD+䴇 LEDwg]ÈStc=QJH,Iƙ]c5w2$p¿Ƙo3أûCM 5㾏7 awlML[>CjtzFu ؚFtZw,+kI" ?E2}0 = }_qVp=v#k_ eSmSz*s,ϲL7owiw3@0-VJyfVc<-b=: ! i+o_兔aa?Ǒ++5+8QvDYzdm3D|0`XK߫0 c 5:Oz2q݀ѯBYC VM3b TzwTy  ֵ Pg tHF'OOS#ۅO1Uw=3μ! u/SZnh}@66L܉hJFC.sG rZ{@v2GJ/82X|Zr*ڔ"_WЕ\Y?t7p,W"ney,J~eXE`("b 9URTV veFkcB@/