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 k)ld  HOL-TLA-Buffer:threads=2elapsed=0.821cpu=1.320gc=0.000factor=1.617zXZִF! ) HOL-TLA-Buffer -]ŗXf1-q恈&'ŵz1%,ayk_A*qd -ۉ{hO<~'iDO$m=D r<`q#<Pof܉5ARU8fQƷIOހ[CҷVܜ.([8z^6 86t"J89s*R;lwX2nڂ5eTnxW%_ C!zxZ?aiB6Oo۔n@Ӈd_ZFX9G>qaoښ6B &ucCH1i &4WY7Q#_ĩ3Q'PiɁA%ZUۂ]uUYfiQ⍋~m3.N&[4ƐUȲg!-z-r]%}J`ax$"YƘT~91r.1D ,hgYZ57beed309d1bedf7ea9b236aea7d0c3c9814e127 82e371629981c6c5741397e57ab64961b9b60019 e87cd067d21dcdfa0f1a246c533c584f402e0ac41d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b 8dfeb2362f33ca8f617528d62722fe465c48da0a