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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
; | l ]/
AxiomaticCategoryTheory:threads=2elapsed=32.283cpu=40.704gc=1.356factor=1.267zXZ ִF ! I5] ŗXf1-/6vRZ]X^JN^1\̜6*lv a+Ş q Rw-KY5\OSb^]5: 6cpڻa597=INqdۭcw"c\HC\T)=#
6%3Ҵ㾠m|Sy!WhѮUIGy4 I:v
='块=Õgk;ts
U'S,xa[w܃
(]D_ULt(P4tC9&Yz$03>a|qdZJl SQ \l٬ ${ap oMVDا5Tc!G5".>* .v,p佩:/u(K((kgla~)WFg:"S@ D : ӻ߱g YZ7zXZ ִF ! c L] ŗXiɟ.|evAASXxZ1l I YEKY8{6#۳PEG K46v@H hd} } YZ7zXZ ִF ! ] ŗXi%;CL.tSlo*!\bs+^2)΄s;u#y/u(XB!O6GŎz5pwo"S*D FJ+@[goڣmc~7B]<_ 9%˹O}N=I OuGqMcC6AKu{nڝvê@+*2Q 0+ x RBb/*\-![>Vo4
h'
0qA8}b,g+s}zG]qSnxmm9,tXL7wLbڗ8Ԙm'QqنѴN: ;׀b%DGgliHEolmךjr8 #8A
V`nz!;uN#{Jz8+~0n 6j1c=L; wl:-ĐØ/g_Vo+jbr[!3iژX Ym+TV#yFQN1ĿBċYnĠl{4ߙr-ë5K2/X*D毓nXF-zx/: sdتu $A4y/#CհՉ H*;5V| + k3 혈ۏ8 Mj*y"K՞Z>΄(i'1WG0rppkCJyox55>Gۏlfq0 OõͲCgz8{5mD r` *9g?)v"bߍjJ|bvKSsY:ƚ *+2k6'Z ]oNh3sZԧS@~q:9,F KPjRXon+enK)6}=m#-I#^<=[ #)O(~# ]aڷ4\av q/\`,gvtc/S+.g}Ǭ[X q9x/B,VF3q,
}2h\H͑AkbF
N7u@ NhVƈI· @cZk<K
?cџ:l憦H#BX7nxʽs7fp% eOGHr5qj䝾8/Ѹ-
|g|p'p[ ei Ja˟;>|?ثb
zG史_jY+Qw/$:F+=R k( ,wΈC}IH u yDf Q2@i0'Ub5R
0 Xl lⅱg YZa687fbcb14a00124182455719ee4bbc629b3f29ca70f3b1dab78f27422c2c199c67ce3165c51f78c
f87e99c2e2333d54a40f2ebcf261012b052e5e39
; AxiomaticCategoryTheory