SQLite format 3@ .  YYQ77Atableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  v+  %% Cayley_Hamilton:threads=2elapsed=6.359cpu=10.152gc=0.224factor=1.607zXZִF! ]ŗXf1-/6vRZy`ج] tv#[/ ;=!{FfBc>w KK)mB98v;ӶsEz0ڴk[=^`SwnC/K'f0^^;6Dah,8:DYBN%0gS][X8)X ECbs0q7 P'5#c_W̌P- sOg_/K2^]#ّOKY/o~2;ڰط=ez _;iݯpi%/YĻ4#BY#? Q8 C5W|O@! g[UfmZ8f(]fʌ)FER`B$Aw_a(ۋPcb[o<:lxhWH.FxAiKTt֍yښ2V!GP}-P 1#p Qi*z(}!4fnG0,KUn 3p!x|618A*饇_"'$lýY+U֐L55bk_uc˄\7_jN7g ~!n=/kp?&m/Sn7cyW!eN bQ2Mmn܎C6Mߊ(BunBRU&A?;&lnJd,E≇MpeS`4ЗWXǑ?Li]s?KAwTcgYZ43bbbf0a3ceea2dd3fb7776c96be8e1f4b5ce3bf 51eb61e2a492504af9f8148f71377a549e367dfb 54d9b6a3dda04d5ed7500cbe6262fab009975214 5afb051e020f533c044f16a05bd414c2af813fef 78fdfa1d3510f6708f28649e4043efa157ccbec2e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 86c7fd1199441702fd9498d93a1d3535f80efeef 81c60aa8bc9ec45606136020e3096419ab0aad37 + Cayley_Hamilton