SQLite format 3@ .;  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 + l \ ] Cayley_Hamilton:threads=4elapsed=11.732cpu=36.956gc=1.396factor=3.157zXZִF! o]ŗXf1-q恈͐7ӺV )' (jև[gzmIDҫ4&Ի?Yu- 웍}Iθ;oW.<@+G$ujq'a{K52)ݬVk4|#Adƀn5w|O EߵnVRĹ.1Af+R9 NS,!ab;֘]gا*ȱpR~O\$ˢEk4).d֏tM^ÁtDkR!Cð6 3R!Vԋj睠21p(2CCEӶ.\͉(X"GOu7'l9](Ir䆇|(Fū!TLri.BQ;n& ǻ7Q^)"-?L_١PbϾ]fXzw8%l3pU@%H5gYZ7zXZִF! I]ŗXiɟ1˦r w/8OA~ko{ Kyb_|yR8 rBڱAn8>:a&_qn 2]g5)x@%\]Γ#U 9zϊ>k7Mn\wZ`o%d-T\.#Vz gAVAjpѱgYZ7zXZִF! V}%]ŗXi%L SFOD$+߲~881bh]5"eb󏙲j/ּ@LJ=o2zd "HXELAL c {}VT2> p+>1vŇ,H>B\|1? ӍVt\f;ԙ@>eݎ.kDɻΗ8*mN`)OdiMqhcİ=C{ř \ކT~oi y8f24\ SӀEbe\Egs12D>At<9I+f Y=gQ=7C,tx۶u'Z4 [uu)DL$F8<.K7 D;xǣ"\_P1C3{=Zv1 6 k5 Hek $saEK_C:,:D<[MG [c[V;\ii(}1=2 sgYZ68d09d87c2f41bdadb32eac644a75a2982098983d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 8216edab7dd1042815b7493278d1dd8ece407a70 + Cayley_Hamilton