SQLite format 3@ . BBh77otableisabelle_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  4LT ]/]HOLCF:threads=6elapsed=12.602cpu=35.540gc=1.632factor=2.827zXZִF! p]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V{1%'vZ~<"*k= ~d/Ob15AԺjiAQڡ@Mbq Ec"2kwW ԋ8W@H)&vŌ WIQ!%8TJW?bd8cXaS{-mx8,nPtˌs }.c?I.˱gYZ7zXZִF! ]]ŗXiɟ>Ӈɇ9S2]͔)F/>A]LڍQ#*:ekIe>by m}WU%] E\84+N뵞Ci0*n;Qc'E¾D =50Po0eaUg:,~6@['Ol>9n6IGH(*W@*/K,֚@7+д/әc #Wꛉ@łReԌ+.ocM5WMVmv4[݀_g|)=~ݠ+TxU֬;FBTXAof+Cu5,O;.b"##rF9 Ѿ9FéV!Q,E'4)= !&pS\pUdص)Bʹ5q y\ѩ:,Mh r^5\S)HڗErF_$e }ǥCYJ=2̔."y"1ð.,ga;$ְCe B)C`Mj 7]&bթN8oS{J'̀en [Ѽ0%%4RQ0ˌ3)'W*|o Ā&UpuJN99顭3JL϶?!@NB 2$bvNBأ":3vr-&۲B>uB&}597 nHQhT_ ,eBeQ%ƻ/}F̀ͦmǿtНoi'J'$ 0Ca7ɦʨ;eG%Һ-:+uSD%R\h m~a(X+vCW-KxaD/[oi@ꢒ/HZ kHm5#2Yo'O Q<쿓nm<} Mc#ImMݚK[ww4tWl~HrW뵸^li{;:0r ū?#H][ ]bq~,Q8[H43LڪEUg| ?:sdBA|~-b/c@}޳ VeRW 2Lg?Or3Z:gN A\cX-ՓZpPn}J 3 9&R{hܠN 3|}w>@fX]7ʗ~޼2V kl`X j`˘nz&1BgYZead39d4318e372b9dfb9ac859d89f46a58d4c6b5e331a8fae316f048422d7f7fdc239a12eab41778 1cd8b7faaca8012fb544c442bba2fc3cc8a6a56e1adfdd536414bf7e535d7805bd518c26eda0255c  HOLCF