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 I; \$t ]/ AxiomaticCategoryTheory:threads=4elapsed=16.213cpu=39.048gc=1.256factor=2.417zXZִF! *']ŗXf[&,[mI'u2'.E' n~+;jMlO|}[1Bjc9?uhb8tŽXW< X/Yl]vQ/?x"6d]weٺ|n;  h)oKaTʆ1 {n_tKex6P=s>]iX<̀&O>s1"6,`g^Uw2Sc$ #5hFmg.J柸H C,1J)ZXVʣD\ G9@?U/ L!𕙮eMHн*rXA$F]P#~m&_F]9_wiFβRX7O k3-VF% zLOEmS9z6GPۂ5G]Gpe\98S-`h'9ܳ{X<5灺&']iiA6!%gYZ7zXZִF! cM]ŗXiɟ.|evAASXxZ1l Hyeg+I)bvwl!%Lu,Didf}YZ7zXZִF! o3]ŗXi%GV&>!ÛI&=E‰AݐGO;j$X=?-2(IU$-أA6n) <)t F|@҅7!YZ!og30r<]YU9_WIDR8 m""l%VU.kwhL{xO_L)`A !=r:[n2P[=QMZV›LO"Um ӿ?ǢIzPO@^/SI4X>c0T5`PdHk9#MfXUu7KnO />-hx,c"Iˈ&]𼏳mP?%NJ6Kڃ{};~Aqhs^kh0/FnD- 21`*d0<%2]w:%p?Qd,bKsnR$ 3 FhwM Эꦒr;N@ЅA.{BXͤ&9 Dف1K#ҍ.j8M#Gݍ:n;$̝v7 ce#r$4?I;GLߴyꇙ>Xyj={=<'(H z<&B॰UWz6P:B+B1-"V|=]g XhIpQ# w$5pw퐃7F$[B(!NW> _5/jnU-%%duT 1J[s/$_LSFa< մK$am=8Ap)x" nDK.R'RAzS(9;B?:׶(( ID7c&/[B:] "}BH@wUԱ%&O8@PUaUOUSK"^6'V B\Lˎ#eft%3 [)ԇ9ggArƑ`'%oė6«|?ED9 :`8'v'itS~-Y2?&fɼ!ur42oKX5CM@ #deI?g?\Ǯf{8;t'f8%c (z9uI"jJKtΈHFNL+f;$ .E\03+A ޭ2`{э ggYZa3072cd4e4c0a366c4a40c0dfb3281e3fc356cfa4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 ; AxiomaticCategoryTheory