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 ..' D< U Circus:threads=2elapsed=50.264cpu=97.036gc=3.132factor=1.937zXZִF! "Z]ŗXf1-q恈͐7ӺV 6 hD;V& _wҼߟ=\ 3Tջ6Ic'ss=ptntiO )j@rzF剜 Si\]Oe6D"g1qD*ٻJJ @|n7,;kSt)4x$xlͶ#1@9!NC~8:'h3VoMgn.: ^:&yLM msCUSb- @{S3> xS4 еNx9.O[f@ (Gl^O 8O G   CircusE?PҶ2=1Os|4x(M P3=b1qްPlRH- 葱[XqA(v%;]^2;9pla|m;;^MUBNꓱʠbg DZƙKu/BfJYԟLFObmTD-)PJ O_+,|t3NC8eR. ދR3UL]0ZuGӚ\oL% T!dNL-/Z$]Nà sb׼WPSn &Z9tPF[,RO,[rȟu) N@<Y9Hzc֬cJRL#{yԤ}Z#bL_@ 4y !;H8 Q."K(sHk{4m>Wۦun:s$ }V|}v<7 Yן;L yPZ" ī6S M.v^YC'bJbb =m.TmwnN)R.ݓQPSSbaĤEO ?Obyqٹ;6/ZhӴumHgrswp僒m~,6L;K<=(>-}$ޠMoa{ieKH/qx ]F=/VHMH%0Mms_pe9JJjrLyd CS檗K0V`1|*}k`nKuQ!#36*^Dž`\Fگΰ{rȕ׎ yS[y^Δmo9 @o9|Y%OQ!|i#VX` '*Ƚ.ߎ/~z7r.7 c&ɘ +.i~jRbSLGn-M)#;6J$>W |;ֆ. f!zGNE6"!oN4IYv!U Jk`.~Gu۴7m 9Bz4ufWsf4u*)s|&vNENB(ZiEMD-DjXX9.c{%bsf*SquqWXpCC͆@y+wtז2uI'eꑐCiq'o h…k> U+#VXÁt̯R/x)OwQjbtΚk=sA(vf_=cw%{()* VHdc\ӐǸ KQvXiך[,`&NU񵹌E#B{qNmָ_3;JsE5Ư( *W=xN3Pԍ-g flz.l!s"H.J 9]QFÄtKu09>oC[vivIuˁ[%cmc}g AGۚpY3-u;=BPX>&,ic S!鷲I$! *~(9bE5 7oJ-xwJ Zq*UVľsq?TK8* fgΏ"~aGH Ky'T{I # r#h26o?0{ f @ϓD/֜pJ@5 -~'pz`b:Zݏ?C߹r$͘o|>`F[~~9jcΠ{cOH&5֘08,9(.wws$M D/ucg_z91͕MpH2Z5>MkUM]xr޳tSUɟ!H-݈CgֱMB߉=Z8*9#|}/[S!˨OSds8L^lnjcu/̷.vZk5e>ǂ{3i0ǝvlm)9yF]aFHd&( qՑM'Y]u=VG/)Xğsbbl7U`c3y&Lw/G(MV 7؛SaiÁIǘb&÷E]UC?ث㧾7-7t,OϔJ$06ģ{.ZˆBXhϊBյ>^ !ڲw\L; d2-P'r/7{.5tetVJڎx6w2;Y.R$>jZOǀ\)X 2D$<`텣8umEȃZzНֲٔĞWdn L$O%XwyӇf b*U%_OѠ CgP,.;d)wa&ظ&rىn-\ƃ -&bkU@ R}6gLOWǀG*:?riKfV8lf LA4 u6ubISe7V@w BfژQVy46z*^ı ֈ mҡ=.Ԍ= 0e[BN+w=9T|!B:2ןH)41nMHAsӛW{>)Ņ75ln ^ ubz[ lӣ^Xiur"3#؂BP<ڔg(|/C̡t"*0_A nab+4oRS!îTI.5W;4e}pqu!\)hdXl뚸OO]{LB'Kw0a<@͗,sf]ztNQȬ~ ;ɔ<-4Pe (fFUnA&+ Md!eoѤvg.JL˞3̿O*b~ R@+j띥L"Y2VnvCƶSK&4b";`;?~9Hz&M)iUK;J?bxú_Q!z4INNƕy`E6͜ǰrPwO+`"[X ⶇr(1꼢.hR37Zjoӑ7l}no/BKP0n>6#/ ؤI\+6޾D:)O ܹ xzNݯdؚ%c@ 9$s@^5XYC @GAl}dL*BՔ/j7{隥%H}\$0qWmtfaSӫ U(;:^26 x=5LYFߡމTtqaU1% ̔dUm|}E|8޽4I"jZ #n3۾/γn̄uAdr9٬+ck)KCOѩ7SBe0@wXfT6ɲeXxD{/w ;IY|x1!s!`稞;b %I |âc_yCY~>0BRPD:u Dؐ_ڧJ[m)7KrM`86!_&`%z7$ISfuo.,dj##V $@d) uEp1XKh= @nްKid_erp\ u|( oƵ&7L;5Ua?!L0C4ZǏ%~Ŗ㓥~NYo@wB),:C΍z.?p(:{)o^) kʭP׾k$)vdGOidѯE͇ǂQE}cprkeF}f&:l _YavO)3WL>ňnkSuW΄ZQlR(9ygF0c׾ P]zvIR6@ >J7&3cNEbߐb\7 ́-Ȫ^7)}r?[Kﵽ"~J2-Mu]8=l Q!g!!J{U#&dziË]&Lo:E 7d.X>aq]C;VAY{uL5gkU]2Eɿ'H4ع;.B"kXk0]:t̺8hY, )W)A+kxXrf.+vvHjDc~5!ʰ,oh 1\uRNvCCrw`zej`: >^Lca[~0}HE݃XN!A06J;CGʵRzEaci)'qt^mSjaTENGG_tڛfJ3 N;h̙ԅdM>%=GzRp %2Z fӷ)> $S\ ȉ&~#\lْ& {p77"ۂ&UXƤj8ai gXhe%_ Pg<~B[Q`YV4}`#h7:uKbɕAB,N26Ho9Ow*&N#B{T۠yb J/Jy/a6z֊Ӎ8pY kԄzM ^Q0+.Еy2KrHփ2A]lyxJ7p < u~Etqۖd8GgңRw%,X$)sf8S͇*F2t24L>e/=鑝V5$RuѤ)Pr.|߱P2<#`oTWG4]ffE (I 2~,PǐU޷CV O< |I6ŝ=1<Ω.Pk5{hߐk(1Gd 8/?ZuRD>pKB+p8 Ml@M dp JxKS!(N)h $8LhE֫e< /FѻP8o{ 2ii˒M4-z(5'q]۰gYZ0b8efa224641e87d41f0c2727293eeb43ce36bb7 148e38cb5f3d3d290d111319209a9738ac361aa0 18d08009b0409d92bdd968c937cae4d5fd634cf1 1c7e5466288b401ad82032c7750c259cb143b759 1dd8cf7b4e43302dd3afaef1e6d216605ed1469d 2fa54d72c65f940de20bafb91f89dba793a79ff6 32abb7565f623d323c95ce7f9321792f97f6f069 3fe5941934893b5422165e490a489238302826c5 451ac76a0e3aa8304d970e80bc94e109173687c0 5ea38e279cba1e483e846cf8edd984e0106a58fb 6cb3e8103c291d92b9b34b088c0dc7f9e362865e 70ce409d38ede16b522b4fa352a7a32dc8d18e08 714852b53ee6a25ca4de13109c563e7b37c2b556 718392053b2911848e68c08ca8632a5637f5e432 82312823472989b5a4a9d5b98e3ea55b49815e49 8ed6364163cb7bb734027488d45397a19bebdb6d 92995e9515df3d77186d866b4763eb9e106ce2b9 9a7d35705f997a82eecef4b922eb8805d467f036 a91192f51e3d7b1749a1c784e15471886bccb3b7 abeee553d959d22a6447146089bd5fa7bb5024d9 abf66fdd4a834fa2c84dac5b9477fe2903899f12 b011eac9002258baed1dbbd398a3f4dacfa0e6e8 b4ce39f5a9a6908fa3c9c1f8555058e6f5479869 c91a90c472a98d4f1ddde3d19c15523b8f2d8df9 c925fabebb0c7644022eddc882f14f403a992f7b d580a5ea7726c90b4e60e8c589c8c4d31443e01b e18e2a58ca15ba0d11f16e4751ec1d7bd8accb68 f4e7842ad645c6f197a109225189baa4416aea54 f89b8afadf4fd37c7a526959d4bf35f3800952e2d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 aed01cb53bf2b6498deee1ef060ba554b5f2d965