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.389cpu=10.044gc=0.324factor=1.867zXZִF! Ft]ŗXf1-/6vRZy`ج] tv#[/ ;=!{FfBc>w KL|Prn'aE(tYW4r)jM;fkhzѿOdF}?x$vCcW\R2cWdoeWhdKxf˥RFM*47Сj'XJ-]:0MN/9YlN:%3XM6 T2g눦thi4Eɹ@zBRdW$w!}8Dp2NTZ|Y 1HkIW_m6{;밽u:v@{fO*K xv˳z(Xy,IWsh<^z:A.Վ=.YzaNw5J/";QO`4ѣp3X$(DM ݂qod1' $iQ#eZ<.P&;MŌZxp%0I8B]lMv䢡+ Hx% 8ˎQhkA f.,;^,HD%0=Va"e UYe3 1 9n\ ͳfes@4ǓmqG~:ԂǃB )le`}E5X #.Id#o%SX~/Fl)7:A'*=104*=;0/+)RY Yt=k9:KK2-:)P9ªJmEtRJ^{A˨ԝ׾fAoQ$(a?e w3C&hQעDP#C%f`ݼo`uwذ$% Rʼ׻sK!CUq r(ƺ)~VMH)?rCT+5#젺*ƫ2?E~]|9+Ng BH jreP豚ܬ:GSؓm(iᔉ|z9Ʒ_[g'px!)R/tp]6%onD(x:z!1GRqU1) q`ZbS ^Nh#NlG|>X~r-F? gYZ7zXZִF! #]ŗXi% dltENA2 oe2eE>1TuMVWXf ţu\q_B]m 9ヴ9_[zĭ/2v4aaDmqp>(Fb=nWEġbIρy2- ٠tbdt w61,dM Me@ F8lIxK"vL|MmՈ~ϴS4F;,pw7V a^;&9TlQ8!JyNY UýMHmKM$H;r}ۆ`sI9޴~#)C@IkZg`{08Z_[X d^a Ig,!E+7W `;f  H|WkjH !웜w&/%bBؤlr-1$dvs.`£_ _7$T0Y%L)dW3&z"4j;-2 fEdëW%Ō}/0Z.xݨfH>3 Sٹ4!+U *&3tz։{[da~\cɸ7eT5ڿs{} fPёCSR['CTS\qum$L7XSҤ& ]ʊ뱵|4l|+7j4Z,7vIFsFoyͱgYZ43bbbf0a3ceea2dd3fb7776c96be8e1f4b5ce3bf 51eb61e2a492504af9f8148f71377a549e367dfb 54d9b6a3dda04d5ed7500cbe6262fab009975214 5afb051e020f533c044f16a05bd414c2af813fef 78fdfa1d3510f6708f28649e4043efa157ccbec29711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef 081e2ea43e234aae88c54c36bdea8492ada09aff 000c31cfe79f77e59785b0781aea8cbf500999b8 + Cayley_Hamilton