SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 "+ \t ] Cayley_Hamilton:threads=2elapsed=16.365cpu=29.452gc=1.420factor=1.807zXZִF! &]ŗXf1-/6vRZy`ج] tv#[/ ;=!{FfB`UfFjkM3h@xc.Y o~7oqcNK6F8سА"H\!/:i=%8&YZ$!D{롞>IXam% 92IyftXz WcCrkY1 jv4ms'N$}݌ j! # oY~oeqJE=(1R{wTlNb ͘-? 8e"G4#dRgYZ7zXZִF! I]ŗXiɟ1˦r w/8OA~koR=4,S.&ҍ (W].y@&7 0~Q- H8`6qj{⩹HߞDRϕ/lGHѵ6SQcج"\}:Ekr{?oJ3HKgYZ7zXZִF! ^]ŗXi%;3hf:SjM0@TvhEgך-fڒjD'᳔k-߅59΄HT ęŶfNya*)X]-jyAMgŇ6g9в6}7OoG6nEBI1cLq^x 8Bw#*PAR'POq#_/Tw>=iU/t=ZV{S/Uj~\97 "רgoyS=vqbAqE° G{jERPYHnZn_#WJtYeM4,ra쟓t}&!::Hhd ?;Bd {9cw <tPkI_ߒH`fC}4]iՋ*enA ͙?1=DnW-=-\(HWbUC)6v烕 %mh,rHz 2o"%oSKʈ @6;s[ o\KrSNCIl1泜6XbO >՚! 0B0u1덮0 b F_4äB2 -$kkhvh\n=oO,N6g)*ىPZP]R'ߓHzZ)#|r`vUz`s!#ya|=ݑm.炽 -ɡƋ|mکk㬝Ik2)˥ܳb&V](y|٠?duֳҾ _B"uxְdFלEX9'_!Ofk2√sOTLk"7#}zƤjctj U_ @4:f+7ccEcBPMR ?gYZ33a36627d2008aa483f7b5a144bdf0427fff81eb665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 84e9ff1afaa7247afbeef9eb4b335fea17548a6c + Cayley_Hamilton