SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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)|4 %S Multirelations:threads=2elapsed=92.822cpu=105.212gc=4.328factor=1.137zXZִF! 5]ŗXf1-/6vR[lRc2qJ)=?$~)LX8z5i%HـC&͇VP0m H&8zLaWhY,C׻\,0pJc8V.ͦ%F Fg5﾿bvm5#U'&d)%f^氆j)>Nַ]JHjzW'u鷾vJBa!L3톏h[^~o,7k*2eCZJq%w1b.c[`_cܴ*DDuw_ʡ,$-k$Q72BfTR}%~XOb}Q|BZuNgYLϋYٓaۈVgDIߤY0ExH\K<`CR!JCUǩo¥)MGbzXoA}m'PX53(ݓ=V}trd W׳+z[+f⤎uXPui%fpۃtݞ B2K7*)ڄ]%_{~̌i_:?t&K1ٯUŞ!dUNY Gn:o=pWy3bQر\L!Mҙ3:ʔwQ򑮆ҀA8aDF7cSx6F^N?y@R|H2;I{` d?ܜ?0<ܞr#RCE$ҏ-cY'-GkbdKQ\U:w=rS/B7&&Y5p#Av,dN6_RהちYJ٥Ď!Ozɔb+Fzxi jN4G-'>bм6MP[/hگpuM'@HK1f&ãoOk~V֦`:{Z|ZB4740yl3}x6IDqX$C:|vX#J`=Frđ/l+JybgR!kSG+qf1=nZJE (-S'f3awÎg+UӎOoZ-/)ygMhc# kNdgYZ7zXZִF! ᶐ]ŗXi%6x́ |'ZPF8?]u/*A rȪ;QPo`}7lԋpsʨ\/]ި8W鍑w?e֛jqOAqx60C0 u ?Ubט҈7X>%UPjT.R V2Z2TQۖA[kHLIOe;K/GZҟiFm0G#?"꧵[q&u;bc {!$DW/Ə~xI~[iv?+.]#hBY*}y:V rEM J%kueaiSjqj>ma)ArFeֵbW"bL @œooǜECmo۠g.O?X0_ad^/\k_B.F͸Jr0#2;L:LmV0jˍmK@*:F=- 8/a 01nk9irŁ2J uJΚvԎKie@_ur=[dMNF ^R}&; hܽl\179lUʴj{J]Rcj- \lp6X'UFK2:o(`&cRT~z!fFH(m˧>j 3Bhrɹ9Soy[͓ϲr"3QT$`?2eWHʸlzp.hI@qs Pwa.䕘(cD𻕞ކnݍ/vSuЁ k%)JI~( |\ ) MultirelationsksaG^/S燴Ϻ*iH'q#$ rR`פߩ=/MyURBJ8Ԃb>w^ 7i x-c)2ofNᢏk481i=`ZH1<ٰ`f8vMVvruk Km@dX\ 3f7k$3*x}ߪíF,z>M8&gZY:`bq8a{ˉ0_.}c틜c(Ra*\V]I! !W*~iiƊD2HLGGtgw[Zo >׋/$CBWFZӕ mo`,UWvߣ| a>9ye^&)4\iyj8"e;K [AKlu\1Ypj*lPfب%EPzblL^Knqh`N4-_=ͅIR*t|˗]&׃/O-M,Cӈk 1мXRVeJ(9'(: xώJ)%~.AA)Z5잎+ w&|0ڨ[ (Hn1n&%zF_uAVG@ÖS'g-O*5]BZ td5Fx? [%8=z* ;# x5Gs,/>Ƚ۔͹Rij-:ц&655={t()S0ZT$ hJnYMڸfn{>u0Sēci}Nےgږ,b8f4.?\Es24h8k}$Q|󍫝2y*E_β{ܤAW6zlՐ7FhRxXTxg%YC (w.Q>/VP*jTI e^QnԐ+0ȟ9E&l ,]2QM7&  z4$WTTnxQ&9$ uH`1/;U@AwnIӚIq.X/;xH!$>vjCq+dxTl1$2`QUw V+Z#XtT(-mӨs+ /ϦT(uLf՘d^4{nI+pt}˕GndY^>J oJ!P]uREdO>tZ}ehMB3l_lJL7iՑԉkBV!;3gkCIswHƾLUdkfB\"H,NQCWz@l,$r;f^aZ . .u C%O+wsgoRi7U\3*uU;8 *%uOfoC8&Z:#Nu9U􄘧qc<E82A 25GFWOԈ "@LcJsr>p_]'l\'}]5b0rmZw6fF-)-0Oz!] 8f@3:F5b3%$2MƊ,gKŵcÖ: |xTоo;%W`Xe#Ong ճSKdU?k"nBx 6%p/PTInfEW:T5Ce-] yCټmlku%b GXϏ2HYA6ĺGx׀8#o3kȩhAl_R}F ҵ- :L\(6Nl}.qC0S* jO$b̵u{O8FZ*eDtF YP3;mI8iw,LPf+0`A}dtG@OOJ`'3X+{R$P3]]p~g8ݘ kR 2}> wӻS lP p#QZS,7e3KQ|/!=>t"\>H:6%!Ld~xM,r֪a n8vrj\DZn39 (h7쟙&!D%}W #rgYZ5e20e4fc330cb85a57f929f7cb117d5a4839eed5 6ca8998bae48a3081c3c9a0eb60ec1a07c4124c3 9d1a345466a108d4a08c3c31e9d6a6384464cadb d2ef0567b21d3450b941643a1f5a38de6abd51aa e3d2174eb362b4e6148e4579ffdad6911d33f397554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 f3abfffd5e9fcd04bfbe84ee6291a6c45296b2b6 639b2b34b76cf0c0cd61c76f339c093159daed2b