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 *1 \|D ]S HOL-Probability-ex:threads=6elapsed=31.939cpu=51.816gc=1.788factor=1.627zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E~. mIDPG8nyl%nLO&d*d|,D= U.mE_Ke:ǹ⎗UpmyIXD΂jئ &\m7̊hy+`Ӷ]åilv':+˹IKfKM9@16}3{3Cf>y m yƓ5 pQo8UJn.kwF}Z>p+0P~&\]O_Ba$P q1M}mH&msZDxh7!(gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >f^zs[BE_)jV#k5BүྀjTzj QVWwth[+E/*.0xcaކp nL%8Ν\4NfVgU`2`i gYZ7zXZִF! ~]ŗXi%;ވˀnĆl {8CƫxuAeMVZ6D$\Apx5z"hZfqՉ|-:Ց`V%_<ZV&Gڸ{qу%P$Mg;=2޳xio}05@_Ayjf8A*Cd/,ߋ.c qKwqy/+>D6NNБGht$m~ҽ JIajjuuYqC/?xo# M,p;~;3\rt⸀<ThNXjXL] ,lΜEiy7Yl|.b4.\D#rjgkySGkӎ rrco(B}ǘ EWdkur"k'd;{/Jt&y~@DrH'Eb0ϻ䒗M`57H#AlhhR~ u2V>SX >mp6D4'w:JXb&v(C~b;C@.1d@9VZM'z וu+|ŋo`e7K6}琡D[+"iZ3\\f 1O޳ƍt]{u%HnH|CعĽ ~#;?.A Q4KuVL;j#qq.#3w:p-O=Y)(uFS 9-),gelJbV)D=rW]Doi[kwŷ^c1|D\FΠ