SQLite format 3@ .;  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 xx; $$$ ]/ AxiomaticCategoryTheory:threads=4elapsed=20.334cpu=44.712gc=1.248factor=2.207zXZִF! I]ŗXf[&,[mI'u2'.E' 7+ɲ )NyNhN$!G!Z4tТ@TW'k5_imr+NZt,P&;y^(@q3LI{F-vvNΥgB IC&19[HFis791P,M7]wWQI3|L9FJ!g1 #\Z8G{oܔ.Z)Th*Ν~pUҩ2* tc0xu:C=GӵdM^ը=lyZ/˝.#9)9BPFᕧc*Q3T|Bho2 D'?[ާ1~B>wŽ.]=gR)B WLfNgba}S 4ZpRWs ؊P-||` O9#>CVr׹9O-HgYZ7zXZִF! cM]ŗXiɟ.|evAASXxZ1l ǺxOzSg¤bESwidf}YZ7zXZִF! I]ŗXi%L bT70J@ăčDIy.q9h똟A>q5+=R\5:8D#DAiDկ|qɗ\;\,,p n¶/!IIc5\_q֮}"?ɡ;i[RyK`wc}!$W!0LpfvTʤU Y[SwН QG>|/>VVB'uCV w̛bGnfp{$?II$SpġWPS~Aa"pd[/5&f38=* o1V=qQSAFRhܩ֬EAUGg@a9FEDNC^Br#"@\go Žھ$Dd,#ptHHYnff,MH@opS6ow?Sy$2>31ε qUE/P̾[[+](i`pɯfftic p|Y P3Q\DЅo=bwvN9F4E9w ;c@ D%A'9t{$Gxf~ՄҠ @N%?{ir3kf?V~O; QY2MP^ Ry=w!5y@9._wYմ}rPU$.Q߁mqvtMWg (7a( LQ?G#i"rɌ0I¬|Մ|J*g ZI~\?֋DޡepQrdtK(aG@ `ev'{JEPٙAJ2}V/v{ߠ ;ʈtbAyhk{8Y G1XC5'v~Lf*T 'G`81,^,으|h܈.vה*,L Ԙ!vrd5)n 49X/AAez68BoO^|YMˊXG~=Jo KiЧp&~U7ݺG^L8 &A^v g#|B$i`IcV1syO nȴrEp 둻zpr2˓f1͇pBChHy=@Sml񆛵V{;= Ct5@ݡ%*O{~K#Ձt=ׄxe0-GJ,; "N t}xMӋs'y y2tl`zفO$y-G\PF)RīpuhyE-5ic|m"PZe7~n1فg}Mdv_H2:SE];gm489;]@PI9F㞊^ )|^4|[?q'LY :V 25&["1tʀA"Қj^0ZMǶgfZ:O*_6Y€A-#4ji]#$1QGcbo-͞" ?g k₼LnTs9]25njC+D12'U3q:gGT%]3BSH@PGsVeuU[gYZ2f11b526ec0e3896bb020c06444652cc02d29bbad3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 ; AxiomaticCategoryTheory