SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 65 t !/ Certification_Monads:threads=2elapsed=5.832cpu=10.680gc=0.584factor=1.837zXZִF! 'G]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kL M9fƆ.j{RH tGiC)B˼4FߤLs9bwc?2ĸ-%@Ah/#>ᘟWP)L1svD5m?&;V0'bjЛ(OLǨlz}DtsiK vQQ< ӆzT4t)ZԲIT!w)O9 QSV.- ԅpNd1l8:hUB~3ç My$+D<0)|敏TR'$sf9d L>nq* Ao}[oq_s ͤC NVÑ"Uv;?Nd>*;ϕLf;˲rFܸޝ'fv{+چXUX$Uof~j SaMq'@&S\[H/d p3eÖq.D6@0Zi8sz] 0'vr; RJ@"rp`#;h>R* D>Ȟ*=!k]j!Y ّ-  i>t ޛ2X$.a N]ֱgYZ7zXZִF! "]ŗXi%s;"o{JKpEsB,PMb7h'C7v V$19C3|sevs7H߰͠Hl%+IsU4y.@^N՗h0.uīe ``mGuж0~-Hm WK*#@H 9Ixf]\@o棙}gO+&竚QB xGMuf>:RpC9fT[hD -Ŵ0pj.p~ul]/iTְ7V< E/[0 w1L::p)Qm :0ps/kB7F`L:Bܾ8^kdBpJ){w&%e{ rRNS=>͏6BEilyd5!3