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+ D %% Cayley_Hamilton:threads=2elapsed=6.254cpu=10.024gc=0.332factor=1.607zXZִF! ]ŗXf1-/6vRZy`ج] tv#[/ ;=!{FfBc>w KL"CqZjbա>E/P+,1f)8q=յ4}I,>518=p8 wgjR'Vs3:TquVTGH!gYZ7zXZִF! ']ŗXi%s9)\>䊲Աӕg_jE أb!RWjp 肰Uxoe'>HPבJhKUGBqHuwh#BC77٠WiPhX5.n*L˥-YB@yl \% /Ջ0Yj*u4|GĦB\1xgRo.f V|Ye)LA]TVuk׉WE sY3AdQ.Ua/d+/iw@"k&9ywʚu!G@1O2To1c6,`Q[KJpgmTݘ@vR+۝aU=@դ} $,X^tɌY}`"ϟ) ot4H ȳ*-)2"mB\0Տ4NE30^|0LOw2W< + |½<"X1YDśEݱ <^%Xjؘ^~>\[r'}4qRUr2:O2OgYZ43bbbf0a3ceea2dd3fb7776c96be8e1f4b5ce3bf 51eb61e2a492504af9f8148f71377a549e367dfb 54d9b6a3dda04d5ed7500cbe6262fab009975214 5afb051e020f533c044f16a05bd414c2af813fef 78fdfa1d3510f6708f28649e4043efa157ccbec20ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 0beff611cd94b5fa7aa7bfc129b0c2bacd34771d + Cayley_Hamilton