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  d#4< ] HOL-TLA-Inc:threads=2elapsed=2.377cpu=4.080gc=0.156factor=1.727zXZִF! A]ŗXf1-q恈&h⎾kH=Ӥ–lP&ޜN,&/G.JM ́o@3~ ي K`2eiS MŎmPȨWj$G.`-c6iI`?gYZ7zXZִF! C::name=HOL-TLA-Inc.Incelapsed=0.807cpu=1.244gc=0.000zM] %\D"9G}YZ7zXZִF! ]ŗXi%96@ƒY)V ikhh/jZ#a&H3 zqu^? mzzB/D צAoT-rͷ^]vy,G{hUrûc^ULj8Rnk3=t6|'mQ% ^Zum=1(kt1su8sSV::/e?MEA8ue]lHG0-eYMЩ:8i#RVm%j!ŧ60=@;\voa詆NΘ_(H*܄=j@~T/`נ1 J%\Gmlڷ*]CNPL3FuIBlM=vn&'Y:4¶50f`NB M+v6h{.T姶gYZbcee2837f428044fe2e3761f5a0c48184e9c30643fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804de c9d846fd0e16b67644b7431bbcda27fe4db54f28 # HOL-TLA-Inc