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 aa- dD ]S]Relation_Algebra:threads=2elapsed=24.137cpu=43.280gc=1.808factor=1.797zXZִF! ]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci;>vbQFn y`~ LrK̎2@z1x7_v/wegtBY|ŌeЬ&չVB/1`jV!zӀɢ _%A l<2k^*TXmYE9B-м&$PԵ(#hX~dt {rx -3 qcc06! Coj'O| 9{|Vc8 `0W+pxc,f#2QdƵk59x_FQS1I~]JZWݯZ䉄wL=rZz$vy0fU88ŐZ1aQn dJ6Ҩ}4τ35=e*7(iF4&Evjd-|`yf"IXgo<,"{Gӂ8pU [|iq9 #@AD}CwV I]շP>[\z/?K޾ ;藰o͎޾E 8d* pR=4*.s.e Ztbj ,~*g$E2ѦpFGE%p|GkqWו9S0{Av!\|o2N-Ȅv( h!/% $;5 _gYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%֘ s$EγTRz:0fp7C30>c˕twO-9+E8u=~}$D9񷅲_1YCKZBk7.4_Yۆ[yT_J5+H) ?U+"Ub\z)p퉹 gYZ7zXZִF! zz]ŗXi%9(O0ӑ1Kfn!9bqǻa3BShp^}4+w ~[7~ .+8obM|â֏F!閠N&m [8inУ=* :cI?f YT->=Jd$W% xgo afU:tR:\4XţH:FBaUeO p5`o졥x2u JX۪1RjU7HQd !͡_,tOIZI3hi9KZE>+eqRmη3J8jL bk:SFFED߯_1T<+CZé \UBɧ5+p-3` ˶l}<Y,vPiG0d$]+T'L^6[DM;eil2ۋDJX7zQ5r N,@`C|@lP ^h[ >4{F+ A}WzcT}կhEK ('?Ƿd#dsl]%,LQgH:<[;-jut2hҒ<_`ۤ^L|Ii:>޲hZFn1 V?Ύ`M_`QSVB #TI]PlpLjX8 h.o>.37>Qt7M2@_&ʘ^mK6FbCn:>J9|O;]f[A;ި]9Z9X&LI- VхCR؊Q{kT٫ 1Cq{8snr.H 7aH(+?X(3dw="gh$oc\ی;9ܮiO>ʺ.5;Va1I]bUY.֋uovQ<2#sD9~}-8h͛QN}7kȶX1QA>-ZdV$%?4L ڭh`5?5j`LLSZ˸ o?C:ޕ J,x'tXV"O=߳39\nI+`(8bbǤlj{ml3{/2QUDC2VyDΫ9 duewI/5=REdO-omk/kdN؍1'7ÞA.)⽷VOafAp \Sn^1J*XD%y (y$PI+GZi4⥻ %6VCQcx4pCy jچe:eeg V