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 #)ld m/]Codegen_Basics:threads=2elapsed=70.060cpu=115.724gc=4.524factor=1.657zXZִF! [ ]ŗXf1-q恈͐7ӺV L#xM:ëIv(Z?2i y4ݳ4 ת=d~h_J=H.gZc.*aRpdԱvF]ʲILM`tMo/KKCGMhjs}+cޮ$WaeM CP@!qc_pFEznCj1Lpӈ8v@dV׹M*q5y2v1@eoCp4W조Pu|.l^wQ~mp|{M 'G9¿WKU̍LD[&{NTfHj!ASGt%u l*fl/*IN*N DN<kzH5̯\/ :2`cY!3Ƶ='V3[%NJ[YD~J{NDx&x@x5ΨzW)!.2Oʮ* sXgp[lȎÈTSDH x," &~aV^^5tD0xGq~{)[IE yn{+ a`ĞFkf7D^'w)1^M*-PUud쁔>QGmLEE9¹wpۡHGJcdBD݈Γa//(5J Dƈe3=۬N 1}dy_/\")ve.c۵>̾yTT u/];%s4JO(W[{Վ9blDXN\Ti75ĉ4xB03OUs)SQkQZԄ> Iv^-(A7B naTp0=K,4 E?:_t誤H-Rm2*&/ ˆuŧ@3˿&VI I 7^yW.>c_Ns2P i\jߣyꎧi|%Qib30L:_inf҇SBkKeSO4:*>>OlA QOӃjĞ|mL(pj¡H(~ ^:e2PZ/ؾd/yT?ƔY(8(Pi7r:=9HG.ElHӯJЋn713Ff*<}OJ ,|;( TN6qP1qߗj\eO/N5U?0 3W$w]:PfQhG0lC^ p3Ej)Z9>beЎƪR0r#F`jO ~;XVڔ?pF^YAhQ3̥'sZK]y>Bۄ䣥YJ *rZwHJ@YY7]MY.pKIJ5|n>"{g]Ю`,r耫G0 Y^W )"Sò` s.\'Zpk9@VS!/iT!P2CWsT[ @(GQA[]݌X 4EȈKϨ*dt}qUۡ<] ڞ`P6*j|?Wӣ֔5u*zKz~}dooUbk@vהt8 pA6M`9{xyNY"%4Qdl@'uU,- .K|0̈́D췝̩Q|x*Ƽ'v2=ue<*9'ouhЉЇA>PJUHd=/d9g?38d ,qu(;+@z+ } Gk~y_x'@NT9̐ @\9 >w&D(;AULؚ 鶈BkԙO><ڵ,ѝ&{VOl_ZQ _IP즊݇&gGd"tI|:,5t=TDKmf}zBp}TzLjoUq h.HCPl) z?Z8\)iu;c`6j. QϠ1?|"KIQeщ~7ĵ| v!*5s^Yҷ/wUunzݽT􊪆@V@uurˊ(;ڀpj_f#QH>-  AxndX]y(vŨ@f9b!l-j49q{ڨ敇\ɗ~M^W 5o:א/|H3#,R})-&z7҇).Z,QGhK h.=aL5f})'y{|my#'I늠ʮ[p.>.75YL[I Aw ܌M2'LQUX}f_ӹx"]?̱gYZ7zXZִF! Cgi]ŗXi%BWEt0_vН~*:E6@1BA[YU&*vUBJbi"ŧoKJ3Cr0hNy \pB .*!"wbNR.rz(_)t+p]SMo },-b*M-`@RB! ,<5&Nf"$Y\"cm_fm6!Fl=wfeZAuT,?6xBpNgy) @8fP|9үvAa`up>^RDLt=%,lnʘP^*x{{U ͎mK 8)@{esL>[.xG%bX72Y`ZW&! ?Qrp֘>m /!"qPM[oZ8Bry}WI{IuU_͍ҽ&-PMԺƟc\;' DlĂм(e`rE(U7 <<#ONc6D_39ߊnsH8dJǪPXn|YYiD)y>uHkf+9HY!ˠR؄~D=(4zR{YQs '2" ˎeT&UE) V{4)p'cCc (,xBO\n" ~y6'R.͓/` zqg`bKPoMD33@=oثS1pD!zm!Xʡ&\nS 1ވҮr*i1G P=MSwu$4OnFQv c՘n9S~K- cuaw@532:)G$`ZciMu,I='Ӂ;or@:2S{IO*'{MYFnx^4_sи^A _9ǯèhI,LZJI C >=c?MH`$ ) z-d55eݝUZ6a\6VlRos]'cZR;:/Szg{A<V2 S> uwl}qn4b8WuDZnN>⎳;~ʿg3r=ApQe]V4J m W+ )u3Zۚ9xL̳SHpDChIr:e f=yZy2G^_=ns4ofSO;]*R AxN)L458oi'lz)=X/̲94+? %YH"h/(Q!+ ĸ}^9c^odyh4 s7ѴPz`f)V(EHvFybԾW&PtT%v\4 qDwo@bƍ7t~Ct&2/9hrFA4m֧ǎCSQtX([j;EL`PQy go!ӊ!ͭ~cl yN Zdf!IdR&2~PN3ɗM p!K&/Ս$s("&}z| ;/j\=WMK$'Z`^r)E3~+e9 kF`A]\Q=A\r^J@uиk ȩw ٯOh>s/Y9*<9@ n](R1|Pjw|{3~xN,?FDlq1`3#֜HC Lk37X~Ԣ9R_{$^ǕydR8BqgyRMZhB@eԪ%Lde."fBk`*dۛJ&[У