SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 aa $ ]/ Huffman:threads=4elapsed=8.944cpu=23.812gc=0.520factor=2.667zXZִF! 5]ŗXf[&qأ8<±0LB]O& ri=Ⱥ/pY¶yafng:Q&5FkPnn2!Od굗f owX.9|P6rT%d s*v'є.{APF"6h¸{``I<_WnA55m[Wu}[j߈cv;}۟ Daڇ jQ'*{o K ӧ7i0b,ٹkBGD7Oސ[k?@{lj9gkӬ1ߥo9BU?@ W}/,hu7y4fThh/b$vOdM­6Hs'm :N}by2TÔW'H7fWnIjgYZ7zXZִF! C>]ŗXiɟt0sϘ ECS>O.@M[vC\~-] QEjVZD|c}YZ7zXZִF! EP]ŗXi%Ggڊ'M\`6oJ)5S'~ 5{>;O0 < ot k ljAD5#*2E4 rm̜mfͥqdMuu'+w:!+ ^HJvg66v]"U bz@d4_=~_NJJ[Xm7H?JXY9B)Pp#.Qb]WZz?8^Me-f$e 8r3PhsUʗQUT$)I! 5bc}gQLqE{gΐ7JxTW48NNSDQ.i+T6бO>#0U8RWZeǞt[IL52@(򷐛 '9E.i10 5=fT~Q m} qz}eqמ b-5cvۖ5) ٣NIoPlm KtԭV!hDYJC)Bbbk?TdVGresR*훢r|.\;#ᝯ'^e_xژ-@>O\M nUƷQ>r+ +%Q4T`%(X ъ LCgYZdc64de92d117a07bfd29504c394b47d9539896f01795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b   Huffman