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 m5 \<, ]/ Certification_Monads:threads=2elapsed=5.150cpu=10.076gc=0.740factor=1.967zXZִF! E]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=3zK[u6՝枺!Hs?ݐJԃ[.V 0!eǀ3dZcUO!Dnj+)*`Tl RꩿkG%Ζ77ش/m>ku10^wd{L;K9 LBHaE3jtnGA|!L֤zh~~s Lw*VH_{Kԭ0mIR?<չެS`whNn8XY=7VBWrg _C=fֶi\ƥa{lnO3n6 ax_ E)W)Q$FKF€rj ju( P  Vs`b"fgYZ7zXZִF! y]ŗXiɟ1˦rnzx <@0+gM:42D+!OE&tcW|?G7g]FxkM`* u'ay]%UskZ]@7{]3H'4q :ZM]"ћy'&enkL/*;nK"x8&M_A SiVL}#wy_t[^2B,Z4Y",gz]S9r鰃o@+\ձgYZ7zXZִF! ]ŗXi%9(O]B=0Ǧ%a!ɟH |_(8O$_H%KzX콢\ #V&I8ΌQNkX*4E{4ĒR5f JpY`8e[IЎq,޷V|-˩FOxx-d"<7206/Ip> 6 cvO"ЇmUǐ4AØr/3E_zLu/ͥ>i/w4Hd"P; OOAQ "_(O9ɗ$V3ntkrt/hH&dTy(qBh@jw? :K989lk?ђ0”##ګ [,z믟`$ +F2,OYMݴVR!]뼓)퀶v~'2H)?.3Lyb,g¯+Oz0 zE`^"[6JF[ۛzx(•#uR"HZ4B]NO%HG+,LTEg*-d+x&sYj _͟ g\ (єhku L7UjN,ZhWuu k>_i %^7tXjӢ|&s#&D}A{A򑗵gYZfbc47904e143ac775181a64f77e6e075f68c2ef03bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 5 Certification_Monads