SQLite format 3 @ .
Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
- +{Q,tIB`㗸S[3hȚ0w X ~}06X ICBY%7'w'a`
'DDnj ] 5݀z-lk.o[QzmP <}y̯^9
V(kwDž0ޱI#7Z H;?W'x}ұ 9yU]@K>V!n JY@w Cq7KTP
bJLגop3dPxIBcg`d'?4tNC9iQs2Xde j epIf#?
:%œO];wjrӴgM k#T,;e&䋖3 + .P (+v rQS-4a.~⇡Β`;|G_MT ay=)|$| 7--68tz0LK :iެ&aX!0^ <|oWk+17eu6D&r43LnXuu^uP c$ kY!=V6+#'s/e|UwD$u5xuN(OS@[-cEU PsѨeE㪝mE5ܸ zp'\dPW RSA8=<t(ړG:AnHgCfEŮh,P
.Lgۀxm=x dO."* b5ܯz3ƬDɳmT ~ZK85 1C@D#m+HAlK
oe *C@n(+ *^ ZW 7iyܚ]j}*+%> nJBW`eW uνW;TYc&Ńl%aK*oUrWvQa;q Ԭ * `g YZb0817d0b43823e6be8a531d11939afc852df776f0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
ecbaca1f759e0af4557375e3f3e93a75220211b8
9fd2ba49311f544ed16d60b38e1be4fe427c2983
ec55c26018e4c429651a6156e08a95f9cb261db6
309ff910fb36eb3167c3f0afa37296880ba15753
915d1fde3a48978ae26611ffd0e906f9784dcca3
e9b268bfe060edccd4beb0ab48736c00329d90cd
03111871638e7cdf46ab06ad5a25681590033fda
- Perron_Frobenius