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 JJ3 VŴM.$ X~&^ufd| pryB߉!"X;DhW91 aO <|65{?FyH MOLBjHg62r)6U$Os,T6kXa?r@ .1y$Fzo|5?@s?I(U^vEfP K9\;nNxB-ha#[b,?ж?i^~qe|[v{%d3}?pJs!Jf hGʺɞ(Itܐ*겍V1`@mN֖[(+{`F_״_G=k[*V^Bŀ~Y&Gt >YYl=ӳ?tPѦ̀z!q0״Isw˘>eک#)|<@Pcxc8J>CAzFS9-O"ËR@yM=Lj z!Her[~ @l %TދgYZ7zXZִF! W]ŗXiɟ>Ӈɇ9S2]ʇ٬BQ^嶆ndxjefyEO !?=43ھ8s$f`dΌo&M^ݟW8R0CGH6a6(_m fOdͮq27=}X%+2Gz$0ϐ*q)n!; &ny0 oo<=\#9c2DHyDf.Nx {UAdoM 9Cx,ul87YzƇmb \_٬m'pg^(a7+5R!GT\~rUPs f~ʶ+h;$r8'}xw(5tkũ"3'cIq71"Sd2Q|]_GڇF!hvu5Vl5pc*%s=}qv!oMjg6/!M|'Or0zjkoyX ,϶GE%& LdЛ Hm6oٕs&t/6M*ґ┘OV(j fAZzQA7|J YGnwmڭw5,#TPgQ3NZG bLЭi”j3׉ 3ӭ-VGB/M{n 7G^N}qV#ERrS8ʀ.y8EO^,B J3BT~M{9wq2͙s\ ބbPycz(wtOiҘ肠@+8 0/AwWQv j=A*W_+8@KCUu7S^_|% F? \tIz:w$&nkGP]?qZYH<5abJ\w+l(hWTu0Knp e<:r"tYF$&8,f/:wk 4g;O( Ɨ)^ˍ,1+KH ⒸŽEk+eg''uYjsX'ȱFWgsciDT; AF # yx}ꑊAAɥku݌vA^gYZ23b4d6b664838bbdda240b951514ba19e3afdd6f37873e0061f17d13c4a85581673448df5586ab38 676afdd0f22cd3ad42a2bd84ac613e2d29a5a36897099aa6aef5dcae8af234dcda62b4c419815d07  HOLCF