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 HH5; $ ]/ AxiomaticCategoryTheory:threads=2elapsed=29.801cpu=37.148gc=1.236factor=1.257zXZִF! 4K]ŗXf1-/6vRZ]X^JN^1\̜6*lva+Şq Rw-X{JzxR"ǕD] ],3;G8'( C># *|4ӗmO`9ay4b^1#M {SB '@ܹhNgL 0*._X=TouZC/\*eYqq&;V6:z'ۂ~Hmw/&x[OΔldJD\\x65vA<1l={nYǛؕ퀚!".q1<`U@6_}pDd~3 "pyR?2prqҾm͢:`\T WlWt!Hs$G~M+ѴfA<>O>dDEKUqRq RJܞc#I~!J_:5BP6e 1 ޶ [,n52i}C5)L+O<{I:gYZ7zXZִF! cL]ŗXiɟ.|evAASXxZ1l t oG3\06l" F/Bߟ>8ՋثZ<|Ju(=v2 8_Q^!aPAyf-Le2;rg꜅64ii~'-IO{cbA,eևI:Ny;g[]^XINj'|*XW\H8sc_`[`֍tUocoүԐ=y7# Z<9f^O{\ 5>+LxFBy:UYG@=/ap|F;nF.I`[i$*=zx hL+ "22Gw"q*)Xa=2<':nb[<Cm`9lT{ LLtDz]1S%sXFGߦ+ҥ t4@L_:2\nJ_ok :PƷ xG0*(ZڋV@88Cv+5ycɛejC(E.)_:>a>offӛezoT+že|BEQ +$ww 0\=qEQ7rBߤCNVγp$sc&kXgyByY]*v,GKԳ0KeH)p>rrUI[_Jq AgR1u&O}Y` S`x(;k'ORBB)t9jkkK0,A"Xߢܱ_k ܓ#ȵIJiFojEhg>#( 0F11:/B+T~x̶6+&V& *?ׄwһkhU Ý߹ ڤ0V,D<8<48/k\^Qe%i<ȥ?,7(rY KP)F|j2UH8+[ެJ,{"SF:RL&Kë0WČ ۚj^#}!^)L- "u%;VxU}~iFr (74l/!XqZxW%?R/Q8x%h^hƁ8;;ri yY k=aDS-Vz<_(湬R4,rpFXBM0g޻Aߋfd}[}42k+R1ώ/|7AX-ޕstU!F;Mo7ԗ_Lց`3 DHqG7/Y7j=2Ϩ)( +@nʑ]{RD[q8 Jl›gYZa687fbcb14a00124182455719ee4bbc629b3f29c665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee ; AxiomaticCategoryTheory