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 ^tl ]/]HOLCF:threads=6elapsed=13.431cpu=43.000gc=2.5727zXZִF! ]ŗXiɟ  QLwЪ4/ۘŢwo,( l8t6wG܋~gCZmmsZ!`34諞IL&^0Ry6DN4Cn굧Qsfyaw@{a-b@H{{>ISײYoqY@+?+S ޽h2+S'"I;fjfDkW .1m]e. LᦧcMҞ:t)1ٰG?o+Flӭ̳$:'U}9z2є0;C|Z_-.V4<@&Pbeaf톐b$:P^G#œ@26cJ \_كClт @K'sܣ~uqDKC|b4I+#ZgZh*G^K3^"5?8ڃϱ2D$0?jub32$N[,y͇iYq mMRo`ʵF/0rR1 rYԅgis~׍ vgsG$_~@Є:3ߖrV'KΖ8{9{a[>ǁYvX&CrWgYZ7zXZִF! G]ŗXiɟ>Ӈɇ9S2]td"f+u SqX~M9ŀrrœ= IDD0ٸMdj>؝<utcHW8p ȸ5y otSٮUiTo)EQ"1%$+]Xw.-+ *1P͡l%撔+Ujlv+V׹I`$ұgYZ7zXZִF! g6]ŗXi%L(hIE15(&* 8]PEU;D`z c?/& }p+AHm%- ?f8z_: 6**ןe鰒̀т=B|fQUGt́br,03sVC%Ǎ% (;}u1U:5}ـ3v38Ɣ G5.|XLm!+$`KڭCKh,z=Oǘ}*Yrb*#J>Zta1j-OfMq`D*CIuixuJٔwh\73>$m^`_|w/R2S>֕\#צ+VRߪm+=גX)z4C'Y7Ih?1x`IjkUqSHbo y|/&jvI`*9 F8} փi*)ߑ!#k Wwsj|agAա$i ;w{Qx>Y {E};DBc(p+Rr}+ɀ[SY]ۓ#)ր1nb@pNDJs? &;+G#'#]R"X7/M[cQkiG+bX@{<`n8Q8ɆX`U\Sbp/Rc\uLz!6\{F̑*+ءpꫮj SZs9uuLYU ћY4)9?AUg^+jC.$/jZ:sbS޿t, 3f,bAd)M{;M-`xY ijim6XU/fU%\P?rg+%58dB4fQ^J$ ~0$+IL /mҗn[Kc?gmr=)kѩrT k\Nr{x(/.[:ڪon=Uvw_qfBm ՎMK] s  }Fw a{gYZc25acd3d4f5e622e6c58fb2ba6dec50511021ec6eec272d4b5b3d582847a197d88eb3a9b19984c82 0dc95062e3492904be2f0dafcca23de748b5d252910dee253471dabbb90ebc8760347aed70878611  HOLCF