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 pp ; $L ]/ AxiomaticCategoryTheory:threads=4elapsed=16.879cpu=39.832gc=1.284factor=2.367zXZִF! ?]ŗXf[&,[mI'u2'.E' n}Sx?xulI>bDh;Ot nv 4E5pfS0ͼEg1^^& )G특'L!q哖{N[DJ&^>dsj*S"K _/9B.C0d==;PG%ڝE̥kpl~IN(,'+#G uyg*,bÏ4Oeo a͙ὅXY̎NB/|w)`dxpJ^h54_/h]WFEm0iC>’^ tg1K>·pB^§a  ha0PcGZs HlFƐfZ2O>%וgM4hPM Q'~,? ? \mQjZEy ձSfd*iYBu6|#y/ͪ—l2/?Ϻȗ@ "3>)9o9>.gYZ7zXZִF! cM]ŗXiɟ.|evAASXxZ1l G?(M.ZMESidf}YZ7zXZִF! u!^]ŗXi%G̉SJ@0Z$ =p B)-87gsU'wܤĦIwB)VZ3Kju+5p^6,QB<3ߋ=x1`5'M藾l@u;:+^JˢV n<ÇzuV^18|'@!i<$їߧO=Ĝu)kHeNŦ@;tݮ`;vnBxƆ'lPʤ.luI:t~uCr!6 "l\ƔqhIͻ= ,ϛAq0" RĻ.nq,ţu{I i !`nnz%4NMцCz>]W1sk/ U<-@EZO^'CdL!]kމ~d5c!m~ ԵbnE8Gar&\ *r'UX}k*^nPt}wŽV˦Vr'2<Q?ID7f;#!Fz ]y"K4O^b+U2:}NeSw%ת1@~1O0zA)[3QrcBfn ۙmpfy%|voˠXcO G^VPQ'/7 fB EH%f|̱ tX@~cԨG01/>Ö?@ oN^';+?ˏ\8A,(dXӬb*H#e)*/rh<3Փ,R &u4,'b |™=0`\6ag;:+UyOߩp=Y&XS `@&!Ҁ35w3'8m91oUq95lP4g6ź[]I'*+ %)L;:9Id }\\(%ʶķKHaBWB36I1S+TBa͏ҹYz;IJ!ɜ!2'hHOY{F'8E&yũkiYpe g U[և4msmGZPou<\h<