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 HH55 Ld$ ]/ Certification_Monads:threads=2elapsed=5.298cpu=10.240gc=0.672factor=1.937zXZִF! ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kgܭ|-<;B@%[GpHu>Z2vIeGs.w~'wUC=ܙ WckY-r dg]R5h2F'5!~𞏝c,ŧȸWuB:9]ISeJGb)+Q~YVZڛc WZ3>YZ հly<!F,mK@@av*HeW ç#{ Wg I(zlM wG/Ճ^ZN"8[i:IC:u_[up|SW#XظY UO#0}PzXxǔ.;w7;8-Wb!^hS/9gYZ7zXZִF! y*]ŗXiɟ|E\Ât+.*aphG)%uGf+z'aQ@R_Kn÷;(ΚGlO rdn A [hasɟ!0LH w \I̢p3H6_#Me@' A\d—\MJ\:=^#t,Tu8=>Qzz\L%[67T # so&m鑰]093Y2Y X,ergYZ7zXZִF! *) ]ŗXi%;ŸyE@:sU7isёj'^1/GG %oUINO M, =3N&wvN! YWl0+:8,ۈIn$@) Qci*وOO-65$B?זxNgI&^'|/"  j{"|j舽_C϶ҙV^>S:0<,fZ N.Sԡ:֕[*NcW$3hAߞ#kwJC dJ21l6B&8U֦]` ~NsoBU|j*nnI({[,8Yvy` e}*hjGiHI<w1%7zϚwl) }\~_W2u 2' .>1/m4Rx܂5q*TwjxtgEbmݹfod:@Q [sh:T*Y &[PJ^亰wo]2#=yhQxUd]OAmg;]H W%2g(hd_Vr Q%3+`Sxs}W(L(4UҶlwߐARdri]MzAZ#C`h>m)v[v%ovPOIAD#,V0 ZGC2 z;-T-ާLgYZ0e26cb9cad4863ed45c171f41bb865aea072dbc979d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 5 Certification_Monads