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 ll) L4D ] HOL-TLA-Memory:threads=2elapsed=12.011cpu=21.104gc=0.640factor=1.767zXZִF! Q]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋEqֈ7GgA~< T}Z ):z-ʇ+jx5p@~M_ },(]3Í;8USlxpˍ;zڛMȹwV̛=f~,a.㏉1 r+$Gd[a4rᄉk(a[G8q,C|PzGG^47ׯշs-&)8g/eODN}nso)U)q0ҿ&^rql"hp7a܆.0ZX=:YSoX3w>>?Q+ʵY$AiBI!Ba-H[ZEQ}"@gYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKW`ڽ(䟪yl8WĖ³T-d%f 2TCtƆf+#چ͉ꅟ-><{frH Á9 -G`&,dFZ7pG3pֈ#+ TMj=Wx^G-f?x gYZ7zXZִF! :]ŗXi%;iS6uupn]Zca }HT`tњ'> 3Z'6(9Z7ֻ(Ք:mhn®;})aA);}{|!I+v?g6Dn!@H\NvJ ^W (" ;wye·Ӣ3f> $fx֟zYoysǗ1Ao՟ο`!#銐wvF KO;$# 7*">n6ϣߖq!#0hX:4IZ-0aX-\jk@GlgiCjʔ~Hwr @4|.H2xU\ȮLc_q cXcGEu 5fU ҠE\,7,FT0۶"&rNLyt:0-\'BɟFm t`^rs( S+F]pe1JUʟMmOk0d tcp:v=;nC|MsŒk#Di&.MIkn`ztm"zbq@t\X#og ;od ]H02 T /+vM^=T-.Lw}nRݡT+k ?6ځHok&o}I<ꎓX$*{~N'=+f0OOqK:-ڜPQG|LF}bEru'4_MufۍuDzAgYZa36cb0b19eeb237b736787138ae817a358ef5162634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c3 856b0aaecf4372abc7cf66b40ecbadba391aeeb4 ) HOL-TLA-Memory