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  v v+ <\t ]% Cayley_Hamilton:threads=2elapsed=6.736cpu=10.388gc=0.376factor=1.547zXZִF! ]ŗXf1-/6vRZy`ج] tv#[/ ;=!{FfB`UfFjkM3h@xd8h 6Սg-Wt+'/}<gόO0 o;yt!Nxd;5 HLVg豵EẤ=\ja_ KʫXz':[TR gYZ7zXZִF! g]ŗXiɟyDLIm( Ǣaf]?߶tDhǪ -¸]LJjF}=t]1@" !~˘pThH -gYZ7zXZִF! **3]ŗXi%6SuS 5O J~gط3NHSaȬSZzjyjbi)݊=eRWDqk꼃%ơaүD#=x~'f23Δ*cu" gOJBWfBf_ iP %ћ75g/ްi{WvȨК7&#d!n5D f9+uS$z#+@K|uc |BK}0g X64 CZg͏Ȁ/'Z#9e.<,~02rFu{"u2twYvzGmه35{ a ȇ4=lȀ/uUTcYn؏5}?@ԃ]V2i?4 _ o5*R#(rT \'`;&kB8 yIӃ6Nth5;.)gB|-1 ^c܏EQiTr.hVYnq@Du,Dݲ8K} mA pr R3[fIu_?pk 1H-$ɮirF6[fS3TIE]_0Jw׆̋pym%R5?+B{r^DpT`a6'jt4;*&ix&9=ĆiN7n ]iW'bdܺVͩ36_yvJ6-[?sTtt]gYZ43cddc9e8a0df69ad724dd737073f54592ddf9c3e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de e5dfb176d47a707d060ff125772d883bbcb98810 + Cayley_Hamilton