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 3 D4 s/]HOL-Word:threads=2elapsed=22.463cpu=43.976gc=1.876factor=1.967zXZִF! Y]ŗXf1-q恈eO/O4Eh~$&} _ruU‰=>$T栚%xБ~;OP}kn+Ak8VM{͂OńJ Qu̘Ԛ`N-9@bҪG]\#u[WJ)@u## `#7IS~4Ԩ㠢   HOL-Wordgz^"ܱwӲ#hyc]Q#3a"eIFOFo;Du@gG@}~k WV5} ?KlFʑr3 p b,8% L#NS mQt/(Œz^Jl^gI"Ҟ:fP`9jGHFSPuk=<p0OdÓ2fpsZvǫ`|\wrc+%*>iDt~;!G!J\"/Pֶ)Ayx$u7Rdk`&BJPH H5I[ᬩYD](h/6ᲐȽiP;5r)ԥP#~ $g_ ӥ3A}ʈ&8^SaQׂUW} ̊FlFdusVR#9wm2I7n313~"x\D[zB"XNGv@Wj xVЦdیDBEO(%Jk==boKҐP)xWL waPm]J)$Qx*:E˰='Na-dN{diQUL.ٛ!T)}* _ (YX j0>Y,W A pJw2SP .PAkrdr±dT'\v0U;dحhNqA=&sNuw7ٓfasGٶnĈu,܅½nN`'B>gs([pwa;"3l14}ֹ_J$IaW'z˯EZQf1ATJ6,Q@%~ĞmZdlzވCwNg}7^_ ckȣ|Y^Fte|OA@҄ұƀ_n^bFdac04k@pg#v lutl%}h <;k0Nm5r665;@=/1T aq]F'.fE] a .ƔFJ  }ϞgGho^=@ } [6 AKb(is[n~}(ãGhC?0[O~Qc߯Ydra_=d~[Ɯ0= n߷*7눈KfW)Og CIpKCLvxcfؙ`x`Uς#NxHKDhM,lKr7`YyC#G/@':m7sZv${&8OlcQ"1 ~+~bVXװkݘo"~QGyBWxbؼHDljІ7WS5hݫ95#Yx3v0A=*,V|3ҟ>:/yߡ v7ݓ{swa9X*iseoWieguĭbaRFBvZ#Q-IWL/Pb14.L .}ɎAM蚐k(qqrw!Yx}P_+%7KaosFTx)$%xxGԅ+:niy\%tUz+OM7 2أ >5>_f}H&"sXgq6k(bsĵF2/ap=e74!$+h?Wآ$r"drc9oޱ@/)7/Շ7UP)̼gje襡joA Wy*=."V$VxPsAFYnā$Y\Bkr{cW9 C|᫜uw269Ppboڡ;;ў D{ffEU^J{P^bKJG8TPWn׏qoaUEO`(.c5$TKO~JxZփj,(l;5mdmX'*b&.JjdY:D Z  „Bse.ۨfK8(=6C*d"M[hðfCW$3'OFBʙX<䡆9m#Rռ+߰W__6/8/5!2@x'voH[{$ B1F"sKYWRCb{b}$ ~n$LJ J'c5|j9. :ELHNY62XV;#'nD5N dL!;mdv9*+҂B[ҵ3);-/:x&=w8hg6q;QBbS3_u2lZBM#L66-[A--ϝ u-kD.܆_jv\[MPNMA 2%9np`ӯ >9Lc`<^ >zGg|<=I iӘ{<e2FK$Ol4rp  `^?%jHڷ dB/oou(Aܞ|+ؚV_+{t:nUlYA!U7X$%ᓱgYZ7zXZִF! zUR]ŗXi%"-H9,$%S})8ZH 4vDUcPeuָ9WX!99jeKˑ+9Sju^ʽߜC)9$LkX=)}MZTEӢ:NI0hP)P9,(UBȑjve!$}tVnrﵬJ#ؚwf3NY~,nm@)U®؏Zddͭ/H6 &iU ʸk^wIt|l/&}|Sf&~|Ju]}<ۮ, Rjsz LI^ԏbkB2F&ٔpiOei.RߓDu݈\ Ht)pqoZO-B?Ec__Vǔp'W4Nf>X\g}rn0 AT!V%=+~SN)*NOᢿFjJ?`/̫S)|277D:0Im7w?|m\a! yb1gh]6eL)#{^$- RjH|17F[[H+*T6p0,zʇzXxT6^V?#\d|26t1_/NSʳIt0;9A?]NЗ׆_{n\&7pα0_kGHFPg@SxOִ®-9ae3xL;ih-Ә?%[|/pK,C