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 ``; $d ]/ AxiomaticCategoryTheory:threads=4elapsed=18.015cpu=42.476gc=1.380factor=2.367zXZִF! uD]ŗXf[&,[mI'u2'.E' n~+;jMlO|}lWOYN֊ǖDѹK2)j3' XLχgs4i[Q[}>Ns._ćq<ԄC+bkXwlPe.=miv-(?*6xe坯`U'2A٩bb" мWTyVѭoI;]m |r^I^,f P1-](Ȝ+@rժEpc$m>@~d`n SNq)Y=?v+0'0l !Ir&-ҕ-J^/L4yjpK1v@4FmuJ9vgi'%Q3҄u=CNJU)1?[Ϗ0a6-м|!-=''JU[ᾇ8mk(l^ޛ2oi|NU-23tbhj*uKR rmJlzuԁea8̔䩱gYZ7zXZִF! cM]ŗXiɟ.|evAASXxZ1l Hc)}rWmNaH@! G idf}YZ7zXZִF! xl]ŗXi%Bm,W^p"ˍ4ʒ6#%{ X[u"q C:eiB_K!MV5KũQ^\B[HKe3LiK}yru,H]ع{yaqUXy̿҄f2Z.$F%J}-}@<> ۖoV b1VU.ǟKzMC |6R<[.g-t1A LĥgeEkhvx 9U_ͧ@@H8&HB-vϯ'u Z%":e[OP}x҆nȵ5EGH:Sjc6 EzVI(^G0FZA;2O nVKM 8z({23&.hPے v7hS&POImţYu4PmЦٿx*2IO(x/}E ̹H(*JE&Ւ]&*#PHx.r& Vrw41M׈F 7"[`0}M `}@m[I6,(&рs[p2 X~ (fhXL?Y>DU0+ Iq}Ǹ+b6; o᫚Q3?0fn |Igs ӤpNFQɋ sR,mUγ/I)xm`Io*^(wmƶÎUw•uAbͭ8#w6Ho҉*C2x=i2 P 9q(DPZ!!u&(+u[cA9% R絴Z챢W*O mщQ`e3R?D_BË&~0Heɞz͡e^-K MuRnn#p,B38HGIÂ΋: NPHk;@b5> EI+#q"g{rD#(nZ]J (\Z:XuBjEڋds-]I'9h 8ՐlZ't7` y xo>\[NɡYf*IS˨ ! ޡmZD_\GB 'T!d\)X5;I99ƄM^5@4,i]mBK?ݳʟ wSnNDǁOc;]m<YkZ|QfX;C/uVPc&YgA혚y4٨X̩=:`=62 Lw `>!ѾűgYZ22fe355d6a469782a3c632de27b54d988f69910eddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 ; AxiomaticCategoryTheory