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 w- 4D ] HOL-SET_Protocol:threads=6elapsed=20.386cpu=82.772gc=1.980factor=4.067zXZִF! )N]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxa(3Zw-b֕򉂙rᆁ%Ĩe]d* c -k'UJxөN/h0g{ۇÔe5z%G @ CoNNpqp/f]w/%BA/Ywhv+IJTx4I{8:"D^ʗ1J"GOPq/tJ{ȰZPShhAF @yi5{m"+u0%ĸx.iYcdPBhα v`F]2fl%?qA7*tÙ-gjȾ*YiI-3[vR'&gYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxxe맛{ώy? ]AAa2:G k.Iҍ.,jpk{X᧝ r g[c`噙n)k 栚+N؈AʓKEDP֥glˌ(Q{H|n*[NФI5( MUe`|y$gYZ7zXZִF! `]ŗXi%94nkv@uͽ3cH!G&ӟl!=&6@Ż/fpEmD{?DbAim*XV*8EMpx|A>vht9s1TV$-afG@@JbF⁊;ge $0WnN 3,lǁ Ol=HI$viYFA^zZ| ̜ L \TR{2[3\^WK5 . ro4v X+T%y?%,5iTj ~yH#yW j{9J@+|y&zūQb䤴 pqpekh O&<7.\&,+9WC>xXTaQXJ'`b31ġ7R`HX=uLV뉚D,H7ԛkVn<4(v$:Ζ8z܈L& QgZߦaaqBZ0YKv:@I^*X_ m0 +nf(ZPHib! Kw.tEv玄%6b%9 dk}0_0sJl[p3*F-rGh%oє)P&8NB /+M}{ԿXw(؋}8D>fbG/ \Eڣ.63s3)A EHR%WVXf_K*8.䦕MM׊}`Ј.Hrq%b~ij@UeD"!L˖%.?j(돎/@ӬA4UG>65w$%_`Ũ.FifR,#,% V7s3$m~Ϊy*|a̜x#=8-x9X¼OYyIC;o+4J~ tW9+]tj̵v(vg7F믵FNsIwH IV6:F{cdb!R0%+k}ܫIL`}`hg=ɠ@/:"ӄ)W33[o>$DwQG穀qѥ 3|Qa-!ed|v8"Oc(ߚMR9pn|pfX^僧h+shW*ፄ&VzKZg#I]4aw^F)h d֯8AZ5