SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info fl ]/]HOL-Word:threads=2elapsed=24.281cpu=46.596gc=2.112factor=1.927zXZ ִF ! ] ŗXf1-q恈͐7ӺV/K!W8DNKY>OjxiKGnC)p?zVqxO4٬{ ֚^zqxklU+Xwś:D0MZ (\\/UK;(6˥Mw"sl dWM֓ 3 mj<8_Njr7QA핢qLH2ܷu7I?<:nckP|9rna9l ;<#䞷yn? 5Eto3Vt+D["Qcщ269VH}a18Gt:eBau!Kx(n.U8*%uB@~_c塣i S)hytpKA5=wԁBEn*X3D98.OCZsμܨ+/߲HD ֧wsG|۠kkVr' {[-s`X/RXqj{]lmpBյJM^МDVt!R%YJ<&DbU;#e+0U{ؤ-_ز 8e@'l䀹iχm6