SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ZZl, w/ ZF-Resid:threads=2elapsed=1.472cpu=2.500gc=0.000factor=1.707zXZִF! ;]ŗXf1-W[lʬg7]=e/+u9 uufLRRyHI8z5t\GPܘ F}Vܢ#?@$?ds|%NlvWCIPc\9H%[Tv;Ȅ%߿&_+IM{w8&Uj}T֛``"' (iEUi"n&,r;WQ ]6Y0BB!:Ud)q ;[֯@֚WYaZmxvϷ6ST+   ZF-ResidX n}o͜z%bU 3&j'g8JC`CS[9{cBv)Y"H-QyߧKUCd@8. U~6i@ʀ!_:27#q<.!ݙ)g Ԗk5VKae jRJϝ%/#7;UHvNgYZ7zXZִF! (]ŗXi%i8}M7mL{>*z#]v9Ū~ a3_uCsǢf]DW0ِtg^}ǖNa!Tw폶ĥm0xRmSOԿ}DJpf)j;&;F<룢Zx/ƻ[=|:O>jZ@NLGIRHT\++dĿZQT@hnqws3iӽ=yS}&Pi0^Ϧĕh@ŷ 11oef(r8.";x6wWfx Σ9=SWa agYZ032747f70e60c520957e25c149f5177d8ecc8f72 03cef9d5aed6fcf0832053862e506bdf96619c2d 087c424a70f278759c0b6e4edaf50ca1393d5072 24ac677f35b56d2c8077ac01c99e36cc65b0c88b 8d81f5a8f8401e6ebfff506f46a32901bc7a24e4 b275c4368a46450678d695291098868c93b2db34d2fbbb72014e26de66d280d7be7d08deaaabe52f 0a5a5f9d77cce4612927cf05284874a58e3106a0