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 ? ,| ]/]HOLCF:threads=6elapsed=11.561cpu=36.500gc=1.840factor=3.167zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0# ۭIgPasc&9ϼ\elJi n2mՏg_.i M'WZA@! > Y 牦ޤ 1/ߵ((e*!*pXW҄EU"*ȭrX9 7N+!Ցq_1nmk"#*~1Q7JkRo"-8(hnƈX|>,R 9* Oa;JxTܻV9g^ݝ]nLct?w:*Ӈɇ9S2]XyNg48ZD2E /.R!.V[)6` x]D/2ARڹ=~w@3+4^=|l8Y[ZE- HV{(A8F_וr Uڮ e"1\1SlTþ׎F(FbMA.8K{rDogYZ7zXZִF! C]ŗXi%Bg ?=ZXVVRKt[ ߕi_Ki dQDxn]+@ZE#ɸcF~lRsOm09#uH4Rw%ɋ#;]_cMnʙUjvߕٔzF٦w*Wބ8^k2Gvo9KaVYLS\ԜFbAs3JYAI!8gt#ݎI'3M2si }:i })'NVefﻝc!\g-tCPLYXߩaTUǵ.\˝{s^ō8h&jvHޝO Cm- s-)8N {LŲxpe,'-P/wARH87±TNV` FSܥ~7h]7WC y";ur H&5):A6I~ O b?]P'U\QsNm-y׷gQlj&RKP)A 1u`QC0Yu3L >MbDkoEEg`X;67mŐ Tҭ}-ƴ>=ly8$픬5Po,yLyK*#.2R8 GRr q~ޅ!} gIXOfd8,cm;UL0Ƅː):ǟ %A \1u/Gl)y?=NvX^;"Ud3|fhg)Ob6)<s|]%k:y@/8T42sJ @XM/Nq{?h*Cj㯉`.b`{nUR7fGx]~< ̱gYZ8fbf880214855c25e51726ac9df367b3f52b6b393dd106b0fc6e16ab72e3261eac1cce577c86ae1f a6d6d9bfe723c3b0701e88c92e528dc9c8b3fa12595de09db4e389d9ee154671543611752584bc6b  HOLCF