SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 33J+  ] Cayley_Hamilton:threads=4elapsed=13.133cpu=41.576gc=1.672factor=3.177zXZִF! ]ŗXf1-q恈͐7ӺV )' (jև[gzm [XK,f%jGdA#Y#7GBe>5%IE $םNϼ |[fXTn 2Ya^ AGj5ʊ~jh(f#vS>!383Vk(4Tqi :M:~.W*a[U˅;ݾczWu8umIWTo7UT8oxfߚ xojơrSm&bWm{Nfa ش !CFrnX #QSi;hPlrij^'Q?ʸGXASgB¸q*Y7DQPAm==yx>ʮ2[%,Q}QP0Mæq7?V^q[vy8 RY4DݍMH9`P&= -'"J+.)@`t=cpݑq%Aݐ3Rs =NIżkEt/l>ZQqq싀;ϞD :BTGވLC!0aYf=tEH"4){|P:áhoݗY%]x~?Q3/gk*"oVܞ4]%@IͶ2{ 3ͼiwG81<%B" ;."gYZ7zXZִF! J]ŗXiɟ1˦r w/8OA~ko)[-'zf{0oBfH{EK6s%In(#':n/KɂP{hɁ7Ͳq]TEYSL2iѴ2BY57q<&r6^e ʼ0j)lSgYZ7zXZִF! \"]ŗXi%G[^SDz抪d b.Xy{[Kדe}UMfF`l۸y:2 ?~fur<1)fNj)G[>ue#cY} Be;Е]Q쭌Q)sEi("RCʳ Z}'ᵸ(4gl,/,Dr/fC8Rw$ZsmZuH pZ ,-#+IKlLVjۣඥ`cTs) uO!ezoORI@C @('T$̐19!RFh9{;k3Uqؐ-cmai/z)'?0}Fr)цA52jZRS.h+;'Q:5~7$+K?ohPϐ0l;RwB^f3zdYCjog^ۋLp0S6Wh}(X1#| L7_JZodC7?(eRĦ1Nb3W8?NF˜Sd^ќb{C! zyEK#Y~4)_UQc>.m s&E(&旊$CyM,9vn5@XɨbRA\鋺2!eÙ>"9ޗ=b)]\A`_ ^noW\Ur0W%Å\`mѬ<v JfzCL(-Z7q1 &&I܀!7~TXάiF>r%#pu`2TrDC4V§} 0۽36u2p8ep)Sea0l2q-!ػ˜y)?=)If;t$rlȋꑐDB^YS!i {!ܒ_nnWmF~.٨YJ@sSDqc;ldء0=kd"MՏeȿY(?[{CVyQ糨U WkMlxKgKYj*.o`FgׇC.* "xj s !ܲ*6_@JX&Cxc28ajS΄DE+dA@ćHFӘo;:jvG^3GCŬqԖk9 rdЩwp ٽWNo@Д>wvƿ)4t\e-<(R--ⵆ76z򫴻~Ql+V eMOůBpKn}XƠƢThJpw>G } N H!$nxGMDqԯ8ɉخK CSky.ڶ<p9/}@9_*jHN RL+ʀ Oۓr O̘;*fN zA?,Fl ~kY#E%g˴ dEhϹ IF[5‰+fF5MLq(srHZd{Ε<HCY|- X(wUX&HFߝI)\/[f!( .[)gYZa81a6285816d5e694d57800d566c7eddce75fd9678a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 ba61e071f92259a9a38cb4cabe22c57217a8f472 + Cayley_Hamilton