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 CC: \l\ ] KD_Tree:threads=4elapsed=11.841cpu=41.832gc=1.052factor=3.537zXZִF! )]ŗXf[&LhM;xCB@(K6zF"\=^)(E2fLH2RR7'x֣y)m'oOD@$􅿀˜!:`;X;}PZ_ Bv !;Xu=&Ubh–O !fT)'}L"Agc0KUHj3a 'qDmlY% 7+O2b?עq8?t7шrUvQ%~8!fyQk[T$$''`@ .֕ T}4f*8yקXgT~Mo>-}@ɛ]$]| gۢXJ' KVa]v%ȫL|WyaYt>sS%\\!kndU?u:{ƹ]J]i$1CnY(8IH@N,^zI]zulR"1r=s3*si"oHTqtH͗ 3=[36G4. \< Osv6˱gYZ7zXZִF! ]ŗXiɟ oɂ$:ey1S4 y-b8"9itU$u6e_ [Y%ܪGp`I=kS.uA`*ZU1R]|\5u~!@qe,/nF\]?e u +m8ěJd gYZ7zXZִF! Ve]ŗXi%L x9;).)L9*O'?DTMզj:+DdD0+Z}z*JKwXXo{vx{e' Ŏ쬏M0 7ss{ e~˖G&j+i]-rnЪ?p [JV!j)og/w"|P>T+4,@kZ)I|Sd;|~o|cmRA-uBeŗ3Q+4 (zZPT@kv=+]YHdG&(ҧzn\ggUa^wc}&71UuI)|_.;>~ $ :LŅƏCMÇADuV7t^0JPkmcr*Ϳf]NB &&`X gQ8"|=cQ z`(^>IYf)ʷ;~g[[DotgC;nt'CtBxO) FlJ率- FfbI{ G6ςLH?YUJhǚWdu|8Yg#jb8d̔#?Y=K5Gֽ.H 1Q2n5X±b£h<OM~n@-}.W"cO