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  ^ ^ $\l ] HOLCF-IMP:threads=2elapsed=5.669cpu=10.720gc=0.508factor=1.897zXZִF! I]ŗXf1-q恈N|5` 6Hc( zE"Z<ϰJHSo?9f4wؤa/^ocZ6F]3zr9̹cgaöz5A$(FHO Ɵ#kTĪNĴXgjI#>@Xrcy YM@UBJfޞ{9+j?L-wg&?aqg=Q˨?cp!n8v&[o&!ṡ[ĝO)TN^x',gYZ7zXZִF! ]ŗXiɟ1,plnQBmjsz--؍**Z(Pݧl;=aDF iT5o@:]MGYdQK 8p҂[Dkov_F$}ZuY5;: >KW+EWmF޺ wC5رgYZ7zXZִF! ']ŗXi%;P0H !BP9zgIB#>:5doH 80b+ y$V ,62 m$Gx`CNvL{!1.m*t] $-$6'bGuѦe MQ׭O4Q?>fIm;@yrqnD@Z+]Y~_uP>}{x%TXඳ&"kȕ-OE؇qI3`<)c bJAֈD!EkS|ԻB/kEsL |V`6H=,y.pQZ0|_4?RJ{j2IfV~8Bo~C _h\x%vQkCL393Kh^00Ej`R|Р/p D\9/=a mhߑ [j,^dEM$h=('>?嬌]p85*K,:P&TմI qM*BL |8!d8 #/ heTT:Q\B ѓ{{`r#6Gq%K՟֧k)(Tl|VCǢyww*j!]&zw15x~*A;'p8L}{D2̠:Hޱ3\~i>؆/O1gYZb7177e7eb73d978018f2311b0b314bc1c4b51f604b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0 92b4e13dba5295bfc710779f7d0677aed6cf27c4   HOLCF-IMP