SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ;;* 44 s/]HOL-Word:threads=6elapsed=8.640cpu=38.004gc=1.296factor=4.407zXZִF! ࿨T]ŗXf1-q恈e*['"E 5HDPz' ^7@S_XFmBcvˍ&`1,h/ }G _9Hrrp7 ΄Hf3#fOIe};}71&UPhԀ${ex縙geiBs9>I3+ lũ+ғAg,jm7aH:xT@l:[O$ xvSQfGZUDݢvTv`2\z2d&Ȏ0bj`y[:J'MX=.Jq(Hk( I!܂v1Nhr291R}e1d̚-<ވ&LQۼNuM8j zӡL</U^}\gPf*=Mly2ĕ靶)x#CZzjX~%r=.Ƒ󧨆nJ3AAF("n0d* g i50bHlckXjgn@5aG~,VSջyz_\ct[ wb2A/31Ωl y]/Y\5 ~JC/ڲͥ4}QH7t!vSL'sl{Gh}TJ0:`?)޲q'ҭ#]~*6@L' *bꚎ AyHuDߔyWoRbdb~#wݰ%OR,[   HOL-Word_+kpQڦI&fa)<ۂ+%Ri7.obr/̶8-D"L݌|9hCF hx: [W%K1\ j& 7y+\1ܴ~ 󓮖%X>T>Ik kEP¯h}ke/'LHLMb˾s<_Cq#!_q0S 4Ԍ옋=X=6,RoQKGB̍{Ry7;fy;? [=z7Qg!NИTdӲ׿9+U[њ0u(ECTr MHW_sWc3\nZ6';hËׁr\E! Si; #$B|PJ2 k/# !G;;b ,YԻE j?=o_)Qx9O+E&G@:Eʠ ;P>UN44|PtbҀaEs oכ;etn:}d,9nyQe*|=i`~DGAd{9ڔP\8!YZLPvu 0vj"[3 f;pǟϫiZdUۺ&mʀZZfB3BԦ ɸVGbN'2#rn},\k:vbnE/Ml̓e$#Mf]}=:е"l)4P8ؓ/]f4r*:>B+\@˱3>-Tv[`XP6%|x\F/VE$&¿0܊I_@^qJ B Đ T+\w߾0>;,p6($n֪eG[m Au'<}Qڜ̸;iM99$%ׇty پxwHy (+Qipw7j,EI8䞒]rg {*̘ZE.:쨇#E|SxLjs%Vz}^ ţm: 0/VN5 Q>cJa((}w*$! 47CVi(EDC-&]FWl66Ր+#+:1C6;omI?[>.Qܡs^a`u( FWfseKcWfRLwҴ0-,ԙx9MI =%ҾJduDAխON'WbqBC]E0Yp C%} ^x[Xf=ERop7k0Ŋs{ MP\A]9g;i@ދw˂D e\ u{#_Ŋy:zQ?L0!ZF8M@/q(4 <|!T8*1)'Lt($0άՄC;o!/`=8*N_t|#qhaҫ4iF "_4)4BYH#kȐsCzG˕6X[@ ! $VȶݺףZ/RlDHh%@Q N; <1Zg-數 Lmyr!ϢQ"mcKRtG_+220-+Kw'Vs x,c";;k }BDy`82'ASB͟uC?u$eŸ7sМ :#rv9AdZ"kaB"I{cd>SC\ 7s)T*A9Rgw)fbԨNy# [YIB9ySd3bwgW4v6ܱ1ɔoNb9+qןeesWc`K=yzUTencVUZ?W6-~>8fBN&obLQ q@> 7}G;8z^ !F?zTrGu(ؙ!{*wI*uhB/0+$i?<7fgM12vIʭ[π)l?e9BM]vȎHW-)/4O'BlKln+AnώZr>PamڵgYZ7zXZִF! *}]ŗXi%n^+ҧAg^;ЍPL_%74z>ӳ0ǿX!w|\ҟW͡hexͱi-iR̸m>Ʊg X b5!#R9{ԑAϪ![58$rrNm]&,؆`]/osIПC eby$nX[H5Hj(#:!+E(lӰ@(oAj#)Wm$M0*?[.1zavd;vC|-Y$낑N򍓭}Q|:krwCW !CԬ+OzhC!='MD~2S*I +l{D75m{7;{{pϙg^e3}B0WWVGVkmMA&vXV̡L!HPOJ"FflgS~n: dM99労rZ{8ghk{)՛.me^?Mʯ62&> PJ[=Z* =7^77ZGnRDs+v%6K5 i_-`a%IGP aJ{HisTAz͙Z),:v#\?0!0.YC )+˕k ʾ7|dI;^#qW}#Z fZˍD{