SQLite format 3@ .;  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 ff ,$ ] Tycon:threads=4elapsed=6.833cpu=20.396gc=0.824factor=2.987zXZִF! ]ŗXf[&~=BVT.E>8-*O-E9ȔD5!?{bY,ZMèg6,tқVyoE&j#x:ȄSYA_W-315}ңݢҦOo?\*)=E:2W!p`u򄬑b| QV  in:{5/_f2Ĕ_?hFs|TM+XL.7iiũ"K+΃b7<3b1i'e23 P#ÌgYZ7zXZִF! =]ŗXi%L S`-0*;-S!='>ͭhw6pWuXe~R-M+7bW8˥P㏔o&-SCY@SNl qc. 8|Тg9{eEMܚ"+-S7݋94Q"ٖ[Wb3׷LRcqPLv+&FY%$.J{j_qbV\${n ÁǍ~v X!Ig J &J.Dfjk?IǞph1AtNvrmLEžR־W/áu5LP0WdQU+t.c(Tr7Z8FiD5c2y܊1ͻ3;_~OB^4GFZ"]`rT2N[S{9M蠝049=0'FH HpeVL$ S+LT(ZC>@|NSHv f%V?BqhJbOp`8?NR7F~=[i{7.:Ul'RAhtXL q,So;Ԟk(Ť6JvWȆie+[br{Ybe}ugR6iS&ӟf! +Vv(WꇣqU @I!q\n-k]W\ACFG|ldiɌcA?d}YJП^PYV먃5os6It&mNT_hGRN3~ؽTA5p 5A !t:.LB\E{?0;;N/V^Bt^#6_U\Nj5|n:ߦEr޽#C3f~Ky#1fFq3wZzL~K^ gP$QAvĄ=؊sVooV~!-TFp؉=8UWW##( #$[0iS S̰ z*;gYZed9d157150152da5f75486f6abedc1344445139dd3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 ee58ad68a2d8abc3d25e6f08672dfb15b64788d1  Tycon