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 3#lL / HOL-TLA-Inc:threads=2elapsed=2.365cpu=4.260gc=0.084factor=1.807zXZִF! ]ŗXf1-q恈&h⎾kH=k Sm~` hc(^xCh&&̚!$_s~Ua>! uWO{h_B J1< @hO Y~6 i ΪV+TB\&x$}? # HOL-TLA-Inc}1d JvH1gtӨ'1& 2*Ԣ+ a^x] ٹb>ߘZB@%dܟt-TcA]VS#O8 އh(k-y#QH:N'ĥ|k5)<8:1)Z|閽ݰF\ +UT[:PO5qEK8r&~ d3ef>PGekxgYZ7zXZִF! ]ŗXi%3Apx`Upţֽ`:6okU .w7GP̢6Wnߧ̧͗28Nz^{S1xV$ clx" STFj_*:ߢnMP5@t DD[fm +Bf{ >Q9k38qUD?PJB2J--_F ]V!T+C $:]o8M_{}8TL87ך!z=6J =H-7\ZhJdWhڪScl\ wa5R_9P%]!7@`2iTʤ*e7P7ڣ0Nl&h&.Lxf"d=4Wf|&^&jgznZh8j'ߣWufZ %rgYZ73ff691f98515c146fefd86a39586e8c913d79e3 fc6eb76f4f71f20609e402f2e6f12617ba126277d38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5 74096f10ade152da5664050a37e244e22f5f579b