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  l l 1 [Q/jĒҘQxeYUyeb ՗ix]*xl@,Ș#j@y\jRƺ6v 1 HOL-Metis_ExamplesDD<l} '\=tJL ݺ}KR&ͨv^PM;6)-V +]ΚyYV~A~q6E8 [쫢ŋ.ArH縹kPUo%w#mN&z{a ♽K >1k9<|nenuxzh<&r̐7bT\mT}͐ 1g@?3sG0}4MFeas Ņ|7"{vT6>519N1OOsd 3/V3Squڰj{pwLfׅuUCmG8RHH4ۮ(">Ƹn⌒k0أC4u+Pd:J_ "rl\.mBG'2eERK! :AaqtXhɺ%MtPsFHzƧ_GVVaYvPE};+(؎M$^;v$dq׺15:X7Wl4\Frz 0ΏD2ba^FnG#FeyɑNq\T7=luYB.1 RHSnkeo 'şХ h IQ}?J5pU]8g?T7qȶǘ‰h6^MB阂jُu쭺ؘbj6N[mQ?vE}0.RVHFJo]cvfuJ㟪1҂6_hոEM jwJ~44LX5w7MH`S. LRpӁ8{ ۞hVtÊ[z= \:]?j._Ju2 Z&\ ՄG^~AwݬftաIVJ<]DCv tY=a*xozjfY6R4OaTNsq82|Ad_2+b YqgYZ7zXZִF! #]ŗXiɟ1$Cܨ }X 6^vWn p^k8htŌK̊K,GH%PEL1f65z[^t"dڸlO..b!Io_vE]w{VL|."lFHv-޾4TbZ?΃xk)_g42]MGj荈 6oXtr[B qKСs@ogmxǴwiehEBfd_Z2BdڝL tgYZ7zXZִF! H]ŗXi%9*WKwֹ ۛwݴ|ӤaִwXq-o l 9i-͞_,7G%$ݶ|ihJ ENTS Ÿ^YEo3rV W~PHf2l(FN^nQ/J{X . aST1 OS)6g_ ExGQOQz'1WH=ʚ:K=0 ^KT/-룐j>A]۩)JU{"]ͶDJu 9jx;F!V3sb|k'q࣐]?7n#"F`Ԫ%@_.f 5*PɢJζF,"g"_i`qXPG1ix,TIhyQ"+?qY _A+`ftMzoewcac.mԱW̠gE75criņb7#λSH&\"4cT{N*(0 `awY8J>)`gtU#'V#Eph}& ߬j$by.};'2wҚF{up=F f'^Ԑ qKɫZ9箫4R|YNuV%2|%Y **ym2.v7-ٙ!?1dkb+&"D[̂R<֎dz8Ry6Yw#d+T<#1.#p7bBI[ ]S'ǯ+zg´gg@R1ܣUwt<`dzjhBBl Л} JVzwN06