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  m! l gw Call_Arity:threads=2elapsed=90.445cpu=153.848gc=6.632factor=1.707zXZִF! N]ŗXf1-/6vRZy_:8/ on6's25J=X ,rVgz:K./׳c]+w@(UuVoD)haƶW#m~(5ɪ u(&44$QJNtJCwғ,ۿȚv*!D0/Ag4 .C+vOU?]}wdE]̕5τ`2c~)yIe2QH&IQ5 ضxTJӵ W7=/L*ҕJ/C$[[-IMG@)6 ̟k՗a 5ZM'b(yto:8$*;!V5NY SRLx}VMPcAEh4dKj{*W%IL,)O(( PY8ҋ,.-!1v)>KI@A|[o#|7B* _z#* B0š\`.;C1A Kq)@vp8W Pr+d`?]kYhٸ4IkC=q0J3t4Ek8ݣĐvPgߩ>:S tn_f{5eU>}(n1rht)djC*jKmT$8"=[VZbn9YJjh0^ H7 7r5W5OTLw7~nPJ Y < ;Zɹb+D v<4Mkb q.6E8Aԧ ^H\/[\-W̵U  ! Call_Arity=׽$ڧFԵNF2f@hyV_j eZMɟ.XfiG&bv(k%,ҧ%B"m,Hfb%XXO?{b:Ԃ;ms'M[ɔф1‚bH ;̊V-<6rUw?nNNi+xwjud361&mhvxVZ:|xMi*)v%6Xyu]|mwL)i!ly(~{`sQ P8̏'qs&r.2Dʿ#ҥ{m9Rӳo̤^,KKC *met~%Wx_Ƌ~KL(FT3[8} =2,4o.u!gYZ7zXZִF! ]ŗXi%6{AG~K<``.1TA40>ḄpRI)zhw{{s*kLO*d4[""m+6`ժc˹ av6X /ۦROe76wh ݃* O!RtCv3u"?Ѽ$MXdOo񰿂[Go~H*x$Y={Cu*5M[S2;*(?{!_U. 7gɧ6۶'#NJA Ij{dp~?^2|ICUQ+UÇѬji%H9Lm{k<ac4'xѪ8dc?$;(p;$ +uhE1[jhؒK&kwKOcrF;j GѢ7b#_JOxzDjqUFn^MUX8[V=;gq{(zn ,t{>\Kb٢T;8!1w t+ꢠ2lV|Mu97DQĺfFQGqfޔxk_ǔ)HQfp8e Уɼ^+ K\YIT*T,qXSh# bpE2tje=:tVWiu \@`dm}0ݹ p/罞zJtq 9G-SL>$%c: pC#C%6.Pk؎V?PuTT*ɰ4o#}+%k .8 ''\$nz߄tHh,8P2*;YôEFVnE4,M;?_`*Hp3C|59-M3 wUGZ&5պx+w:<c*qrwI)BYs%sohbl{ V5d(zǎ4H0JWdKW9-;0@,>6TM^ykеjx {/GQ/zFe0W )<|cEP]P gh.i i5dx#UAJj($ť .nE WR>Ȗ- 3}ir1րMp~KYd$`91UXUv&ߪ)0<73f T2o&waDMv6\@(/6 Igg!~ńg< N:>OM7`/qZ{eSB- 8#aC|7AЂyK6{SjYi Kedfcw)ҧ%I:3^A,ZkE@}~T cʑPN$^RU `I M_aR0 gXET'f&_+^0 rJ9l+H+ $/pZȉn+ه* I2Tx&;#hk]Ј+(7S錌e$#}SfbT9mO'}uvJ >Q\S-eFZ].̿Ϩj~س2{NY MN!.P-l~7Mi1*M+F6Si2=m#nɽ4$B28) Wm 0|.8fQNα ZBRnNQ+e -'H{ҳтX_F5(9`ëxe&j HlDC6rc9Sc2a:'6(Ѣ|R2WM}q!EB̄6l||Xb+'*ã8M6v!!=P>6GĮ-?!::Q͋\W^QoqPxIsS.=L߮N[PACy@4X#_0[M}\'lp|8)]*cık[K+aD+!ֿ$_fmvvrZh^Bb>ڃ!'^k$߂Eʧ|K҅ѽi^=!N] ;f @᫲li%Y׈rEPZ;^IyuzD*FE-!`y߷۬ւS  !2_xMPƪr6=FI%u j>b$&c]@76P@_r˩a U~OXS_)ՖZDˌo0_8d9>f8os"K3cl]Mn.~{Hfjʀ|,r}U0S:>o,ι49,JdX巚f,Qa!W1Om_AK$h`d -XPZJv9~٣>Jk/ϓt~* LkK1p 6xAJ`'9Ec"O@k8#ΝވUBC^i:t╹s+-vjQ%껄}f̀CJ:}[k75J@HbƲ*BV|bDy7:C">Oim5(r17̷kh4^45OѲ3XzvgWoD+WZ12ɫ/*TJj$EG78v'W]