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 ff D ]/]HOLCF:threads=6elapsed=11.770cpu=33.692gc=1.588factor=2.867zXZִF! y]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NV c:iN1IqS5tR+ *Qw"e gɇ6WE2hM]ːhIۅi-%' d 9&h!UgFn }ᱫ>UvO^[Rfx? x,E]^*?3co<.cE(03U"ۗ9TN3> (26MD͵5;5bm%*8o^-9PL@xKnlI;ЍWİI lP)| -ߣ ,F"0iT;nyÄ[f5Rq6[Q ? I --`2jyJIZPj`'[۬BO~<stj>d0_l3Q*C3]>0ٔ/۝8s5DMsf>G++$x01tаN\Tu_yuO:X.]Xm^?\AʸCcHt!eFEc'E%_c>NP;^ /UZ#?u2 al3!?9<>+[/dΪ 40gYZ7zXZִF! []ŗXiɟ>Ӈɇ9S2]ʊ{ [O˅t0Y?6v+y}Rn:\VU4χj(ٰC@[nD"J܁Rʄ~Poťoq3y9U>@=/Ktq{,&Kj Ғ+\T߷&,ƲQqx,r9'Z $NR±q ߹Jj03W꫕ܪrt@3gyF1W:cnut"QTjFeO1 i{1t46sE 5U~T|nOhlĔjS([1aɟr9p0tZOd+c-G(bj E&kȷ4'NǏF6n1̌O\7 |@7[^*I{W2|ĥ_w*rAa{B^`bLdZIC- Y?kF9whIUwc>;MdfhEO@i &qO сJ|I+66qK.Oh* NRc9diudIƗ0 cJgYZ7zXZִF! 8]ŗXi%έ)t)ZhV;=&=cE4<{G aJԣ"~%MF*5I<2ݙ N{ͧk̜ vfyd)vvpUDoq5kT葽^/i~#Tϛg˜J!xJQX#h ՒˎUɏEA|FGߘI\B'󪼩 s\42)cg(FhƋ 2HAUUNxc2^lo}AfŸ^jgL\1'~F _iw:WDR&ĝ񣢩v<^-PI&U~B Λ\JMIlAu%EH21RjE$I7:I}@'Z') (IZ)Ʉ ;m;6RG]:}gdHbtY:_19`|υ-dl -}B,I$UY7T-A(w ?簨K?nVPn E?qr)w`6b]2UJd(t恏 j֙ zw/t]3Qbi9ƶk)'0Țۧ #/ŗN0D6ó 1iGk\zA@NNH-dZwCgshɣ8䳅6%izhm qNgYZ937293fad2c58f5e129d84b5506d89e6c5e7eddac02607a1ca167edcd658ec3d4e79e4ea4af5ebba 3b9edca41ef3030e0a722d7987c2d1d2e4c733332204c917fd051b2bc4c2d697e6bcce31b260141f  HOLCF