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 jj d4D ]/]HOLCF:threads=6elapsed=14.225cpu=40.056gc=2.136factor=2.827zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V̤V)YNݿf/౓E+o汉t~T>2͓o`+W?~Y--OБ0E )'_뙋ϝr >"=wޔwp?uM?z2hT3'ϵ|zZw/L@%P]6IkD٣L^b s_0 iE3?ϭUMm9_`Ïe-a/h9^=;s>Yϖ.Hq eX~$ f L< _wR&%2gYZ7zXZִF! R]ŗXiɟ>Ӈɇ9S2]!' {0µ}= E@P?&}ab~H=turK#a1Sԥ0dEh0!OPt_~{`"x]T'S2^]? /vnEH6BAAS|Xц[Xgi4'Gqn9ʼn1[ DY 5}[h?Le4k9kşLl$yYq3 +AW>7ʦcX夾+"0[2jBy1͗ql!p x-d "n0HNnqvI|,&wGqf- ܿ~T:/?Z eUr2~f"vKӇU,̿bo![؀Egh/A.SAn{zX/KP4mb܆.(!l56^U)4D=Mݔoy}jO|n:2">S e[֖> %U+O]^~SlEs@  ycsngYZ7zXZִF! D]ŗXi%96.Sd<_ wleRx).U-OPڙKIBu|buo2$a2N\LP"Sn!J&edȞ#ځ {l@#L&ՒZeUk9-._&P"exI̾~Fuot4WmB SZpT\BUw/VBG'RXވԪT x柭%/-ft^* KӾPAvyN~:]hb2b~9K{Um~J=!ۏ+fy GjOD͖]C\;r{S7~يp !8[='z.|pcY2AtUH`vy#+wFZh22`:jޞ %"#v#0ԦISP7`\w&)s1 <΄srL؋] 6|QMnvWv Ң !ߗ9o118` QK~FmZߘO~Zd` /G'>y:Ty̋VCL'b]wԓEWQ |9 5 ۩u w +}7ۣ0&),mahdlYdCTJ% y.E QZ_zzD af18<)$L^uMJu1o'9rs5l)Mt>x~DetrOnFeh$՟YLvs60VnU<y<\ƍ ҃yօ*oA--XJ{VԘ`$KT\5`& R܆ؘvREd2qšRjo1fpYtLɚ_ɔn@ #"DJ|`#GGEju*I6 [pl 4 ji̐wY X8Qۂ0Y$aհ_\7e6oo}uIP6c0` {MkՆkv2lFRG]o R3vgmTJ*˦: zCP;jjPz H*8b=q]& UY+7NF!}c,h?` _PbgYZ3ebdd8cbbfc8e5fc0ff7d5327f9da84585ec0a5ab7e847e721809281cd40042e7df94b0de64e4297 d40f74ab6c572f5a7c6fb839c79aeb7813dcf3917d047f4521361a05ce8dd7f47ebd66b40047b4b7  HOLCF