SQLite format 3@ . BBh77otableisabelle_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 V+ |4 ] Cayley_Hamilton:threads=2elapsed=16.204cpu=28.588gc=1.380factor=1.767zXZִF! ]ŗXf1-q恈aldC>14aU]FU鿐7҈m ;_Mt`$ᣭ Vrv$){Q]azsMr-[a?5-S wO䠭?B 0J6¨s;} IP H勋+ )_85f{QjtҩN),$O \j<KP^oٺ"0Ѵj. KҾxɎʋؑn1F! KquKiOgи4Ki15\L0&ޮ\E8qm6{GacDWBި+PYpq>k ? JOCoe^姅\Tkw`Bj_  6gYZ7zXZִF! I]ŗXiɟ1˦r w/8OA~koIqJ3+ċo))FEzW=5ߟ׉iZ7odǙBb!~a櫔6v~ٻBܻjbƅ[?@ }RV*`g,WdYS'4x nzق XymgYZ7zXZִF! T]ŗXi%9#qtmf\JhHaWv͑HYVÌ i w6 v ͧ="Q!2-4[jT!̉9y*#k+ao4xJ~.Mx.Ӏ ٪j­|p!|{黎rG+Kv ۩;I^LF#n"$nvc!Ec5ɟUoYaf Ƣ[XFlTVL4;F{ڎKXh}_B0 ,M g!7{`I5>QsL˅:}\k.L_| S_/2U ~ڻҸX@N-(==EpXCʤm+s =S^P{nMLY@1 '7g9jDVZԧ,؀t br˶GYFg8w)M+J^qJ5|GB6YުnUŜ;2tMUS5LTiSꡙ}|ĵ3"z*/ Oi4@&V®kϭ!l>Smnl -y+vl&B|P_)le4D̗Q^Q@&$~jP(2ɣd RO.'31brg[ˉ?xbMV5`1Z;$Pw'ĴZK^a9#%}Lu 3(*Ń?x>@): ȍ ;L'CF7v^HKpt:(Ẃ= at 8:87>Be|gՃG,FB}dqq~MQTuHP ˌgYZ0241bd5f20ca17f6328b873353c5abf7d4ebf0d18ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 4f980edf476e1d267841215178fca737808515ef + Cayley_Hamilton