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 %%XY l ]/]Noninterference_Sequential_Composition:threads=2elapsed=19.121cpu=33.428gc=1.532factor=1.757zXZִF! ]/]ŗXf1-/6vR[y(&j-:6`6 +Hx~w2'RK><0G} P\~w'K$j Kaï}wq5I{I+iMduN>zƧ*;%VKcs}AC3Q9Rm .O׈W`/ Ymk3Uj@[3/M VM`c[=i%Q Hq :GQOw)wJK4hjaYAIsCԯ,>V;}hM^(dk,%ƴTg754wWY9&).I;Lm.&3ޱÀ(psǠ "3?Z3sXgYZ7zXZִF! n]ŗXi%92K%/PA)܉Q@ޏy0y0r̆Y>^Z~p&;-m1ֽYh=6K&X`qT\cL}w33 {6éO#[Iy.FA+;$u6wX z <G9(G(|.(倾 4c.3Tܩ0$.$q1{jU#[G;F}{Dau"_niC Q/x2w*8s*npV-4}ڍۄWۗrr[M藭|sZô* *-}Jl3j}c[+Y"+@@q:h֔1MkIeAgLG]C6qQ_w Ձ !T g!<APCwwcaW"'n=5N]1i " ۘy#̀G^΁w*+ ~!gݵ3iG=ZVy*fWsL.+_lAIOI؇ڞD/RqStbݒJ h6^0lqتմ< 3goP?Q'B!]#bzp}71 &wrddWE Z5 JcXUw향Z4 zpm \,v"+ co9$ iolz!7XD3ډ3j/#}LZ_R̘'~/R_[/RZ+5 /n@oC"'w}( 2Zdy^E7hn-yhaJa(#-sKW'5V6\e@; dyJ\OME~gPE2`H0Ȑzciy3nVki B:x%ҽ빓3+!:|p}!Z;jG].^ |]0ȝI-Dމz=C")=)'ωQ#ۚ<_+e|^. UH /_ۭ(hz)hڦ5 ޘ\S`A Kdɪ ==qK|iMA#@$bӞh`u A({'ܼ