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 P+  ؽΒ$%`?D+l6 \಺pR5J^o+*kt,b37*ܴ51XMee- 'b@ĨpTamZ>3τ\v\-痆q)H)^Ub(&7x{͓2?{B;d=LfvO 2t%9cCBxiخnixNŁI)h^Z>JSLYҟ7`ѭj}1hnGЦ1 E Jo QiP"Ğ"s͉<~i]Ad/H&gYZ7zXZִF! (]ŗXiɟ1˦rnzx <@0+gMLS 1t;M+V(oVU}[?-zr9GtUbku!GSq*9g\= E!|׵Z@Ɔ3ei-^?+}6zL\kʅAsQ94ɑgYZ7zXZִF! 1?\]ŗXi%9248 Hv <>pw[)ԡ}?kVq ]M~}ClJ*~:>Mu+a4?h곋RlT1}[1^24[/n#oH^T`a;,*2-N]I %Z,6?W!,=U&"0\@»J%$eUK {ۓ J#Gu1VQ*l O*rŴ3 ep?Wo~l %,Udo9#A> V+%ĝ\ Xdk3:1}2k ρ$׏>@Xnc$E }?[7]UP?m;iR9U?`@AIɘ~Krkm{5Q$[UM+Α%϶Bx_b\sH #lau!d!˕p> k11aldƟi[ [8Ho:Y-*`UiK͈'jF9n"8p83 E W0̖1\^'=ol~۷CT.;4R|<O|+@$B *h3QYbH+:T8%hradbT##($/b1sRſ)5Oь] ґ1j>Ł1YzZuG\'>,&rFEM-"G}MOkĿy1 pQ6ƒP@U Z{;bAKʈgYZ5f4a40b345d5c8b75bb4c95524ba57b0f1f75c61fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a + Card_Partitions