SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 88E# L ]/ CISC-Kernel:threads=2elapsed=23.743cpu=41.980gc=1.668factor=1.777zXZִF! ,_]ŗXf1-/6vRZx>3ddCQXfh^x[++謵3fFK汬X2>ee82]b !`gV.mA.fXJ^D?g%?kt3;xӛjZʈ:t&8, 0tn .bbs4ТxyҦ9t="*tRvu-qsԟ:ta251lËqhd Xy@1A^`4 XA4 i偹4YR(.x:U9,,޸-TU({ ud 0olυl$QBcGUxA`Ahp<+k!(,(J`m ?ӄ8Zc*q!`nn2p=гҢBX>WχhXa_q:j,7dode-D]3Q\addڞ[C0()㐈6 2a}T]UGPAE9#+Ťp>u._#HrcCptś"'a+MwNuԷX<'6:m6u#nJ|uxFG?g ,p1A:Z'OA(^`?vWKI#(@gYZ7zXZִF! F]ŗXiɟLN.!}" nPBڨ&wjn.S#rHh+u (%. 85=2gVOz"f˸C̆Y+dht7.nGkN6ycYA|d za`<^۠}@pJnKlF n^^ಥ)'{kF2w).rxs(R8yQ>ƝT 9x[lrcr"(4@žip:…y`)T<^](;/l2K=enu탤\]֓,+bi׈t4cƇ4f}zE7K@^kڗȾM9n23&fsEapM^ F_%N ԊGHCKWȜD bCLi[JM 1Vww`ŖJuv[ p4䅔^DMĀ^W Ln`Û ،N> ( Vrlr0͠CKG?!n֔ x蟬dOQb%ҟ.1V[Yz킗Ia>㫾Ӕ?eɨXVo;.SO[vuDe2kb8PG$M9mWcfDuā(l@{`Zg'4YS8X;T;<W*!Fv`"!/δ 6Ԕ^S<^&n=?b9xܙnuMfG Jmpx\b$C RqePD Lx@̏<._xK]f-]xa]]2K1^2bM ˣLXg7iS0 7^H h"<'j0 l2Dؖgb)PV<AQԡt6l@sL>I ͣIQ!3+_7 H $MJ M!=#lK$~OO]Uԛg)BᡜK8USNЂ):J -ru2|e(HIfG7b-c"w\M=&{Ʉb T^w Q$, QPR0.#fJciZ;9DZ(o 9abkp4u)e$(?֮sADU)\1\YxT<[n؍ew.qLon"lDWk, YZ%`:oxЯن=K]G9)p.NSz(eIv>o>> '{R!˟ud 3"mm0\`