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  c c T ]/]HOL-TLA:threads=2elapsed=1.559cpu=2.504gc=0.000factor=1.617zXZִF! M]ŗXiɟ1zV=5_8f\r+w4|o" Ai(EP.L&Wv;G@=R7l7˙{^{E.: eJtZ03VgYZ7zXZִF! +]ŗXi%;bK3 %ABk(SL+T-edY?֕^ 끑9%Us9CplyM7}8&IF7\Zu|t'(> 3PChH\dS:1mX* weYCo환{ZY*YU)&}܁*}X &?pzr 2^rwhg?Aq/Qߝ'6AO0D½7Uibu9qK Ǿ'2T' =AJFCo 㞰\1Auk'34BQdei`N䓗팼evA) buGkQ 8Hâ+sT`^ac4 ʋ-p'{ ]5d0?vtX&In z4K(:gYZae1a24e815c3b7cc8c760996bf621cfc268a2ef5634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c3856b0aaecf4372abc7cf66b40ecbadba391aeeb4   HOL-TLA