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  # DD ! Shivers-CFA:threads=2elapsed=30.687cpu=59.156gc=2.572factor=1.937zXZִF! h]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kLM%.2(3C*);RAm1y @}ElxEA1@?NrOdҫ)xa%aqӡ|w0aHR/W R`;Q6 ?YtRHޕA&@} q(`D'',]=)!"ahy,S^t`)ZJy㷤9oA]U~<Ɵ]0AS6c#e6䷭ qE!{k߂Uֵmc_X_| .)2>!A<\ic{|heI(E?*שQg]˰`GxZ33OJ"$)0xq9y[ p,ȃqޛ5c֣H*4si"W+QFBt|k"(0/6kM D;)~M YVfmi CeH\RO1GΕ8̰0,rL(O{*V&=&"1<,x;^w]6l'քӯ3JY~U*+0M~и̳d1ޥ4uu_C-h7_jgmeä &uH"{M2aĢxل$6bq*+|~7o_hvj׊ (e҃AL[vL۽ ;o o`ذn3O~ T@-U.ϑ`VmFGu#NFxVqk9@iEoǻJ j^[R~xL.3,>&o-O4dIpʎ=C yYۨηvWg'%lE8-78k&=}^?|4AG_c.?]v켁`?1H_R}:4"/B+Xsr͚Ճ:dm(^xJDg=8K "Lcw-TUz(X~Z?;V\DP~,ǭ`H\7[h*r)a^mQSW߇+lő!ð.հbYu&Tϡ䆡+z`"3IBhӮՓ:3l'Α(߬Arep"]2{aSeR޾{< }K/mYҵOc48`bκ) 43;LGQ͞(n1֬!x(ヱD\_;LƼ Oqz>*/ul'`>=RW|Ij/Z,턜ʮ],*# J P\hS77]vrFM2#]S,ݣ; Ia 2){ƻ *CG4J c|ۉ]0r ZkI6—rt(f*o9wр:$i[J8[{] ||䵢UI4/r" yDcA;dj}2$*7ݝ-fg}tK$͔,'E[n/ Oizߖ:4:{Br+pgYZ7zXZִF! ]ŗXi% Qouӳ$P/8pTyn2M7مSErqOYbմEGi"7?C^y ҨNZċ7W5}Op$*:/ddE.ko*&[?6gё7Q3Rjlp'p4 Gnh9AY = hC6᳢ZR : gO{yK*ĿJh֮U!bWp)HkC"hyʄX}ӽHSiO&-ǃ%sڵ9,r//GVdOiܮ)FJ9͵!Fgܷ_<e5U0HG]2`lOu+C_& rbƪl^B@n8- CHMTWKl ;ߠ8‘]ny~0gbўC1IbvmĊ&Wb 4DtbX/ZtEOL3ԧlnNjvބ>_[ &Q Dhi7#҇mk ✹O֝JSqlN=虲$ī$HM2`Myh5JvSVEC{D,^TJ.?tLS[XyLt]WAjďԶ~ya`uܷiov(GD) =eZ ,$S'EПlpƫib|^%4*Bܷg[W9 9@}5c'Nj.X- oc?B..9;^0,3>|'81˄m\kc !5/tInj؀F=}ݬ2(m#J4pRLD1eG}f\pKBQtg|Z78eq͞><45^խ1ڜ?ˊyjz<\KNW&w5e8`/۳Ye78L7*Lm\u-h:~oC!(M1?%1 ,TKФd$lgNu8?aNq5gYZ06db41cd99a3feea3979dafd87e52d604ebe18e5 0e4f21cb9dab06da2eec0dac39dcbf8b7b648c02 1c4df5aff18b2556fa0a3f0cb15d6338fce3f6d5 210bd273e5e5c33f51f3d057f08522329d662ca2 36270720b232579f69ba6b87b64f61d55e603d2f 3997ad1247c599ff5ca5a09326a165d755ba9b8b 430cec80e0babed6f48f771cdfd56da08af74fef 5011eb2bbbf39d20db72ccd4149c5e349fb2d4a2 654534196c6693475ca0aba17654bc3d23d1343f 69b4d87e9cab0b856337e17afce32c08395ac7ff 6c6607ca20170066c10b856fd51d872958ffc1f3 6dde1a768ed51ee660f9d0c973065d218ae25be6 88424c39b97747ec7e684c036cdb82f15a469a7b 8d8c4d42a52b4e573a4a7dee9ad789b0d43b6272 c374aab54040bfc0f8a911750c670fc1123623b9 c391270aa9fb0f87bfee7786321d9160f0dd60a7 d81aa5cb392558e0b8c86c49c19b93cd6b737fb6 def6af8aaec3b55a7c501f2c82d3fa9a2204a46f f9e361b0d7f6ab3fdf32e148e315ac6de04b8a2f9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 c1f78893b8ff18f75f1914288f7e034a2877cc05