SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 b/ \ / Dict_Construction:threads=2elapsed=42.199cpu=57.420gc=3.932factor=1.367zXZִF! g]ŗXf1-q恈͐7ӺVC.&@s5ή04Y9L]EZ "tyyM|<{d0=l%%Ss<1oHU~ݥۙT4p߆+Y-,[qC& cD/. юR(c m M,*?kfYK5fnA%*ӻmi0DOkyV<ɼ27ŸT5\p*e||9kVsVriabVCZD.T3 cyX弒V1w<*ǽ sU۶Y' / Dict_ConstructionIs]1O!΀\ 늍hy".ډ ;G,Ҏ"Ƥd*˿]_ TeXxYvVQm7P8}:d'=Ac{C~ģ ][~I@ͭp݁ub&p&oHcpW k7~\P?5XK(W1 ̆1rE#|W%agYZ7zXZִF! ]ŗXi%6d1,2+\!e<ޤ Ec =a!F-gdˣ]V௺X(Z[P[D-'=?S.% %"^-gĎhy/>?^ CρtWMLj(Cyj!֧YTSG-QᥚLOJU伺<5{*]1q=2D<o[g~T`JyevyS0S ?cƴ`kb n-F|e&7bn)6đ= u̍-|\Նgԩhx!|p@tx4qҽ? z: E]g2 ϞbgPT| ^vԊ臉+:j&XZk~UG怃fzQA;SM)8xN4ͮ^5B)Մ*X 6i9_./oaB޲iiLSۜlm&YBp2@6:>f\ !#8p<{vb~j.<`բ-bV=[c f`m7|pQ4k711ѹ0.|l:60o,$^9&)^?6a/FT?MmeOUC?!R h )1e=t{:m(W.1J3~+6C-i!rgj+Ҧ1W8<ȗ!/(Q2ȷYA_,IN!)"dYSL5V1J~KDG0Jx?@]Jkz'AY3G]!5n`\X$w $ּ*'[k=ôSC|վ>1[.iSB~F"i} eϤ6L5Dv@׾'m0r =T_yF [s3ΖԲ{t.5,g㏂&_4.ޅ:Hܾ'L Zg_*vPf $'N:,`yQW iJY1bt8nxqfd?C}L= >?jW<ߜߴ )>Iw ,X^0ʚ-˵rSAIl7E]Ջ&܋f`Od/!C٨wuE)2>1޽ |;Rp/vc$?JjZg4xE'f E7yRmL|uddҳ ]Ewp{HK\aȜqŒSpҘ_.9QV Ҹvұsc5jŇ3Do{"3U'H)x