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 GG6+ |  ] Cayley_Hamilton:threads=4elapsed=12.176cpu=39.448gc=1.624factor=3.247zXZִF! v]ŗXf1-q恈͐7ӺV )' (jև[gzm [XK,fhj0V!%QцﭿBTJ6r80{!Yo,h5"nGerMK㫩sp( 48YQ>:r_-DߺგAڏ-cFgi?VdC~`/|:~ץwW+M[D`u%3 igYZ7zXZִF! Y8z]ŗXi%Eb⬞?,CEcY2rЮ{b^rfdrCd2zI}]mE?H'm2t)lOw =rb­}\I 76G*'Ot~K IT{-&LS@1J^+{iO댵qe4LO냋?ƞT%g0|`(;MIz g7ⶓ{y V늊 GG>Hv)CVҏpr A?[&w~܊dEmQB .\u0-R}PygۏșDwULc&/?m]_Ne$&-#Kw"08 /@E?˲%5W!=+~S-iF?a,[3EkVyG3{a2Go$dvvfl 8T;_얮 U܃?ZT Uq4_(\w!C@j<Pu"LVie'JHK4mѵi.*k!0H߰u{DN~ ЩLfSf6G_P*ʒMbM*W'B$'m wce47ukU+lqytZ'?T`ҵLX.0T9uieF{/Qji i^iza $Hj)D s[5zJGN'Xr&RlfPDzu< ^iD鞐')*GYgx Qi ;b3"ֱBfH_g@ѳ='i.ݿvtZ4T2&A/FvbbTXt\G)K%¹/b 4`}8X*"N3J1=!kfWjD9UQlnUJ3 6HMfFxy#RQ/[~gelV-# I/fGYN AOgYZed5e3f54148dbe4dd7c1a5d6d830f006dee635e987d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 c50b1f72917060442ae58a0553f886677389027c + Cayley_Hamilton