SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  " "[ |L ] HOLCF-IMP:threads=2elapsed=5.976cpu=10.520gc=0.472factor=1.767zXZִF! 6]ŗXf1-q恈N|5` 6Hc( zE"Z<ϰJHSu1` >Z{)q$R"۷v ,&kI>7O]ض $㦯ѳ.cu~jidukB|2FV0a0%~'J'8K#5cc4!j`ɉr+҇Oʜ'+2RJx> )Ҳ_w]Mvw\_ݞK-It1Nͅ1Z7`~ ) _5 lgYZ7zXZִF! ]ŗXiɟ1,plnQBmjszu ,Pʤ:dS& 6D0i.~z"!}" 冉N{YRf[eNqOd qV2xs)֏Ms@*;3'bUPqYgYZ7zXZִF! -E]ŗXi%;LxBT]6OIC> {hPꭋZPi<nVy I S:+|Q&a;5=;?XX!I8ü= 2aQ=X>Uo.-F1D-/3ڧdo;_R~-!MXpǤq1(8tż9/V%G3:3R o JQb=fevnW@UF+h&Mѣ/6C9]D'%trE*!5T*3}{u~7i}hZ~&Ru+k~Pq@;kէE0ry/ٳt#%"^rÉx~&| n/E䅅PESOhitj#lYaS1ɚ&v\}/[ҘcG_~n^ zAþ|[0sП"?=C]S1PH5 XR{FbkQ׈K?)E +jq92~=l: 6P}WZt྿@dƯ>QJf]|SM輄j0 Gn&I3-k/N s<^r;FrNCA__ z80{o^ *Rec^(YB7PݬN7gWamj]rakЁM?Ղ\J8NZwbυ!FNZ6dk@[z6Hp6{i^`t[@gYZc894c97cb1df6496f4975f5e4713ee3410b341c3d2fed5b8463a719e2f3fe546c701ac5c0e920ab5 cc137faa7d41fea458e730d08d19187f36b2fac8 082832ffe1a61638d3b69749fcdac631ff06a3d8   HOLCF-IMP