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 dd; $T ]/ AxiomaticCategoryTheory:threads=4elapsed=17.467cpu=43.112gc=1.432factor=2.477zXZִF! G]ŗXf[&,[mI'u2'.E' n}Sx?xulI>bDl@7 ٙqOTCM6kU0P)JK q΢Ԏ%b"8IPsBf *b;_Xuϐ桹EܞYw? c,@8xjMF`-cӿ?ENߘRY vy˰ʟ^ylug^<aI(6ADswϡXv.ZU+F2wc%C^'*$N3%\ Ŭs-wIKKufA9ljM*&?)seF ńc[Tq̿Ə w~a>kT2>~*GB 'mJFS Fȴ' ,$ %ulYZ2>7aPUG8f+KfQ)%Q$s5k2K]Lr9$tlgYZ7zXZִF! cM]ŗXiɟ.|evAASXxZ1l :%)8TART&Ⳃ1OuE0idf}YZ7zXZִF! gb]ŗXi%B4YOݚȓ!8l|-ȵJte Zb¨jJƕKx?GEkI Z)߁/tQ'"6@+h?u{/i3a.I H%KAK؃qGH7ua`cvsn3Tt\#ǬD *rw A íqbSNY "gwzQZ6h@-ڵn2T(МoJj#k1ʓJ)gG@Dٚq̑ ۽ER7 pw1.cgi,*Z= ),lU}%oav_Cak", C|ē {˂j;4J9DU~e,xlד5Gu2QzRV?܌M,EWKHW8PuEO~ZZ?'ZQ<bw(vuX i`_Y3/[ 3 #§M=͙P|޲i`Xì$, Sbq# 74+wp7n MRa31F_Wv=1SK<}MWV [C EPd^fkuP2ϲpSWThAz~4Ʋ. j#"=b-|uږG{vz-`QuqV]*D90ᥭ_쬼-Aq'>WF{*3= cS\`a 6wOAgYZ694105e965e9c7025b1cfe3025918b6e9d6de35e9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d ; AxiomaticCategoryTheory