SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 J+ \td ] Cayley_Hamilton:threads=2elapsed=17.061cpu=30.672gc=1.560factor=1.807zXZִF! V(]ŗXf1-/6vRZy`ج] tv#[/ ;=!{FfB`UfFjkM3h@~ă^Ҫh҅ ?u1=!T.e0* hG;ZRoLk3YYtZWL|0 ?Xj{Ca@UPs| 7A. 7sbϰ[ DS=?C+"+|6f\γX_#y"u"w"_3hb*n.cWTBtel}@4OԚ&cZzu|xAn4A@E>K$y}+S,ڱ\Mu.4h Y ʪ ۖCIq(]t&pV^vH* 5/Î}K9=j;emCe}(lcZy&hdy:Ow" J]E 2BAqqaܸbGd }O!pPM2{_(X,_dD 0l]swjpuڗOEft 7~ @h]!ǡKr[}J.ݎ,E0mU<-au% bfHQTX)_geqQ3[EI.~mbUtNO%8/ I+1ZgO$Ku)'4RY3|S=3z7U2AZ5Cq^T-?7=Yrs'ԓV)_1`9=9IneA馏pnmZ;ԕ@{|09Ÿb?:L b2p&rm(.߯jƪ{ au(iHٔ٣F!x~"u3 U/C)Z |v)b%ߠ|_ub9U6777ȺDJn<i儃cE#0Kl Xʀ1 |竮XiM}%|\Nqj h{0`֗&DS4?rP 5fI+1c{RQl˰h"[t^RPoM@gLO CYv5/0&}c{}6?v#V#?{8A&ccؔehMXge!ЫF