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 + |\ %% Cayley_Hamilton:threads=2elapsed=5.409cpu=10.048gc=0.316factor=1.867zXZִF! E@]ŗXf1-/6vRZy`ج] tv#[/ ;=!{FfBc>w KLq~˜l7b&y#` $5/^h8j$S ȋ_MHr;yh-LߍuF$Zo\AwIQwb68CQrP)ٴTҕ=);է> ;7PcG,kRh;&7P@)$%+0L-q@̔9yx؄*-cJ$8EcRKcqo64-&(Tjz2t\-l/4=oA >¹ޓҫe=)%A1h+ ~<c {]8UruNYJn .owkj"íV$h];J)g =9^F_zy% 0}./U79Ѕ$ 1rg Dž2Ѹ?~^9jގ&CN̙hq!k/\"<uk9(^ y:l7s]gyt-115ٴ٭8$"]'voڒΈ},fqz(1xCuQYhoOR\LDmB%?J:OrZԫ%N$FpiHn3]w@x텣 ?QaEEݖɂ R]~YBrI$]3NiN/U`݀!m̵! P8-)(]QvegW z{ )kNe_amU\Z?4}^.%ex5d4)i^B]_Vkd*CL$Ҕ:U&e-sYU$!.R};76@p^qd9A*6dlrE/~s 1O6YfaNAf|pЅ( n*$-o.ǃOB2*sڜn<#+^^,;6=\S7,+G$ZM;h V-V0T+"7()) EOPY5՗ZL3#t{Y|;7!-f so׬B-ِ}x(\i?2()G1kl^-ř\ -gYZ7zXZִF! #]ŗXi%q'a{PNLY*EK~**vy²ݩfC-w#MuGWہM@ b2yo+M1K)aH]dZEt`Bĉ8-yATP ~ NSuxGB'Z<.uc#~}KG uw]濞ry^N.s<"QgENI:T3vuXx@T)r΃#WY % 2bX*X ĨDN<˱R ٜٙ~ec':D9 < m uF_gYZ43bbbf0a3ceea2dd3fb7776c96be8e1f4b5ce3bf 51eb61e2a492504af9f8148f71377a549e367dfb 54d9b6a3dda04d5ed7500cbe6262fab009975214 5afb051e020f533c044f16a05bd414c2af813fef 78fdfa1d3510f6708f28649e4043efa157ccbec2c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e 26a337b48b8c63fd275ea93a777a3e7a3401e2e1 43d82483a65cf8b30698af36c334bb4ab4c71b44 + Cayley_Hamilton