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 {  ]/]HOLCF:threads=6elapsed=12.319cpu=35.360gc=2.120factor=2.877zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V}kQ9/\W皚Pco잙T$1]m\+B޼aCmR=C[QU h/V6yt߾8uI+)Z{jV Kr8J5c _ q0a{(qS!~8UͽT aZow<(}6 o$`%va)ת35O߫E\ŠGPXA!"/\;4$WlH!Iə_ʄN|%$Cʿs!20MJ6TK(.y~|gĖ<ݬ)t IPA5aJ=4t$NyxX|pk۸zYQeT$b|:&0[*,Z.rH({Gf* {ѪJa֚]Z֤{Ls_\E])kBp^= hDQfFMo+(bIvυQգI$?G%=CWwi*V OxHb+X p12h /]_RdF"7 "r'ցG`T3ݖ8Y&q_G!]fgYZ7zXZִF! F]ŗXiɟ>Ӈɇ9S2]h( /r|?wC_oB[L6YY^ ]:1S#R:+pd>@2£>PˈD΄п9N5 h{?Gș @Ar$O@!-<(d 7F) rFK=/,>`W85"Ğw  O&_K mk 7/ ^]n-~~Յu~P*4q6oQ=JuCѓ< 8O`Wo7l%P=bD1㨉S]v񕸙m5r.m2Mktӄxyt:=yzr<[%=!A)5%WA2d,GB cײRzڡ9`*յE=-6eei^|ވrH/]r'7]I~poG،pPG#<Ńc .!e#fV_`T??bM7Inc4[Irp]4֐_ xgYZ7zXZִF! ; =]ŗXi%rsj@>hi7R{߶ ҉XʪSIABTu$|+(E2%ys"*$V1yJl`JȰ PgVZxmn `Cqr]BO2VE],(5A01eǰVxy)9Yv 4}!a.>QB#_Zd͘5NVw+ 1@V?U¤8y*A+<P9`ʟL .~pQQMy6;T r(]k]arڥR>TyNbI'/@1Ӟ̳P_7E**;է/+1r (,wF\FΆ&_e;/\!␮p6I*qayIC۵>]uAv%{g[r$eYCq O$Mwk}%/S$K+4jΤl"5oG)Axs` o(P:7x#-R,qmf 9_Xx-}PaXJCa {|=k6N$.铑AIQc3*ihGq܈DRZ4>\ TPK۾i# x 3VӖDS"MrpqIr_3g\)`lRb (K9d,9r]Rap#)s= L$RB"!2]9I'E'*DӸp@bt'i`WMy,KP[vnvuf(Uk'Usf!5% \y5H" $k]{ɁWV ȶm=ZgW8F{N@ ;Q F& ™tM!M +Ĕe,|m*jqa72hCaF0yi QfVgvFgYZ8a42366e3f755cd5eb00d7c25d99eb2f87aa20237dac346481afdceab62c8081cb4f36756224c974 3b86e4c44d3a409110d660ca5ff3fe46430a5376b7c35c21fb6de5703024a79122a9fe8298479edf  HOLCF