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  Y Y$' ӇuMwd\ͦl!Z{gLeS0R_AtBS݌P L Κ{_%{y8u+ N'cydCxvA1v460-9FK[nݦۗ3Δn8{ۖyv-)(Ȱb_ELٰ'@O}K2sTM v\C5'\p4A‚MDmlܱgYZ7zXZִF! ]ŗXi%6St9kJb>Y}8$XAcQ!/ !lsyur}\{&m4:3ѵAjӄJjga"lpʧ>bǦa3V:%ePz'd{E}ݺg^}J5(P pMN ؒЛzGOhDM3I4M \ 8GГɸ?CX UvUxB.+TaƖB&|~64A(?RMLl9-^D!ςOMo9J0 bbԫn5#ϙIaAAf$pG4 ~ocLaP^ex87sʙ#Z4z Q[W\l|r$ ?$eDǂŸSO}Jś%8R|@[i)Iy& UI&e"- T`!$ڭHMzXq:_j}E&_RXP{,m 1g@mY X%-X1=[_aq`qm0v$ *f '|W֡HJT)&p*V~.A-t6ٮ$K#ڹ`yDB0<>Aji6"1tЮ*5f%D Ap;pgYZe3714d3ec2b622d25b564eb6968f8d474c84a1c0e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f 02662119c424e3030c6017a821a6c2b6c050602b5a0bc16f59ce6892fceb3dc5cf7cc62e4264b703 ' HOLCF-Library