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 vv , ]/]HOLCF:threads=2elapsed=15.426cpu=30.356gc=1.796factor=1.977zXZִF! ]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_JO; P7'ֲ9fQiiPiGUI \d GUE dҐ< y&*Հ}lPyaҵ3Z}Nq=)K@wВ0ڑXC^m D57I WUj7[8^W׊z:Z"*#He)AkyM>D_Ⱥuw͇yyUz T;3ۇNA[ߏ|B200TN]s|P")Qʧ-2<<(=>uv )eCuWb?^-GK FW:~CNPIͤ-=eq܄df(XqTs6,ssFgΥq|C9R`z{u_SI}=13?OYɠ$YŠ88RuνPUV0)#ۯސ}i PHK8J7SvWUQ5,pvkjɨ{{s\k- {t=kDPS=Su#ke=±[AeEw>J!.)+!ԚgYZ7zXZִF! C]ŗXiɟ1˦r~KunύNN{E S_L|5B$Nj=%K9-p) KƯ i'Qd U+ުA ;kgYZ7zXZִF! `]ŗXi%;ź5';uҠZtzlvAm) xVLAV0!hE?ci>RQ$m5 d$ `4g tMB9栁xOo3Mk:me䓮!XĿ1\փ;0$bN%F U}PՊC Hީ5.+rb zec|'!Cib,X5 ^Ptېc=^uPrEg[8(?Bw[[Dm*ūcv%= pa՟}uI.ätH\C*$ukX|6!,-7Y\qB7][ܦd^pS*!πéy?^ƒNaLY, E7*w OKeo'ַ*?y>֦Sh+ (9sit6M Y@Qpy);:dT&3kG+(_TYPUoOF/嚫R<\4ے<V?BpH|>M mlaL݇xۙnygҢrdS,ϛpDO[۶q}NR#@mG7CXS-1$6OmJѼTD>U~5LuLc_6<Nۛu0v8;XvZeˆ/R6g@ԦP f,+*}g)7u`5"yj%ˏwQgZ3#~b4tǀ㚨$SZbP2Q}1V0ցf9κ5-jYl 5A}[,E{`"2~$.1uÏIQ{se>NMkaZ xgs|WtYOqFf )+N9ͅ q& ұgYZfcc02cba3604634e10373ce047b1c5634ae89a2d047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb16725919365df18615587d6ae826388e338f79662e0  HOLCF