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 DD95 tT ]/ Certification_Monads:threads=2elapsed=5.116cpu=10.004gc=0.668factor=1.967zXZִF! ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*k#(|sei>X^]i&}Qֻ#Y_;O7:yɺUUDHٳr#=" BHK@I܁WID4^c#"n`ϧ?Wu(XwG>AzBm-0u7ٽqQESfa /PTqVnO $IN` 0o1 Lሓ !(+rpt_[}f_>kQm٥:RyWqo by8ֵ]BagYZ7zXZִF! y$]ŗXiɟ|E\Ât+.*aphG)%uGf+z'aQ@R_Kn÷;(iQIq &FZ.%qT]\K P/Tri"93^c^Da[EI Q } Li}K 6q>6qƪrJ|y/6]ou4cǖ  R'ˋ W}ʹ0` R>8 f'Fn9"_"X8x+EgYZ7zXZִF! ']ŗXi%ή++ɀ6z81@Fy+iȓQBƩH|Zx,6 O=`AiR,2MHY MWqV0yț֯{mX!`N@!>9Df$5' mG`r7j&7b >g͑@+7r`\JSAaLggYZn5oSʍ]k_;HhGXA܂z~q=NQ6p-lVӧm{*} ,zSmoK|ϵOV]/]0fb/:xh0eUň$kV D)J|Ů!裭i6×UoPy ca㋝+1q}CWgBKr` y`pIs>Y-G0/ >ݤ]ɫnG 7\#8Yq4l? yXld4ɡ 8%XoQ ]EJVI5FI(ݧT쯑0p`{VcO*%6gYZcacc49d9ec38847b8320bed0c18e0f2cf5a86e5d00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 5 Certification_Monads