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 ((U; d ]/ AxiomaticCategoryTheory:threads=2elapsed=30.989cpu=38.124gc=1.280factor=1.237zXZִF! >]ŗXf1-/6vRZ]X^JN^1\̜6*lva+Şq Rw-HU*+GpV%?Ӄ+v;s#d@wR쬚 !ͷ3>QZ&Y~5wR,uPKBR3R-Ef7tV%\G uU%ȂN?(DSS@nv=3gYZ7zXZִF! cL]ŗXiɟ.|evAASXxZ1l I YEKYV2Whd}}YZ7zXZִF! ]ŗXi%>gr<`IsD">nՂHj\o6kh252;k$J͏|>L"d᰷#٬aQq8Kc ClJ9囷\?l89D@R+yEFv1&mv*1;2I)E:xZLbG~[#C̨!NG =4 .V;pEGwYNkLX4vs\֙]*PA} 4 Pj:B҃-P?mJi0 t"a _J7xC3djACQ1ND3>ɾP {Āf J8L?m[#"Hqyp^J/KڊM:c#Z2!ѢHvODK!=ڐ/N/#\CeGo,0fYQuݺ1}x~'_^ԡ#[u T[W8%jE5O0=, 4`r"(9gIxZ(T}2GdɧswuY/f!e^2E{<=4u7g6fl٢yBkT03+ k)\z~YnQO.p zj(S"gn&8<ɨ5-M%|>O/mXvqYWX$~*B`3;zߒw|{98K8{7vWGDCJ eQ~R wj,@'E(]8] <@C{xS?4Vsb:g>5c(зwDK-5t׷uFl!7G8LSGFfkh=5;Fex[bM(Y@ 5/xN(,e.$@~|N!<ߘy<0lMㄞ=A ψŔ?i?l^L,>[ /^~:}=9z%ZFA57x_<8*&f7 nOD?GoBMS/ɡ!Hl.U 's:Zfs2v Yw5Yrٶ >,'PN ͩ μ[lrc_roM{pTHwjJ~^BU\ PSqs?65yFͲ%L8(CmF3 L`yR^n-)Εam>|˜]*Xy^mF>CvFphڪ_Y⤎+Kd P5|-ΣB%;:V29ۏ:ƛ{!e"ɋ&-^aτG`AUЋq϶74}GoPcr5蟹p-*2 :#VAŲN .qs4H)~ \i{PIET;CDZ*Dpw^K"ٖzhFAE02Rc4kf4mIU5HQ+u<ͩGyIf(+nSox+{mt+o3ifu٥ڜS#gR`J>HlyIs"4 P[[]WýK(O-ᾐVNƌK:CmݯaO?T! /mEsO?MP;fh82Lqa00qY⑮S!)!_s}q'+~EJY튛2QoS%਴ǩ_^d7$wD;R[^ԐM<ϹzӉwYysK:S`J*F+F@ \y̝^w˱gYZc0ab30233208209f5f5e8c6acbb3ec05d81cb42797833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 ; AxiomaticCategoryTheory