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 ((MTt U Circus:threads=2elapsed=54.249cpu=103.192gc=3.728factor=1.907zXZִF! G#]ŗXf1-q恈͐7ӺV 6 hD;V& _w]ӘJLU( Lc-=A{9zZ(e]p}^Jg8SϴX! SaQR[JyEvV&#Vam](\`ʇ,NyXX0x6lfqKPkEqIoڄGU4#XzS-?kv)c/$X{]I9Vo;GZ)F `;'@ uÚ8?8++ +lOv(*`BІ]ZeI~H~ݿ"[_t'q  l !INeVYQjnMvL\7Ҟ if$gSųztPӧZDos{@!M0̱{ 6Bۿx 4_N@~85vb6)7%3O9 ٷ܆ ~cIb__:妘uƝ 2<״t-dS)WlP%J 6n{vW೒`}iFv_xX]؍on/ш;}R{&-GFXZ:I$Ly"5 ^-i&sm+K @ԿPn Ă{'4}e͚gtTD)f:Nr#CZ  -ҁ>/!}׭D(vD1XwZQvQ)_Ǭb&@隧)LRf݊|9+qYx]!:ץ/'Ii# ܭ{)Dzn0"Tzk8xW i} QPW9OjpLѼy$h'rP~<Hq0GhbVFIx{ɸ;2 l}̳ĵ2ϩ)./J[e.4.-řO%/Ria㿆ѥ{詑^ИsŦXa  cy4(E./Ҩ"`2R88:,_Xlfvھ^ rqTpq-Vx4eśX >FX M6fdxX"[_u"`)U҃Ҷ:IL7~hgL FԬ[:HX"ӽ+>"ea} ܏rgYZ7zXZִF! Qo ]ŗXi%6^~͝NJM;ʝHdai:h,u:)Vw`q#۫=}ڱTtLSv1P]A"jUmLә>d$" v" sec^#57*ALۚ@渦k"x yaągo$!)lS&iX=<'".cCIX0Y' gNQ9{(8TNaUw!Tn#dO'!'I+FoB^ɗ&dKLJk؝@nTh uL-BwO$lCt;QfҔ?g؍J+Տ*cFU{'/-r + _DCNo~;霺}F:@\&J`o/L( ͑[PnQ7 Zi:D*-+߱XSRr*{[loj26_Z*:% x^zfMƦ s:&)};bwch@᷺_g2M,ogi#k1ؾxܗ"pQaG,xI|٤|ڶ4ba7   CircusV{skm0Xe =aّf% ,1XX|O(L{v>e1+UGnza`y{ƽ%xJ~Ɲ3r?zk(R;<ס㠘bj~pzWeۻƷg1-^Hs fyWXLTdkУQ7'f^U mM)3VTLwiHMMs"7,(M1YO݊pK|w/[A&=zXL-9-o^-nlh%?4Nj0itb5?[N#q{ѫʫ\u(ԻAê{OgZ?Kp<|ӷ뛠ÜYjYD+1bi*V`f {m.Q/fv}<%U0Aץb|DӂӜٗu%PܡE@b'[>}BE<:@{5͖NŃv+w0KJ +9!y1m3DF{/ԙ#yKVtN> P aT'kƄgܜ.GA| b"rb p"{x7ы&PoicD{&P[TtR [ 09_>㟃S}JW!|iLkCd2sCϗ_nus,F|8]4tQHݐ9;`*EpbLf?!#0T 9v|h0~JIirPy֌k L qE9C$uJ#EؓZ-n{ݟ0pY[R k]o|2N$.BrDAйߢ \_7.ޡW[_҅ *WtB,2n%2AM?6\ds.5MF p v=5&74Boљ_mSkʪt_p7612DNVRD«_]kqq,&- $p|2zcd(X<2Ԃ+ˇ,YklxHێv'C~7ld_y*IF)§Ob ZN,<>^kHN8@6TAdn)N&fv'|I:Y+kR.dTA` ƨ mlreȬ`gq՝tFm#jE@BE\Nk;mp>x%lER9ư90TLP0>, +k]~^Xhw=E, bKX#Wyƍ4M,ߨEZ̟^Qm`j sVѦ)FOUswfԹp^YрJM23%Ll,CPQ\;W[x:Tg"h r媶'Igu{ )U!]wnNtT >cMm%d+0ل⻵RW#"*5긎Uqƈ5]MM$?maǯU^pZ?R1YdBth$[:k6W! 2M!_3E=v>A]0=(eCk@Ko p]#GJRtR|{[<6YJ}Ll d-iYf[HBǘs9m=f3i7;w.@8%dbQ?1 v&bvSM(X9ڎ^ NQW< DwgJ(o̞+E*'畄Y;g܉'^|`^vA<''He3|Ҡs{:DM &ɿ'C~((Gګ B$D,P?}Y/bWl@I*>3eY+D`͞twO85~= [] uu;hZhDB ={NK5>$wKVjmD]%夦oԔR|~( P' >%a[%UWW?ٲ-f%Zi.y;%Yk %5pK:"\2&lcEttJy%|G$2VxIVv[ hzEZ5,iaDhkK[O)s [2`E*٧i J|'8u.vcA:2Mˑ%/ЪBԪk]|q=@2Y钛,54)(%w*6k8JR(lɧEؽ,Sad@8/MRqɩHB_7Wᇬn98 \yn@}V[p0.M29d'AID }⎙? r'Xݑ*ȐI7\X݊hշi2+R#XgYZ0b8efa224641e87d41f0c2727293eeb43ce36bb7 1181268358707341d13a3a94857622a0920b579b 148e38cb5f3d3d290d111319209a9738ac361aa0 18d08009b0409d92bdd968c937cae4d5fd634cf1 1c7e5466288b401ad82032c7750c259cb143b759 1dd8cf7b4e43302dd3afaef1e6d216605ed1469d 2fa54d72c65f940de20bafb91f89dba793a79ff6 32abb7565f623d323c95ce7f9321792f97f6f069 451ac76a0e3aa8304d970e80bc94e109173687c0 4a3d4221b9ec3a16c10bb13effa55d0b74ae1940 5ea38e279cba1e483e846cf8edd984e0106a58fb 6cb3e8103c291d92b9b34b088c0dc7f9e362865e 70ce409d38ede16b522b4fa352a7a32dc8d18e08 714852b53ee6a25ca4de13109c563e7b37c2b556 718392053b2911848e68c08ca8632a5637f5e432 8ed6364163cb7bb734027488d45397a19bebdb6d 92995e9515df3d77186d866b4763eb9e106ce2b9 a91192f51e3d7b1749a1c784e15471886bccb3b7 b011eac9002258baed1dbbd398a3f4dacfa0e6e8 b4ce39f5a9a6908fa3c9c1f8555058e6f5479869 c82d62de931c365d5f6aa6c1fc72ca1356266dd3 c91a90c472a98d4f1ddde3d19c15523b8f2d8df9 cd3237b53316c58230598e8b914fd4c991392e4b d580a5ea7726c90b4e60e8c589c8c4d31443e01b e18e2a58ca15ba0d11f16e4751ec1d7bd8accb68 f078dfc60c21bb30283487a9cd39a42392584699 f4e7842ad645c6f197a109225189baa4416aea54 f89b8afadf4fd37c7a526959d4bf35f3800952e2 fc96718445da73b17044491ab0d8c643ae59368f238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c 90084bb1c0e8ed658b53b1e2a7b51c89d02b660d