SQLite format 3@  - 77Ytableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER) \ , {/]HOLCF:threads=6elapsed=16.205cpu=37.384gc=1.904factor=2.317zXZִF! *E]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kx7GD9p tCh<w۪g-3H,g"At7,Ԇ| (>xQU >b _>*Tj5 f^;;b񧱈na9kWc \@BSp52<Ô[l*~˦F5E*fǾ+ߏ^X8;8!NCH,q1/7HHUB1l@z|,皜HUR BStA)"-w%Æ}qB zK I)L++c#\cd}u. 嬁 ET8gIЁA,94M6 B~z|9D^^,z7sATF`55Sp4k[/ ?"|# [|3bDH4|FUh-אn2]Z-[aޓ˥$]xQמ⸠4%u}a>f:)'d&D~"?BӟBBgt'pJ$D߿ Iߐ(8p6y?{I `)}6zprO pQB.W;O!\O"wЯе( WG۠D4rpU$YeǹwA O;diҁgͭˍ.g4mLAη r\νgH)hmQq+'ȿƶ-IFNg-SA^Q` 7iX67>t*xwQ(R簸^pb6O:dDٳT็E3PiKiAPU *L Yѓ+rXiFBfTc Gҙb}MF>kGk*,kdӣbkp qx3YlΌÑ]:w㔓]Kl ѦM`}Zqfhϭ2Q ET%ꉕS&]Ѓl}ٰ^5 N[pp%szqEP-bS'Ӭܜ?*'Cp-t&vj2ͺ K395KAa[-KitJضѴ!jxg=R1ҳ:qTW4bVĸHL[ s)5숡ati^v"p ' Ql{^ iWUxc_ĩ 3'CL<hʢknsϗǽ/E(ya# 3P 7SrouN⣌}|~/q~7䛗FYv_?Ufl.B.\y2Ҽp|/ϔh1 y5 gP$|NYj:IZ4پ<8ǎwS 5||Dg?ßn=ZX_oEzNL8(N%_XX?n䍡Qe9}W3׎BĘh4>mu>4n8j lZ)xMaqp6s(:0T0`M|vz@|T^RX< JVvFoKIJ JxdGh$XWÇWC̟LLiւ`{ tݟ[ycU֬HP% ުFNaSoct ~QnKJHȒ8Օ.\%)9x|1N T^0먹F#Re`D 2zP[' C>OQo^ψj1:JFg ӒNqC+/?a6\AyN.PqB(p=r6zmzlU|0 4)wcA3ɞ(a6#iWUO `/vpZ_j7"r2VoBI ߙ*ٻ_j5ՇR x)`c& 曐X- = 3/S.=6?>=埾68|~iub|ZQh)npNV lɡ{W&VaXlKa%x+5 Xsd撊9/j;IX t8[3fXGdЀPn$V~cSs3}IU4~]8og׮CjW \\/ rOn|Mƌ ~#}<;w=Z%aK͏0UW{1͑V@cX*iIȡG buRaEnhgSvh&%LLК*[zNS0WT)l}[%iU,dn=R2c/Z=9(/t5G+fhxRRR g`| aas1#]T5Xnt%SbĐrl _)Zy`zԘ?y{+~V T{Boyx ѓ V߈2P6ğرȾ|Uo҂hsΊ|kW*R7 s)