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 hh; 4$4 ]/ AxiomaticCategoryTheory:threads=4elapsed=17.276cpu=41.668gc=1.376factor=2.417zXZִF! Q]ŗXf[&,[mI'u2'.E' n}Sx?xulI>bDlj=*ivdGD,3f"\۹b&&b#!5 <{0]t<x(@E̱ 6 z=6FmjXuxRW% J?s>iӗ_'Iv)CZ5^Yf>v 鍠0(A29#c*x&.qk0_&$3Tv 6.#gcdGOP %5=D5C2b*Ֆr7I-MC*]6Miv !r("-jo=EWq||-! ٺB3?(uoZNY+\!dVHܚQ =vPcT>`Qƿ53[WymGGqÓX$v46!idl39TVgYZ7zXZִF! cM]ŗXiɟ.|evAASXxZ1l G44 &U@(墠ј7Ridf}YZ7zXZִF! rT]ŗXi%I oĦ )IRD*cT*kkmJ^| aIR ęRQM.7IcܠG߇'U7`XQ5>qDlݸg{M*頵zAW-]vzkR@I1Sr׎mxjѳ5IRw"$*E+>,Blݟ7SitTi֌(uDh.g%QOڧ_О!cfq:Fp6>AIg7 {:} "fgX5UK-O#?Iy?v«iw0+4)j={PSۭF9u眙غ%ǫc`̓46xAJj|wk `ж-FX# V3%mqJy % lx|f3>NH_0Q\ig.y-H}kyV4MKU5w P!aq8qg"d4YN9T >ul7nL8ӷ6= 8b